 Suppose 4*w + z = 2. Which is smaller: -6 or w?
-6
Let n = 23317 + -23307.031. Let b = n - -0.031. Which is smaller: -0.1 or b?
-0.1
Let s = 3699 - 77659/21. Is 1 smaller than s?
False
Let n be (10/(-25))/(8/(-5)). Let s = 11849/13 - 911. Is s not equal to n?
True
Let m(x) = x**3 + 14*x**2 - 26*x + 24. Let n be m(-16). Which is smaller: -71 or n?
n
Let z = 36 - 5. Let i = z + -30. Let w = i + 8. Which is smaller: 6 or w?
6
Let k be (-286)/(-1089) + (-4)/(-22). Let t = 0.6 + -1.6. Which is smaller: k or t?
t
Let o = -209 + 211. Which is greater: o or 15?
15
Let q = -7482789332/114003 - -3478842/53. Let u = q - -6/239. Is u at least as big as 1?
True
Suppose -10*n - 111 = -121. Which is smaller: 4/125 or n?
4/125
Let u = 8989/1836 - 131/27. Which is smaller: u or 1?
u
Suppose -152 = 60*x - 41*x. Let j = -13 + 12. Which is greater: x or j?
j
Let g(q) = -4*q**3 + q**2 - q + 2. Let n be g(0). Suppose -4*j - j = 0. Suppose j = -n*d + d. Is d <= 0?
True
Suppose 0 = 4*s - 3*d + 6, 3*d + 2*d - 10 = 0. Let r be -6 + (-45)/(-66)*(-72)/(-10). Is s >= r?
True
Suppose -13*g - 72 = -7*g. Let n be (51/(-12) + 2)/((-3)/g). Which is bigger: n or -8?
-8
Let y(p) = -p**2 + 11*p - 9. Suppose 3*k + v + 3*v = 10, 2*k + 5 = -5*v. Let x be y(k). Suppose -2*r - r = -6. Which is smaller: x or r?
x
Suppose 2 + 6 = -2*d, -h + 10 = -2*d. Suppose -4*i = h*i + 42. Is -5 < i?
False
Let s = -1142 - -1142. Is s >= 7/30?
False
Let r = -2.64 - -2.44. Does r = 22?
False
Let s = 0.063 + -0.03. Let t = 0.067 + s. Does t = 8?
False
Let f = -0.1 - -0.08. Let i = f + 0.12. Suppose 0 = -50*z + 45*z + 35. Which is bigger: i or z?
z
Let w be 16/20*15/2. Let c(t) = -t - 4 + w - 2 - 7. Let h be c(-6). Which is smaller: -5/3 or h?
-5/3
Let h(x) = -7*x**2 - 2*x**2 - 1 - x**3 + 0 - 7*x. Let i be h(-8). Is i >= -8?
False
Let l be ((-7)/((-91)/(-40)))/(-2). Suppose -2*d + 16 = 2*g, 2*d + 0*g = 2*g - 4. Is l at most as big as d?
True
Let s(y) = 5*y**2 - 11*y - 6. Suppose w = -7 + 1. Let n(x) = 4*x**2 - 11*x - 5. Let a(u) = w*n(u) + 5*s(u). Let m be a(-11). Is m at least as big as 8/5?
False
Let d be (7 - 44)/(1/(-11)) - -4. Is d less than 410?
False
Let l = 490 - 1168. Does -1/4 = l?
False
Let m(j) = 3*j**3 - 3*j**2 + 7*j + 13. Let w be m(-3). Let d = -104 - w. Is d < 12?
False
Suppose 0*g = g - 5*t - 136, 0 = -2*g - 3*t + 233. Suppose -m - g = 10*m. Let b = -20 - -10. Is m less than or equal to b?
True
Let k be 195/18 - 11 - 222/(-1467). Is 1 greater than k?
True
Let a = 4 - 14. Let p = a - -11. Let v = 22 + -20. Is p greater than or equal to v?
False
Let w(k) = -4*k + 3. Let m be w(1). Let r(i) = 3 - i + 6*i - 4. Let u be r(m). Which is greater: u or -7?
u
Let v = 0.602 + -1.602. Do v and -139/3 have the same value?
False
Let t = 187/76 + -42/19. Is 4/21 at most as big as t?
True
Let v = -123 + 123. Which is bigger: v or 5/42?
5/42
Let r be -1 + 1 - 2/39. Let a = -20.5 + 20.45. Which is bigger: r or a?
a
Suppose -g - 11 = -5*p, 4*g = 4*p + 3*g - 8. Which is bigger: p or 43?
43
Let w = 75 - 73. Which is smaller: w or 22/7?
w
Suppose 0 = -8*k - 1181 - 1595. Which is greater: k or -348?
k
Let l = -0.3 + 0.1. Let q = -23 + -28. Let n = q + 49. Which is smaller: l or n?
n
Suppose -3*t + 7 - 4 = 0, 124 = -2*w + 2*t. Which is smaller: 0 or w?
w
Let q(n) = n**3 - 12*n**2 + 10*n + 3. Let z be q(11). Let o be -8 + 3 + -5 + 3. Is o at least as big as z?
True
Let p(x) = -3*x**2 + 14*x - 3. Let i be p(4). Suppose -9*n + i = -14*n. Suppose -3*k = 8 - 2. Which is smaller: k or n?
k
Let l(j) = -j**2 - 7*j - 1. Let c be l(-7). Let p be (-24)/(-15) - 6/(-15). Suppose i + p = 1. Are c and i unequal?
False
Let v(s) = 11*s - 34. Let f(p) = -6*p + 17. Let q(b) = 5*f(b) + 3*v(b). Let j be q(6). Which is bigger: j or -3/43?
j
Suppose 8 = 4*u, 4*n = -4*u + 10 + 2. Is n < -6/623?
False
Suppose -2*x - 2 = 3*d, -8 = -x - x + 2*d. Let s(m) = 5*m**3 - 4*m**3 - 7*m**x - 8*m + 0*m**3. Let l be s(8). Are l and -1/7 equal?
False
Let s be 862/(-9) - -2*2/(-4). Let h = -97 - s. Let o = -4 - -3. Which is bigger: h or o?
h
Let g = -41916898073/177310 - -35272131/149. Let v = g + -9641/30. Let p = v + -2/51. Which is greater: 1 or p?
1
Suppose -4*a + 14 = -2*a. Let g be ((-315)/225)/(2 + -1)*-5. Is a greater than g?
False
Suppose -4*c - c = 5. Let s = 164 + -40. Let l be s/(-140) - 2/(-7). Is l less than c?
False
Let b = -90 + 91.08. Let x = b - 0.88. Let v = -0.58 + -0.02. Is v at most as big as x?
True
Let k be (1 + (-14)/6)*(-4959)/(-145). Let u = k - -46. Are 0.02 and u equal?
False
Let t(c) = c + 609. Let s be t(0). Let x be (-132)/s + 12/42. Suppose -4*r - 7 = -3. Which is greater: r or x?
x
Let i = 43 - 41. Let x = -6 + i. Which is greater: x or -1?
-1
Let x = -286136/36385 - 302/383. Let h = x + 210/19. Is 1 < h?
True
Let h = 1.4 + 0.3. Let b = h + -1. Let k = -0.02 + 0.12. Is b at most as big as k?
False
Suppose 12*u - u + 44 = 0. Which is bigger: -31/6 or u?
u
Let z = -456 + 411. Is z greater than or equal to -45?
True
Let t = -1 - -0.97. Let k = t - -0.03. Let m = 6.6 - 6.51. Is k less than or equal to m?
True
Let q be 96/(-8) - (8 - -719). Which is bigger: -2/5 or q?
-2/5
Let k be ((-368)/69)/(2/6). Let t be 137/(-9) + 6/27. Is t < k?
False
Suppose 3*x = -2*i - 3, 1 + 3 = -2*i - 4*x. Suppose 0 = 2*n - i - 2. Let s = -1/86 + -145/2322. Which is bigger: n or s?
n
Let b be 7/(-26)*(-81)/42. Let o = b - 627/1508. Suppose t - 4*r - 4 = 0, -5*t + 3*r + 3 = -0. Is t less than or equal to o?
True
Let t = -614 + 194636/317. Is t at most as big as -1?
False
Let i(z) = z**3 - 21*z**2 + 65*z + 48. Let p be i(20). Is 948 at most p?
True
Let u be (-58)/87*12/(-52). Suppose -5 = -2*v + 7*v. Let h = -1 - v. Does h = u?
False
Suppose 40*d - i = 43*d - 12, -2*d + i + 8 = 0. Is -75 < d?
True
Let w be 5*(-5)/30 + 1/3. Let l = w + 1. Let t = 0 + 2. Is l > t?
False
Suppose 3*n = -w - 15, 5*w + 2*n + 59 = 3*n. Let m be (-385)/1245 + (-4)/w. Are m and -1 unequal?
True
Let p = 359 - 358. Is p > -2/553?
True
Suppose 0 = -19*s + 20*s - 10. Which is smaller: 11 or s?
s
Let k = 1.9 + 2.8. Let o = -4.5 + k. Let x = -0.07 + -2.93. Is o at most as big as x?
False
Let g be -7 - -60 - (1 + 3). Suppose 0 = -8*z - g + 17. Is z bigger than -4?
False
Let j = 157 - 171. Is -16 less than j?
True
Let y = 35 - 34.92. Let z = y - 0.28. Let b be 1/((-1)/(-2)) - 1. Is b greater than z?
True
Suppose r - 3*o = 3, 0*r + 3*o = 3*r + 9. Let y = -58 + 79. Suppose -n + 2*n + 7 = -3*q, -y = 5*q + 4*n. Is q equal to r?
False
Let g(f) = f**2 + 10*f + 23. Let s be g(-6). Let h be 4 - (2 + 1012/504). Which is bigger: s or h?
h
Suppose 322 = 39*n + 7*n. Is 16 < n?
False
Let b = -95.83 - 0.17. Let v = b - -64. Let r = 29 + v. Which is greater: -2/23 or r?
-2/23
Suppose 4*i - 69 = 5*g, -64 = -4*i - 2*g + 6*g. Suppose 3*b = -0*b + 12, 3*n + i = -4*b. Let v = n + 12. Is v not equal to 3?
False
Let t = -66458/377 + 2280/13. Which is bigger: t or 0?
0
Let z = -14 + 16. Suppose -z = u - 2*l, 4*l + l = 5*u + 5. Which is bigger: u or 3/17?
3/17
Suppose 0 = -r - 3*c + 9, 0 = r + 3*r - c - 23. Suppose -4*t + u = t + r, -t + u - 2 = 0. Which is greater: -8 or t?
t
Let q be 4/(-6) + 26/3. Let d = -128 - -73. Let p = 62 + d. Is q at most p?
False
Suppose 2*r - 6 = 0, -2*m - 11*r + 7*r = 10. Is 4 not equal to m?
True
Suppose 0*i + 12 = -g + 3*i, -84 = 3*g + 3*i. Let y = g - -19. Let z be -4 - (-2 + (-6)/(-3)). Which is bigger: z or y?
z
Let a = -37.7 + 37. Let f = a + 0.5. Are 3 and f unequal?
True
Let w = -14 + 12. Let x(h) = h**3 + h**2 + 2*h. Let g be x(w). Let z be g/(-28) - 52/(-14). Which is bigger: z or 7/2?
z
Let s be ((-32)/40 + 0)*(-55)/2. Suppose -2*n = -16 + s. Suppose m = -3*h - 2*m + 9, 2*h + 24 = 4*m. Is n at least h?
False
Let x = -54 + 64. Suppose 5*s - x = -0. Is s > 9/4?
False
Let j = 2 - 1. Let q be ((-2)/(-6))/((-17)/51). Let f be (5 + q)/(j*14). Which is smaller: f or 0?
0
Let n be (-336 - -193)/(1 + 1 + -1). Which is smaller: 1 or n?
n
Let u(p) = p**2 + 22*p + 18. Let d be u(-8). Let s = d - -61. Which is smaller: -32 or s?
s
Let l = -2 + 1.6. Let j = -2.9 - -2.2. Let b = -3.7 - j. Which is smaller: b or l?
b
Let p = -2308324451/44 + 52459294. Let z = p - -2625. Let j = -1/11 - z. Is 0.1 > j?
False
Let c(w) = -w + 1. Let s(p) = p + 4. Let r(j) = 3*c(j) + s(j). Let