*d + 23 = 2*r, 1 = d. Suppose -r = 2*l + 7. Is 2 at least as big as l?
True
Let n = 4762/651 + 4/217. Which is bigger: n or 8?
8
Let i be 0*((-6)/10 + 88/80). Which is smaller: 2/693 or i?
i
Let g(k) = -k**3 + 9*k**2 - 2*k + 40. Let p be g(8). Is p at most 85?
False
Let w = -28 - -32. Let q be 2/w - (2 + -1). Is q equal to -12?
False
Let u(a) = -a**3 - 4*a**2 + 3*a + 8. Let n be u(-5). Let o = n + -24. Let g be (-6)/(-12) - o/(-9). Does g = 2/3?
False
Suppose 0*i = -4*i - 32. Is -35/4 greater than i?
False
Let l = 4499/3 + -1499. Suppose 0 = -4*c + 2*c + 4. Suppose -c = -a + 3*a. Which is bigger: a or l?
l
Let d(f) = 4*f**3 + 3*f**2 - 5. Let z(n) = -3*n**3 - 4*n**2 + n + 6. Let u(m) = -4*d(m) - 5*z(m). Let b be u(7). Which is smaller: b or 11/4?
11/4
Let g = 5.93 - 9.93. Which is bigger: -5 or g?
g
Let d = 16 - 48. Let p = 30 + d. Is p equal to 1?
False
Let i = -193 - -159. Is i < -4?
True
Let k = -291 + 4363/15. Let u = -60 - -114. Let p = -54 + u. Which is greater: p or k?
p
Let u = -217 + 213. Let x be (u - 126/(-35))/(18/15). Let q = -122/3 + 41. Is q greater than x?
True
Let s be (-1)/(-1 - (6 - 8)). Let a(b) = b + 8. Let k be a(-10). Which is bigger: k or s?
s
Let i be (2/(-8))/(111/24). Let x be (-8)/(-6) - 7/21. Is i at most x?
True
Let x = 7 + -3. Let j be (x*(-9)/(-12))/(6/14). Is 10 at least j?
True
Let k be 4 + (-28)/(-4 + 6). Suppose 3*p - 2*p = -r - 8, -4*r = 5*p + 30. Is r less than or equal to k?
True
Let l = 30/2369 + -1850339/11845. Which is smaller: l or -156?
l
Let a(g) = g**3 + 8*g**2 + 9*g + 1. Let f be a(-6). Suppose -22*m = -f*m. Is m less than or equal to -2/33?
False
Let t(m) = -11*m - 138. Let d be t(4). Which is greater: -184 or d?
d
Let u be -6 - (2090/20)/(-19). Is -0.363 equal to u?
False
Let n be (-24)/(-108) - 3878/63. Is n bigger than -62?
True
Let d be (-4 - -10)/(-6) + (2 - 1). Is 47 less than or equal to d?
False
Let q be 24/210*3*5/33. Which is greater: q or 1?
1
Let i be (336/90 + -4)*(-9)/(-210). Is 1 greater than i?
True
Let f = 6 + -4. Suppose -f*m - 3*m - 3*p + 159 = 0, -3*m + 102 = 4*p. Let h be ((-36)/m)/((-4)/(-10)). Is h bigger than -0.2?
False
Let v = 15 + -13. Let f = 2488/7 - 354. Is v smaller than f?
False
Suppose 2*k + 4*q = k - 2, 4*k - 5 = -3*q. Suppose 2*g = -k, -2*t = -5*g - 0*g - 17. Is 6 equal to t?
True
Let g(b) = 2*b**2 - 36*b - 1. Let l be g(18). Let z = -511 - -109863/215. Is z at least l?
True
Let i = -0.4 - 9.6. Let r = i + 9. Suppose -3*a = -5*t - 35, 0 = 4*a + 2*t + 5 - 17. Which is smaller: a or r?
r
Suppose -3*u + 80 = 86. Which is bigger: u or -49/31?
-49/31
Let q be (137/1)/(-558 - 0). Let b = q + 5/18. Which is bigger: -1 or b?
b
Suppose -8 = 4*y, -5*p = -0*p - 2*y - 14. Suppose -4*u = -5*x - 210, 4*x + 177 - 9 = -p*u. Which is bigger: -2/3 or x?
-2/3
Let r = -463 - -453. Let j(o) = o - 4. Let c = -8 + 3. Let i be j(c). Does r = i?
False
Suppose -3*k + 4*l + l = -13, -k + 6 = -2*l. Let s = k - 7. Let c(h) = -h**2 - 2*h - 2. Let n be c(-4). Are s and n non-equal?
True
Let u = -37 - -52. Suppose 5*h - u = 8*h. Is h less than -6?
False
Suppose -5*x + c + 12 = -38, 2*x = 5*c + 43. Let o be -3 - -2 - -6 - 2. Suppose o*l - 42 = -5*q, 3*l + 0*l = -2*q + 33. Does x = l?
True
Suppose -f = 5*x - x, x = f - 5. Let a be (-9)/(-15) + (f - 648/(-20)). Is a at most 36?
False
Suppose 6*g + 29 = g - 3*s, 0 = -3*g - 2*s - 18. Let w = g - -4. Which is bigger: w or -2/11?
w
Suppose -12 = -2*g + 4. Let v be (g/(-48))/(2/(-3))*22. Which is smaller: 7 or v?
v
Let r = -0.0618 + -1.5382. Suppose -2*n + 12 = 2*h, 14 = 4*n - h - 0. Is n greater than or equal to r?
True
Suppose -9389 = -13*i + 1401. Does 831 = i?
False
Suppose 0 = -m + s - 3, m + 5*s + 32 = 11. Let z be ((-3)/m)/(1/16). Suppose r + 0*r + z = 0. Which is greater: -7 or r?
-7
Let o be ((-4)/5)/((54/2865)/(-9)). Let d = o + -3410/9. Which is smaller: d or 3?
3
Let a = 766481/19 + -40341. Let l = -1 + 0. Which is greater: a or l?
a
Let t = 783 + -782.92. Which is bigger: t or -11/4?
t
Suppose 32 = 19*d - 18*d. Let w = 28 - d. Which is greater: w or -3?
-3
Let i(l) = 2*l + 3. Let j be i(-2). Let b be 2 + j + 0 - (7 - 6). Is b smaller than 1/70?
True
Suppose 3*p = -0*p + 117. Suppose -99 = 3*j - 3*m, 6*j = 8*j - 5*m + 81. Let y = j + p. Which is smaller: y or 1?
1
Suppose i - 4*i + 321 = -3*v, 119 = -v - 3*i. Let k = v - -114. Is -3 at most as big as k?
True
Suppose -12 = 4*a, -4*x + 7*a = 5*a + 58. Let z be (-3)/(54/x) + 58/(-87). Is z less than 0?
False
Suppose 195 + 204 = 57*r. Which is smaller: 45/7 or r?
45/7
Let w be (-696)/(-18)*(-2)/(-12). Let o be ((-1)/(-45))/(1/(-353)). Let u = o + w. Is 0 greater than or equal to u?
True
Let r = 4 - 4. Let q = 99 - 27. Let s = q + -45. Is s less than or equal to r?
False
Let v = -3/1700 + 6809/5100. Let d(k) = k**3 + k**2 - k + 1. Let l be d(1). Is l at least as big as v?
True
Let h be -2 + (-1539)/7 + -3. Let d = -7618/35 - h. Are 8 and d non-equal?
True
Let z = -0.37 - -0.37. Let b = 10.9 - -25.1. Is z < b?
True
Let t be (4 + -5)/((-2)/8). Let m be t/(-34) - 261/(-51). Is m > 5?
False
Let i(x) = 3*x - 1. Let g be i(4). Suppose -13*p + 2*d + 32 = -8*p, 12 = -p + 5*d. Which is smaller: g or p?
p
Let h be 1224/44 - (-9)/(297/6). Let t be h*-1 - (-23 - -18). Suppose 2*d = 3*d + 23. Is t at most as big as d?
True
Let m = 543 + -2716/5. Is m > 50?
False
Suppose -3*k + 7*k = 4*a - 112, 5*k = -5*a - 90. Which is smaller: k or -18?
k
Let b be (-19)/(-44) + (-8)/32. Suppose -5*u + 28 = -2*l - l, 8 = 2*l + 2*u. Do b and l have different values?
True
Let v = -7 - -8.1. Let t = 1223/7 + -175. Is t < v?
True
Suppose 4*d = 7*d - 6. Let w be (-10 - 2)/((-3)/d). Suppose -3*t = 3*j + 12, 2*t + w - 21 = 5*j. Which is smaller: -3/5 or t?
t
Suppose 0 = t - 16 + 60. Let v be -1 + (-2)/(t/21). Is 1 less than v?
False
Let r = 923/660 - -3/44. Is r bigger than 0?
True
Let c be -2 - 1 - (-51)/19. Let w(d) = -d**3 - 5*d**2 + 15*d + 5. Let f be w(-6). Let o = f + 49. Is o less than c?
False
Let i(f) = -f**2 + 25*f + 565. Let y be i(45). Are y and -335 equal?
True
Suppose -8*y + 6 = -26. Let n be -3 + y + 3 + 534/(-129). Is 0 less than n?
False
Let c(f) = -f**2 - 10*f - 207. Let n be c(0). Which is greater: -208 or n?
n
Let q be (-12)/6 + 60/29. Let m be (7 - 6)/((-1)/(-2)). Suppose -3*y = 3*z + 12, -m*z - 11 = 3*y - 0. Which is greater: q or z?
q
Let r = -3.4 - -4. Let i be (22/10)/((-4)/(-20)). Suppose -2 = -i*z + 10*z. Is z smaller than r?
False
Let a be (-25)/50*(-2 + 5 + -1). Is -1/162 greater than a?
True
Let q = -231.2 - -231. Is -2/93 != q?
True
Let t = -281 + 290. Do t and 28/3 have different values?
True
Let n = 10012/7 + -1430. Let u = 15.8 - -0.2. Is n smaller than u?
True
Suppose 0 = 5*d + f + 15, -4*d - d + 2*f = 0. Let u be d/8 + (-57)/12. Let r(h) = h**3 + 5*h**2 + h + 5. Let q be r(u). Does q = 0?
True
Suppose 0 = -9*p + 1805 + 3217. Is p not equal to 558?
False
Let h = -274 + 264. Which is smaller: h or -0.6?
h
Let j be 4863423/(-105) - 4/14. Let u = j - -1656071/35. Let q = u + -996. Is q at most 3?
True
Let n be (-5)/70 - 417/42. Is n greater than or equal to 37?
False
Let t(r) = r**2 + 7*r - 7. Let m be t(-7). Let f = m + 31. Let d be (f/20)/(4/30). Which is greater: d or 10?
10
Suppose -5*f - 700 - 3325 = 0. Is f greater than -805?
False
Let c = 1.2 - 0.2. Let i = 20 + -37. Let s = i - -15.6. Which is greater: c or s?
c
Suppose -264*b = -275*b - 88. Suppose 9 = 3*h - 4*h. Is b at least h?
True
Let v(d) = -d**2 + 9*d + 3. Let n be v(7). Suppose -28 = 13*i - n*i. Are i and 7 unequal?
False
Suppose -5*y + 25 = 0, -15*v + 12*v + 2*y = 10. Which is smaller: -2/1985 or v?
-2/1985
Let q = 353/8 + -44. Let j = -0.023 + -2.337. Let y = 0.36 + j. Is q greater than y?
True
Let v be 2/(-3) + (-2)/(-3). Let o be (76/210)/(8/14856). Let i = o + -672. Is v <= i?
True
Let n(a) = -3*a**2 - a. Let j be n(1). Let r = -3449/42 + 467/6. Is r bigger than j?
False
Let m(q) = -q**3 + 13*q**2 - 16*q + 27. Let c be m(12). Let k(w) = 2*w - 49. Let n be k(14). Is n > c?
False
Let g(f) = -6*f**3 + 31*f**2 - f - 21. Let a be g(5). Is a != 2/3823?
True
Let q be 17/34 + (-1966)/3916. Is -1 equal to q?
False
Let s = 119 + -170. Let b = -67 - s. Is -18 >= b?
False
Let y = -9.6 - 9.4. Let c = 17.87 - -0.13. Let a = y + c. Is a gr