 -3 - 9. Suppose 5*g = b*g + 16. Are -0.1 and g non-equal?
True
Let q(z) = z**3 - 8*z**2 + 5*z + 3. Let f be q(7). Let t(u) = u**3 + 14*u**2 - 14*u + 18. Let a be t(-15). Let o = a - f. Are o and 15 unequal?
True
Let s = 5 - 6. Let r be s - (-1 + (4 - 3)). Let w be 2/40 - (-2)/10. Which is smaller: r or w?
r
Suppose -2*j = j. Let s be (-2 + 19)*(-200)/5. Let v be 4/6 - s/(-867). Is j less than or equal to v?
False
Let k = 10222/7 - 1460. Which is greater: k or -62?
k
Let g be 1/((-2)/16) + 4. Let y = g - -14. Suppose -y*i - 28 = -14*i. Are 5 and i equal?
False
Let d be (-20)/(-2)*(0 + 1). Let c = 12 + d. Let h be 1/((-2)/(8/c)). Which is bigger: h or 0?
0
Suppose -3*x = -484 - 107. Is -2 at most x?
True
Let i be ((-5)/(5/2))/((-5)/(-25)). Let j be 64/(-560)*i/14. Which is bigger: j or -1?
j
Let c = 520 + -590. Which is bigger: c or 2?
2
Let u = -836/13 - -127804/1989. Is 0 bigger than u?
True
Let f be (16/6 - 3)/(56/(-72)). Which is bigger: -0.054 or f?
f
Let b = -5 + 3. Let c = -95 - -96. Let h = b + c. Is -4/5 less than h?
False
Let c(i) = i**3 - 3*i**2 - 3*i + 3. Let s be c(4). Let n = -11 + 14. Suppose n*g = s*g. Which is bigger: 1/2 or g?
1/2
Let a(c) = 3*c**3 - 42*c**2 + 2*c - 27. Let g be a(14). Which is smaller: 4/47 or g?
4/47
Let h = 20 + -16. Suppose -47 - 13 = h*z. Let x = 15 + z. Is -1/11 not equal to x?
True
Let i be ((-2)/4)/((-1)/(-2)). Let l = 11 + -45. Let j be -3 - 1 - l/8. Is i < j?
True
Suppose 17*n = -11*n - 224. Suppose -6 = -0*w - 2*w. Let u = w + n. Do u and -9/2 have different values?
True
Suppose -4*c = 3*f - 7, -5*c + 11 = -f + 4*f. Let d = f + 3. Let k be ((-3)/(-5))/(1 + d). Which is bigger: k or -1/3?
k
Suppose 3*o + 10 = -2*k, 4*k - 2*o = o + 16. Suppose 0 = -2*d - 2*s - 58, -2*s - 124 = 2*d + 2*d. Let b = d - -33. Which is greater: k or b?
k
Let y(t) = -9*t - 7. Let a be y(-3). Suppose -6 = 7*i - a. Let x = 5 + -3. Is i greater than x?
False
Suppose -t = -3*t - 940. Let x be 3/(-6) + t/4. Let q be 3/(-120)*x - 3. Which is smaller: q or -1?
-1
Suppose -15 = -5*d + 2*d. Suppose -4*u - u + d*v + 30 = 0, 2*u + 2*v = 24. Let z be (-2)/4 + 21/2. Which is greater: z or u?
z
Suppose 5*i = 2*z - 18, 0 = z + 5*i + 27 - 6. Which is smaller: z or 2/19?
z
Let q = 786/7 + -112. Let m(t) = 5*t - 24. Let p be m(5). Which is smaller: q or p?
q
Suppose 5*r + 16 = 6. Suppose 22*p - 24*p = -8. Suppose p*a + v = -10, -4*a - 2 = -6*a - 4*v. Which is smaller: r or a?
a
Let f be ((-57)/(-95))/(63/10 + 0). Let i = 22.9 - 22.2. Are i and f equal?
False
Suppose -5*p + 36 = -p. Let o be (-49)/12 - (5 - p). Let m be (2 - 0)/((-12)/6). Is o > m?
True
Suppose -3*v - 4*n + n + 24 = 0, -32 = -4*v + 2*n. Suppose 0*r + 5*r - 48 = -2*q, 5*r + 4*q - 56 = 0. Is r < v?
False
Let l(b) = b**3 - 2*b**2 + 2*b - 1. Let d be l(1). Suppose 4*u - 156 = -2*k - 2*k, d = -u + k + 45. Are u and 43 non-equal?
True
Let c = 2443/4 + -611. Which is smaller: 2/1647 or c?
c
Let h be 9*4/12*1. Let q be -3 + h - -1*(2 + -2). Suppose 3*b - 6 = 4*x, 4*x + 2 = 6*x + b. Is q < x?
False
Let z(d) = -2*d**2 - 22*d. Let b be z(-10). Is b >= 20?
True
Let a(g) = 5*g**3 - 9*g**2 + 13*g + 9. Let z(v) = -v**3. Let p(x) = -a(x) - 4*z(x). Let d be p(7). Let m = -9 + 5. Is d bigger than m?
True
Let s = 6704331/131 - 51177. Let h = s - 10081/7860. Let f = -3/20 + h. Is -1 at most as big as f?
True
Let r(h) = -9*h + 1. Let k be r(-3). Let c = 28 - k. Which is smaller: 1/4 or c?
c
Let g = -102 - -109. Suppose -y - 23 = 4*c, 0 = -g*y + 3*y + c - 92. Does -25 = y?
False
Suppose 14 = 4*y + 2*m, -2*y - 2*y = m - 13. Which is smaller: y or 31/7?
y
Let g = 69 + -53. Let p be -6*4/(-18)*12/g. Is -6/25 at most p?
True
Let w be 3105/(-2835) - 4/(-42). Which is smaller: 3/263 or w?
w
Let g(p) = p**3 + 3*p**2 + 7*p + 14. Let t be g(-4). Which is greater: -33 or t?
t
Let l = 3209/22 + -146. Let u(w) = -w**3 - 4*w**2 - 2*w + 4. Let j be u(-3). Is j <= l?
False
Let o = -4739 - -66261/14. Let h = -32/7 - o. Suppose 18*j = 19*j - 1. Which is smaller: j or h?
j
Let a = 177 + -2306/13. Let o(f) = -f**3 + 6*f**2 + 7*f + 1. Let y be o(7). Which is bigger: y or a?
y
Let i = -2473 - -2083. Which is bigger: -391 or i?
i
Let p be (-93)/66 + (-5)/(-10). Which is bigger: -0.1 or p?
-0.1
Let d be 1*(-1 + (2 - 1)). Let u(o) = -3*o - 81. Let i be u(-25). Let z be ((-15)/(-21) - 1)/(i/(-15)). Which is bigger: d or z?
d
Let r(i) = 3*i**2 + 16*i + 5. Let d be r(-7). Suppose 36*m - d*m - 4 = 0. Is 2/237 > m?
True
Let d = -287 + 285.61. Let l = -0.79 - d. Is l equal to -1?
False
Let d = -216.8 + 216.9. Let k = -4.5 + 2. Which is bigger: d or k?
d
Let r be ((-4)/(-1779))/(0 + -1). Let q = 2796632/19569 + r. Let p = -143 + q. Which is greater: -1 or p?
p
Let h(r) = r**3 - 3*r**2 + r. Let f(x) = 3*x**3 - 9*x**2 + 3*x - 1. Let j(p) = 2*f(p) - 7*h(p). Let n be j(2). Let m = 15/4 - 13/4. Which is greater: n or m?
m
Let f = -3.1 - -1.8. Let a = -137 + 138.1. Let m = f + a. Which is smaller: 0 or m?
m
Let j(l) = l**2 + 10*l + 2. Suppose 48 = -5*v + o, -2*v - 2*v = o + 42. Let i be j(v). Suppose -5*k = i*k + 14. Which is greater: k or -4?
k
Let w be -1*170/112 - -1. Let z = 739/8 - 92. Let r = w + z. Is r <= -1?
False
Suppose -3*x = -0*x. Let m = 31/258 + -1/6. Which is smaller: x or m?
m
Let a = -7957/36 + 221. Suppose 0 = -5*l - 25, -4*u - l = -2*u + 3. Is a greater than or equal to u?
False
Suppose 268 = -3*x + 202. Are -19 and x nonequal?
True
Let f = 60.1 - -1.9. Let u = f - 44. Let l = u - 17. Which is smaller: l or 7?
l
Let v = 175 + -174. Do -589 and v have different values?
True
Let n = -80 + 114. Is n < 0.01?
False
Let u = 315 + -315. Are u and -7/6 nonequal?
True
Let c(r) = -45*r - 1. Let y be c(-1). Suppose -4*j - 2*n = 3*n - y, 8 = 2*n. Let d = j - 8. Which is smaller: d or -5?
-5
Let x be (18/2)/(4/(-4)). Let l = 11 + x. Suppose l*q = m, -m - q - 20 = m. Is m bigger than -0.1?
False
Let c = 55 - 59. Let h be (c + 405/100)/((-4)/(-170)). Is h <= 1?
False
Let r be 4 - ((-1550)/(-37))/10. Which is greater: -0.2 or r?
r
Let t = -24/5 + 67/15. Which is smaller: 0.145 or t?
t
Suppose -6*j = -4*j - 52. Suppose 3*z - j = 4*w + 8, -2 = -3*z - 4*w. Is 4 at most z?
True
Let v be 5/28*(4 + 84/(-90)). Let r = -8/21 + v. Is r less than or equal to 0.03?
False
Let f = -111 + 111. Suppose f = 7*c + 8 - 1. Which is smaller: -5/12 or c?
c
Let k(x) = -x**2 - 2*x + 20. Let i be k(-12). Which is greater: i or 1?
1
Let t = 77/45 - 29/15. Which is greater: t or -101?
t
Let t = -214 - -214. Which is bigger: t or -2/301?
t
Suppose -52*v + 54*v = -10. Which is bigger: v or 24?
24
Suppose -x + 1 + 2 = 0, -4*n + x = 11. Let s be (-3)/n*(-1 - -3). Suppose q + 4*q - 31 = -s*h, q - 1 = 2*h. Is 5 smaller than q?
False
Let f = -144054/19 - -7580. Is -2 at most as big as f?
True
Suppose 5808 = 10*x - 8842. Let w be x/(-35) + ((-6)/(-7) - 1). Is w greater than or equal to -42?
True
Let z = -19 + 23. Suppose b + 75 = z*b. Let j = b - 23. Is 6/11 <= j?
True
Let v = -6.63 + -0.37. Is -0.4 != v?
True
Let w = -22.871 - -0.071. Let s = w - -23. Which is bigger: s or 0?
s
Let q = -511 - -511.5. Is q greater than 1/5?
True
Let t = 6/587 - 10027/4696. Which is bigger: t or -2?
-2
Let m = -1.9 - -2. Suppose 6*q - 5*i - 35 = 7*q, -3*q = -i + 57. Is q less than or equal to m?
True
Suppose m - 3*q + 25 = -4*m, -3*m - q - 15 = 0. Let u be (-2)/m*1245/9. Let a = 851/15 - u. Which is smaller: -2/3 or a?
-2/3
Let k be (77/42*-2)/(1/2). Does k = -6?
False
Let m = -95 - -34. Which is smaller: -62 or m?
-62
Let t = -4 + -1. Let w(g) = -g - 14. Let a be w(t). Let f(y) = -y**2 - 2*y - 1. Let c be f(2). Is c >= a?
True
Let m(j) = 26*j**2 + 11*j + 7. Let w be m(-1). Suppose -n + 92 = 4*y, 4*y + n + 2*n - 100 = 0. Do y and w have the same value?
True
Let i(u) = -7*u + 3. Let m be i(5). Let n = -48 - m. Let o = 15 - 31. Is o greater than n?
False
Let f = -1537 - -1537. Is f bigger than 4/619?
False
Let v = -156 + 300. Which is smaller: 145 or v?
v
Suppose -13*y + 12*y + 2 = 0. Which is greater: 11/15 or y?
y
Let u(o) = o**3 - o - 3. Let c be u(3). Suppose -6 + 4 = -g. Which is smaller: g or c?
g
Let m be -1*2/(-4)*2. Let g(h) = h**2 - 1. Let q be g(m). Let p be (-2)/6*(-12)/56. Which is smaller: p or q?
q
Let g be 27324/363*(3 + 24/(-9)). Is 25 at least as big as g?
Fals