he same value?
False
Let w(b) = -b**3 + 3*b**2 + 40*b - 10. Let a be w(8). Which is bigger: a or -98/9?
a
Let y be (-1)/2 + 3*(-2)/(-12). Is y not equal to 1/199?
True
Let i(d) = d**3 + 5*d**2 + 2*d + 1. Let x be i(-4). Let a be (-183)/(-9) + 6/x. Which is smaller: a or 22?
a
Suppose 5*y + 7 = -2*r + 2, 3 = 5*r - 3*y. Let z = 3/55 - 189/440. Are z and r non-equal?
True
Let i be ((-1)/3)/(4/6). Let u = -13.1 - -13. Which is greater: i or u?
u
Suppose 4*f + 2 + 6 = 0. Let q be 3 - -14*(-2)/12. Is f < q?
True
Let b = 3 - 3. Let o be -3 - (4 - -2)*2/(-4). Is b < o?
False
Let q = -16 + 10. Let v be (1*5)/(-16 + 15). Which is greater: v or q?
v
Suppose 2 = -3*p + 8. Suppose 28 = g + 3*g. Suppose -25 = -g*y + p*y. Is y > 5?
False
Let i(h) = -h**3 + 7*h**2 + 6*h + 5. Let r be i(6). Suppose r - 7 = -5*g. Let l = g + 40/3. Which is bigger: 0 or l?
0
Let d be ((-2)/(-16))/(1/(-193)). Let b = d + 24. Let v be -2*1*(-1)/2. Is b < v?
True
Let n be -3 + 2/(10/3)*5. Which is greater: 6 or n?
6
Let f = -20 - -45. Is 23 at most as big as f?
True
Suppose 3*l = -b + 8, -5*l + 5 = -10. Let v be 1 + 0 + (83 - 3). Let w be (-3)/(v/15) - b. Is -1 smaller than w?
True
Let q = 206 + -17715/86. Which is smaller: q or 1?
q
Let d be ((-6)/4)/((-1)/(-2)). Let b(t) = -t**2 + 4*t - 2. Let f be b(3). Let y be d/f + 1 + 3. Is y at most as big as -1/5?
False
Let n be (6/8)/((-90)/(-48)). Which is smaller: n or 1/12?
1/12
Let b = 2 + 0. Suppose 2*l + 3*i + 5 = -12, -2*i + b = 0. Let c be 2/l*(-5)/3. Which is smaller: c or 0?
0
Let j be (-2 + 1 - -1) + -1. Let s be 0*(-3)/(-9)*j. Let y = 2/119 + -482/357. Which is bigger: y or s?
s
Let q = -33073/106 + 312. Do -1 and q have different values?
True
Suppose 12 = 3*y - 5*g, -2*y + g - 8 = 3*g. Let f(v) = -v**3 - 2*v**2 + 2*v + 3. Let j be f(-2). Are j and y non-equal?
False
Let v = 21 - 26. Do 1/7 and v have different values?
True
Suppose k + 4*k = x - 14, 5*x = -2*k - 11. Let v be (4 - 3)/(3/(-21)). Let t = v - -5. Is t less than k?
False
Let d be 6/(-39) + (-282)/26. Let u = -8 - d. Which is smaller: 9/4 or u?
9/4
Let v = 13 + -12. Suppose 20 = -5*f, 0*c + 5*f = 5*c - 25. Is v bigger than c?
False
Suppose 5*w + 55 = 5*o, -4*o + 0*w = -2*w - 48. Is o not equal to 8?
True
Let w = -44 + 51.9. Let d = w + -8. Which is smaller: d or -5?
-5
Let o be 2/(-6) + 14/24. Let z(x) = -x**2 + 3*x - 2. Let y be z(2). Is o less than y?
False
Let z(g) be the third derivative of -g**5/60 - g**3/3 - 2*g**2. Let x be z(0). Is -2 > x?
False
Let w be (96/56)/(2/35 - 0). Which is bigger: w or 32?
32
Suppose -3*q = -2*t + 5, q = -q + 2*t. Which is smaller: 0 or q?
q
Let l(q) = -q**2 - 4*q + 5. Let g be l(-5). Let f = 2 + 2. Suppose -20 = j + f*m, m = -2*j + 6*m + 25. Is j less than or equal to g?
True
Suppose 0 = -p - 6. Let g = 13 + p. Let i be 16/(-5)*105/(-42). Which is bigger: i or g?
i
Let o = -467 - -3741/8. Which is smaller: 1 or o?
o
Suppose 4*r - 3*r = -2, -5*r = -5*w + 15. Which is smaller: 6/23 or w?
6/23
Let w = -0.25 - -0.18. Which is greater: w or 2?
2
Let m = 14 - 10. Suppose m*r - 1 - 3 = 0. Is 2/11 > r?
False
Let a(g) = -g**2 - 22*g + 7. Let l be a(-22). Is 13/2 smaller than l?
True
Let y be 3/(-6) - 2/(-4). Let c = 30 - 30. Is c less than y?
False
Let r(k) = 2*k**2 + 16*k + 16. Let j be r(-8). Is -0.3 less than j?
True
Let x be (20/6)/((-1)/(-3)). Let b be 1/5 + 38/x. Suppose b*y - 1 = -5. Which is bigger: 0 or y?
0
Let b = 0.02 - -2.98. Is b greater than or equal to 0?
True
Let b = 7.2 + -7. Are -6/5 and b nonequal?
True
Let c = -4 - -2. Suppose -16 = 2*o - 22. Are c and o nonequal?
True
Let x = -24.8 + 27. Let h = x + -2.4. Is h less than or equal to 0.04?
True
Let p = 0.4 - 1. Let i = p + 0.7. Which is bigger: i or -3?
i
Let k be 1*(13 + -1 - 2). Suppose k + 4 = b. Suppose -6*q - 4*a = -q - 21, -2*q + 4*a - b = 0. Which is greater: q or -2/13?
q
Suppose -16 + 116 = 5*r. Suppose -2*s = -2*l + 6, 6*l - 2*l = r. Is s at most as big as 0?
False
Let z be -2 + 1 + (-1)/(-2). Let w(j) = j**2 + 7*j + 4. Let n be w(-6). Which is smaller: z or n?
n
Let t = 155/4 + -2023/52. Let m be 50/15*6/(-5). Let z be ((-2)/4)/(2/m). Which is smaller: z or t?
t
Suppose 0 = 5*z + 2*c - 28, 3*z - 14 = -5*c + c. Let h be (-15)/z*(-20)/1525. Which is smaller: -1 or h?
-1
Let b = -83 - -2. Which is greater: b or 0.1?
0.1
Let c = -4 - -5. Which is greater: c or -1/4?
c
Let q = 10 - 29. Let k = q - -20.9. Let o = -2 + k. Is -1/4 less than or equal to o?
True
Let d be ((-8)/(-4) + -2)/3. Suppose d = h, 0 = -5*y - 3*h - 34 - 21. Which is bigger: -12 or y?
y
Let d be (36/8*-1)/(-3). Which is smaller: 0.09 or d?
0.09
Let v = 901/472 - 2/59. Which is smaller: v or 1?
1
Suppose -4*r - 3*z - 152 = 0, 71 + 118 = -5*r - 4*z. Which is smaller: -40 or r?
r
Let f be 1/(-3) + 1/4. Is 0 smaller than f?
False
Let x be -2*4*1/8. Is x < -2?
False
Let v be (10*-1)/(1 + 0). Let c be v/(-45) + 32/18. Suppose b - 11 = c*g + 4*b, -2*g = -3*b + 5. Is 1 greater than g?
True
Let f(m) = 3*m. Suppose 4*l + 2 = -2. Let a be f(l). Which is smaller: 0 or a?
a
Let i be (0 + -2 - -1)*-6. Let w = i - 5. Do 0 and w have different values?
True
Let m = 3 + -4. Suppose -8 = -10*n - 38. Is n greater than or equal to m?
False
Suppose -4*u + 8 = -0*u. Let i = -1 + u. Which is bigger: -2/9 or i?
i
Let q be 9 + -12 - 290/(-98). Which is smaller: 1 or q?
q
Let p = -207 + 133. Let g be 3/(-2) - p/4. Which is greater: g or 16?
g
Let y(r) = -r**2 - 6*r. Let o be y(-6). Let x = 2 - o. Let n be 2/(-6)*(x + 2). Which is bigger: -1 or n?
-1
Suppose -28 = b - 13. Is b bigger than -15?
False
Suppose 0 = 6*h - 3 + 21. Is h at least as big as -3?
True
Let s be -3*(-2)/(-6)*-1. Let z = 43/39 + -10/13. Do s and z have different values?
True
Let y(t) = -t**3 + t**2 + t + 1. Let j be y(2). Let q = 5 + 1. Let k be 25/(-30) + 2/q. Are k and j equal?
False
Suppose 5*k = -4*m - 24, 7*k = m + 2*k + 6. Is m at most -17/3?
True
Let y be ((-1)/9)/(92/(-24)). Is -1 less than or equal to y?
True
Let m(z) = -z - 6. Let c be m(-7). Is c at least as big as -1/5?
True
Let p = 14 - 7. Suppose 3 = 5*y - p. Which is smaller: -1 or y?
-1
Suppose -3*w - 2*w = 0. Suppose -3*k + 5*a = 13 + 7, -5*a + 20 = w. Which is smaller: k or -3?
-3
Let c(v) = -v**3 + 6*v**2 - 5*v - 7. Suppose 4*y + 8 = 4*k, -3*y - 2*y + 5 = -2*k. Let s be c(k). Which is bigger: s or -8?
s
Let t = 0.63 + -0.94. Let u = t - -0.11. Which is smaller: u or 1/7?
u
Let c(l) = -l**2 + 6*l + 8. Let i be c(6). Suppose -1 - 13 = -2*w. Are i and w nonequal?
True
Let q be (-1 - -1)/(2*1). Let b(l) = l**3 - 5*l**2 + l. Let p(z) = z**3 - 5*z**2 + z + 1. Let r(t) = 5*b(t) - 4*p(t). Let g be r(5). Which is smaller: q or g?
q
Suppose 0*w + 5 = -5*w, 0 = -5*l - 3*w + 17. Suppose a = -0*a - l. Let j = a - -4. Which is smaller: j or 2/3?
j
Let o = 0 + 14. Suppose -17*l + o*l = -6. Which is bigger: l or 3?
3
Let i(n) = -n**2 + 3*n + 4. Let c be i(5). Let u = -39 + 34. Is c smaller than u?
True
Suppose -2*s = 2*q, 0 = -3*s - q - 1 - 1. Let g = 1/30 + 11/30. Is s at least as big as g?
False
Let m be 5/8 - (-1)/(-2). Let y be 128/6 - (-2)/(-6). Suppose -y*c = -17*c. Which is smaller: c or m?
c
Suppose 0 = -2*n - 3*n + 10. Suppose -v = -4*o + 6, 5*v = -3*o + 7*o + n. Suppose 0 = -5*u - 3*x - 6 - 21, -x = -o*u - 2. Which is smaller: -2 or u?
u
Suppose q = -2*q - 15. Let p = q + -1. Which is smaller: p or -5?
p
Suppose -9*z - 16 = 29. Is -23/6 at most z?
False
Let b be ((-2)/6)/(6/(-252)). Let i = b + -10. Let l be 1/2*-2*i. Is -5 at most as big as l?
True
Let p be 5 - 4/36*6. Is 5 > p?
True
Suppose -20 = -5*h + 5*g, 3*h - g - 5 + 1 = 0. Suppose 5*k = -4*o + 40 + 290, -k + 65 = o. Let n be 4/10 + 2/k. Is h equal to n?
False
Let b be (0 - 1) + (-1)/(-1). Let r(d) = 3*d + 73. Let f be r(-24). Are f and b nonequal?
True
Let i = 10/9 - 23/18. Let u be (2/(-15))/((-1)/(-3)). Which is greater: i or u?
i
Let p be 0 + 3/(-3) + 3. Suppose -10*d = -8*d - p. Are -1/14 and d non-equal?
True
Suppose -2*o - o - 9 = 0. Let z = 0 + o. Which is greater: z or -4?
z
Let y = 2 - -4. Is 1 >= y?
False
Let q = -9345/13 + 720. Let b = q + -71/39. Suppose 3*h = 8*h. Is b > h?
False
Suppose -11*q + 12 = -7*q. Is 6 smaller than q?
False
Suppose 0 = -4*p + 6*p - 4*m + 32, -p + 14 = 4*m. Let o be (2/(-6))/(p/(-12)). Let b