 = -2*a, -5*a + 1 = 2*q - 30. Suppose 0 = -5*s + a - 0. Is s less than 1?
False
Let l(n) = 2*n**2 + 2*n + 1. Let p be l(-1). Let d be 9/((-144)/5)*2/(-10). Is p > d?
True
Suppose 3*u + 2 = 2*u. Suppose 4*i + 2 = -6. Is u < i?
False
Let g = -1.1 + 1.2. Which is greater: g or -1?
g
Let i(d) = -12*d**3 - d**2 - d - 1. Let c be i(-2). Let g be c/13 - 6/39. Suppose 0 = 2*h - 1 + g. Is h at most -3?
True
Suppose -2*c = -5*n + 3*n + 8, -c = 5*n - 26. Suppose 4 - 2 = 2*o + t, -8 = 5*o - 4*t. Which is smaller: c or o?
o
Suppose -6 = y + y - 4*a, -a = y - 9. Let m be (-2)/y + (-16)/(-30). Is m not equal to 0?
True
Let n = 156911/770 - 1019/5. Is -1 smaller than n?
True
Let h be 8/(-10) + 42/15. Let f be h + (-5)/(20/12). Is f <= -3?
False
Let i(l) = 7*l**3 - 3*l**2 - 2*l - 1. Let z be i(-2). Are z and -65 non-equal?
False
Let t = -34 + 32. Is t greater than or equal to -2/43?
False
Suppose 2*o - o + 3*m = -1, m = -3*o + 21. Let j be 16/(-260)*(-20)/o. Which is smaller: j or 1?
j
Let c(x) = -x**2 - 6*x + 6. Let m be c(-7). Is -2/7 < m?
False
Let u = 0.04 - -5.96. Which is greater: u or -4?
u
Let z = -7 - -6. Let k be (0 + 1 - 2)*0. Which is smaller: k or z?
z
Let m be (1 - -1) + 98/(-56). Which is smaller: -1.5 or m?
-1.5
Suppose 4*h - 485 = 5*o, 0*o + 2*o = 2*h - 240. Suppose 3*q - 8*q = h. Are q and -22 unequal?
True
Suppose -4*z + 7*r = 2*r - 5, -4 = 5*z + 4*r. Suppose z*m = -5*m. Do m and -1/3 have the same value?
False
Let i = 0 - -5. Let j = 16/3 - i. Let u = -111 + 110. Is u at most as big as j?
True
Let y = 0.33 + 19.67. Is y at most 0?
False
Suppose -6*o + o - 3*y + 4 = 0, -2*o = -5*y - 14. Suppose -4*c = -c + 2*z + o, -5*z + 14 = -2*c. Suppose -3*r - 6 = -r. Is c > r?
True
Let t = -15 + 9/2. Which is bigger: -10 or t?
-10
Let c = 620/3 + -211. Do c and -3 have the same value?
False
Let a be 20/6*3/2. Suppose -5*l - a*p - 30 = 0, 0*l + 16 = -l - 3*p. Let u be (l - -1) + (-4)/14. Is 1 >= u?
True
Let h be (-1)/(-2*(-1)/14). Is h greater than or equal to -9?
True
Suppose -k + 2 = k. Let f be -1 + (-4)/(-14)*k. Is -1 < f?
True
Suppose -5*y - 16 = -f - 5, 0 = -2*f - 3*y + 48. Is f > 20?
True
Let h(v) = -2*v - 17. Let k be h(-7). Which is smaller: k or -1?
k
Suppose v + 575 = 26*v. Which is smaller: v or 20?
20
Let j = 551/7 + -79. Let x = -934792/91 - -10272. Let w = j - x. Is w != 2/5?
True
Suppose 5*m + 52 = -3*z - 26, 2*m = -6. Let f be (-1)/3 + (-16)/z. Which is greater: 0 or f?
f
Let u = -7/11 + -5/44. Suppose 0 = -2*r - 4*x - 13 + 3, -x + 15 = 4*r. Let v(s) = -s + 4. Let j be v(r). Which is bigger: j or u?
u
Suppose 0 = s + 2*b - 35, 4*s + b - 88 - 17 = 0. Is s >= 28?
False
Let n be (-3)/(3 - (-1119)/(-374)). Let a = -5612/15 - n. Are 0 and a unequal?
True
Let d(a) = 2*a - 1. Let o be d(1). Suppose -8 = -2*x + 4*n, -9 + o = -2*x - n. Is 5 at least x?
True
Let c = -1 + 2. Let h = 0 - 0. Suppose 24 = 4*b - 5*f, h = -3*b - 5*f - 6 - 11. Is b bigger than c?
False
Let q(t) = -2*t**3 - 4*t**2 - 2*t. Let x be q(-2). Suppose 5*y + x*r - r = -2, -y = r + 2. Suppose p = 2*f, -p = -2*f + y*p - 4. Which is smaller: f or -2/9?
-2/9
Let x = -4/7 - 16/21. Which is greater: x or 2?
2
Let q(t) be the second derivative of t**5/20 + 5*t**4/12 - 7*t**3/6 + t. Let v be q(-6). Let s be (-1)/((1 + 1)/v). Is -4 at most as big as s?
True
Let s = 11.7 - 11.6. Which is bigger: s or 9?
9
Suppose 4*h + 7 = 3. Suppose 2*r = 5*b - 1218, b = -3*r - 0*r + 230. Let x = 4112/17 - b. Which is bigger: h or x?
x
Let n = 9.6 + -9. Let l = n + -0.5. Which is smaller: l or 1/2?
l
Suppose -108 = -5*a + 2*p - 25, 37 = 3*a + 2*p. Suppose -y = -3*q - 3, 5*y = -0*y - 4*q + a. Let d be 2/8 + y/(-6). Is 3 at least as big as d?
True
Let k be (-12)/9*(-3)/(-2). Suppose o + 2 = 3*h + 5, 5*o - 4*h + 7 = 0. Are k and o equal?
False
Let t(x) = -2*x**3 - 2*x**2 - 2*x - 1. Let g be t(-1). Let q be 0 - (-2 + (-32)/(-18)). Which is smaller: q or g?
q
Let d(y) = y + 7. Let f(w) = w - 1. Let j be f(5). Suppose g = -j*g. Let u be d(g). Is 7 at least u?
True
Suppose 8*z + 240 = -4*z. Are -19 and z nonequal?
True
Let i be (0 - -1) + 110/2. Let j be 104/i - 2/(-14). Is j greater than or equal to 1?
True
Let a = 3 + -4. Let y = -0.13 + 1.13. Is a greater than y?
False
Let q be (3/(-1))/(0 + -1). Let s = 0 - 0. Suppose -5*h - q - 2 = s. Do h and -1 have different values?
False
Let j(o) = 9 - o**2 - 1 - 8*o - 1. Let x be j(-9). Let b be (-4 + 2)*1/x. Are 1/4 and b unequal?
True
Let p = -0.41 + -0.55. Let f = p - 0.04. Do -0.03 and f have different values?
True
Let c = 1.94 - -0.06. Suppose 48*w = 43*w - 5. Which is bigger: c or w?
c
Let b be -5 + 3 + 69/36. Which is smaller: b or -2/3?
-2/3
Let z(p) = p**2 - 16*p. Let b be z(16). Is b <= -1/17?
False
Let g be 244/80 + -2 + -1. Which is bigger: 1 or g?
1
Let z(c) = -c**2 - 5*c + 8. Let s be z(-6). Suppose i - s*i = -20. Let n be (-1)/5 + (-16)/i. Are -1/2 and n equal?
False
Suppose 0 = 4*w - 14 - 74. Is w at least 22?
True
Let a = 14 - 22. Let v = a + 8. Which is bigger: v or 7/5?
7/5
Suppose -2*t - 6 = t. Which is greater: t or -1?
-1
Let i(o) be the second derivative of -o**4/12 - o**3 - o**2 + o. Let y be i(-5). Suppose 0 = -4*t + 12, -y*n - 3*t + 0*t = -15. Which is bigger: 4/5 or n?
n
Let b be (8/(-6))/(5/15). Let m(w) = w**3 - 5*w**2 - 2*w + 4. Let s be m(5). Let p = b - s. Which is smaller: 3 or p?
p
Suppose 2*f - 54 + 306 = 0. Let t be 161/f + 3/2. Is 4 bigger than t?
True
Let h = 71 - 46. Let t = h - 24.9. Let j be 22/(-30) - (-2)/6. Does j = t?
False
Let r(v) = -4*v + 51. Let i be r(15). Is -8 smaller than i?
False
Let s(b) = -b**2 - 3*b + 2. Let l be s(-4). Let n(f) = 2*f**3 + 2*f**2 - 2*f + 1. Let z be n(1). Let k be 2/2 - (-1 + z). Which is smaller: l or k?
l
Let v = -30 - -27. Is v smaller than -1?
True
Let h = -1.5 + 2.4. Let u = 0.9 - h. Are -1/4 and u equal?
False
Suppose 0 = 4*x + 16, -21 = -3*j + x + 1. Suppose -j - 6 = 4*m. Is m at least -3?
True
Let h be (-6 - -3)/(-3)*13. Let n be (-36)/84 + h/14. Let z = -0.1 - -0.2. Is z less than n?
True
Let h be 4/(-14) + (-1608)/(-42). Which is smaller: h or 39?
h
Let t(q) = -q**3 - 5*q**2 + 2. Let x be t(-5). Let b be (x/(-6))/(3/9). Which is bigger: b or -2?
b
Let a(p) = 7*p**3 + p**2 - 11. Let j(u) = u**3 - 1. Let q(c) = a(c) - 6*j(c). Let x be q(0). Is -7/2 bigger than x?
True
Suppose -17 = s + 4*x, -2*s = 3*s - 5*x - 40. Which is smaller: s or 4?
s
Let g = -1 - 1. Let z = 1.8 + g. Let c = -3 + 2.9. Which is greater: z or c?
c
Let c = 31/4 - 263/36. Is -0.1 >= c?
False
Let u be 1*-3*5/(-15). Let k = -2558 - -150918/59. Let s = k + 130/177. Are s and u equal?
False
Let m be (-75)/27 - 8/36. Which is greater: m or -4?
m
Let i = 19 - 16. Suppose -2*c - 2*q = 20, -4*c + i*q = 6*q + 37. Which is greater: c or -8?
c
Let l = -59.8 + 60. Is l less than or equal to -0.1?
False
Let a = 34 - 34.1. Let w be 26/(-3) - (-3)/(-9). Let k be (-2)/w - (-19)/(-45). Which is smaller: a or k?
k
Let y be (-2)/(-6)*(-9)/(-2). Suppose -5*s = b - 20, -b - 10 = -s - 4*s. Suppose -4*r = -b*r. Which is smaller: y or r?
r
Let v = -9 + 4. Is -7 at most as big as v?
True
Let f(z) = -z**3 - z**2 - z - 1. Let a be f(-1). Suppose -3*y - 9 = -a*y. Is -3 bigger than y?
False
Let j = -72.9 + 77. Let h = 13 + -12.9. Let g = h - j. Is g > 1/4?
False
Let l(i) = i**2 - 3*i - 1. Let b be l(4). Suppose 0*s = -b*s. Let d(j) = j - 8. Let a be d(7). Is a not equal to s?
True
Let w be 1/(-4) + (-69)/12. Let n(v) = -v**2 - 3*v - 2. Let s be n(-4). Is w bigger than s?
False
Suppose 2*p = -8 + 4. Let g be (-4)/(-6) + (-2)/3. Which is bigger: g or p?
g
Let g be (-2)/(-4)*(-1 - -1). Let z be (-20)/(-4)*(-4)/(-5). Let n = -3 + z. Which is smaller: g or n?
g
Let f(g) = -2*g**2 - 21*g + 18. Let h be f(-14). Which is greater: h or -79?
-79
Let g be (0 - 0) + (12 - 11). Is 1 greater than g?
False
Suppose 3*v + v = -20. Let h = -1 - v. Which is bigger: 3 or h?
h
Let s = -9055/3 + 2990. Let t = 28 + 0. Let j = s + t. Are j and -2 non-equal?
True
Suppose -y - c = 0, 8 = -3*y + 2*c + 3*c. Let i be ((8/(-10))/y)/(-1). Which is bigger: -0.1 or i?
-0.1
Let c be (1/6)/((-18)/(-72)). Which is bigger: c or 0.11?
c
Suppose f + 3*f - 8 = 0. Suppose -2*r = -6 - 6. Let w = r - f. Is 3 equal to w?
False
Let i be (5/((-25)/114))/((-6)/(-30)). Are i and -114 nonequ