 + 0. Which is greater: -0.15 or h?
h
Let a = -0.4059 - -0.0059. Is a <= 134?
True
Let j be (2007/(-45))/((-3)/15) - -1. Is j bigger than 224?
False
Let y = 22150/9 - 339601/117. Let m = -441 - y. Let h be (-6)/2 + 66/24. Which is bigger: h or m?
m
Let k = 19 - 8. Let c(d) = 3*d + 1 - d + 2 - 4 - 10. Let s be c(k). Which is smaller: 10 or s?
10
Let b be (8/10)/((-6)/(-30)). Let k be (-10)/15*(-102)/(-4). Let c = k + 22. Which is smaller: b or c?
b
Suppose -27*t + 42*t = 24*t - 36. Let g be (-1 + 2)/((-8)/(-21)). Which is bigger: t or g?
t
Let b be (-984)/36 + 26 + ((-4)/(-3) - -2). Let q = -0.82 + 0.02. Let n = q + -0.2. Is b at least as big as n?
True
Let w = -602 - -479. Do -2/11 and w have the same value?
False
Let m be (2 - 1) + -3*1. Suppose 0 = -3*y - 8*b + 3*b + 16, 0 = -4*y - 4*b + 32. Let p be (y/(-4) - 1) + 4. Which is bigger: m or p?
p
Let r be (-4)/(-3) + (-20)/15. Let t be ((-2)/(-8))/(25/(-40)). Is t at most as big as r?
True
Let s(f) = -f**3 + 9*f**2 + 226*f - 121. Let y be s(20). Suppose 52 = 4*w + 4*d, 5*w - 31 = -4*d + 38. Let p = 3 + w. Which is greater: p or y?
p
Suppose 19 = -17*g - 15. Let d be g + (-668)/(-286) - 12/78. Is -14 less than d?
True
Let h(k) = 11*k**2 - k**3 + 6 + 12*k - 5 - 1 + 5. Let i be h(12). Suppose -2*l - 14 = q, -3*l = -i*q + l - 14. Is -6 bigger than q?
False
Let v(f) be the first derivative of -f**3/3 - 13*f**2/2 + 4*f + 2. Let j be v(-9). Suppose -2*m - j = 3*m. Is -9 smaller than m?
True
Let o = 7 + -12. Let c = -1586 + 1580. Which is smaller: c or o?
c
Let j = 8651/65 + -516/13. Let q = j + -98. Let m = -71/10 - q. Which is smaller: -4 or m?
-4
Let b = -38/21 + 8/7. Let k = -0.13 - -19.23. Let l = k + -19. Is b greater than or equal to l?
False
Suppose -3*h = -5*t - 4*h + 310, 3*t - 209 = 4*h. Which is smaller: 0.7 or t?
0.7
Let n = 40 + -102. Is -62 >= n?
True
Suppose 5*o = 5*d + 55, 5*d - 9 + 36 = o. Which is bigger: 25 or o?
25
Let c = -30 - -202. Do c and 172 have different values?
False
Let s = -21 - -24. Let g be 20 + (12/(-18))/((-2)/s). Are 20 and g nonequal?
True
Let i = -4 - -7. Suppose -y + n = 2*y - 15, -3*n = 0. Suppose 4 = 4*s - 2*s + 4*o, s - 2 = -y*o. Which is greater: s or i?
i
Let k(r) be the third derivative of -r**5/60 - 11*r**4/12 - 5*r**3/6 - 22*r**2. Let x be k(-22). Is x at least -6?
True
Let d be 86/(-2537)*6/(-20). Does d = 1?
False
Let z be 60/32 - 6/4. Let v = -176.2 + 176. Is v at most as big as z?
True
Let x = -9 - -9.1. Let q = 2 + x. Let l = q - 2.3. Is -4 at most l?
True
Let d be (-3)/9*-3*0. Let h be 2/(-23)*(1 - d). Suppose -2 = u - 3*u. Which is smaller: h or u?
h
Suppose 8*g - 7*g = 11. Let k = -394 + 405. Is k at least as big as g?
True
Suppose -35*y = 1188 + 387. Are -45 and y nonequal?
False
Let o = -3 - -8. Suppose 0*r = -o*r. Let g = -0.4 - -0.43. Which is smaller: r or g?
r
Let j(o) = -2*o**3 - 4*o**2 - 6*o - 3. Let g be j(-2). Suppose 607 = g*c + 13. Which is smaller: 67 or c?
c
Let q(h) = h**2 - 6*h**2 + 8*h - 9 + 6*h**2 - 4. Let a be q(-8). Which is smaller: -15 or a?
-15
Let g be 14*8/8680*(6 + -1). Which is bigger: g or 8?
8
Let f(n) = -2*n**2 + 11*n - 12. Let c be f(4). Which is smaller: -1/483 or c?
-1/483
Let z(n) = -2*n**3 + 13*n**2 - 10*n - 2. Let h be z(3). Is 38 less than h?
False
Let c = 0.01 + -45.01. Let w = 45 + c. Which is smaller: -19 or w?
-19
Let x = -29 - -25. Let c(q) = q**3 - 2*q**2 - q - 2. Let b be c(4). Let r be ((-2)/(-10))/((-2)/b). Which is smaller: r or x?
x
Let p be (-1 - 2/(-5))/((-37)/(-185)). Which is bigger: 129 or p?
129
Let c = -928 + 927. Is 8/145 >= c?
True
Let o be (-5)/(62/124*(-11 - -1)). Which is smaller: o or -2/1953?
-2/1953
Let l be (-126)/(-8) - 4/(-16). Let d be l/6*(-1*8 + 2). Which is greater: -17 or d?
d
Let a = -106.75 + 1.75. Is a at most -0.2?
True
Let c be 8/(-120)*6*5/(-2). Is c != 25/28?
True
Let c = 0.069 + 17.931. Let d = c + -17. Let q be 3/4*1/(-3). Which is smaller: q or d?
q
Let u = -143.96 - 1.04. Let j = -151 - u. Is j equal to -10?
False
Let q be (-15)/(-4) - (-17)/68. Suppose 0*m - 156 = -q*m. Which is smaller: m or 38?
38
Let u be (-114)/((-138)/24 + 7 + -2). Is -2/7 != u?
True
Suppose 2 - 11 = -3*f. Suppose p + 19 = 3*l, -16 + f = p + 3*l. Let v be 6/p - 11/(-44). Is v bigger than 1?
False
Let p = -422/1197 - -7/19. Suppose 0*g = 5*g - 25. Suppose -4*l + 2*c = 11 - 1, 0 = -4*l - g*c + 11. Is p < l?
False
Let g(d) = -8*d**2 - 57*d - 10. Let f be g(-7). Let t = 548/9 - 61. Which is greater: f or t?
t
Let w(r) = 37*r + 665. Let v be w(-18). Which is greater: v or -1/2686?
-1/2686
Let y = 51 - 50. Suppose y = 3*m - 5. Is m greater than or equal to 15/8?
True
Suppose -82 = -3*q + 5*q + u, -5*q = 5*u + 210. Is 0 at least as big as q?
True
Let g be (-1)/(-1)*(4 - 120 - 2). Let c = 90 + g. Are c and -27 nonequal?
True
Let b(r) = -r**2 - 9*r - 2. Let l be b(-9). Let g be (-1)/(-3) + l/(-3). Let d be (1 + g)*(-5)/15. Is d at most -2?
False
Let l be (3/(-9))/(2/(-126)). Let j = 4 - 0. Suppose 3*t - 4*x = -3, j*t + 5*x + l = -14. Which is greater: -4 or t?
-4
Let n = 47 - 47.075. Let u = 29.925 - n. Which is smaller: u or -0.1?
-0.1
Let r = -1 - -0.6. Let t = 4.8 - 0.8. Let h = t - 3.8. Which is greater: r or h?
h
Suppose -28*i + 30 = -33*i. Let j be i/(-23)*(-9 - -8). Is 1 less than or equal to j?
False
Suppose 4*q - 37 = 59. Let s = -25 + q. Which is bigger: 2/41 or s?
2/41
Suppose -3*y = -8*y + 2*m - 10, 4*m - 20 = -3*y. Suppose y = -3*o + 17 + 22. Let z be -5*(-1 - 14/10). Is z less than o?
True
Let w = 0.065 - 34.065. Let x = -24 - w. Let y = x - 8. Does y = 4?
False
Let j = -0.026 + -0.061. Is 0.1 at most as big as j?
False
Let v(r) = -r**3 - 7*r**2 - 7*r - 5. Let f = -7 - -9. Suppose 22 = -4*b - f. Let h be v(b). Which is bigger: 0 or h?
h
Let y be (2/(-6))/((-656)/6 + -6). Is 0 > y?
False
Let o = -0.14 + -0.54. Let b = 0.78 + o. Which is greater: 21 or b?
21
Let q = -38 - -41. Which is greater: 22 or q?
22
Let k(p) = p**2 + 15*p + 16. Let q be k(-14). Let w = q + -7. Let z be 2/w*(-80)/56. Which is smaller: 0 or z?
0
Let g = -170 + 328. Is g != 0.1?
True
Let i be (-10)/(-1)*(7 - 2). Let x be (-6507)/(-135) - ((-4)/(-3))/((-10)/6). Which is smaller: i or x?
x
Let l = -0.02 + -0.98. Let i be (-230)/40 + 3/4. Which is greater: i or l?
l
Let u be -3 + (-3 + 2)*-2. Let i be (u + (-20)/(-36))/2. Which is bigger: i or -1?
i
Let z be ((-3)/(-6))/(-1) - (-17)/34. Which is greater: -3/2030 or z?
z
Let z = -459 - 105. Is z >= -564?
True
Let t = -13 + 9. Let r = t + 15. Let s = r - 11.2. Is s at least -2?
True
Suppose -24 = s + 2*s. Let k = 9 + s. Let w(u) = 12*u - 1. Let v be w(k). Is v at least as big as 12?
False
Let w = -911/7599 + 1/447. Let s = 3.15 - 0.15. Which is smaller: s or w?
w
Let v(x) be the first derivative of x**4/4 - x**3/3 - x**2/2 - 8. Let a be v(2). Let y be -2*6/40*-2. Is a greater than or equal to y?
True
Suppose 24*o = -2962 - 2582. Which is smaller: o or -229?
o
Suppose y + 4*y - 30 = 0. Suppose -7*o - 6 = -y*o. Is -7 > o?
False
Suppose q + 121 = -12. Which is bigger: -1 or q?
-1
Let l = -0.08 - -3.78. Let s = l - 3.6. Let o = 0.05 - s. Is -2 < o?
True
Suppose -7*q + 2*p + 9 = -6*q, q + 16 = -3*p. Is q less than or equal to 1/479?
True
Let r(z) = -z**2 + 8*z + 13. Let i be r(9). Let b be 6/12*i/6. Which is smaller: b or -1?
-1
Let p = -23 + 43. Let s = 2.12 + -17.12. Let t = p + s. Which is smaller: t or 1/2?
1/2
Let k(y) = y**2 + 32*y + 52. Let w(u) = -2*u**2 - 65*u - 104. Let s(d) = 9*k(d) + 4*w(d). Let h be s(-26). Which is greater: -1/2 or h?
h
Let y = -4021/3588 - -53/52. Which is smaller: y or 1?
y
Suppose -5*b - 32 = -142. Suppose -b = 2*p + 10. Let l = 19 + p. Is l greater than or equal to 5?
False
Let w = -4.167 + 0.167. Let a = -2.8 + 1.8. Is a < w?
False
Suppose -8*i = 13*i - 378. Which is smaller: 24 or i?
i
Suppose -58*p = 58*p - 21*p - 760. Suppose -2*t - 24 = -3*w, 12 = -4*w + 5*t + 37. Is p at most w?
True
Let g = -2/47 + -37/235. Let p(b) = -4 - 2*b**2 - 5*b**2 + b**3 + 4*b**2 + b. Let j be p(3). Which is greater: g or j?
g
Let a = 28 + -19. Let t = 0.071 + -0.078. Let o = t - -0.007. Which is smaller: a or o?
o
Let f be (-3 - (-28)/20)*130/4. Is f at most as big as -44?
True
Let f = 33 - 23. Suppose -c + f = c. Suppose -77 = -c*k - 12. Which is bigger: 14