t. Which is greater: 1/3 or w?
w
Let z(o) = o**2 + o + 81. Let y be z(0). Suppose -12 = y*a - 82*a. Is a != -2?
True
Let j = 70/9 - 8. Which is greater: j or -20?
j
Suppose -4*y - 4*p = -3*p - 154, -31 = -y - 4*p. Let d = y + -38. Is 6/5 at least as big as d?
True
Let w = -324 + 325. Is w >= 1/16?
True
Let g(i) = -4*i - 27. Let w be g(-8). Suppose w*v + n + 4*n = 5, -4*v + n = -4. Which is greater: 6/35 or v?
v
Let v be 164*(2 + (-45)/(-10)). Is v < 1065?
False
Let z be (-24)/(-2700)*(-2217)/(-770). Let v = -1/2625 - z. Which is bigger: 1 or v?
1
Suppose -16*p = -3*p - 39. Suppose -o = -2*d - 2*d + 55, 2*d = p*o + 155. Is o less than -51?
False
Suppose 7*o + 7*o = -532. Let w = o + 13. Which is smaller: w or -24?
w
Let s = -0.072 + 1.072. Let x = 33.6 - 3.6. Which is bigger: s or x?
x
Suppose 19*r = 23*r + 588. Is -147 greater than r?
False
Suppose 5*o = 64 + 26. Let g be (o/(-8) - -1)*(-611)/235. Let s = 8 + -6. Is s less than or equal to g?
True
Let i = 0.066 - 41.066. Let z = i + 40. Is z greater than or equal to -4/7?
False
Let k = -0.3 - 0.13. Let f = -0.33 - k. Is f equal to -2?
False
Let s(m) = m**2 - 4*m. Suppose 4*g + 3*x + 2*x = -1, 0 = 3*g + 4*x + 1. Let w be (-40)/(-4) + (-3 - g). Let b be s(w). Are b and 12 equal?
True
Let c = 541179/215047 + -3/6937. Do c and 3 have the same value?
False
Let p(z) = 4*z - 18. Let u be p(6). Let n(a) = a**3 - 8*a**2 + 9*a + 23. Let l be n(u). Is 0 not equal to l?
True
Let f(q) = -q**3 + 10*q**2 + 11*q - 15. Let o be f(11). Let p(s) = -s**2 - 9*s + 6. Suppose -2*l = -0*l + 22. Let t be p(l). Are o and t nonequal?
True
Let r be (0 - 18/(-15))*(-30)/16. Which is smaller: -2 or r?
r
Let l = -83/6 - 101/3. Let v = l + 47. Let j(x) = -3*x**2 + 2*x - 1. Let f be j(1). Is f smaller than v?
True
Let v be (28*(-9)/(-6))/(-1). Let l = 44 + v. Which is smaller: l or -1/7?
-1/7
Let g = 1.8 + -1.98. Let n = 0 - -0.08. Let d = n + g. Which is bigger: d or -5?
d
Suppose 0 = -2*f + 5 + 15. Let u be ((-3)/f)/((-6)/(-5)). Which is bigger: u or -10?
u
Suppose f + 9 = -0. Let n(s) = s**3 + 2*s - 1. Let a be n(1). Suppose 4*i + 0*i = -2*k - 16, a*k = 2*i - 16. Which is bigger: f or k?
k
Let d = 128 + -125. Suppose 2*p = -p - d. Are p and -7/20 non-equal?
True
Suppose 10*g + 8 = 12*g. Let x be -2 + g/(-6) + 3. Are x and -8 unequal?
True
Let x(s) = s**2 - 8*s - 47. Suppose 5*a = 7*a - 24. Let m be x(a). Suppose 4*f + 10 = -f. Which is bigger: m or f?
m
Let d(u) = -4*u + 52. Let q(g) = -3*g + 35. Let c(o) = 5*d(o) - 7*q(o). Let f be c(0). Suppose f = t + 4*t. Are 2 and t unequal?
True
Let i be 13*(-65)/15 - (-1)/3. Let o = -58 - i. Let u(m) = -m**2 - 3*m - 2. Let f be u(-3). Are o and f nonequal?
False
Let h = -168 - -33. Let c be (-2)/(-16) + h/(-72). Which is smaller: 5 or c?
c
Suppose 0 = -10*b + 5*b + 65. Suppose 3*s = 4*k - b, -2*k + 20 = 4*s + 2*k. Let r be ((-3)/3)/(2 - -12). Which is smaller: s or r?
r
Let n = 175 + -113. Which is bigger: -4 or n?
n
Let u(p) = -p. Let d = -25 - -23. Let f be u(d). Let z(s) = s**2 - 2*s - 1. Let b be z(f). Which is greater: -1/3 or b?
-1/3
Let f = 1185.2 - 1185.23. Suppose 0 = -4*c + 8*c - 20. Suppose -c*y - 24 + 9 = -5*j, -12 = 4*y + 5*j. Are y and f nonequal?
True
Let v be (-1851)/35 - (-4)/14. Let u = v + 54. Let n(o) = o + 2. Let t be n(-1). Does t = u?
False
Let f = -9 + -4. Let j = -137 - -151. Suppose -7*t = -j*t - 91. Is t equal to f?
True
Let b = -815/7 + 116. Which is smaller: -1/4 or b?
b
Let m be (-2)/(-6)*54/(-228). Suppose -3*q = z - 1, -z + 21 = -5*q + 3*z. Which is smaller: m or q?
q
Let v be -3 - (-4)/(2 - 6). Let g be (-2)/v + (-90)/(-36). Suppose 2*l + 1 = g. Is 3/20 <= l?
True
Suppose -5*v + 401 = 5*c + 61, 0 = -c + 3*v + 48. Let t = c + -566/9. Let b = 25 - 25. Is t smaller than b?
False
Let s be -4*(2 + -5 + -1). Suppose 4*h - 4*i + s = 0, -2*h + 0*i = -i + 11. Let q(f) = f**2 + 5*f - 7. Let l be q(-5). Is l smaller than h?
False
Let m = 345 - 345. Is m at least as big as 0.55?
False
Suppose -2*a = 4*a - 162. Let p(v) = -3*v**2 - 6*v - 2. Let z be p(-4). Let b = z + a. Which is smaller: b or -3/37?
-3/37
Let o = 44/3 + -130/9. Let m = 0.057 + -0.007. Let k = -0.15 + m. Which is bigger: o or k?
o
Let h = -0.006 + 25.006. Let m = -26 + h. Are m and -30 unequal?
True
Let x be 0 - ((-1179)/6)/(-3). Let k = x - -65. Let r be 80/(-198) - 4/(-22). Is r at least as big as k?
True
Let y = -12 - 29. Are y and -43 non-equal?
True
Let z = -1248 + 1241. Let s(l) = l**3 + 6*l**2 + 7*l + 6. Let m be s(-5). Which is smaller: m or z?
z
Let h be (-20)/(-6) + 2/(-6). Let i = -1/4466 - -14617/4466. Which is smaller: h or i?
h
Let t = -63 - -72. Let d be (-2)/(t/(-12)*8/(-39)). Which is greater: -0.4 or d?
-0.4
Let n be (-3)/(-37)*4/6. Suppose -i - k = 2*k - 18, 5*i = -3*k + 30. Suppose a = -m - 4, i*a + 2 + 10 = m. Which is smaller: n or m?
m
Let s = 66 + -19. Let q = -38 + s. Are 2 and q non-equal?
True
Suppose 2*s + 4*l = 482, 0 = -3*s - 0*l - 4*l + 725. Is s at most as big as 0.1?
False
Let y = -44.7 + 44.5. Which is greater: 162 or y?
162
Suppose -6*u + 15 + 21 = 0. Suppose -2*g = 2*g - 16. Which is bigger: g or u?
u
Let m(o) = 5*o**2 - 3*o**2 + 3*o**2 - 2*o**2 + 1 + 4*o. Let n be m(-1). Is 4/11 at least as big as n?
True
Suppose 5*u + q - 8 = 40, 9 = 2*u - 3*q. Suppose 4*n = u*n - 10. Let f be (-17)/n*-2*-1. Is -17 at least as big as f?
True
Let y(h) = 30*h + 59. Let n be y(-2). Which is smaller: 2/1155 or n?
n
Let f(h) = h**2 - 4*h - 5. Let i be f(5). Let o be (-2740)/(-55) + ((-26)/(-22) - 1). Let u be (-45)/o + (0 - (-2)/5). Which is smaller: u or i?
u
Let h = 208 - 205. Is 26/7 < h?
False
Let g = -1120 - -1172.95. Let r = g - 53. Let n(s) = -s**2 + 1. Let i be n(1). Which is smaller: r or i?
r
Suppose 4*d + 5*c = 20, -6*d + 11*d = -4*c + 16. Let n = -304/7 - -11842/273. Is d less than or equal to n?
False
Let w be -4*(2 + 70/(-28)). Let m be 2/(-7) + (-102)/(-14). Which is smaller: m or w?
w
Suppose 2*b - 4 = -0, -b = -4*n - 6. Let p be (4/(-65)*-1)/((-1372)/490). Which is bigger: n or p?
p
Let u = 2.18 - -9.82. Is 0.31 > u?
False
Let y = -32.8 + 32. Let z(w) = w**3 + 12*w**2 + 13*w + 25. Let f be z(-11). Which is bigger: f or y?
f
Let y be -59*1/8 + (-835)/(-167). Which is smaller: y or -1?
y
Suppose -14 = 6*u - 7*u. Suppose -u = -p + 5*j, j = -2*p + 3*j + 4. Let o be 4 + p + -11 + 0. Which is smaller: -9 or o?
-9
Suppose 5*u + q - 34 = 0, q - 8 = -q. Suppose -f = 5*f + u. Let j = 3.7 + -0.7. Is f equal to j?
False
Let b be (-2)/(14/4 + -4). Do b and 4 have different values?
False
Suppose 685 = -5*f + 10*f. Is -0.1 smaller than f?
True
Let w = -0.25 - 0.85. Let r = -0.1 - w. Let t = 13.9 - 1.9. Is t at least r?
True
Suppose -2*j + 4*i - 1023 = -7*j, -3*j = -5*i - 636. Suppose -5*r = 47 - j. Which is smaller: r or 31?
31
Let u(j) = -j**3 + 7*j**2 - 12*j - 7. Let z be u(3). Which is bigger: z or -9?
z
Let n be (1 - 244/(-132)) + -1 + -2. Which is bigger: 1 or n?
1
Let m(j) = j**3 + 10*j**2 + j + 12. Let u be m(-10). Let i(y) = -y**u + 2 + 1 + 1 - 7 + 6*y. Let c be i(2). Is c at least 5?
True
Let b = 0.04 - 2.24. Let n = b - -3.4. Let d = n + -1. Which is smaller: d or 0.4?
d
Let w = -112 + 192. Suppose -c = c + w. Which is greater: c or -39?
-39
Let l be 2*((-14)/4 + 1). Suppose 0 = -3*q + 59 - 77. Which is greater: l or q?
l
Let u = 2 + 4. Let i(s) be the third derivative of -s**5/60 + s**4/24 + 3*s**3/2 - 3*s**2 - 7*s. Let j be i(u). Is j less than or equal to -22?
False
Let h(l) = -l**3 + 11*l**2 + 4*l - 45. Let i be h(11). Which is bigger: i or -9/8?
i
Let g be (-2)/(3 - 1) + 36. Suppose 115*n = 114*n + 36. Are g and n unequal?
True
Suppose -127*d = -126*d - 6. Are 9 and d unequal?
True
Let q = 463 + -1387/3. Which is greater: 244 or q?
244
Let x be 196/(-56)*1354/(-7). Which is smaller: 676 or x?
676
Suppose -7*m - 61 = 79. Let v = 16 + m. Is -32/7 < v?
True
Let w = 229652/11 + -20862. Which is bigger: w or 15?
w
Let l = -63677/959 + 465/7. Which is smaller: l or 0?
0
Let r = -0.808 - -0.708. Is r less than or equal to 1357?
True
Let x = 92 + -1013/11. Let n = 93 + -92. Suppose -5*j = -4*j - n. Is j less than or equal to x?
False
Let q = 77 - 133. Let r be q/60 - 2/5. Let v = -20 - -18. Do r and v have the same value?
False
Let d be (641/(-6))/((-10)/20). Are 0 a