?
r
Let a(x) = 39*x**3 - x**2 + x + 1. Let l be a(-1). Let f = -88 - -49. Is l smaller than f?
True
Let j be (11 - -4 - -1)*(-1)/(-6). Which is smaller: j or 3?
j
Let f be (4 - (-172)/(-16))*4. Let b be -3*3/f*6. Suppose -22*d + 21*d - b = 0. Does -2/5 = d?
False
Let o = -9559611 - -611764289/64. Let a = -794 - o. Are 1 and a nonequal?
True
Let g be (-5 - (-87)/5)*18/24. Which is smaller: 8 or g?
8
Suppose -9 = 9*f - 7*f - 3*j, 0 = -f - 2*j + 13. Let k be (2/30)/((-2)/(-18)). Which is smaller: f or k?
k
Let l = 669168/251 - 2666. Which is smaller: 0.2 or l?
l
Let v be 5/(-15)*(-8 - -29). Which is greater: v or -69/11?
-69/11
Let o = 7 + 16. Suppose 4*j - 4*v + 14 = -v, -o = 3*j + 4*v. Is j bigger than -1?
False
Suppose 4*j + 7 = 5*r - 14, 0 = 2*j - 3*r + 13. Suppose 22 = m + w - 57, 0 = 3*m - w - 241. Let c be m/128*(-1)/(-5). Is c <= j?
True
Let i be (-1)/(-30) + -1 - -1. Let c = -1064 - -1065. Is c bigger than i?
True
Let s(j) = 0*j**2 - 14*j + 12 + 4*j + 4*j**2 - 3*j**2. Let i be s(9). Let n(d) = -2*d - 1. Let p be n(-3). Which is greater: p or i?
p
Let k = 6389 - 12726889/1992. Which is greater: k or 0?
0
Let k = 0 + -1. Let p = 3 + k. Let s = 0.28 + -0.18. Do s and p have different values?
True
Suppose 69 = 5*n - o, 3*o - 5*o + 58 = 4*n. Suppose 0 = -8*l + l - n. Let c = -2 - l. Which is bigger: 2/41 or c?
2/41
Let q be 21/(-9)*(-2)/49. Let h be (-14)/(-14)*0*2/2. Is q at most h?
False
Let p(c) = -c**3 + 8*c**2 - 6*c + 9. Let s be p(7). Let m(y) = 2*y + s + 4*y - 5*y. Let w be m(-16). Is -2 < w?
True
Let n(k) = -k**2 + 13*k - 9. Let g be n(8). Let j = -22 + g. Suppose 15 = -2*a + j. Which is greater: a or -2/13?
-2/13
Let f = -0.044 + 24.044. Let w = -24.2 + f. Do 2/25 and w have the same value?
False
Suppose -i = -f + 14, 3*f = -2*f + 2*i + 61. Suppose 5*a + 46 = f. Which is greater: a or -4?
-4
Suppose -10*u + 564 - 194 = 0. Is u greater than 36?
True
Suppose -3*b + 8 = -2*z, -3*b - 2*z - 7 = 1. Are b and 47/41 non-equal?
True
Let o(p) be the second derivative of -p**5/20 + 11*p**4/12 + 14*p**3/3 - 10*p**2 + p - 15. Let a be o(13). Let x be (-44)/(-7) + (-2)/7. Is x greater than a?
False
Suppose 98*p = 25*p - 9125. Which is greater: -631/5 or p?
p
Let l(b) = -b**3 - 2*b - 40. Let y be l(0). Which is bigger: -37 or y?
-37
Suppose -3*x + 0 + 3 = 0. Let a be (30/20)/((-1)/(-76)). Let u = 915/8 - a. Is u greater than x?
False
Let t be ((-294)/(-756))/((-1)/3). Which is greater: -0.03 or t?
-0.03
Suppose 0 = -i + 2*i. Suppose i = 4*c - 5*y - 6 + 23, 0 = 4*c + 3*y + 9. Let h be (c/(-9))/(4/36). Is h greater than 3/2?
True
Let a = -2/199 - -464/6567. Let v be 4/10 + 18/5. Let y be (2/(-4))/(2/v). Which is bigger: y or a?
a
Let d be -1*(-4 - -2) - 3. Let i be (d - -1)/((-8)/(-8)). Which is greater: i or -1/15?
i
Suppose -5*x + 4*p - 16 = -4*x, 5*x - 3*p + 29 = 0. Suppose 4*b + 16 = 3*v - 4*v, 1 = 3*b + 4*v. Is b <= x?
True
Let i be (312/(-20)*-1)/((-8)/(-120)). Does i = 233?
False
Suppose 0 = -0*g - 16*g - 768. Which is greater: -142/3 or g?
-142/3
Let l be (-1)/(-2) + (45/2)/3. Suppose -5*a - 2*o = 98, -l*a + 3*a = -4*o + 104. Is -20 not equal to a?
False
Let b = -14 - -14.11. Let q(c) = c**3 - 23*c**2 + c - 24. Let v be q(23). Let s be 26/(-104) - v/2. Which is smaller: b or s?
b
Let r = 0.004 - -7.186. Let t = -0.19 + r. Let p = t + -6. Is 25 at most p?
False
Suppose d + 11 = -19. Let m be ((-12)/16)/(d/16). Is m greater than or equal to 2/3?
False
Suppose 25*r - 39*r = -1442. Is r at least 104?
False
Let v be (1*227)/(116/(-8) + 14). Is v at least -454?
True
Let t(a) = -a**3 + 4*a**2 + 322*a - 53. Let o be t(20). Suppose 5*s + 9 + 1 = 0. Is o at most as big as s?
True
Let y = -55616.949 + 55582. Let c = y + -0.051. Let d = -31 - c. Which is smaller: d or 2/3?
2/3
Let c be (-2)/(-4) + (-2925)/(-15158). Let k = 3/53 - c. Which is bigger: 0 or k?
0
Suppose -x - 124 = -4*a, -2*a = a + x - 100. Is a < 0.2?
False
Suppose 2*l + 2 = -0. Let g(p) = 2*p**3 + 2*p**2 - 3*p. Let v be g(2). Let d = v + -19. Is d equal to l?
True
Let m = 676 - 527. Do 0.1 and m have different values?
True
Suppose 10*r - 7*r = 30. Let q be (-2)/(6 - r) + (-13)/(-4). Which is smaller: q or 5?
q
Let r = -59 + 35. Let m = -44 - -20. Let h = r - m. Which is greater: h or 18?
18
Let l = 32 - 5. Let y(j) = 66*j - 368. Let q be y(6). Which is bigger: l or q?
q
Let z be (-3)/(-35) - 4/14. Let j(h) = -9*h - 53. Let u be j(-5). Let k be u*4/40*(2 - 3). Which is greater: z or k?
k
Suppose 227 = 14*l + 325. Is l less than -0.2?
True
Let q be 10/(-60)*(-171)/6. Which is smaller: q or 4?
4
Let o = 1 - 1.07. Let y be 3/12 + 100/(-16). Let b be 2/(150/(-5))*y. Which is greater: o or b?
b
Let w = -41.8833 + 0.1233. Let k = -43 - w. Let y = k + 0.24. Which is smaller: 1 or y?
y
Let g(f) = 2*f**2 - 3*f - 2. Let r be g(3). Suppose r = -2*y + 23. Suppose -4*c + 2*w = -y - 0, 0 = -c + w + 4. Which is smaller: -2/15 or c?
-2/15
Let u = 21.3 + -21. Let h = u - 23.3. Let r = 20 + h. Which is smaller: 2/3 or r?
r
Let d(v) = -3*v**3 + v**2 - 6*v + 2. Let b be d(-5). Let x = -6051/14 + b. Let r be (-1)/5*(2 - 6 - -2). Is x greater than or equal to r?
False
Let n be 5*7/((-70)/(-8)). Suppose n*k = -0*k. Suppose k = -4*g - 8 - 0. Which is bigger: g or 3?
3
Let o be 20/(-6)*156/910*7. Which is smaller: -28 or o?
-28
Suppose 0*d = 2*d - 4. Suppose d*s + 1 + 15 = 0. Suppose 170 - 163 = -h. Which is smaller: h or s?
s
Suppose -3*j + 3*o = j - 69, -5*j + 91 = o. Suppose 2*d = -4*w + j, -3*w + 9 = w - d. Suppose -2*p = w*p. Which is greater: p or 5/6?
5/6
Let c be ((-4)/60)/((-20)/495). Which is greater: 2 or c?
2
Suppose -h - 34 = 5*x - 0*x, 0 = -5*x - 5*h - 50. Let w = x + 5. Let c = w + -3. Do -4 and c have the same value?
True
Let c = 115 - 2901. Let v = c + 8276/3. Which is smaller: v or -28?
-28
Let c = -357 + 360. Let p be (-1 - 0)/((-1)/4). Is p > c?
True
Suppose 2*a = -5*y - 6, 5*y + 5*a - 64 = -79. Is -3/698 less than or equal to y?
True
Let s be ((90/4)/(-15))/(-6). Which is smaller: s or -154?
-154
Let f be (0/((-6)/(-6)))/(-2). Which is bigger: -7/27 or f?
f
Let s be (-2)/(-3) - (-1568)/(-3). Let d be (-80)/s + 2/(-9). Suppose 5*p - 7 = -2*c, 30*p - 25 = 25*p - 5*c. Which is greater: d or p?
d
Let l be 3 + (-8)/(4 - 0). Let f be (-8)/18 + (-1)/(-3). Which is smaller: l or f?
f
Let o = -4 - -3.93. Let t = -0.87 - -1.94. Let m = t + o. Is -5 equal to m?
False
Let n be 408/(-42) + 2/(-7). Suppose 1 = 3*a - 5. Suppose 0 = -s + 3*w - 6, -a*s = -3*s + 5*w - 4. Which is greater: s or n?
s
Let a = 11.1 - 16. Let i = -16.6 + 11.6. Let r = i - a. Do r and -0.8 have the same value?
False
Let z = 30.32 + -30. Let a = 0.27 - z. Is a at least 2/13?
False
Let t be (-9)/1 - (-2052)/162. Which is smaller: t or 1/5?
1/5
Let p(d) = -d**3 + 7*d**2 - 2*d - 24. Let m be p(6). Is m at least as big as 1/108?
False
Let a be -1*(-6)/(-2)*105/(-45). Let b be (a/(-413))/(3/(-356)) + -2. Does 1 = b?
False
Let m(a) = a**3 - 2*a**2 + 2*a. Let b be m(1). Is b <= 26/11?
True
Suppose -5*w - 3 - 7 = 0. Suppose -3*s - 13 = -2*x + 7, 3*x = -5*s - 8. Is w greater than x?
False
Let a(z) = -z**2 + 14*z - 24. Let l(y) = -y**2 + 13*y - 25. Let i(u) = 2*a(u) - 3*l(u). Let m be i(8). Which is smaller: m or -2?
-2
Let y = -2790 - -5581/2. Are 18 and y non-equal?
True
Let n = 81.9 - 41.3. Let j = -37 + n. Let h = j - -1.4. Is h > -1/3?
True
Suppose -5*d - 20 = -4*p, -11*d + 12*d - 10 = -2*p. Is d >= -2/3937?
True
Let y = 311 + -89. Let b = -1560/7 + y. Let n(k) = k**2 + k. Let c be n(0). Is b at most c?
True
Let u(z) = 2*z + 3. Let i be u(5). Suppose 9 - i = 2*s. Let w be (2 + s)/(1 - 4). Which is smaller: 2/39 or w?
w
Let u = -33 + 33. Suppose -2*n - 3*w = -1, u*n - 4*w = 5*n - 13. Let z be (-13)/91 - 30/(-14). Is z equal to n?
False
Let u = 53 + -52.98. Let i = -17 + 12. Let v = i + 5.1. Is u greater than or equal to v?
False
Let t = -1 - -3. Suppose h = -t*h. Suppose 0 = 3*z - 3*w - 9, h = -z - 3*z + 3*w + 11. Which is greater: z or 2/3?
z
Let w = -3 + 0. Let j = w + 2. Let b = j - -4. Which is smaller: 0 or b?
0
Let m be (-9)/(-36)*-2*6/(-153). Is -1 > m?
False
Let h(u) = 3*u + 26. Let o be h(-6). Suppose -4*p + 4*q - o = -20, 5*p - 2*q - 6 = 0. Let b be 1/(-5)*(-1)/(-2). Which is greater: b or p?
p
Let w(u) = 11*u - 124. Let y be 