251 - 8284/33. Let i = -7/11 + y. Which is greater: -1 or i?
i
Let a be 1*(-2 - 14/(-2)). Suppose 5 = a*j - 4*j. Suppose -5*m = 5*z, 0 = 3*z - j*m - 10 + 2. Is 0 less than or equal to z?
True
Let x be ((-2)/12)/(5/20). Is -5 <= x?
True
Let x = 0.03 - 2.03. Let v = 0 - x. Let s = -240 - -242. Is v at least s?
True
Let s = -15 - -19. Suppose -s*x - 6 + 2 = 0. Do -1/9 and x have the same value?
False
Suppose 3*v + 3*r - 36 = 0, -4*v - 2*r + 21 = -21. Is 68/9 < v?
True
Let m = 0.08 + 7.92. Which is smaller: 0.1 or m?
0.1
Suppose 3 = 2*d - 1. Suppose 2 = d*c - 2. Which is smaller: 3 or c?
c
Let s(o) = o**3 - 8*o**2 - 9*o + 1. Let n be s(9). Let i be 0 + n + 8 + 0. Let m be 3/(-2)*(-12)/i. Does 1 = m?
False
Let p be (161 + -3)*4/8. Is -1 > p?
False
Let o = -2.3 + 1.7. Which is smaller: o or 0.2?
o
Let x = 40 - 32. Which is greater: 12 or x?
12
Let q be 3/(-6) + 17/10. Which is smaller: q or 1?
1
Let j = 9 + -3. Suppose -j*t + t + 20 = 0. Is t less than 3?
False
Let x = -0.03 - -0.43. Let k = x - 0.2. Is 1 at most k?
False
Let z be (8/(-12))/(2/(-12)). Suppose 0*l = 2*l - 3*d + 3, -4*l + z*d = 0. Is 0.1 >= l?
False
Let y = -132 - -121. Is y < -0.01?
True
Let j = 5 + -3. Suppose 2*o + 12 = -4*p, -2*p - 6 = -o - p. Suppose 0 = -4*m - 0*m + 3*z, -z = -o*m + 2. Do m and j have different values?
True
Let k(d) = d**3 - 2*d - 1. Let p be k(-1). Let o be (4 - -2) + (0 - p). Let b be 9/o*(-2)/1. Are -3 and b nonequal?
False
Let g(r) = 2*r**2 + 4*r - 6. Let s(z) = -3*z**2 - 6*z + 9. Let d(b) = 8*g(b) + 5*s(b). Let i be d(-3). Let q = 2 + i. Is -0.1 >= q?
False
Suppose 0 = -2*n - 4, -3*z - 2*n + 6*n = -14. Suppose -h + 2*o + 2 = -0*h, -4*h - 4 = -z*o. Let l(y) = -y**2 - 2. Let t be l(0). Is h smaller than t?
False
Let n = 8 - 6. Suppose n*l - 4*l - 10 = 0. Let h(v) = v**2 + 5*v + 3. Let b be h(l). Is 3 at most as big as b?
True
Let m be 2/(-220)*(-1)/(1/8). Is 1 bigger than m?
True
Let u be (-180)/48*4/110. Is -1 not equal to u?
True
Suppose -2*j - i + 17 = 0, 16 = j + 4*i - 10. Suppose 5*t = -1 + j. Let w be 4/(-10) + t/(-10). Which is smaller: 0 or w?
w
Suppose 0*l - l = -2. Suppose -3*q - l*q = 0. Let b = 10/21 + -1/3. Is q greater than b?
False
Suppose -3*v - 3 = 12. Let r be 2 - (82/v + 2). Let d = 16 - r. Which is smaller: d or 1?
d
Suppose 3*g - w - 13 = 0, g + g = 4*w + 12. Let r = g - 10. Are -7 and r unequal?
True
Suppose 2*l - 4*j - 2 = 0, -6*l = -10*l - 4*j - 8. Let b = 3 + -2. Which is bigger: b or l?
b
Let x = -44 + 44. Is 0.1 > x?
True
Let m = 10 + -26. Is -19 not equal to m?
True
Let c = -3 - -6. Suppose 0 = -3*m + 3, -g - c*m - 21 = 3*g. Let z be 1 - (g/3)/(-1). Is z at least -1?
True
Let o(n) be the first derivative of -n**3/3 - 3*n**2/2 - 3*n - 1. Let s be o(-2). Suppose -5*x + 3 = 18. Is s less than x?
False
Let w be (-4 - 1) + (-4 - -4). Let k(r) = r**2 + r + 1. Let q be k(0). Let s = q + w. Which is greater: s or -5?
s
Suppose k = -5*g + 2 + 8, 2*k = 2*g - 4. Which is smaller: k or -0.4?
-0.4
Let y = -8 + 13. Let v = -4 + y. Which is smaller: v or 2?
v
Suppose -2*c + 2*k + 14 = 0, -10 = 2*c + 5*k + 11. Suppose -4 = 4*p, -2*p = 3*u - 3*p + c. Let v be (1/10)/((-8)/(-10)). Are v and u non-equal?
True
Let c(d) = d**2 - 4*d + 1. Let j be c(4). Let g be -2*j/(-28)*4. Let o be ((-3)/2 + 1)*2. Which is smaller: o or g?
o
Let s be 2/12*2/(-1). Let n = -2/3 - s. Which is bigger: 0 or n?
0
Let x = 46/4237 + 38272039/72029. Let s = -99674/187 + x. Let d = s - 2/561. Which is bigger: -1 or d?
-1
Suppose 0 = i - 0*i - 4. Suppose -t - 1 = -i*p + 7, -3*p = 4*t - 6. Suppose -10 = 4*b - 2*h, p*h - 10 = -5*b - 0*b. Is b >= -2/9?
True
Suppose -3*y = -14 + 2. Suppose -y = -0*s + 2*s. Let r be (0/(-2))/(-1 - s). Which is smaller: -1/5 or r?
-1/5
Let g = 16.66 + -17. Let f = g - -0.08. Let r = f + -0.04. Is 1 < r?
False
Let k(w) = -w**2 + 8*w - 4. Let d be k(6). Let n = 7 - d. Which is smaller: -2 or n?
-2
Let j = 12 + -11. Let n = 0.06 + 0.04. Do n and j have the same value?
False
Let r = 2/1703 + 42503/61308. Let o = r - 4/9. Which is greater: o or -3?
o
Suppose 6*b - 3*b = 51. Suppose 5*h + 2 = b. Suppose -4*v + 13 + 5 = 3*r, -5*v + 19 = 2*r. Is v smaller than h?
False
Suppose g = -5*d + 12 - 4, -2*d - 2*g = 0. Suppose 8 = 2*s - 4*w, d*w - 3 = 4*s + 5. Let n be s/60*(-2)/(-1). Which is greater: n or -1?
n
Suppose 30 = -3*p + 3. Which is smaller: -8 or p?
p
Let i(d) = 9*d - 10*d - 4 + 0*d. Let n be i(-6). Let a = 26 + -184/7. Is a greater than or equal to n?
False
Suppose 0 = -5*p + 4*y + 17, -4*p + 3*y + 13 = -0. Is p greater than 4/7?
True
Let g(o) = o**3 + 8*o**2 + 1. Let w(z) = -2*z**2 + 3*z + 1. Let d(p) = p**2 + 6*p - 4. Let c be d(-7). Let s be w(c). Let n be g(s). Which is smaller: -2 or n?
-2
Let p = 114 - 1024/9. Let i(g) = -g + 5. Let j be i(5). Is j at most p?
True
Suppose -3*o + 6 = -2*o. Let n be (-3)/18 - 5/o. Which is smaller: -6/7 or n?
n
Let j be (-55)/10 - (-2)/(-4). Let r(n) = -n**2 - 6*n. Let u be r(j). Which is bigger: -0.02 or u?
u
Suppose 0 = -5*d + d - 20. Let z be (-15)/(-6) + (-6)/(-8)*-2. Which is smaller: z or d?
d
Let d = -14 - -11.9. Does d = -1/3?
False
Let g be (8/(-128)*4)/(14/(-16)). Let s = 2 + -2. Suppose 7*p - 2*p = s. Which is smaller: g or p?
p
Let h = -9 + 9.12. Let k = -0.12 + h. Is 1/4 at most as big as k?
False
Suppose 2*m + 2*g + 22 = 7*m, -8 = -2*g. Suppose -q = q. Suppose q = x + 2*x - 18. Does m = x?
True
Let w(d) = d + 1. Let c be w(-1). Let g = -1 - -4/5. Is c >= g?
True
Let n = 41 - 77. Is n > 1?
False
Let k = -46 - -36. Is -10 less than or equal to k?
True
Let h(j) = j**3 + 4*j**2 + j + 3. Let b be h(-4). Let g be (-4)/(b/(3/6)). Is g <= 3?
True
Suppose 0*q - 2 = 2*q. Let i = q - -2. Is 2/5 less than i?
True
Let g(d) = 2*d - 39. Let k be g(18). Which is smaller: 2 or k?
k
Suppose -8*p = -3*p + 90. Which is smaller: -19 or p?
-19
Let o be 6/9*12/(-16). Which is bigger: 3 or o?
3
Let g = -4/145 + -552/1015. Suppose -m - 2*m - 3 = 0. Which is smaller: g or m?
m
Suppose 2*c - 19 = -67. Let g be 11/12 - (-6)/c. Let j = 1 - 3. Which is smaller: g or j?
j
Let s = 3.5 + -3.6. Are -2 and s non-equal?
True
Let u = 4 + -5. Let c(d) = d**3 - 2*d**2 - d - 3. Let i be c(3). Let z be (i/(-3) + 0)*u. Is 1/2 != z?
True
Let f = -59 + 297/5. Let d be ((-16)/12)/((-2)/(-1)). Do f and d have different values?
True
Let w be 26/(-32) - 33/(-44). Is 0 <= w?
False
Let w = -5 + 10. Let d be (-16)/10 + (-6)/15. Let f be 34/10 + d/w. Is 2/3 > f?
False
Suppose 0*s + s = 7. Suppose 2*z - 1 + s = 0. Which is greater: z or -2?
-2
Let z = -1.2 + -8.8. Let j = z + 9. Which is smaller: j or 1?
j
Let s = -0.08 + -0.02. Let n = -438 + 7448/17. Are n and s nonequal?
True
Let i(k) be the third derivative of -k**5/60 + 5*k**4/12 - 2*k**3/3 - k**2. Let q be i(6). Which is bigger: q or 0?
q
Let k = -101/240 + 1/48. Let f = 22 + -65/3. Which is bigger: f or k?
f
Suppose 2*u + 0*u = -372. Let x = 1304/7 + u. Is 9 greater than or equal to x?
True
Let m be (-8)/(-1 + 3) - 2. Let u = -4 - m. Suppose u*s = -5*y + 5, 2*y = -s + 4*s + 2. Is -1 less than y?
True
Let z be 3/(-1) - 2/2. Let q(a) = 3*a + 16. Let d be q(-7). Which is smaller: z or d?
d
Let s = -64/3 + 767/36. Which is greater: -1 or s?
s
Let o be ((-15)/(-10))/(1/(-4)). Is -6 != o?
False
Let a = -45884/29 + 1582. Is a bigger than -1?
True
Let x(d) = 3*d + 4. Let r be x(7). Suppose -4*w - 2 = -3*l - r, 2*w - 14 = 4*l. Let z(s) = -s - 1. Let c be z(-5). Which is smaller: c or w?
c
Let h = 3 + -3.1. Let w = -0.6 - -0.57. Let b = 2.97 - w. Is h less than b?
True
Suppose -d = -0*d + 1165. Let n = d + 4561/4. Let t = n + 25. Which is bigger: -1 or t?
t
Suppose 18*z = 16*z. Which is greater: -7/5 or z?
z
Let q(k) = -k**3 - 7*k**2 + 9*k + 7. Let y be q(-8). Let p(a) = -a**2 + 5*a - 6. Suppose 3*j - 4*j = -4. Let r be p(j). Which is smaller: y or r?
r
Let s = 6 + -3. Let o = 3 + s. Is o smaller than -1/4?
False
Let a(y) = -y**2 - 20*y - 38. Let h be a(-18). Are h and -8 non-equal?
True
Let l = -352/5 - -8799/125. Which is smaller: 0.1 or l?
l
Let y = 0.054 + 23.946. Let m = y - 17. Let k = -6 + m. Which is greater: -4/7 or k?
k
Let d(k) = k**3 - k**2 + k + 11. Let m be 0*-1*2/(-2). Let z be d(m). Let j be 2/z + (-38)/(-33). Which is smaller: j or 1?
1
Let f be 2/3*(-6 + 12). Let m be (-3)/(1 + (-46)