 -2 + -3. Which is greater: w or a?
w
Suppose -5*n + 314 = -y + 792, 4*n = -2*y - 388. Which is smaller: n or -100?
-100
Suppose v + 4*l = -8, -3*v - 5*l + 35 = 2*v. Let h be 20/(-50) - v/(-5). Do h and 4 have different values?
True
Let w be (2151/(-15))/((-459)/170). Is 52 equal to w?
False
Let r = -196 + 207. Is r bigger than 24?
False
Let n = 19.48 + -19.4. Which is smaller: 4/7 or n?
n
Let t(w) = -3*w + 2. Let c be t(2). Let r be (-246)/40 - -2 - (-15)/20. Which is smaller: r or c?
c
Let c = 2 - 3. Let r be c/(-3) + 44/12. Suppose 5 = r*d - 9*d. Which is smaller: 3/11 or d?
d
Let r(u) = 7*u**2 + 13*u - 28. Let f(v) = -11*v**2 - 20*v + 42. Let a(o) = -5*f(o) - 8*r(o). Let z be a(-7). Let q be 1/(-7) - 120/z. Is 17 less than q?
False
Let v = 12 + -10. Suppose -g = g - 3*f, f - 4 = v*g. Let h be (g/(-10))/((-48)/20). Which is smaller: 0 or h?
h
Let h = -47 - 86. Is 4 < h?
False
Let z = 136 - 101. Let k be (90/z)/(-9) + (-234)/14. Are -16 and k nonequal?
True
Let s = -764 + 763. Is s > -4/1289?
False
Let z be (-1 - -1) + (-4)/(-6). Let c = -1066 + 1090. Is z greater than c?
False
Let g(r) = r**3 - 3*r**2 - 2*r + 2. Let w = 0 - -4. Let d be g(w). Suppose 0*c = 5*c - d. Is 2/3 greater than c?
False
Let n be -5*((-48)/(-260))/6. Let v(a) = -a**3 - 7*a**2 - 8*a - 9. Let w be v(-6). Suppose -2*x + 1 = w. Which is smaller: n or x?
x
Let s(l) = l**3 + 59*l**2 - 188*l - 123. Let a be s(-62). Which is smaller: 24/13 or a?
a
Let w = -62 + 621/10. Let u = w + -3/10. Let r = u - 32/15. Which is smaller: -3 or r?
-3
Let f be (-1 + -1)*(-16)/(-3 + -1). Suppose 4*t - 8 = -48. Is t at least as big as f?
False
Let z = -281.4 + 281. Which is greater: z or -1/9?
-1/9
Suppose -2*q - s - 5 = 0, -4*q - 31 = 2*s - 7*s. Let n be (10/q)/((-5)/10). Suppose -n = -u, 0*u + 26 = 3*j - 2*u. Which is smaller: 11 or j?
11
Suppose -5*g + 10 = -5*u, 18 = 7*g - 4*g + u. Which is smaller: 8 or g?
g
Suppose r = 4*u, 5*r - 19 = -4*u + 5. Let b be 12*((-3)/r)/(-3). Suppose -b*x = -5*x - 16. Which is bigger: -0.2 or x?
-0.2
Suppose 0 = 3*r - 31 - 23. Let q be -3 + (2 - r/(-14)). Let u = 5 - 5. Which is greater: u or q?
q
Let q be (-1 - -4)/(-3) - 6. Let r = -122 - -121. Which is bigger: r or q?
r
Let p = -0.04 - 0.01. Let m = p - 0.03. Let f = -0.02 + m. Is 0.05 smaller than f?
False
Let p(s) = 2*s**2 + 7*s - 5. Let b be p(-4). Which is bigger: b or -8/177?
-8/177
Let x(r) = -2*r**3 + 2*r**2 + 2*r + 1. Suppose q = -4*q - 20, 0 = o - 5*q - 19. Let a be x(o). Let k be -1 + 9/a + -4. Is 1/10 at most k?
False
Let y be (-1 + -1)*1 - 113. Which is greater: y or -574/5?
-574/5
Suppose w = -j + 2, 18 = -3*w - 5*j + 30. Is w less than or equal to 16/129?
True
Let v be ((-3040)/(-4600))/(6/(-15)). Which is bigger: -2 or v?
v
Let z = 21 - 22. Which is bigger: 1/46 or z?
1/46
Suppose -a + 16 = 3*y, 11 = a - y - 21. Let f = a - -19. Let q = f + -91/2. Which is bigger: q or 1?
q
Let v = 0.277 + -0.077. Are -5/8 and v non-equal?
True
Let r be -1 - (-33 + 8 + 2). Is r at most 21?
False
Suppose -2*w + 8 = 2*g - 5*g, 5*w - 20 = -2*g. Let x = -1 - g. Let y be (0 + -1)/(-3 + -2). Which is smaller: x or y?
x
Let g = -23 + 99. Let s = g - 76. Is s > 9/7?
False
Suppose -98 = -2*r - 2*o, 0 = -5*r - 0*o - 2*o + 236. Is r bigger than 48?
False
Suppose w + 2*o = -13, -5*w - 6*o - 65 = -o. Let x be ((-3741)/172)/((-25)/6*81/(-180)). Which is bigger: w or x?
x
Suppose -10*z = 6*z - 80. Let x(v) = -v**3 + 5*v**2 + v - 6. Let d be x(z). Which is greater: d or -0.34?
-0.34
Suppose -5*i - 3*c + 8 = -7*c, 5*i - 26 = -2*c. Suppose -i*v = 12, 2*l + 4*v - 3 = -3*l. Suppose -6*m = 3 + l. Which is smaller: -5/4 or m?
-5/4
Let y = 155 + -1083/7. Suppose 19 = c + 4*c + 4*f, -2*c + 22 = -2*f. Suppose v + 1 = 0, 3*v = 4*b - 0*v - c. Which is smaller: b or y?
y
Suppose 0 = -8*m + 12*m - 40. Let l(q) = -q + 1. Let z be l(m). Let v = -360 + 354. Do v and z have different values?
True
Suppose l + 99 - 134 = 0. Is l > 34?
True
Let u = -184 + 202. Which is smaller: u or 16?
16
Let w = -26 + 16. Suppose 4*n + 3*q + 11 = 0, 4*n - q + 5*q = -12. Let y be (w - -3) + -1 + n. Is -10 equal to y?
True
Let s = 9 + -5. Let t be (6/s)/(11343/(-739)). Let a = -3/398 + t. Is -0.2 at most a?
True
Let i = -8.246 + 2.246. Which is greater: i or -1.1?
-1.1
Let b = 15 + -29. Let s(v) = -v**2 + 17*v + 15. Let p(a) = -3*a**2 + 35*a + 30. Let t(f) = 2*p(f) - 5*s(f). Let i be t(b). Is i greater than or equal to 0?
False
Let k(s) = -s**2 + 5*s + 1. Suppose 3*z = q - 49, -5*q + 0*z + 194 = 2*z. Let v be 8/28 - q/(-7). Let t be k(v). Do t and -4 have different values?
True
Let h = -1877/14 - -134. Suppose 3*p + u - 4 + 13 = 0, 0 = -3*p + 2*u. Let x = 1 + p. Is x less than h?
True
Let p = 24 - 17. Let a(n) = -p + 4 - 2*n - n**2 + 6*n + 2. Let v be a(3). Is -1 less than or equal to v?
True
Let m = 7654009/282 + -27142. Let k = -2/47 + m. Which is smaller: k or 1?
k
Let q(c) = -c**3 - 2*c**2 - c - 3. Let f be q(-2). Is f >= 2/399?
False
Let f be 5/2*8/(-10). Let l = 9/10 + -3/2. Which is smaller: f or l?
f
Let o(d) = -d**2 + 18*d - 10. Let b be o(17). Suppose 0 = 6*y - b*y - 24. Is -24 equal to y?
True
Let r(j) = 49*j**2 + 20*j + 20. Let b be r(-1). Which is bigger: b or 54?
54
Let b = 10 + 5. Suppose 4*z = b + 1. Let i = 0.03 - -0.17. Is z at most i?
False
Let v = 0.092 + -39.092. Let t = 44.9 + v. Let n = -6 + t. Is n greater than 1?
False
Let k = 531 - 581. Are k and -55 non-equal?
True
Suppose -2*m = 5*h + 14, 2*h + 3*h - 2*m + 6 = 0. Let l be 18/(-10) - h/(-10). Let a be l*1 + -1 + -1. Which is smaller: a or -3?
a
Let n = -25 + 12. Let b = n + 17. Suppose 0 = 4*d - 6*d - b. Which is smaller: d or -1?
d
Let y(g) = -g**2 + 29*g + 109. Let k be y(33). Which is greater: k or -16?
-16
Let f be 4/(-14) - 5/(70/(-46)). Suppose 6*l = f*l - 51. Which is smaller: l or -16?
l
Let v(i) = 25*i**3 + 2*i**2 - 3*i + 2. Let w = -49 + 84. Let y = 36 - w. Let g be v(y). Is 26 at most g?
True
Let b(g) = -3*g**3 - 8*g**2 + 5*g - 7. Let l(j) = -7*j**3 - 17*j**2 + 10*j - 14. Let k(q) = -5*b(q) + 2*l(q). Let w be k(-7). Is -8 at most as big as w?
True
Let s(c) = c**2 + 11*c - 55. Let p be s(-15). Which is smaller: p or 1/3?
1/3
Let f(o) = -o**3 + o**2 + 16. Let l be f(0). Let g = l + -13. Is 5 less than or equal to g?
False
Let n = 117 + -78. Let d = -39.1 + n. Is d at most -3/17?
False
Let l = 0.0201 + 5.2799. Which is smaller: 1 or l?
1
Let f = -215.4 + 215. Is f bigger than 1?
False
Let v be (-228)/(-330) + (-1)/(-5)*2. Let t = v + -13/22. Is 1/2 < t?
False
Let p(y) = -2*y**3 - y**2. Let m be p(-1). Let o be m/1 - 5/((-20)/(-12)). Which is bigger: o or -12/13?
-12/13
Let b be (-6)/14 + -1 + (-96)/(-42). Let q(c) be the second derivative of -c**4/12 - c**3/2 + 2*c**2 + 3*c. Let y be q(-4). Is b != y?
True
Let i be ((-2814806)/371)/(4068/21). Let n = -2/5989 + i. Let l = -39 - n. Which is smaller: l or 0?
0
Let l be 4/((-7)/(4900/(-8))). Let z = l + -3158/9. Is z less than 0?
True
Let n be 3*((-4)/3 + 4). Let i be (-34)/187 - n/77. Which is greater: i or 46?
46
Let o be ((-9)/(-20))/(1/(-4)). Suppose 5*i = 4*i + 4*w - 1, -1 = i - 2*w. Is i >= o?
True
Let v = 28.6 - 34. Let b = -544 - -541.6. Let h = v - b. Is -0.01 at least h?
True
Let m = 1/4318778 - 5208448237/8503673882. Let q = m + 12/179. Which is smaller: q or 0?
q
Suppose 5*b = 2*v + 138, b + v - 126 = -4*b. Suppose 0 = -2*o - 42 - b. Which is greater: o or -33?
-33
Let g be 1 - (-3 + (-12)/(-3)). Suppose 3*y - 6 = 4*p - 119, 5*p + y - 127 = g. Which is smaller: 25 or p?
25
Let t be ((-171)/(-15))/(2/(-10)). Let f = -49 - t. Do f and 14 have different values?
True
Suppose -4*v - 8381 = 5*j, -2*v - 8383 = 66*j - 61*j. Is 0.1 bigger than j?
True
Let t = -42 + 70. Let c(s) = s**2 + s - 245. Let m be c(-17). Which is smaller: t or m?
m
Let s be (-20)/70 - (-191)/7. Let h = s + -56. Which is bigger: h or -27?
-27
Suppose 16 = -c - 4*i, 12 = -4*c - 2*i - i. Which is bigger: c or 2/2955?
2/2955
Let a(g) = 10*g - 190. Let w be a(19). Is 4/399 at most as big as w?
False
Let u = 14 + -12.9. Let a be 12/(-18) - (-6386)/(-42). Let i = 153 + a. Is u equal to i?
False
Let m(w) = 6 - 2*w**3 + 3*w**3 - w - 1 - 4*w**2. Let j be m(4). Suppose 2*t = -l - 6, -t + 4*l + 10 = 4. Is t < j?
True
Let n = -0.02 + -12.98. Let o = n - -21. L