+ -230. Let w = n - 93. Which is bigger: -0.2 or w?
w
Let j = -1496 - -2206. Suppose -361 = 2*t + 3*z, 8*z - 10*z - j = 4*t. Is t >= -175?
False
Let r(k) = 2*k - 3. Let z be r(-6). Let t(p) = -162 + 48 - 14*p + 0*p - 54. Let i be t(-11). Does z = i?
False
Let t = 14529 - 4859. Is t equal to -1/4?
False
Let h(y) = -y**3 + 11*y**2 - 2*y + 25. Let p be h(11). Suppose -p*v + 4*i - 59 = 0, -19 + 80 = -3*v + 2*i. Is -150/7 at most v?
True
Let h be (-2)/(-5) - 88/20. Let f be (h/6)/(-2 - (-1640)/825). Let l be (f - (-7 - -4))*1/2. Which is smaller: l or 27?
27
Let o(g) = -3*g**3 - 43*g**2 + 25*g + 105. Let p be o(-16). Which is bigger: 986 or p?
986
Suppose 4*p = 12*v - 14*v + 18, 0 = -5*v + 35. Which is smaller: -3/14242 or p?
-3/14242
Let q be -9*(-2154746)/3232152 + (0 - 7) + 1. Are q and 1 equal?
False
Let w = 1.1082 - 0.6298. Which is greater: w or 2/13?
w
Let y be ((-372)/80)/((-6)/(-1328)). Is -1029 equal to y?
False
Suppose -195*a + 210*a = -75. Let m be 16/(-1) + 12/9*3. Is a >= m?
True
Let v(m) = -m**3 + 2*m**2 - 8*m + 23. Let w be (-224)/(-32) + (-3)/((-6)/(-8)). Let o be v(w). Which is smaller: o or -9?
o
Suppose 4*b - 4*j = -1 + 9, -2*j = 2*b. Let g(r) = 3*r**2 + r - 2. Let l be g(b). Suppose -l = 4*f - f + m, -4*f - 4*m = 0. Which is smaller: -1/11 or f?
f
Let x(w) = 2*w**3 - 67*w**2 + 44*w + 110. Let m be x(32). Is m greater than or equal to -1554?
True
Let s = -27966 - -26075. Do 2 and s have different values?
True
Let b = 0.641 + -345.641. Let x = -348.2 - b. Which is bigger: 8 or x?
8
Let z(h) = 3*h**3 - 17*h**2 - 4*h + 3. Let q be (-3)/2*(-608)/114. Let i be z(q). Is i at least as big as 419?
True
Suppose 1265 = 8*n - 13431. Is n > 1837?
False
Suppose -97*t + 10*t = 67*t - 154. Let m = 2962 - 322860/109. Which is bigger: t or m?
t
Let r(y) = 50*y**3 - y**2 - 4*y - 5. Let t be r(-1). Let b = 53 + t. Do -2/645 and b have the same value?
False
Let g be 14/63 - ((-21)/9 - (-43880)/18315). Which is smaller: g or 1?
g
Let p = 868 - 867.8. Which is bigger: 274/21 or p?
274/21
Suppose -5*y = -3*h - 187, 3*h + 5*y + 77 + 60 = 0. Let b be 81/h*(-4)/3. Let k be 18/(-44)*(-4)/3. Is b < k?
False
Suppose -d - 2*n = -17, 0 = -26*d + 21*d - 3*n + 99. Suppose 7*p = -d*p. Let k = 90864/85 + -1069. Which is smaller: p or k?
k
Suppose 5*p + 2*c - 1 = 0, c = -4*p + 5*c - 16. Let l be 2220/(-75) + (-16)/(-10) + -2. Let t = -1137/38 - l. Is p greater than t?
False
Suppose -5*l = -4*n + 4725, 5*n - 2*l - 243 - 5659 = 0. Suppose -46*j + 36*j = -n. Are 118 and j non-equal?
False
Let s = 254.9 - 85.9. Let n = s + -172. Is n at least -12?
True
Suppose -2*i = 5*r - r - 12, 3 = 3*i + r. Suppose 3*a + 3*t - 1 = 2*a, 2*a + 2*t - 6 = i. Suppose 5 = -m + j, -a*j + 8 + 12 = 5*m. Which is smaller: m or 1/22?
m
Let q(a) = -a**2 - 9*a - 6. Let y = 143 + -145. Let u be q(y). Is 108/13 <= u?
False
Suppose -63*w + 157 = -158. Suppose -2*v + w*d = -393, 7*d - 9*d = 2. Is v at least as big as 192?
True
Suppose 2*y - 5*g + 0*g - 136 = 0, -3*y + 183 = 3*g. Let k be (-2058)/y - (0 + -2). Is 0.1 greater than k?
True
Suppose 0 = 4*h - 3*s - 135, -12*s + 161 = 5*h - 8*s. Which is bigger: -53 or h?
h
Let t(z) = -z**2 - 3*z + 62. Let s be t(-9). Let c be 6/4*s/(-36). Which is smaller: 66 or c?
c
Suppose -m - 1 = 2*u, 3*m = 4*u + u - 14. Let t(d) = 2*d. Let v(y) = y. Let o(j) = -4*t(j) + 7*v(j). Let s be o(-3). Which is smaller: s or u?
u
Let b be 12/(-15) - 2133/(-3160). Let s = 5.98 - 6. Is s less than or equal to b?
False
Let x = 50.16344 - 0.85644. Let y = x + 0.593. Let d = -50 + y. Is d greater than or equal to -5?
True
Suppose -44 = 2*s + 3*d - 11, 2*d - 10 = 0. Suppose -c = -3*c - 42. Is s < c?
True
Suppose 0 = 6*r - 2*r + 16. Let z be r + 26275/6270 + (-2)/11. Which is bigger: -1 or z?
z
Let d be (-69 - 14) + 2*3*1. Let p = d + 68. Is p greater than or equal to 19?
False
Let c = 91 - 91.19. Let y = c + 1.19. Which is smaller: -10 or y?
-10
Suppose -25*o + 48*o - 391 = 0. Suppose -o*c = -16*c - 19. Which is smaller: c or 15?
15
Let f be (-3)/4 + 254/488. Are 0 and f equal?
False
Let o(g) = -36*g - 80. Let m(r) = -35*r - 87. Let b(v) = -3*m(v) + 2*o(v). Let n be b(-3). Which is smaller: 38/23 or n?
38/23
Let m = 8813/741260 + -1/2851. Let w = -1/20 + m. Suppose 0 = 3*d - 2*d. Is w smaller than d?
True
Let b = -5236.8 - -5237. Is -4/443 < b?
True
Let m be ((-108)/(-5385))/((-18)/(-60)). Which is smaller: -1 or m?
-1
Let s = -77698/5 - -15540. Which is smaller: -77/80 or s?
-77/80
Let g = 41 + -44. Let i be (6/(-18)*21)/(g - -2). Which is smaller: i or 13?
i
Let r = -14 + 12.5. Let f = r + -1.5. Let j = -2312 + 2322. Are f and j unequal?
True
Let y = -49 - -14. Let o = y + -39. Let d = -70 - o. Is d not equal to 4?
False
Suppose 117 = 5*m + 47. Suppose m*l - 15*l - 8 = -4*w, l + 4*w = 8. Which is smaller: l or 1/521?
l
Suppose -702 - 30 = -3*b. Suppose -5*h + 500 = -3*h - w, h - w = 254. Which is smaller: b or h?
b
Let g = 5.1 - 5. Let n = 1.31 + -2.89. Let i = n + 1.68. Are i and g unequal?
False
Suppose -6*n - 94 + 28 = 0. Let v(b) = -26*b - 155. Let x be v(-6). Which is smaller: n or x?
n
Suppose 0 = -2*j - 18 + 22. Suppose 95 + 251 = -j*w. Is -175 less than w?
True
Let l = -1684 - -1673. Which is greater: l or 6/7?
6/7
Let q(l) be the first derivative of -2*l**2 - 24*l - 15. Let t be q(-6). Suppose 0 = -t*x + 10*x - 10. Is x equal to 1?
True
Let r = -0.9 - -1. Let w = 67.747 - 66.697. Which is greater: r or w?
w
Let q(u) be the third derivative of -u**4/8 - 13*u**3/6 - 29*u**2. Let j be q(9). Let w = 41 + j. Which is smaller: 13/7 or w?
w
Let m = -98972/13 + 7613. Suppose -4 + 20 = 4*d. Suppose -2*x + 5*n - 17 = 6, d = -x + n. Which is smaller: m or x?
m
Suppose -7*g = -2*g - 2*y - 11421, -4*y + 9148 = 4*g. Which is greater: g or 2283?
g
Let w(v) = -300*v - 447. Let o be w(0). Is o less than 0.2?
True
Let b be 76/(-12) + 1/3 + -48 + -3547. Is -7199/2 smaller than b?
False
Let f = 336.8 - -43.2. Is f at most as big as -1?
False
Suppose -133*j - 179 = -312. Is j not equal to -26/321?
True
Suppose -6*l + 5*l - s - 90 = 0, 0 = -3*l + 5*s - 230. Let c = l + 73. Is c at least -12?
True
Let k = 33 + -33.412. Let t = k - -0.052. Let m = t - -0.46. Which is greater: -4/3 or m?
m
Let y be (-35)/10*-8*(-3)/294. Let i be (-205)/15 + (-2)/(-3). Is i less than y?
True
Let l(y) = -y**2 + 15*y - 21. Let z(p) = 3*p**2 - 44*p + 63. Let j(g) = -8*l(g) - 3*z(g). Let d be j(10). Let q be (-48)/15 + 3 - d*2. Are q and -0.1 nonequal?
True
Suppose -3*m = 2*w - 94, 9*m = 5*m - 5*w + 137. Let d(y) be the third derivative of -y**6/30 + y**4/24 - y**3/3 + 23*y**2. Let j be d(-2). Are m and j equal?
True
Let s be ((8 - -2) + 4346/(-451))/(-798). Which is bigger: s or -1?
s
Suppose 0 = 318*g - 1895949 + 161577. Are g and 5455 equal?
False
Let v = -7971/56 + 1062/7. Let s(t) = -t - 7. Let x be s(-9). Suppose 0*h = -x*r + h + 21, -43 = -4*r + 3*h. Do v and r have the same value?
False
Let u(i) = i + 4. Let t be u(-5). Let y = 20 + -15. Suppose 35 = -y*c - 5*s, 5*c = 2*c - 4*s - 21. Is t <= c?
False
Let d = 2913 - 2951. Which is bigger: d or -1?
-1
Suppose 493*a - 520*a + 3672 = 0. Is a smaller than 99?
False
Let d(q) = -q + 8. Let r be d(2). Suppose -2*a + 630 = 2*a - y, 3*y = -r. Are -0.1 and a unequal?
True
Let h be (-41)/(-205)*(-10)/8 - (-20)/(-560). Which is bigger: h or 19/202?
19/202
Let p = -7361 - -7361. Which is bigger: 673/5 or p?
673/5
Let z be (1/3)/((-1)/10254*(54 - 56)). Is 1707 < z?
True
Let b(p) = -p + 4. Let s be b(0). Let i be (-166)/10*1 + (-35 - -38). Let m = -326/35 - i. Is m at most s?
False
Let a be 15/((-3000)/2710)*1. Is -14 <= a?
True
Let q = -12248/26133837 - 2/9021. Let s = q + 7128/1932299. Which is smaller: 0 or s?
0
Let c = 306 - 613/2. Suppose -7*z + 8*z = -2*x + 53, -4*z + 20 = 0. Which is smaller: c or x?
c
Let k be (-1)/(7/21) - -49. Let s = k - 37. Is 102/13 at least s?
False
Let k(z) = 12*z + 107. Let h be k(-8). Do 142/13 and h have different values?
True
Suppose 98 = 2*f - y, -5*y - 25 = -15. Let n = 91 - 44. Which is bigger: n or f?
f
Let h(i) = -i + 3. Let g be h(0). Suppose 4*n - 3*s = 5*n + 7, 5 = -g*n - s. Let t be (-45)/20*4/(-3)*-3. Is n smaller than t?
False
Let z = -139 - -970/7. Let k be (-4)/(-2) - 426/6. Let l = k - -70. Which is greater: l or z?
l
