?
False
Let r(y) = y**3 + 7*y**2 - 3*y + 9. Let b be r(-7). Suppose -l - 2*a = -4*a - 39, 2*a + 132 = 4*l. Is l > b?
True
Suppose -3*o - 5*s = 1, 0 = s - 4*s - 6. Let u be (-13)/(-3) + ((-16)/(-6) - o). Which is smaller: u or 3?
3
Let c(q) = 3*q. Let x(d) = -2*d + 5. Let m(v) = 3*c(v) + 3*x(v). Let s be m(-6). Is s less than -1?
True
Let y = -523 + 1133. Is 610 < y?
False
Let t be -8*((-189)/60 - -3). Let f = 18 + -18. Is t <= f?
False
Let p be (-61 - -58)*(-6)/(-8). Which is greater: p or 2/7?
2/7
Let l be (9/(-108))/(-3 + 63 + -4). Do l and 0 have the same value?
False
Suppose 11*p - 41 = 15*p + 3*h, 51 = -4*p - h. Which is bigger: -12 or p?
-12
Let f = 109.001 - 109. Let d = f - 0.101. Is d bigger than -0.06?
False
Let g = -0.54 - 2.41. Let c = g + -0.05. Let o = 2 + c. Which is smaller: -0.6 or o?
o
Let i be ((-6)/((-12)/(-1198)))/(-5 + 6). Is -598 bigger than i?
True
Suppose -4*m + 18 - 6 = 0. Suppose -3*p - 1 = x - 2*x, 2*p + m*x = 14. Which is greater: p or -2/57?
p
Let g(z) = -z**2 + 12*z - 9. Suppose -5*p + 4*c + 47 = 13, 0 = p + 3*c - 22. Let j be g(p). Is j at least as big as 10?
True
Let t(u) = u**3 - 5*u**2 + 7*u - 2. Let c be t(3). Is -1/24 less than c?
True
Let m be 2/3 + (-164)/282. Suppose -y + 868 - 869 = 0. Is m at least as big as y?
True
Let m be (-2 + (-8)/(-3))/((-640)/45). Do -1 and m have the same value?
False
Let a = 7 - 6. Let f be (1270/6)/(20/(-15)). Let v = 160 + f. Is v not equal to a?
True
Let g = -4/57 + 58/285. Is 1 greater than g?
True
Let x = 791/6 + -132. Which is greater: 12 or x?
12
Let l be 17 + 4 + -2 + 2. Let p be (-1)/5 - l/(-155). Let y(m) = 10*m - 49. Let t be y(5). Is t greater than or equal to p?
True
Let o be (-27)/6*(-3)/9. Let s = o + -8/5. Which is greater: s or -2/7?
s
Let d be (4*29/8)/((-16)/(-224)). Is d != 201?
True
Suppose 20 = -8*g + 12*g, -5 = -b - g. Is 21/29 greater than b?
True
Let x be (-2)/(-20) - (-2)/4. Let k = -5042 - -5033. Which is bigger: k or x?
x
Let q = 3 + -3. Let n = 44 - 359/8. Is q at least n?
True
Let n be 5/((-10)/(-2))*26. Let v be ((-6)/n)/(21/(-70)). Which is smaller: 2 or v?
v
Let m = 1.44 + 0.46. Let t = -3 - -5. Let n = t - m. Are -3 and n non-equal?
True
Let v = 0.235 - -0.065. Let f = v + -1. Is -1 equal to f?
False
Suppose 5*t - 24 = 2*c - 3*c, 0 = c + 2*t - 12. Let z be 181/c + (-2)/8. Suppose -w + z = -6*w. Is w less than -9?
False
Suppose 0 = 3*j + 5 + 46. Let s be (-10 - j)*8/14. Let l be 17 - (s - (-2)/(-1)). Is 16 >= l?
True
Let t = -42 + 46. Let g = -3.8 + t. Is -17 greater than or equal to g?
False
Let m(n) = 3*n**2 + n - 11. Let g be m(6). Is g greater than or equal to 103?
True
Let a = 40.56 - 6.56. Let p = 1.7 - 2.7. Which is bigger: a or p?
a
Let x = 4375/3103 + -66/107. Let r = x + 1/145. Let u(h) = 3*h**2 - 1. Let q be u(-1). Which is smaller: r or q?
r
Let w = 556 + -584.8. Do 2/3 and w have different values?
True
Let d = -38 - -38. Let x = 11459/23925 + 1/957. Is x >= d?
True
Let l = -78 - -75. Let k be l/(-81)*-6 + 538/(-9). Is -60 smaller than k?
False
Let d = 34.8 + -0.8. Let y = 34.3 - d. Do -0.1 and y have different values?
True
Let i = -2330 - -55933/24. Let l = i + -5/3. Does -1 = l?
False
Let i be 22/(-130) - 1/(-5). Suppose -5*k - 23 + 28 = 0. Which is smaller: k or i?
i
Let i be (-1)/(5/(-115) - (5 + -5)). Is 31 at least i?
True
Let p = 411 - 409. Which is bigger: 4 or p?
4
Suppose -4*f + 64 = -z + 17, -3*f = 5*z - 18. Suppose -8*y = -9*y + f. Which is bigger: y or 35/3?
35/3
Suppose a + 20 = -3*k, 10*a = 7*a + 12. Let w be (k/10)/((-14)/(-5)). Do 6 and w have the same value?
False
Let u = 50 + -163. Let z = u - -51. Is z at least -62?
True
Let h = -12 - -13. Suppose -3 = 3*x, 3*m - h - 10 = -x. Let p = -8 + m. Is p less than 0?
True
Let a = 328/10353 + 1/357. Is a > 0?
True
Let t(s) = -33*s - 39*s - 2 + 73*s. Let i be t(-1). Do 2 and i have the same value?
False
Suppose 57*y - 189 = -588. Which is bigger: -49 or y?
y
Let z(t) = -t**2 - 5*t + 46. Let x be z(-10). Which is smaller: x or -5/2?
x
Let s = -1761 + 968. Is s < -793?
False
Suppose 9*g = 6*g - 78. Is -19 at most g?
False
Let z = 99 - 225. Let h = 118 + z. Which is greater: -6 or h?
-6
Let d be (-1 - 177/(-714)) + 84/112. Is d at least as big as 1?
False
Let g = 239 + -240. Is g > 7?
False
Let c = -107 - -120. Let j = c - 13. Which is greater: j or -1/59?
j
Suppose 2*w + 17*w + 4408 = 0. Which is bigger: -231 or w?
-231
Let l be -1 - 0*3/9. Do 1/196 and l have different values?
True
Suppose -2*l - 3 = l. Let w be 60/1330*21/(-27). Which is smaller: w or l?
l
Let v = -31 + 31.2. Let u be ((-67)/(-45) - 1) + 2/(-9). Which is smaller: u or v?
v
Let s = 40 + -40.34. Let q = s + 0.3. Let d = -3.04 - q. Which is smaller: d or -5?
-5
Let h be (3 + (-22)/10)*425/210. Is 1 > h?
False
Suppose 3*s + 35 = 2*s. Let i = 281/8 + s. Is -1 greater than i?
False
Let l = 120 + -120. Which is smaller: l or -220?
-220
Suppose 5160 = -2*h + 10*h. Is 646 < h?
False
Suppose 2700 = -3*z - 0*z. Let i = 515 + z. Let p = i + 5002/13. Which is smaller: 0 or p?
p
Let u(n) = n**3 - 14*n**2 + 11*n + 17. Let q be u(13). Which is smaller: -23 or q?
-23
Let b(r) = r + 152. Let u be b(-41). Which is smaller: 114 or u?
u
Suppose -4*u - 6 + 302 = 0. Let o = -8661 + 8735. Is u less than o?
False
Let s = 18 - 92/5. Let z be (-44)/(-10) + 1*12/(-30). Suppose 6*p - z = -10. Is p greater than s?
False
Let m(f) = -f**3 - 14*f**2 + 18*f + 32. Let r be m(-15). Let c be (-3 - -6)/((-3)/(-2)). Which is smaller: r or c?
r
Let a(p) = p + 16. Let z be 1/(-3*(-1)/150). Suppose -2*x - 13 - 15 = 2*q, -5*q + z = -3*x. Let m be a(x). Which is smaller: 0.4 or m?
0.4
Let l = 0.125 + -0.025. Which is bigger: l or -52?
l
Let g be 11*-2*(-3)/(-12) - -5. Which is bigger: 451 or g?
451
Let k be (10 - 20)*(-2)/4. Suppose 10*p = k*p + 5. Are p and -1/7 nonequal?
True
Suppose 1070 = -3*z - 2*z. Is -213 at least z?
True
Let c = -3/14 - -37/42. Which is bigger: c or -0.0099?
c
Let t(c) be the first derivative of -3*c - 4/3*c**3 - 2 + 3/2*c**2 - 1/4*c**4. Let k be t(-5). Is k at most 9?
True
Let a = -1087 - -1090. Is a at least -5/4?
True
Let x = -484 + 828. Is x < 345?
True
Let y(j) = 2*j**3 + 3*j**2 - 12*j - 12. Let g be y(-3). Which is smaller: g or 4/5?
g
Let b = 29 + -17. Suppose -2*s + 4*s - b = 0. Which is smaller: s or 5?
5
Let d = 155.83 - 156.1. Is -2/5 not equal to d?
True
Let k be 3/2*(-5 + 17/3). Which is smaller: k or 1/121?
1/121
Let y = 2512.9 + -2511. Is 1 bigger than y?
False
Let s(u) = -u**3 - 4*u**2 - 10*u - 25. Let y be s(-3). Suppose 0 = -o - 0*o + 3. Let z be 77/(-33) - y/o. Are 0.17 and z unequal?
True
Let v be ((-48)/(-40))/(0 + (-9)/(-6)). Which is greater: v or 2?
2
Suppose -4*k - 179 = -175. Which is bigger: k or 1/57?
1/57
Let a = -1.97 + -0.03. Suppose 71 + 37 = 3*h. Let b be 2/3*-1*27/h. Which is greater: a or b?
b
Let v = -1 - -5. Let g(p) = -p**2 + 5*p + 14. Let b be g(7). Suppose -4*x = -b*x - v. Does x = -1?
False
Suppose 0 = 15*g - 12*g - 9. Suppose 6*w = -g - 3. Which is smaller: w or 1/15?
w
Let k(y) = -9*y - 25. Let i be k(-4). Suppose -2*q - 17 = -2*b + 9, -49 = -5*b + q. Which is greater: b or i?
i
Let k(w) = w**3 + 7*w**2 + 11*w + 5. Let y be k(-5). Is 1/88 greater than y?
True
Let i = 522 - 526. Let q(h) = -2*h**3 - 2*h**2 - h + 2. Let c be q(-2). Suppose 0*f - c = 2*f. Which is greater: f or i?
i
Suppose 1 + 19 = 4*z + 5*a, 3*a = z + 12. Suppose p - 3*f - 1 - 12 = z, p - 13 = 2*f. Is p equal to 11?
False
Let g = -0.1 + 0. Let s = 0 + 30. Suppose -76*h + 71*h = -s. Is g greater than h?
False
Suppose 2*q + z = 45, -q + z = -0*z - 15. Suppose 5*d + 40 = -q. Is d less than 2/3?
True
Let q = 0.0683 - -30.9817. Let l = -0.05 + q. Which is smaller: -1 or l?
-1
Let m be 21/(-28) + 268/336. Is -1/7 smaller than m?
True
Let u(a) = 6*a + 27. Let g be u(-6). Let s be (-30)/(-165) - g/11. Let y(z) = -z**3 - 4*z**2 + z + 1. Let b be y(-4). Is s less than b?
False
Let b be 1 + (-20)/(3 + -4). Do 21 and b have the same value?
True
Let v be (-7 - -10) + (-486)/150. Which is smaller: v or 0?
v
Let f be -4*2/(-4) + -2. Let d = -6991/4 + 37111/20. Let h = d + -108. Is h less than f?
True
Let q be (-9350)/(-1335) + 28/(-4). Are 0 and q non-equal?
True
Suppose 4*a - 14 - 6 = 0. Suppose -a*h + 39 = n - 35, -44 = -2*h