63 = 0. Which is greater: w or 584?
w
Let i = 201 + -6835/34. Let a be 2/(-6)*-1*-3. Is i < a?
False
Let n = 2001.0248 + -2001. Which is bigger: 0 or n?
n
Let x(c) = -c**3 + c + 48. Let j be x(0). Let f(u) = -50*u**3 + 4*u + 2. Let p be f(-1). Is p at least j?
True
Let g = 2.7 + -2.1. Let w = -0.6 + g. Is -3/14 at most as big as w?
True
Let f = 2 + -1. Let j be 18/((-1)/(f/1)). Let p be -3*(20/j)/(-5). Is 0 <= p?
False
Let g = 6246 + -968136/155. Let l be 4232/2790 + 2*-1. Let o = g - l. Is -1 not equal to o?
True
Let m = 52 - 54.1. Let s = 3.1 + m. Is -21 > s?
False
Let l(h) = -h**2 - 16*h - 21. Let a = 139 + -157. Let t be l(a). Which is greater: t or -56?
-56
Let g(f) = -f**2 + 31*f - 93. Let h be g(28). Which is bigger: h or -2/21?
-2/21
Let k = -772 + 768. Is k at least 37?
False
Let n = 0.083 - 0.353. Is n < 6?
True
Suppose -99 = -3*n + 5*p, 3*n - 8*p + 4*p = 102. Let t = 30 - n. Let x be 36/30*t/6. Which is smaller: 2/3 or x?
x
Let k(d) = -d**3 - 9*d**2 + 12*d - 8. Let f be k(-10). Let x be (-36)/17 + (-7)/(f/8). Which is bigger: 0.2 or x?
0.2
Suppose 0 = v + 34 - 25. Let f be (-8 - v)*6/(-7). Is -2 > f?
False
Let i be 34/(-9) + (-16)/(-4 - 0). Let t be (-2)/(((-3)/(-85))/3). Let s = 1532/9 + t. Do i and s have the same value?
True
Let c(a) = -6 - 3 + a + 53. Let b be c(-9). Which is smaller: 36 or b?
b
Suppose 4*l - 210 - 346 = 0. Let a = 697/5 - l. Is a equal to 0.68?
False
Let u(w) = -2*w. Let a be u(-1). Let x = -5 - -9. Suppose -a*v - x = 2*v. Which is bigger: -9 or v?
v
Let g = -3267 - -22907/7. Let o = -0.0174 + 0.1174. Which is smaller: o or g?
o
Let f(u) = u**3 + 11*u**2 + u + 26. Let n be f(-11). Suppose 4 = n*q - 17*q. Is q greater than 14?
False
Suppose 5*y + 5*y = 10. Which is smaller: -2/15 or y?
-2/15
Let n = 17171/34 - 505. Is 0 < n?
True
Let d be ((-56)/70)/((18/5)/(-3)). Are -18 and d equal?
False
Let b be (-28)/8*20/(-7). Let c be b/25 - 6/15. Let a = 33 + -296/9. Are a and c unequal?
True
Let b(n) = -23*n**2 + 2*n - 1. Let g be b(1). Let x be (-4)/g - (-1149)/33. Let p be x/11 - (-6 - -9). Is -0.1 at most p?
True
Let w(z) = -z**2 + 11. Let f be w(0). Suppose 4*h = -5*t - f, -3*h - t - 15 = -4*t. Let y be (4 + 0 + h)/(-1). Is -1/12 at least y?
False
Let o = 12 + -13. Let p = 3 - 4.2. Let r = -0.2 - p. Does o = r?
False
Let g = 46717/1935 - -22/387. Which is smaller: g or 25?
g
Let p = -30.1 + 32. Let a = 0.9 - p. Which is smaller: 2 or a?
a
Let i be (-5)/30 + 5/((-360)/92). Does -2 = i?
False
Suppose w = -3*w + 4. Let t be 0 + (4 - w) + 2. Suppose -6*b + b = t. Which is greater: b or -2?
b
Let p be (-2 + 0)*2814/(-268). Suppose 0*f = 2*f - 44. Which is greater: f or p?
f
Suppose 25*i = 42*i + 238. Which is smaller: i or -22?
-22
Let c = 43 - 43.022. Let x = c - 0.478. Does x = 6?
False
Let o be 2/((-4)/(-3))*4. Let t be 12/(-32) - 602/(-112). Is t != o?
True
Let x = 490 - 496. Which is smaller: x or -52?
-52
Let a be 3 - 248/12 - (-24)/36. Is a equal to -18?
False
Let f(b) = 3*b + 17. Let j be f(-2). Is j at most as big as 11?
True
Let l(g) = 2*g - 30. Let r(z) = z - 15. Let q(m) = -4*l(m) + 7*r(m). Let x be q(13). Suppose 11 = -p - x*b, 5*p - 2*b - 5 = -0*b. Which is smaller: p or 1.5?
p
Let y = 762 - 761.7. Which is smaller: y or -234?
-234
Let r be (-1 + -1 + 1)*(-10)/(-628). Which is greater: 1 or r?
1
Let h = 721 - 569. Which is smaller: 153 or h?
h
Let a(v) = v + 44. Let j be a(-17). Let q = 11 - j. Do q and -16 have the same value?
True
Let l = 0 - -5. Let j(n) = n**3 - 6*n**2 + 8. Let s be j(6). Suppose 3*b + s = -l*k, -3 + 11 = 2*b. Is -2 at least k?
True
Let f(r) = -r**2 + 17*r + 23. Let d be f(18). Let s be 4/6 + 4/(-6). Suppose s = d*k + 4 - 34. Is k not equal to -1?
True
Suppose 2*r + 6*o - 2*o - 16 = 0, -1 = -r + 5*o. Let i = -148 - -152. Which is smaller: i or r?
i
Suppose 4*j + 67 = 3*c + 2*c, 3*c - 3*j - 39 = 0. Let m be 24/(-9)*c/(-10). Are m and 4 unequal?
False
Suppose -2*z - 5*c = -5, 3*c - 4*c = 3*z - 27. Suppose 9 = v - 0*v. Is v less than z?
True
Suppose 8*g - g - 182 = 0. Let k be (-69)/1209 + 30/g + -1. Which is greater: k or -1?
k
Let z = 0 + 1. Let k = -3/139 + 589/1529. Is k less than or equal to z?
True
Suppose 11 = -g - 4*x, 2*x - 7 = -g - 22. Let b = g - -10. Let f = 72 - 71.9. Is b != f?
True
Suppose s + 3 = 2*s. Suppose -s*q - 4 = 8. Let t be 1/q - (-4)/16. Is t less than 2/39?
True
Let t(r) = -r**2 - 6*r + 2. Let w be t(-6). Suppose -6 - w = -2*b. Suppose b*v + 34 = 2*g, -7*v + 2*v - 5*g = 50. Is -8 at most v?
False
Suppose -527 - 106 = -3*i. Let k = i - 1897/9. Is k greater than or equal to -3?
True
Let s = -64 + 47. Which is greater: -19 or s?
s
Let i = -0.0937 + -0.1063. Which is bigger: i or 404?
404
Let n be ((14 - 4)/(-5))/(1/23). Let f = 49 + n. Is f >= -2?
True
Let z = 1.09 - 1.15. Let p(s) = s**3 + s**2 - s + 1. Let f be p(1). Let l = -3 + f. Are l and z non-equal?
True
Let f = 0.1313 + -0.3313. Which is bigger: -125/6 or f?
f
Let k = -0.28 - 0.72. Let l = -11.9 - k. Let f = l + 11. Are -1/5 and f unequal?
True
Let l = -36 - -38. Let z = l - 1. Which is bigger: 4/3 or z?
4/3
Let g be 912/2090 - 4/30. Is -1 equal to g?
False
Let a(k) = -21*k - 15. Let t be a(-7). Let b = 658/5 - t. Is b not equal to 0.08?
True
Suppose 7*a + 4992 = -25*a. Do -156 and a have the same value?
True
Suppose 0 = 22*v - 10*v. Is v != 89?
True
Suppose -825 = -7*q - 818. Is 4/37 at most q?
True
Suppose h = -4*h + 4*v + 36, 5*h - 28 = 2*v. Suppose 0 = 3*j + 5*g - 14, 7 = 4*j - g - h. Suppose n - 5*n - 8 = 2*o, -5*o = j*n + 6. Which is smaller: -1 or n?
n
Let f = -0.02 + 0.42. Let d = -0.37 + f. Is d greater than 2?
False
Let j(i) = 9*i**3 - 4*i**2 + 2*i + 5. Let y be j(2). Let r be 6/10 + 26/y. Which is greater: 1/31 or r?
r
Let c(l) = -l - 7. Let k be c(-9). Suppose -s - 10 = -5*j, -k*j = -s + 6*s - 31. Suppose -2*x + 28 = 4*p, -3*x = -3*p + 2*p - 7. Is s bigger than x?
True
Let c = 10 - 16. Let z be c/14*(-128)/48. Which is greater: -0.1 or z?
z
Let h(g) = g**3 - 6*g**2 + 6*g - 6. Let w be h(5). Let y be w/2 - 238/(-84). Is y greater than 2?
True
Suppose 50*h - 1994 = 106. Which is bigger: h or 8?
h
Let k(h) = -4*h**2 + 62*h - 2. Let f be k(6). Is f bigger than 226?
False
Let i = -8 + 11. Let j = -18.6 - -22.6. Is j at most i?
False
Let k be 0 + -1*(1 - 20). Suppose -40*w = -843 + 3. Which is bigger: w or k?
w
Let m = 2276 - 6926/3. Which is bigger: m or -34?
m
Let y(u) = u**2 + 7*u - 4. Let z be y(3). Suppose -w = -o + 2, w + 0*o + 5*o = -14. Let r be 0/(-20) - w/z. Is r at least as big as -1?
True
Let u(h) = h**3 + 3*h**2 + 15*h + 29. Let q be u(-2). Let k = -2 + 8. Which is smaller: q or k?
q
Let i(u) = -u**2 + 4*u - 4. Let y be i(5). Let f(p) = 0 - p - 5 + 2*p. Let j be f(4). Is y >= j?
False
Suppose -2*m - 2 + 12 = 0. Let a(n) = n - 4. Let r be a(m). Suppose -2*k + 7*k = 5*o, o = r. Is k equal to -2/13?
False
Let f be 2 + -1 - 28/(-1). Suppose -4*c - 27 = -2*l + c, -4*l + 5*c = -f. Suppose -5 = 2*q + 5*j - 21, 0 = -q - 4*j + 14. Is q greater than or equal to l?
False
Let z be (-12)/(-19 - -7)*18/(-16). Which is smaller: z or -2?
-2
Suppose -20 = -4*u + 8. Suppose -u*r = -5*r - 12. Suppose -10*q + r*q + 16 = 0. Which is greater: q or 0?
q
Let s(r) = -10*r + 102. Let p be s(11). Which is smaller: -11 or p?
-11
Let i(j) = -2*j - 5. Let d be i(-3). Let y(x) = -7*x + 6. Let c be y(d). Are c and -2 equal?
False
Let l be -2 + 14/(-5) - (-66)/66. Which is smaller: -27/4 or l?
-27/4
Let s(q) be the third derivative of -q**5/60 - q**4/24 + q**3/6 - 7*q**2. Let y be s(-2). Let g be (-2)/3 - 0/1. Is g != y?
True
Let f = 5034 + -20245/4. Suppose -2*x = 4*x - 162. Let t = f + x. Which is smaller: t or -0.2?
t
Let f(d) = -7*d**3 - 4*d**2 + 4*d - 1. Let a(x) = -x**3. Let w(k) = 6*a(k) - f(k). Let q be w(-5). Is -5/2 less than q?
False
Let c be ((-2)/5)/(124/30 - -2). Are c and 2/5 nonequal?
True
Suppose 164*h - 159*h - 15 = 0. Let z(v) = 3*v**2 + 8*v + v**3 + 5*v**2 + 3 + 3. Let k be z(-7). Which is smaller: k or h?
k
Let r = -211 - -211.1. Let j = -3/2 + 2. Is j equal to r?
False
Let v = 232264/205 + -1133. Let x = 2957 - 121286/41. Let h = v + x. Is h at least as big as 1?
False
Let x be 3 + -1 + 0 - 5. Let j be -2 - x - (-1 - 0). Suppose -j*s = -5*s - 3. Which is greater: 0 or s?
0
Let o = 70 + -70.032. 