?
True
Let q be ((-608)/3)/(4/(-12)). Let o be 6/21 - q/(-28). Suppose -18 = 5*m + o. Which is smaller: m or -7?
m
Let k be (-327)/65 - 3/(3/(-5)). Is -1 less than k?
True
Let q(x) = 3*x**2 - 7*x + 31. Let z be q(4). Which is smaller: z or 351/7?
351/7
Let y be 3936/21 - (1 - -2). Let x = -184 + y. Let a = 1 - 1.2. Which is greater: a or x?
x
Let t = -15 + 29. Suppose -3*v - t = -26. Suppose 0 = i - 2*u + 6, 0*i = 2*i + 4*u - v. Which is smaller: 1 or i?
i
Let z = 40 - 123. Let p = -1077/13 - z. Is p not equal to -3/4?
True
Let k = 183 + -572. Let m = 19449/50 + k. Which is smaller: 0 or m?
m
Suppose 2 - 12 = -5*j. Suppose 2*a + u = 2 + 2, j*a = 3*u - 4. Suppose 4*v = -a - 3. Which is bigger: v or -2?
v
Let f = -64197/40 + 1605. Let g = 89/120 - f. Which is smaller: -30 or g?
-30
Let w(f) = -f**2 + 10*f + 57. Let h be w(14). Suppose -2 + 18 = -4*g + 2*v, 1 = 3*g + 5*v. Let s be 9/(-39)*1/g. Which is smaller: h or s?
s
Suppose 30*c = 39*c. Is -3/5 less than or equal to c?
True
Let g(f) = f**2 - 2*f - 3. Let y be g(3). Suppose 2*w = -4*w - 90. Let i be 275/w - (-14)/(-21). Is y > i?
True
Let l be 116*(-1510)/40905 + 4. Let j = 26/101 + l. Is j != 0?
True
Let u be (10/(-3))/(2/(-6)). Let y be ((-63)/27)/(10/(-3) + 3). Let f be 3/y - (-1 + 265/(-35)). Is f >= u?
False
Let r(h) = -2*h**2 + 14*h + 2. Let p be r(7). Is 0.053 less than or equal to p?
True
Let m(c) = -c + 14. Let u be m(-6). Do 28 and u have the same value?
False
Let p = 226 - 122. Let d be 2 + -1 - p/91. Is d greater than 0?
False
Let a be ((-229)/(-978))/(3/6402). Let j = a - 1499/3. Is j less than 0?
False
Suppose 7*s - 4*s = -4050. Let x be 4*((-2)/5 - 565/s). Let l = 0 + -1. Which is bigger: l or x?
x
Let t = -25 - -227/9. Let y(h) = h**3 + 15*h**2 - 34*h - 291. Let k be y(-16). Which is smaller: t or k?
k
Let w = -528 + 521. Which is greater: w or -1?
-1
Let w(o) = -o**3 + o**2 - 1. Let g = 31 + -21. Suppose 2*z = -g, 4*z + 21 = 4*i - z. Let c be w(i). Which is greater: -1/15 or c?
c
Suppose -151 = 48*p + 196 + 181. Let g be (-20)/3 + (-2)/(-3). Which is greater: g or p?
g
Let l be (0 + (-1)/8)*-3. Suppose 0 = -3*m - j + 128, 5*m - 5*j - 79 = 141. Let g = 42 - m. Is l > g?
True
Suppose 45*n - 17466 = -37*n. Which is bigger: n or 208?
n
Let n = -3034 - -3181. Which is greater: -0.04 or n?
n
Let d = -1909.6 + 1910. Let x = 6 + -5.7. Let k = x + 0.2. Which is smaller: k or d?
d
Let b = -0.1 + -4.9. Let k = 32.016 + -0.016. Let y = k - 31.9. Do b and y have the same value?
False
Suppose 7*a + 29*a = 4608. Is 1 > a?
False
Let p = -29.7 - -30.9. Is p at least 4?
False
Suppose 80 = 5*a - 4*j, -5*a - 5*j + 42 = 7. Let i(l) be the first derivative of l**3/3 + l**2/2 + 31. Let k be i(3). Is k less than or equal to a?
True
Let p be (-2)/(-3)*63/(-14). Let v(s) = 35*s + 14. Let y be v(p). Which is smaller: y or -90?
y
Let k = -43 - -33.66. Let b = 9.3 + k. Which is bigger: b or -0.4?
b
Let g = 2.134 - 2.134. Let a = 0.03 + -2.03. Which is smaller: a or g?
a
Let y = 1400371/36499 - 729/19. Is -1 smaller than y?
True
Let p = -4 - -5. Let x be (-9 - p)*(-3)/(-6). Let w = -3 + -1. Which is bigger: x or w?
w
Let s = 1423 + -1351.7. Let f = s - 71. Is f < -0.14?
False
Suppose -3*s + 2*f - 1 = 0, -3*f + 4*f = -5*s - 6. Suppose -4*q + 63 = -q + 3*h, 0 = 3*q - h - 79. Let t = q - 51/2. Is s < t?
True
Suppose 0 = 3*d - 4*q - 205, d = -4*q + 3*q + 59. Which is greater: 61 or d?
d
Let m = 24 + 202. Are 227 and m nonequal?
True
Suppose g - 4*v + 4 = 7, 5*g + 7 = -2*v. Which is greater: -2/505 or g?
-2/505
Let x = 218 - 219. Which is smaller: -11/19 or x?
x
Suppose 0 = -5*n - 3*n + 48. Let y be n*(-1 + (-51)/(-63)). Suppose 0 = 4*t - 4 + 12. Does y = t?
False
Suppose 0*r + r = -17. Let m(q) = q**3 + 18*q**2 + 17*q + 1. Let g be m(r). Which is greater: 2/9 or g?
g
Suppose -8*f + 7*f = 6. Let o be (8/6)/(f/(-18)). Let b be o/(-99) + (-10)/55. Is b != 1?
True
Let l be (-1)/4 - (-340)/16. Suppose l = -5*d + 2*d. Which is smaller: -8 or d?
-8
Let h(o) = 8*o - o**2 + 2*o + 13*o - 5*o. Let t be h(20). Is t less than or equal to -39?
True
Let y(w) = -2*w**2 + 5*w - 13. Let q be y(-6). Let k = 803/7 + q. Let l = 0.5 - 0.8. Is l >= k?
False
Let w = -2467/5 - -491. Let j = w - -14/5. Are 43 and j nonequal?
True
Let f(s) = s + 2. Let a be f(-5). Let o be 5692/(-16) + a/(-12). Let b = o - -364. Is b at least as big as 10?
False
Let i(u) = u**3 - 6*u**2 + 5*u + 2. Let g be i(5). Suppose -g*q + 2 - 4 = 0. Let a = -5/9 - -49/72. Which is smaller: a or q?
q
Suppose -5*f + 531 = -4*r, -20 = -24*f + 28*f. Which is smaller: -137 or r?
r
Let a be 3/2*(-9)/(-81)*-12. Suppose j - 18 = 4*j. Let o be 3/j*4/a. Which is smaller: -1 or o?
-1
Let u(j) = -15*j**2 - 29*j - 27. Let n(a) = -7*a**2 - 14*a - 13. Let h(k) = -13*n(k) + 6*u(k). Let s be h(-9). Suppose -s = 4*w - 96. Are w and 20 unequal?
False
Let d be (-75)/2*16/12. Which is bigger: d or -48?
-48
Let q = -354 + 12743/36. Is 1 < q?
False
Let a = 7.1 - 7. Let o be 681/39 - 2/(-2). Let w = 10826/585 - o. Which is smaller: a or w?
w
Let m(d) = -d**3 + 6*d**2 - d + 8. Suppose 24 = -0*j + 4*j. Let u be m(j). Suppose u*c - 11 = 9. Is 9 != c?
True
Let a(i) = -i**3 - i**2 - 1. Let s be a(0). Let t = -13 - -18. Let p(o) = -o**2 + 5*o + 1. Let f be p(t). Is f smaller than s?
False
Let d = -9.1 + 0.1. Let y = 5908 + -5909. Which is bigger: d or y?
y
Let o = -680 + 680. Which is greater: 2/289 or o?
2/289
Suppose -2*a - 2*b = -6 - 2, 4*a - 2*b - 16 = 0. Suppose 46 - 18 = -a*o. Is o at most -6?
True
Let s be (1*2)/((-14)/(-21)). Let r be 1 + s + (-135)/34. Is 1 <= r?
False
Let n be 2*((-23568)/93888 + 1/4). Are n and 0 equal?
False
Let f(m) = -11*m - 4. Let a be f(-3). Let b = a + -287/10. Does b = -1?
False
Let g = 163.2 - 164. Is g at most -4?
False
Let v(p) = -p**2 - 5*p + 1. Let x be v(-5). Let w = 45 - 38. Suppose -w*q + 6*q - 1 = 0. Which is bigger: q or x?
x
Let h(t) = -2*t + 23. Let l(f) = -1. Let u(g) = -h(g) - 4*l(g). Let w be u(11). Which is smaller: 19/5 or w?
w
Let s = 2781 - 2788. Is s less than 6.2?
True
Let h be 1/((-31112)/10388 - -3). Let m(i) = 24*i + 8. Let d be m(8). Let a = d - h. Which is smaller: a or 0?
0
Let g = -0.078 + 3.278. Let d = g - 2.6. Which is bigger: 1 or d?
1
Let s be 1 + (413 - (-1 + -3)). Let r be (-11)/88 - s/(-16). Which is smaller: r or 25?
25
Suppose 4*v + 3*s = -130, 5*v - 2*v - s = -91. Is v <= -37?
False
Let o(p) be the second derivative of -p**5/10 + p**4/12 + p**3/3 - p**2/2 - p. Let d be o(2). Let s = d - -10. Which is smaller: s or 2/11?
2/11
Suppose 10 + 5 = 3*s. Suppose -s*x + 7 = 3*u, 0*x - 5*u = 2*x + 1. Suppose 3*h = x*h. Is h at least as big as 0?
True
Let r(c) = c**2 - 20*c + 50. Let t be r(17). Is t greater than 4/29?
False
Let q be -1 + 4/(-94) + 1. Let z be (7/(-14))/((-2)/12). Suppose b + 5 + 1 = r, -z*r = -b - 16. Which is greater: b or q?
q
Let i be (2/(-24))/(11/(-242)). Let g = 19/6 - i. Suppose l + 4*l = 0. Which is smaller: g or l?
l
Let a be (-264)/(-1683)*((-11)/2 - 2). Which is greater: 0 or a?
0
Let z = 28 + -31. Let b be (z/6)/((-37)/(-4)). Which is smaller: b or -1?
-1
Let v = -272 - -264. Let j = 9 - 14. Is j less than or equal to v?
False
Suppose -l - 2 + 11 = 2*c, -5*c + 27 = -2*l. Suppose c*a + 25 = -4*r, r + 2*a = 3*a + 5. Are 4/3 and r unequal?
True
Let r(n) = -9*n. Let f be r(-1). Let y(w) = 11*w**2 - w. Let k be y(-2). Suppose 0 = 5*d + 1 - k. Is f at least d?
True
Let y = 0.038 - 0.238. Which is smaller: 70 or y?
y
Let n(p) = 9*p + 424. Let t be n(-45). Let o be 4/(-18) + 836/36. Suppose z + 2*u - o = 5*u, -u - 21 = -z. Is t at most z?
True
Let v = -1/4682 - -117063/60866. Which is bigger: 1 or v?
v
Let d = 13 + -7. Let t(c) = -c**3 - 3*c**2 - 4*c - 2. Let g(r) = 2*r**3 + 3*r**2 + 5*r + 2. Let h(o) = 2*g(o) + 3*t(o). Let b be h(4). Are d and b equal?
True
Let k be 8/5710*15/(-6). Let a = k + -5129/2855. Which is smaller: a or -3?
-3
Let n = -98 - -201/2. Let l = 215/3 + -72. Is n equal to l?
False
Let z(c) = c**3 + 17*c**2 + c - 33. Let d be z(-17). Let g = d + 46. Is g at least -5?
True
Let f be ((11 + -23)/12)/((-2)/110). Suppose -l - x = 4*l - 284, 0 = -2*l - x + 116. Which is smaller: f or l?
f
Let f = -0.15 - 40.85. Let q = -41 - f. Let c = 2.9 + -3. Which is smaller: c or q?
c
Suppose 1050 = -7*l