 n?
True
Let w be 6/(-8) + 744/(-1056). Do 0 and w have different values?
True
Let s = -352 - -282. Which is smaller: -66 or s?
s
Let z = 11 + -12. Let f be -2*(z - (-2 + 2)). Suppose 0*b = -f*b + 2. Do 2/17 and b have the same value?
False
Let t be ((1078/(-792))/(-49))/(1/129). Is 5 less than or equal to t?
False
Suppose 842 = -10*q + 892. Which is greater: q or 1?
q
Let f(m) = 144*m - 51. Let z be f(-17). Are -2499 and z non-equal?
False
Let w(z) = z**2 + 15*z - 29. Let t be w(2). Which is smaller: -11 or t?
-11
Let w = -8.9 + 9.67. Let k = w - 0.9. Suppose -3*v = 2*b + 14, 4*v + 21 = -3*b + 2. Which is bigger: b or k?
k
Suppose 2 = 3*g - 7. Suppose -g*f - 24 = 15. Let r = f - -13. Is -1 != r?
True
Let w = 26.042 - 0.042. Let n = w - 27. Let x = -0.1 - -0.12. Which is greater: x or n?
x
Let j = -89.005 - -0.005. Let c = -83 - j. Let p = -1 + 0.9. Which is smaller: p or c?
p
Suppose -5*w + 1245 = -2*q + 6*q, -2*q - 2*w = -620. Is q > 305?
False
Let o = 536 - 546.23. Let q = -0.23 - o. Let c = q - 8. Is c at most 0?
False
Let o = 0.2 - -0.2. Let s be ((-3)/9)/(2/3)*0. Suppose -2*t + 5*z - 2*z - 3 = 0, s = -2*t + z - 1. Which is smaller: t or o?
t
Let r = 1980 - 1981. Let v be 9/147*2/3. Is v <= r?
False
Let m(c) = c**2 - 3*c - 3. Let k be m(4). Let t be -19 - -66 - (-1 - (1 - 1)). Let v be (6/t)/(5/(-4)). Is k > v?
True
Let t be (-16)/(-24)*-5*3. Let i = -7 - t. Suppose 16 = -f - i*f. Which is smaller: -2 or f?
f
Suppose 0 = -3*z + 4*h - 1018, 3*h + 0 = 12. Do z and -1676/5 have different values?
True
Let d = -39.5 + 28.5. Which is greater: 10 or d?
10
Let c(v) = -8*v + 146. Let k be c(13). Are 43 and k non-equal?
True
Let d be (-203)/(-12) - 8/(-24). Let f = d - 17. Is f > 14?
False
Let s = -261 - -366. Let g = 104 - s. Is 2/53 not equal to g?
True
Let x = -21 + 27. Suppose -x*a - 10 = -5*y - 3*a, y - 4*a - 19 = 0. Which is smaller: 2/9 or y?
y
Let c(n) = -n**3 - 5*n**2 - 5*n + 7. Let z be c(-4). Let j be 545/(-20) + 3 + z/(-4). Which is greater: -29 or j?
j
Let b = 92564/15 + -6168. Which is greater: 3 or b?
3
Let b(x) be the second derivative of x**4/12 + 2*x**3/3 + x**2/2 + x. Let j be b(-6). Suppose 12 = -5*m - j. Which is greater: -6 or m?
m
Let m = 32 + -39. Let x be (-195)/(-18) - m/42. Is 104/9 bigger than x?
True
Let g(r) be the second derivative of r**4/3 - r**2/2 + 4*r. Let t be g(1). Let m be t*(0 + 6/(-45)). Is m at least -0.2?
False
Let w = -6.85 - -7.03. Are -2 and w non-equal?
True
Let n be -1*1*(-133)/7. Suppose -3*z + 17 + n = 0. Suppose 15 = -4*g - 3*k + 4*k, -5*g - z = k. Which is smaller: g or 2/7?
g
Let h = 47672/55 + -4297/5. Which is greater: h or 8?
8
Let l = 5/233 - 1017/3961. Let y be (-11)/(-33)*-3*1. Which is bigger: l or y?
l
Let w = -25628 - 13894. Let t = w - -277194/7. Let i = t - 16726/217. Which is bigger: 0 or i?
i
Let d(b) = -24*b + 49. Let g be d(2). Which is smaller: g or 3/391?
3/391
Let a(g) = g**2 - 19*g + 60. Let j be a(15). Is j smaller than -1/4?
False
Let p(a) = 3*a**2 - 34*a + 13. Let q = 8 + 3. Let c be p(q). Is 1.1 != c?
True
Let c = -48 - -48. Suppose -2*p - q + 10 = 0, 5*p + c*q = -3*q + 24. Is 3 less than or equal to p?
True
Let c = -536 - -542.5. Which is bigger: 0.03 or c?
c
Let o be (-639)/(-189) + -3 + 2/(-3). Let w(y) = -3*y**2 - 13*y - 8. Let s(c) = c**2 + 6*c + 4. Let a(n) = 5*s(n) + 2*w(n). Let q be a(5). Is o bigger than q?
True
Let i = -151 - -155. Let p(t) = t + 10. Let u be p(-7). Which is bigger: i or u?
i
Let t be 2/8 - 852/(-48). Suppose 6*u = -4*p + 5*u - 12, 5*p = -2*u - t. Let a = -2 + p. Is -6 at least a?
False
Let z be (35/(-21))/((-248)/12). Which is bigger: 0 or z?
z
Let h = 7 + 16. Let v = -0.5 - 25.5. Let g = v + h. Is g smaller than -1?
True
Let j = -32 - -272/9. Let a = -10/9 - j. Let f = 2.95 - 3. Which is smaller: a or f?
f
Let q be (21/28)/(711/(-252)). Which is greater: q or 0?
0
Let l(p) = 2*p**2 + 11*p - 17. Let n = -59 + 52. Let v be l(n). Is v greater than or equal to 8?
False
Let c be -6*(-1)/(-48) - (-446)/(-16). Which is bigger: c or -23?
-23
Let m(b) = b**3 + b**2. Let s be m(0). Suppose -5*i + 0 = -s. Is i >= 3/58?
False
Let m(r) be the second derivative of r**4/12 - 3*r**3/2 - r**2/2 + 4*r. Let n be m(9). Let w be -9 - n - (-6 - -4). Is -6 greater than w?
False
Let f(l) be the first derivative of -3*l**2/2 - 8*l - 18. Let j be f(-6). Which is bigger: j or 8?
j
Let b(a) = 19*a + 112. Let c be b(-6). Is c <= -6?
False
Let b(x) = -4*x**2 + 21*x + 19. Let u(g) = -g**2 + 7*g + 6. Let n(m) = 2*b(m) - 7*u(m). Let h be n(-6). Let w = -346 + 349. Which is smaller: w or h?
h
Let f = 20086/31 - 648. Is f != 1?
True
Let p = 20.325 - 20.22. Which is smaller: p or 10?
p
Let y = -106 - -48. Let g = 47 + y. Which is bigger: 1 or g?
1
Suppose 0 = -0*t - 4*t + 20, -3*b = -t + 8. Is 11/7 less than or equal to b?
False
Let u be ((-10)/(-66) - 2/(-11))*-1. Which is smaller: 0 or u?
u
Let r = 4.6 - 4. Let a = r + -0.7. Let b = 0.21 - 0.41. Is a greater than b?
True
Let t = 7 - 4. Let p = 3.3 - t. Let w = 1204/33 - 110/3. Are w and p nonequal?
True
Suppose 0 = -5*w - 2 + 17. Let p be (-14)/w*(-56)/(-49). Suppose -2*s = -4*s - 10. Is s > p?
True
Suppose 3 = -i, 5*a + 5 = -5*i - 0*i. Let u be (2 + 1)/3 + 64. Suppose 3*r - u = -5*f - 2*r, -5*r + 21 = f. Which is greater: f or a?
f
Let h = -0.0184 + -41.9816. Which is bigger: h or 4?
4
Let g be (-32)/12*42/4. Let a = g + 27. Which is bigger: -1/11 or a?
-1/11
Suppose -3*h + 3*u = -2*u + 65, 8 = 2*u. Is h < -2/49?
True
Let s = -20.023 - -0.023. Let m = s + 19.9. Let o = -28.03 + 28. Do m and o have the same value?
False
Let n = 9 + -5. Let g = 69 - 74. Which is greater: n or g?
n
Suppose 5*f + 1 = c, c = -3*c + 2*f + 4. Let k be (-7)/(c + -5 + 3). Is k <= 23/4?
False
Let o = -0.79 + 23.79. Let v = 23.1 - o. Which is bigger: -5 or v?
v
Let z(d) = 2*d - 13. Suppose -5*j = -4*s + 20, -4*j = 5*s + j - 70. Let w be z(s). Let p = 7 - w. Is 2/45 < p?
False
Let p = -452 - -757. Suppose 4*o = p + 15. Suppose -17 + o = -7*x. Is -9 at most as big as x?
True
Let a = -12.83 + 13. Let y = 0.08 + a. Let v = -2.25 + y. Is -3 not equal to v?
True
Let g be ((-1)/(-5))/(9 - 102/12). Which is smaller: -157 or g?
-157
Suppose -88*i - 3 = -85*i. Let n be 1/6 + 0/1. Which is greater: n or i?
n
Suppose 6*k = -7*k + 39. Suppose 0 = 5*u + 2*a + 27, 5*u = -4*a - k - 26. Is u at least -5?
True
Let h be (-6)/(-2) + 11/(-6556)*1772. Which is smaller: -1 or h?
-1
Let x = 769 + -812. Which is greater: -42 or x?
-42
Let f = 0.0417 + -0.0617. Are f and -4 nonequal?
True
Let q(h) = 2*h - 13. Let k be q(10). Let p be (-4)/1 - k/(-2). Is 9 >= p?
True
Suppose -34*i + 28*i = 18. Let k be (-2 + (-5)/i)*0 + 3. Which is bigger: 2 or k?
k
Let t(v) be the third derivative of 19*v**6/120 + v**5/60 + v**4/24 - v**3/6 + 6*v**2. Let g be t(1). Is 20 at least as big as g?
True
Let c = -0.093 + 0.044. Suppose -5*w = -3*l + 1, 5*w + 3*l + 6 = 17. Which is greater: w or c?
w
Let k(v) be the second derivative of v**4/12 - 2*v**3/3 - 5*v**2/2 - 4*v. Let p be k(5). Suppose 0 = -4*g + 3 + 5. Which is smaller: p or g?
p
Let l be (0 + 48/44)*(-1)/(-74). Is 1 >= l?
True
Suppose -3 = 3*g - 0. Let u = g - -3. Suppose 2*m = -u*m - 12. Is -2 < m?
False
Let n(z) = -4*z + 97. Let h be n(24). Is 2/31 at most as big as h?
True
Let t = 30.6 + -30.7. Which is bigger: t or -247?
t
Suppose 17*g - 16*g = 0. Which is smaller: -1/316 or g?
-1/316
Suppose -4*t = -9*t + 65. Let r(h) be the second derivative of -h**5/20 + 7*h**4/6 - 2*h**3 - 11*h**2/2 + 32*h. Let w be r(t). Are 1 and w nonequal?
True
Let w = 7.1 - 4.1. Which is smaller: 0.38 or w?
0.38
Let y = 660 + -413. Is 1/4 at least as big as y?
False
Let s = -0.0202 - 0.0798. Which is smaller: 1281 or s?
s
Suppose -5*m = -4*q - 25, 2*m - 3*q = 4 + 6. Suppose -m*i - 87 + 452 = 0. Is 73 greater than or equal to i?
True
Let t be (-16)/5652*6/4. Which is greater: t or 1?
1
Let m be 8/(-4) + (-247)/(-13). Which is greater: m or 23?
23
Suppose 114*d - 127*d + 13 = 0. Which is smaller: d or 1/338?
1/338
Let r = 561.5 - 562. Is r equal to 46?
False
Suppose -4*j + 5*w + 327 = 0, 5*j - 5*w - 291 - 114 = 0. Let i = j - 49. Is i < -0.1?
False
Let u(s) = -2 - 2 - s + 1. Let h be u(0). Let m be (-5)/(-135)*-6 - 48/27. Is m at least as big as h?
True
Let i b