82 + -0.052. Let r = -0.53 + o. Let w = 20.91 - 21. Is r less than w?
True
Let d = -35121654869 + 2042289108860314/58149. Let o = -6/6461 + d. Let f = o - -13/9. Which is smaller: f or 0?
f
Let h = 76133/75 - 1015. Is h > -1?
True
Suppose -5*l - 348 + 22 = 4*f, 5*f = l + 71. Let p = l - -74. Do p and 8 have the same value?
True
Let y = 1112 - 1113. Let d = 20.7 - -1.3. Let w = d - 41. Is y not equal to w?
True
Suppose 260*k - 540 = 275*k. Suppose 0 = f - 1, 5*g + 184 = -0*g + 4*f. Are g and k unequal?
False
Suppose 4*z - 5 = 5*z, -l + 77 = 3*z. Suppose 0 = 5*m - 2*r - 0*r + 172, -l = 3*m - 4*r. Is -36 < m?
False
Suppose 90*v = 105*v - 9480. Do 634 and v have the same value?
False
Let a(v) = -66*v - 375. Let z be a(-7). Is 3/2 less than or equal to z?
True
Let b = 110 - 110.48. Which is smaller: b or -4/13?
b
Suppose -4*f - 1 = -5. Let j(n) = 5*n**2 + n - 1. Let l be j(f). Suppose 2*d - 3 = 5*h, h - 2 - 2 = l*d. Is -2/35 greater than or equal to d?
True
Let l = -13 + 15. Let p(j) = j**2 - 3*j + 3. Let z be p(l). Is z <= 0?
False
Let r be 4/(-8) - (-158)/300. Let a be 12/54 - -3*42/162. Are a and r nonequal?
True
Let z(r) = -8*r + 51. Let m be z(7). Is -66/17 at least as big as m?
True
Let x be 7/(-14) - 51/18. Suppose 2*a = 5*t + a + 18, 0 = -4*t - 4*a - 24. Is t greater than x?
False
Suppose -3*n - n + 28 = 0. Suppose n = 5*r + 2*r. Let q(g) = g**3 - 6*g**2 + g - 5. Let l be q(6). Is r < l?
False
Suppose -33*n - 17*n + 3850 = 0. Suppose h = 4*f - 310, 0 = 4*f - 3*h - h - 316. Do n and f have different values?
False
Let l(y) = y + 14. Let g be l(-14). Suppose -k - 1 = q + 4, 5*k + q + 17 = g. Which is greater: k or -5?
k
Let r be 2 + ((-338900)/35)/(-5). Let q = r + -1942. Which is smaller: q or -3?
q
Suppose 0 = 3*r - 15, 12 = 2*l - l + 2*r. Let s be 205/6 + (-3)/18. Suppose 3*k - n + 28 = -3*n, l*n = -4*k - s. Is k greater than or equal to -3/5?
False
Let i(k) = -k**2 + 9*k + 10. Suppose 0 = 3*q + 2*q - 10. Let g be q - (3 - 12) - 1. Let c be i(g). Is c at most 1/8?
True
Suppose 17 = 3*r - 3*c - 25, -90 = -5*r - 5*c. Suppose 11*o - 95 = r*o. Which is smaller: -18 or o?
o
Let y = 23/20 - 7/4. Suppose -t = -5, -4*h + 3*t - 2*t = 13. Which is smaller: y or h?
h
Let q = -1419 + 1388. Let u = -118 - -273. Suppose a - u = 6*a. Is a less than or equal to q?
True
Suppose -z = 70 - 73. Let i be (-9)/(1*1/(2 - z)). Which is greater: i or 11?
11
Suppose 2*c + 6 = -i - i, 3*c - 4*i - 19 = 0. Do -14/45 and c have different values?
True
Let t(u) = u + 13. Let b be (2*1)/((-24)/156). Let c be t(b). Is c greater than or equal to 3/11?
False
Let j = -472.5 - -473. Which is smaller: j or 31?
j
Let r(g) = 13*g**3 - 2*g**2 + 3*g - 2. Let j be r(2). Let t = j - 304/3. Suppose 3*b = -3 - 0. Is b greater than t?
True
Let n be (-14)/(-6) - 18/(-27) - 2. Which is smaller: -2/45 or n?
-2/45
Let p be 5/(30/(-9))*(-784)/42. Is 30 less than or equal to p?
False
Let l(t) = 35*t - 5. Suppose 3*z = 7*z - 4*y - 20, 4*z - 2*y = 16. Let x be l(z). Let b be (12/10)/((-6)/x). Is -21 at most b?
True
Let i = -69 + 101. Let v = 5 - i. Let s be v/(-45) + 14/(-30). Which is bigger: -1 or s?
s
Let q = 3617 + -90407/25. Which is smaller: q or 2?
q
Let f = -2.08 - -0.08. Let t = 0.5 + -3.5. Is t at least as big as f?
False
Suppose 0 = 5*l - 15, -l = -3*i + 1 + 38. Suppose 2*w + 12 = 2*v, -4*w - 15 = -5*v + i. Let r = -47/99 + 4/11. Which is greater: r or w?
r
Suppose 29*o + 15 = 14*o. Which is greater: 2/91 or o?
2/91
Let h = -2 + 1. Let w(u) = u**2 - 5*u + 5. Let n = -1 + 5. Let y be w(n). Which is greater: h or y?
y
Let d = 1.149 + -1.149. Do d and 12/7 have different values?
True
Suppose -5*r - 2*n = 3*n - 55, 9 = -r + 3*n. Let s be (-3)/(-105) + r/15. Which is smaller: -0.1 or s?
-0.1
Let n(h) = 3*h**2 - 47*h + 111. Let l be n(26). Which is bigger: 916 or l?
l
Suppose 3*c + c + 4*l = 16, 2*l = 8. Let p = 22 + -20. Suppose c*m - m = -4*g - 11, g + p = m. Are g and -3 equal?
True
Let w(h) = 6*h**3 - 3*h**2 + 3*h - 3. Let g be w(2). Let v = g + -38. Let k = 224/11 + -222/11. Which is bigger: v or k?
v
Let l = -6718 + 6717.94. Let q = -0.96 - 0.14. Is q less than l?
True
Let l be ((-42)/(-9))/((-58)/(-18)). Is l at most as big as 1?
False
Let s = -47 + 51. Let z be (15/45)/(((-4)/3)/s). Is z >= -1/147?
False
Let r be (-2)/(-7)*(-498)/144*7. Is -8 <= r?
True
Let c = -28 + 28.24. Let s = 2.06 + c. Let d = s + -2.3. Which is smaller: d or 3?
d
Let f = -14.1 + 14.2. Do f and -8 have the same value?
False
Let j = -35 + 40. Let g = j - 10. Suppose 0 = -5*d + 4*d. Does d = g?
False
Let z = 52 + -29. Let d be (2/(-2) + 0)*(12 - z). Is 11 equal to d?
True
Suppose v = 5*b, -3*b + b = -v - 6. Let q = 17 + v. Suppose -19*y = -7*y - 60. Is q not equal to y?
True
Suppose 98*l = 154*l + 56. Let j be (-12)/(-3)*(-6)/(-92). Which is bigger: j or l?
j
Suppose 40 = 2*a - 6*a. Suppose 2*l - 3 = -4*n - 63, 0 = 4*l + 8. Let c = a - n. Which is smaller: c or -0.2?
-0.2
Let h(l) = 6*l**2 - 24*l + 77. Let d be h(12). Is 652 at most as big as d?
True
Let h = -45.2 - -43.33. Are h and 1 nonequal?
True
Let f be 6/(-45)*3*5. Let h be (-1)/(f/6) - -1. Suppose 5*b + 3*m + m = 52, -h*m + 4 = -b. Is b < 6?
False
Suppose -v = 2*o - 29, 3*v = 4*o - 0*v - 63. Let b be o - (-2 + 4 + 1). Suppose -4*m - 1 = -i, 3*m + b = 6*m - 5*i. Which is smaller: m or -3?
-3
Let n = 37 + -52. Let z be (-1 - n/18)*(-363)/(-55). Are z and 0 nonequal?
True
Suppose -4*a + 5*a + o = 3, -4*a + 12 = -4*o. Let j = 0.3 + -0.1. Let k = j - 0.3. Are k and a non-equal?
True
Suppose 4*k + 6 = -7*r + 9*r, k - r = -4. Which is greater: k or 1/334?
k
Let l(m) = -m**2 - 5*m - 3. Let k be l(-3). Suppose -4*x + 111 = k*h, -3 = 2*h - h. Suppose 3*f - x = -2*f. Are f and 7 nonequal?
True
Suppose -4*s - 12 = 4*r, -s - r + 1 = 2*r. Let i be (-2)/s - (-98)/(-45). Which is greater: -1 or i?
-1
Let c(n) = n**3 + 5*n**2 - 3*n - 10. Let s be c(-5). Which is smaller: 46/13 or s?
46/13
Suppose -18 = -2*r - 3*v, 3*r + 0*v + v = 20. Let m = -3 + r. Suppose -m*g = 2*s - 5, -4*g - 4*s + 8 = -0*s. Is 1/6 > g?
False
Suppose 5*k - 5*j = 30, -2*j + 2 = 3*k + 3*j. Let f = -637 - -641. Is k at most as big as f?
True
Let c(u) = 2*u**2 + 39*u + 113. Let o be c(-16). Is o bigger than -16/105?
True
Suppose -20*v + 19*v + 1 = 0. Suppose -5*p - 16 = -p + 3*j, -j - 20 = 5*p. Which is greater: v or p?
v
Suppose -4*r + 3*r - 3*r = 0. Suppose -8*f + r*f = 3*f. Is 4/33 smaller than f?
False
Let u be (-4)/(-20) - 48/(-10). Let b(h) = u*h + h + 5 - 3*h - h. Let a be b(0). Is 0 greater than a?
False
Let n(b) = -2*b - 5. Let q be n(-4). Suppose -q*x + 5*x - 2 = 0. Let s be (4 - 52/14)/x. Does s = -0.3?
False
Let p = 199 + -134. Are p and 65 nonequal?
False
Let s = 0.076 + -0.212. Are -0.3 and s unequal?
True
Suppose -4*n - 8 + 16 = 0. Let z be n/(-12)*-2 + (-4)/(-6). Which is bigger: 3/5 or z?
z
Suppose -4*o + 128 = -0. Let k = -30 + o. Let a be (0 + k)*-1 - 9. Are -11 and a nonequal?
False
Let f = 36 - 18. Let k be (f - 21)*10/18. Which is smaller: -2 or k?
-2
Let s(r) = -17*r - 135. Let b be s(-8). Is 1/13 > b?
False
Let s = 3 + -2. Let o be 6 - (12/(-122))/(20/(-1230)). Which is smaller: o or s?
o
Let p(m) = 7*m + 92. Let o be p(-12). Suppose -r = 4, 2 = 2*q + 3*r - 2. Is q not equal to o?
False
Suppose 0 = -3*n - 3. Let f = -1583/38 - -83/2. Is f at most as big as n?
False
Let j = -186 - -181. Which is greater: -2/11 or j?
-2/11
Suppose -l + 4 = -1. Suppose 3*r - l*r - 1 = -q, 25 = -5*r. Let y = 10 - 18. Which is smaller: y or q?
q
Suppose -14 = -9*k + 40. Suppose 5*o = 4*x + 22, -3*x + 4*o = 11 + 6. Let j be 1 + x - (-2 - 6). Is k less than j?
False
Suppose -236 = -2*u + 1930. Which is greater: 1084 or u?
1084
Let d(w) = -w**2 - 21*w + 65. Let n be d(-24). Suppose 0 = -4*b + p + p - 40, -52 = 3*b + 4*p. Is n bigger than b?
True
Suppose 0 = z + 3*z. Let v be (1 + 0 - z)/(-1). Let t = 83 + -911/11. Is t at least v?
True
Let t = 106 + -201. Let g = t - -92. Which is greater: -1 or g?
-1
Suppose -f + 6*f = 15, 0 = -2*h + 3*f - 85. Is h greater than or equal to -27?
False
Let l be ((-6)/(-9) - 0) + -5. Let k(b) be the third derivative of b**4/4 + 9*b**3/2 + 24*b**2. Let g be k(-5). Which is bigger: l or g?
g
Let b = 17 - 11. Let i be (b/(-12))/(5/(-16)). Which is bigger: 2 or i?
2
Let h 