a. Which is bigger: a or -175?
-175
Let f = 4 - -9. Let l(a) = -a**2 + 60*a - 52. Let c be l(59). Suppose 0 = f*k - 6*k + c. Is k less than or equal to 2/5?
True
Suppose 0 = -0*h - 5*h + s + 144, -h = 5*s - 34. Suppose -4*x + 37 = h. Suppose -30 = -8*c + x*c. Which is greater: c or 1?
c
Suppose -4*w + 5*d = 2493 + 5481, 3*w + 5*d + 5928 = 0. Which is bigger: -1981 or w?
-1981
Suppose 0 = q - d - 6, -5*q + q + 5*d + 21 = 0. Suppose 0 = -9*v - q*v. Which is smaller: -37/13 or v?
-37/13
Let p = -86 - -212. Let n = p - 125. Let h = 0.16 + -0.06. Which is bigger: h or n?
n
Let d = 142.81 + -6.61. Let w = 140 - d. Is 2 bigger than w?
False
Let r be (-14127)/(-108) - 12/32*-2. Is 132 at most as big as r?
False
Suppose -5*t = 23*t - 56. Suppose t*p - 2*b = 1020, -2*b + 4*b + 509 = p. Is 511 at least p?
True
Let z = -2748736/59 + 46590. Is -1 not equal to z?
True
Let q = -661 - -536.41. Let o = q - -124. Do o and -2/9 have different values?
True
Let p = -1339 + 899. Let u be 11/33 + 0/(-2). Is u equal to p?
False
Suppose -25 - 74 = -72*r - 27. Let o be -41 + (2 - 2)/(-1). Let d be (-3)/(-18)*(-2)/o. Which is bigger: d or r?
r
Let n = 10679 + -10657. Which is bigger: n or 20?
n
Let x(o) = 5*o**3 - 5*o**2 + 7*o + 5. Let g be x(3). Suppose z + 109 = g. Is z != 11?
True
Let q(h) = -h**3 + 4*h**2 + 6*h. Let s be q(5). Suppose -u - 742 = 3*z, -4*z = -s*z - 2*u - 249. Is -245 at least z?
True
Let v(l) = l**3 - 15*l**2 + 21*l - 9. Let o be v(14). Let w = 77 - o. Let x(i) = -i - 14. Let m be x(w). Does -1 = m?
False
Let u(d) = -d**3 + 21*d**2 + 20*d + 16. Let h = 557 - 536. Let f be u(h). Which is smaller: 437 or f?
f
Let s be 4/327*(-11)/22*21. Are 0 and s equal?
False
Suppose 30 = 2*w + 8. Let y = 110.3 - 122. Let i = 11.8 + y. Is w not equal to i?
True
Let v = -7170 + 7165. Which is smaller: 2456 or v?
v
Let d be (-33 + -8 + 39)*(-30)/(-4). Suppose -3*i = 22 + 11. Which is smaller: i or d?
d
Let m(g) = -g**3 + 6*g**2 - 2. Let x = -37 + 44. Let u be m(x). Let h be 6/u + 8/68. Is 7/6 equal to h?
False
Let z = 0.7855 + -0.5855. Which is greater: z or 125.1?
125.1
Suppose 0 = 4*p - q - 101, -9 = -p - 4*q + q. Let x(l) = l - 21. Let h be x(p). Let r be (-3)/(2/90*h). Is r bigger than -44?
False
Let b = -3 + 6. Let y be -3*(-2)/2*b. Let h = -989065/4 - -247266. Which is bigger: h or y?
y
Let f be (-10 - (0 - -1))/(5/(-10)). Let b(i) = 2*i - 42. Let h be b(f). Suppose 5*v - 4*k - 35 = 0, 3*v - h*k - 14 = -k. Which is smaller: v or 38/9?
v
Suppose -40958 = -260*d - 25*d + 44827. Which is smaller: 266 or d?
266
Suppose 8 = -6*c + 7*c. Suppose 44 = c*t + 36. Which is bigger: t or 2/11?
t
Suppose -4*b = -5*v - 388, -3*v = -b + 245 - 8. Suppose 135 = 4*o - 7*o. Let a be -1 + -1 + v/o. Do -10 and a have different values?
True
Let k(h) = 21*h - 70. Let b be k(5). Suppose 5*s - 4*i + 13 = 39, 3*i = -4*s - 4. Let d(r) = 15*r + 6. Let v be d(s). Which is greater: b or v?
v
Let z = -1.2 - -1. Let f be ((-33840)/(-768) + -54)*(-6)/(-9). Is f greater than z?
False
Let m = 93 + -89. Suppose -m*s - 84 = -4*i, s + 25 = 3*i - 28. Which is greater: 15 or i?
i
Let x = -0.02274 - 2.11726. Do x and 3/17 have the same value?
False
Let b(w) = -16 + 9 - 2*w**2 + 30 - 13*w. Let o be b(-8). Is o not equal to -1/275?
True
Suppose -m + 3*m + 4*f + 450 = 0, 3*f + 9 = 0. Which is bigger: m or -221?
m
Let i(w) = 5*w**2 - 245*w - 80. Let t be i(49). Let f be (16 + -1)*18/10*-3. Is t at most as big as f?
False
Suppose -3*v + 2 = -4*j + 10, -4*j + 32 = 3*v. Suppose -3*w - 318 = -j*a, -w - 255 = -4*a + 2*w. Suppose -4*x + 231 = 5*q, 196 - 48 = 2*x - 4*q. Is a <= x?
True
Let p = -397 - -362. Let i = 65 + -104. Is p greater than i?
True
Let y = 692 - 691. Let f be 39235/78750 - y/2. Which is smaller: 0 or f?
f
Let q = -0.3377 - -0.3877. Do -0.181 and q have the same value?
False
Let l = 105317/92584 - 188/163. Which is smaller: l or -1?
-1
Let w = 3474 + -3404. Are w and 55 nonequal?
True
Suppose -16 - 224 = 10*i. Which is bigger: i or -680/27?
i
Let b = -39.5 + 39.1. Which is smaller: -1888 or b?
-1888
Suppose -2*q = -7*f + 6*f + 4, 3*f = q + 12. Suppose -6*n + 0*n + 18 = q. Which is smaller: 28/15 or n?
28/15
Let y = -3430 + 24043/7. Are y and -3/38 unequal?
True
Let g = 307/14991 - 10/263. Let f(t) = 10*t - 9. Let r be f(4). Let q = -32 + r. Is q < g?
True
Let u = 2664 - 6484/3. Does u = 504?
False
Suppose -3*t - 2*s + 2 = -6*s, 0 = 4*t + 4*s + 16. Let a be (-6)/(65*(18/(-10) - t)). Let y be 3 - (-1)/(-2)*4. Is y at most a?
False
Let z(i) = -97*i - 11. Let a be z(-2). Suppose 3*j - a + 36 = 0. Let r = j - 75. Is -26 <= r?
True
Let c = -0.087 + 0.089. Let v = c + 0.098. Which is smaller: v or -23?
-23
Suppose -1 = -15*b - 1111. Which is smaller: -57 or b?
b
Let a be (-1 + -4 + 2)*-1. Let w be 1 + 0 + -1 + 6/a. Suppose 0 = -b - 1, 0 = -3*z - 3*b - 5 + w. Is z greater than 1/15?
False
Let a = 76 + -42. Let s = -3 - a. Let g = s + 38. Is -5/14 != g?
True
Let h(b) = 2*b + 24. Let n be h(-15). Let t be n/2 + (4 + -10)*1. Suppose 0*z = 4*f - 3*z - 5, 4*f + 4*z - 12 = 0. Which is smaller: t or f?
t
Let q = 20.1814 - 0.1814. Do q and 19/13 have the same value?
False
Let j = -154 - -249. Let w(v) = 96*v**2 + 5*v + 5. Let q be w(-1). Which is bigger: j or q?
q
Let k be ((-876)/435 + 2)/(18/540*-978). Which is smaller: 0 or k?
0
Let f = 8950 - 8647.8. Which is bigger: -2/7 or f?
f
Let i(y) = -5*y - 19. Let s be i(-5). Let j be (2/s)/((-1)/((-558)/(-6))). Let v = -29 + -1. Which is bigger: v or j?
v
Let k = 0.181 - 0.01. Is k > 2/11?
False
Suppose 4*o + 2 = -3*j - 0*o, 3*o + 12 = 3*j. Suppose 40 = j*l + 38. Is l bigger than 1/1163?
True
Suppose -7*j + 15 = -6. Suppose -m - 3*a - 37 = 0, 15*m = 18*m + j*a + 87. Are -11 and m equal?
False
Let m = 21706 - 21734.666. Let f = 0.334 - m. Let v = -1 + 1. Which is smaller: v or f?
v
Let s(u) = 2*u**3 + 2*u**2 - 2*u - 3. Let n be s(-3). Let i(r) = r**2 - 10*r - 20. Let h be i(12). Let b be (11 - h)*(2 + -7). Is b not equal to n?
True
Let b be (-5)/((-15)/2) - (-6930)/(-10557). Is -1 < b?
True
Let w = 3214 + -2980. Is 216 > w?
False
Let k = -367 - -408. Suppose k*p - 1045 = 1128. Is p less than or equal to 157/3?
False
Let g = -79.7 - -76. Suppose 48*v - 114 - 78 = 0. Which is greater: g or v?
v
Let u = -35 + 45. Suppose 3*j - 2 - u = 0. Suppose -2*v - j*v = -v. Which is greater: 2/23 or v?
2/23
Let y = 0.2 + -0.3. Let v = 553 + -613. Let x be 8/v - 616/(-1020). Which is smaller: y or x?
y
Suppose 95 = 8*o - 193. Suppose 0 = 8*d + d + o. Let u be d/(-10) + (-7)/(1715/28). Which is smaller: u or 5?
u
Let h(k) = -23*k + 1. Let m be h(-2). Let r be ((-8)/30)/(3400/(-5100)). Which is bigger: m or r?
m
Let u = 385 + -112. Suppose 0 = 2*x + 2*x - 3*b - 1097, -2*b = -x + u. Is 273 at least as big as x?
False
Let u be (-2691)/27*(0 - -1). Suppose 1735*x - 1414 = 1749*x. Which is smaller: x or u?
x
Let o(f) = -5*f**3 + f**2 - 5*f - 6. Let l be o(-1). Suppose l*r - 19*w = -20*w - 7, 2*w = 3*r - 1. Is 2 < r?
False
Let i be ((-69)/(-506))/((-5)/(4 - 14)*-1). Which is greater: 106 or i?
106
Let b be -5*(-3)/((-75)/10). Let f be 1/b*(30/6 + -7). Is f bigger than -7/26?
True
Let s be (12/(-22) - 1292/(-836))*-1. Are s and 6/6095 equal?
False
Let q be 72*2/((-92)/14 - -6). Let x be (-6)/(-189)*(-98)/q. Which is smaller: x or 0?
0
Let l(x) = 3*x + 25. Let c be 0 + 4 - 5 - -1. Suppose c = -5*t - 20 - 25. Let z be l(t). Is z greater than or equal to -6/7?
False
Let f = -1.757 - -1.65. Let c = 1.107 + f. Let u = -803/52 + 152/13. Which is smaller: u or c?
u
Let a(b) = -5*b**2 - 12*b - 6. Let v be a(-8). Let w = v + 3928/17. Is 1 greater than or equal to w?
False
Let u(j) = 2*j + 3. Let g be u(-6). Let p be (-26)/((-5278)/3059) + (-4)/58. Which is greater: p or g?
p
Let v = -1797822/11 - -163314. Which is greater: -125 or v?
v
Let q = 326 + -325. Which is smaller: q or 1.116?
q
Let s = 85 - 121. Let d = 55 + s. Let j = d + -20. Which is greater: j or 4?
4
Suppose -195048 = 138*y - 95*y. Which is smaller: y or -4534?
y
Let z(w) = w**3 - 4*w**2 - 6*w + 5. Let f be z(5). Let s = -1302/115 - -120626/10695. Is s at most f?
True
Let y be 1/6 - (-520)/624. Let s be 12/56*4/63. Is s at least y?
False
Suppose 5*w - 1242 - 188 = 0. Let s be w/140 - (-1 + 3). Is 0 <= s?
True
Let l(x) = x**2 + 1759