l to 54?
False
Let h be (-2 + -38)*(-6)/8. Suppose 30*n + h = 15*n. Which is smaller: -7/12 or n?
n
Let a(g) = -6*g**2 + g + 5. Let m(c) = c**2 - c - 1. Let w(z) = a(z) + 5*m(z). Let h be w(-4). Suppose -4*l = -4*y - y, 5*l - 5*y = h. Is l smaller than 1/10?
True
Let r = -0.05 + 10.05. Let h = r - 20. Which is greater: 1 or h?
1
Suppose -5*y + 3*x = -y + 23, 20 = -3*y + 5*x. Suppose 0 = 5*v + 198 + 32. Let a = v - -42. Which is smaller: a or y?
y
Let a = -22 + 21.5. Let p(d) = d**3 + 7*d**2 + 6*d - 5. Let r be p(-6). Which is smaller: a or r?
r
Suppose 0 = -2*w + 6*w + 28. Is -4 at most as big as w?
False
Let o(b) = 7 + 9*b**2 - 8 + b**3 + 29 - 7*b. Let l be o(-10). Are -5 and l equal?
False
Let n be (-24)/(-44) + 284/(-561). Which is smaller: n or -1/2?
-1/2
Let d = 1973/147 + -94/7. Is 0 >= d?
True
Let y = -75 - -29. Let b = y + 13. Let h = 32.97 + b. Which is smaller: h or 3?
h
Let k = 1144 - 1146. Is -154 at most as big as k?
True
Let r = -22372/3 + 7458. Let m = -8 - -5. Let d = -2 - m. Which is bigger: r or d?
d
Let r be (-35)/175 - (-4)/(-5). Let u be (-1)/((-2)/2) + 1. Let m be (-13)/15 - u/(-3). Does m = r?
False
Let g = 42 - 19. Let k = 0 + g. Let m = 21 - k. Is m at most 1?
True
Let f(o) = -o**2 + 6*o - 6. Let a be f(7). Suppose 2*b = 4*z + 64, 95 = -5*z + 3*b + 13. Which is greater: z or a?
a
Let n(x) = -33*x - 92. Let p be n(-7). Which is bigger: p or 138?
p
Suppose -16 = -17*v + 21*v. Let l be v + (1755/147)/3. Does l = 2/7?
False
Suppose 3*l - 100 = -2*p, -l - 4*l - 2*p = -168. Let r = l - 34. Which is bigger: r or 14?
14
Let j = 3/38 + 55/266. Suppose 0 = 2*b + 8, -2*a + b = -7*a + 1. Is a at most j?
False
Let k(v) = v**3 - 5*v**2 + 16*v + 24. Let o be k(-7). Which is smaller: o or -1?
o
Let n = -39 - -59. Let s = n + -26. Is s greater than or equal to -2/13?
False
Suppose -h - 7 = 4. Let q = h + 8. Are q and -2 unequal?
True
Let l(p) = -p**2 + 12*p - 13. Let o be l(9). Let c(g) = -g**2 + 6*g - 10. Let h be c(4). Let b be o*(-4)/(-16)*h. Do -6 and b have the same value?
False
Suppose -2*z = 5*r + 128, -4*r - 178 = -10*z + 13*z. Which is smaller: z or -55?
-55
Let a = 19.2 - 10.2. Which is bigger: 5 or a?
a
Suppose 2*o - 4*a = -22, 0 = -2*o - 0*o - a + 3. Which is smaller: o or 0.68?
o
Let q be (-18)/(-6) - (-4)/(-4). Is 12/17 at least as big as q?
False
Let r = 3 - 28.2. Let j = 27 + r. Let l = j - -0.2. Is l smaller than 3?
True
Suppose -3*g = -3*t + 9, 4*g - 2*t + 9 + 11 = 0. Which is bigger: -15 or g?
g
Let g(l) = 12*l + 108. Let t be g(-9). Does 3/4 = t?
False
Let j = -28/435 - -2/15. Suppose -2 = v + v. Is j < v?
False
Let y be (5 + -7)*(-4)/244. Suppose -2*z - 3 = z. Is y less than or equal to z?
False
Let b be -14*(0 + (-1)/2). Let p = 5842 - 17503/3. Which is bigger: b or p?
p
Let b = 24 - 7. Suppose -6*k + 7 = -b. Which is greater: k or 0?
k
Let f(c) be the second derivative of -c**3/6 + 9*c**2/2 - 35*c. Let s = 19 - 12. Let j be f(s). Do 0 and j have the same value?
False
Suppose 38*d = -1111 - 599. Which is bigger: -42 or d?
-42
Let i = 775 + -771. Which is smaller: i or 34?
i
Let b = 564 + -564.257. Is b less than 3?
True
Suppose -4*t - 2*p + 332 = 0, 0 = 5*p + 13 - 33. Let j = t - 51. Let w = j - 30. Is 1/18 at most as big as w?
False
Let a = -22.081 - -22. Let t = a - -0.061. Is t less than or equal to -1/5?
False
Suppose 43*c - 48*c - 5*i + 1980 = 0, 784 = 2*c + 4*i. Which is smaller: 403 or c?
c
Let x = 432 + -432.06. Do x and -1/4 have the same value?
False
Let b = -1510 + 1511. Which is bigger: b or 1/139?
b
Let l = 643/456 - 26/19. Is -0.1 equal to l?
False
Suppose -5*m = -2*j + 15, 4*m + 12 = 5*j - 0*j. Let v be (-4 - 3) + 1845/265. Is j not equal to v?
True
Let l = -90 + 147. Let t = l + -57.063. Is t bigger than 0?
False
Let x be 2/(-6) + (-14)/3. Let w be ((-3)/(-6))/(x/(-2)). Let s(f) = f**2 - 11*f + 18. Let c be s(9). Which is smaller: c or w?
c
Let o(d) = d**3 + 5*d**2 + d + 5. Let i(f) = -f**2 + 2*f + 3. Let g be i(4). Let s be o(g). Let p(v) = v + 2. Let b be p(-2). Is b <= s?
True
Let m(f) = -338*f**3 - f**2 - f - 1. Let i be m(-1). Let s = i + -3367/10. Let l be (3/(-5))/(18/20). Which is smaller: s or l?
l
Suppose -43 = 2*l + 15. Let y = -42 - l. Is y smaller than -12?
True
Let q = 1.2 + 36.8. Let d = q - 37. Which is smaller: d or 27/5?
d
Let b = 380 - 2656/7. Which is smaller: 2/13 or b?
2/13
Let t = -15 - -21. Let v = t - 2. Suppose -4*r = -5*m + 21, -4*r = -v*m + 3 + 17. Are m and -4/11 non-equal?
True
Let b = -0.469 - 1.901. Let g = b - -2. Let z = -0.27 - g. Is 0.01 greater than z?
False
Let m(r) = r**3 + 5*r**2 + r - 7. Let s be m(-3). Let p(q) = 2*q**2 - 16*q - 6. Let l be p(s). Which is greater: l or -5?
-5
Let g(f) = f**3 + 3*f**2 - 2*f + 4. Let w be g(-4). Let q = w - -10. Let a(m) = -m**3 + 5*m**2 + 4*m + 5. Let r be a(q). Which is greater: r or -8?
r
Let h = 1.6 - -7.4. Let s = -8.9 + h. Let m be -3 + 0 - 20/5*-2. Does s = m?
False
Suppose 3*w = 3*k - 27, w - k = 2*w + 7. Let c be (-56)/w + 1 + -3. Suppose 5*o - 14 = g, -g = o - 3*o + c. Is g < 2/9?
False
Let k be 2/((-2 - -4)/(-24)). Let t be (6/(-9))/(8/948). Let f = 54 + t. Which is smaller: k or f?
f
Let x(a) = 92*a - 1. Let n be x(6). Suppose -3*p - 3*t + 339 = 0, 5*p - t - n = t. Let w = p - 1001/9. Is w at least as big as -3?
True
Let y = 53 + -46. Suppose 0 = y*o - 5*o. Which is bigger: 3/13 or o?
3/13
Let o(j) = -14 - 7*j + j**2 - 8*j + 0*j**2 - 2*j**2. Let w be o(-14). Suppose 0 = -5*g - 0*g - 5. Are w and g nonequal?
True
Let u = 0.16 - 10.16. Let j = -10.08 - u. Let q = -153/4 - -38. Is q smaller than j?
True
Let i(o) = 6*o**2 + 8*o + 2. Let x be i(-5). Are x and 113 non-equal?
True
Let i = -22/21 - -257/231. Which is smaller: 0.1 or i?
i
Let r = 13 + -13. Suppose v + v + 16 = r. Do v and -28/3 have the same value?
False
Let b be (-51)/27 - (2 - 4). Let p = 19.4 - 19.5. Which is greater: b or p?
b
Let p = -18 - -19. Is -121 < p?
True
Let l(f) = f**2 + 11*f + 17. Let q(n) be the first derivative of 5*n**2 + n + 2. Let d be q(-1). Let v be l(d). Is v less than or equal to -1?
True
Suppose -5*z - z + 24 = 0. Let a be 72/(-301) + z*(-7)/(-98). Does a = 1?
False
Let h be 3 + -5 - (2 - -9). Let y = h + 14. Let p = -8 - -14. Which is greater: p or y?
p
Let y be -1*(32/(-80))/(8/10). Are -1/10 and y nonequal?
True
Let j(l) = 7*l**2 - 5*l - 1. Let v be (15/(-15))/(1/6). Let a(q) = -15*q**2 + 10*q + 2. Let w(m) = v*a(m) - 13*j(m). Let d be w(5). Are d and 1/5 unequal?
True
Let x(o) = -o**2 + 3*o + 4. Let n be x(3). Suppose 2 = -n*i + 2*i. Is 2/61 >= i?
True
Let r = 483 - 482.5. Let f = -0.44 + -4.96. Let p = f + 5. Which is bigger: p or r?
r
Let a = -24 + 50. Let g = a + -25. Which is bigger: 8 or g?
8
Let p(x) = x**3 - 33*x**2 + 29*x + 124. Let r be p(32). Which is smaller: r or 26?
26
Suppose -4*j = 5 - 13. Let m(z) = 3*z + 1. Let k be m(j). Let f be (12/16)/(k/(-4)). Which is bigger: 1 or f?
1
Let i = 15081/14 - 2181/2. Let k = i - -13. Which is smaller: -9 or k?
-9
Let v(i) = 67*i**2 - 57*i + 194. Let l be v(4). Are l and 1037 equal?
False
Suppose -7 = 2*l - 2*t + 5*t, 0 = 5*l - 4*t - 40. Suppose -4 = 2*s - l*w, s + 0*w = 3*w - 4. Let r be 2/10*0 - -2. Is r <= s?
True
Let z be (-8)/(-9)*9/(-228). Suppose -7*g = -4*g + 2*g. Is z smaller than g?
True
Let j = 9.84 + -90.84. Which is smaller: j or 7?
j
Let l = 0.08 - 0.08. Let x = l - -2. Suppose -5*w = 5*y - 10, 4*y + 11 = -w + 10. Which is smaller: y or x?
y
Let f be (20/(-15))/(9/(-81)). Which is greater: 14 or f?
14
Let z = 0.915 - 0.91. Let a = -0.005 - z. Is a greater than -3?
True
Let s be (-15)/4 - (-30)/(-24). Suppose 4*a - 1 + 46 = -5*r, -30 = 2*r + 4*a. Is r at least s?
True
Let x be 34/6 + -4 + 4/(-6). Is x at most as big as -4/9?
False
Let d(h) = -h**2 + h + 11. Let j be d(0). Let s = -883 + 3571/4. Are s and j equal?
False
Let i be 16/(-120) - (-64)/30. Is i > 19/9?
False
Suppose 0 = 4*y - 5*j - 44, 5*y - 10 = -5*j - 0. Let k = -12 - -5. Let c = k + y. Does -3/4 = c?
False
Let u be -3 - 110/(-36) - (-4)/24. Which is smaller: -0.05 or u?
-0.05
Let w = -160 + 160. Is 2/687 <= w?
False
Suppose -8*g + 3*k = -7*g - 8, -4*g = 4*k + 16. Is g greater than 0.027?
False
Let v = -13 - -13.8. Let q = v + -0.9. Let g = q - 0.9. Is 1 smaller than g?
False
Let y(d) = 2*d + 1. Le