
Let d be 40/25*(-15)/(-6). Suppose -2*f - 2*i - 57 = 3*i, 4*i = d*f + 156. Let q be 33/f - (5 - 6). Which is greater: 0 or q?
q
Let a(f) = -f**3 + 12*f**2 - 12*f + 13. Let w be a(11). Suppose 5*z = -20, 3*m - 7*z = -w*z + 83. Suppose h = -3*d + 11, h + d = 5*h + m. Are -4 and h equal?
True
Let s = 48378/185 + -1/370. Which is smaller: 262 or s?
s
Let x(y) = y**2 - 3*y - 3. Let w be x(4). Let a be w - (-32 - 0)/2. Is 17 < a?
False
Suppose -3*q + 39 = -2*s + 3*s, 5*q = 4*s - 105. Let p = -26 + s. Suppose p*n + 3*r + 76 = 0, 66 = -5*n + r - 10. Which is greater: -17 or n?
n
Let u(w) be the third derivative of -w**5/60 - w**4/12 - w**3/6 - 4*w**2. Let t be u(0). Which is bigger: t or -8/7?
t
Let v be (-27)/(-18)*4/6. Suppose 1 = -2*x - v. Let l be x/((-2 - 0)/2). Which is smaller: 2/7 or l?
2/7
Let z(w) = 2*w**2 - 4*w + 3. Let g be z(3). Let l be (-72)/(-15) - 6/(-30). Is l at most g?
True
Suppose 0 = 5*i, -2*s + 2 = -s + 3*i. Suppose -s*m = -3*m + 1. Which is greater: 4/27 or m?
m
Let w = 251/4 - 62. Let v = 14.044 - 3.044. Which is smaller: v or w?
w
Let w = -0.1 + 0.5. Is -8/3 bigger than w?
False
Let v(c) = 4*c - 1. Let n be v(2). Suppose 0 = 5*l + n*l + 24. Do -5/7 and l have different values?
True
Let s = 18857/164 - 115. Which is bigger: 1 or s?
1
Suppose -9*v + 4*r + 4 = -7*v, 0 = -3*r. Suppose 0 = 5*q - m + 1 - 4, -12 = -v*q - 5*m. Is q < -16?
False
Let u be 3 - (-6 + 42/6). Which is smaller: 22/9 or u?
u
Let p(s) = -s**2 + 12*s - 14. Let u be p(10). Suppose z = q + 3, -u*q + q = -4*z + 10. Suppose -7*j - 20 = -q*j. Which is greater: -6 or j?
j
Let i = 48 + 79. Let w = i - 108.8. Let z = 18 - w. Is 0 != z?
True
Let s(r) = -r**2 - 6*r + 12. Let p be s(-8). Suppose -683 = 4*l - 3*l. Let m = 3398/5 + l. Which is bigger: m or p?
m
Let q = -488467 - -124559393/255. Let d = 2/255 - q. Let x(c) = 12*c - 97. Let z be x(8). Is d > z?
False
Let j(h) = -44*h**3. Let t be j(-1). Let k be 4/(-10) + t/10. Does 17/5 = k?
False
Let j be (2 - -2)*52/16. Let f = 12 - j. Let s = 63 - 501/8. Which is smaller: s or f?
f
Let q be 4 - ((3 - -2) + -3). Is 14 < q?
False
Let n be (4 + (-800)/210)/((-14)/(-3) + -4). Let a = 3 - 5. Is n less than or equal to a?
False
Let o = 1.87 - -3.48. Let j = -0.35 + o. Is -2 greater than or equal to j?
False
Suppose 5*o + 5 = 5*r, 9 = 3*r + 2*o + o. Suppose 4*u + 10 = -b - 2, 4*b + 34 = -r*u. Are -8 and b nonequal?
False
Let r = 57 + -23. Suppose 17 = -3*z - r. Let n = -3545 + 3527. Are z and n non-equal?
True
Let r = -264.7 + 264.8945. Which is greater: 0.1 or r?
r
Let s(j) be the third derivative of j**6/120 - j**5/4 + 13*j**4/24 + 8*j**3/3 - 4*j**2. Let k be s(14). Is 12/13 at most as big as k?
True
Let d = 697 - 702. Is 1 equal to d?
False
Let z = -1 + 1. Let s(w) = -2*w - 8. Let p(a) = -2*a - 7. Let d(m) = 4*p(m) - 5*s(m). Let h be d(-5). Is z greater than h?
False
Let j be (-1787)/2093 + (-6)/(-7). Is j at most as big as 1?
True
Suppose 2*g = -3*g - 50. Let c = 85 - 81. Suppose -4*z - c*z = 72. Which is smaller: g or z?
g
Let f = 1.85 - -3.11. Let g = -83 + 88. Let w = g - f. Is w smaller than -3?
False
Let m(c) = c**3 + 7*c**2 + 5*c + 8. Let d be m(-7). Let b be 33/d + -1 - (-8)/36. Which is bigger: -3 or b?
b
Let k be 946/129 - 3/1. Suppose 0 = 5*t - 4 - 11. Do k and t have different values?
True
Let l be 4/(-30) + (-348)/90. Which is greater: -9 or l?
l
Let v = 464 - 463.7. Let z = 2 - 5. Which is smaller: v or z?
z
Let t = 1187.8 + -1188. Let l = -3 + 4.6. Are l and t equal?
False
Let b = -0.49 + -4.11. Let q = b - -4.4. Which is bigger: q or -14/3?
q
Let w be (-4 - -2 - 0) + 0. Let t be w + -1 + 48/10. Suppose 10 = 11*p - 1. Is p bigger than t?
False
Suppose r = -y + 6, 3*r - 1 - 19 = -5*y. Which is greater: -6 or r?
r
Let h(m) = -m**3 - 2*m**2 + 2*m + 3. Let n be h(-2). Let s = 377722 - 54010358/143. Let x = s + -294/11. Does x = n?
False
Let q = 605 - 549.9. Let z = -55 + q. Let d = -3 - -2.9. Is z equal to d?
False
Let h(l) = -7*l**3 + 16*l**2 - 3*l + 15. Let i(o) = o**3 - o**2. Let y(c) = h(c) + 6*i(c). Let w be y(10). Let q be 6/8*(-10)/w. Is q less than or equal to -3?
False
Let c be (-4)/14 - (-30)/7. Let n = 25698/5 - 5137. Does n = c?
False
Let z be 5 - (44/5 + 0). Which is smaller: z or -3?
z
Suppose -4*a + 0*a - 128 = 0. Let n = a + 17. Let f = n - -10. Which is smaller: f or -6?
-6
Let x = -190 - -3799/20. Let w = 36 + -29. Suppose 0 = -w*c - 7. Which is smaller: x or c?
c
Suppose -4*o + 552 = -0*o. Suppose 2*w - o = 4*z - 26, -3*w = -3*z - 174. Suppose -9*i + 5*i = w. Is i greater than -15?
False
Let j = -36 - -79. Let k = j - 42.8. Is 1.6 >= k?
True
Let o(j) = 63*j - 567. Let t be o(9). Let n be (-10)/4*2/(-230). Which is smaller: t or n?
t
Let r = 25.7 + -22. Let a = r - 2.6. Let w = a - 1. Is w at least 0.18?
False
Let l(a) = 2*a. Let p be l(2). Let r be 1 + -2*2/p. Is r < 4?
True
Let y be 15/12*4 + 3/3. Let u(k) = -11*k + 15. Let c be u(y). Is -52 at most c?
True
Let n = 32 - 27. Suppose -3*o - 2*o + 9 = -3*x, n*x + 52 = -4*o. Let t be (12/(-9))/((-4)/(-30)). Is x > t?
True
Suppose -4*z + 42 + 70 = 0. Let f(b) = b**2 - 6*b + 27. Let x be f(6). Do x and z have the same value?
False
Let q(h) = h**3 - 43*h**2 + 85*h - 106. Let f be q(41). Is f greater than 22?
False
Suppose 3*m - 6 = 12. Let u be (-84)/(-2)*(-20)/m. Let f be (-26)/(-91) + 54/u. Is f equal to 0?
False
Let h(t) = t**2 + 4*t. Let q be h(4). Suppose x - 3*o + q = -x, 5*o = -5*x - 30. Let g be x*(-1)/(-2) - -3. Is -8 smaller than g?
True
Let s be 4/(-10) + 22/5. Suppose s*a - 3*a = -k - 1, 0 = 2*k - a + 14. Let t be k/15 - 2/(-6). Which is bigger: 1 or t?
1
Let l = 1/53 - -142/901. Which is bigger: l or 2?
2
Let s(r) = r**3 - 3*r**2 - 4*r + 6. Let l be s(4). Suppose 3*t - 4*d + l = t, 3*d = 3*t. Suppose 4*p - p - 9 = c, -p = t*c - 3. Is p at least as big as 5?
False
Suppose -5*p - 3*f = 2*f - 95, -27 = -3*p + 3*f. Let z = -36 + p. Which is bigger: -23 or z?
z
Let l(h) be the first derivative of h**4/4 + 29*h**3/3 + 29*h**2/2 + 16*h + 41. Let v be l(-28). Do -11 and v have the same value?
False
Let b be (-28)/(-20)*(-4 + 9). Let g be (4 - b) + 20 + -1. Suppose i = -4*y - 21, g = -3*y - 4*i - 16. Is y bigger than -4?
False
Suppose 0*s = m - s - 9, -4*m + 11 = s. Suppose -4*d - 2 = 2*y, -d = -y - m*y - 5. Let z be 45/(-6)*(-1)/20. Does d = z?
False
Let k = -62 + 198. Suppose 6*r - 2*r = k. Is 34 >= r?
True
Let a be 0 - (0/2)/(-2 - -3). Suppose 0 = -3*z - 3*h, 3*h + a*h = -4*z + 1. Let b = 2 - 3/2. Which is greater: b or z?
z
Let h = 285.939 - 286. Which is smaller: h or 4?
h
Let m = 605 - 607. Which is smaller: m or -84/25?
-84/25
Suppose 8*z - 8 = -24. Let r = -21 - z. Which is greater: -18 or r?
-18
Let q = 10 - 18. Let p be (-2 - -1 - 0)/(q/(-32)). Is p bigger than 4?
False
Let f be 5/35 - (-1)/(-4). Let r = f - -5/14. Which is greater: 1 or r?
1
Suppose -2*u - 3*n - 11 = 0, -16*u = -21*u + 4*n - 62. Let y be (-5 + (-905)/(-175))/((-6)/u). Which is smaller: -7 or y?
-7
Let z = -87 - -87.1. Which is greater: z or 1.22?
1.22
Let b = 3936 + -5631. Is -1695 <= b?
True
Let i = -130 - -127. Which is smaller: i or -40?
-40
Let b = 7 - -2. Let r(f) = 17*f - 15. Let u be r(1). Which is smaller: u or b?
u
Let j be ((-63)/16 + 4)/((-2)/132). Is j > -5?
True
Let x = 246/5 + -2134/45. Suppose 4*g = 2*g. Suppose g = 4*u - 3 - 9. Are u and x equal?
False
Let l = 196021497882 - 8042173992561528/41027. Let r = 4/5861 - l. Let q = 5860/231 + r. Which is bigger: 0 or q?
0
Let f = 1/1180 + 7629/48380. Is f at most as big as 1?
True
Let k = 31 - 7. Let s(r) = -r**2. Let p be s(5). Let c = k + p. Which is smaller: -10 or c?
-10
Let c = -1 - -0.9. Let s = -7 + 6.1. Let v = -0.1 + s. Is v <= c?
True
Let g be 76/2 - 1 - 1. Let r = g + -41. Is r at least -5?
True
Let w be ((-18)/8)/((-15)/40). Let d be (w/10)/((-5)/(-125)). Let z = -10 + d. Which is smaller: 6 or z?
z
Let y = -3 - 33. Let o = y + 51. Which is smaller: o or 13?
13
Suppose 58 = -s - 4*d, -s + 4*d - 212 = 3*s. Let f = s + 31. Is f >= -23?
True
Let o be (-9 + 7)*(-1)/2. Let c be (38/(-3))/(20/54). Let f = c - -34. Is o less than f?
False
Let x be 5830/(-30) + (-1 - 8/(-6)). Let s = x + 132. Which is smaller: -61 or s?
s
Let t be -5 - (-15 + 2 + 7). Which is greater: t or 1/140?
t
Suppose -k = 4*k -