. Let r be m(3). Let b = j + r. Which is smaller: 7 or b?
b
Let r = -31 + 21. Let f(n) = n**2 - 14*n + 13. Let j be f(11). Let p = j - -10. Are p and r unequal?
False
Let f = 13 + -10. Suppose f*n - 7 = s, -2*s + 5 - 1 = 0. Is n at least as big as -0.6?
True
Let s be 70/(-6)*60/(-50). Is s less than or equal to 1?
False
Let q be 3/(3/2) - (-47 + 18). Suppose 1 = 8*v - q. Which is smaller: 18/5 or v?
18/5
Let j = -1910 + 3442. Is 1531 equal to j?
False
Let p = 20.14 + -20. Let z = -1.34 + p. Which is greater: z or -1?
-1
Suppose -5*w + 5 + 15 = 0. Let l(m) = 16*m + 8*m - 34*m + 11. Let n be l(w). Which is greater: n or -30?
n
Suppose h - 5*h - 416 = 0. Let r be ((-13)/h)/(-1 + 2). Suppose 4*m - 48 = -44. Is r >= m?
False
Let f(i) = -8*i**2 - i. Let j be f(2). Which is bigger: -33 or j?
-33
Let r be -1 - (18/4)/(-3). Let q = -15 + 24. Let w = q + -9. Which is smaller: r or w?
w
Suppose 34*n + 63 = 41*n. Are 84/11 and n non-equal?
True
Let u(l) = -l - 7. Let s be u(-10). Let j be (s/2)/(4/8). Which is smaller: j or 6?
j
Let k(p) = -p + 5. Let r be k(4). Let t be 10/25 + (-2)/5. Is t less than or equal to r?
True
Let i be (-28)/(-912)*(-9)/(-12). Is -1 less than i?
True
Let x = 520 + -744. Is -224 at least as big as x?
True
Suppose 2*c = -17 + 11. Let x be c*((-32)/12 + 2). Let o be 6/1 + (-1 - 0). Which is smaller: x or o?
x
Suppose -2*a + 379 = -6*j + 7*j, -4*a - 16 = 0. Is 387 less than or equal to j?
True
Suppose -170 = -2*o + 310. Which is smaller: o or 241?
o
Let y = -1307 + 11749/9. Let t(u) = -u**2 - 37*u + 77. Let x be t(2). Is y >= x?
False
Suppose 3*x - a = -1223, -412 = x + 2*a + 5. Is x less than or equal to 1/3?
True
Suppose -666 = -y - 8*y. Is 72 > y?
False
Let g(k) be the second derivative of 5*k**3/6 - 4*k**2 - k. Let p = -913 + 909. Let n be g(p). Is -27 smaller than n?
False
Let z(n) = -n**3 + 23 - 8*n + 2*n**3 - 18*n**2 + 0*n**3 + 24*n. Let q be z(17). Suppose 14 = 2*x + 2. Is q greater than or equal to x?
True
Suppose -6 = -2*n + 4. Let r = n - 3. Let g = -10.5 - -11. Is g >= r?
False
Let h = -3659/2652 + -1/204. Which is smaller: 0 or h?
h
Let o = 96 - 207. Let z = o + 98. Is z > -13?
False
Let p be 1*-3*(-5)/(-45). Let x = -0.56 + 23.56. Let q = 16 - x. Which is greater: p or q?
p
Let z(q) = -59*q + 473. Let p be z(8). Which is greater: 1/5298 or p?
p
Let s = -1 + 4. Let i = -77 + 73. Let u be 0 - (1 + i + s). Is u at most as big as 2/11?
True
Let a = 15.64 + -11.64. Let l = -17 + 84/5. Is a smaller than l?
False
Let s(h) = -h**3 + 6*h**2 + h - 5. Let x be s(6). Let w be ((1 + -4)/(-3))/((-285)/5). Which is smaller: w or x?
w
Let n(l) = 37*l - 13. Let b be n(-3). Which is greater: b or -126?
b
Suppose 4*w = -l - 72, w + 0 = 5*l - 18. Is -0.5 not equal to w?
True
Let o = -3/2 - -19/10. Let j be (-14)/(-35)*((-6 - -1) + 0). Let p be (1/(-12))/(j/6). Is o at most as big as p?
False
Let k be (-7)/((-105)/366) - 6/(-10). Which is bigger: 17 or k?
k
Let w(t) = 2*t**3 - 4*t**2 + 3*t. Let o be w(1). Which is smaller: 105 or o?
o
Suppose -21*d - 3480 - 10590 = 0. Does -671 = d?
False
Let s(m) = -m**3 + 6*m**2 + 3*m - 3. Let b be s(6). Let v(k) = 2*k**3 - 3*k**2 - 6*k + 5. Let n be v(3). Which is smaller: n or b?
n
Let h = 12 + -30. Let f be (-1)/(-2)*(0 - 6). Let u be (2/(-6))/(f/h). Is u less than -1?
True
Suppose d + 7 = -1. Let k be 2/8 + 18/d. Let f = k - 6. Is f equal to -9?
False
Let i = 56 - 54. Let u be -3*(-2)/3 + i/(-5). Which is greater: 2 or u?
2
Let t = 2 + 3. Suppose t = -4*d + 41. Let h be (-5)/(15/(-9)) - d. Which is smaller: h or -7?
-7
Let g(z) = -z - 2. Let x be g(-3). Suppose -5*m - x + 6 = 0. Suppose -d + 2 = 3*s, -2*d + 5 - 1 = -5*s. Which is bigger: d or m?
d
Let i = 2 - 4.3. Is -0.1 < i?
False
Let x(d) = -d**3 + 5*d**2 + 2*d - 13. Let w be x(0). Is w at least -152/11?
True
Suppose -2*u = -4*q - 166, -23*q = u - 26*q - 83. Is 251/3 > u?
True
Let p = 149 - 293. Which is smaller: -145 or p?
-145
Let l be ((-3)/(-6))/(2/(-20)). Let x(h) = h**2 + 4*h - 6. Let k be x(l). Suppose -3*v = a + a + 10, -20 = v + 4*a. Which is smaller: k or v?
k
Suppose o = 2*s + 2*o + 82, -o - 162 = 4*s. Let y be ((-24)/(-10))/(12/s). Let q = -0.31 - -0.31. Do q and y have the same value?
False
Suppose -5*z - u = -46, -z + 5*u + 19 = 15. Which is greater: 61/7 or z?
z
Let x = 3 - 8/3. Let i = -1338 - -1337.79. Is x < i?
False
Let h be (-8 - 2)/((35/(-25))/(-7)). Are h and -50 non-equal?
False
Let w(z) = z**2 + 4*z + 1. Let i be w(-4). Suppose -10 = -9*j + 17. Suppose j*b - 3*q = 2*b - 1, 1 = q. Which is smaller: i or b?
i
Suppose x + 0*x = 2*m + 6, -12 = 5*x + 4*m. Let z = 500958/155 + -3232. Which is bigger: z or x?
x
Let g be 8/10*(-1 + (-6)/4). Let b(p) = -3*p**2 + 2*p + 1. Let w be b(g). Let a be (22 - 2)*(-16)/20. Is w greater than or equal to a?
True
Let f(q) = -q**2 - 13*q - 15. Let z be f(-13). Let y be 4/(-22) + (-35)/(-11). Let a be (-2)/(y + 81/z). Which is smaller: 1/2 or a?
1/2
Suppose -3*i + 5*h + 63 + 222 = 0, 190 = 2*i + 4*h. Let z = i - 94. Which is greater: 2/207 or z?
z
Let o be ((82/8)/1)/(6/24). Suppose -3*u = -o + 122. Which is smaller: u or -25?
u
Suppose 3*h = 5*j, -h = 4*j - 2*j. Let u be (-8)/(-24) - 62/195. Which is smaller: h or u?
h
Let h(k) = -k**3 - 8*k**2 + 10*k - 5. Let a(w) = w**2 + 11*w + 19. Let p be a(-7). Let g be h(p). Which is greater: -1 or g?
-1
Let g be (3/((-2289)/(-14)))/2. Is -1 greater than g?
False
Let w = 528/5 - 41189/390. Is w equal to 0.9?
False
Let m(w) = -w**2 - 3*w - 3. Suppose -2*f + 19 = 9. Suppose 14 = -4*s - 2*n, -5*s = -2*n - 3*n - f. Let r be m(s). Which is smaller: -2/3 or r?
r
Let t = -783 + 779. Is t bigger than 0.222?
False
Suppose -5*x - 5*z + 3*z + 5 = 0, -18 = -x + 3*z. Let t be (1 - x) + 20/11. Let h(u) = 52*u + 1. Let i be h(0). Is i less than or equal to t?
False
Let k = -4.443 + 0.043. Let o = -3.4 - k. Is o >= 1/4?
True
Suppose -43*x + 46*x + 123 = 0. Is x smaller than -41?
False
Let g(a) = 8*a + 5. Let c(h) = 15*h + 10. Let k(w) = 6*c(w) - 11*g(w). Let t be k(-5). Let y = t + 6. Is -1/4 <= y?
True
Let r = -2510 - -2511. Let v be (-2)/5 + (-6)/(-40). Is r != v?
True
Suppose u + 8 = 2*b, -4*b + 110 = -5*u + 40. Which is smaller: u or -22?
-22
Suppose 0 = 6*h + 52 + 86. Let x = h - -22. Which is smaller: -2/11 or x?
x
Suppose -3*w + 29 = v, -3*w + 63 = 2*w - 2*v. Let z = w - 28. Let c = z + 16. Is c greater than or equal to -2?
True
Suppose -2*s = -387 + 393. Is s less than -34/11?
False
Let y = 173 + -173. Let a = 29 + -21. Is y != a?
True
Let l = 2871 + -2871. Which is smaller: -6/649 or l?
-6/649
Let t = 81 - 148. Are -67 and t equal?
True
Let d = 988 - 1003. Which is smaller: d or -147/10?
d
Let i = -258/695 + -4/139. Which is smaller: -17/5 or i?
-17/5
Let s = 1.7 + -1.657. Let t = 0.243 - s. Which is smaller: -3 or t?
-3
Let n(v) = 9*v + 104. Let j be n(-11). Is j <= 41?
True
Let h(f) = 2*f**3 + 68*f**2 - 5*f - 129. Let r be h(-34). Let c = -130/3 + 43. Which is greater: r or c?
r
Let q = -11/30 + 2/3. Let j = 1/5 + q. Which is smaller: j or -2?
-2
Suppose -666*d - 12 = -669*d. Is 17/6 greater than d?
False
Suppose 0 = -4*m - 59 + 35. Let f(z) = -z**2 + z + 36. Let k be f(m). Which is bigger: k or -4?
-4
Let k be 0/(-7) - -1 - 38. Which is smaller: 2/7 or k?
k
Let s be 36/(-27)*(-30)/(-632). Is s greater than 3?
False
Suppose 25 = -0*m + 5*m. Suppose -r = -5*s + 20, 0 = 2*r - 0*s + m*s - 35. Suppose 70 = 4*k - r*f, 2*k - 62 = -2*k + f. Is k <= 16?
True
Let u = 2 - -1. Suppose 8*z - u*z = 240. Let a be 2 - 1*z/15. Which is greater: -1 or a?
-1
Suppose 7*h - 4*h - 35 = 5*m, 5*m = -h - 15. Which is smaller: h or 3/46?
3/46
Suppose 4*n - 43 = 29. Let r be ((-54)/(-84))/(n/21). Does 0.2 = r?
False
Suppose 1 = -n + 4. Suppose 4*j + 18 = -2*z, 3*j - 5*j = n*z + 19. Let m = -3 - z. Is 1 less than m?
True
Suppose 0 = -15*c - 5*c + 220. Which is smaller: c or 21/2?
21/2
Let o(r) = r + 9. Let q be o(-7). Let f(s) = -s + 3*s - 5*s - s**q - 1. Let b be f(-3). Is b not equal to -2?
True
Suppose 5*i + 9 = -5*r - 1, 22 = 4*i - 2*r. Suppose t - i*t = 6. Which is greater: t or -4?
t
Suppose 3*k + 3*k - 180 = 0. Let y be k/(-70) - (-99)/35. Is y equal to -5?
False
Let i be 13/75 - 2/2. Let s = i - -4/25. Is s <= -1?
False
Let m(t) = -2*t + 14. Let x be m(10). Suppose -14*f + 