f*a - 3*a = 0. Is u != a?
True
Suppose 0*h = -h + 50. Let f be 1*(-5)/(h/(-6)). Which is bigger: f or -1/4?
f
Let h be 3/(3/(-2)) + 1. Is -1/3 != h?
True
Let z be ((-20)/90)/((-10)/(-3)). Let r be (-2)/2*(-5 + 3). Suppose -w = -r*w. Is z at least as big as w?
False
Suppose 2*i = i + 24. Let x be 10/15 + 14/i. Suppose -5*q + 20 = -4*d, -2*d - 1 - 11 = -3*q. Which is smaller: x or d?
d
Let j = 797/2 + -8735/22. Let r = 75/44 - j. Which is smaller: -1 or r?
-1
Let c be (-26)/(-65) + (-2)/(-20). Are 0 and c non-equal?
True
Let g = -1.3 - -9.3. Let i = -7.9 + g. Are i and -3/4 non-equal?
True
Suppose k + 0*k = 3. Let g = -27 + 29. Which is greater: k or g?
k
Let k = -3 + 5/2. Suppose -3*r + 2 = 2*o - 6, 0 = 4*r - 3*o - 22. Suppose r*p = -p. Is p not equal to k?
True
Let s(v) = v**3 - 3*v**2 - v + 3. Let i be s(3). Is 1/14 at least i?
True
Let z = -94 + 43. Is -51 at most z?
True
Let z = -113/4 - -28. Let m = z + -1/4. Is m > -3?
True
Let j be (-6)/(((-3)/4)/1). Suppose -4*o - 2 = 6. Let m be 3/(-4) + o/j. Which is smaller: m or 0?
m
Let t = -7 - -11. Let v be (-1 + -7)*(-1)/(-1). Let x be (-2)/v - 152/(-32). Is x bigger than t?
True
Let b = 2 + 2. Let m = -3 + b. Let p = 3.2 - 0.2. Is m >= p?
False
Let z = 45 + -16. Is 28 < z?
True
Let l be 16/2 + (7 - 11). Suppose 2*a = -l*v - 16, 2*v = a - 4 - 4. Which is smaller: a or 2/5?
a
Suppose s = 5*s - 20. Suppose s*k - 23 = -8. Suppose -x - 14 = -2*z + k*x, -z + 5*x = -19. Which is bigger: -2 or z?
z
Let g = -45 + 43. Do g and 27 have the same value?
False
Let o = 5 + -3. Suppose -2 = o*d - 10. Which is greater: d or 6?
6
Let m be ((-155)/(-55) - 4) + 1. Is m > 34?
False
Let t = 20 + -18. Are t and 2 equal?
True
Suppose 25 = 3*k + 94. Let l = -47/2 - k. Let c = 0.1 - -0.9. Are l and c unequal?
True
Suppose -8*a = -3*a + 10. Suppose -5*y - 25 + 10 = b, -3*y - 9 = -2*b. Suppose 0*q + 2*q + 4 = b. Is q not equal to a?
False
Let s = 17/2 - 26. Suppose 0*u = 3*u + 57. Let w = u - s. Is -3 <= w?
True
Let j = -71344 + 1426479/20. Let u be (231/(-6))/(1*-2). Let v = j + u. Which is bigger: v or -1?
v
Let u(w) = -w**2 + 2*w - 4. Let n(j) = j**2 - j + 3. Let a(o) = 4*n(o) + 3*u(o). Let c be a(-2). Is -2 <= c?
True
Let c be (-9 + 1)*(-13)/26. Suppose -c*z = 10 - 2. Which is bigger: -3 or z?
z
Suppose 0 = 4*g - 4, -3*g + 6 = -5*c + 2*c. Is c at most -2/27?
True
Let o = 247/5040 + -3/112. Is 1 < o?
False
Let w = 1847/9 - 205. Which is smaller: w or -1?
-1
Let r be (3 - 4) + (-5)/(-3). Let w(u) = -u**3 - u**2 - 5. Let n be w(0). Let k be (-6)/n + (-3)/15. Which is greater: r or k?
k
Suppose -5*g - 2*u = -30, 7*u - 2*u + 30 = 5*g. Let o be 14/4 - (-12)/24. Let l = g - o. Which is smaller: l or 3?
l
Let w be (-32)/12 + (-9 - -15). Let m(n) = n**3 + 2*n**2 - 2*n + 1. Let u be m(1). Which is smaller: w or u?
u
Let h(x) = x**3 - 2*x**2 - 3*x - 2. Suppose -5*a + 2 = 12. Let d be h(a). Let t be ((-6)/14)/(d/8). Which is bigger: 1 or t?
1
Let i = 26 - 14. Let s = -4 + i. Suppose -5*a = -s*a. Does a = 1/6?
False
Let w(o) = o**2 + 8*o + 7. Let m be w(-7). Is m equal to 3/19?
False
Let g be 4/14 - 821/7. Which is smaller: g or -116?
g
Suppose 5*y + 3*n - 12 = 0, 4*n - 3 = -3*y + 13. Is y equal to 2/5?
False
Let p be (-14)/49 - 144/(-14). Is 10 greater than p?
False
Let j = -12 + 12. Which is smaller: j or 6?
j
Let n = 26 + -25.43. Let t = 0.03 + n. Let g = t + -0.7. Is 0 greater than or equal to g?
True
Suppose -4*y = 0, -r = -0*r + 3*y + 7. Let k(a) = -a**2 - 5*a - 1. Let s be k(-3). Let c = -1 - s. Which is smaller: c or r?
r
Let q = -0.51 - -0.01. Which is bigger: q or -1?
q
Let r be (-2 - (-12)/3) + -38. Let x = 110/3 + r. Let w(l) = l**3 - l**2 - l - 2. Let u be w(2). Which is smaller: x or u?
u
Let w = 0.11 + 3.89. Let m = -4.05 + w. Let k = -2.05 - m. Is -2 less than k?
False
Let u = -10 + 13. Suppose u*q + 10 = 5*q. Which is greater: q or -0.1?
q
Let d = 3 - -1. Suppose 5*s + 2 = 3*t, 0*s - 2*s - d = -2*t. Let u be ((-2)/t)/((-3)/6). Is u >= -0.4?
True
Let w(u) = 2*u - 7. Let s be w(5). Let z be (3/8)/(s/(-2)). Let b(m) = 2*m - 5. Let o be b(3). Which is smaller: o or z?
z
Let g be -3 - (2 - 2) - -7. Let w be 3/(-2)*g/18. Is w greater than -1?
True
Suppose -2*z + 0*z + 6 = 0. Let r(n) = -n + 3. Let g be r(z). Suppose 2*l + g*l = -10. Does -5 = l?
True
Let b = 16.8 - 17. Let c be 2/9 - (5 - 5). Which is bigger: b or c?
c
Let b be (-2 - (-69)/48)*(-6)/9. Is b equal to -2?
False
Let q = -14 - -13.99. Let y = q - 0.05. Is 0.1 equal to y?
False
Suppose -4*b - 8 = 3*a + 12, -16 = 3*a + 5*b. Which is bigger: a or -0.02?
-0.02
Let r(h) = 22*h**3 + 3*h + 2. Let k be r(-2). Let z be 69/k - 4/(-16). Let x be (-6)/(-10) + 4/10. Is z not equal to x?
True
Let q(d) = 12*d**2 + 7*d + 5. Let v be q(-2). Is v bigger than 38?
True
Let c(j) = 8*j - 29. Let x be c(0). Which is smaller: x or -31?
-31
Let d = -49 - -199/4. Suppose 4*q + q = -3*s + 22, -10 = -3*q - s. Are d and q equal?
False
Suppose -p - 4*p + 30 = 0. Let w = 6 - p. Suppose 4 - 2 = -h. Is w greater than or equal to h?
True
Let j = -7 + -2. Let f be 12/j - 4/6. Suppose -2*s = -2*q + 2, 0 = -5*q - 2*s - 23 + 7. Are q and f nonequal?
False
Suppose 4*t = -0*t - k - 15, 5*t + 9 = 2*k. Is -21/5 < t?
True
Let w be 12/10*(-10)/(-4). Suppose 18*f - 12*f + 6 = 0. Let s = w + f. Is s <= 2?
True
Let u(s) = s - 8. Let b be u(10). Suppose -5*j = 3*o - 5*o + 16, 2*o + 4*j = -2. Suppose 0*l - o*l + 9 = 0. Which is greater: l or b?
l
Let m = -0.14 - -0.19. Is 0 <= m?
True
Suppose 4*w + 20 = 5*h, -4 = 4*w - h + 16. Let k be 2/(-8) + 27/12. Suppose -k*v - 15 = 2*v + y, 2*v = 3*y - 25. Is v at least w?
True
Let m(c) = c**3 - 3*c**2 - 6*c + 5. Let r be m(4). Let b be (r - 1) + 2 - -3. Is 1 at least b?
True
Let m = 0.18 - -1.82. Is m less than or equal to -1/14?
False
Let v be (-2 - -3) + (0 - 0). Let y be -1 + v + (-15)/(-3). Suppose -2*c - p = 2 - y, 3*c = 4*p - 12. Which is smaller: c or -1/7?
-1/7
Let d = -8 + 13. Is 4 != d?
True
Let z(h) = -h + 10. Let d be z(8). Are d and 1 nonequal?
True
Suppose -5*t = 15, -5*t + 8 = 3*g + 23. Suppose 2*d - 8 = 2*u, -u = 3*d - 10 - 2. Are u and g unequal?
False
Suppose 15 = 4*u - 1. Suppose 0 = h + 2, u*h + 11 = -y - h. Is y greater than -2/3?
False
Suppose -2*g = 3*q + 26, -1 = 5*g + 4. Let x = q + 5. Let i be x + (1 - 2/(-2)). Which is smaller: i or -2/7?
i
Let w be (-2 + 52)*(-1)/2. Is w > -25?
False
Let n = -1/111 + 77/333. Suppose 0 = -0*f + 2*f - 2. Which is bigger: f or n?
f
Let n = -726.944 + 722. Let k = n - -0.044. Let w = k + 5. Is w smaller than -0.1?
False
Suppose -3*t + 59 = -1. Suppose 5*o - 25 = -z, -z - 2*o - t = -6*o. Is 2/13 greater than z?
True
Let y = -2 + 2. Let b = 12 - 11. Is b less than or equal to y?
False
Let x = -58 - -18. Do -40 and x have different values?
False
Let q = -95/8 - -12. Is 1 less than q?
False
Let k(y) = -y**3 - 6*y**2 - 3*y + 5. Let l be k(-5). Suppose 2*g + 6 = -2. Which is smaller: g or l?
l
Suppose 5*f + 2*z - 22 = -2*z, 0 = 3*f + 4*z - 18. Let u be 32/(-120)*3/f. Is 1/4 at most u?
False
Suppose n + l - 3*l - 3 = 0, 3*n + l = 9. Suppose 0 = -4*x - n - 5. Let b be 0 - 1/2*x. Is b less than or equal to 1?
True
Let u = 4 + -6. Let i = 21 - 19.05. Let w = i + u. Which is smaller: 1 or w?
w
Let m = 20 - 35. Is m at least as big as 1?
False
Let b = -0.91 + -0.09. Are b and 2/13 equal?
False
Suppose -5*v - 107 = -377. Let s be ((-2)/(-6))/((-6)/v). Is s < -6?
False
Let u be ((-8)/(-20))/((-3)/(-15)). Let g = 0.08 - 3.08. Is g equal to u?
False
Let b(r) = -r**3 - 10*r**2. Let f be 2*3/12*-20. Let t be b(f). Is -9 at most t?
True
Let y = 269 - 9416/35. Which is greater: y or 1/3?
1/3
Let g(a) = a**3 - 4*a**2 - 4*a + 1. Let l be g(5). Let r be 56/(-192) + 4/l. Which is bigger: 0 or r?
r
Let w be (-1)/2*1*0. Let z be (20/(-3))/((-5)/15). Let x be -3*1 + 48/z. Which is smaller: x or w?
x
Let g = 20 - -3. Which is bigger: g or 22?
g
Suppose -4*i - 2*o + 4 = 0, 0 = -3*i - 6*o + 2*o + 3. Is -2/13 >= i?
False
Let z be (5*(-32)/(-52))/((-4)/(-2)). Is z < -0.1?
False
Suppose 0 = 3*f - 2 - 1. Let t(d) = d**3 + 18*d**2 + 17*d + 5. Let g be t(-17). Suppose 0 = g*o - 5 - 5. Which is bigger: o or f?
o
Suppose -5 = -0*u - u. Suppose -u*g + 4*j + 14 = j, -4*g + 4*j + 8 = 0. Suppose 4*o = 2*o - g. Is o at least -3?
True
Let k be 4/1