 = -27/8?
False
Suppose -3*l + 4 - 2 = -4*t, 0 = 3*l + 3*t + 12. Suppose -16*d = -14*d - 4. Suppose -d*v = -v. Which is greater: l or v?
v
Let a be (-2)/8 + 99/12. Suppose -a = -5*u - 3. Let f = 23.38 + -23.58. Is f at most as big as u?
True
Let g(y) = y + 5. Let q(m) = m**2 - 11*m + 2. Let f be q(10). Let t be g(f). Which is smaller: -7/2 or t?
-7/2
Suppose 15 = 3*a, 0 = -2*y + 3*a - 11 - 4. Suppose w + 2*w - 27 = y. Let c be 16/(-10) - w/(-15). Which is smaller: -6/11 or c?
c
Suppose -40 = -5*y - 0*y + 3*o, -5 = 2*y + 3*o. Suppose -4*s + y*s = -6. Suppose -114*q + 119*q + 25 = 0. Are q and s nonequal?
True
Suppose n - 339 = -5*v, -2*n - 55 = v - 130. Which is greater: v or 64?
v
Suppose 5*y - r = 827, 90 = 5*y + r - 743. Let a be y/7 - 18/(-63). Are 24 and a unequal?
False
Let z = 91 + -76. Let g = -13 + z. Which is bigger: g or -3?
g
Let x = -8 - -4. Suppose 0 = -2*f + 3*s + 7, 2*f - s - 6 = s. Suppose 7*b - f*b + 15 = 0. Is x < b?
True
Suppose 0 = -4*h + 3*h + 6. Suppose h*t - 18 = 12. Suppose i + 5 = 0, -q - t*i + 2*i = 16. Is q at least -1?
True
Let p = 571 - 507. Is p > 60?
True
Let d = 2 + 6. Let h = d + -8. Let s = -0.2 + 0.2. Is s bigger than h?
False
Let l = 5 + -36. Let p = l + 30. Is -6 at most as big as p?
True
Let a be (12/7)/((-10)/175). Are -32 and a nonequal?
True
Let s(n) be the third derivative of -n**6/120 + 3*n**5/20 + 5*n**4/12 + 4*n**3/3 - n**2. Let o be s(10). Suppose -223 = -42*p - 13. Which is greater: p or o?
o
Let t be (6/(-4))/((-54)/40). Suppose -j + 11*r = 14*r + 13, 3*r + 21 = 3*j. Which is bigger: j or t?
j
Let r = -2627/15 + 175. Let v = 16 + -16. Do r and v have different values?
True
Let z = 7 + -7.3. Let u = z + 0.4. Let w = 17.0472 + -0.0472. Which is smaller: u or w?
u
Let m be (-3)/3 + 3 + 1. Suppose -q + 2*q - m*u + 17 = 0, 2*q = -4*u + 6. Let j = q + 7. Which is smaller: 6 or j?
j
Let u(o) = -o**2 + 28*o + 57. Let j be u(28). Are 57 and j unequal?
False
Suppose h + 3 = 4*h. Let u = -0.0839 - 6.0461. Let r = -0.13 - u. Is h smaller than r?
True
Let l = 5.18 + -19.18. Which is bigger: 3/17 or l?
3/17
Let g be (-348)/1*(15 - 14). Let w be 8/g*1*6/(-2). Is w smaller than 1?
True
Let g = -1 - -10. Let c = 1.52 - 3.52. Let x = g + c. Are x and 1/3 unequal?
True
Let j = 78 + -550/7. Do j and 1 have the same value?
False
Let s = -1.99 + -0.01. Let w = -121.05 + 125. Let c = w + 1.05. Are c and s equal?
False
Let t = -97 - -99. Suppose t*o = -5*d + 42, -2*d + 7 = o - 15. Is 25 not equal to o?
True
Let t = -25.008 + 0.008. Let w = t + 25.15. Which is smaller: w or -2?
-2
Let r be 505/(-45) + 2/9. Let n = 15 + r. Suppose -5*m = -3*f - 3, n*m + f + 1 = -m. Are m and 0 equal?
True
Let n(d) = 2*d - 17. Suppose 0 = 4*k - 13 - 43. Suppose 2*s = 2*v + k, -37 = s - 6*s + 4*v. Let z be n(s). Is 2/41 != z?
True
Suppose 2*k + 3*k - 20 = 0. Suppose v + 9 = k*v. Suppose -15 + 0 = v*y. Which is bigger: -3 or y?
-3
Let c = 36 - 33. Let m be -3 + (-9)/c + 4. Are m and -13/6 nonequal?
True
Let m = 2 - -14. Let b = 9 + -28. Let c = m + b. Are -0.2 and c equal?
False
Suppose -2*j + 4*j = -6. Let m be 13/3 + 1/j. Let u(b) = b**2 - 4*b + 4. Let q be u(m). Which is smaller: 3 or q?
3
Let b = 408 + -408. Is b smaller than -4/9?
False
Let f(t) = -2*t**3 + 14*t**2 - 21*t + 113. Let g be f(6). Which is greater: 67 or g?
67
Let a = 93 + -170. Let o = 55 + a. Let k = 21.88 + o. Which is smaller: k or -0.1?
k
Let m = -671 - -580. Are -91 and m equal?
True
Let d = 18 - 15. Suppose q + q = -4*i, 2*q = -i + d. Let t be (q/(-11))/((-2)/12). Is t less than or equal to 0?
False
Let j = -87/112 + 17/16. Is j less than -5.7?
False
Let d = 36.2 - 36. Which is smaller: -4/33 or d?
-4/33
Let w = 103 + -97. Suppose -2*b - w*r + r = -7, 3*b + 6 = -2*r. Let a(y) = -y**3 + 2*y**2 - 4*y + 2. Let c be a(2). Is c != b?
True
Suppose -1 = -4*h + 7. Suppose h*f + 78 = -x, -6*x + x - 402 = 4*f. Let s be (4/4)/(x/(-2)). Which is greater: -1 or s?
s
Suppose 0*g - g = 3*r - 23, -r = 2*g - 46. Let w = 21 - g. Is -34/11 greater than or equal to w?
False
Suppose -3*t + 0 = -15. Suppose -4*y = 4, t*v + 5*y - 14 = 26. Let i(u) = -u**2 + 8*u + 13. Let m be i(v). Is m > 1?
True
Let m(n) = -n**2 + 21*n - 34. Let r be m(19). Which is greater: -2 or r?
r
Let a(t) = -3*t**3 + 28*t**2 + t - 91. Let f be a(9). Do f and -1/155 have the same value?
False
Suppose 0 = 69*n + 16857 - 5127. Which is bigger: n or -174?
n
Let c(f) = 3*f**2 - 16*f + 5. Let b be (25/(-10) - -5)/((-1)/(-2)). Let a be c(b). Which is smaller: a or -2?
-2
Let u be 46/(-112) - (-8)/28. Let s = -5/24 + u. Which is bigger: s or -0.2?
-0.2
Let w = 216 - 216.2. Let t = 2 + -1. Let a = 2 + t. Is a > w?
True
Let u = 436 - 435.9. Which is greater: u or -33/20?
u
Suppose 0 = 5*a - 4*a + 3, 4*z - 2*a - 802 = 0. Is z != 198?
True
Let f(y) = 3 - 2*y + 14*y + y**2 + y + 2*y. Let p be f(-15). Is 2 at least as big as p?
False
Let o = 9.33 + -17.33. Which is bigger: 0 or o?
0
Suppose 4 = 2*d - 0. Let y be (-20)/6 + d + 5 + -4. Do 0.2 and y have the same value?
False
Suppose 107*t = 114*t + 28. Which is bigger: -41/9 or t?
t
Suppose -68 + 52 = 4*h. Is h > -4?
False
Let o be 1 + 36 + (5 + -6)*1. Suppose 8*m - 10*m + o = 0. Is m < 17?
False
Let a = 10 + -5. Let z = a + -4.9. Let h = 6 + -7. Which is smaller: h or z?
h
Let p(k) = k**3 - 2*k**2 - 3*k - 9. Let h be p(5). Suppose r = h - 25. Which is greater: 24 or r?
r
Suppose -4*p = 4*w, -7*p + 3*w + 8 = -2*p. Is 13/131 smaller than p?
True
Let i = -26.92 - -26.92. Which is greater: i or -333?
i
Let u = 357 - 347. Is u at most as big as 0?
False
Let q be 3/(1 + -4) - (-675)/681. Which is bigger: 0 or q?
0
Let f be (-1)/528*2*5/30. Is f smaller than 0?
True
Let i(b) = -b**2 + 6*b - 7. Let m be i(4). Let f be m + -3 - (-39 - (1 - 4)). Is 33 < f?
True
Let l = 14333/5 - 2867. Let a = -23 - -23.09. Is a at least as big as l?
True
Let f be (1 - 2/4) + (-543)/6. Does -89 = f?
False
Suppose -3*x = 0, n + 0*n + 1 = -x. Let h(c) = -c**2 - 15*c + 6. Let f be h(-9). Let k = f + -481/8. Which is smaller: n or k?
n
Let a = 85 + -89. Let w be 7*2/28*(a - 0). Which is smaller: w or -1/2?
w
Let n(r) = -r**2 - 19*r + 2. Suppose -4*w = -3*l - 39, 2*w + 10 = 2*l + 38. Let x be n(l). Is 36 at most x?
True
Let h be 26/(-96616)*(-1 + -3). Which is smaller: h or 1?
h
Let y be 890/((-2)/2)*(-672)/(-448). Which is smaller: -1336 or y?
-1336
Let g = -1 + 2. Let m(b) = -5*b**3 + b**2 - 2. Let a(t) = -9*t**3 + 3*t**2 - 5. Let x(n) = 3*a(n) - 7*m(n). Let f be x(g). Is 9 not equal to f?
False
Let z be (6/(-4))/(43/2). Suppose -20 = 5*f - 3*q, -2*q + 0*q = -2*f - 12. Is f less than z?
True
Let h(k) = k**3 - 2*k**2 - 5*k + 9. Let a be h(3). Let l be 4*a/66 - 8/22. Is l at most as big as 1?
True
Let t = 306871/17 - 18045. Let m = t - 5796/935. Is -1 at least m?
False
Let n = -578343/332 + 1742. Is 1 greater than or equal to n?
True
Let i = -862 - -5177/6. Let b = -0.6 + 1. Are b and i equal?
False
Suppose -3*w = 78 - 24. Let t = 99 + -99.1. Is t bigger than w?
True
Let w = -699466 + 699492.93985. Let z = w + 0.03015. Let j = z - 27. Do 2/9 and j have the same value?
False
Let h(p) = 26*p**2 - 17*p + 46. Let g be h(3). Which is smaller: 228 or g?
228
Let i be ((-1 - (-1)/1)/1)/1. Which is bigger: -15/136 or i?
i
Let v = 9218/175689 + -8/729. Which is greater: v or -1?
v
Let a(w) = 0*w**3 - 3*w**3 - 3 - 3*w - 22*w**2 + 19*w**2. Let s be a(-2). Do s and 15 have different values?
False
Let p(m) = -m**2 - 15*m + 2. Let j be p(-13). Let d be (64/j)/8 + (-132)/7. Are -18 and d non-equal?
True
Let h = 23841 - 117709/5. Is h less than 300?
True
Let h = 81.6 + 1309.4. Is -1 less than or equal to h?
True
Suppose 2*t - 12 = -3*j + 3*t, j + 10 = 5*t. Suppose -j*z + u = -4*u - 45, -5*u - 27 = -2*z. Let p(v) = v + 9. Let m be p(z). Which is smaller: 14 or m?
14
Let z = -980721/13702 - -4473/62. Let s = -11/17 + z. Suppose f + 3 = 2. Which is greater: f or s?
s
Let i(z) = -z**2 + 8*z - 10. Let h be i(4). Let b be -3 - 9/h*10/(-6). Is -0.2 at least as big as b?
True
Suppose 1313 = -7*a - 703. Which is greater: a or -287?
-287
Let o(t) = t**2 - 26*t + 43. Let m be o(24). Let s = 3 - 3. Suppose -2*u - 3*w = 6, -5*u + 3*w = -s*u + 36. Which is smaller: m or u?
u
Let d = 315 - 262. Is d < 53?
False
Let k(m) = 10*m**2 + 140*m -