e 18*j - 6*j = -84. Which is smaller: j or -2?
j
Let a(d) = d - 11. Let c be a(5). Let b be 81/6 - c/4. Suppose 0 = -4*t - t + b. Is t equal to 5/2?
False
Let j be 68/18 + (-2)/(-9). Let t = j - 6. Are t and 2 equal?
False
Suppose -3*h + 2*h = -4. Suppose -m = 2*b + 7, 0*b - h*b = -2*m + 2. Let z = m + 5. Is z >= 1?
True
Suppose -3 = -4*t + t - 5*i, 2*t + 4*i - 2 = 0. Let j(v) = 2*v - 4. Let n(g) = -5*g + 7. Let p(u) = 7*j(u) + 3*n(u). Let x be p(-6). Which is smaller: x or t?
x
Let b = 72 - 361/5. Suppose -2 = -2*d + 2. Let g be (d/3)/(6/9). Which is bigger: b or g?
g
Let q = -0.8 - -1. Let p = -0.6 + 0.3. Is p at most q?
True
Let u = -20.01 + 20. Let a = u - -0.41. Which is smaller: a or -0.1?
-0.1
Let b(m) = -2*m + 6. Let f be b(-6). Let g be 15/18 - (-3)/f. Which is smaller: -1 or g?
-1
Let p = -2.2 - -2.1. Is 0.9 less than p?
False
Let l be 4/40*-2*1. Is 0 at least as big as l?
True
Let h = -2 + 6. Suppose -2*p + 0*p - 12 = -h*m, 0 = -5*p + m + 6. Are 5/3 and p unequal?
True
Let r = 13 - 46. Is r smaller than -33?
False
Let n = -1/5 + 38/15. Which is smaller: 2 or n?
2
Let g = -9 + 10. Is g less than or equal to 1?
True
Let r(n) = -n**2 + 4*n + 1. Let h be r(2). Suppose -5*o = -h*p - 5, p = 3*o - p. Let d be (0*(-2 - -1))/(-1). Which is greater: o or d?
d
Let j = -0.22 + -3.78. Which is smaller: -1/2 or j?
j
Let a = 2 - 1. Let s be 1 + (-4726)/(-44)*2. Let u = 216 - s. Does u = a?
False
Let t = -3 + 1. Suppose 3*r = 2*b + b, -3*b - 1 = -2*r. Are t and r non-equal?
True
Let j = -0.1 + 0. Let l = -13.3 + 7.4. Let i = l + 6. Is i smaller than j?
False
Suppose 3*u = 5 - 2. Is u smaller than 2?
True
Let h be 2 + 329/119 + -5. Let d be 2/(-6) - 2/3. Which is bigger: h or d?
h
Let g = -34.3 + 33. Let y = g + -3.7. Is y at least 1?
False
Let i = -11.7 + 1.7. Let c = -9 - i. Is c equal to -4/3?
False
Let s = -3 - -8. Suppose -s*b + 3*b = 6. Let f = -2 + -1. Is f smaller than b?
False
Let v = -14 + 12. Suppose -2*o + 5 = 3. Is o <= v?
False
Let y(r) = r**2 + 4. Let c be y(0). Let o be (1 + -2)*-5 - 2. Let b = c - o. Is b <= -2/9?
False
Let a be 21/(-63)*(-5 + 1 + 1). Is a > -1/42?
True
Let p(z) = 32*z**3 + 3*z**2 - 6*z - 3. Let h be p(-7). Let l be h/45 - 2/9. Let v = l + 4082/17. Is v not equal to 1?
True
Let p be 2 + (1 - -1)/(-2). Let q = 9 + -10. Which is smaller: p or q?
q
Suppose -5*t + 3*q = -26, 2*t - 3*q = t - 2. Suppose 4*m = -5*v + 35, v + 3*m + t = 25. Suppose -c - 3*c + 12 = 0. Are c and v non-equal?
False
Let p = 8.78 - -0.22. Let r = -8.97 + p. Let a = 0 - r. Which is smaller: 0 or a?
a
Suppose -3*q - 15 = -3*f, -f = -5*q - 3 - 2. Let y = f + -5. Let p(v) = v**3 - 5*v**2 + 1. Let l be p(5). Which is smaller: l or y?
y
Let a = 167 + -2173/13. Are 0 and a non-equal?
True
Let c = -39 + 55. Suppose 0 = 4*a - 3*d + c, -11 = -a - 3*d. Which is greater: 2/5 or a?
2/5
Suppose -3*a - 5 + 36 = 4*b, 19 = b + 3*a. Suppose -5*d = -5*y, 0 = -b*d + 3*y - 0*y. Let h(i) = i**3 - 7*i**2 + 5*i + 5. Let g be h(6). Is g at least d?
False
Let t = 41 - 47.8. Let p = 0.8 + t. Which is smaller: 0 or p?
p
Suppose -5*p = -4*x - 15, -x - 4*p + 12 = 3*x. Suppose 0 = 8*k - 3*k. Let a = k + x. Is a greater than 1?
False
Let a = -2.18 + 0.18. Are 0.5 and a non-equal?
True
Let z = 98 - 61. Let g = 145/4 - z. Is g at most as big as -2?
False
Suppose -9*n - 28 = -10. Is n > 1?
False
Let w = 1 - -7. Suppose -2*t = 2*t - w. Is t > -1?
True
Let w be ((-8)/3)/(18/135). Is w less than -19?
True
Suppose 2*l = -3*l. Let d = -2 + l. Let k be 3*(7 + 66/(-9)). Which is bigger: d or k?
k
Let y(t) = t**3 + 3*t**2 - 5*t - 5. Let w be y(-4). Which is smaller: w or 3/7?
w
Suppose -13 = -4*q + 7. Suppose q*s + 0*s = 55. Let d be 2 + ((-80)/s)/4. Which is smaller: d or 1?
d
Let s = -437 + 655. Let x = 2395/11 - s. Which is bigger: 1 or x?
1
Let v be 1/(8/12)*-8. Let u be 14/12*(-12)/v. Is u equal to 0?
False
Let v be 5 - (-1 - -4) - 8. Let r(i) = -i**3 - 6*i**2 + 1. Let m be r(v). Which is smaller: m or -2/57?
-2/57
Let y be (8 + 9/(-1))*(27 - 0). Is -24 < y?
False
Let l be ((-81)/(-16))/((-15)/650). Let r = l - -219. Is r > -1?
True
Let j be 12/(-9) + 2/(-3). Let o = 1 + -13. Let d be -6*((-3)/o - 0). Do j and d have different values?
True
Let u = 27 + -15. Let r be u/20*(-2)/(-6). Is r >= 1?
False
Let h = -1.7 + 1. Let d = h + 2.7. Let g = 2 - d. Which is smaller: g or 2?
g
Suppose 20 = 5*a - 5*p - 140, 2*a - 63 = 3*p. Let l be ((-14)/(-21))/(2/a). Which is smaller: l or 10?
10
Suppose -7 = -q + 6. Suppose 3*i - 7*n + 2 = -2*n, -2*i + n - q = 0. Let s be (6/i)/(8/12). Is -1 bigger than s?
False
Suppose -3*u - b + 8 = -5, 4*b = 4*u + 4. Suppose 18 = -2*w - 4*h, u*w - 2*h - 28 = 3*h. Is -1 < w?
True
Let z = 0.04 - -0.06. Let j = 449/3 + -151. Is j at least z?
False
Let l = -5 - -3. Let p = -0.21 + -7.79. Let q = 8.2 + p. Does q = l?
False
Let f = -3758/561 - -6/187. Which is greater: -8 or f?
f
Let g = -6 - -6. Let f = -1 + g. Let w = 56 + -166/3. Is f > w?
False
Suppose -89*j + 88*j + 15 = 0. Is 14 >= j?
False
Let z(l) = -l**2 + 11*l + 17. Let r be z(12). Suppose -r*s = -5*m - 45, 0*m - 2*m = 3*s + 33. Is -13 > m?
False
Let q = -1 - -6. Suppose -33 = q*a + d, -a + 2 = 4*d + 1. Let h = a + 8. Which is smaller: 2 or h?
h
Let x = -216 + 216.4. Suppose -5*r + 6*r + 13 = 0. Let o = r + 40/3. Which is smaller: x or o?
o
Let g be (-23)/(-21) - 4/6. Do 1 and g have different values?
True
Let p(r) = -r**2 - 7*r - 1. Let s be p(-7). Which is greater: s or 2/5?
2/5
Let f be (24/(-20))/(2/(-35)). Is 22 bigger than f?
True
Suppose -23 = -3*v - 8. Suppose -4*o + v = -3. Let f = 12 - 23/2. Which is smaller: f or o?
f
Let w(c) = -c - 13. Let x be w(-10). Suppose -3 = -g - 3*q + 6, -4*g = -q + 29. Let s be (-4)/g*x/2. Is s <= 2/7?
True
Suppose -4*p + 5*a + 19 = 0, a = p + 3*a + 5. Let l be p/(-6)*(-6)/9. Is 0 equal to l?
False
Let o(t) = t**2 + 5*t - 3. Let q be o(-5). Suppose -3*f + 2 - 11 = 0. Let x = q - f. Is x at least -1/5?
True
Let g(l) = 5*l + 3. Let c be g(-3). Let n be (-15)/c - 2/8. Which is bigger: n or 3?
3
Suppose 3*i = 12, -4*f + 6 + 18 = 2*i. Let q be (-201)/679 - f/(-14). Let b = q - -102/485. Which is smaller: b or 1?
b
Let i(y) = -y - 6. Let u be i(-8). Let z = -16 + 14. Which is smaller: u or z?
z
Let j be (-4)/10 - (-4)/10. Suppose -3 - 3 = 2*k. Let q be (8/36)/((-2)/k). Is j at most q?
True
Let l be (-126)/5 + (-6)/15. Let r = l + 26. Are r and -1 equal?
False
Suppose -5*v = -9 - 1. Which is smaller: 12 or v?
v
Suppose -4*c - 13 = -1. Let i be ((-1)/3)/(1/c). Let f = -636/7 + 91. Which is bigger: f or i?
i
Suppose 3*x + 4*q + 27 = -q, 4*q - 8 = 5*x. Let i = 6 + x. Let s be (-2 + 4 + 4)/i. Is s at most as big as 2?
False
Suppose -6*p - 6*p = 0. Is 38 < p?
False
Let o be (-2)/(-2) + (3 - -1). Suppose 10 = 3*m - o*m. Is m at least as big as -6?
True
Let k be (-4)/30*3 - 216/10. Is k at most as big as -20?
True
Let b be (-18)/60*(-12)/243. Is 0 greater than or equal to b?
False
Suppose -2*m + 12 = m. Suppose 5*i - l = 0, -2*i - m*l - 17 = -l. Do -1/4 and i have different values?
True
Let v = -15 - -7. Let m(r) = r**2 + 8*r + 4. Let w be m(v). Suppose x = 2*x - 3. Is x less than w?
True
Let x be 15/5 + 1/(-1)*1. Which is smaller: x or 2/27?
2/27
Let d be -3*(-5)/(-3 + -2). Is -5 equal to d?
False
Let b(g) = 6*g - 1. Let u be b(-3). Which is smaller: -18 or u?
u
Let i(g) = -4*g. Let j be i(-4). Suppose 12 = 4*v - 2*k - 2*k, -j = 4*v + 3*k. Which is bigger: v or -2/11?
-2/11
Suppose 0 = 10*o - 14*o. Which is greater: -3/4 or o?
o
Let r be 3/12 + (-2)/8. Suppose r = -k - k. Which is bigger: k or -1?
k
Let k be (2 - 8)*(-14)/21. Suppose 0 = z - k*z + 3. Let q = -51 + 355/7. Which is greater: z or q?
z
Let i(z) = 72*z**2 + 1. Let u be i(-2). Let m = u + -7226/25. Let l = 4/25 - m. Which is bigger: -1 or l?
l
Let o = -19 + 18.9. Which is greater: 2/71 or o?
2/71
Suppose 3*z = -d + 14, z - 6 = -d + 2*d. Suppose 2*l + 5 = z*j, 0*l + 4 = 4*j + 5*l. Which is greater: j or 0?
j
Suppose 5*b + 34 = 4*v + 9, -4*v = 4*b + 20. Suppose 0 = m + 3*p - 14, 5*m - 34 = -0*m - 3*p. Suppose -2*f - 4 - 3 = -i, f = -i - m. Which is smaller: b or f?
b
Suppose 11 - 31 = -4*n. Suppose 0 = 2*r - 2 - 10. Is r greater than or equal to n?
True
Suppose 0*y - 5*n = 5*y - 20, y = -5*n - 8. Let u = -4 + y. Suppose 