15 = 2*v + 3*v + 3*l. Let u be v*(-177)/(-171) + -2 + -1. Is u at least 1?
False
Let o = -3609/4 - -900. Which is greater: o or -3?
o
Let j(u) = u**2 - 4*u + 4. Let l be j(4). Let o(a) = 3*a**2 + 2*a + 2. Let w(h) = h**2 + 7*h - 1. Let c be w(-7). Let m be o(c). Are l and m equal?
False
Suppose 6*s + 10 = 2*s - 2*u, 5*u + 25 = 5*s. Is -2/1811 <= s?
True
Let t = -4/5 - -46/45. Is -2/3 < t?
True
Let q be 42/9 - 2/3. Suppose -5*v - q = 1. Let z = 61.2 - 61.12. Are z and v non-equal?
True
Let b be (-9)/(-11) - (-6)/33. Let g be (b/(-4))/((-3)/8). Let l(d) = d**2 + 6*d + 2. Let y be l(-6). Does g = y?
False
Let n(t) = -30*t + 4. Let g be n(-3). Suppose 2*u - r = 3*r - 32, g = -5*u + 3*r. Let o be (-8)/u + 3/5. Which is bigger: 2 or o?
2
Suppose 0 = 141*n - 142*n + 23. Which is smaller: 21 or n?
21
Let q be (-1 - -4)*(-1)/3. Let k = q + 7. Suppose k = -4*f + 22. Which is greater: 5 or f?
5
Let f(l) = -l**3 + 2*l**2 + 16*l - 6. Let h be f(5). Which is smaller: -3/164 or h?
h
Let o = -3 + 3. Suppose k - 18 = 4*l + 3*k, o = 3*l - 3*k. Let u be l + ((-1728)/100)/(-6). Which is smaller: 1 or u?
u
Let r be (-26)/65 - 16/210. Is r equal to -2?
False
Let j = 32 + -36. Let a be (-1 - j/16) + 244/(-16). Is -17 at least a?
False
Let j(n) be the second derivative of -n**4/12 - 7*n**3/6 + 3*n**2 + 2*n. Let g be j(-8). Let t be 96/(-90)*(-5)/g. Which is smaller: t or -2?
t
Let y be 5*(-4)/(-9)*28/(-70). Which is bigger: 0 or y?
0
Suppose -5 = -2*u + t, u - 2*t - 20 = 2*t. Let v = 714 + -23564/33. Which is bigger: v or u?
u
Let p = 0.95 - 1. Let t = 8.05 + p. Let z be (-30)/26 - -1 - (-2)/13. Which is smaller: t or z?
z
Let j(c) = -2*c**2 - 11*c - 1. Let n be j(-4). Suppose -2*i + 2*h - n = -h, 3*h - 3 = 0. Let r be (-4)/(-10) + (-111)/15. Is i not equal to r?
True
Let r = 220.8 + -201. Which is bigger: -2/5 or r?
r
Suppose 2*c - c = 0. Suppose 183 + 13 = -4*j. Let m = 50 + j. Which is smaller: m or c?
c
Let n = 0.848 + 0.052. Let y = n + -2.9. Which is smaller: 1 or y?
y
Suppose -2*c + 1 = -3. Let h(j) = j**3 - 7*j**2 - 8*j + 2. Let x be h(8). Suppose -4*p + p - 7 = 2*a, c*p + x = -4*a. Which is smaller: 7/4 or a?
a
Suppose 4 = -4*c - 0. Let i = c - 6. Is i > -4?
False
Let j = -24.875 - -0.275. Let v = j + 24. Let l = v + 1. Is l at most -3?
False
Let l(p) = p**3 - p**2 + p - 1. Let u(r) = -10*r**3 + 4*r**2 - 4*r + 4. Let z(b) = -4*l(b) - u(b). Let k be z(-1). Let t be ((-2)/4)/(k/(-9)). Is -2 at least t?
False
Let i = -560 + 511. Which is bigger: i or -387/8?
-387/8
Let q = 15/223 - -393/63778. Let h = q + 1/286. Which is smaller: h or -1?
-1
Suppose -3*m - 5*h + 21 = 0, 3*h - 4*h + 7 = 2*m. Suppose -2*s + 8 = 5*f, 4*s + m*f - 4 = -2*f. Which is bigger: -10/19 or s?
-10/19
Let w be (3 + 4 + -6)/((-3)/21). Is w < -8?
False
Let v be (1 - -5 - 2)*1. Suppose -v*w = -9*w + 140. Let n be 1841/63 - 2/9. Is n greater than or equal to w?
True
Let x = 26 + -40. Let c = -14 - 1. Let a = c - x. Do -0.05 and a have the same value?
False
Suppose -3*u = -8*u - 10. Let r be 4/u - (-3)/67*45. Is 1 at least as big as r?
True
Suppose -r = 4*j - 23, 5*r - 11 - 29 = -5*j. Suppose -3 = r*g - 51. Suppose -2*w = -x - 8 + 3, g = x + 5*w. Do -0.08 and x have different values?
True
Let f be -1 + 3 - (-7)/((-168)/(-20)). Which is smaller: f or -1/2?
-1/2
Let b(u) = u**3 - 44*u**2 + 47*u - 27. Let d be b(43). Is 144 > d?
False
Let q(i) = i**2 - 11*i + 22. Suppose 2*l = 13 + 3. Let g be q(l). Is -28/15 greater than g?
True
Let v be (-3)/9 - 1043/21. Which is greater: -51 or v?
v
Suppose 3*q = -32 + 44. Suppose 4*x - 2*u - 2 = 0, x = -3*x - 4*u - q. Is 10 > x?
True
Suppose 4*l = 5*o + 6, o = -4 + 2. Which is greater: -5/189 or l?
-5/189
Let t(f) = f**3 + 6*f**2 - 2*f - 3. Let g be t(-6). Let z be 0/3 - (-2)/(-1)*-3. Suppose -10 = -z*c + 2. Is c not equal to g?
True
Let d(i) be the third derivative of -i**4/24 - 4*i**3/3 + 3*i**2. Let h be d(-12). Suppose -5*x + 0*x = u - 10, 4*u = -h*x + 24. Are x and 2/33 equal?
False
Let y = -20 + 27. Let g = y + -9. Let r be (-5)/(-10) + 1/g. Which is smaller: r or 2/31?
r
Suppose -2*z - 3*t - 109 = 88, -3*t = 5*z + 506. Is z != -102?
True
Let a = -726 - 112. Is -837 < a?
False
Let h(j) = -24*j**2 - 13*j + 29. Let n be h(3). Do -227 and n have different values?
True
Let t = -0.84 + 0.58. Which is smaller: -2/13 or t?
t
Let b be -5 - 6*(13120/1965)/(-8). Which is bigger: -0.3 or b?
b
Let w(o) = 3*o**2 - 27*o - 29. Let h(g) = g**2 - 13*g - 14. Let t(q) = -5*h(q) + 2*w(q). Let d be t(-12). Which is smaller: 23 or d?
23
Let p = 0.35 - 0.06. Let h = p + 15.71. Do h and -0.1 have different values?
True
Suppose 14*r - 120 = -36. Suppose 28 = -r*k - 38. Is k less than -23/2?
False
Let s(w) = w**2 + w - 1. Let p be s(-2). Let i be 4/(-18) + (-365)/7227. Are p and i equal?
False
Suppose -33*g = -37*g - 32. Suppose 4*f = 8*f + 32. Let p = f - g. Is p less than 1?
True
Let h be 30/(-6) + (1 - -1) + 10. Let a = -7 + 13. Is h <= a?
False
Let d(i) = -14*i - 43. Let y be d(-3). Which is greater: -1/482 or y?
-1/482
Let p be (-56)/6*(-522)/(-232). Is p < -2?
True
Let z = -869 - -868.963. Is -8/7 > z?
False
Let c = 2.9 - 3. Let r = -0.7 + c. Let f be -2*-9*9/(-486). Which is bigger: f or r?
f
Let k be (-33)/(9/(-3)) - 1. Let x = k - 4. Let v be (x - 1)*11/(-44). Which is smaller: 0 or v?
v
Let n = -82 - -82.2. Let h = -0.05 - -0.08. Let o = h + 9.97. Which is bigger: o or n?
o
Let y(h) = 4*h - 7. Let q be y(2). Let j be (-4 - -5)*50/115. Do j and q have the same value?
False
Let q(i) = -i**2 - i + 1. Let j(r) = r**3 - 11*r**2 - 8*r - 1. Let y(g) = -j(g) + 5*q(g). Let f be y(7). Is -22 < f?
False
Let k = 388/18791 + 2/4945. Which is smaller: k or -1?
-1
Let l be ((-2094)/4)/(-1)*(-4488)/1683. Which is greater: l or -1397?
l
Suppose -37*b = -60*b + 92. Let g(m) = -16*m. Let x be g(-2). Let n be 1*-2 - x/(-6). Is b less than or equal to n?
False
Suppose 5*f - 2*g + 128 = 0, -5*g = 3*f - 13 + 65. Let n = f + 17. Are n and -2 equal?
False
Let v be 3 - (-99)/(-12) - (-25 - -21). Which is smaller: v or 2.04?
v
Let h = -1.22 - -0.54. Let y = h - -0.64. Is -1 less than or equal to y?
True
Let k be 3 + (2 - (0 - 0)). Suppose 6*l - l - k = 0. Let m be 20/28 + 0 - l. Are m and 1 non-equal?
True
Let l(a) = a**2 + 4*a + 5. Let i be l(-4). Suppose i = -w + 6. Is w greater than or equal to -2/17?
True
Suppose -32 = l + 3*y, -2*l + 11 - 78 = 3*y. Is -43 at least l?
False
Let w(u) = -8*u + 5*u + 5*u + 9 + u. Let a be w(-3). Let s be (-2 + 1)*6/14. Which is smaller: s or a?
s
Suppose 5*w - 3*v = 67, -8*v + 13 = 3*w - 3*v. Suppose -s + 3*s = -c + 25, 0 = 2*c - 6. Is w bigger than s?
False
Suppose 4*o - o - 3 = 0. Let x be 40/7 - (-5)/(25/(-20)). Which is smaller: o or x?
o
Let j = 3/289 - -4311/2312. Is j > 3?
False
Let l = -633 + 405. Is l less than or equal to -226?
True
Let c be (-10)/(-6)*(71 + -74). Suppose -2 = 4*n - 3*n. Let m be -1*(n - 8/(-3)). Is c at least m?
False
Suppose -5*q = -2*d - 0 + 3, 4*q - d = -3. Let i be (-6850)/575 + 16 - 4/1. Which is greater: q or i?
i
Let j = -2282 - -111824/49. Is 0 less than or equal to j?
True
Let s = 182/57 - 19/6. Let n be (4 + 1)*4/80*4. Which is smaller: s or n?
s
Let u be 210/(-30) + -40 + 4. Is -41 greater than or equal to u?
True
Let s be (-10)/(1 + 50/(-48)). Is s at most as big as 240?
True
Let g = -84127/71 - -1185. Which is greater: g or 0?
g
Let j be (-5)/(44/(-16) - -6). Which is greater: -3 or j?
j
Let a = 71/14 - -5/28. Which is bigger: 6 or a?
6
Let h = -15 + 9. Suppose -7*k + 10 = -9*k. Is k greater than or equal to h?
True
Let g be 27*5 - (16 - 16). Let o = -80 + g. Let l = o - 221/4. Are l and -2/43 non-equal?
True
Let c(d) = d**2 + 13*d + 2. Let w be c(-12). Let m be ((-23)/115)/(9/w). Let z be 1 - 2 - (0 + -1). Which is greater: m or z?
m
Let p be 46/(1 + -4 + 5). Which is greater: 15 or p?
p
Let b = 25 + -21. Suppose -b*r + 1 = r + m, -3*r + m = -7. Which is bigger: -3 or r?
r
Let j(f) = f**3 - 28*f**2 + 8*f + 30. Let a be j(28). Which is smaller: a or 253?
253
Let i = -12 + 4. Let j = -7.92 - i. Let n = j + 0.02. Which is greater: -0.2 or n?
n
Let d = -13 - -17. Let z = 80 - 401/5. Which is bigger: z or d?
d
Let z be 31449/30076 - 1/(-8)*-6. Let r = z + -23/73. Are r and 1 nonequal?
True
Let m be (-6)/(-9) + (-15)/36. L