). Does r = h?
False
Let i = 125 + -125. Is -5/116 at least i?
False
Let w = 301 - 904/3. Which is bigger: w or 1/3?
1/3
Suppose -25*s + 17*s = -72. Let k(i) = -4*i**2 - 5*i + 5. Let x(l) = l**2 - l + 1. Let p(d) = k(d) + 5*x(d). Let m be p(s). Which is smaller: m or -16?
-16
Let j = -0.01 - 0.39. Let p = j - -0.3. Let i = -656 + 655.5. Which is greater: i or p?
p
Let y(p) = 37*p**3. Let j = 24 + -23. Let f be y(j). Which is bigger: 0 or f?
f
Let o(m) = m + 10. Suppose 0 = -3*y + 3, 5*l + 12 = 2*y - 25. Let b be o(l). Suppose b*x = -0*x - 2*w - 7, -x - 1 = w. Is -3 less than x?
False
Suppose -3*i - 3*y + 3 = 0, -16*y + 21*y - 5 = 5*i. Which is smaller: 16 or i?
i
Let i(c) = -c**2 - c + 8. Let t be i(0). Let x(u) = -u**2 + 7*u + 4. Let f be x(t). Let h be (f/(-2))/(-24 + 3). Which is bigger: 1 or h?
1
Let n = 0.037 + 132.963. Let k = -114 + n. Is k at most -0.4?
False
Let m = -65 - -32. Is -37 < m?
True
Let j = 107 + -145. Let s = -44 - j. Is -5 at least s?
True
Let k be (-1)/((-63)/(-213)) - 2/6. Let w = -11 - -8. Is w greater than k?
True
Let t(n) = 2*n - 8. Suppose 0 = 3*z - 5*z + 14. Let v be t(z). Let r be ((-15)/10)/(v/40). Is r > -10?
False
Let h(f) = -2*f - 27. Let i be h(-8). Let x be 53/(-110) + ((-2)/i)/1. Are 0.6 and x non-equal?
True
Suppose 60*r - 7511 = 97*r. Are -1420/7 and r non-equal?
True
Suppose 4*g = 2*g + 2. Suppose -5*x = -2*k + 31, 0 = k + 3*x - 7 + 19. Let s be (-4)/2 + 14/k. Which is greater: s or g?
s
Let z = -4599/55 + 419/5. Let h = 2 + -1. Is h != z?
True
Let f = 4.97 - -0.03. Let m = 68167/126 - 541. Let q = m + -65/252. Which is bigger: q or f?
f
Let y(q) = -3*q - 3. Let j be y(-4). Let v(w) = -w**3 - 10*w**2 + 2*w + 24. Let g be v(-10). Suppose -5*k = -g*k + j. Is k at most -2?
True
Let x = -389 + 412. Is x < -13?
False
Suppose -p + 29 = -4*f - 0*p, 4*p = 20. Let x(u) = -8*u + 8. Let k(d) = -7*d + 7. Let m(h) = -6*k(h) + 5*x(h). Let a be m(-2). Is f greater than a?
False
Let b = 0.055 + 3.245. Let j = -3.3 + b. Is j at most as big as -12/7?
False
Suppose 2*a = -2*a - 56. Let u be (2 - 0)/((-7)/a). Which is smaller: u or -0.1?
-0.1
Let c = -37 - -82. Let n = c - 44. Are n and 14 unequal?
True
Let j(g) = -3*g + 2. Let s be j(-5). Suppose -85*r + 44*r = -738. Does r = s?
False
Suppose 14*z - 9*z = 20. Suppose 3*t = 4*t + z. Is -28/9 equal to t?
False
Let v be (-172536)/(-1365) + (1 - (-2)/20*-14). Suppose 0 = 4*b + 117 - 625. Is v greater than or equal to b?
False
Let j(o) = -o**3 + 4*o + 3. Let t be j(-2). Let f be (3 - 25/10)*(-2)/t. Is f at most as big as 0?
True
Let j = -9.9 - -9.9. Is -2.05 >= j?
False
Let p = -62 + 15. Let x = 45 + p. Is -1 at most x?
False
Let y be (-2)/(-6) + (-116)/15. Let p be 2 + (-1064)/105 + (-2)/(-15). Are p and y nonequal?
True
Suppose 19 - 95 = -4*f. Let g be (-2)/8 + f/(-20). Which is greater: g or -2?
g
Let y = 116 - 97.85. Let w = 1.15 - y. Is w greater than 0?
False
Let i(v) = -v**3 + 8*v**2 + v - 9. Let h be i(8). Let f = 44/13 - 1685/494. Is h less than f?
True
Let d = -0.23 + -17.77. Let u = -19 + 19.1. Is d >= u?
False
Let x = -878 + 1265. Which is smaller: x or 2/5?
2/5
Let c = 2939 - 3068.88. Let k = 130 + c. Does k = 4?
False
Let o = -7 - -13. Let g be (-1*o/(-14))/1. Which is greater: g or 2?
2
Let d be ((-12)/8 + 2)*46. Suppose 3*w - f + 11 = 0, 0 = -2*w + w - 5*f + d. Which is bigger: w or -11?
w
Let y be ((-45)/(-12))/(-15) + 3. Are y and 3 equal?
False
Let j(h) = -8*h**2 + 118*h + 9. Let y be j(13). Is 190 at most y?
True
Let u be (12/(-125))/((-15)/(-100)). Are u and -2 nonequal?
True
Let k = -0.79 - -2.49. Is k <= 0.07?
False
Suppose 5*m + 243 = 2*q - 505, 0 = 4*m + 2*q + 584. Let c be ((-32)/10 - -2)*20/m. Which is smaller: 1 or c?
c
Suppose -115 = 3*r - 5*l, 0 = -3*r + l + 6 - 101. Which is smaller: r or -7?
r
Let d = -3 - 2. Let b = -643/2 - -216. Let r = 101 + b. Which is bigger: d or r?
r
Suppose -5*o = -o - 8. Suppose 21 = 5*f + 3*z + o, 2*f + z = 7. Is f at least as big as 3/2?
True
Let g be (1 - 0) + 4/(-4). Suppose g = d - 4*d - 5*v - 10, d + 4*v = -8. Let l = 2320/7 - 2321/7. Is d >= l?
True
Suppose -20*l + 476 = -4. Which is smaller: l or -3/4?
-3/4
Let k be ((-26)/(-6) + -3)*(-6)/44. Which is smaller: k or -22?
-22
Let u = -2.86 - -1.96. Which is smaller: u or 7?
u
Let n(f) = -7*f**2 - 4*f - 3. Let h be n(-3). Is h <= -54?
True
Suppose 0 = 6*f - 2 - 70. Let c(h) = 3*h**2 - 2*h - 3. Let n be c(-2). Does n = f?
False
Let l = -458 + 454. Do -4 and l have the same value?
True
Let h(o) = -7*o + 61. Let b be h(8). Is -1/3 smaller than b?
True
Let v(w) = -6*w + w + 6 + w**2 - w + 0. Let r be v(5). Let j be ((-2)/50)/(4/10). Which is smaller: r or j?
j
Let n = 57 + -129. Let b = 71.9 + n. Which is greater: b or -0.15?
b
Let n(g) = -g**3 + 9*g**2 - 11*g + 24. Let d be (0 - 6/(-45)) + (-236)/(-30). Let r be n(d). Which is smaller: -18 or r?
-18
Let t = 26.046 + -0.046. Let g = 503 + -482. Let o = g - t. Which is smaller: 2 or o?
o
Let f(g) = 3*g + 3. Let c(k) = k + 1. Let y(q) = -4*c(q) + f(q). Let a be y(-2). Let z be (-9)/3 + a/(-1). Is z greater than -1?
False
Let y(c) = -c**3 + 10*c**2 + 42*c - 40. Let x be y(13). Is -51/29 at most as big as x?
True
Let l = 27 - -2. Let q = -30.1 + l. Let i = q + 1.1. Is i < -1?
False
Suppose -x - 75 = 3*w, -37*x + 32*x = -w + 327. Which is greater: -326/5 or x?
-326/5
Let q = -20 - -27. Let f(i) = -i**2 + 8*i - 10. Let p be f(q). Which is smaller: 0 or p?
p
Suppose 11 = -k + 3*z, 13 + 0 = -3*k + 4*z. Suppose -k = 3*f - 4. Let a be 9 - 27/(648/160). Does a = f?
False
Let y = 587 + -44024/75. Let b = 17/25 - y. Let j = -4 - -2. Is b > j?
True
Let h = 76 + -68. Suppose h*q - 75 + 19 = 0. Let g be 2 - 5/((-5)/6). Is q smaller than g?
True
Suppose 0 = 10*s - 4*s - 12. Suppose 4*y = s*y - 16. Is y <= -8?
True
Let h(t) = 3*t + 73. Let z be h(-5). Is 57 less than or equal to z?
True
Let i(p) be the third derivative of -p**6/120 - p**5/60 + 381*p**3/2 + 9*p**2. Let k be i(0). Let v be (-2)/(-9) + k/324. Which is greater: 3 or v?
v
Suppose 3 - 42 = -3*z. Suppose 0 = -b + 4*a - z, 4*b - a - 24 = -4*a. Let m = -3464 + 3468. Which is smaller: m or b?
b
Let w = -51 - -301/6. Suppose 2*k + 4*a = 28, 0 = 4*k + 9*a - 4*a - 41. Suppose -2 = -5*j - k*d, -2*d + 0*d = -3*j - 12. Which is smaller: j or w?
j
Suppose -2*w - 4*p + 3*p = -2, 4*p = 2*w + 18. Let l = -34 + 2140/63. Do w and l have different values?
True
Suppose 4*h + 4 = -2*o, -3*o = 3*h - 2*o + 5. Let a = -5880.97 + 5881. Which is smaller: h or a?
h
Suppose -4*j - 76 = 4*w, -5*w + 0*w = 25. Let a be (-17 - j)*(4 - 1). Is a equal to -7?
False
Suppose -32*x + 35*x - v + 686 = 0, -2*v = -4. Is x not equal to -228?
False
Let u = 599.9 + -600. Which is smaller: 0.0993 or u?
u
Suppose -10*o + 7*o + 120 = 0. Which is bigger: o or 42?
42
Suppose -q = -3*y - 4*q - 78, -y - 2*q = 24. Is -27 at least as big as y?
True
Suppose -2*a + r = 1, -5*a = r - 5*r - 2. Suppose p + 28 = -4*x - p, 3*x + 22 = -p. Let w be x/(-28) + -4 - -3. Is a < w?
True
Let i(d) = -2*d**2 + 6*d + 57. Let f be i(-7). Which is smaller: f or -84?
-84
Suppose 4*b + 23 = 5*k - 0*k, -5*b - 3*k = 1. Let o be 20/(-46)*5/25. Which is greater: b or o?
o
Let p = -53706481233/782857765580 + 1/14989235. Let h = p + 1/2374. Let k = 1/4 + h. Which is bigger: -1 or k?
k
Let a be (90/(-135))/(-7 - -1). Which is smaller: a or 11?
a
Let j = -0.0948 - -0.08. Let x = j + 3.2048. Let b = -0.19 + x. Is -2 at least as big as b?
False
Let h be ((-3568)/22)/(7/(-1)). Let t = 166/7 - h. Are t and -0.1 non-equal?
True
Let t = -43 - -31. Let m = -15 - t. Is m at least as big as -3?
True
Suppose 2*u + 5 = -3*u. Let w = -63800381/126 - -506356. Let q = w - 26/7. Which is bigger: q or u?
q
Suppose 3*r = -z - 352, 6*r + 228 = 4*r + z. Is -116 less than r?
False
Let h be -1 + (-2 - (2 + -1)). Suppose -5*i + 2*f = 6*f - 36, -2*i + f = -4. Suppose -i*c = 3*u + 17, -2*u + 0*u = 2*c + 10. Is h < c?
True
Let a(f) = -2*f**3 + 30*f**2 - 30*f + 19. Let o be a(14). Which is smaller: o or -12?
-12
Let h(w) = -w. Let d(c) = 3*c - 3. Let b(u) = d(u) + 2*h(u). Suppose 32 = 4*n - 2*t, 2 = 2*t - 3*t. Let o be b(n). Which is greater: o or 2?
o
Suppose -14*c + 2 = 30. Is c at least as big as -88/31?
True
Let k(n) = n**3 - 5*n**2 + 2*n - 4. Let f be k(5). Are f and 2 u