east 1/11?
False
Let w(a) = -2*a**3 + 15*a**2 - 9*a + 1. Let x be w(7). Is x less than or equal to -41/3?
False
Let o be ((-4)/(-12))/(1279/6). Let z = 7736/39649 - o. Which is greater: -1 or z?
z
Let y = -452/3 + 149. Which is greater: -1 or y?
-1
Let t be (-1)/(28/10 + -3). Suppose -9 = v + 4*z, -2*z - 2*z = 3*v - t. Which is greater: v or 6?
v
Suppose -4*p - 31 = -115. Let q = 23 - p. Suppose -v = q*v. Which is greater: v or 7/6?
7/6
Let c = 548 + -547. Is 5/32 at most c?
True
Let x = -0.2 - -0.1. Let o = -1.56 - 0.05. Let l = o - -1.61. Which is smaller: x or l?
x
Suppose -14*r + 24 = -32. Is 4 greater than r?
False
Suppose -28 = -4*k + 36. Let c be 2*2/4 - 1. Is c equal to k?
False
Let s(v) = v**2 + 9*v + 7. Let m be s(-1). Do -12/23 and m have the same value?
False
Let s be (-1)/30*2*(-85)/12. Which is smaller: s or -1?
-1
Let u(t) = -7*t + 10 + 2*t**2 + t**3 + 6*t**2 + 0. Let d be u(-9). Let k be 2 - 3 - 6/d. Is k less than or equal to 0?
True
Let u be 2 - (4598/(-156) - 2). Let l = u - 199/6. Suppose 0 = -2*j - 2*n, 3*j + 5*n = -0*j - 2. Which is bigger: j or l?
j
Let b = 8 + -13. Let w(y) = y**2 - 8*y + 11. Let j be w(5). Is b at least j?
False
Suppose -s - 5*u + 15 = 0, 2*s + 0*u - 2 = -3*u. Let h = 1087 - 1709/2. Let k = h + -238. Which is bigger: s or k?
s
Let t be 4/42 - (3 - 11158/147). Which is bigger: 74 or t?
74
Let p = -1895.34 - -1866. Let u = -29 - p. Let q = 0.06 + u. Which is greater: q or -1?
q
Let b = 440 - 2198/5. Which is bigger: b or -0.61?
b
Let q(v) = v**2 + 2*v - 1. Let w be q(-3). Let d be w/5 + 65/25. Suppose 5*l = -6 - 14, 0 = 3*z + 3*l + d. Is 5 less than or equal to z?
False
Let h = 45/52 - -5/13. Let q be (-9 - (-12 + 5))/(-1). Which is smaller: h or q?
h
Let i = -50 - -55. Suppose 5*y = -3*t + 112, 0*y - 172 = -i*t - y. Which is smaller: t or 35?
t
Suppose 4*h + 18 - 134 = 0. Suppose -h = -5*o + 1. Is 5 at least o?
False
Let d = -23.2 - -22.2. Let w = 0 + -0.1. Let v = -0.1 + w. Is v not equal to d?
True
Suppose -14*q = -18*q. Let h be -5 + (1 - 0) - q. Is h not equal to -15/4?
True
Let n(k) = -5*k - 211. Let f be n(-42). Is -1/1182 < f?
False
Let o = -141 - -78. Is -64 less than or equal to o?
True
Suppose -10*y = -14*y. Suppose -a - a + 4*j + 24 = y, 14 = a - 4*j. Which is smaller: a or 9?
9
Let f = -3.5 - 24.2. Let l = f - 4.3. Which is smaller: l or 0.1?
l
Let g(c) = -4*c - 20. Let t be g(-5). Let q be (t - 0)*14/(-28). Which is smaller: q or -1/23?
-1/23
Suppose -5*n + 10 = -5*u, -3*u - 6 = 9. Let c be ((-9)/11)/1 - 2/11. Is n > c?
False
Let z = 115 - 2071/18. Let g(k) be the second derivative of k**4/12 - 3*k**3/2 - 9*k**2/2 - 17*k. Let m be g(10). Which is smaller: z or m?
z
Let m = 609 - 609.009. Which is smaller: m or 1/3?
m
Let a = 29 - 32. Is a less than -3?
False
Let k = -1716 + 2026. Which is smaller: 311 or k?
k
Let v(h) = h**3 + 4*h**2 + 3*h - 4. Let i be v(-3). Let y be 11/(-66)*i/22. Is 1 <= y?
False
Let z = -76 - -686/9. Suppose 5*p = -4*x + 36, 2*x + 1 = 9. Suppose -p*u + 1 = 5. Which is smaller: u or z?
u
Let f = 37 + -15. Suppose 0 = 5*y - 5*m - 95, 2*m = -0*y + y - f. Are y and 14 unequal?
True
Let n(d) = 92*d**3 + 2*d**2 - 25*d + 24. Let y be n(1). Which is bigger: y or 461/5?
y
Let x = 0 + -11. Let k = -155 - -171. Let m = k + x. Which is smaller: m or -2/9?
-2/9
Let s = 37/50 - 3661/5150. Which is smaller: 0 or s?
0
Suppose -l + 5*f - 6 = 0, -19*l - 5*f + 1 = -15*l. Is 1/16 < l?
False
Let p(a) = -a**2 - 2*a - 11. Let h be p(0). Suppose -3*c = 2*c + 55. Is c < h?
False
Let p be 6 - 7 - (-21)/3. Suppose 0 = -x - 1 - p. Let w be 0 - 6/(2/2). Is x less than w?
True
Let z = -96 - -81.25. Let f = z - -0.75. Which is smaller: f or 2/3?
f
Let k = -2246 + 1200. Let v be 7/5 + 1587312/1520. Let y = v + k. Are 1 and y non-equal?
True
Let b = -1661 + 1651. Suppose s = 5*t + 37, 0*s - s + 29 = -4*t. Which is smaller: t or b?
b
Let k(f) be the third derivative of f**4/24 + 8*f**2. Let i be k(9). Let y = i + -24. Which is bigger: y or -14?
-14
Let v be -8 - 5*(-4)/(-10). Let w be (-40)/16*(-8)/v. Let m = -9 - w. Is -8 less than or equal to m?
True
Let y = 228 + -166. Do 56 and y have different values?
True
Let r = -28.69 - -8.78. Let s = r - 0.09. Let y = -17 - s. Is y bigger than -2?
True
Let u = -23/114 + 43207/570. Which is smaller: u or 75?
75
Let u be (36/30)/6 + 84/55. Is 1 <= u?
True
Let s = 0.007 - -29.993. Let c = 28.7 - s. Let k = -1.2 - c. Is k >= 5?
False
Let j be (-24)/(-26) - 0 - 2. Let g = 150/91 + j. Is 2 less than or equal to g?
False
Let h be (-2 - 3) + 102/(-6). Which is smaller: -0.4 or h?
h
Let g(h) = -2*h**2 + 15*h - 17. Let z be g(5). Let l be (z/30)/(18/(-20)). Which is bigger: l or 0?
0
Suppose -14 - 8 = -2*y - 4*x, 2*x - 47 = -5*y. Suppose 7*v - 4*v - 2*t = -6, 0 = 3*v + 3*t - y. Is -0.1 at most as big as v?
True
Let u = 14 + -13.97. Let c be (110 - 97)/((-1)/(1/(-1))). Is c at least u?
True
Let l(p) = -5*p**3 - 2*p**2 - 2*p + 2. Let h be 2/3*-3 - (-16)/4. Let g be l(h). Are g and -49 equal?
False
Let d = 64 - 43. Let u = d + -22. Is 1/35 < u?
False
Let o = -2.2 + 2.229. Let w = o - 0.029. Which is smaller: w or 0.01?
w
Let p(g) = -g**3 + 19*g**2 - 36*g + 28. Let n be p(17). Does n = -31/5?
False
Suppose 15*a = 10*a - 5. Is -9 > a?
False
Let j = -9 + -13. Let c = -19 - j. Let y = c - 2. Is y < 1?
False
Let z = 0.38 - 0.18. Let s = -0.46 + -0.04. Let u = 0.3 + s. Is z < u?
False
Let f = 1789/504 - 37/56. Suppose 0 = 13*x - 9*x + 5*h + 12, -4*x + 2*h = -16. Which is smaller: x or f?
x
Let x be ((-3)/(-5) + -3)/(81/(-100)). Which is smaller: 4 or x?
x
Let l = -127 - -277. Let x(v) = 2*v**2 + 6*v - 3. Let f be x(-4). Let d be (l/(-14))/f - -2. Which is smaller: 0 or d?
d
Suppose 5*x + 4*m = 32, 3*x - 6*x = -4*m. Does x = 17/4?
False
Let w(a) = 5*a + 5. Let c be w(-4). Let u be 28/(-7) - -46*(-3)/c. Which is greater: 6 or u?
6
Let m be 54/(-3432) + (-6)/22. Is 1 >= m?
True
Let y(n) = 12*n**2 - 3*n - 1. Let w be y(-3). Let k be w/14 - 4/14. Let t(q) = -q + 2. Let d be t(k). Which is greater: d or -7?
d
Let l(s) = -12*s - 1. Let v be l(-1). Let q(x) = -x**2 + 12*x - 9. Let u be q(v). Is u equal to 2?
True
Let v = -150 - -151. Let w be 6*22/(-69) - -2. Which is bigger: v or w?
v
Let p(i) = i**3 - i**2 - 12*i + 20. Let d be p(3). Let n = -6/71 - -622/639. Which is greater: d or n?
d
Suppose 16*t - 21*t = -3*f + 5, 2*f - 3*t = 4. Let k(v) = -2*v**3 - 2*v**2 - v - 2. Let j be k(-2). Is j at least f?
True
Let b = 3258.9 + -3259. Let d = 2.81 + -19.11. Let f = 15 + d. Which is greater: f or b?
b
Suppose 2*o - 7*y - 16 = -3*y, -5*o - 8 = 2*y. Is o bigger than -2/23?
True
Suppose 1325*n = 1332*n - 4270. Is 609 bigger than n?
False
Let t = -2061237/1990 - -5179/5. Is 1/2 at least as big as t?
True
Let r be 6/(-8)*2/(-3). Suppose 0 = 4*t - 16, -5*t - 4 = -z - 2*t. Suppose 0 = -4*n - w - 4, -w - 3*w = 3*n + z. Are r and n non-equal?
True
Let a = -11 + 11. Suppose 5*u + 55 = 3*s, -s + 2*s + 2*u = a. Are s and 0.1 non-equal?
True
Let s = -816 + 1345. Does s = 528?
False
Let o = 1387 + -4160/3. Which is smaller: 339 or o?
o
Let k = 7.128 - 0.028. Let j = 0.9 + k. Is -0.1 > j?
False
Let k = 26639/366666 + -1/5314. Which is smaller: 0 or k?
0
Let t(k) = -k**3 + 4*k**2 - 4*k - 2. Let a be t(2). Let r be a + 6/54*12. Which is greater: -0.29 or r?
-0.29
Let c = 162798/217 + -5238/7. Let b = -833/62 + c. Which is bigger: -12 or b?
b
Let o be 2 + (-313)/11 + 3. Is o less than or equal to -23?
True
Let z = 27986 + -15756124/563. Which is bigger: -1 or z?
z
Let q = -4.4 - -0.4. Suppose -3*o + 17 + 19 = 2*a, -4*a - 3*o = -84. Let b be 2/(-11) - a/110. Is b > q?
True
Let w = 7 + 1. Let x(n) = n**3 - 8*n**2 - n + 17. Let h be x(w). Suppose 5*k - 10 = 5, -2*k = 5*o - 51. Is o at least as big as h?
True
Let p = -2022 - -2023. Is p at least as big as 6/779?
True
Let y = 253.888 - 254. Is 0.1 < y?
False
Let m = 0 + 4. Let l be (-4)/10*99/(-9). Do m and l have different values?
True
Suppose 13*g = -8*g - 21. Which is smaller: -1/320 or g?
g
Suppose 209 - 223 = -14*g. Are 3/1180 and g equal?
False
Let o = 1/63 + 37/315. Suppose 3 = -6*j + 9*j. Let y be -8 + 4 - (j + -5). Is y equal to o?
False
Suppose 12*p = -v + 13*p + 13, 0 = v + p - 7. Are v and -11 non-equal?
True
Suppose 0 = -10*o - 782 + 772. Let t 