 3*o, 0 = -d + 4*o + 6. Let y be (d/6)/((-1)/3). Are y and i equal?
True
Suppose -5*n + 4*n = 4*v + 9, -4*n = -2*v. Which is smaller: n or 2/59?
n
Let i be -1 - -2 - (-6)/(-10). Is i not equal to 1?
True
Let d = 21.67 - 22. Does d = 1/3?
False
Let q be 3/5 + 17/5. Let l = q + 0. Suppose -l*f = -0*f - 12. Is f less than or equal to -1?
False
Let y(s) = 4*s**2 + 1. Let f be y(1). Suppose -f*r - c = 2, 3*c = -5*r + 8*c + 10. Suppose -5*d = -r*d. Which is bigger: d or 0.2?
0.2
Let l = 3.9 - 4. Let z = 0 + l. Let y = z + 0.1. Which is smaller: 2 or y?
y
Let h = 353/2 + -188. Which is smaller: -13 or h?
-13
Let l be 2/7 - (-159)/(-189). Let i = 298 - 300. Which is smaller: l or i?
i
Let n be 5/(-20) - 2/(-8). Suppose -b - b = n. Which is greater: b or 0.2?
0.2
Let m = 0 + 3. Suppose -m*c + 2*c - 1 = 0. Which is greater: -4/9 or c?
-4/9
Let w(q) = q**2 - 3*q - 14. Let m be w(6). Which is smaller: m or 21/4?
m
Let w be (-26)/348*11 + 1. Let z be (-516)/522 + (-1 - -2). Let p = z - w. Is p not equal to 0?
True
Let n = -10.6 + 16.6. Which is bigger: n or 0?
n
Let b(x) = -x**3 + 4*x**2 + 2*x. Let y be b(4). Suppose -7*p + 1 = -y*p. Which is smaller: -1/12 or p?
p
Let a = 39.6 + -44. Let n = a - 0.6. Which is bigger: 0 or n?
0
Suppose 0 = 4*w + 4*y + 8, -3*w = w - y - 7. Is w at most as big as 6/5?
True
Let k = -1.3 + 1. Suppose 4*o - 36 = -144. Let c be (2 - o/(-12)) + 0. Which is smaller: k or c?
k
Let q be ((-1 - 0)/39)/((-56)/(-144)). Which is bigger: q or 0?
0
Let j be -1 - (1 + 0 + -2). Let k be 102/5*(-10)/(-1). Let m = -1024/5 + k. Which is smaller: m or j?
m
Let n be (-47)/(-7) + (-2)/(-7). Let z(t) = t**2 - 8*t + 10. Let l be z(n). Which is smaller: l or 1?
1
Suppose 3*x + 8 = -4. Let t be x/(-12)*2/(-11). Are t and 0 nonequal?
True
Suppose 5*g = -5*q + 125, 3*g - 5*g + 22 = q. Which is smaller: q or 29?
q
Let m = -5.6 + 6. Let c = -12 + 11.5. Let z = m + c. Which is smaller: 0 or z?
z
Let r = 0.22 - 2.62. Let x = -2 - r. Let h be (4/28)/(8/(-56)). Is h less than or equal to x?
True
Let p(z) = z**3 + 5*z**2 + 2*z - 1. Let q be p(-4). Is 7 not equal to q?
False
Let a(t) = -t**3 + 4*t**2 + t - 7. Let o be a(4). Suppose -4*m = -0 + 8. Which is smaller: o or m?
o
Let s = -47 + 40. Is -6 less than s?
False
Let n = 0 + 3. Let w be 9/6*(-8)/n. Is -5 at least as big as w?
False
Let d be 2/(-5*(-4)/22). Let t = d + -3. Let h = -7 - -7.1. Which is smaller: h or t?
t
Let m be (18/1)/3 + 2. Suppose -5*h + m = -2. Suppose -4*b + 3*b - 5*f + h = 0, 0 = -b + 5*f - 8. Is -3 > b?
False
Let b be (-1)/2*(-1 + 1). Let s be 3/(3/1 - b). Which is smaller: 2 or s?
s
Let p = 169/112 - 15/16. Which is greater: 0 or p?
p
Let j be ((-44)/(-20) + -1)/(-1). Does j = -1?
False
Let s = 393 + -19256/49. Which is bigger: s or 1?
1
Suppose i = -3*s - 31, 0*s + i + 19 = -2*s. Let a = 26 + s. Suppose -3*r - 5*z = a, 0 = -3*r + 3*z - 2 + 20. Which is smaller: 0 or r?
0
Let x be ((-25)/2)/5*2. Suppose 3*g = -2*j + 3, -4*g + 14 = j - 0*g. Which is smaller: j or x?
j
Suppose -2*x + 35 = 3*x. Let w(h) = h**3 - 3*h**2 - 2*h - 2. Suppose z - 3*z + 8 = 0. Let o be w(z). Which is greater: x or o?
x
Let b(r) = -r**3 - r**2 + r. Let g be b(0). Suppose g*m = 5*m + 25. Which is greater: m or -4?
-4
Let z be -1 - -2 - 154/(-70). Which is smaller: z or 2?
2
Suppose -4*z + z + 9 = 0. Is z bigger than 1?
True
Let p = -3.1 + -1.2. Let w = -9.2 - p. Let u = 5 + w. Does 0 = u?
False
Let m be (3/9)/(2/12). Suppose 2*h + 0*h + m*l = 6, -h = -2*l - 3. Let i = 16/5 - h. Which is smaller: 3 or i?
i
Let z = 0.9 - -3.1. Let v = -10 - -7. Let p = z + v. Is p at most 3?
True
Let b = -11 + 7. Let a = b + 3.9. Let d = 0 + 0.2. Which is smaller: d or a?
a
Let l = -12 - -49/4. Which is greater: l or -0.9?
l
Let n = 8 + -6. Let y = -1 + n. Let f = 0 + -0.2. Which is bigger: f or y?
y
Let m = -10 - -7. Which is smaller: -17/4 or m?
-17/4
Let r(x) = -x**2 + x + 12. Let l be r(4). Which is smaller: l or 5/13?
l
Let k = 14 + 17. Is 31 greater than k?
False
Let v(b) = b + 3. Let w be v(0). Suppose -22 = -w*m + 5. Is m not equal to 8?
True
Suppose -50 - 28 = -4*h - 2*l, -41 = -2*h + l. Let m be (-4)/5 - 4/h. Which is smaller: m or -1/2?
m
Let y(p) = p**3 - 2*p + 2*p + p - 3*p**2. Let s be y(2). Is s less than 2?
True
Let j = -2.9 + 3.9. Does j = 8/9?
False
Suppose 0 = 3*f + f + 104. Let t be -1 + (-48)/f - 1. Is t at most -1?
False
Let k be (-3)/15*4*5. Let c = -3 - -2. Which is smaller: k or c?
k
Suppose -4*z + 20 = -4. Let b be (-5)/15 - (-8)/z. Is b > -2/7?
True
Let q = 55 + -93. Are -39 and q non-equal?
True
Let i(g) = g**2 + 3*g + 4. Let q be i(-4). Suppose -3*u + 4 = -17. Is q bigger than u?
True
Let r(h) = h**3 + 3*h**2 + h - 2. Let j = -3 - -1. Let z be r(j). Does z = 1?
False
Suppose 3*x - 12 = 2*y, 11 = -y + 4*x - 0. Does -5/3 = y?
False
Let b = -7 - -7.3. Let j = b + -0.2. Which is smaller: j or -2?
-2
Suppose 7*s = s + 36. Let p be (-2 - (-4)/s)/(-4). Let v = -2 - -3. Which is bigger: v or p?
v
Let h be (-1 - -2)*(-15)/15. Is h smaller than 21?
True
Let m = -241 - -220. Are m and -59/3 nonequal?
True
Let i(f) = -f**2 - 8*f - 9. Let o be i(-6). Suppose o*g - 2*q = g, 2*g + 3*q = 0. Is 6/5 > g?
True
Suppose -5*l - 5*t + 35 = -5, t - 5 = 0. Let m(z) = -z**3 + 4*z**2 - 2*z - 2. Let q be m(l). Let p be (-20)/11 - (-1 + -1). Which is smaller: q or p?
p
Let o be 5/(-2)*4/5. Which is bigger: 4 or o?
4
Let a = 0.51 + -4.51. Is -5/2 greater than a?
True
Let y = -2 - -2. Is y smaller than -3/8?
False
Suppose 2*c + c + 36 = 0. Let p be 8/c*(0 - -6). Let m be 1/p - (-1 - 0). Do 2 and m have different values?
True
Let n(i) = -i**2 - 5 + 3 - 4 + i**3. Let p be n(0). Let z be (p/135)/(1/5). Is z less than -1?
False
Suppose -4*k + 3 = x - 1, -2*x + 8 = 5*k. Which is smaller: k or -1/22?
-1/22
Let d be 1*(-2 - -1) - 1. Let k be 1*(0 + d) + -2. Let s be (-2)/(-1) - (-1 - k). Which is greater: 1/4 or s?
1/4
Suppose -3*y + 2 = 11. Is y smaller than -6?
False
Let p = -27 + 80/3. Let r = 2 - 1. Which is smaller: p or r?
p
Suppose -14 = -2*r + 4*v + 2, 0 = 2*r + 5*v + 11. Which is bigger: r or 3?
3
Let h be 1/(-3*3/6). Suppose 1 = -5*r - 9. Do r and h have different values?
True
Let j = 21 - 21. Let c be 4/(-22) - 28/(-33). Is c smaller than j?
False
Suppose 2*v + v = 0. Suppose 0 = -3*p - 3*n - 6, 3*p + 5 = -2*n - v*n. Is -2/5 less than p?
False
Suppose -3*p = -2*p. Let i = 0.3 - 1.3. Let s = i - 3. Is s < p?
True
Let x = -6 + 5. Let y = -6 - -7. Let r be y/1*(2 - 1). Is r not equal to x?
True
Suppose 5*o + 6 - 31 = 0. Suppose 0 = -4*k - o*v + 36, v + 4 = -4*k + 6*k. Suppose -2 = k*m - 5*m. Which is smaller: m or 1/2?
1/2
Let l = 112/3 + -566/15. Let n = -25 - -26. Is l >= n?
False
Suppose 5*v + 3*u + 33 = 0, -4*u = -3*u - 4. Is -12 at most v?
True
Suppose 0 = 5*u - 14 - 31. Which is greater: u or 8?
u
Suppose 5*a + 5*x = 2*a + 41, -5*a + 59 = -x. Let t be 13/20 + (-3)/a. Which is bigger: 0 or t?
t
Let i = -3349 + 3171.97. Let c = i - -176. Let d = -1 - c. Which is bigger: 1 or d?
1
Let h = -20 + 19. Let y be 8 + -5 + 3/h. Is -2/17 less than or equal to y?
True
Let a = -3.23 + 0.23. Is 1/5 less than a?
False
Let y be 309/90*3/(-16). Let f = -5/32 + y. Which is greater: f or 0?
0
Let j(u) = -u**2 - 3*u + 10. Let l be j(-7). Is l < -19?
False
Let u(w) = -w**2 + 18*w - 3. Let q be u(18). Is q smaller than -6?
False
Let v be 2 - ((-50)/(-23))/1. Let t = -37878/115 - -1648/5. Let g = t - v. Is 5 equal to g?
False
Suppose -4*c = -6*c - 2. Suppose 0*d + 2*d = 4*o, -5*d + 6 = -4*o. Suppose -2*g - d = -0*g. Are c and g non-equal?
False
Let l = 51 - 203/4. Which is greater: l or -4?
l
Suppose -9 = 2*n + 3*m, 0 = -4*n + 6*m - m + 37. Suppose n*u = -u. Is u at most 0?
True
Suppose 3*b + 0*x - x + 14 = 0, -3*x - 14 = 5*b. Which is greater: -5 or b?
b
Suppose 6 = -3*p + 2*f + 21, -4*f = 0. Which is greater: 6 or p?
6
Let b be (-15)/(-5) + (-36)/11. Is b at most 0?
True
Let q be ((-6)/22)/(9/(-6)). Are 1 and q nonequal?
True
Let f = 0.45 + -0.45. Which is greater: f or -0.06?
f
Let a be (-4 + 1470/365)*2/(-4). Which is bigger: a or 1?
1
Let s be (1 + -1*4)/1. Let f = 2 + s. Let l be -3 - (1 + f + -2). Is l greater than -1?
False
Let k be (10/(-25))/((-64)/15). Do 0 and k have the same value?
False
Let b = -3 - 1. Suppose -n - 1 + 2 = -3*g, 