
Let z = -2/289 - 9/1156. Are 1 and z equal?
False
Suppose 5*x - 134 = 3*x. Let u = x - 40. Let c be u/12 - 2/8. Is c bigger than 0?
True
Let y be 72/(-27)*3/(-2). Is y >= 3?
True
Let c = -3 + 3.1. Let v = 3.9 + c. Let k = 19 + -19. Which is greater: k or v?
v
Let s(y) = y**2 + 1. Let l be s(-1). Suppose l*g = 3*g. Is 2/49 at least g?
True
Let p(c) = -2*c. Let o be p(1). Let i = 43.8 + -50. Let u = i - -6. Which is smaller: o or u?
o
Let i be 0 - (-4 - (-2 - 0)). Which is bigger: i or 6?
6
Suppose 11 = -2*y + 4*m - 5, -3*y = m - 11. Suppose -5*l + 3 = -y. Which is greater: l or -0.06?
l
Let w = -0.17 - 9.83. Let y = w + 9.6. Which is smaller: -0.1 or y?
y
Let a be (-2)/2*(-3 - 1). Let x(w) = -w + 4. Let c be x(10). Let t be (a/(-6))/(4/c). Which is smaller: t or 3?
t
Let u be (-2)/7 + (-10)/(-35). Suppose u = 5*z - 33 - 7. Let d be 2/z + 5/(-20). Is d greater than or equal to -3/5?
True
Let h = 0.8 - -0.2. Let x be 6/(-10) + -3 + 4. Is x > h?
False
Let n = 46/33 - 8/11. Is n < -1/5?
False
Suppose -3*q - 4*b = -14, -2*q + 1 + 5 = b. Let a(y) = 5*y**2 - 3*y - 2. Let n be a(-1). Suppose -6*s - 2*c = -q*s, c + n = s. Which is greater: s or 1/2?
s
Let o be ((-6)/(-30))/((-4)/(-10)). Let c be (5514/(-15))/((-9)/(-5)). Let j = -204 - c. Do o and j have the same value?
False
Let y be (-2 - (-7 - -3)) + 55. Let g be (-12)/y*(-1)/(-2). Is 1 smaller than g?
False
Suppose 4*i + z = 0, 2*i - 6*i = 4*z. Suppose i*g = 3*g. Let u = 33 + -101/3. Is g <= u?
False
Let r(q) be the first derivative of -q**4/4 - 5*q**3/3 + q**2/2 + 3*q - 2. Let m be r(-5). Let c be m/2 + -1 + 1. Is c < -2?
False
Suppose 3*w - a + 9 = 3*a, 19 = 4*w + 5*a. Suppose 0 = 2*h + 2*q + 10, 0 = 4*h - 5*q - 4 - 12. Let r = h - -1. Which is smaller: r or w?
r
Let d = 20361/4 + -5063. Suppose -3*j + 5*p + 7 = 83, -2*j - 2*p - 56 = 0. Let z = j + d. Is z <= 1?
True
Let r = 0.9 + 0.1. Let n = -1 + r. Let h be -3 - ((-14)/4 + -1). Which is smaller: h or n?
n
Let h(d) = d**3 + 7*d**2 + 6*d - 4. Let j be h(-6). Which is greater: j or -1?
-1
Suppose 18*u + 4 = 16*u. Is u bigger than -2?
False
Let w = -2 + 9. Which is greater: w or -1?
w
Let p(l) = l**2 - 18*l - 41. Let q be p(20). Is -4/13 at most q?
False
Let v = -4 - -3. Which is smaller: 1/16 or v?
v
Let o be (-1)/2*(-10)/(-145). Is o at most as big as 0?
True
Let a = 20.6 + -20. Is a smaller than 0.3?
False
Let n be 4 + -2 - (2 - 2). Let s be 2/n - 189/180. Which is bigger: -1 or s?
s
Let x(z) = z**2 - 8*z - 7. Let w(m) = -m**2 + 7*m + 6. Let s(p) = 4*w(p) + 3*x(p). Let n be s(10). Let k = n - -117/2. Are k and 1 nonequal?
True
Suppose -m - 4 = -0*m. Let s be m*((-122)/(-60) + -2). Let w be 6/(-21) + (-18)/(-14). Are s and w non-equal?
True
Suppose 368 = 25*j - 182. Let p be 1/(-4) + (-85)/(-4). Does j = p?
False
Suppose 15*y - 27*y = -12. Let r = 547/1251 + 1/139. Which is bigger: r or y?
y
Suppose q + 10 = -2. Which is greater: -15 or q?
q
Let f = 0.7 - -0.8. Let u = -1 + f. Let n = u - 0.4. Are n and 6 equal?
False
Let h be (-30)/(-2)*6/(-18). Let p be (4/h)/(14/(-5)). Let a be 2 - (10/(-3))/(-1). Is a >= p?
False
Let o = 0.93 - 1. Which is bigger: o or 1?
1
Let f be 0/(1 - 0) - 3. Let t be -6*1/2 + f. Let b = -5 - 0. Which is smaller: b or t?
t
Let h = 9.005 + -0.005. Which is greater: h or -1?
h
Let h = 2 + -3. Let c be (h + -1)*(-2)/(-14). Let u = -8 + 5. Which is greater: c or u?
c
Let a = -26 - -24.1. Let i = 0.1 - a. Let k = -1 - i. Is k less than 2?
True
Let a = -0.11 + 0.01. Let v = -51 + 75. Which is greater: v or a?
v
Let l be ((-1)/3)/((-1)/3). Suppose -f = -2*f - 5*y - l, 0 = -f + 5*y + 9. Let u = 0.3 + -0.4. Is u at most as big as f?
True
Let h(v) = v - 6 - 3*v**3 + 0*v**2 + 4*v**2 + 4 + 4*v**3. Let z be h(-4). Let q be ((-9)/z)/((-3)/4). Are 0 and q non-equal?
True
Let q = -23 - -23. Which is smaller: -9 or q?
-9
Suppose -s = 2*s - 9. Suppose 127 = -s*m + 28. Let w = -295/9 - m. Which is bigger: w or -1?
w
Let o = -1.5 + 0. Let u = o - -1.4. Is u not equal to -1?
True
Let g(b) = b + 8. Let t be g(-6). Let d = -25 + 23. Which is smaller: t or d?
d
Suppose 0 = 4*g + y - 5, -3*g + 20 = g - 4*y. Suppose -g*s + 6 = 4*u, -5*s + 3*u - 7 = 4. Let m be 77/105 - (-2)/(-6). Is m less than s?
False
Let d = -8 - -2. Let z be (-10)/d + (-4)/6. Which is smaller: z or 1/9?
1/9
Let s(l) = -24*l - 9. Let k(o) = 12*o + 5. Let m(u) = -11*k(u) - 6*s(u). Let y be m(1). Suppose -3*f + 2*v - y = v, v = 5. Which is bigger: f or -3?
f
Let w = -0.25 + -0.05. Suppose -2*q - 2 = -0*q. Which is smaller: q or w?
q
Let n = 3 + -1. Does n = -2?
False
Suppose 3*o = -15, -3*o + 9 = -2*d + 2*o. Is -15 smaller than d?
False
Let v = 0 + -2. Let q(y) = -y**2 - 3*y - 3. Let s be q(-3). Let o = v - s. Which is bigger: 1/5 or o?
o
Suppose 5*f - 9 + 29 = 0. Suppose 2*n = 23 + 1. Suppose 0*x + n = -4*x. Which is greater: f or x?
x
Let h be 0 - 2*(-5 - -3). Which is greater: h or 0?
h
Let h = 20 + -22. Let i = -3/5 - -11/10. Which is bigger: h or i?
i
Let u(l) = l**2 + 6*l + 4. Let g be u(-6). Suppose 0 = o - g + 3. Let z(h) = h**3 + 14*h**2 - 14*h + 15. Let v be z(-15). Which is bigger: o or v?
o
Suppose v + 2 = -0*v. Let d = 2 + v. Let c = -23/84 + 3/28. Which is smaller: d or c?
c
Suppose 0 = -x, 0 = -2*p + 5*p - 2*x - 3. Let t = 15 + -9. Suppose -8*b + t*b + 8 = 0. Which is greater: p or b?
b
Suppose -o = 3*o + 12. Let z be (o - -7) + 6/(-2). Does 7/3 = z?
False
Let a = -0.06 + 0.26. Let z = 3 - 2.7. Let m = z - 0.2. Which is bigger: a or m?
a
Suppose 0 = -2*z - 0 + 4. Suppose z*x = 2 - 0. Is x > -2?
True
Let o(j) = -7*j + 6. Let b be o(3). Which is greater: b or -17?
b
Let y be ((-12)/10)/(4/(-20)). Suppose -4*m + y = 2. Let b be (-1*2 + m)*-1. Is 1 >= b?
True
Let u be (-33)/(-7) - 6/(-21). Suppose -u*s - 11 = -6. Does s = -2?
False
Let s = 457/7 + -65. Is 2 greater than or equal to s?
True
Let a = 2 + -2. Let r = 11252/13 - 866. Let v = r + 11/52. Is a not equal to v?
True
Let o = 3 + -9. Let i = o + 5. Which is greater: i or 0?
0
Suppose -4*t = 4*p - 16, -6 = p + 2*p. Let a be t - (-2 - -4) - 1. Suppose -a = -s - 5*w + 7, -2*s = 5*w - 10. Is -4/3 at most s?
True
Let b = -17202 - -120641/7. Let c = b + -33. Are -1 and c equal?
False
Let u = 3.068 + -0.068. Is 2 <= u?
True
Let n(z) = z**3 - 5*z**2 - 6*z + 6. Let i be n(6). Let h = 17 + -12. Which is greater: i or h?
i
Suppose 4*l + 5*j - 2*j - 2 = 0, -2*l - j = -2. Suppose l*x = 5*x + 9. Which is greater: 0.2 or x?
0.2
Let x = -9 + -2. Let r be x + 1 + 0 - -3. Is r greater than -7?
False
Let q(i) = -i**2 + 18*i + 40. Let m be q(20). Is 0 > m?
False
Let r = 0.2 - 0.3. Let h = 1/44 - 91/132. Which is smaller: h or r?
h
Let r = -69 + 66. Is -30 greater than or equal to r?
False
Let l(u) = u**2 - u - 12. Let o be l(0). Let z be (-2)/(-5) + o/5. Is z at most as big as -2?
True
Let d be 2/6 - (-4)/(-3). Let u be d/(-4)*9/18. Is u < 1?
True
Let o(h) = -h**3 - 28*h**2 + 29*h. Let t be o(-29). Is t less than or equal to -2/329?
False
Let l(m) = 3*m**2 + 2*m. Let n be l(-4). Let g = n + -119/3. Which is smaller: g or 2?
g
Suppose 0 = -0*d - 2*d. Let y(f) = f + 15. Let a be y(-12). Let k be (a/3)/(10/4). Is k less than or equal to d?
False
Let v(i) = -i**3 + 2*i**2 - i. Let k be v(2). Is k less than -6?
False
Let g = 24 + -29. Which is greater: g or -4?
-4
Let b = -96 - -96. Let w = -5.3 + 5. Is b at most w?
False
Let b(h) = 3*h**2 + 26*h + 12. Let k be b(-8). Does k = 1?
False
Let u = -24/11 - -142/55. Let m = -125 + 125. Are u and m non-equal?
True
Let t be ((-9)/(-6))/(3/(-20)). Which is greater: -11 or t?
t
Let v(b) = -b**2 - 3*b + 4. Let k be v(-5). Suppose 0 = 4*m - 3*o + 24, 0*m = -4*m + 5*o - 24. Is m > k?
False
Let a be ((-33)/12)/((-2)/(-8)). Let f = a + 8. Is -2 != f?
True
Let f = -18 - -17. Let l be ((-1)/f)/(2/(-18)). Do -8 and l have different values?
True
Let m = 10.02 - 10. Let s = -0.12 + m. Which is smaller: s or 0.6?
s
Suppose 0 = -2*y - 2*y - 140. Let z = -174/5 - y. Suppose 2*p + 15 = -5*j, -4*j + 2*p - 6*p - 24 = 0. Is j equal to z?
False
Suppose 5 = i - 23. Does i = 28?
True
Let b = 1 + -3. Let n(o) = o**3 + o**2 - 2*o + 1. Let x be n(b). Is 4/5 less than or equal to x?
True
Let t be 2/10*(-45)/27. Suppose 0 = 2*r + 2*g + 2 - 4, -1 = -4*r - g. Which is smaller: r or t?
t
Suppose -73 = -5*b + 22. Suppo