= w + 11. Is d at most as big as 23?
True
Let r be ((-87)/(-81) - 1)*3/4. Is r smaller than -1?
False
Let w be (-4)/2 - (-4 + 4). Let i be ((-3)/(-5))/(w/(-30)). Which is greater: i or 31/3?
31/3
Let z = 91 - 634/7. Suppose -23*n - 2 = -25*n. Which is greater: n or z?
n
Let n = -0.9693 + -79.1607. Let f = n - -79. Let r = 0.13 + f. Is -1/2 at least r?
True
Let d(p) = -p**3 + p + 15. Suppose 2*u + 2*u - 3*n + 87 = 0, -2*u - 2*n - 26 = 0. Let k = u + 18. Let x be d(k). Which is smaller: x or 13?
13
Let l = -92 + 167. Let u = -86 + l. Is u <= -11?
True
Let b = -79 - -212. Let d = -927/7 + b. Let y = -0.1 + 1.1. Which is smaller: d or y?
d
Let g = 0.03 - -11.97. Let r = g - 24. Let f = r - -12.2. Which is smaller: f or 4/5?
f
Let k = -40 - -41. Suppose 0 = 2*m - m + k. Are 6 and m non-equal?
True
Let d be 0/(1 + (3 - 5)). Does d = -4/25?
False
Let o = -55 + 55. Suppose 5*s - 3*w - 24 = 0, -4*w = 4*s + 14 - 46. Let f(q) = q**3 - 7*q**2 + 7*q - 7. Let a be f(s). Is o >= a?
True
Let h be 165/(-22)*-2*1. Let p = 4 + -1. Suppose 3 - h = -p*f. Which is smaller: f or 1?
1
Let u = 251 - 254. Which is bigger: u or 12?
12
Let j be 10/4 + (-13289)/3562. Is j at most as big as -0.06?
True
Let f = -3 + 2.997. Let p = -0.213 - f. Let d = p - -0.01. Is -0.2 less than d?
False
Let l(u) = 9*u - 3*u + 0*u + 6 - 5*u**2 + 8*u - u**3. Let w be l(-7). Let q(g) = -g**2 + 6*g + 1. Let k be q(5). Is k less than or equal to w?
True
Let f = -1561 - -857. Which is smaller: f or -706?
-706
Let c = -535 + 23020/43. Is c at most as big as 0?
False
Let a = -682 + 3421/5. Is a less than -7?
False
Suppose 0 = 3*i + 2*i - 5, -2*i = -3*w + 574. Let b = w - 1730/9. Which is greater: 1 or b?
1
Suppose 0 = -6*x - 7 + 31. Is 5 != x?
True
Suppose 3*w + 3*a = -93, -2*a + 30 = -5*w - 160. Let b be ((-28)/w)/(-1) - -1. Let l be (-3 - -2)*2/(-2). Which is bigger: b or l?
l
Let d = -1786 - -1664. Which is greater: d or -2?
-2
Let q(n) be the second derivative of n**4/6 + n**3 - 19*n**2/2 - 6*n. Let z be q(-9). Are -1 and z nonequal?
True
Suppose 3*c = 7*c + 3*k - 1, 4*k + 4 = 0. Let q be (c + -3)/(6/1). Let w = 64 + -60. Is q > w?
False
Let v be ((-7125)/(-178))/(-19) + 2. Is 1 less than v?
False
Let c be 1 + 2/(8*(-8)/(-320)). Let k = -2 - 0. Let s(z) = -z**3 - z. Let q be s(k). Which is smaller: c or q?
q
Suppose 34*l - 17*l = 17. Which is smaller: -2/2835 or l?
-2/2835
Let g = -55 - -80. Let v = 25 - g. Is v not equal to -2/3?
True
Let c be (-3)/(-63)*(-207)/(-15). Let l = -6/7 + c. Let d = 0.13 - 0.03. Which is smaller: l or d?
l
Suppose -26 = 5*i + 4*j, 12 = -3*i + 7*i - 5*j. Let m be ((-548)/28)/((-1)/i). Let y = -39 - m. Which is greater: y or -1?
y
Suppose 3*d - 25 = o + 42, 4*d = o + 71. Is -52 at most o?
False
Suppose -18*t = -34 + 52. Is -12/67 > t?
True
Let z = 142 + 470. Let t be ((-9)/24)/(81/z). Is t >= -2?
False
Let b = -0.8 - 31.2. Let g = b + 20. Let q = -10 - g. Which is greater: 1 or q?
q
Let f = -0.05 + 0.05. Let v(g) = g + 4. Let c be v(-1). Let k be (1 - 0)/((-21)/6 + c). Is f > k?
True
Let u(w) = 2*w + 9. Let c be u(-2). Suppose 4*s + 0*s = -4*t - 4, 1 = 3*t + c*s. Is -6 at most as big as t?
True
Let p = -48 + 33. Let w = p + 23. Which is smaller: 9 or w?
w
Let c(g) = -g**3 - 3*g**2 - 2. Let m be c(-3). Let p be m/(-8) + (-6135)/12. Let r be p/28 - (-2)/8. Is -19 at least as big as r?
False
Let k = -88.5 + 61.5. Which is bigger: -3 or k?
-3
Let n = -1.37 - -1.27. Let o = 2/55 + -5/77. Which is bigger: o or n?
o
Let q be (-19)/95 - (2232/(-5))/(-8). Let w = -59 + 3. Is w at least q?
True
Suppose -l = -w + 4, w = -0*l + 5*l. Which is greater: w or 4?
w
Suppose -1711 = 3*m + 5*i, 2*i = 2*m + 3*i + 1143. Let b be 296/m + 1/(26/4). Which is bigger: b or -1?
b
Let w be (-4 - -2)*(-130)/(-20). Let o be w/(52/(-72)) - -1. Suppose 41 = 2*k - o. Is 29 bigger than k?
False
Suppose -2*h - 2*h - 20 = 0, 2*u = -h - 87. Is -40 at least as big as u?
True
Let f = -0.154 + 0.08. Are -0.1 and f equal?
False
Let z = -2/77 - -85/308. Let r be -2 - (-3 - -2)*1. Let x = -1 - r. Is z less than x?
False
Let o = -29 - -29.2. Is o greater than or equal to 88?
False
Suppose -3*b - 51 + 108 = 0. Which is bigger: -3/4 or b?
b
Let y = -0.075 + 2.575. Let r = -2.8 + y. Which is bigger: 16 or r?
16
Suppose 36*f - 42*f = 234. Is f at most -41?
False
Suppose -m + 13 + 5 = 3*l, -m - 3 = 0. Let n be l/6*(-68)/357. Suppose -22 = -2*w - 6*a + a, -2*a + 12 = 4*w. Is w not equal to n?
True
Suppose 10*r + 752 = 752. Which is greater: 36/115 or r?
36/115
Suppose -6*c + 14 + 4 = 0. Let a be 0*(6/(-4))/c. Let z = -24/25 + 26/25. Is a < z?
True
Let v = 8.68 - -2.32. Which is greater: 0.04 or v?
v
Let k = -847 + 846.5. Which is smaller: k or -4?
-4
Let a(i) = i**3 + 8*i**2 + 6*i - 6. Let w be a(-7). Let u = -9 + 11. Suppose d - 9 = -u*d. Which is greater: w or d?
d
Let n = -15.2 + 15.1. Which is smaller: 50 or n?
n
Suppose 0 = -w - 5*c + 34, 5*c + 22 = -6*w + 9*w. Is w <= -3?
False
Suppose -3*n + 2523 - 85 = -4*x, 5*x = n - 831. Let c be 8/(-52) - (-150)/n. Is c at least as big as -1?
True
Let u be 4/(-6) + (-3)/9. Suppose -979 - 1188 = -11*h. Let o = -1769/9 + h. Is o != u?
True
Suppose -2*j - 44 = -6*j. Let u be 3 + 3 + 25/5. Is u >= j?
True
Let s = 215 + -337. Let n = -106 - s. Is n less than or equal to 13?
False
Let v(h) = -h + 16. Suppose -7 = -w - 1. Let f be v(w). Let c = f - 19. Is c equal to -8?
False
Let g = 0.016 + 0.017. Let n = g - 20.033. Which is smaller: -2/3 or n?
n
Let f(n) = 2*n - 11. Let t be f(10). Let a = 7 - t. Is 0 at least a?
True
Let v(t) = t**3 - 2*t**2 - 2*t - 3. Let x(b) = 4*b**2 + 2*b + 1. Let p be x(-1). Let a be v(p). Which is bigger: a or -1?
a
Let j = -5.77 + 5.67. Is j >= -0.99?
True
Let q = -0.1 - -0.1. Let i(v) = 5*v**3 + 2*v**2 + 2*v + 4. Let w be i(-2). Let f = 734/23 + w. Is q bigger than f?
True
Suppose -r = -4*r - 5*d, 0 = -3*d. Which is smaller: -18/65 or r?
-18/65
Let g = -103 - -108. Suppose -g = 5*t, -4*j = -2*j + 3*t - 43. Is j <= 25?
True
Let m be 10/55 + (-24)/11. Let b be m/(6/(36/15)). Suppose 2*j = -3*w + 4, 8 = -3*w - 0*j + 4*j. Is w at most b?
False
Let u = 379 + -386.37. Let j = -0.37 - u. Is j bigger than 4?
True
Let y = -114 - -115.08. Let t = y - 16.08. Which is greater: 3/2 or t?
3/2
Suppose -5*d - 20 = 0, -3*t - d = -2*t + 3. Let z = 72 + -22. Suppose -3*s - z = -53. Is t at least s?
True
Let f(b) = b**3 - 44*b**2 - 9*b - 52. Let u be f(44). Is u at least as big as -447?
False
Let n be 1442/84 - 2/12. Let q = n + -11. Do q and 1 have the same value?
False
Let l = 9.8 - 9.36. Let x = 0.16 + l. Is x bigger than 0.2?
True
Let v be ((-12)/25)/((-210)/(-75)). Suppose -140*c + 144*c = 4. Is c greater than or equal to v?
True
Let j = -2557.97 - -2558. Which is smaller: j or -0.79?
-0.79
Let g = -239.064 + 239. Which is bigger: g or 10?
10
Let o be (-1)/((-2)/16) + -3. Suppose s + 1 = -1, o*n - s - 2 = 0. Suppose n*d = -4*d. Which is smaller: -1/25 or d?
-1/25
Let b = 0.0395 - 0.0725. Which is greater: b or -1/2?
b
Let n(d) = d**3 + 10*d**2 + 29*d + 27. Let h be n(-5). Is -3/14 less than or equal to h?
True
Suppose 0*h + 16 = 4*h. Suppose 6 = h*q - q. Let f be ((-2)/1)/(q*13). Which is smaller: f or 1?
f
Let z = 520 - 23404/45. Is z < 0?
True
Let s = 747 + 89. Which is greater: s or 837?
837
Let l = -0.321 - -0.121. Let k = -2 - -1.85. Which is smaller: k or l?
l
Let m(y) = -11*y**2 - 13*y - 7. Let n be m(-3). Let s = n - -67. Is -4 less than s?
True
Let w = -2168 - -8675/4. Let l = 1 + 0. Which is smaller: l or w?
w
Let n = 158.34 + -152. Let f = -6 + n. Let q = f - 0.32. Which is smaller: q or -0.3?
-0.3
Let l = 8.83 + -9. Let y = l + -5.83. Let p = y - -4. Do -5 and p have different values?
True
Suppose 78 = -5*q + 18. Suppose z - 4 = -z. Let m be 9*((-40)/12 + z). Is q equal to m?
True
Let n be 2/4 + 30/4. Suppose 0 = 5*h + 10, -3*x + 40 = -242*h + 237*h. Are n and x equal?
False
Let u = -0.28 - -0.3. Let l = u - 3.02. Let h = l - -3.1. Which is smaller: 6 or h?
h
Let p be (6/(504/35))/((-1)/(-51)). Which is smaller: p or 21?
21
Let x = 0.324 - 0.424. Let i(p) = 3*p - 2. Let a be i(4). Let g be (-3)/(-30) - (-4)/a. Is x < g?
True
Let d(i) = -i**3 + 7*i**2 - 7*i - 3. Let t be d(6). Let y = 8 - t. Does 20 = y?
False
Let g be (-5)/(-10) + 6/4. Let d(w) = 1 