 + 4 - 1. Let s be ((-6)/(-5))/(z/(-10)). Suppose s*g + 0*g = 12, -5*g + 11 = -2*d. Which is smaller: 1 or d?
1
Suppose 2*c - 6 = 0, c + 20 = 4*d + 5*c. Let k be 4/(64/12)*72/3. Let b(v) = -v**3 + 17*v**2 + 20*v - 34. Let g be b(k). Is d > g?
False
Let i(v) = -7*v**3 + 31*v**2 - 55*v + 3. Let y(a) = -3*a**3 + 15*a**2 - 28*a + 2. Let w(f) = 2*i(f) - 5*y(f). Let n be w(10). Are -9 and n equal?
False
Let v(h) = -2*h - 4. Let o be v(0). Let c be (-24)/(-261)*(-3)/o. Which is smaller: c or -1?
-1
Suppose 0 = -0*v - 11*v + 154. Is 16 > v?
True
Let n = 9 + -8.79. Let s = n - 2.21. Let q = 1.3 - 1.5. Which is greater: s or q?
q
Let z(m) = -m**3 - 44*m**2 - 44*m - 42. Let y be z(-43). Which is bigger: y or -358?
y
Let p be ((-55)/(-275))/(1/16). Let a = 2 + -1. Which is smaller: p or a?
a
Let o = -2945 - -1638. Let x = o + 283617/217. Is -1 <= x?
True
Let k = 13.49 - -2.41. Let o = k + -16. Let r = 9/7 + -67/63. Which is smaller: r or o?
o
Suppose -d + 3*r = 29, 0 = -5*d + 7*r - 3*r - 167. Let z = -36 - d. Which is greater: z or -7?
z
Let x(z) = -z**3 + 6*z**2 + 6*z + 8. Let o be x(7). Let b be (-24)/1248*1*6. Which is smaller: b or o?
b
Let v be 52/27 + (-2)/4*4. Is v less than 1?
True
Let w be 252/(-8) + (-2)/(-4). Let p = -157 - -193. Let l = w + p. Which is smaller: 4 or l?
4
Let s be 17 + (54/24)/3*-8. Let r be (-126)/(-12) - (-2)/4. Are s and r non-equal?
False
Let q be (-2)/(-14) - 15326/121541. Which is smaller: q or -1?
-1
Let y(s) = -s**3 + 13*s**2 + 2*s - 26. Let m be y(13). Suppose m = -g - 21 + 22. Is g < 1/5?
False
Let v be 11 - (8 - (-22)/11). Is v at most -3/251?
False
Let h be 87 - (1 + (-2 - 2)). Let b = h + -632/7. Which is smaller: b or -13?
-13
Let h(b) be the first derivative of b**4/4 + 11*b**3/3 + 8*b**2 - 5*b - 6. Let f be h(-9). Are f and 12 equal?
False
Let j be (-6)/20 - ((-65)/(-10) + -6). Suppose -6 = 2*r - 3*r - 4*p, 0 = 5*p + 15. Let m be (-30)/r + (-2)/(-3). Which is smaller: j or m?
m
Let d(q) = -q**2 - 11*q - 4. Let g be d(-10). Suppose -2*x = -g + 8. Which is bigger: -9 or x?
x
Suppose 12*o - 10*o = -4. Let f(d) = -d**2 - 15*d - 10. Let g be f(-14). Suppose -1 - 7 = -g*v. Do v and o have different values?
True
Let g = -2744 - -2743.9. Let p = -0.04 - -0.64. Is p less than g?
False
Let i(r) = -r**2 + r + 2. Let q be i(2). Let k be -3 - -2 - (-3 + -1). Let v be q - k/(-15)*-2. Which is bigger: v or 0?
0
Let z = 8229.044 + -8250. Let s = z - 0.044. Let a = -20.92 - s. Is a != 2?
True
Let u = -371 + 371.09. Which is bigger: 0 or u?
u
Let h = -685 + 549. Is h less than or equal to -137?
False
Suppose -13*h = -17*h. Let g = 52444606/275 - 190708. Let t = -4/25 - g. Which is greater: h or t?
t
Let s = 24 + -21. Let q(d) = d**2 + d - 4. Let j be q(-3). Suppose -2*c + s*b - 19 = j*c, -28 = 3*c - 5*b. Which is smaller: c or 2?
c
Let y = -320 - -229. Let r be 6/(-39) + (-560)/y. Is r greater than 8?
False
Suppose -184 = -8*s + 80. Let k be s*(1/3 + (-16)/24). Which is greater: k or -12?
k
Let n = -2 + 2. Suppose 0*b = 5*b. Let m be -2 - (-9 - (0 + b)). Which is smaller: m or n?
n
Let v = -1740 - -1747. Is 115/17 smaller than v?
True
Suppose 0 = 14*y - 11*y - 9. Let c be y/(-15) - (4 + -7)/(-15). Which is smaller: -8 or c?
-8
Let p = -0.05 - -0.25. Let k = p - 0.48. Let y = k + 0.08. Is y at least as big as 6?
False
Let g = 1.59 + 0.41. Suppose -5*p - 6 = -7*p. Let s be p/9 - (-15)/(-27). Is g at least s?
True
Suppose 0 = b - 2*b - 233 + 232. Let z = -66/23 + 381/253. Are b and z nonequal?
True
Let v be ((-2)/(-695))/(2000/(-625)). Does v = -1?
False
Let j = 187 - 214. Suppose -9 = 5*k + 3*s, 2*s + 11 - 5 = 5*k. Suppose 5*w + 81 + 49 = k. Is j >= w?
False
Let f = -18 - -41. Suppose -240 = -19*d + f*d. Let h be d/(-135) + 4/18. Which is greater: h or -8?
h
Let t be (-330 + -3)*18/(-27). Is t at most 222?
True
Let h = 290 + -298. Is -6 != h?
True
Let v = -1118 + 317. Which is smaller: v or 1?
v
Let z = 2 + -1. Let y = -0.83 - -0.54. Let t = y - -7.29. Is z smaller than t?
True
Let t(b) = -b - 8. Let n be t(0). Let l be ((-2596)/n - -1)*-2. Let x be (-12)/(-21) + 414/l. Which is smaller: 1 or x?
x
Let u(a) = 9*a + 1. Let s be u(-1). Let h(r) = -r**2 - 9*r - 7. Let l be h(s). Suppose 10*i + 5*i - 15 = 0. Is l at most i?
True
Let x be -2*4/120*5. Let v = 8 + -7. Are v and x non-equal?
True
Let s be (-7)/21 - (-1)/(-12)*59. Let d = 3/2 + s. Which is smaller: -1/2 or d?
d
Let v(x) = -x - 1. Let j be v(-4). Suppose 2*l - 6*w + 98 = -10*w, -j*l = -2*w + 107. Is l greater than or equal to -37?
False
Let a = -93 - -89.8. Let u = a + 4.2. Is u greater than -0.15?
True
Let r = -9 + 15. Let s(a) = a**2 - 6*a - 2. Let q be s(r). Let x be (1/2)/(q/(-20)). Which is smaller: x or 4?
4
Let y(s) = -s**3 + 7*s**2 + 7*s + 7. Let r be y(8). Suppose 0*m - 5*m + 2*c - 4 = 0, 5*c = m + 10. Let g be -6 + 8 + m + -2. Are g and r nonequal?
True
Let r = 1.7 - -6.3. Let j = 4.6 + 2.4. Let y = 8 - j. Is r less than or equal to y?
False
Let r = 296 - 299. Which is bigger: 9/4 or r?
9/4
Suppose 5*b = 3*j - 5, 0 = 6*b - 2*b - 5*j + 17. Suppose 4*t = 4*x + 24, -3*t + b*x + 0 = -21. Let w be (-16)/((-8)/(-2)) + 13. Is w < t?
False
Let z be 40/7 + 2/7. Let k be (-4 + 10/3)*z. Which is bigger: -5/2 or k?
-5/2
Let a(m) = m**3 + 6*m**2 - 19*m - 8. Let n be a(-8). Is n at least 17?
False
Let o be 1/(-3)*(-1161)/(-18). Let t = -221/10 - o. Suppose -b - b = 0. Is t less than b?
True
Let r = 8 + -2. Let l(z) = 2*z - 14. Let n be l(r). Let k be 2 + (2/2 - n). Are -1/4 and k non-equal?
True
Let u = -2190 + 597872/273. Which is smaller: u or -1?
-1
Suppose 3*p + 175 + 203 = 0. Let v = 219760/7 - 31268. Let i = v + p. Are i and 1 nonequal?
True
Let b = -4 - -12. Suppose 0 = 9*f - b*f. Let d be 1/((-15)/3) + f. Which is smaller: d or -1?
-1
Suppose -5*p - 38 = -13, -i = -5*p - 27. Which is greater: 8/5 or i?
i
Let m = 4.9 - 5. Let u be (2 + (-276)/(-24))/((-1)/(-2)). Which is bigger: m or u?
u
Let t = 0.171 - 0.11. Let v = 10.939 + t. Which is smaller: v or 4?
4
Let f = -63 - -65.3. Let x = f - 3.8. Which is greater: 2 or x?
2
Suppose -4*q - 6 = 3*j, -3*j = 4*q + j + 8. Is -1/116 bigger than q?
False
Suppose 2*t - 43 + 55 = 0. Let d be 2*6/(-8)*(-4)/t. Is -1/20 smaller than d?
False
Let d = -885 - -1332. Which is smaller: 448 or d?
d
Let t = -209915/17 - -12352. Is 3 bigger than t?
False
Let h be ((-8)/(-5))/(10/25). Suppose 3*l + x - 1 = 0, -l - 3*l + h*x = 4. Let f = 331 + -7943/24. Which is bigger: l or f?
f
Suppose -4*w = -4*z + 6 - 2, z = 2*w - 3. Let u(r) = -r**2 + 4*r + 7. Let f be u(5). Suppose -3 = 4*n + g - f, 0 = -3*n - 5*g - z. Which is smaller: -10/9 or n?
-10/9
Let m = -0.0807 + 0.0807. Let g = -15.15 + 0.15. Is m < g?
False
Let b(w) = w - 21. Let p be b(-8). Is -28 greater than p?
True
Let u be 3/(-2) - (-38)/4. Let l = 8 - u. Let x be 28/12*16/(-28). Which is bigger: l or x?
l
Let d be (2/5 + 0)*30. Let l(i) = -i**3 - 5*i**2 + 5*i + 9. Let c be l(-6). Which is bigger: c or d?
c
Let a = -20 + 86. Suppose a = i + i. Let u = -23 + i. Is 10 bigger than u?
False
Let c(x) = x**2. Let n(h) = 3*h**2 - 6*h + 4. Let f(y) = 2*c(y) - n(y). Let r be f(8). Is r equal to -21?
False
Let p be 2/(2 + 2)*256/16. Suppose 5 = 3*l + p. Which is smaller: 6/13 or l?
l
Suppose 29 + 98 = -2*f - p, -5*p = -15. Is -24 <= f?
False
Let x = -12 - 45. Let y = x + 56. Are y and 0.1 unequal?
True
Let h(a) = -a**2 - 3*a + 11. Let q be h(-5). Which is smaller: q or -9/23?
-9/23
Suppose 0 = -16*v - 31*v - 658. Is -17 at least as big as v?
False
Let w = -21 + 25. Suppose w*h + 8 = -4*n, 3*h = 3*n - 6 - 0. Which is bigger: -3 or h?
h
Suppose -4*o - 3 = -5*o, -25 = -5*t - 5*o. Suppose -3*a + 6 = 3*j, j = -t*j - a. Let c be (-2)/5 + (-3)/(-9). Which is greater: j or c?
c
Let z be 1/3 - 75/9. Let k be (-6)/z*-12*1. Let a(j) = -9*j. Let u be a(1). Is u greater than k?
False
Let h(i) = -i**3 + 6*i**2 - 6*i - 7. Let n be h(5). Suppose -11 - 10 = -a. Let x = a + -32. Is n >= x?
False
Let b be 2 - 0 - 3 - 10. Let v be -14 + (-5)/(5/(-2)). Let i = v - b. Which is smaller: -2/63 or i?
i
Let r be (-10)/8 - (-2 + 21/12). Which is bigger: r or 2/37?
2/37
Suppose -4*r - 3*b + 343 = 0, -10*b = r - 9*b - 87. Which is bigger: 81 or r?
r
Suppose -954 = 7*w + 2791. Are -535 and w non-equal?
False
Let r = -3489 + 3