17, 4*w + 3*o - 4 = -10. Let f be -2*((-5)/2 - w). Which is bigger: f or j?
f
Let l(v) = -v**2 + v - 5. Let t be l(5). Are -25 and t equal?
True
Let k = -23 - -10. Let v = k - -5. Let t = -13 - v. Is t greater than -4?
False
Let x(a) = a**3 + 5*a**2 + 6*a + 9. Let h be x(-3). Is h >= 6?
True
Let g be (-9)/6*(-4)/45. Let h(f) = -f - 2. Let m be h(2). Let w = -4 - m. Is g less than or equal to w?
False
Suppose 0 = 2*d + 2*d. Which is smaller: -1/38 or d?
-1/38
Let r = -3.92 + -0.08. Let h = -4.1 - r. Suppose -l = -6*l. Which is greater: h or l?
l
Let q be ((-3)/(-45))/(1/3). Let g = -2 + 5. Suppose 3*n - g = -0. Which is bigger: n or q?
n
Suppose -4*q + 9 - 1 = -4*a, 2 = 4*q - a. Suppose q = 5*c + 2*l - 33, 8 = 4*c - 3*l - 0. Which is smaller: c or 6?
c
Let d be 2*3*3/(-9). Which is smaller: -3/5 or d?
d
Let r = -38/3 - -11660/921. Do -1 and r have the same value?
False
Suppose -2*w = -4*w + 4. Suppose -5*d + 13 = -z + 2*z, 11 = 5*z - w*d. Which is smaller: z or 4?
z
Let t = 891 - 8039/9. Does -2 = t?
False
Suppose a + 32 = -3*a. Let q be (-1)/((-4)/(a*1)). Is q <= -9?
False
Let h(m) = -m + 3. Let s be h(7). Let a = 8 + s. Is 4 > a?
False
Let c be (-16)/7 - -2 - (-948)/3465. Is c greater than -1?
True
Let h = 5035/6 - 831. Let t = 17/2 - h. Which is smaller: t or 1?
t
Let b(c) = -c**2 + 16*c - 16. Let n be b(15). Which is bigger: n or -1/55?
-1/55
Let f(t) = t**3 - 12*t**2 - 27*t + 4. Let k be f(14). Is 20 < k?
False
Suppose 0 = -6*u + 2*u - 20, 0 = -4*p + 3*u + 23. Suppose -p*a = -f, 2*a - f = f. Let l = 202/495 + 2/55. Is l > a?
True
Let v = 11 + -7. Suppose 5*x + 6 - 26 = 0. Is x at most as big as v?
True
Suppose -5*t + 25 = 4*p, -2*t = -0*t - 10. Which is greater: 4/13 or p?
4/13
Let i be ((-30)/(-8))/((-6)/(-24)). Suppose 1 - i = -p - 5*t, 10 = 2*p + t. Which is greater: 0 or p?
p
Suppose 4 = z - 1. Suppose 4*v = -4*q + 24, -z = -2*v - 4*q + 17. Which is greater: v or 2?
2
Let h = -2.3 - -2.9. Let g = -21.2 - -21. Which is smaller: h or g?
g
Let x(q) = -q**2 - 8*q. Let w be x(-6). Suppose -5*l + 4*l - 5*j - 21 = 0, w = -2*l - 4*j. Let f be ((-12)/l)/(0 - -1). Is -4 <= f?
True
Let c = -5 - 1. Let q(d) = d**3 + 5*d**2 - 5*d + 1. Let o be q(c). Which is bigger: -6 or o?
o
Let q(o) = o**2 - 4*o + 4. Let m be q(4). Which is smaller: m or 1?
1
Suppose 4*v - 48 = v. Is v less than 16?
False
Let a(d) = d**2 + 6*d - 8. Let z be a(-7). Let v be (z/(-3))/((-2)/(-4)). Let f = 50 - 49.6. Which is smaller: f or v?
f
Let b = -0.09 + 1.09. Let t = 1.63 - 1.6. Which is smaller: t or b?
t
Let v = -0.1 + -1.9. Which is smaller: v or 21?
v
Let j be -1 - (1 + 2/(-2)). Let u be (2 + j)/((-2)/2). Let w = 22 + -22. Which is bigger: u or w?
w
Let q = -0.1 - -1.1. Let m be (-4)/(-6) - (-56)/(-63). Is m >= q?
False
Let j(h) = -2*h**2 + h + 1. Let a be j(-1). Suppose -79 - 187 = 2*y. Let i = y - -663/5. Are a and i equal?
False
Let n = 0.433 + 0.067. Let x = -2 - -3. Which is smaller: n or x?
n
Suppose 0*r - 2*r = -10. Let h = -2 + r. Suppose f - 3*b + h = 18, -4*b - 20 = 4*f. Which is smaller: f or -2/3?
-2/3
Suppose 0 = -w - 4*c + 2, -5*c = 0. Suppose -116 = 2*o + 4*t, -4*t - 71 = w*o - 9*t. Let r be 1 + 0 - (-54)/o. Is -1 bigger than r?
False
Let p = 40 + -59. Is -19 greater than p?
False
Let j be 6/(7/(-14) + (-7)/4). Are 1/2 and j equal?
False
Suppose -5*q + 5*k - 15 = 0, 15 = -2*q - 0*k - k. Let r be q/(-9) - 4/6. Is r less than or equal to 7?
True
Let d = -101 - -96. Which is greater: d or 11?
11
Suppose 7 = 8*r + 15. Let p(b) = b**3 + 4*b**2 + b + 3. Let l be 2/(-5) + (-54)/15. Let v be p(l). Is v less than r?
False
Let c = 8 + -38/5. Is c less than -10/9?
False
Let w be 8720/75 + (-2)/(-5). Let i = 118 - w. Is i greater than or equal to 1?
True
Let l(s) = s**2 + 5*s + 4. Let i be l(-4). Suppose 26 = 3*z - i*r - 4*r, 36 = 5*z - 3*r. Let v be 4/10*(-9)/z. Is v at most 0?
True
Let z = -7.0038 + 0.0338. Let u = z + 7. Let j = 0.17 + u. Is j greater than or equal to -0.1?
True
Let z be ((-3)/2)/(6/(-20)). Let w = z + -10. Let o be (-3 - w) + 1*2. Is o smaller than 4?
False
Let u = 44/3 - 14. Is 15 != u?
True
Let i(w) = -2*w + 1. Let c be i(5). Let a be c/2 + (-3)/(-2). Is -6 at least as big as a?
False
Let q = -64/3 + 20. Which is smaller: q or 2/3?
q
Let b(p) = -p**2 - 6*p - 6. Let a be b(-5). Which is greater: a or -2/15?
-2/15
Let y(w) = w**3 - 5*w**2 - 2*w + 1. Let c(r) = 3*r**3 - 9*r**2 - 5*r + 2. Let p(l) = 2*c(l) - 5*y(l). Let o be p(-7). Which is smaller: -3/8 or o?
o
Let y be -15*-3*3/27. Let l(q) = -q + 3. Let w be l(y). Is w > -3?
True
Let m(y) = y**3 - 6*y**2 - 2*y + 7. Let v be m(5). Let r be v/12*2/7. Is -1 bigger than r?
False
Let x = -7/39 - 2/13. Let c(r) = -r**3 - 5*r**2. Suppose h + 1 = 2*j + 2*j, j = -1. Let m be c(h). Which is bigger: m or x?
m
Suppose 0 = -q - 5*q. Is q < 2.4?
True
Let g = 40 - 523/13. Which is bigger: -0.3 or g?
g
Let s be (-2)/((-4)/1)*-14. Suppose -2*h = 2 + 10. Are s and h equal?
False
Suppose 0*g = 5*g. Suppose v + 3*v + 12 = d, -2*d - 3*v - 9 = g. Suppose d = l + 3*l. Is l less than or equal to 1/3?
True
Let d = 266/3 - 88. Let y(f) = -f**3 - 5*f**2 - 2*f - 6. Let z be y(-5). Let k = -2 + z. Is k equal to d?
False
Let j = -3.01 + 3. Suppose -4*b = -3*t - 15, 0 = b + 3*t + 5 + 10. Which is bigger: b or j?
b
Let n = 3.04 + -0.04. Let m = n + 0. Let f = 8 - m. Is 1 greater than or equal to f?
False
Let j be ((-1)/4*2)/2. Let l be (4/(-48))/((-3)/6). Which is smaller: j or l?
j
Let u = 6 - 11. Let a = -10 - u. Is -5 smaller than a?
False
Let f = 111/5 + -887/40. Let j(t) = t - 2. Let y be j(2). Is f smaller than y?
False
Let m = -135/2 + 4729/70. Which is bigger: 0 or m?
m
Let i be (24/55)/((-7)/((-140)/(-8))). Which is smaller: i or 0?
i
Let c(y) = 3*y - 1. Let g = 5 + -3. Let p be c(g). Suppose p*j - 2 = -7. Is 0 smaller than j?
False
Suppose 0 = -j + 4 - 1. Is j bigger than 2?
True
Suppose 8*v + v = 198. Suppose 110 = 4*q + q. Do q and v have different values?
False
Let g(w) = -w**2 + 26*w - 8. Let y be g(11). Let m = y - 1725/11. Suppose 4 = -a, -3*a = -2*s + 3*s + 12. Do s and m have different values?
True
Let o(m) = -6*m**2 + 2*m - 1. Let i be o(1). Let s = i + -12. Let k = s - -35/2. Is 0.1 <= k?
True
Let h be -2*1 + (-42)/7. Let c = -4 - h. Let a be c*(1 + -2 + 0). Which is smaller: a or 1?
a
Let j be (-4)/16 - 42/(-8). Suppose j*y - 41 - 3 = 2*h, 15 = 5*h. Which is bigger: 0.1 or y?
y
Let p be 0/(-1*1/(-1)). Are -12/19 and p equal?
False
Suppose -i = -2*v - 1, -2*i + 10 = -2*v + 4. Suppose -3*l = v*p + 15, p = -0*p + 5*l - 1. Let t be 1 - (-5)/(10/p). Is 1 <= t?
False
Suppose 12 - 27 = -3*u. Suppose i - 5 = -2*z, -5*i - 6 = -u*z + 14. Let a be (1 + 62/(-60))*-3. Is a at least i?
True
Let r = 2 - 2. Suppose r*j + 5*j = -40. Let i be ((-2)/3)/(j/12). Is -1/3 at least i?
False
Let z = 67 + -61.1. Let k = 6 - z. Let v = 0.06 - 0.1. Which is greater: v or k?
k
Let q = 2.02 - 1.92. Is q at most -3/8?
False
Let p = -54 + 54.2. Are -4.7 and p non-equal?
True
Suppose 5*z - 2*z = -4*k - 5, -2*k - 35 = -5*z. Let m be (-145)/(-4) + k/20. Let q be m/(-77) + 4/22. Which is bigger: 0 or q?
0
Let f(b) be the third derivative of -b**4/24 + b**3/6 - 2*b**2. Let p be f(1). Suppose a = -4*a. Is p bigger than a?
False
Suppose 3*c = -b + 8, 0 = -c - 0*c - 4*b - 1. Suppose c*p = -2*p - 5. Are -3/5 and p equal?
False
Let d = -3/5 + 4/15. Suppose -2*x = 3*u - 4 - 0, -3*x + 6 = -u. Let a = -1 + u. Is a at least d?
False
Let o be (-2)/((-8)/(-1))*-2. Let i = -0.2 - -1.2. Does o = i?
False
Let k = -3.049 - -0.019. Let h = -23.97 - -24. Let x = h + k. Which is smaller: -1/2 or x?
x
Let h = 323/1106 + -1/158. Let f = 2453/9 - 273. Which is smaller: f or h?
f
Let a = 806 + -4044/5. Do a and -3 have the same value?
False
Let z = 3.05 - 3. Let b = -0.05 + z. Is 0 at least b?
True
Let a be 3 + 9/(9/(-2)). Let p = -97 - -295/3. Let w = a - p. Which is smaller: w or 0?
w
Let a = -6.16 - -0.16. Let d = 9 + a. Is d less than or equal to -1/2?
False
Suppose 0 = j - 4*j - 3. Is j greater than -3?
True
Let v = 1060 - 47702/45. Which is smaller: v or 1?
v
Let v = -0.65 - -0.7. Is -1 less than or equal to v?
True
Let q be 8/12 - (-2)/6. Let i be 35/(-10)*(-1)/14. Are i and q non-equal?
True
Let p(g) = g + 6. Let h be p(-4). Suppose h*s = s + 4. Is s > 