. Let j = k - 0.66. Which is bigger: j or -2/3?
j
Let a be -11*(-20)/330*((-58)/(-4) - 4). Let h = -1 - -1. Is a at least h?
True
Let v(g) = -3*g + 64. Let q be v(19). Let c = 62/9 - q. Is -0.2 < c?
True
Let p = 15 - 7. Let b = 3711 - 3704. Which is bigger: p or b?
p
Suppose 0 = -6*g + 2*g + 12. Let v(u) = 0 + 0 - u - 1 + 0*u. Let c be v(g). Which is smaller: -5 or c?
-5
Suppose 3*r = -3*j - r - 14, -j - 2*r = 6. Let t be (j - (-29)/15)*(-50)/(-20). Let q be (-2)/9 - 33/(-27). Is t at least as big as q?
False
Let b = -847 + 1586. Is 738 bigger than b?
False
Let x(j) = -7*j + 133. Let w be x(17). Which is greater: w or 16?
16
Suppose 7*k - 9*k - 7 = -3*h, -5*k - 11 = -h. Let a = -1041 + 730. Let n = 7773/25 + a. Is n at most h?
True
Let c = 368 + -393. Is c at least -25?
True
Suppose -3*l = -5*a - 2607, 12*a = 5*l + 15*a - 4379. Which is smaller: l or 873?
873
Let n = 53 - 59. Let u(g) = -5*g - 19. Let l be u(n). Which is smaller: l or 12?
l
Let q be (2 - -1) + (-60)/15. Let v = 113/7 - 1405/84. Is q > v?
False
Suppose 93 = -5*o - 3*q, -5*o - 77 = -4*q + 9. Does -20 = o?
False
Let y be 8/32 - (129/12)/(-1). Let z be (y/(-22))/(6/(-4)). Which is smaller: -1 or z?
-1
Let d(f) = -5*f**2 + f + 2. Let q be d(-1). Let h = q - -12. Is 11 at most h?
False
Let d be 3651/(-1485) - 24/(-108). Let p = 9079/11 - 827. Let m = p - d. Is m != 1?
True
Let a = 61 + -61.1. Let k be 2/(-11) - 31/11. Let n be -3 + 2 + k/(-15). Is n > a?
False
Let i = 19 + -33. Let a be ((-6)/(-10))/(27/45). Which is greater: a or i?
a
Suppose -9*y + 4*y = 5. Let c = y + 0. Suppose 7*z = 3*z + 4. Which is smaller: c or z?
c
Suppose -74*h + 84 = -80*h. Which is smaller: -67/5 or h?
h
Let m be 0 - (4 - 150/35). Let r be ((-3)/6)/(2/(-8)). Let n = r + -2. Which is smaller: m or n?
n
Let a = 1688 + -1258. Is -0.1 at most a?
True
Let w be ((-40)/(-46))/(-23 + 22). Which is smaller: w or 0?
w
Let v(d) = d**3 - d. Let i be v(0). Let r = -112 - -1681/15. Is r > i?
True
Suppose 2 = t, 79 - 31 = 4*n + 2*t. Let x = -22 + n. Is x smaller than -11?
False
Let s = 11 + -97. Let c = 82 + s. Is -4 less than c?
False
Let o be (-7)/(-2) - (-21)/14. Suppose 54 = o*q - 2*z, 0*q = q - 2*z - 14. Let n be (-3 - -2)*(-10)/q. Which is bigger: n or -27?
n
Let n be (3 - (0 + 3))*-1. Suppose -2*f + 5*f - 6 = n. Which is smaller: 3/4 or f?
3/4
Let i be 9098/(-22) + (-2 + -4)/6. Let t = -415 - i. Is t at least 1?
False
Let b = 1/29 + -34/145. Let f = b - 4/55. Is f at least -0.1?
False
Let f(n) = -n + 1. Suppose -5*c - 4 = -c. Let y be f(c). Let w be (-8)/(-3)*y/(-12). Which is smaller: w or 0?
w
Let l = -17 + 16. Let w = -29 + 49. Let o be ((-4)/8)/(7/w). Is l greater than o?
True
Suppose -3*s + 3*t - 21 = 0, 2*t = -2*s - 53 + 59. Is 1.56 <= s?
False
Suppose 7*c = 6*c - u + 9, 2*u = -4*c + 28. Let s be (-2)/(-2) + (-45)/(-12). Is c > s?
True
Suppose 196 = 14*b - 42. Is b smaller than -5?
False
Let r(z) = 3*z**2 - z - 473. Let v be r(19). Is v less than or equal to 589?
False
Let s be ((-6 + 192)/6)/(-1). Which is bigger: -30 or s?
-30
Let p(w) = 7*w + 85. Let y be p(-10). Which is smaller: y or -1?
-1
Let n be ((-5022)/24)/(10/(-40)). Is 837 != n?
False
Let s = 176 - 21. Suppose -s*n - 48 = -159*n. Let h = 0.1 + -0.1. Does n = h?
False
Suppose -6*i - 1099 = 59. Which is bigger: i or 0?
0
Let r(n) = 81*n + 40. Let u be r(5). Is 446 equal to u?
False
Let j(o) = -o**3 - 14*o**2 - 12*o + 14. Let i be j(-13). Suppose 3*y + 38 + i = 0. Are -23/2 and y non-equal?
True
Let b = -2323/319 - -82/11. Is b at most as big as 1?
True
Let o be 1*(-68)/6*(-153)/34. Is 50 greater than o?
False
Suppose -3*t = -80 - 22. Let g = t - 34. Let i(y) = y**3 - 2*y**2 + 2*y - 3. Let x be i(2). Which is smaller: x or g?
g
Let y = 94/3 - 284/9. Do 2/223 and y have different values?
True
Let x = -1581 - -1649. Which is bigger: 0.2 or x?
x
Let i = -75.9 - 6.1. Let v = 92.1 + i. Is 1 less than v?
True
Let w be ((-186)/35)/((-32)/(-20)). Let r = w + 13/4. Suppose -5*c - 8 = -2*j + 2, c + 4*j = 20. Which is smaller: r or c?
r
Let s(f) = -5*f**2 + 2*f**2 - f**2 + 3*f**2 + 5*f - 2. Let p be s(5). Let w = -12/25 - -158/225. Which is bigger: w or p?
w
Suppose -5*k + 2*k = 15. Let h(y) = -y**2 + 3*y. Let n be h(4). Let s(i) = -i - 7. Let a be s(n). Are k and a non-equal?
True
Suppose 2*i - 137 = -y, -5*y = -0*y + 2*i - 725. Which is greater: y or 143?
y
Let j be 24/36 + 28*(-2)/(-6). Do j and 11 have different values?
True
Let m be (16/80)/((-12)/(-15)). Is -2.2 bigger than m?
False
Suppose -2*s + 0*p = 2*p, -p + 0*p = 0. Is 2/3 bigger than s?
True
Let u = 13 + -9. Suppose -2*h = -0*p + 3*p - 13, 0 = 2*p - 3*h. Let m = p - u. Which is smaller: m or 1/5?
m
Let t = 0.054 - -0.786. Let r = t - 0.8. Let w = r - 1.04. Which is greater: w or 2/5?
2/5
Let z = -2243 + 2103.3. Let g = z + 139. Are -0.1 and g equal?
False
Let p be 32/20*70/7. Let m be (-95)/p*(-24)/(-20). Which is bigger: m or -6?
-6
Let p be (6/3 - 1) + (34 - 0). Suppose 35 = -6*t + p. Which is smaller: t or 4?
t
Let l be (52/(-10))/((-2022)/(-225) + -9). Is l equal to 391?
False
Let a = 883 + -874. Is 86/11 at least a?
False
Let a = 1963 + -545. Is a at most 1418?
True
Suppose 1095 = 5*f - j, f + 22*j - 24*j - 219 = 0. Which is smaller: f or 218?
218
Suppose 3*w - 2*r + 43 = 0, 0*w = 4*w + 2*r + 48. Let x(t) = -3*t - 10. Let c be x(-8). Suppose y = -0*y - c. Which is smaller: y or w?
y
Let b(m) = m**3 + 5*m**2 + 3*m - 3. Let u be b(-4). Let z(c) = c + 2 + u + 1 + 1. Let d be z(-8). Which is smaller: d or -2?
d
Let l = -1415 - -1415. Is l less than or equal to -2/1707?
False
Let j be (-4)/6*9/39. Suppose 497*x + v + 12 = 496*x, 0 = -5*x - 3*v - 60. Which is smaller: x or j?
x
Let f = 3 + -2. Let w be (1 + -4)/(49*(-450)/(-140)). Is f smaller than w?
False
Suppose -5*s = 5*s. Is -6/169 equal to s?
False
Let y be 2*(-1)/(-20) - 10/(-25). Which is smaller: y or -8.6?
-8.6
Let q be (-112)/3 + 10/(-15). Do q and -33 have the same value?
False
Let m = -17 + 25. Let r = 13 - m. Suppose -39 = -0*p - 2*p + r*y, 4*y = 5*p - 55. Which is bigger: p or 6?
p
Let n(x) = x - 11. Let s be n(12). Let u be (1 - (-20)/(-8))*4/(-102). Is s > u?
True
Let j = -10 - -19. Let g = 4 + j. Suppose -5*p + 55 = -10. Is p greater than g?
False
Let d(y) = -y + 107. Let w be d(0). Suppose -4*o + 5*c + w = 0, 5*c + 74 = o + 2*o. Let u be 1 - ((-248)/o)/(-8). Which is greater: -1 or u?
u
Let t(g) = -2*g**3 - 4*g**2 + 3*g - 1. Let h be t(2). Which is smaller: h or -25?
h
Suppose -2*s - 303 = s. Let x = s - -92. Is -2 at most as big as x?
False
Let w = -38.981 - 0.019. Let c = w + 39. Is 1 at least as big as c?
True
Let g = -539/4726 + -1/278. Let q(l) = l**2 - 10*l + 7. Let v be q(9). Let z be 0/(v - (-2 - 2)). Which is bigger: z or g?
z
Suppose -5*b = -v + 2, -3*b - 4*v - 13 = -2*b. Which is smaller: b or -1/3121?
b
Suppose 102 = 20*n - 3*n. Which is bigger: 35/6 or n?
n
Let j = 1/29 + 27/58. Let f(o) = o - 17. Let z be f(12). Let k be ((-14)/10 + 1)*z. Do k and j have different values?
True
Let h = -555112/137 - -4052. Is -1 at most as big as h?
True
Let y(o) = -o**3 + 29*o**2 - 50*o - 105. Let x be y(27). Suppose -3*w + 1 = 7. Let l be (-1 - w)/(x/21). Do l and 5 have the same value?
False
Let h be (-122 - -126) + ((-2074)/18 - 1). Are h and -113 equal?
False
Let g be 16/(-70) - -4*3/28. Is -38 at most as big as g?
True
Let x = 46 - 45. Let p be (-1736)/(-20) + 1/5. Let t be -1 - 3/((-81)/p). Which is smaller: x or t?
x
Suppose 0 = -34*q + 22*q - 36. Suppose 0 = 3*l + 6 - 3. Which is smaller: l or q?
q
Suppose -2220*w = -2211*w - 189. Which is smaller: w or 10?
10
Suppose -2*w = -i - 9, w + 2*i = 4 + 3. Suppose 9 - 4 = w*x. Is x not equal to 7?
True
Let k = -44 + 46. Suppose -7*o + 3*o - 48 = -4*m, k*m - o - 21 = 0. Let l(g) = -g**2 - 9*g - 8. Let x be l(-6). Is x bigger than m?
True
Let c be -9*(-2)/6 - 1. Let j be (-36)/30*5/c. Are -1 and j unequal?
True
Suppose -2*o + 4 - 1 = -3*f, -43 = -2*o - 5*f. Let z(n) = -5*n + 42. Let u be z(o). Which is bigger: -16 or u?
u
Let u = -30 + 32.6. Let l = -0.7 + u. Let y = -2.1 + l. Is y >= -6/5?
True
Let v = -25 + 25.5. Which is smaller: v or 12?
v
Let f(w) = w**2 + 29*w + 99. Let t be f(-4). Which is bigger: t or -1/1928?
-1/1928
Let r be (-75789)/(-10829) - (9 + -2). Which is bi