*h + h. Let d = h - 19. Let w(p) = -p**2 + 9*p + 13. Let c be w(10). Which is smaller: c or d?
c
Let v be -2*(21/(-6) + 4). Let t = v - -4/3. Which is smaller: -1 or t?
-1
Suppose 0*c + c + 5*q - 126 = 0, 4*c - 5*q = 404. Suppose -6*l + 8*l = c. Which is smaller: 52 or l?
52
Suppose 0 = 4*o + 3*o + 7. Which is smaller: o or -2/439?
o
Let t = 29.88 + -30. Let x = t - 0.12. Let b = x + 0.34. Are -4 and b unequal?
True
Let j = -7.6 - -6.85. Let f = j + -8.25. Is f less than or equal to -6?
True
Let r = -17 + 15. Suppose -2*v + 1 = o + 12, 4*o + 65 = -v. Let a = o - -6. Is r smaller than a?
False
Let c be (-24385)/(-60) - (-1)/3. Let v = c + -409. Let u(i) = -2*i**2 - 1. Let j be u(-1). Are v and j non-equal?
True
Let d be ((-6)/2)/((-15)/50). Let n be ((-55)/(-11) + 10/(-3))*6. Is d not equal to n?
False
Let m(t) = t**3 + 59*t**2 + 55*t - 187. Let z be m(-58). Let w = -0.7 - -0.8. Is w <= z?
False
Let i = -1.134 - -166.134. Which is smaller: i or -0.2?
-0.2
Let f be 4 + -1 + -4 + 3/1. Suppose 3*q - 2*q = 5. Suppose -f - 3 = -q*w. Which is bigger: -3 or w?
w
Suppose -186 = 22*o + 144. Let y be ((-1)/(-2))/(1/(-30)). Let l = y - o. Is l less than 0?
False
Suppose -2*t = 4*q + 2594, 7*q - 11*q = 5*t + 2585. Which is smaller: -648 or q?
q
Let w = -1.78 - -1.68. Let s = 31 - 33.1. Is w < s?
False
Let q be 3/(-3) + (9 + 0 - 4). Suppose -13*y + 279 = -q*y. Is y smaller than 31?
False
Let a = 938 - 927. Is a > 124/11?
False
Let l = -1 + 7. Suppose -3*z + 9 = -l. Suppose -1 = z*u - 6. Is -1 smaller than u?
True
Let g(u) = -u**3 - 15*u**2 + 15*u - 17. Let y be g(-16). Let m be (-4)/4 + (-12)/(-4). Which is smaller: m or y?
y
Let b = 81/4 - 1211/60. Let r(k) = -k + 5. Let m be r(6). Which is smaller: m or b?
m
Let u be 110/2*((-84)/15 - -6). Suppose 7*x - 41 = u. Which is smaller: 6 or x?
6
Let a be (15/(-25))/((-1)/5). Suppose 5*g = -3*d - 13 - 57, -48 = a*g + 3*d. Which is smaller: g or -9?
g
Let w = -30 - -11. Let r = 16 - w. Let d be 6/(-3) + r/20. Is d <= -1?
False
Let b(p) = p**2 + p - 2. Let d be b(2). Suppose d*q = 13 + 3. Let u be (-10)/q - 6/4. Are u and 0 non-equal?
True
Suppose 9*q + 9*q = 2*q. Which is bigger: 2/1565 or q?
2/1565
Suppose -9*h - 246 = -11*h. Suppose -5*p = -h + 133. Which is bigger: p or -12/17?
-12/17
Let d be (-5)/(3 + (-9)/2). Let w = -19/12 + d. Let x be ((-2 - -1)/((-7)/(-21)))/(-1). Is w greater than x?
False
Let b(l) = l**2 + 4*l - 5. Let k(t) = t. Let m be k(-5). Let f be b(m). Suppose 3*o = -f*o. Do o and -2/5 have the same value?
False
Let u = -131123/88 - -1490. Which is smaller: 0 or u?
u
Suppose -20*q + 1872 + 8 = 0. Which is smaller: q or 100?
q
Suppose -2*i = 2*i - 48. Let g be 3/i - (-41)/(-4). Let b = -13/9 - -10/9. Is g less than b?
True
Let u = 4.42 + -4.51. Is -15 smaller than u?
True
Let v(s) = 6*s**3 - 35*s**2 - 3*s - 7. Let u be v(6). Which is smaller: u or 118/11?
118/11
Let w = -167 - -211.1. Let a = -44 + w. Is 1.7 greater than or equal to a?
True
Let g(z) = 2*z - 4 - 7 - 2 + 0. Let w be g(7). Is 7/4 at most as big as w?
False
Let o(h) = 2*h**2. Let c be o(2). Let y(a) = -a + 16. Let p be y(c). Let w be 12/3*1 - -3. Which is smaller: w or p?
w
Let j = 1705 - 148337/87. Which is smaller: 0 or j?
j
Suppose 4*l = 6 - 2. Let c be (6 + -5)/((-1)/(-8)) - 1. Are c and l non-equal?
True
Let s be (-63)/(-30) - (-6)/(-60). Suppose 0*v - s*v = -4, 5*p + 5*v = -95. Let x be -2*p/6 - 2. Is x > 3?
True
Let d(l) = l**2 + 18. Let h be d(0). Suppose 5*j + y = 85, -5 - 5 = 2*y. Are j and h unequal?
False
Suppose 0 = -21*o + 22*o + 3*y + 51, -3*o - 5*y - 161 = 0. Which is bigger: -56 or o?
-56
Let s = 33982 + -272231/8. Which is smaller: -48 or s?
-48
Let y(m) = -m**3 + 11*m**2 + 13*m - 7. Let g be y(12). Is g not equal to 2/27?
True
Let j = -13 - -2. Let w = j + 13. Which is greater: w or 3/5?
w
Let l = -57 + 46. Which is smaller: l or -34/3?
-34/3
Let z = 4 - 10. Let k be -3 - (z - 0) - 59. Let j = 283/5 + k. Which is smaller: 2 or j?
j
Suppose -18 - 6 = -6*v. Suppose 3*w + 104 = v*t + 5*w, -3*w = 3*t - 81. Let n = -149/6 + t. Is n equal to 3?
False
Let m(d) = d - 17. Let q be m(13). Let y = 9 + q. Suppose 2*x - 4 = -h, y*x = 2*x + 4*h + 28. Are x and -2 equal?
False
Let h be 0*12/120 + 2/42. Let n be 2/3*6/4. Is h != n?
True
Let j be 12/(-5)*(-80)/24. Let v(z) = z**3 - 6*z**2 - 17*z + 8. Let q be v(j). Is q less than 2?
True
Let n be 1/(-411)*(-32)/16. Which is bigger: 0 or n?
n
Let j(d) = -d + 8. Let t be j(-11). Let i = t + 9. Suppose 0 = i*a - 33*a. Are 2/57 and a nonequal?
True
Let h = -2 - -1. Let p be (2/4*(-17 - 4))/(-30). Let b = p + -3/5. Do b and h have the same value?
False
Suppose -5*o + t + 21 = 0, -7*t = 3*o - 6*t - 11. Which is greater: o or -1/8?
o
Let g = 140 - 84. Let n = 92 - g. Is 37 at least as big as n?
True
Let y be 5*1/2*2. Let b(d) = 2*d - 4. Let t = -10 + 14. Let j be b(t). Which is bigger: j or y?
y
Suppose 10*h = -10*h - 80. Let o = -6 + 11. Suppose o*z + 33 = 8. Is h bigger than z?
True
Suppose 0 = 5*p - 0 - 20. Suppose -5*b + 5*r = -61 - 74, p*b - r - 93 = 0. Suppose 5*o = -a + b, 5 + 3 = 2*o. Which is smaller: a or 0?
0
Let n(k) = -k**2 + 4. Suppose -6*l = -5*l + 1, 3*s + l = -1. Let c be n(s). Suppose -c*x + 3*f = 29, 13 = -3*x + 7*f - 3*f. Is -11 greater than x?
False
Let l(p) = -p**2 + 13*p - 14. Let k be l(12). Let h be (-1 - (-6 - k)) + 1. Suppose 2*v = -h*v + 6. Which is smaller: 0 or v?
0
Suppose 3*x - 5 = 5*d + 1, 2*x - 4 = -4*d. Let y(h) = -h**3 + 8. Let r be y(d). Let q = -6 + r. Are q and 1 nonequal?
True
Let g be -2*(79/(-238)*-6 + -2). Let u be 3/(-2) + (-6)/(-12). Which is bigger: g or u?
g
Let q be (0 - -2)*(-345)/46. Let w be 2/(2*(-2)/(-106)). Suppose 0 = n + n + 4*i + 22, 0 = -3*n + 4*i - w. Is q equal to n?
True
Suppose 0 = -3*q + 2*v + 868, 313 = 2*q - v - 266. Are 0 and q unequal?
True
Let l = 1879/4112 + -5/257. Are 0 and l non-equal?
True
Let w = 28/3 + -647/69. Which is greater: w or 1?
1
Let r(q) = -q**3 + 2*q**2 + 4*q - 2. Suppose -14 = -5*a + v, -13 = -3*a - 2*a + 2*v. Let f be r(a). Is -2/9 < f?
True
Let t be -1*10 - 0/2. Let b = 23 - -38. Let x = b + -69. Is x smaller than t?
False
Let t = -11519/17 + 678. Which is smaller: t or -1/3?
-1/3
Let i = -254 - -253. Let y be (-5 - 4)/(-3)*(0 + -2). Which is bigger: i or y?
i
Let p be (4/(-3))/(190/(-15)). Which is greater: p or 5?
5
Let x(y) = y**2 - 8*y + 8. Let k be x(6). Let w be (-4)/(-2) - 0/k. Let c be 6*((-5)/(-3) + -1). Is c smaller than w?
False
Let d = -11.44 + 11. Let u = d + -4.16. Let w = u - -6. Is w equal to 1?
False
Let u = -208 - -207. Which is greater: -1/116 or u?
-1/116
Let u = 355/12 - 117/4. Let c = -1.5 + 1.31. Let l = 0.2 + c. Do u and l have different values?
True
Let v = 0.16 + -0.12. Let a = -2.866 - 0.134. Which is bigger: a or v?
v
Let s = 0.85 - -0.07. Let x = 3.92 - 4. Let a = x - s. Which is bigger: a or 7?
7
Let i = -290461/32 - -93969495/10336. Let o = i - 288/19. Which is smaller: o or -2?
-2
Let h = -799 + 799.1. Which is smaller: h or 1232?
h
Let x = -26 - -29. Suppose f + 4 = -c - 4*c, x*c = 4*f - 7. Does f = 1?
True
Let j = -4 - -5. Let y be 605/242*(1 - 58/50). Which is greater: y or j?
j
Let o(d) = 2*d**3 + 10*d**2 - 8*d - 4. Let n be o(-5). Does 37 = n?
False
Let o = 8.536 + 0.464. Which is greater: 0.3 or o?
o
Let c = 1254 + -1110. Is c greater than or equal to 139?
True
Let t be (-2*(-44)/8)/1. Suppose 0 = 6*z - t*z - 25. Is -3 greater than z?
True
Let q = 84947/38929 + -1/3539. Let u = 14/3305 - 3361/13220. Is u less than q?
True
Let u(r) be the first derivative of -r**2/2 + 10*r - 7. Let i be u(9). Does -1/46 = i?
False
Let f = 59 + -58.934. Let p = f - 1.166. Which is bigger: 0 or p?
0
Suppose -2*h + x = -4*x + 6, 0 = -3*h - 3*x + 12. Suppose -h*v - 10 = -v. Let s be (-2)/(-4)*(-60)/v. Is 13/4 at least as big as s?
True
Let z(w) = 8*w + 4. Let m be z(-2). Let c = -70 + 57. Which is greater: c or m?
m
Let l = 2.8 - 29. Let c = l - -26. Which is smaller: 2 or c?
c
Let n = 2986 + -2999.09. Let b = -0.091 - -0.001. Let l = n - b. Which is smaller: 2/5 or l?
l
Let j(n) = -n**3 - 3*n**2 + 7*n - 18. Suppose 4*a - 11*a = 35. Let u be j(a). Suppose 4 = -5*b + b. Is u at least b?
False
Let p = 423 - 422. Which is smaller: 1/565 or p?
1/565
Suppose z + 3*r - 5*r - 8 = 0, -5*z