- 3 - u. Let g be (-9)/(-26) - 2/4. Is g equal to k?
False
Let f be 2/(-43) + 2/(-4). Let v = f - -2/43. Which is smaller: -2 or v?
-2
Let l(s) = -s**3 + 6*s**2 + 7*s + 1. Let u(t) = -t**2 + 12*t - 4. Let f be u(8). Suppose f = 3*j + j. Let c be l(j). Is c greater than 0?
True
Let a = -3 + 3. Let g = -8 - -3. Let m be 6 + g + 1/(-3). Is a greater than or equal to m?
False
Let s = 19652/7 + -274823/105. Let t = s - 190. Are 1 and t unequal?
True
Let o(p) = 0 + 7*p - 6 + 4*p**2 - 2*p**3 + p**3. Let b be o(5). Is 3 less than or equal to b?
True
Let t be -1*(2/2 + -2). Suppose 2*m - 24 = -30. Which is greater: t or m?
t
Let b be (-23)/(-7) + (-6)/21. Let x be (-13)/3 + 6/b. Which is bigger: -2 or x?
-2
Let d = -3 - -12. Let v = 14 - d. Is v != -2?
True
Let f be -4 + 2*3/3. Is f at most 1/2?
True
Let m be ((-7)/42*8)/(6/9). Is m < -22/17?
True
Let x = -11 - -23/2. Let q = 0 - 0.1. Which is smaller: q or x?
q
Let q = -7 + 12. Suppose -5*b + 0 = -q. Let l be (-7)/28 + 2/24. Which is smaller: b or l?
l
Suppose 2*h = -0*h - 2. Let g be 0*3/(-9) + -2. Let l be (-2 + -1)/((-3)/g). Are h and l nonequal?
True
Let t = -17311896/29 - -597076. Let j = t - 114. Is 1 greater than j?
True
Let p be (-721)/35 + 2/(-5). Is -22 at most p?
True
Suppose -3*x = -2*x + 5*f - 13, 0 = 4*x - f - 10. Suppose x*h - 7*h = -4. Which is greater: h or 2?
2
Let s be (-2)/54*-6 - 51/(-135). Let t(k) = k**3 + 5*k**2 + 4*k + 3. Let o be t(-4). Suppose o*z - 7*z = 0. Is z at least s?
False
Let i = 1.7 + -1.35. Let x = -0.24 + i. Do x and -1/3 have the same value?
False
Suppose -v - 8 = 5*y, -3*y - 2*y - 32 = 4*v. Which is bigger: 0 or v?
0
Let a = 6 - 7. Let r = 1 + a. Which is smaller: r or 4/3?
r
Suppose -4*g = -9*g + 55. Suppose -2*w - 4 = 3*h + 3, w + g = -4*h. Let n = 5 + -8. Are n and h non-equal?
False
Let d = -1/7 + -5/14. Is -2/3 greater than or equal to d?
False
Suppose -3*h = -3*z + z - 47, 0 = -4*h - 5*z + 32. Which is smaller: 14 or h?
h
Let t be (-27)/19 - (11 + -12). Let a = -97/95 - t. Is a less than 0?
True
Let i(k) = -4*k + 41. Let z be i(10). Which is bigger: z or -1/35?
z
Let w = -459 - -24326/53. Is w smaller than 1?
True
Suppose 3 = a, 0*g = -2*g + 3*a + 1. Suppose -2*h + 18 = -5*s - 2, g*s - 10 = -4*h. Let u be (1 - -1)*3/(-2). Is s less than u?
False
Let b(p) = 2*p**2 + p - 4. Let g be b(-2). Is g >= 1?
True
Let r = -12 - -18. Suppose -y = -5*p - 2*y + r, -20 = 5*y. Is p greater than 2?
False
Let o be ((-10)/(-25))/((-2)/10). Let n = o + 3. Let a(p) = -2*p**2 - p + 1. Let c be a(n). Is -2 greater than c?
False
Let c = -0.4 - -0.5. Is -1.2 at most c?
True
Let b(g) = -4*g**2 - 4*g - 3. Let p be b(-1). Which is smaller: -1 or p?
p
Let o(z) = -z - 3. Suppose 0 = -2*y - 3*f + 3, 2*y - 2*f = -0*y - 12. Let s be o(y). Is -2/21 >= s?
False
Let z be (32/(-10))/(-4)*30. Suppose -2*w - 3*s = -7*s + z, 3*s - 15 = 0. Is 3/2 < w?
False
Suppose -3*y = 3*w - 18, -5*w - 8 = 12. Suppose y + 0 = -5*q. Is -2 bigger than q?
False
Suppose 11 = s + 3*u, 0 = -5*s + u - 4*u - 5. Let j be 0 - (-2)/((-8)/s). Which is smaller: j or 1/13?
1/13
Let r = 8 + -11. Let y = 5 + r. Which is bigger: y or -1/5?
y
Let i(g) = 5*g**2 + 1. Let s be i(1). Suppose s = m - 2. Suppose -4*c + 33 = 5*l, 2*l = -3*c - 2*l + 25. Is m > c?
True
Let y = -2 - 6. Let k be (40/(-18))/(y/(-300)). Let m = 84 + k. Which is smaller: 1 or m?
m
Suppose 2*h = 42 + 16. Are 29 and h equal?
True
Let w = 16.8 - 17. Let j = 0.1 + 0. Let u = 0 - j. Which is smaller: u or w?
w
Let z be 807/(-9) + (-1)/3. Let d be 28/15 + (-12)/z. Which is smaller: d or 8/3?
d
Suppose 27 - 11 = 4*m. Suppose m*y + 12 = 4*l, 2*y + 10 = -2*l - 0*l. Which is bigger: 0.1 or y?
0.1
Let h(u) = 4*u - 9. Let n(c) = 5*c - 10. Let m(w) = -4*h(w) + 3*n(w). Let v be m(7). Which is greater: -2/5 or v?
-2/5
Let q be (-2)/(-3)*(-15)/(-2). Let b(y) = -y + 5. Let d be b(q). Let v be -3 + 6 + -3 - d. Is -2/7 less than or equal to v?
True
Let q be (-1)/3 - 40/(-12). Suppose 5*j - 582 = 2*j - 4*b, -603 = -q*j + 3*b. Let v be (-12)/66 + 80/j. Which is smaller: v or 0?
0
Let a = -52 + 55. Let s = 3.1 - 3. Is a greater than or equal to s?
True
Let d(n) = -25*n**2 - 9*n - 9. Let t be d(-1). Which is bigger: -24 or t?
-24
Let v = 141/14 + -17/2. Is v < 2?
True
Suppose 5 = -4*q + 3*q. Let s be 2/q - (-8)/(-5). Let p be -2*(-1)/20*285/(-38). Is p less than or equal to s?
False
Let d(f) = -f**2 - 3*f + 12. Let i be d(-6). Which is smaller: i or -2/9?
i
Let i = -27 - -39. Is 16 bigger than i?
True
Suppose 0 = -0*g - g + 1. Suppose -g - 1 = -w. Is 2 bigger than w?
False
Let m be 146/(-234) - (2 + -4). Let g = m - 15/13. Which is greater: g or -2/7?
g
Let z(d) = -d**3 + 11*d**2 - 2*d - 7. Let i be z(3). Which is greater: 0.1 or i?
i
Let n be ((-28)/(-10))/(15 - 13). Does n = 0?
False
Let x be (4/6)/((-20)/(-30)). Suppose 4*b + b - 5*m = 15, 0 = 4*b + 5*m + 33. Is x greater than or equal to b?
True
Suppose -18 = -g + 2*j, -5*j = -0*j + 15. Let a = g + -13. Is -2/31 smaller than a?
False
Let n = 469 + -1420/3. Which is smaller: -4 or n?
n
Let b = -1.4 + 0.4. Let t = b + 0. Let a = 0 + t. Which is bigger: a or 3/7?
3/7
Let y(s) = -s + 4. Let b be y(5). Let o be 9/(-15) + (-23)/(-55). Is b greater than o?
False
Let x = -18/11 + 61/44. Is x at least as big as 1?
False
Let r(o) = -6*o**2 - 16*o - 20. Let t be r(-5). Which is smaller: -91 or t?
-91
Let q = -1.7 + 1.7. Is 1/4 != q?
True
Let g be 29/(-10) + 21/(-35). Is g < 0?
True
Let l(n) = n**3 + 8*n**2 - 57*n - 5. Let a be l(-13). Which is greater: a or -110?
a
Suppose -m = -4*b - 2 + 3, 61 = 3*m + 4*b. Suppose a + 6 = 1, 5*w + 2*a + m = 0. Do 2/77 and w have the same value?
False
Suppose -2*o = -y - 10, 0 = -4*y - 4*o + 15 + 5. Suppose -5*m + 24 = 4*r - y*m, 4*r + 3*m = 16. Let j = 1153/5 + -231. Is j >= r?
False
Suppose 3*l - 4*r + 1 = r, -4 = -4*l + 4*r. Suppose 0 = l*i + 2*i - 3*q - 36, 5*i = -q + 48. Let v be (-2)/i + (-52)/90. Is -1 at least v?
False
Let m = -7 - -15/2. Let q(p) = p**2 + 2*p + 1. Let f be q(-1). Suppose -3*c = -f*c - 3. Is m >= c?
False
Let o = 4 - 1. Let h(a) = -a + 1. Let l(f) = 4*f - 6. Let g(r) = 3*h(r) + l(r). Let d be g(o). Which is smaller: -2 or d?
-2
Suppose -9*q - 22 = -7*q. Let k = -12 - q. Let s be (-2)/4*2*3. Is s at most as big as k?
True
Let k = -11 + 14. Let l be -3 + 2 + (0 - -2). Which is greater: k or l?
k
Let t = 6.9 + -5. Let j = t - -0.1. Which is greater: 3 or j?
3
Suppose -4*q + 9 = 1. Suppose q*g = 3*g + 2. Which is smaller: -8/3 or g?
-8/3
Let a be 1 + 0 + (-96)/105. Let t = a + 17/35. Which is bigger: t or -1?
t
Let y(m) = 7*m + 6. Let z(n) = 20*n + 17. Let c(x) = 17*y(x) - 6*z(x). Let j be c(0). Which is smaller: j or -5/4?
-5/4
Let l be 15/(-4 - -3)*2/(-6). Does l = -2/3?
False
Suppose 197*a = 195*a + 2. Is a equal to -2/147?
False
Let h(p) = -p**3 + 6*p**2 + 9*p - 5. Let l be h(7). Let o = 4 - l. Let i be (-2)/o - 12/105. Is i greater than 1?
False
Let f be (-2)/12*4/7. Suppose b = 4*i - 3, -3*b = -2*i - 2*i + 9. Is i at most f?
False
Let t = 43/3 - 218/15. Let n = 2.03 - 0.03. Is t greater than n?
False
Let z be (8/2)/(5/30). Suppose -5*o = 109 - z. Let g be o/2 - (-6)/4. Are g and -7 equal?
True
Let u = -0.018 + 0.018. Suppose -2*v - 134 = 106. Let z be 46/v + 1/4. Is u equal to z?
False
Let w = 3.9 - -1.1. Let d = w - 4.7. Let k = d + -0.1. Which is bigger: k or 2?
2
Let h = 0 + -1. Let t = 17 + -10. Let v = 4 - t. Which is smaller: v or h?
v
Let g be (6/(-116))/(12/16). Are g and 0 nonequal?
True
Let t be 4*1 - (-220)/(-40). Are -3 and t non-equal?
True
Suppose 14 = 5*h - p, -h = 3*p + 11 - 1. Let v = 136 - 132. Which is bigger: h or v?
v
Suppose 5*v + 5 = -25. Let t = 6 + v. Is -2/5 at most as big as t?
True
Let w = -0.01 + 5.01. Let p = -4.7 + w. Is 0.2 at most p?
True
Let a = -81 + 99. Which is bigger: 21 or a?
21
Suppose -3*s + 0*s - 75 = -3*i, -i - 65 = 2*s. Let n be 1/3 + s/9. Let a = n + 3. Which is smaller: a or -1?
-1
Suppose 8*m - 3*m - 52 = 2*p, 5*p + 28 = 4*m. Suppose 3*o + 4*v = -2*o + m, -5*v = 3*o - 2. Let z be -1 - (o/(-6))/2. Which is greater: -2 or z?
z
Let w(u) = -u + 4 + 2 - u + u. Let c be w(-6). Which is bigger: c or 14?
14
Suppose -5 = 5*b + 15. Let n be b*(-1)/(-4)*-2. Suppose 3*w - 29 = -4*c, -5*c + 3*w + 14 = -n. Is 5 at least as big as c?
True
L