et q be -5 + (0 - a) + 3. Which is smaller: q or -8?
-8
Let m = 87.1 - 87. Let q = 4 + -2. Which is smaller: m or q?
m
Let j = -28 + 52. Is 0.1 >= j?
False
Let m be 332/14 - 2/(-7). Let v be (-4 - -6) + m/(-11). Suppose 4*s = 2*s - 2. Is s less than v?
True
Let d(z) = 4*z + 3. Let c be d(-2). Let i be 1 + -4 - c - -2. Let r(w) = -w**2 + 7*w + 4. Let o be r(7). Are i and o equal?
True
Let j be (-3)/(-1 + 2) + 0. Let q be j/(7/(280/12)). Which is greater: -11 or q?
q
Suppose -4*k - 22 = -2*y, k - 3 + 31 = 5*y. Which is smaller: 10 or y?
y
Let c = -0.22 - -1.32. Let k = 0.5 + -0.6. Let x = k + c. Which is smaller: 3 or x?
x
Suppose -5*t - 2*o - o - 29 = 0, 0 = -t - 3*o - 1. Let j be 1*2*t/7. Let l = -143/3 - -47. Is l less than or equal to j?
False
Suppose 3*o + o + 168 = 0. Is o greater than -40?
False
Let x = -248 + 3226/13. Which is greater: x or 0.4?
0.4
Suppose -2*c = -6*c. Let d = 8 - 5. Suppose 4*a - g = c, -a - g - 2 = -d*a. Is a at most as big as -1/2?
True
Let c(b) = 2 + 3*b**2 + 4 - 2*b**2 - 6*b. Let q be c(4). Let z = -2 - 0. Is z less than q?
False
Let g(s) = -67*s**2 - 4*s - 3. Let d be g(-2). Let x = 3421/13 + d. Let w(u) = u**2 + 7*u + 5. Let q be w(-6). Which is smaller: x or q?
q
Let o be ((-69)/6 + -1)/(-54). Let b = o + -1/108. Which is smaller: 0 or b?
0
Suppose -10*q + 2*q = -392. Is 49 bigger than q?
False
Let s = 15 + -19. Let r = -7 - s. Is r equal to -1?
False
Let b(i) = -i**2 - 4*i - 3. Let z be 1 - (-1 + -1)*1. Suppose -p = z*p + 12. Let q be b(p). Is q greater than or equal to 1?
False
Let y be 1/(-2)*-2*6. Let v be (-4)/y - (-8)/3. Which is smaller: 5 or v?
v
Let g(x) = -x**3 - 6*x**2 - x - 13. Let k(q) = 4*q**3 + 17*q**2 + 4*q + 40. Let a(f) = 7*g(f) + 2*k(f). Let d be a(8). Which is smaller: d or -1?
d
Let i be (-2)/4 - 2375/20. Let x = 120 + i. Is 0.4 >= x?
False
Let t = 97 + -95. Let q = -7 - -15. Is t smaller than q?
True
Suppose 4*r + 4*a = 16 + 12, 3*r - 2*a - 16 = 0. Let z = r - 5. Is z < -3/7?
False
Suppose 3*w - 4 = 20. Suppose -x + 117 = 5*a - w, 5*a - x - 115 = 0. Let t be ((-3)/a)/(1/2). Which is greater: 1 or t?
1
Let d = -319/260 - 3/130. Suppose 0 = 2*q - 10, 5*q + 0 - 26 = -c. Suppose -5*b + 2*b = -5*g + c, 5 = -5*g. Which is greater: b or d?
d
Let i(t) = -2*t + 11. Let z be i(5). Is 1 != z?
False
Let p(d) = 3 - d + 0 + 2. Let g be p(6). Which is smaller: 7 or g?
g
Let t = 0.9 - 1.4. Let g = 0.4 + t. Which is greater: g or 0?
0
Let w = 6 - 6. Are 1/7 and w non-equal?
True
Let f be (((-192)/15)/(-8))/((-2)/80). Is f > -64?
False
Let d = -11.3 + 23.3. Let w = -1 - -2. Is d < w?
False
Suppose 4*j + 3*c + c = -24, -c - 4 = 0. Let a = 685 + -688. Is j bigger than a?
True
Let h = -46 + 44. Is h at most -12/7?
True
Let o be 26 - 12 - (-5 - -1). Which is smaller: o or 17?
17
Let c = 0.03 + -10.03. Let y = c + 10. Are y and 1 nonequal?
True
Let l = 81/4 - 20. Which is bigger: -2.8 or l?
l
Let s(l) = l**3 - 7*l**2 + 6*l - 6. Let w be s(6). Let t be 4/w + 4/(-3). Let i = t - -2. Is 2/7 >= i?
True
Suppose 3*q + 3*j - 6 = 0, -4*q + 1 = 5*j - 2. Let o(f) = -f**3 + 8*f**2 - 8*f - 5. Let w be o(q). Which is smaller: w or -0.1?
w
Suppose -5*m - 6*r = -5*r - 29, -4*r = 3*m - 31. Let h = m + -6. Is 2/13 not equal to h?
True
Suppose -3*l - 120 = 3*r, r + 8 = 3*l - 36. Is r at most -41?
True
Let g = -14 + 44. Let h be 3/(g/(-34)) + 3. Is h at most 0?
True
Suppose 3*d = -5*g, 11 + 2 = -4*g - 5*d. Suppose 4*w + 0 - 20 = 4*q, q = -w - g. Let m = w - 1. Which is smaller: m or -1/5?
-1/5
Suppose 4*z - 3*n = 9 + 3, 4*n = 3*z - 16. Let v(m) = -m + 1. Let y be v(2). Is z bigger than y?
True
Let w = 50.9 + -51. Is w equal to -61?
False
Let g(t) = -t + 10. Let f be g(9). Let v = -2.057 + 0.057. Which is smaller: f or v?
v
Let c = -119 + 233/2. Let i = 5 + -9. Is c < i?
False
Let g be (-3)/6 - (-37)/14. Which is smaller: g or 3?
g
Suppose 2*p + s + 5 = 2, -3*s = 5*p + 10. Which is bigger: 7/8 or p?
p
Suppose 1 = 2*d - 5. Suppose a - v - 2*v + 10 = 0, -4*v = d*a - 9. Is a at most -1?
True
Let y be (-8)/28 + (-69)/(-21). Suppose -y*u = 3 - 15. Suppose 0 = 3*n + 3*v + 3, -3*n = n - 3*v - 31. Is u at most n?
True
Let g be 8/(1*(3 + -4)). Which is smaller: g or -9?
-9
Suppose -2*r + 4*j = 2 - 10, -5*r + 13 = -3*j. Let q be -3 + -1 + (-28)/(-5). Which is greater: q or r?
r
Suppose -3*u + 2 + 7 = 0. Suppose 2*a - 20 = -u*a. Let s = 7 - a. Is s equal to 1?
False
Let j be 2/(-62)*(5 + -2)*1. Which is bigger: j or -1?
j
Let u = -2.6 - -0.3. Which is bigger: -2/5 or u?
-2/5
Let s = -4 - -8. Suppose c + 4*d = -15, 1 = c + d + s. Which is smaller: c or 3/7?
3/7
Suppose 5*x - x = -4. Let n be (-3 - (1 - 3))*x. Which is greater: 1/2 or n?
n
Suppose 0 = -2*g + 4, 3*g - 1 = -3*n + 2. Let c(t) = -t**3 + 6*t**2 + 2*t + 1. Let s be c(6). Let h be s/15 + (-4)/6. Is h less than or equal to n?
False
Suppose 3*k + 3 + 0 = 0. Which is smaller: 2/7 or k?
k
Suppose -p + 4*p = -3. Let b be 6/4*-2 - -4. Do b and p have different values?
True
Let o = 4 + -3. Let g = -11 - o. Let i be (3/32)/(3/g). Do 0 and i have the same value?
False
Let s be 6/12*(-12)/21. Which is greater: s or 2?
2
Let v = 0.2 + 0. Let d = v + 0.4. Let l = d - -0.4. Is -1 less than or equal to l?
True
Let x(g) = 1 + 105*g**2 + 2*g - 55*g**2 - 51*g**2. Let u(t) = -t**2. Let v be u(1). Let h be x(v). Which is smaller: h or 2?
h
Let w(h) = 2*h**2 - 7*h + 5. Let x be (-2 - 3)/(-2 + 1). Let p be w(x). Suppose -4*j = -0*j - p. Which is greater: j or 4?
j
Let m = 14 - 12. Which is greater: m or 3?
3
Let a be (-1 - -2)/(23 - 20). Suppose 4*n - n = 0. Is n less than a?
True
Suppose -5*h = -2*h - 3*s - 12, 2*h + 2*s = 0. Let n be (-10 - -10)/((-2)/2). Which is smaller: n or h?
n
Let b(s) = s**3 + 8*s**2 + 7*s + 2. Suppose -7*w + 5*w + 30 = -4*l, 2*w = 2*l + 16. Let a be b(l). Is a < 2?
False
Let w be 69/(-12)*2 + 3. Let p = 9 + w. Are p and 2 equal?
False
Let n be (-2)/7 + -6 + 12123/315. Is n bigger than 33?
False
Let c = -10 - -5. Does -7/2 = c?
False
Let t(r) = r - 1. Suppose -27 = -4*s - 3. Let y be t(s). Does y = 5?
True
Let w be -2 + 9 + 1 + 3. Let b = -15 + w. Do 0 and b have the same value?
False
Let s(c) = -c**3 + 15*c**2 - 12*c - 29. Let j be s(14). Which is smaller: j or 2/7?
j
Suppose -5*a - a = 2*a. Let b be 33/42 + 1/(-2). Which is greater: a or b?
b
Let h(k) = 2*k**2 - 4 + 0*k - k**2 - 3*k. Let a be h(4). Suppose a = p + 4*p. Which is smaller: p or 1?
p
Let n be (-2)/(-5)*(4 + 1). Suppose 3*c + 8 = n. Is c at least as big as -6/5?
False
Let h be 8/(-36) + (-16)/(-18). Do h and 1 have the same value?
False
Let r = -1339/187 - -71/11. Is -1 != r?
True
Let a = 2.14 + -2.1. Let f = a - 3.04. Which is greater: -1/7 or f?
-1/7
Suppose -k + 5 = 0, -4*g + 2*k + 0*k + 26 = 0. Which is smaller: g or 2/3?
2/3
Let p = -20 + 5. Let c be (-2)/(-8)*24/p. Which is smaller: -0.1 or c?
c
Let j = -18.6 + 1.6. Which is greater: j or 0?
0
Let u = 0.4 - 0.5. Which is smaller: u or 7?
u
Let y = -16 + 10. Let r be 16/12 + 8/y. Is 12/11 bigger than r?
True
Let w(q) = -q**2 - 5*q + 4. Suppose 5*l + 29 + 1 = 0. Let d be w(l). Is -2 < d?
False
Let h = 1.9 - 2.1. Let c = -2 - -2.05. Let p = -2.05 + c. Is p greater than or equal to h?
False
Let d = -0.5 - -1.5. Let x = d - 1. Which is smaller: x or 2/7?
x
Let a(v) = 2*v - 9. Let s be a(6). Suppose -s*q = -q. Which is smaller: 0.12 or q?
q
Suppose 4*c + 12 = -4*w, -8 - 5 = 3*c + 4*w. Let s = 0.4 + -0.5. Let k = 0.2 - s. Are c and k nonequal?
True
Let m(v) = v**3 + 13*v**2 - 16*v + 7. Let i(c) = -2*c**3 - 26*c**2 + 31*c - 15. Let x(j) = 3*i(j) + 5*m(j). Let w be x(-14). Is 1 at least as big as w?
False
Let g be (-4)/14 - 2/(-7). Let a be ((-14)/(-4))/((-6)/12). Let w = -8 - a. Are w and g non-equal?
True
Let g be 5/(-3 + 115/30). Is 8 > g?
True
Let h(b) = -b**2 - 7*b + 10. Let s be h(-8). Suppose -3*p - 110 = s*p. Let l be 1*(p/(-10) + -3). Which is smaller: l or -2?
-2
Let j(w) = -w**3 - 13*w**2 - 11*w + 13. Let p be j(-12). Are 0.27 and p equal?
False
Let l = 1 + 2. Let j be l/(-9) + (-11)/21. Let i = j - -31/28. Which is bigger: 0 or i?
i
Let g be ((-8)/(-20))/((-3)/(-75)). Let y be (12/g)/(6/40). Is 8 <= y?
True
Suppose -2*l - 4*g - 16 = 0, -5*l + 4*g + 2 = -0*l. Which is bigger: l or -1?
-1
Let r(d) = -d + 16. Let u be r(12). Suppose -2 = u*s - 14. Which is