. Suppose -4*a - x = -17, a - 2*x + 3 - 5 = 0. Suppose 5*i - 75 = 5*z, 0 = a*z - 0*i - 2*i + 62. Is w < z?
True
Suppose 0 = -15*f - 19*f - 2809 + 701. Let n = -11 - 51. Is f > n?
False
Let c = 2273.897 - 2271. Let x = 0.003 + c. Let p = 3 - x. Is 2 at most as big as p?
False
Let l be (0 + 1)/((-2)/(-12)). Let j be 4/35 - l/15. Let m = 1 - 1. Is m equal to j?
False
Suppose 2*a + 14 = c, 0 = -5*c - 0*c + 20. Is -0.01 < a?
False
Let o = -4 + 2. Let a be (5/o)/(-5)*2. Let c = -3/439 - 409/4390. Is c < a?
True
Let v = 13825/23 - 601. Let t(s) = s + 1. Let d be t(-1). Is v at most d?
False
Suppose -31 = 2*n + 5*h - 0*h, 0 = 2*h + 2. Is -11 greater than n?
True
Suppose 32*a - w - 24 = 28*a, -3*w + 40 = 4*a. Is 3 equal to a?
False
Let s = -905 - -814. Is s != -93?
True
Let a = 46 - 37. Let d(f) = f**3 - 10*f**2 + 15*f - 21. Let l be d(a). Which is bigger: l or 34?
34
Suppose 0 = 8*u - 4*u + 3*g - 77, 3*u = -5*g + 66. Suppose -u*b - 3 = -14*b. Suppose -5 = -4*t - 1. Which is bigger: t or b?
t
Let j = -515/27 + 1489/54. Suppose 42 = 3*l - 0*l + 5*x, 0 = 4*l + x - 39. Is j > l?
False
Suppose -10*l + 13*l + 1014 = 0. Is l at most -338?
True
Let n(z) = z**3 + z**2 - z + 5. Let p be n(-4). Let v(c) = -15*c - 107. Let d be v(-7). Is d <= p?
False
Suppose 0 = 4*o - 5*k + 1, -5*k = -5*o - 0*k + 5. Suppose -o*t + 8*t - 6 = 0. Suppose t*q = 7*q. Do 2/35 and q have different values?
True
Let b(i) = -82*i + 20. Let t be b(1). Are -367/6 and t unequal?
True
Let a be (8/(-2) + (-455)/(-70))/1. Is -2 at least as big as a?
False
Let w = -348 - -347.89. Is w at most 1/14?
True
Let g be (-2 - 2) + 2*43/15. Which is greater: g or 1?
g
Let g = 6909382/363 + -1248465905/82401. Let k = g + -3883. Are 0 and k equal?
False
Let x = -29 - -78. Suppose 4*v - 75 = 3*g, 21 + x = 4*v + 2*g. Let m be 1 + v/(-8) + 2. Is m less than -2/5?
False
Let c be 4/18 - (-472)/(-18). Let g(d) = -d + 23. Let l be g(21). Suppose -l*o - 21 - 29 = 0. Are o and c nonequal?
True
Let n = -152 - -153. Is n bigger than 2/7?
True
Let m = 458 - 501. Which is smaller: m or -2?
m
Let s(t) = 5*t. Let h be s(-2). Let u be (-6)/h + (-39)/15. Let b be (-60)/10*u/(-6). Which is smaller: -4 or b?
-4
Let w(q) = q + 3. Let o be w(-5). Let j = o + -10. Is -12 smaller than j?
False
Let t = 35.82 - 0.82. Let a = t + -34. Is -3/5 bigger than a?
False
Let q(r) = -r**3 + r - 128. Let t be q(0). Let h be t/28 + 3/(-7). Which is smaller: -3 or h?
h
Let n be 24/39 + (-12)/6. Suppose 0 = 5*v + 10. Which is smaller: n or v?
v
Let c(n) = -2*n**2 - 2*n - 2. Suppose 0 = -5*d + 9 + 1. Let q be c(d). Suppose 3*o - 2*o = -14. Is q at most o?
True
Let q = -15 - -17. Suppose -q*l = -8 - 8. Let a = -0.3 - -0.2. Is l at most a?
False
Suppose -9 = -5*u + 11. Suppose -6 = u*b + 38. Let l be ((-36)/(-42))/(b/14). Which is smaller: l or -2?
-2
Suppose -3*h + 81 = 24. Suppose 10 = 11*t - 199. Do h and t have the same value?
True
Let k = -2472 - -19741/8. Which is bigger: -5 or k?
k
Suppose 0 = 5*c - 3*i + 5490, -1856 = -4*c - 3*i - 6221. Let n = c - -5454/5. Is -4 at least as big as n?
True
Let y be (8/(-32))/(10/8). Let c = -0.088 - -0.188. Do y and c have the same value?
False
Let f = -0.171 - 1.769. Let q = -1.8 - f. Which is bigger: q or 0.1?
q
Suppose 65 = 12*u - 7*u. Let d = -18 + u. Let m be d/(-2)*7/105. Are -1 and m non-equal?
True
Let o = -2.8 - 8.7. Let f = 12.5 + o. Is -3/13 less than or equal to f?
True
Let c(p) = 10*p - 75. Let m be c(9). Which is greater: 10 or m?
m
Let u be 8/336*7*-3. Is -1/2 greater than or equal to u?
True
Suppose -15 = -5*z + 4*c - 8*c, -2*z = 4*c - 6. Let n = 5.2 - 2.2. Is z greater than n?
False
Let m = -431.99 - -434. Let y = 1.9 - m. Let x = 0.89 - y. Which is smaller: x or -0.3?
-0.3
Let a be (1/2)/(4/2). Let h = -1666 - -1668. Are a and h equal?
False
Let s = -49.98 - -50. Which is bigger: 2.1 or s?
2.1
Let i be (-5)/(-4)*(-20)/250*4. Does i = -1326?
False
Let b = 24.7 - 35.6. Let d = -0.08 - -11.08. Let c = b + d. Which is bigger: -1 or c?
c
Let v be (-2)/8 + 3/12. Suppose -m + 4*t = -21, v = 2*m + t - 5*t - 30. Which is smaller: 8 or m?
8
Let f(v) = v**2 + 5*v + 9. Let w be f(7). Let r(o) = 3*o**2 - 2*o + 27. Let c be r(5). Which is greater: c or w?
w
Let v(c) = -c**2 + c + 1. Let f be v(0). Let d = -64.08 + 64. Is d greater than f?
False
Let l = -16 - -11. Let u = -8 + l. Let m = u + 12.98. Which is bigger: m or -0.1?
m
Let k be (-11 + 1)*-1*(-3)/6. Let u(q) = -q**3 + 3*q - 9. Let j be u(0). Is j less than or equal to k?
True
Let m = -3.33 - -4.506. Let u = -0.026 + m. Let a = 1.2 - u. Is a > 0?
True
Let b = -8.3 + 8. Let k = -1.7 - 2.3. Let a = k - -4.1. Are a and b nonequal?
True
Suppose -2*z - 9 = -3. Let q be (8/5)/(z/15). Suppose -249 = 2*m - 233. Is q < m?
False
Suppose 19*q = 13*q + 30. Which is smaller: -10 or q?
-10
Let q = 10 - 5. Suppose q*s = 49 + 21. Let o be 12 - (2 + -2 - 2). Is o smaller than s?
False
Let u be (2/(-4))/((-15)/(-60)) + 12. Let a = 9 - u. Which is smaller: a or 5/22?
a
Let x(t) = t**2 + t - 2. Let b be x(0). Let l = 21 + -33. Let d be (8/l)/1 - 0. Which is bigger: b or d?
d
Let k be 4*(-20)/40*2/(-23). Is 3/7 smaller than k?
False
Suppose 6*d - 578 - 382 = 0. Let s = 803/5 - d. Is s < 2?
True
Let q be 392/(-76) + -2 + 7. Let d be (-3)/(2 + (-1 - 4)). Is q at most d?
True
Let m = 389 + -388. Is -4/37 at least m?
False
Let w be 49/7 - 12 - (-825)/156. Which is bigger: w or 1?
1
Let l be (-14)/(-4)*160/56. Suppose -f = 5*m + 10, 4*m + m + 3*f + l = 0. Which is greater: -18/7 or m?
m
Let h = -4.94 + 1.94. Which is bigger: h or -2/37?
-2/37
Suppose 0 = -3*i - 4*p + 400, -2*i - 29*p + 259 = -34*p. Is i smaller than 129?
False
Let r = -2/1999 + -3984/13993. Which is greater: 104 or r?
104
Let t = 205 + -201. Let j = 8.1 + -7. Let z = j + -1. Is t at least as big as z?
True
Suppose 3*b = -157 + 97. Which is smaller: -5 or b?
b
Let l(d) = -2*d + 5. Let y be l(4). Let n(k) = -5*k**2 - k - 1. Let z be n(-1). Let p = y - z. Is -1 equal to p?
False
Let y(h) = 17*h**2 + 3*h + 1. Let b(r) = -8*r + 39. Let l be b(5). Let z be y(l). Which is smaller: z or 14?
14
Let n = 35.1 + -31. Let a = n + 2.9. Which is smaller: a or -1/4?
-1/4
Let a = 0.501 - 0.481. Which is bigger: a or -1?
a
Let r(a) = -a**3 - 3*a**2 - 42*a - 139. Let m be r(-3). Are -214/15 and m equal?
False
Let c = 499 - 525. Which is greater: c or -49?
c
Suppose 2*h + 2*t = 6, -25 = 5*h + 10*t - 13*t. Let p = -2 - -14. Is h less than or equal to p?
True
Let y = -348 + 842. Is y smaller than 493?
False
Let x = 4.26 - 4. Let i = x - 0.17. Let k = i - -0.91. Is 0.03 >= k?
False
Let l = -3 - 3. Suppose -8*m + 9*m - i - 10 = 0, 0 = -4*m + i + 25. Let v = m + l. Is v less than or equal to -3/11?
True
Let c = 703.7 + -763. Let k = -64 - c. Are 1/2 and k non-equal?
True
Suppose 200 = 6*r - r. Let i be (-2)/(-2)*(-4 + 44). Are i and r equal?
True
Let u(s) = -s**2 - 22*s + 319. Let g be u(10). Is g != -21/52?
True
Let u be (1144/(-195))/((-4)/10). Which is bigger: 16 or u?
16
Suppose -3*v + 5*c - 17 = -51, -c + 1 = 2*v. Let g = 35 + v. Suppose g = 3*j + 5. Is j greater than or equal to 11?
True
Let g = -142 - -279. Suppose g = -4*q - 67. Which is bigger: q or -0.1?
-0.1
Suppose 2*d + 3*w = d - 12, -d + 2*w = -8. Let g be (-2)/(-3) - (-21)/9. Suppose -2*v + 2 = g*x - 0*x, v + x = d. Which is bigger: -0.1 or v?
-0.1
Let f(y) = y**3 - 6*y**2 - 8*y + 17. Let l be f(7). Let m be l/3*(-6)/2. Let g(p) = -p**2 - 1. Let b be g(3). Is m at most b?
True
Let k = 63 + -63. Suppose -13 = -4*w - 3*m, -m - 1 = -4*w - k*m. Which is smaller: 0.7 or w?
0.7
Let n(s) = 4*s - 14. Let j be n(4). Which is smaller: 15/22 or j?
15/22
Suppose -2*h + 138 = 4*v, -2*v + 3*h + 68 = 5*h. Let k be (1 + v/2)*(-42 - -34). Is k not equal to -147?
True
Let o = -120 + 130.1. Let x = o + -6.1. Which is smaller: 0 or x?
0
Let q = 137.05 + -140. Let w = q + -0.05. Let l(v) = v**2 + 19*v - 220. Let x be l(8). Is w greater than or equal to x?
True
Suppose 4*y - 34 = -y - c, 5*y = 4*c + 39. Suppose y*m = -0*m + 3*m. Which is smaller: m or -2/11?
-2/11
Let b be 14/21 + 11/(-3). Let j = -35 - -25. Let r = 5 + j. Which is smaller: r or b?
r
Let a be (1/(2/2))/(3 - 2). Which is greater: a or -1/234?
a
Let u be (20/(-6))/(-13 + (-152)/(-12)). Which is smaller: 20 or u?
u
Le