 + 2). Suppose 24*a - 64 = w*a. Which is smaller: -31 or a?
a
Suppose 0 = -10*w + 3*w + 161. Let k be (w/(-2438))/((-1)/4). Let z be -1 - (1 + 0)*-2. Do k and z have different values?
True
Let h be -1*3/(-7) - 14484/(-504). Which is greater: h or 28?
h
Suppose -5*d = x - 17, 5*d - 44*x + 43*x = 23. Which is bigger: d or -9?
d
Let p be 4/(-16) - (-30)/88. Suppose 2*u = 6*u + 200. Let r = u - -51. Which is smaller: p or r?
p
Let k(b) = -9*b + 11. Let f be k(7). Let u be (f/(-5))/(4 + -2). Let o = u - 119/20. Is o less than -2?
False
Let v(f) = -f**2 - 15*f - 2. Let c be v(-15). Let g be -14 - 5/(c - 3). Which is bigger: g or -14?
g
Let i = -28 + 28.12. Let h = i - 0.02. Is 16/9 greater than h?
True
Let m = 169 + -99. Let x = m + -72. Suppose q - 4*c = -q - 6, -4*q = 4*c. Which is smaller: q or x?
x
Suppose 4*s - g = 7, 3*s - 8*s - 2*g + 25 = 0. Let z be 0 + s/(-5) + 1. Let b = 70 + -65. Which is bigger: b or z?
b
Let r(u) = u - 1. Let v be r(-1). Let j = -0.036 + -2.764. Let f = j - -2.8. Is f not equal to v?
True
Let k be (-756)/(-2457)*(-2)/(12/(-1)). Suppose 0*j - 5 = -5*j. Which is smaller: j or k?
k
Let i be (-3 - -2*12/8)*-1. Is i at least as big as -3/26?
True
Let o = -1186 - -1176.58. Are o and 1/3 nonequal?
True
Let d be (0 - 36/10)/((-1)/(-5)). Let j be (5/(-10))/1*-4. Is d smaller than j?
True
Let o(x) = -3*x**3 - 4*x**2 + 19*x + 17. Let g be o(5). Is -363 bigger than g?
False
Let o(m) = -m**2 + 7*m + 9. Let c be o(8). Let g(a) = 2*a**2 - 4*a - 2. Let p be g(5). Suppose 4*t = d - 5*d - p, 4*d = -3*t - 23. Which is greater: c or d?
c
Let b = -8 + 167/22. Let t = b - 1/11. Let j = 0.005 + 8.995. Is j <= t?
False
Suppose 124 = -2*v - 0*v. Let b = v - -489/8. Let i = 1 + b. Which is greater: 0 or i?
i
Suppose -5*k - 40 = -5*q, 7 = -5*k + 2*q - 27. Let u be (k/(-10))/(((-128)/(-10))/(-8)). Is u < -2/7?
True
Let q be -90*(-8 + (-133)/(-14)). Is q greater than or equal to -140?
True
Let y = 100 - -53. Let q = 155 - y. Is -15 greater than q?
False
Let q be ((-1)/8)/((-2)/(-96)*-6). Which is bigger: 1047 or q?
1047
Let w = -7299085/37868 + 771/4. Let o = 7706103/47335 - w. Let y = 162 - o. Is -2 < y?
True
Let w = -4 - -3. Suppose -s + 4*t - 26 - 22 = 0, 5*s + 3*t + 171 = 0. Let j be (6/s)/(2*1/(-4)). Which is bigger: j or w?
j
Suppose -492*r + 10420 = -472*r. Which is smaller: r or 1043/2?
r
Let j(m) = -m**2 - 4*m - 1. Let s be j(-3). Suppose 3*y = -5*h + 15, -s*h + 20 = 4*y + h. Let z = -11 + y. Is z equal to -6?
True
Suppose 0*i = -5*z - 3*i - 327, -4*i = z + 79. Which is greater: -56 or z?
-56
Let q be (-2)/5 + (-56)/35 + 0. Let c be (-8)/8*(q - -3). Which is smaller: -5/13 or c?
c
Suppose o + 4*c = 7*c + 8, 5*o = -4*c + 21. Let v = 25 + o. Is 30 less than v?
False
Let k = 1/80 + -889/720. Let z = k - -86/63. Which is smaller: 1 or z?
z
Let n = 3 - 22. Let u = -17 - n. Which is greater: 2/11 or u?
u
Let z = 818 + -1529. Which is smaller: -1/2 or z?
z
Let s(f) = f**3 + 16*f**2 + 16*f + 20. Let h be s(-15). Let z = -9.8 + 10. Which is smaller: h or z?
z
Let g be (1 - 1)*(-9)/(-27). Suppose -i + g + 4 = 0. Suppose i*v = v. Which is smaller: v or 5?
v
Suppose 3*x - 3*a - 2*a = -19, -4*x - 20 = -4*a. Let l(m) = m + 5. Let k be l(x). Suppose i + v + 55 = 5*i, -i = k*v - 7. Which is smaller: i or 12?
12
Let a = -7 - -4. Let c(n) = 4*n - 5. Let z be c(-5). Let l be (-1)/(z/(-55)) + -2. Which is greater: l or a?
a
Suppose 0 = -2*v + o - 7, -2*o + 10 = -3*v - 2. Let l be 5 + v - (-7)/(-3). Let j(t) = -t**2 - 5*t + 8. Let s be j(-6). Which is smaller: s or l?
l
Let a(o) = -o - 4. Let x be a(-7). Suppose -4*u = 2*i - 16, 5 = x*i - u - 5. Suppose 0 = -i*m - m + 5*k + 30, -2*m + 5*k + 27 = 0. Is m bigger than -1/10?
True
Let x(i) = -i**3 + 9*i**2 - 9*i + 12. Let f(b) = -b + 2. Let m be f(-6). Let u be x(m). Suppose -j + 20 = 4*o + j, -12 = -u*o + 2*j. Are 4 and o nonequal?
False
Suppose -2*i + i = 16. Let h = i + 18. Let y(t) = 2*t**2 - 4*t + 2. Let w be y(h). Which is greater: 3/2 or w?
w
Suppose -3*i - 2*i = 2*a - 10, -4*i + 8 = 5*a. Which is bigger: -2/29 or a?
a
Let s = -270 + 266. Suppose 0 = 5*f - b - 3, -4 = -3*f + 2*b + 2. Suppose f = -0*g - g - 3. Is s >= g?
False
Let m(j) = 7*j - 15 + 12*j + 5*j + 2*j**2 - 10. Let b be m(-13). Which is bigger: b or 1/14?
b
Let m = 203 + -174. Which is smaller: 28 or m?
28
Let z = 3 - -2. Let r = -60.2 + 60.22. Is z smaller than r?
False
Let d = -1088 - -1088.31. Which is bigger: d or 2?
2
Let d = -119 + 119. Which is smaller: d or 5/73?
d
Let x be (-3 - 5)/(-4) - -24. Let d = 11 - x. Let j(b) = b**2 - 7*b - 8. Let w be j(6). Is d less than or equal to w?
True
Suppose -4*w - 3*f = -4*f - 22, f + 10 = 2*w. Let y(x) = x**2 + 6*x - 2. Let i be y(-7). Suppose 0 = i*t - 3*n - 28 - 14, n = -5*t + 26. Is t at least w?
True
Let u(n) = -45*n + 237. Let y be u(17). Do y and -527 have the same value?
False
Suppose 3*k + 0*a + 3*a = -30, -5*k - 46 = 4*a. Let o = 25188/5 - 5044. Is o >= k?
False
Let s = 1007 - -420. Let d = s + -7171/5. Is d smaller than -8?
False
Let l = -148 - -148.1. Let o = 0.7 - 0. Which is smaller: l or o?
l
Let h be (74/4)/(138/12 - 12). Is h <= -17?
True
Suppose -6 = 4*x - 3*p, 0 = -2*x - 2*p + 6 - 2. Is x equal to 1/20?
False
Let l(g) = -10*g - g**3 + g**2 - 9 - 22*g**2 - 6*g + 4*g**2. Let d be l(-16). Let y be (d/75)/(3/(-2)). Is y at least as big as -1?
True
Let w = 8125/7 - 16680611/14371. Is w <= -1?
False
Let m(u) = u**3 + 4*u**2 - 9*u - 4. Let p be m(-6). Let g be -6*(8 - 9)/6 - 21. Is p < g?
True
Suppose -2*c - 270 = -5*n, 5*n - 2*c = -6*c + 240. Does 34 = n?
False
Let w be (5 - 3 - 3)/((-1)/2). Suppose 0 = w*b + 11*b. Is b not equal to -2?
True
Suppose -3*m + 5*j = -18, -2*m + 5 = 17*j - 18*j. Is 1/11 not equal to m?
True
Let h(d) = -d**2 + 6*d + 7. Let x be h(7). Let v be (-2 + (-18)/(-3))/2. Let r be 8 + -9 - (-1)/v. Is x greater than or equal to r?
True
Let i(w) = 48*w**3 + 3*w**2 + w - 1. Let p be i(-1). Let f = p - -45. Which is bigger: f or -1/2?
-1/2
Suppose 3*u - 4 = 2. Suppose -45 = 3*k + u*k. Let b be ((-18)/64)/(k/(-12)). Is 0 bigger than b?
True
Let s = 17 + -17.12. Let x = s - -12.12. Which is smaller: 0.1 or x?
0.1
Let r be (-20)/(-100) + 14/5. Suppose -r*i + 2*i = 459. Let s = i - -29837/65. Does s = 0?
False
Let b be (4 + -3)*-28 - (-5 - 0). Is b < -1?
True
Let o = 24 - 30. Let k be (-2 - 0)*o/8. Let l = -7 + 7.1. Which is bigger: l or k?
k
Let k = -513/22900 + 12/229. Which is smaller: k or -1?
-1
Let p be -7*(-4 - (-100)/28). Let n be (2/(-5))/(1/(-10)). Which is greater: p or n?
n
Let i be (42/(-126))/((-2)/282). Which is smaller: 51 or i?
i
Let z = 20 + -9. Let h = z + -13. Let o = -1.5 - -6.5. Which is smaller: o or h?
h
Let j = -1.16 + 1.46. Which is smaller: 1.3 or j?
j
Let u = 39 + -70. Let t be (2*2/(-18))/(72/(-162)). Does t = u?
False
Suppose h - 1 = 0, 5*n + 6*h + 25 = h. Let q be 3/(-18) + 23/n. Let y be q/(-28) - 2/14. Is y not equal to 2/25?
True
Let h(a) be the second derivative of a**3/6 + 7*a**2/2 - 4*a. Let k be h(-9). Suppose -3*r = -5*p - 5, 5*p = -r + 3*r - 10. Which is smaller: r or k?
r
Suppose -3*r - 18 = -3. Let o = -74 - -71. Which is smaller: r or o?
r
Let a be (-1626)/(-27) + 2/(-9) - 2. Let g = 46 - a. Does 0 = g?
False
Let n = 40331 + -40331.4. Let y = -0.1 + -0.9. Let o = y + 1. Is o > n?
True
Let y be 2*1/9 + 1397/(-495). Which is smaller: 0 or y?
y
Suppose 3*a + c - 62 = 0, 2*a - 51 + 13 = -4*c. Suppose -a = 4*r - 11*r. Suppose r*s = -2*s - 5. Which is smaller: 2/51 or s?
s
Let v be (2 - -1)/(-3)*-97. Let n be 1366/(-14)*1*-1. Let f = v - n. Is -1/3 not equal to f?
True
Suppose 0*x = -3*x - 2*u + 14, 5*x + 5*u - 30 = 0. Let z be (-1 + x)/(4/8). Suppose 3*y = y - z*h - 6, 4*h = 5*y - 30. Do 2 and y have the same value?
True
Let f = -8 + 10. Suppose 0 = -p - a - 8, p + f*a + 1 = -4. Let c = p + 15. Which is bigger: c or 3?
c
Let a = -98233/6 + 16413. Which is smaller: 40 or a?
40
Let j be 1*(-9)/((-36)/56). Let x = j - 27/2. Are x and 0 equal?
False
Let j be (48/9)/4*117/(-88062). Is j bigger than 1?
False
Suppose 325 = -4*b + 329. Which is bigger: 3/74 or b?
b
Suppose -m + x + 290 = -4*x, -5*m = 2*x - 1531. Which is smaller: 306 or m?
m
Let r = -5.49 - -4.49. Is r < 103?
True
Let u(d) = -2*d - 29. Let h(p) = 2*p + 28. Let n(j) = -4*h(j) -