 -12.271. Which is smaller: d or h?
d
Let l = -13 - -10. Let h = 4.2 - 4.17. Which is greater: h or l?
h
Let s be (-2328)/(-216) + (-2)/(-9). Suppose -s*m = -8*m. Which is bigger: m or -10/33?
m
Suppose 5*d = -3*d - 6*d. Is 2/1857 less than or equal to d?
False
Let x = 0.122 - -58.878. Let c = 54 - x. Is c at least -1?
False
Suppose 5*k = 6*k - 28. Let q = -32 + k. Are -3 and q nonequal?
True
Let k(h) = 17 + 531*h - 539*h - 2*h**2 + 3*h**2. Let i be k(5). Which is smaller: -2 or i?
-2
Let r be (-36)/(-72) + (-1)/1. Which is greater: r or 54?
54
Let q be 2/(-2 - 4) + 25/3. Suppose 0 = 3*h - 4*s + 2, -1 = 3*h - 5*h + 5*s. Let b = h + q. Which is bigger: b or 5?
b
Suppose -106*d + 16 = -102*d. Which is smaller: 19/7 or d?
19/7
Let o be (-46)/(-10) - 4/(-10). Let z be (-104)/(-20) + -2 + 8/(-40). Suppose z*c = o*b + 31, -4*c + 4*b + 15 = -3*c. Is 7 less than c?
False
Let y be (23/46)/(1/(-3314)). Is -1657 > y?
False
Let v = -95 + 39. Let i = v - -57. Which is smaller: i or -0.1?
-0.1
Let c be 8/3*6/4. Suppose -c*t + 93 = 17. Suppose t + 11 = 5*l. Is l > 6?
False
Let j = -16/39 - -1/13. Let d = 1/6 - j. Let q be 6/10 + (3 - 4). Is d at least q?
True
Let w = 28 - 10. Let f = -62.1 - -62. Is w greater than f?
True
Let x be (-2)/11 + (-17)/(-33). Are x and 0.034 nonequal?
True
Let s = 28.2 + -8.7. Let c = s - -5.5. Let o = c + -22. Which is greater: o or 4?
4
Let v = -18 + 28. Let m = v - 10.32. Let s = 0.08 - m. Is s at least 2/9?
True
Suppose 404 + 546 = -25*b. Is -37 >= b?
True
Let a(v) = v - 5. Let b(i) = 1. Let o(j) = a(j) + 2*b(j). Let t be o(4). Do 13/6 and t have the same value?
False
Let y = -178 - -1244/7. Suppose -5*d = -23 + 13. Suppose d*f - 3 = -f. Which is smaller: y or f?
y
Let y = -84 - -90. Suppose 0 = -g - 0*n - n + 2, -2*n - 8 = 0. Is y > g?
False
Suppose -5*q = -3 + 23, -5*k - 36 = 4*q. Let j = 10 + k. Let p = 7 - j. Does -2/3 = p?
False
Let j = -0.316 + 1.316. Is j not equal to -259?
True
Let a = 6 - -5. Let h = 3595/3 - 1187. Which is smaller: h or a?
a
Let n = -44.06 + 0.06. Let r = -44.2 - n. Which is greater: r or -6?
r
Let f(q) = -q**3 - 14*q**2 - 13*q + 5. Let l be f(-14). Is 188 < l?
False
Let v(s) = s**3 - 6*s**2 + 9*s - 17. Let q be v(5). Let o be (-2)/(-4) + 70/(-84). Is o smaller than q?
True
Let s be (-776)/126 + 276/(-966). Is -7 > s?
False
Let i = 0.081 - 0.162. Let l = -21.081 - i. Which is greater: -0.2 or l?
-0.2
Let b(t) = 2*t**3 + 26*t**2 - 19. Let s be b(-13). Which is smaller: s or -17?
s
Let q(g) = 46*g**3 - 2*g**2 + 10*g - 5. Let a be q(2). Are 0 and a equal?
False
Let i be (-3 + 8 - 0) + -7. Which is smaller: -0.135 or i?
i
Let b = 1146 + -1146. Which is smaller: 23/87 or b?
b
Let u = -304 + 75. Do u and 0 have different values?
True
Let y = -277/530 - -6/265. Is y >= -90?
True
Let y(r) = -27*r - 2*r**2 - r**3 + 2*r**3 + 3*r**2 + 28*r + 4. Let s be y(-2). Let f(j) = -j**3 - 6*j**2 + 7*j + 4. Let n be f(-7). Which is smaller: n or s?
s
Let d = 18979 - 4915521/259. Let n = -23152/2331 + d. Let i = n - -10. Which is smaller: -1 or i?
-1
Let h be 9/2*(24 + -2). Suppose 2*p + 4*q = 224, 193*q = 195*q - 14. Is h less than p?
False
Let m = 35 - 38. Let y(v) = -v**2 - 6*v - 7. Let r be y(m). Which is greater: r or 0?
r
Suppose 167 = 71*g - 2389. Which is greater: -0.13 or g?
g
Suppose 4*d + 5*t + 25 = 0, -3*t - 15 = -0*d - 4*d. Suppose b - 4*o - 4 = 4, -4*b - 2*o - 22 = d. Suppose 2*p = -5*a - 5, -4*a - 7 = 2*p - 1. Is b less than a?
True
Suppose -108*q + 109*q = 161. Is 161 > q?
False
Suppose 0 = 4*s - 120 + 16. Let v = 14 - s. Which is greater: -4 or v?
-4
Suppose -156 + 90 = -2*v. Which is greater: 34 or v?
34
Let b = 7 + -2. Let q = -27 + 27.067. Let t = 0.033 + q. Is t >= b?
False
Let s be (5*(48 - 2))/(-4 - -2). Which is bigger: s or 2?
2
Suppose 9*c - 15 = -6*c. Are c and -1/110 unequal?
True
Suppose -12 = -13*m + 9*m. Let f(t) = -t**3 + 5*t**2 - 5*t + 1. Let g be f(m). Which is smaller: 5 or g?
g
Let t = 0.0829 - 0.0829. Do t and 1/73 have the same value?
False
Let z(t) = t**2 + 11*t - 10. Let i be z(-12). Suppose -i = -0*s + 2*s. Let w be (-92)/30 - (-1 - 2). Which is bigger: w or s?
w
Let u = -950 + -429. Is -1379 at least as big as u?
True
Suppose 4*n = 17 - 1. Suppose -19 = n*s - 5*s. Suppose -s = -6*l + 5. Are 3 and l nonequal?
True
Let x = -4 - -8. Let r be x/6 - (-172)/3. Suppose -r = 2*k - 4. Which is greater: -26 or k?
-26
Let q = -66/3755 - -48328/2835025. Is 0 > q?
True
Let a(r) = -5*r**2 - 35*r + 261. Let h be a(6). Is -132 greater than or equal to h?
False
Let b = 10 - 8. Suppose -b*k - 4*h = 8, 44 = 4*k - 0*k - 4*h. Suppose -4*d + 10 = -k. Which is smaller: 3 or d?
3
Let z(x) = -5 - 7 + x + 4 + 0*x. Let i(n) = -2*n. Let s be i(-3). Let l be z(s). Which is smaller: -8/11 or l?
l
Suppose 6*o + 4*v = 7*o + 12, -3*o + 2*v = -14. Suppose z + p - 2 = 0, o - 4 = 5*z + 2*p. Do z and 5/8 have the same value?
False
Let z = 7327.8 + -7329. Let q be -4 + 1 + 1 + 2. Is z at least as big as q?
False
Let r be (-70)/(-22) + 2/(-11) + -1. Suppose -4*y + 28 = 4*m, 3*m + r*m - 15 = 0. Suppose -2*c = d - 5, 5*d + c - 14 = 2*c. Is y at most d?
False
Suppose 2*r - 5*l - 2 = -0, 3*r - 3 = -3*l. Suppose -5*q - 180 = -5*f, 3*f - f - q = 71. Which is bigger: r or f?
f
Let t(v) be the second derivative of v**5/20 - v**4/2 - 5*v**3/3 + 9*v**2/2 + 20*v. Let k be t(7). Is -10 > k?
True
Suppose -5*p + 4*t - 11 = 0, 0 = 6*p - 4*p + t - 6. Are -1/183 and p nonequal?
True
Let y(n) = n**3 - 13*n**2 - 56*n + 23. Let t be y(17). Is t < 223?
False
Suppose -n + 2 = 0, -5*n + 146 = -4*k + 12. Do -63/2 and k have different values?
True
Let s = 0.08 - -0.22. Let g = 0.5 - s. Let p = -0.13 + g. Is p smaller than -1/4?
False
Suppose -4*m - 2*w - 169 = 143, 229 = -3*m - 4*w. Let k = m - -80. Which is smaller: -4 or k?
-4
Let i(a) = -a**2 + 6*a - 6. Let f(t) = t**2 + 4*t - 16. Let h be f(-8). Let r = h - 12. Let g be i(r). Is g greater than 2?
False
Let z(h) = 9*h + 180. Let p be z(-29). Which is smaller: -69 or p?
p
Let m be 4*(8/(-4) + 3). Let y be m*(12/(-8) + 1). Suppose -2*g + 3 = 3*l, -5 = -g - l - 4*l. Is y != g?
True
Let b be 118/16 - 12/6. Are b and 4 unequal?
True
Let p be -1 - (-2)/6 - 94/(-138). Is p less than 1?
True
Let j = 190 - 1328/7. Let v = -29.24 - -29. Let c = v + -0.16. Which is smaller: c or j?
c
Let r = -685 + 3429/5. Is r greater than or equal to -6/5?
True
Suppose -10*m - 39 = -7*m. Let f = m + 4. Do f and -8 have the same value?
False
Let x = -18 - -17. Let f = 5.8 + -0.8. Let d = -6 + f. Is x equal to d?
True
Let c = -177 - -301. Is 124 at most c?
True
Let p = 0.74 - -2.244. Let v = p + 0.016. Are v and -1/3 non-equal?
True
Let i be (-4 + (-26)/(-4))*258/(-5). Are -129 and i non-equal?
False
Let z = 88 - 67.91. Let t = z - 20. Suppose -5*x - 4*c = 8, 5*x = 3*c - c + 4. Is x at least as big as t?
False
Let c(t) = -t**3 - 12*t**2 + 13*t + 5. Let u be (-276)/21 + 3/21. Let l be c(u). Let o = l + -7. Is o greater than -1/2?
False
Suppose -49*y = 325 + 410. Is y equal to -14?
False
Let t(o) = -35*o + 351. Let l be t(10). Is 2/143 at least as big as l?
False
Let n(x) = -2*x**2 + 1. Let o be n(-1). Let t be 5 + -2 - (9 + -4). Let q be (1/t)/((-5)/(-10)). Is o greater than or equal to q?
True
Let m = -3.45 - -3.35. Which is smaller: m or 3/8?
m
Let b(r) = -r + 1. Let i be b(1). Suppose -4*t + 8*t + 28 = i. Let v be -10 - t - (-3 - 0). Is -2/25 bigger than v?
False
Suppose -4*j - 5*t + 3133 = 0, -3*j = -j - t - 1577. Which is smaller: j or 788?
j
Let n = -13 + 12. Suppose 4*v + 54 = -2*h, -25 = 2*v + 5*h + 22. Let x = 65/6 + v. Is n at least x?
False
Let w = 21/233 + -2327/30989. Is -1 smaller than w?
True
Let c = 30.48 + -30. Let v = -0.12 - c. Let a = v - -0.7. Which is greater: a or -18?
a
Suppose 3*w + 30 = -2*w. Let s(t) = 3*t + 14. Let m be s(w). Let k = 2 + -6. Is m bigger than k?
False
Let y be (-2 - -5)*2/(-3). Let k = 2 - y. Suppose -3*w - w - k = 0. Which is greater: -1/13 or w?
-1/13
Let i = -968 - -33878/35. Let d = -5 - -2. Let j(q) = -q - 2. Let c be j(d). Is c not equal to i?
True
Let y = -468 + 474. Is y at most -0.01?
False
Let p = 14.79 + 2.21. Let i = -17.97 + -0.03. Let j = i + p. Are j and 0.1 equal?
False
Let s be 22/6 - 1/(-3). Let n = 1387 + -1382. Is n <= s?
False
Let r = 12 + -5. Let n =