 Let d be (-13)/(w + 3/6). Let z(c) = 2*c + 10. Let m be z(8). Is d > m?
False
Let o = 0.33 + -13.33. Let u = o - -23. Let a = 12 - u. Do 3 and a have different values?
True
Suppose 28 = 2*j - 5*x, 31 = -5*x + 11. Let w be 6/((-1)/j*(3 - -99)). Do 0 and w have different values?
True
Let o be (-6)/(-15) + 62/20*26. Let q be o/7 - 6/(-14). Is q at least as big as 11?
True
Let t be ((-12)/(-24))/((-2)/(-8)). Suppose -3*l - 6 = 4*q - t, -q = l + 1. Is -2/53 smaller than l?
True
Let x(t) = -4*t - 14. Let p be x(-8). Suppose -5*s = p - 3. Let w be -4 + 42/39 - s. Is w at least -1?
True
Let r = 834 + -837. Let t be 1/(-2) - 118/52. Is r less than t?
True
Let n = 25 - 30. Let u = -4 - n. Let y = u + -4. Are -7 and y equal?
False
Suppose -5*w - 3*o + 29 = 0, -4*o + 1 - 2 = w. Which is smaller: -4 or w?
-4
Suppose 2*g - 7 = -1. Suppose g*b = 4*b - 5. Let p = 1.2 + -0.2. Do p and b have different values?
True
Suppose 36*n = 6*n - 690. Is -25 less than n?
True
Suppose 0 = -8*d + 14*d - 90. Let a be 3/d*(-30)/(-24). Is a at least as big as -12/13?
True
Let b(a) = -2*a**2 - 15*a - 14. Let r be b(-8). Let u = -81 - r. Which is smaller: u or -58?
u
Let y = 90 - 85. Suppose 0 = y*g + n - 1, 4*n - 3 - 1 = -g. Let p(w) = -w**3 + 3*w**2 - w. Let s be p(2). Is s <= g?
False
Let l be -33 - -28 - 4239/(-849). Which is greater: l or -1?
l
Let y = 46/9 + -293/45. Let t be 0*(-3)/6 - 0. Is t at most as big as y?
False
Suppose -129*r = -113*r - 16. Are r and 16/13 unequal?
True
Let o(b) = -4*b - 8. Let k be o(-2). Suppose k = 22*x - 25*x + 3. Which is bigger: -0.02 or x?
x
Let l = -1305 - -11729/9. Let u = l - -91/36. Which is smaller: 1.2 or u?
u
Let k be -2*2/8*-2. Let f be (-28)/(-285) + (-16)/120. Which is greater: k or f?
k
Let j = 163 - 4889/30. Which is smaller: 1 or j?
j
Suppose 3*c = -3*g + 2943, -2*c + 1477 + 477 = -2*g. Is 978 at least c?
False
Let a = -3.5 - 4.5. Let c = -8.1 - a. Which is greater: c or -2?
c
Let k be 2/2*(5 - 0). Let f = -9 - k. Is f greater than or equal to -13?
False
Suppose 4*g + 2*w - 8 = 0, 3*g + 3*w - 7 = 2. Let i be (1 - g) + -2 + (-16)/(-7). Which is smaller: -18 or i?
-18
Let n = -7/171 - -1067/25137. Which is bigger: -1/4 or n?
n
Suppose -4*v = -q + 28, 3*q - 9*v = -6*v + 39. Suppose 3*s - q = -s. Is s at least as big as -46?
True
Let b(h) = -12*h + 216. Let g be b(17). Which is smaller: g or 6?
6
Suppose 3*g + x = -31, 15 = -g - 3*x + 10. Which is smaller: g or -8?
g
Let n be 3/4*(-10 - 34). Let b be (-4)/22 - 138/n. Let x = 127/51 + 1/102. Which is smaller: b or x?
x
Let r = 79 + -71. Suppose 0*p + r*p = -32. Which is smaller: -2/3 or p?
p
Suppose 7*k = 2*k + 15. Let d be (-46)/(-3) - k/9. Suppose -5*m + 5 + d = 0. Is 4 at least m?
True
Let g be (-2945)/140 + 10/35. Which is smaller: 2/23 or g?
g
Let p be (-2)/116*(340/(-55) + 6). Is p smaller than 0?
False
Let r = -84 - -1262/15. Let i be (-50)/20*2 + (-17)/(-3). Is r >= i?
False
Let i = 5.26 - 9.56. Which is greater: -3 or i?
-3
Let g be (32 - 153)*(-18)/33. Is 65 at least g?
False
Let s be ((-2495)/270)/((-220)/(-224)). Let n = s - -256/27. Does n = 1?
False
Let z(c) = c**3 - c**2 - 3*c + 3. Let i be z(2). Let b = 823 + -10693/13. Do i and b have the same value?
False
Let g be 12/2*(-2)/3. Let w(r) = -45*r - 223. Let f be w(-5). Let i = f + g. Which is bigger: -10 or i?
i
Let r = -406 - -2836/7. Let h(f) = f**3 - 15*f**2 + 14*f - 2. Let b be h(14). Which is greater: r or b?
r
Suppose -3*u + u + 36 = 0. Let f = u + -11. Let s be ((-3)/(-6)*-3)/((-4)/8). Which is smaller: f or s?
s
Let n(x) = -x**3 + 13*x**2 - 22*x - 1. Let q be n(11). Which is greater: -3/28 or q?
-3/28
Let i(c) = -5*c**2 + 49*c + 62. Let z(v) = 2*v**2 - 16*v - 21. Let f(w) = -3*i(w) - 8*z(w). Let x be f(-16). Is x at most as big as 31?
True
Let j be 132/22 + (-2)/((-186)/(-597)). Is -1 less than or equal to j?
True
Suppose 4*v + 3*x - 13 = 96, 131 = 5*v + 2*x. Are -2/7 and v non-equal?
True
Let b = -21 - -12. Let i = -0.25 + 10.25. Let g = b + i. Which is smaller: g or -2?
-2
Let h = 97 - 142. Let l = h - -28. Let s = l + 17.6. Which is smaller: s or 1?
s
Let q = -0.086 + 0.126. Let v = 20 + -14. Let b be (v/20)/(15/(-20)). Which is bigger: q or b?
q
Let v(c) = c**3 + c + 3. Let y be v(0). Let q be (10/(-25))/(y/(-45)). Let s(g) = g + 3. Let m be s(3). Is m >= q?
True
Let a(v) = -6*v + 3. Suppose -5*i + 2*p - 4*p + 3 = 0, 0 = i - 5*p + 21. Let y be a(i). Suppose 2*j + 27 = 5*j. Are y and j unequal?
False
Let c be (-12 - -10 - 2/(-2))/1. Which is smaller: 2/1563 or c?
c
Let s be (-2)/10*(-10 - 514/(-50)). Which is greater: s or 0?
0
Let y(q) = -q**3 - 2*q**2 - 2*q. Let p be y(-4). Let d = p - 34. Is 4/5 > d?
False
Let p = 1/255 - -10913/13260. Let s = p + -14/13. Which is smaller: 1 or s?
s
Let c = 1.1 - -0.1. Let f = 37.8 + c. Which is smaller: 1 or f?
1
Let l be (-4 + 3926/(-14))*1. Let q(d) = 5*d**3 - 2*d**2 - d. Let o be q(4). Let h = l + o. Is -3 >= h?
False
Let n(y) = -3*y**2 + 14*y - 27. Let u(g) = g**2. Let c(f) = -n(f) - 2*u(f). Let q be c(12). Which is greater: q or -1/4?
q
Suppose 0 = -5*o + 30*o + 1450. Is -60 > o?
False
Let b(j) = -3*j**2 + 2 - 8*j + 0*j**2 - 4*j**3 + 7*j. Let t be b(-2). Suppose 3*k - t = k. Which is smaller: k or 13?
k
Let m = 0.6 + -13.6. Let q = 15 + m. Is q not equal to 0?
True
Let p = -10 - -16. Let i be 10/25 - p/15. Suppose m - 1 = -i*m. Which is smaller: m or 1/10?
1/10
Suppose 3*k = -2*v + 11, -v - 2*k + 3 = -4*v. Suppose 0 = -2*p - 4 + 14. Let m be (-6)/(-10) - (-1)/p. Is v less than m?
False
Let m = -629 + 630. Is 231 less than or equal to m?
False
Let y = 4 + -6. Let t be (105/12)/(4/(-16)). Let o = t + 28. Which is smaller: o or y?
o
Let z be (4/(-2))/((-40)/(-6320)). Is -316 less than z?
False
Let f be 3/(-2)*((-1312)/48 + -5). Which is smaller: f or 49?
f
Let y = 11.71 - 11.61. Which is greater: y or -2?
y
Suppose -5*s + 10 = 5*f, -6*s + 25 = f + 23. Let l = -1479 + 81342/55. Let c = -41/1265 + l. Which is smaller: s or c?
c
Let x be 8*(3 + -8)/(-20). Suppose -2*n = x*n + 4*d - 56, -5*d + 61 = 4*n. Which is bigger: n or 8?
n
Let p be 2/(-12) + (-13)/78. Which is greater: -19 or p?
p
Suppose 8*p + 61 = 69. Let x(y) = y**3 + 4*y**2 + 4*y + 1. Let w be x(-2). Are p and w equal?
True
Suppose -22 = -2*s + 16. Let o = -126 - -219. Let r = -75 + o. Is s less than r?
False
Let q = 13 + -10. Suppose q*d - 2 = s + 9, -2*d + 55 = -5*s. Which is bigger: s or -6?
-6
Suppose -5*g + y + 6 = 0, y = -2*g - 0*g + 8. Suppose -5*d = -5*p + 10, d - g*d + 10 = 5*p. Let u be d*1*1/(-3). Which is smaller: 2/17 or u?
u
Let j = 33 - 49. Let t = -1067.1 + 1012. Let y = t - -55. Which is bigger: y or j?
y
Let c = -4.4 + 0.4. Let u = 8.55 + -4.65. Let j = c + u. Which is smaller: j or -1/7?
-1/7
Let a be 0 - (-2 + (-2)/(-1)). Let x = -1046285/11 - -95052. Let j = x - -65. Which is smaller: j or a?
a
Let o = 18163 + -18128. Let p be -1 - (-1)/(6/10). Is p smaller than o?
True
Let m = -5.91 + 2.22. Let f = -0.31 + m. Is -0.2 bigger than f?
True
Let t be 28/13 + (-18)/117. Suppose -t*o + 0*o - 18 = -3*m, -4*o = -4*m + 28. Let d be 26/40 - m/10. Which is smaller: 0 or d?
0
Let r = 87 + -94. Let v = r - -6.9. Let n = -12 - -19. Is v less than or equal to n?
True
Let t be (-711)/(-195) + (-8 - -10). Let x = 50/13 - t. Is x greater than -3?
True
Suppose -d + 157 = 4*y, -4*y + 2*d + 68 = -98. Let z = -40 + y. Let j be -1 + 1 - 1/(-2). Are z and j nonequal?
True
Let z = 127766249/2163 - 59069. Let r = z + 49741/8652. Which is smaller: r or 6?
r
Let k = 79/13 - 1459/39. Is -31 at most k?
False
Let t = 5.52 + -6.52. Are -4/127 and t non-equal?
True
Let w(r) be the first derivative of -r**2/2 - 2*r - 10. Let z be (-1)/(-2) - (-15)/(-6). Let p be w(z). Is -2/19 greater than p?
False
Suppose s + 5*k + 1453 = 3*s, 0 = -s - 4*k + 694. Let r be (-718)/s*18/(-26). Let l = 4/221 + r. Which is bigger: l or 1?
1
Let o = -133/345 + 15/23. Suppose 8*m = -10 + 34. Suppose -l - j = 4, -5*l + m*j = -23 + 3. Which is bigger: o or l?
l
Let d be (-3)/((-2136)/2140) - (20 - 17). Is -1 at most d?
True
Let l(q) = q**3 + 10*q**2 + 8*q + 7. Let b be l(-9). Let f(o) = -2*o**2 + 4*o**2 - o**2 - 7*o + 2 - 5*o. Let c be f(13). Which is bigger: c or b?
b
Let v = 0.182 - -0.898. Is v < -11?
False
Let m = -1042 + 1048.97. Let t 