 -2*c + 5. Which is smaller: c or -6?
-6
Let p(m) = -m**3 + 14*m**2 + 4*m + 4. Let s be p(14). Suppose 3*b + s = -b. Which is greater: b or -16?
b
Suppose -21*h - 961 + 184 = 0. Is h <= -143/4?
True
Let h be (-152)/684*((-24)/134)/1. Is h bigger than 1?
False
Let y = 37 + -19. Let u = y + -10. Which is bigger: 10 or u?
10
Let g(l) = -382*l + 3. Let b be g(1). Is -379 < b?
False
Let k be (-3)/(-4) + (-6)/(-24). Let a(l) = 4*l**3 - l**2 + l. Let d be a(k). Suppose -3*i - 6 = -3*c, -3*i = -d*c - 8*i - 19. Which is greater: c or 0.3?
0.3
Let s = -260 - -4163/16. Which is smaller: 0.05 or s?
0.05
Let t = -264.7 - -265. Let u = 2.3 - 2.9. Which is greater: u or t?
t
Let k be -2 + 6*(-35)/56. Is k smaller than -7?
False
Let t = 42 + -43. Suppose 7 = -y - 2*z, 0 = 2*y + z - 0 + 5. Let a be -3 - (y/1 - 0). Are t and a equal?
False
Let a be 170/(-70) + 1/((-14)/8). Which is greater: a or -36/11?
a
Suppose -25 - 5 = -2*y. Let h = 25 - y. Let r = 9 - h. Which is greater: r or 5?
5
Suppose -170*s = -172*s - 20. Is -8 equal to s?
False
Suppose -8 = -31*u + 39*u. Which is smaller: u or 4/283?
u
Let d = -8 - -34. Suppose 12*h - d = 10*h. Is 13 bigger than h?
False
Let s(l) = 0 - 4 + l**3 - 7 + 1 - 12*l**2 + 12*l. Let g be s(11). Let k be g - (4/8 + 0). Which is bigger: -0.2 or k?
k
Let k(s) = 2*s**2 + 20*s - 49. Let y be k(-12). Which is greater: y or -4/83?
-4/83
Let y(h) = 13*h + 66. Let d be y(5). Which is smaller: d or 132?
d
Let t be (165 - 1) + 32 + -27. Is 170 greater than t?
True
Let t be 1 - (1 - (-12)/(-8))*-6. Let i be ((-8)/(-4))/(t/31). Is -33 greater than i?
False
Let o(r) = r + 7. Let n be o(9). Let k = -16 + n. Let h be 3/(-6)*k/2. Is -1/10 <= h?
True
Suppose 4*v + 7*w - 2*w + 4 = 0, 2*w = 0. Let c = -1/60 + -3251/60. Let x = c - -54. Which is bigger: v or x?
x
Let t(s) = s**3 + s**2 - 6*s + 6. Let j be t(1). Let d be (1 + -3)*2/(-4). Is d at most as big as j?
True
Let j = 6 - 8. Let c = 117 + -73. Let w = -134/3 + c. Is j bigger than w?
False
Suppose -2*w + 4*b = -4, b - 2 = 3*b. Which is smaller: w or -12/491?
-12/491
Let k = -132 + 159. Suppose -9*u - k = -18. Let i = -1120 + 45918/41. Is i > u?
True
Let j be (6*(-7)/(-14))/((-6)/44). Is 3 greater than j?
True
Let s = 4 - 3. Let n = 5 - 9. Is s at most n?
False
Let m be 2/6 - (-19)/15. Let s = -182.34 - -181.34. Is s greater than or equal to m?
False
Suppose 7*i = 38*i + 31. Which is bigger: i or -4/175?
-4/175
Suppose -5*d + 0*y + y = -50, -5*y - 19 = -4*d. Suppose w - 4*b = -0*w + d, -2*w - b + 4 = 0. Which is greater: 2/5 or w?
w
Let b(a) = -a - 2. Let d be b(-6). Suppose d*c = -c. Suppose 4*q - 6 - 6 = c. Are q and 2 unequal?
True
Let w(q) = q**3 - 16*q**2 + 10*q + 14. Let z be w(16). Suppose -m - z = -5*o, -4*o - 3*m = -2*m - 141. Is o > 35?
False
Suppose -2*t - 3*h - 9 = -0*h, -5*t - h = 3. Suppose 7 + t = -k. Let g = k + 5. Which is greater: -3 or g?
g
Let v = -19 + 25. Let m be -11 + v*(-2)/(-4). Which is bigger: m or -9?
m
Let a = 213 + -212. Let b = 0.1 + -3. Which is smaller: a or b?
b
Let c be (-128)/399 - (-48)/168. Which is greater: c or 0?
0
Let m = -2896/46695 - -2/1415. Suppose -f + 21 = 5*q, 3*q - 4*f - 26 = q. Suppose 0 = q*d, -z = z - d. Which is smaller: m or z?
m
Let k = -2524.1 + 2524. Which is bigger: k or -166/3?
k
Let i = -2872 + 2875. Let m be (4/6)/((-2)/3). Which is greater: m or i?
i
Let i(x) = x**3 + 6*x**2 + 12*x + 1. Let c be i(-2). Is -13 < c?
True
Let k = -1175/12 - -290/3. Which is bigger: 34 or k?
34
Suppose 4*u + 4 = 0, -120*u = 4*n - 121*u + 3911. Which is greater: -977 or n?
-977
Let s = -127 - -1395/11. Which is smaller: s or 176?
s
Let q be 18 + 4/((-12)/9). Let k be 10/q + 3 - 3. Is 0 at most k?
True
Let t be (-2)/5 - (-186)/15. Let j be (-2)/(-6) - 19/t. Let v be (-2)/14*(-137 + 137). Which is smaller: j or v?
j
Let i = 106 + -89. Which is greater: 21 or i?
21
Let n be (5/(240/(-308)))/(7/28). Which is greater: -26 or n?
n
Let k be 12 + -9 + 1*(-306)/106. Are k and 1 unequal?
True
Let t = 69 - 66. Is t bigger than 2/13?
True
Let f = -595 - -595.2. Let o = -3 - -2.9. Let q = 0.4 + o. Which is smaller: f or q?
f
Let f(v) = -v + 6. Let n be f(6). Suppose -2*y + y = 11. Let i = n - y. Do 11 and i have the same value?
True
Let o be 39/15 - (-4)/10. Let j = -6.1 - -10.4. Let y = 4.1 - j. Do o and y have different values?
True
Suppose 5*t + 10 = 5*x, -2*t + 0 = -3*x + 6. Suppose 3*h - 2*d = 4, 0 = 3*d - t*d + 6. Is 9/11 bigger than h?
True
Let k(c) = -c**3 - 6*c**2. Let m be k(-6). Suppose m = 4*d - 13 + 5. Suppose 25*q = 14*q - 11. Which is greater: q or d?
d
Suppose 4 = 4*j, 5*c + 8*j = 3*j - 620. Is c > -126?
True
Let c be 3 + (-2 - -4) - (-3 - 1). Suppose 5*h - 330 = -2*t, -4*t + c*t - 89 = -h. Is h at most 64?
True
Let y = 4/7 + -58/77. Let k = 37 + -80. Let l = 42.9 + k. Are y and l nonequal?
True
Let m = -18146/217 - -24/1085. Which is bigger: -83 or m?
-83
Let u = -5.7 - -91.7. Is u < 5?
False
Let w = 1457/56 - 207/8. Is 28 less than or equal to w?
False
Let h = 318 - 11129/35. Which is bigger: h or 1?
1
Let c be 9818569/145985 - 2/5. Let f = 1/4171 - c. Let w = f + 67. Is 1 >= w?
True
Let y be 1*-3 - (-12 + 3). Which is bigger: 7 or y?
7
Let p be (5/(90/12))/(2/(-12)). Let l be p/(-88)*-4 + 24/33. Is 0 smaller than l?
True
Let v = -80 - -44. Let t = v + 36. Which is bigger: t or 5/18?
5/18
Let a be 1/(-12)*104/78. Let w(s) = s**2 + 10*s + 14. Let t be w(-7). Are t and a equal?
False
Let k be 218/168 - 230/184. Let i be 1 + 2/(-6) + 0. Which is bigger: k or i?
i
Let x be 3516/15093 - 6/27. Are x and 1 equal?
False
Let c be 2 - (-1 - 0)*1. Suppose h - 2 + 20 = -5*l, 0 = c*h + 3*l + 30. Let w = h - -9. Is -1 at least as big as w?
False
Let n be (-2)/(-2)*-6 - -2. Let o = n + 12. Suppose o = 2*m, 49 = -2*h - h + m. Do h and -15 have different values?
False
Let a(h) = 4*h. Suppose -5*z + z = -4. Let f be a(z). Let x be (1/f)/(6/312). Does x = 13?
True
Suppose 13*c = 9*c + 4. Let x be -2*(1 - (-2)/(-4)). Let f be (c + -1)/(-3 - x). Is -6/17 equal to f?
False
Let d be -1 + 20/(-4) + 6. Which is smaller: 1/109 or d?
d
Let u = -3516 - -179317/51. Let b = -4 - -3. Which is smaller: b or u?
b
Let t = -155 - -155. Which is smaller: t or 2/557?
t
Let s(w) = 16*w + 14. Let a(r) = 9*r + 8. Let k(n) = 7*a(n) - 4*s(n). Let l = -15 + 8. Let d be k(l). Is 8 < d?
False
Let l = -0.6263 + 0.1463. Which is bigger: 1 or l?
1
Suppose 2*j - 63 + 53 = 0, 103 = -2*l + 3*j. Are l and -47 non-equal?
True
Let l = 0.1 - 0. Let j = -0.004 - -64.004. Let x = 73 - j. Are l and x equal?
False
Let y(h) = 1 + 8*h**2 + 5*h**3 - 3*h**3 - 7*h - 3*h**3. Let z be y(7). Is z not equal to -1/25?
True
Let s(h) = -11*h**2 - 4 - 5*h**3 + 3 + 6*h**3 + 0*h**3. Let d be (-2)/3 + 105/9. Let r be s(d). Is 2/15 bigger than r?
True
Let c(p) = -p**2 - 9*p + 4. Let a be c(-7). Let m = a + -17. Let o = -1 + m. Is -1/5 < o?
True
Let i = -7543 + 7551. Let a(l) be the second derivative of 4*l**3/3 + l. Let p be a(1). Does p = i?
True
Let u(s) = s**3 + 6*s**2 + 5*s - 6. Let h be u(-4). Is h less than 7?
True
Let t = -40 + 39.9. Let o = 0.2 + -0.1. Let f = o + t. Is f < 0.1?
True
Let n be (-42)/(-15) + (-2)/(-10). Suppose 0 = -n*h + 4*b + 101, h + 4*b - 12 = b. Do 29 and h have different values?
True
Let q = 64 - 61. Let y be (1/2)/(q/(-18)). Do 0 and y have the same value?
False
Let z = 9/13 + 29/52. Is z < -0.08?
False
Let q = -5.6 + 6.6. Let h = 12.6 - 14. Is h less than or equal to q?
True
Let d = -46.1 - -3.1. Let i = d - -38. Is i < 3?
True
Let w = -0.36 + 0.3. Let d = -71.2 - -71.3. Is d <= w?
False
Let a = -44 - -84. Let t be a/6*36/30. Suppose -2*z - 2*q + t = 0, 0 = 4*z - 0*q + 2*q - 14. Are 2 and z non-equal?
True
Let z be (-32)/(-406)*5 - (-15)/(-35). Let l = z + 148/87. Let m(g) = g + 1. Let x be m(1). Is x smaller than l?
False
Let o = -1.92 - -2.7. Let x = o + 0.22. Are x and -2/5 equal?
False
Let q(k) = k + 1. Let w be q(-6). Let j = -1 - w. Which is smaller: 8 or j?
j
Suppose -x + 4*s + 41 = 0, -3*x + x + 69 = 5*s. Let q = -67 + x. Let b be 4/6*q/20. Is -1 greater than b?
False
Let r = -1245 + 1296. Which is bigger: r or 40?
r
Suppose -5*c + 11 = 3*n, -4*c = -3*n + 3 - 1. Let a be n*((-4)/108)/1. Which is smaller: a or 0?
a
Suppose 4*m - 3*m + 6 = 0. Let h(n) = n**2 - 19*n - 516. Let d