, 3*z + 35 = r. Let f be 1/3 + (-80)/z. Let u = -135 - -143. Which is smaller: u or f?
f
Let z(q) = -2*q**2 + 39*q - 61. Let l be z(18). Let a(p) = -p**3 - 5*p**2 + 14*p + 3. Let k be a(l). Which is smaller: 0 or k?
0
Let n = -140532137281/1794 - -78334527. Let d = -61/26 + n. Which is smaller: 1 or d?
d
Let r(p) = -3*p + 5. Let v be r(-13). Let y be 49 + (-8)/v + 31/(-11). Are 46 and y non-equal?
False
Let p(n) = n**3 - 81*n**2 + 520*n - 156. Let h be p(74). Suppose c - 10 = 5*j, 2*c + 1 = j + 3. Let f be j/3 + 28/(-3). Do f and h have the same value?
False
Let s be (-1 - -16)*(-258)/(-215). Are 20 and s unequal?
True
Let z = 56703 - 566429/10. Let q = 60 - z. Is q not equal to 3?
True
Let i(b) = 4*b - 2. Let d(z) = z + 1. Let r be d(-1). Let q be i(r). Which is bigger: q or -4?
q
Let w(m) = -m**3 - 7*m**2 - 5*m + 8. Let s be w(-6). Let v be (-1)/((76/(-2))/s). Which is smaller: v or 1?
v
Let c = -100 + 142. Is 41 at most c?
True
Let p(l) = 5*l. Let s be p(1). Suppose 3*q + 0 = 3. Suppose -2*v + 13 = 2*k + q, -s*k = 3*v - 28. Which is bigger: -0.2 or v?
v
Let k = 1 - 2. Suppose 5*j + 2*n + 657 = -0*n, 5*n = 4*j + 519. Let i = j - -1177/9. Are i and k non-equal?
True
Let w(h) = -2*h. Let j = 14 - 10. Let f be w(j). Let x = f - -8. Is 1 >= x?
True
Let n(r) = r**2 - 4*r - 5. Let w be n(5). Let k = 8 + w. Let d be 0 + (k/12)/1. Which is bigger: d or 2?
2
Let p be (-1)/(1*((-2)/(-2) + -2)). Is p > -46?
True
Let j = 3.79 + -4.6. Is j >= -0.1?
False
Let f(o) = -3*o - 4. Let h be f(-2). Suppose 5*d = -h - 3. Is d bigger than 0?
False
Let g be (1/((-10)/(-2516)))/(-4). Let x = -63 - g. Which is greater: x or 0?
0
Let w(x) = x**3 - 5*x**2 - 1. Let g be w(5). Let t be (-17)/3 + g/(-3)*-1. Are t and -13/2 equal?
False
Suppose 522 = -i - 2*p, -3*i - 1166 - 400 = -5*p. Is i not equal to -523?
True
Let g be (-102)/(-9)*(-5182)/(-392). Let j = 1047/7 - g. Let b = j + 4/49. Is b > -1?
True
Suppose -2*u - 2*u + 76 = 0. Let f(s) = 2*s**2 - 129*s - 180. Let t be f(66). Which is smaller: u or t?
t
Let m(i) = -i - 12. Let v be m(-5). Let n = -227 + 2499/11. Let o = n + -169/22. Which is smaller: v or o?
o
Suppose -4*r - 20 = 3*o - 2*r, 0 = -4*r - 16. Suppose 3*g + 19 = -9*n + 5*n, -5*n = 5. Which is bigger: o or g?
o
Let f = -75 + 76. Let m be f/(-4)*(-28)/161. Is 0 smaller than m?
True
Let k be 1690/(-3)*(0 - 3). Let p be k/(-1500) - (-2)/4. Let s = p + -1/25. Which is greater: -3/5 or s?
-3/5
Let d = 565/46996 + -3/758. Let z = -59/372 - d. Which is bigger: 1 or z?
1
Let x = 22/49 - 3033/98. Let a = -31 - x. Let k be 1 - (3/2 + -2). Which is bigger: k or a?
k
Let v be 3/(2 - 5) - 2. Which is smaller: -14/5 or v?
v
Let u = 2332 - 2341. Does -14 = u?
False
Let m(d) = 2*d**3 - 5*d**2 - 6*d + 33. Let b be m(3). Are 158/7 and b unequal?
True
Let g = -5 + 10. Suppose 7 + g = 4*z. Let v be 3/(21/(-4) - z). Is 0 less than or equal to v?
False
Suppose 2*r = 3*z + 7, 2*r - 2 = -r - 4*z. Let t be -19 + -6*2/(-3). Let y be 1 + 6*(-5)/t. Which is smaller: y or r?
r
Suppose -4*g - 3*y = -104, -2*y = -530 + 522. Which is smaller: g or 56?
g
Suppose 0 = 2*f - f - 3*f. Is f < -2/155?
False
Let f = 40 - 19. Let j = f + -30. Let b = -2 + 1. Is j at least as big as b?
False
Let v be (0 - -3)*(-10)/6. Let j = -116 - -149. Suppose -4*h = j - 9. Which is greater: v or h?
v
Let w = 4 - 15. Let t = w + 13. Let o = 1147/6 + -192. Which is greater: t or o?
t
Let p = -744 - -744. Which is bigger: p or -4/357?
p
Let o be 5 - (1 - (2 + -1)). Suppose 4*d = -y - 0*y - 52, 3*d + 39 = -3*y. Let g be (d/(-52))/(1/16). Is g < o?
True
Suppose -3*u - 3*v - v - 19 = 0, -v + 4 = -u. Let y(k) = -2*k - 8. Let o be y(u). Let h be o + 16 + -1 - -4. Is h > 20?
True
Let g(a) = -a**2 + 7*a + 7. Let m be g(7). Let i = m - 1. Let z be 8/(-20) + i/(-10). Do z and -9/7 have different values?
True
Let k = -19 - -17. Let u = 7 - k. Let x = u - 11. Are x and -2 nonequal?
False
Suppose 0 = -5*u + u - 12. Let i(n) = 19 - 15 + 0*n + n. Let t be i(u). Is 1/18 greater than t?
False
Suppose -g + 12 = g + 2*o, 3*g - 4*o = -10. Suppose -4*f - 10 = g*z - 0*f, 3*f = z - 10. Let h be 8/6 + 3/(-9). Is h > z?
False
Let x = -205 - -205. Which is smaller: x or -39?
-39
Let q = -2604 - -2414. Which is greater: -1/3 or q?
-1/3
Let g be 39/(-114) + (-2)/(-4). Let b = g + 10/57. Let a = -0.4933 + -0.0067. Is a < b?
True
Let t = 6006 - 1123116/187. Is t less than or equal to 1?
True
Let f be ((-1)/30)/(6/(-207)). Let o = -17/5 + f. Which is smaller: -2 or o?
o
Suppose 2*v + 3*v + 21 = 3*z, -2*z + v + 7 = 0. Suppose 2*d = 2*c + 18, z*d + c = -3*d + 57. Let g = 13 - d. Does g = 4?
False
Let b = -2.23 - -2.2. Let t = -0.3 - -0.27. Let r = -0.07 + t. Does r = b?
False
Suppose 643 - 9819 = -31*i. Which is smaller: 298 or i?
i
Let d = -173 - -812. Let s = d + -36422/57. Which is smaller: 1 or s?
s
Let q = -492 + 825/2. Which is smaller: 0 or q?
q
Let y = 352 + -518. Which is smaller: -167 or y?
-167
Let r = -678 - -669. Let q(x) = x**2 + 3*x - 4. Let y be q(-4). Suppose -d - 4 = -s - y, -s = 4*d + 41. Are r and d non-equal?
False
Let u be -5*((-64)/(-20))/(-4). Suppose 0 = -q - u*q + 55. Suppose -q = -3*m + 10. Is 27/4 > m?
False
Let h = -0.1096 + -0.0904. Is -217 != h?
True
Let j = -43.977 + 44. Let b = -31493/5 - -6299. Is j < b?
True
Suppose 4*q + 48 = 16*q. Let t = -6 - -5.7. Is t less than q?
True
Let o = -294 + 293. Let b = -739 + 37685/51. Which is greater: o or b?
b
Let q = -750 + 588. Which is smaller: -166 or q?
-166
Suppose -12*n + 17*n = 160. Let p = n - 61. Are p and -29 equal?
True
Let p = 0 + 0. Let r be (-24)/22*(-762)/(-4). Let z = -208 - r. Is z at most as big as p?
True
Suppose -3*n = -n - 28. Let j be (136/60 - 2/(-6)) + -3. Which is bigger: n or j?
n
Suppose -2*z - w + 4 = 3*w, 3*w = 2*z + 3. Suppose 0 = a + 2, z = 5*o + 5*a. Suppose 9 - 3 = -o*s + 3*p, 0 = -4*s + 5*p - 10. Which is bigger: s or 10/11?
10/11
Suppose 0 = -3*v - 5*h + 686, 0 = -5*v + h - 34 + 1140. Is 223 != v?
True
Let t = -1.77 - -1.57. Which is smaller: 71 or t?
t
Let m(b) = -10*b - 39. Let q be m(7). Let c = -110 - q. Which is smaller: c or -5/34?
c
Let k(d) = 2*d**3 - 98*d**2 + 7*d + 38. Let q be k(49). Which is greater: 380 or q?
q
Let m(t) = -8*t - 63. Let v be m(-11). Suppose 0 = 5*p - 0*p + v. Is -5 greater than or equal to p?
True
Let x(v) = v**2 + 4*v - 8. Suppose -c - 8 = 5*h + 20, 3*h + 5*c = -8. Let t be x(h). Is t > 3?
True
Suppose -2*m - 227 = 5*v, 5*m - v + 299 = -282. Let p = m - -116. Suppose -3*n = 3*t - 8*n - 10, 4*t - 2*n + 10 = 0. Which is bigger: p or t?
p
Let i be (6*1)/(21/((-1848)/16)). Which is bigger: -98/3 or i?
-98/3
Let t(z) = 26*z + 246. Let d be t(-9). Suppose 0 = -6*l + l + 50. Which is smaller: l or d?
l
Let j be ((-6)/15)/((4914/(-30))/(-9)). Which is smaller: j or 0?
j
Let g(z) = -z**3 - 17*z**2 - 64*z - 12. Let m be g(-11). Is -3 >= m?
True
Let h = 55/12 + -361/84. Which is bigger: -798 or h?
h
Let t = 19 - -5. Suppose -5*i + k + 9 + 0 = 0, 4*i - t = 5*k. Which is bigger: -1/5 or i?
i
Let s = 3.051 + 0.149. Which is smaller: -8 or s?
-8
Let j = -315 - -2211/7. Which is greater: -11 or j?
j
Let j(q) = -q**2 + 12*q + 8. Let u be j(8). Suppose u + 16 = -7*x. Is x less than -3?
True
Let s(c) = c**3 + 14*c**2 - 16*c + 8. Let y be s(-15). Suppose y*z - 28*z = 25. Let v = 4 + -7. Which is smaller: z or v?
z
Suppose p - 4*m + 3*m - 3 = 0, 2*m + 14 = 4*p. Suppose -d - 3*t = -6, p*d + 0*t + 24 = 4*t. Which is bigger: -1 or d?
-1
Let v(m) = -m**2 + 5*m - 4. Let u be v(4). Suppose 4*y - 4 = -u*y. Is y <= 1?
True
Suppose 6*g + 3 - 117 = 0. Are g and -1 equal?
False
Let d(s) = -6*s - 50. Let o be d(-8). Is 4/3 at least o?
True
Let k = -40961660/2517 - -16274. Are k and 1 unequal?
True
Let a be 4 + (-37)/3 + 7. Which is smaller: a or -2?
-2
Let p = 652 - 654. Is -4/3 at least p?
True
Let m be 2/7 - (-24)/14. Let x be (18 - 23)*(-2)/10. Which is smaller: x or m?
x
Let l = 0.311 - 0.211. Is l less than -7?
False
Let v be 0 + 0 - 8/14. Let r be 3/(-126)*7 - 25/(-42). Which is bigger: v or r?
r
Let q be ((-4)/(-10))/((-3)/(-90)). Suppose -q*j - 24 = -9*j. Suppose 0 = -6*h + h - 40. Is h > j?
False
Let l be 4/(-18) - 236/396. Let a = -0.015 + -0.985. Which is greater: l or a?
l
Suppose 2*d = 5*d + x - 14, 5*d - 3*x = 0. Let g = 6 -