h is smaller: -23 or c?
c
Let b = -53 + 22. Let z = b - -31. Are -4/3 and z equal?
False
Let b(y) be the first derivative of -y**3/3 + 6*y**2 - 13*y - 1. Let a be b(8). Let k be (1 - 4) + 22 - 0. Is k not equal to a?
False
Suppose -2*q = 2*y - 88, y + 8 = 9. Is 43 greater than or equal to q?
True
Suppose 3*p = -11 + 311. Let a = -111 + p. Is -12 greater than or equal to a?
False
Let m = -139 - -75. Do -0.2 and m have different values?
True
Suppose 15*q = -20 + 440. Suppose 8 = -4*z - q. Which is smaller: z or -37/4?
-37/4
Let y = -7094 + 7105. Let t be (-1)/(-1) + 18/2. Is y at most t?
False
Suppose 2*h + 3*h - 57 = 3*n, -2*n = 4*h - 50. Suppose -h*s + 0 + 12 = 0. Let r be 4/22*-1*-2. Which is smaller: s or r?
r
Let q be (30/(-5))/(-1 + 0). Suppose -21 = -q*b - 15. Which is smaller: 2/29 or b?
2/29
Let h = -27217/17094 + 1/777. Which is smaller: -1 or h?
h
Suppose -3*n + 8*f - 3*f = -43, 40 = 4*n + 2*f. Suppose -3*z - 14 = -n. Which is smaller: z or 1/30?
z
Suppose 21 = 8*g - 3*g - q, -g - 2*q = -13. Suppose -30 = g*m - 2*j - j, 5*j = 0. Is m greater than -7?
True
Let d be (-2*(-491)/3)/(6/9). Is d less than 490?
False
Let q = 820 + -820.1. Which is smaller: q or -345?
-345
Suppose -4*r + 2*m = r + 824, 3*r - m + 495 = 0. Let n be (-6)/(-39) + r/910. Is 0 != n?
True
Suppose -15 - 49 = 4*z. Let q be ((-64)/(-12))/8*9/z. Is 1 greater than q?
True
Let v(i) = -i**3 - 7*i**2. Suppose 3*b + b = 0. Suppose b*q + 21 = -3*q. Let w be v(q). Which is smaller: 6/13 or w?
w
Let r = 15 + -31. Let q(s) = -s**2 - 141*s - 3580. Let g be q(-108). Do r and g have different values?
False
Let k be (483/(-92))/(2/(-24)). Which is smaller: 55 or k?
55
Let c be (-96)/9 - (-12 - -2). Let o(t) = t**3 + 3*t**2 - 2*t + 5. Suppose 2 = 2*f + 10. Let a be o(f). Which is greater: c or a?
c
Suppose 24 = -16*z + 40. Is z equal to -2/675?
False
Let m = -0.46 + 0.36. Let s = -0.6 + 0.6. Is s smaller than m?
False
Let a = 4.6 - 5.2. Let j = 9 + -9.66. Let d = a - j. Which is smaller: d or 2?
d
Let w = -8759.01 - -8685. Let h = w - -74. Which is bigger: 0.03 or h?
0.03
Let g = -31597/15274 + -3/1091. Which is smaller: -3 or g?
-3
Let w(o) = o**2 - 39*o + 43. Let g be w(20). Which is greater: -338 or g?
g
Let r(b) = 3*b**3 + 2*b**2 + b + 1. Let w be r(2). Let p = -234 - -262. Let n = w - p. Which is smaller: 8 or n?
n
Suppose 26 = -2*j + 28. Let o be 3/(-2)*(j + 39/(-9)). Suppose 2*u - 12 + 4 = 0. Is o < u?
False
Let s = -220 - -495. Is s < 276?
True
Let n = -925 + 950. Suppose -3*s = k - 27, -3*s - 25 = -k - 4. Which is smaller: n or k?
k
Suppose 4*k - 5*y = -6 - 5, y - 8 = -5*k. Which is smaller: 2/187 or k?
2/187
Let m = 0.19 - -7.81. Let b = m - 9. Let a = 0.8 + -1.4. Is b at least as big as a?
False
Let g = 0.7 + -0.6. Let n = g + 0.1. Suppose -3*w - 3 = -2*a - 5, 5*w - a + 6 = 0. Do n and w have different values?
True
Let b be 7/(-21) + 49/129. Suppose -3*q + 66 = -2*q. Let a be q/54 - 2/9. Is b less than or equal to a?
True
Let f(n) = -2*n**3 + 16*n**2 + 6*n - 50. Let x(z) = -3*z**3 + 23*z**2 + 9*z - 75. Let s(l) = 8*f(l) - 5*x(l). Let a be s(13). Which is bigger: 13 or a?
a
Let n(u) = u + 6. Let x be n(-25). Let m(o) = 3*o - 1. Let r be m(-6). Is x less than r?
False
Suppose -5*x + 4*n + 4 = 9, n = 2*x - 1. Let f be x/(-4) + 2*5/8. Which is smaller: -0.1 or f?
-0.1
Suppose 3*x = -4*r - 2*x + 291, x = -1. Which is greater: r or 75?
75
Let p(o) = -3*o + 169. Let x be p(32). Is x at most as big as 73?
True
Let t be (42 - 44)*(1 - 2)/(-5). Which is smaller: 2/23 or t?
t
Let k be 4/(-12) - (-1)/((-12)/(-52)). Let j be 4/k + (-5)/(10/36). Do -16 and j have different values?
True
Let g = -7942 - -103177/13. Is -4 greater than g?
True
Let u = -4.05 + 3.493. Are u and 0 unequal?
True
Let w(h) = 2*h - 5. Let s be w(4). Let j(k) = 3*k + 3*k - 7*k + s + 0*k. Let n be j(4). Which is bigger: -9/5 or n?
n
Let p = 25.7 + -26. Let i = p - -2.2. Let o = i + -2.2. Is o greater than 0.7?
False
Let h(w) = 2*w - 45. Let y be 20/(1 + 3) - -1. Let z be h(y). Which is greater: z or -32?
-32
Let r = -8 + 4. Let v be (-30)/(-26) - (-4)/(-26) - -10. Suppose 5*x + 0*u + 9 = 4*u, v = -3*x + u. Is r >= x?
True
Let j be (-2)/(-14) - 3630/(-70). Is 53 at most as big as j?
False
Let z = -0.2 - 10.8. Let i = 0.6 - -1.4. Let y = 1 - i. Is y bigger than z?
True
Suppose 20 = 8*x - 3*x. Let c be 4/8 - 138/x. Let a be ((-1)/(-3))/(c/(-12)). Which is greater: a or -1?
a
Let c be (-47)/(-94) + 290/44. Is 6 greater than c?
False
Let z = 1200 + -7195/6. Let a be 1*((-2 - -2) + 2). Is z at least a?
False
Let i be 5/8 - (-4)/(-32). Let u = -15 - -15. Is i bigger than u?
True
Let r = -6 + 5.81. Let a = -0.09 - r. Do 5/8 and a have different values?
True
Suppose 0 = -l - 2 - 5. Let h be 64/18 + 28/l. Is 1 <= h?
False
Let b(l) = -5*l - 7. Let i be b(-6). Which is smaller: 22 or i?
22
Let n = -4349978/77 - -56520. Let r = n - 282/11. Which is greater: 0 or r?
r
Let n = -8/849603 + -52954531/430748721. Let w = 2/169 + n. Is -12 less than w?
True
Let n be 1719/1932 + 11/((-616)/48). Is 0 < n?
True
Let n be (256 + -255)*(6/(-320))/(-3). Are n and 0 non-equal?
True
Let h be 0/(-1) - (-2)/(-1). Let m = h + 1. Let s = 0.302 + -0.152. Are s and m unequal?
True
Let y = 9 + -6. Let u be 2/(-6)*(-3 + y). Let j be 1 + 2/(-3) + 38/(-78). Are j and u non-equal?
True
Suppose o = -3, -o + 15 = t - 1. Is t > 21?
False
Let f = 3.21 - 3.21. Is 134 at least as big as f?
True
Let t = 14086 + -126110/9. Let u = t + -3131/45. Is u at least 3?
True
Suppose -o = -6 + 7. Let q be ((-49)/26 - -2)*4/(-30). Is o bigger than q?
False
Let z = 7.91 + -7.6. Let c = 2.31 - z. Is -0.15 bigger than c?
False
Let v = 413/276 + 1/276. Is 6 equal to v?
False
Let q = 1316/3 + -443. Suppose 2*v - 3*v = 0. Let u = -3 - v. Which is greater: u or q?
u
Let y = 23 + -12. Suppose 16 = -y*a + 7*a. Suppose -t - 18 - 2 = 4*u, 0 = 3*u + 12. Are a and t unequal?
False
Let p(i) = i**3 + 2*i**2 + 5*i. Let q(z) = 5*z**3 + 8*z**2 + 21*z + 1. Let f(j) = 9*p(j) - 2*q(j). Let x be f(3). Which is greater: x or -1?
-1
Suppose 41*d + 13*d = 5292. Is d bigger than 101?
False
Let z = 0.08 + -0.98. Let c = z + 0.9. Which is smaller: c or 7?
c
Let t = 4 + -6. Let d = t - -14. Let i be ((-4)/(-6))/((-8)/d). Which is bigger: i or -2?
i
Let z = 30 - 119/4. Let g = -8711 + 8799. Which is smaller: g or z?
z
Suppose 0 = r + 22*r + 5497. Is -239 at most as big as r?
True
Let o = 728 + -348. Is 381 at least o?
True
Suppose -4*u + 5*u = -p + 5, 2*p = 2*u - 10. Suppose -m - m = -p*m. Let r be 60/27 + -1 + -1. Which is bigger: m or r?
r
Suppose -41*q + 62015 = 38*q. Is q greater than 785?
False
Suppose 6*w + 184 = 574. Let y be (-55)/(-22)*4/w. Which is smaller: 1 or y?
y
Suppose -4*w + 20 = 2*z, 2*z = 6*z. Let s(b) = b - 6. Let r be s(11). Suppose -2 = -w*p - 2*o + r, -5 = -p - 4*o. Is 2 greater than or equal to p?
True
Let j be (-4)/3*2/8. Suppose 4*a + 2*i = -0*a + 50, 2*i - 28 = -2*a. Let q = a + -11. Is j <= q?
True
Let r = 989/5 + -141422/715. Is r not equal to 1?
True
Let g = 1/252 - 1523/2772. Suppose -4*n - 9 = h, 3*n = -3*h - 33 - 12. Let t = h - -16. Which is smaller: t or g?
t
Let j = -4619 - -1806023/391. Is 1 less than or equal to j?
False
Let w = 0.058 + -0.158. Let v = -595 + 24396/41. Which is smaller: v or w?
w
Let a(j) be the second derivative of 4*j**3/3 - j**2/2 - j. Let c be a(-4). Which is smaller: -34 or c?
-34
Suppose -5*y = -4198 + 11028. Which is smaller: y or -1365?
y
Let a = -273/8 - -1349/40. Let f = -8 + 13. Suppose 21 = -n + f*o, -4*o = -3*n - 0*n - 19. Do a and n have different values?
True
Let t be (-1)/((-2)/2)*1. Let w be (-2)/4*(-29220)/75. Let a = -22422/115 + w. Is a smaller than t?
True
Let d(f) = -4*f**3 + 6*f**2 - 6*f + 3. Let b(x) = -x**3 + x**2 + 1. Let a(j) = -5*b(j) + d(j). Let q be a(-4). Is -26 at least as big as q?
True
Let l = 79 - 42. Let y = -35 + l. Which is greater: 1 or y?
y
Let v = -85.9 + 85.895. Which is greater: -6 or v?
v
Let g = 12 + -11. Which is greater: -6 or g?
g
Let c = -922/7 - -133. Suppose 131*j = 129*j. Is j smaller than c?
True
Let a be 3 + 2 - (2709/(-6))/7. Is 69 >= a?
False
Let k be (16/(-12))/(4/(-6)). Let r be k/(-5) - (-20)/50. Is r equal to -1/7?
False
Suppose -3*y = 1 - 13. Let v = 15 - 11. Let r be (v - 2)*4 + 0. I