ose 0*z = 4*z. Suppose -3*i + 39 = -z*i. Is n greater than or equal to i?
True
Let i(d) = 7*d**3 - 5*d**2 + 6. Let z be i(-4). Is -521 smaller than z?
False
Let d be 11/(1/((-1)/1)). Suppose 4*g + 4 = -36. Let f = d - g. Which is greater: f or 0?
0
Let w be (-5438)/(-34) - 1/(-1). Let q = -659 - -498. Let g = w + q. Which is greater: 1 or g?
1
Suppose -12 = -0*a - 4*a. Let z be -5 + (a - 0 - 1). Which is greater: 0 or z?
0
Let q = 0.2 + 0.3. Let a = -2 + -2. Let v be ((-39)/10 + 4)*a. Is v != q?
True
Let a be (3/(-15))/((-3)/(-6)). Which is smaller: a or 78?
a
Let l be (3 - 2)*(0 - 2). Let d = l + -6. Let s be (-2)/d*(-42)/35. Do 0 and s have the same value?
False
Suppose -b + 3*h + 11 = 0, 3 = -4*h - 9. Suppose -4*i - 62 = -3*t, -25 = i + b*t - 4. Is -18 less than or equal to i?
True
Let x be (-1)/5 - 2116/345 - -6. Which is greater: 24/109 or x?
24/109
Let i = 19913/4 + -5073. Let a = -94 - i. Is 1/2 != a?
True
Let g(u) = -83*u**2 - 1. Suppose 5*d = -3 - 2. Let s be g(d). Let f be 144/s*(-2)/2. Is 1 bigger than f?
False
Let b = -10 - -25. Let k = -11 + b. Let f(u) = -u**2 + 3*u + 4. Let t be f(k). Which is greater: t or -6/5?
t
Suppose -j - 5*f - 22 = 0, 6*j + 16 = 3*j - 5*f. Let l be j/(-6) + 3/6. Let t = 349/1287 + -4/99. Which is smaller: l or t?
l
Let g(w) = -5*w**3 - w**2 - 2*w. Let a be g(-1). Suppose 4*u = -a - 10. Which is smaller: u or -6?
-6
Let l(r) = -2*r**2 + 3*r + 3. Let c(m) = -m**3 + 2*m + 1. Let n be c(-2). Suppose -3*d - 4 = n. Let t be l(d). Is -23 >= t?
True
Let q = -2 - 3. Let j = 3 - -2. Let p = q + j. Which is greater: p or -1?
p
Let f(r) = -2*r**2 - 18*r - 1. Let j be f(-9). Let d be (-16)/(-6) - (12/(-9) - j). Which is smaller: 6 or d?
d
Let w = 0.013 + -58.013. Let t = w - -57.9. Which is bigger: -14 or t?
t
Let n = -0.055 + 0.955. Suppose 0 = 9*r - 2*r. Which is bigger: n or r?
n
Let u be (-108)/3*8/56. Suppose 6*r + 36 - 12 = 0. Is u at least as big as r?
False
Let y = -1161/2 - -579. Let o be ((-10)/(-180))/((-1)/4). Is y < o?
True
Let z = -7910/65239 - 4960152214/132108975. Let t = z + 1/2025. Let h = t + 38. Are h and -1/3 nonequal?
True
Suppose 0*r = 2*r - 4. Let u be r/7 - 104/(-28). Let q be u/6 + 1/(-1). Is 1 < q?
False
Let a be (-15)/(-105)*-7*(1 + 0). Are 2/1767 and a unequal?
True
Suppose 33 = f - 2*n, f - n - 15 - 17 = 0. Suppose -7*o + 38 - f = 0. Which is smaller: 1/137 or o?
1/137
Let s = 1.67 + -0.07. Let n = s + -0.5. Let r = n + 0.9. Which is bigger: -3 or r?
r
Let q = -546 - -543. Do -84/19 and q have the same value?
False
Let q be 8/20 - 3297/105. Is -2/3 >= q?
True
Let d = 21 - 14. Let r(v) = -2*v**3 - 17*v**2 + 8*v - 19. Let o be r(-9). Let q = d + o. Which is smaller: 1 or q?
q
Let h = -2 - -7.1. Let m = 5 - h. Let k = m + 0.1. Is k less than 1/5?
True
Let b = -44 + 47. Suppose -3*t + 3*p - 4*p = 23, b*t + 29 = -4*p. Which is smaller: t or -0.2?
t
Let q(s) = -2*s**3 - s**2 + 6*s. Let b be q(-4). Suppose x + 5 = 0, 2*x - b = 2*t - 0*x. Is -49 not equal to t?
False
Let x = -9 - -8. Let c be x + 7 + (3 - 7). Suppose c*t + 30 = -t. Which is smaller: -8 or t?
t
Let d = 99 + -141. Let z = d - -28. Let f be 117/(-63) - (-2)/z. Which is greater: 1 or f?
1
Let n = 31.56 - 9.56. Is -0.6 != n?
True
Suppose -298 = -4*r - 3*j, -39 - 28 = -r + 3*j. Is 72 at most r?
True
Let t be ((-119)/21)/((-1)/(-24)). Is -135 greater than or equal to t?
True
Let f(i) = 76*i**2 + 7*i + 3*i - 75*i**2. Let c be f(-7). Let x be (c/9 - 1)*3. Is -2/3 less than x?
False
Suppose 10 = 5*d, 3*d + 13 = -t - 21. Which is smaller: t or -41?
-41
Let g = -198 - -196. Is -143 greater than g?
False
Suppose 18 = -4*h - 26. Let t be (-1 - h) + 2 + -2. Let r be ((-1)/(-2))/(t/(-8)). Is 1/5 less than or equal to r?
False
Let d = -73631/74 + 995. Which is bigger: d or -1?
d
Let v(b) = b**3 + 13*b**2 - 51*b + 9. Let q be v(3). Which is greater: q or -2/1179?
q
Let d(s) = -2*s - 10. Let g(n) = n + 5. Let y(h) = 4*d(h) + 9*g(h). Let p be y(0). Which is bigger: p or 4?
p
Let q(c) = 4*c - 11. Let i be q(-6). Let a be -4*(3 - i/(-10)). Which is smaller: -3 or a?
-3
Let f(o) = -o**3 - 5*o**2 + 4*o + 12. Let h be f(-6). Suppose h*y = 20*y + 40. Let j = 11 - y. Which is greater: j or -2/19?
j
Let g = 546 + -545.2. Which is bigger: g or 48?
48
Let t be (-12)/18 + ((-1233)/(-108) - (3 + 0)). Let m(o) = 3*o + 2. Let s be m(2). Which is bigger: s or t?
s
Suppose -2*w - 15 = -z, 2*z + 28*w - 27*w = 0. Suppose g = 8 + 5. Suppose -5*u + g = -2. Is z not equal to u?
False
Let f(a) = 25*a - 306. Let z be f(0). Which is smaller: z or -305?
z
Let g = -15.24 - -15. Let b = g - -0.09. Let w = b + 3.15. Which is bigger: w or 2?
w
Let n be ((-51129)/(-342))/(6/4 + -1). Is n at least as big as -1?
True
Let u = 36/5 - 47/10. Let n(x) = 2*x + 13. Let t be n(-11). Let j = -6 - t. Do u and j have the same value?
False
Let l = 18.048 - 0.048. Let m = l - 20. Which is smaller: m or 0.3?
m
Let a = -222.9 + 220. Let k = 1/6 - -7/30. Are k and a non-equal?
True
Let l be ((-4)/(-318))/(6/18). Is -4/7 at least as big as l?
False
Let j(g) = -10*g + 486. Let l be j(45). Let t = -7.1 - -7. Is t > l?
False
Suppose -110*c + 109*c = 79. Which is smaller: -81 or c?
-81
Let k(q) = q**3 + 11*q**2 + q + 27. Let f be k(-11). Suppose 2*g + 2*g - f = 0. Which is smaller: 3 or g?
3
Suppose 0 = -2*f + 9 + 9. Let w = f + -5. Let s = -156 - -159. Is s at least w?
False
Let f = -311/185 + 8/5. Let w = f + 70/407. Which is smaller: w or 0?
0
Suppose 265 = 2*a + 3*a + 5*t, 5*t = 4*a - 221. Which is smaller: 53 or a?
53
Suppose r - 10 = -5*l + 2, -4*r - 12 = 0. Suppose 0*j - 30 = -10*j. Suppose l*d + j = 6*d. Which is smaller: 3/5 or d?
3/5
Suppose 5 = 4*f + 25, 0 = 2*r + 2*f + 14. Let y be (-2 - -2)*(-1)/2 + -1. Let v be 0/5 - y/r. Which is smaller: -1/3 or v?
v
Suppose 703 + 317 = -5*j - 3*o, 0 = 5*o. Is j != -202?
True
Let m = 8/297159 + 11245090534/12777837. Let d = m + -880. Which is greater: 0 or d?
d
Let j = -6.2 - -0.2. Let r = -6.1 - j. Let p be ((72/81)/4)/((-4)/6). Is r less than or equal to p?
False
Let w be 63/2*(-4)/18*-3. Let q be (-12)/42 - 312/(-14). Does q = w?
False
Let g = 199.52 - 217. Let h = 8.45 + g. Let j = h - -9. Which is bigger: j or -0.1?
j
Let s(a) = a**3 + 3*a**2 - 7*a - 9. Let i(c) = c**3 - 17*c**2 + 30*c - 4. Let d be i(15). Let u be s(d). Which is smaller: u or -3?
-3
Let r = -101 - -104. Suppose v + 9 = -r. Are -12 and v nonequal?
False
Let f = 890 + -617. Which is bigger: f or 0.1?
f
Let t = -91 - -90.9. Is t at least 52?
False
Let p be (-3)/3*-3*3. Let y be (-2)/24 + (-6)/p. Let j = 1 + y. Is 0 != j?
True
Let z = -25 + 18. Let b be (-1 - (3 + -3))*(-77)/z. Is -4 less than b?
False
Let f be 2*(-3)/2 + 36/(-5). Let n = -9 - f. Let b(i) = i**2 - 5*i - 6. Let v be b(6). Are n and v unequal?
True
Let b = -1/3 + 0. Let r = -1.09 + 0.95. Is b at least r?
False
Let v(g) = 2*g**3 + 24*g**2 + 5*g - 3. Let l be v(-6). Is 399 < l?
False
Let r = 8.03 - -1.85. Let g = r - -0.12. Let z = -11 + g. Which is greater: z or 4?
4
Let l(c) = -c**2 - 3 - 27*c + 34*c + 0. Let q be l(6). Is 4 > q?
True
Let v = -168 - -159. Suppose 0 = -3*x + 5*x - 2*n, x + 2*n = 15. Suppose 48 = -x*h + 8. Is v < h?
True
Let l be 2/(-10 - (-9)/3). Let q(c) = -c**2 + 12*c - 9. Let j be q(7). Which is smaller: l or j?
l
Suppose -21*m + 34*m = -260. Is m >= 2?
False
Suppose -4*n + 0 = 2*m + 16, -n = 4*m + 18. Let z be 5/n*(4 + -8). Let u = 3 - -8. Is z equal to u?
False
Let g(f) = 21*f + 591. Let p be g(-28). Is p at least 55/23?
True
Let p be 2/16 - 75/(-360). Let m be 1/(-6) - 5/10. Are m and p unequal?
True
Suppose t - 4 = 2*s, -8*t - 10 = -7*t + 5*s. Which is smaller: t or 6/485?
t
Let k be 11/3 - 16/(-48). Suppose 0 = 4*j + 2*s + k - 34, -5*s - 15 = 0. Let b be j/18 + (2 - 1). Which is greater: b or -2/5?
b
Let j = 156 - 155. Suppose g + 2*w = -6 - 0, -3*w - 8 = 2*g. Suppose j = -m - g, 2*s = m - 1. Is s greater than or equal to -10?
True
Suppose 4*u + 4*s = 2*u, 4*u - 24 = 4*s. Suppose -p = 5*h - 100, 3*h - 5*h - u*p + 22 = 0. Is 2 at least as big as h?
False
Suppose 550 = 10*v + 50. Is v less than -7?
False
Let n(c) = 6*c**2 + 2*c + 9. Let m(p) = p**2 - p - 1. Let z(a) = -5*m(a) + n(a). Let u be z(-10). Let t be (-1)/(u/(-14) + 3). Is 7 at most as big as t?
True
Suppose -4*y + 3 + 5 = 0. Let x 