nt values?
True
Let v be (-30)/25*(-30)/9. Is 3 greater than v?
False
Let w be ((-3 - -4) + -1)*1. Which is bigger: -3 or w?
w
Let s be ((-8)/12)/((-6)/(-9)). Is s <= -1/16?
True
Let u(n) = n + 7. Let h be u(-7). Let a = 89/372 + 1/93. Which is bigger: a or h?
a
Let j = -6 - -4. Let p = 23 - 45/2. Is p at least j?
True
Let o = 3931/12 - 326. Let d = 4/3 - o. Which is bigger: d or 0?
0
Suppose -2*v + 3*h + 2 = -2*h, 4*h = 3*v - 3. Let y = 25720182/17 - 1513368. Let l = y - -416. Is l at least v?
False
Suppose -1 = 4*t - 9. Suppose -2*v + a + 0*a = t, 5*a = 4*v + 16. Is 1 greater than or equal to v?
True
Let o = 30 - 89/3. Is o greater than -0.08?
True
Let i be (-1)/4 + 19/(-4). Suppose 3*h + 2 - 12 = 2*s, h = 4. Let b(o) = -4*o**3 + o**2 - o. Let r be b(s). Is r at most as big as i?
False
Suppose 2*u + 0*u - 10 = 0. Suppose -u*n + 6 = -3*n. Is 3 smaller than n?
False
Let k be (0 + 1)*(-20)/(-5). Which is smaller: k or 0.2?
0.2
Let n = 8 + -4. Suppose 3 = -2*j - 5*t, -2*j + 5*t = n*t - 3. Is j equal to 2/7?
False
Let w = -511 - -3611/7. Is w smaller than 4?
False
Suppose -z + 304 = -j + 1096, -4*j + 3*z + 3166 = 0. Let a = j + -3937/5. Which is bigger: a or 4?
4
Let z = -511/180 + 26/9. Let n = -18 + 91/5. Let w = n + z. Which is smaller: w or 1?
w
Let a be 0/(-2) + 1 + -1. Suppose -k - 4 + 1 = a. Let i(z) = -z**2 - 2*z + 5. Let l be i(-4). Is k at least l?
True
Let d = 1348 + -36400/27. Is -1 not equal to d?
True
Let b be (-3)/(-6) - (-2 - (-18)/8). Is 0 not equal to b?
True
Suppose 2*d + 3 + 3 = 5*k, -2*k + d = -3. Let f(b) = -b**3 - b**2 + 2*b + 1. Let p be f(0). Which is smaller: k or p?
k
Let t = 20 + -41/2. Are t and 7 equal?
False
Let j(d) = d**3 + 7*d**2 - 9*d - 9. Let s be j(-8). Let z be 7/(-4) - s/(-4). Suppose -y = -3*q, -y = y + 2*q. Is z not equal to y?
True
Let g be 2/(-4)*(0 + -6). Suppose 13 + g = -4*n, -3*f - 22 = 4*n. Which is bigger: f or -1?
-1
Let r = -0.22 - -2.72. Let u = r - 0.5. Which is smaller: u or -5?
-5
Let z(l) = -l**3 + 6*l**2 - 5*l - 1. Let w be z(5). Which is smaller: w or 2/261?
w
Suppose -5 = 4*y - 1. Let j = -1 - 0. Let f be (0 + (-2)/(-2))*j. Is f at least as big as y?
True
Let w(c) = -3*c**2 + 8*c - 1. Let q be w(-2). Is -29 at most as big as q?
True
Let y = -37 + 37. Does y = 1/21?
False
Let g = -2.8 + 2.1. Do -2 and g have different values?
True
Let s(v) = 2*v - 1. Let z(t) = 2*t**3 + t**2 + t. Let b be z(-1). Let m be s(b). Let d be (-36)/(-10) + (-2)/m. Which is smaller: d or 3?
3
Let y = 0.1 - 1.1. Let i = 0.2 - 0.15. Let d = -2.95 - i. Which is bigger: d or y?
y
Let g be -1 + -1*(-1 - -2). Let m = 2 - g. Suppose 4*b - 36 + 8 = m*y, -23 = 5*y - b. Is -4 at least as big as y?
True
Suppose -3*u + 11 = p + p, 3*u = -3*p + 15. Let j = -7569 + 22913/3. Let b = -68 + j. Is b greater than u?
False
Let i(u) = -u**2 + 5*u - 2. Let x = -1 + 4. Let o be i(x). Is 7/2 > o?
False
Let m = 3 - 2. Let x = 0 + m. Let l = -3 + x. Is l smaller than 1?
True
Let y be 16/6*(-18)/(-12). Is 5 at most y?
False
Let f(t) = -4*t - 3. Let d be f(-2). Let x(q) = q**2 - 4*q - 4. Let j be x(d). Which is greater: j or 2/9?
j
Let c = -856/7 - -122. Suppose -5 = -3*v + 7. Is v <= c?
False
Let j be (-2 - 1*-4)*6. Let s be (-3)/j + 81/420. Which is smaller: 0 or s?
s
Suppose 2*u + 0*u + 10 = 0. Let w = 11 + -25. Let n = w - -8. Which is smaller: n or u?
n
Let d = 5 - 5. Is d less than or equal to -32?
False
Let j = -1 + 2. Let k be (-1 - -2)*(-2 + j). Let v = 1 - k. Is 3 at most v?
False
Let j be (-20)/15*(-2 - (-15)/6). Which is bigger: j or -1/2?
-1/2
Let b = 1.11 - 0.9. Let w = 0.11 - b. Let u = 0.02 - 0.42. Which is smaller: u or w?
u
Let y be (-25)/(-10)*(-48)/(-75). Is y greater than 3?
False
Let n be 1 + (-3 - 112/(-49)). Suppose -3*c + c - 20 = 0. Is c less than n?
True
Let b = 17 - 12. Let v = 4 - -3. Let j = v - b. Which is smaller: -0.1 or j?
-0.1
Let l = 3 - 8. Suppose -2*r - 3*r + 25 = 0. Suppose g + 18 = -r*f + 4*g, -2*f - 32 = 5*g. Which is greater: f or l?
l
Let i = 0.3 - 0.4. Let h = -20.9 + 4.9. Is h != i?
True
Let p(n) = 2*n**2 + n**3 - 2*n**2. Let s = 20 + -20. Let u be p(s). Do 0 and u have the same value?
True
Let b(k) = k**3 + 3*k**2 + 3*k + 8. Let t be b(-3). Let r be ((-10)/(-52))/5*-2. Which is smaller: t or r?
t
Let s be (-8)/(-6)*3 + -1. Let t(o) be the second derivative of -o**3/6 + 3*o**2/2 + o. Let f be t(s). Which is smaller: 1 or f?
f
Let k = 32/37 + -937/185. Which is greater: k or -5?
k
Let b = -2.4 - -1.6. Is 1 smaller than b?
False
Let h(u) = u**3 + 5*u**2 + u + 2. Let m be h(-5). Suppose 3*i - 29 = 25. Let q be (3/(-48))/(m/i). Are q and 0 unequal?
True
Let v = -152 - -151. Which is greater: -0.198 or v?
-0.198
Let r(s) = -s**2 - 7*s + 5. Let o be r(-8). Let p be 0 - o/((-39)/(-2)). Suppose b = 5*b - 4. Is b at most p?
False
Suppose 0 = -7*y + 55 + 22. Which is smaller: y or 10?
10
Suppose 0*l - 8 = -2*l. Suppose 2*q + 4 = 3*q. Suppose -4*t = -l*h + 4, -2*t - 6 - 2 = q*h. Is t less than 2?
True
Let x = -103 + 108.1. Let d = x + -0.1. Let b = 5 - d. Are b and 0.1 nonequal?
True
Suppose 0 = -8*g + 16*g + 408. Is -51 < g?
False
Suppose -6 = -3*b + 6. Is 6 greater than or equal to b?
True
Let w = -20 - 0. Let y be (-2)/90 + 4/w. Is 1 at most as big as y?
False
Let j be 1 + (-1 + 7)/3. Suppose -j*v - 1 + 4 = 0. Let o = -1 + 2. Do v and o have the same value?
True
Let k = 32 - 30. Which is smaller: 0.4 or k?
0.4
Let z = -405 + 489.1. Let w = z + -80. Let u = -4 + w. Which is smaller: u or -2/5?
-2/5
Suppose l + 2*t = -8, 2*l = -3*l - 3*t - 5. Suppose -7 = -n + l*h, n + 2*h - 48 = -3*n. Which is smaller: -1 or n?
-1
Let c be -4 - 1/(-31)*122. Is c at least as big as 0?
False
Let h = 54.4 - -6.6. Which is smaller: h or 1/3?
1/3
Let g = -2.5 - -3.5. Suppose -3*w + 15 = -3*m, 0 = -w - m - 3 + 2. Let b = w - 2. Is b < g?
True
Let k be 26/(-3) - 1/3. Let b be (-3)/(k/6) - -2. Suppose -2*q = b*n + 16 - 2, 3*q = 5*n + 23. Which is bigger: q or 1/4?
q
Let q(d) = d + d**2 + d**2 + 5 - 3*d**2 - 12*d. Let i be q(-10). Let r be -2*(-3 - i/(-6)). Is r at most as big as 2?
True
Let q be 6/(-3) + (-54)/(-26). Which is smaller: 0 or q?
0
Suppose 0 = -2*f - 0 - 2. Which is smaller: f or 6/25?
f
Let a = 79 + -63. Is 16 != a?
False
Let k(z) = -z**2 - 9*z - 10. Let q be k(-7). Suppose 80 = 10*s + 6*s. Is q at least s?
False
Let f = -44 + 47. Are 5 and f equal?
False
Suppose 9 = -2*m - m - 2*j, -m + 3*j = -8. Is m > 3/16?
False
Let v(b) = -b**3 + 11*b**2 - b + 5. Suppose 3*x + 49 = 5*h, 4*h - x - 48 = -3*x. Let m be v(h). Suppose w = -5*q + 2*w - 26, -q - 2 = 3*w. Is q bigger than m?
True
Let p(t) = -t**2 - 8*t - 1. Let m be p(-9). Let r = m + 14. Let v be (2/r)/(18/(-16)). Is 0 >= v?
True
Suppose -2*i = 2*o + 8, -10 = -2*o - 3*o. Let r be (-3 + i/3)*1. Is -4 equal to r?
False
Suppose a + 5 = 6*a. Let c = 6 - 3. Suppose c*s + 0 = -4*m - 9, 0 = -3*m - 9. Are s and a non-equal?
False
Suppose -2*t - 7*t = -9. Is t bigger than 4?
False
Suppose 4*t + 0*t = -168. Let l = t - -30. Let p be 1/(-3) - (-56)/l. Is -4 equal to p?
False
Let n = -0.6 - 0.4. Let t = n + 0.5. Let w = t - -0.7. Which is greater: w or -0.1?
w
Suppose -3*t = -8*t. Is 2 greater than or equal to t?
True
Suppose 5 = 4*p - 7. Let l = -11 + p. Let r(n) = n**3 - 9*n**2 - 11*n + 2. Let c be r(10). Is l bigger than c?
False
Suppose 3*q = 12, 11 = -3*w - 0*q - q. Which is smaller: -3/4 or w?
w
Let y be 16/42*27/(-18). Which is greater: -2 or y?
y
Suppose 0 = z - 0*z - 6. Let y be z/(-18)*1*4. Is y smaller than -2?
False
Let x be -4 - 51/(-12)*1. Is x less than 2?
True
Suppose -2*j = -0*j + b - 1, 4*b = -3*j + 4. Let i(a) = 2*a**2 + 4*a - 10. Let v be i(-7). Let f be v/(-33) - 10/(-5). Is f != j?
True
Let s = -638/171 - -54/19. Does s = -2?
False
Suppose a + 9 = 2*i, a - 5*i = -i - 19. Which is smaller: a or -1/3?
-1/3
Let o = 12 - 31. Which is greater: o or -18?
-18
Let h = -3607334/1925 + -12836/385. Let b = h - -1907. Let x = 17/25 + b. Are x and 1 equal?
False
Let q = -4 + 4.1. Let y = -0.3 - q. Is y at least as big as 1?
False
Let j(f) be the first derivative of f**2/2 + 7*f - 3. Let d be j(-12). Is d not equal to -6?
True
Let q = -170570/46189 - -2/3553. Is q bigger than -4?
True
Let h = -12 - -11. Is h at most as big as -2/3?
True
Let g be ((-2)/(-3))/(2/(-33)).