 + o. Which is greater: -9 or w?
-9
Let y = -8 + 5. Let m be ((-2)/(-24))/(y/(-8)). Let g be 18/10 + ((-1628)/110 - -14). Is g at least m?
True
Let l = 0 + 2. Let g be 1/5*-1*(l - -99). Which is smaller: g or -19?
g
Let a(i) = i + 7. Let n be a(-2). Suppose n*u + u = 4*u. Which is smaller: u or 3/92?
u
Let l(z) = -z**2 + 8*z + 40. Let t be l(-6). Let f be 7/(140/t) - (-1)/5. Does -5/9 = f?
False
Let y = -1763/11 + 160. Let x(w) = -w**2 - 6*w - 1. Let u be x(-9). Let m = u + 27. Is y > m?
True
Let c = -1145953/975 - -3526/3. Which is smaller: 1 or c?
c
Let r = -534758/4845 - 26/969. Let l = 111 + r. Is 2 != l?
True
Suppose -31 = 4*r + 9. Let u be ((-12)/15)/(2/r). Let l be 0/(2/u*-6). Is l != -10/7?
True
Let v be 272/(-204)*((-55)/(-2) + -2). Is 0 < v?
False
Suppose 5*w + 244 = o, -w + 5*w + 912 = 4*o. Let z = -8065/36 + o. Is z less than or equal to -1?
False
Let g(z) = z**3 - 9*z**2 - 9*z + 13. Let q(u) = -u**2 - 7*u + 10. Let k be q(-7). Let j be g(k). Is j greater than or equal to 0?
True
Let f be 9/5 + 64/(-80). Let g be f/(-2) + (-13)/(-10). Suppose o + 3*o - 4 = 0. Which is smaller: g or o?
g
Let u(g) = g**3 - g**2 - 1. Let x be u(0). Let s be (-1 + 4/3)*x. Let o = 277 - 276. Is o bigger than s?
True
Let u = 142 - 127. Suppose 0 = -23*t + u*t - 240. Which is greater: t or -29?
-29
Let k = 73/136 + -5/136. Let c = 0.3 + -0.15. Which is smaller: k or c?
c
Let p be 7294/(-4) + (-3)/(-1). Let z = p - -1865. Let v = 40 - z. Is -4 > v?
True
Let n = 228 + -229. Which is smaller: -14/11 or n?
-14/11
Suppose 5*k + 37 = 2. Let w(b) = -8*b**2 + 8 + 0*b + 8*b + 2*b**2 - b**3 + 0*b. Let a be w(k). Which is greater: a or 3/11?
a
Let y = 38 - 58. Let g = y - -11. Is 0.2 != g?
True
Let v = 334/15 - 2129/90. Which is smaller: v or 0?
v
Let h(t) = t**2 + 10*t + 4. Let y be h(-10). Suppose -y*j - 4 - 12 = 0. Which is smaller: -3 or j?
j
Let g = 7.7 - 9.7. Let h(w) = -w + 4. Let c be h(3). Suppose 2*j - c + 3 = 0. Is g at least as big as j?
False
Let m(h) = 5*h**2 + 10*h - 25. Let k be m(5). Suppose -4*z - 3*u = -2*z + k, 5*z + 5*u = -375. Which is bigger: z or -74?
-74
Let c = 68.9 + -74. Let p = -1.5 - c. Is 1 not equal to p?
True
Let t = -0.1297 - 0.1283. Which is greater: t or -0.3?
t
Let g = -15 - -3. Let f = -12 - g. Let p = 0.2 + -0.2. Are p and f unequal?
False
Suppose 3*x - 25 = 14. Let u = 0.73 - 1.73. Is u greater than or equal to x?
False
Let p(g) = -5*g**2. Let y be p(3). Let c(f) = f**3 + 86*f**2 + 249*f - 45. Let t be c(-83). Is t > y?
False
Let g be -4 + (7 - (-2 + 6)). Let p be g*((-6)/(-159) - 0). Which is smaller: 1 or p?
p
Suppose -6*b + 16 = -2*b - 4*m, 4*b = 5*m + 18. Let d be -2 - (b - 29) - 3. Let u = d - 16. Is 6 greater than u?
False
Let l = 3 - 8. Let k = l + 4.9. Let h(f) = -f**3 + 2*f**2 + 4*f - 4. Let v be h(3). Is v greater than k?
False
Suppose 0 = 2*j + 3*v - 11, 4*j + 5*v - 1 - 18 = 0. Are j and -10 equal?
False
Let n be (-8 - -7)/((-1)/24). Let s = -37 + n. Let y be s/7 + (11 - 9). Is 0 equal to y?
False
Suppose 3*w + 14 = 5*w - 4*p, 2*w + 5*p = 41. Suppose 14*a - 18*a + 5*d + 53 = 0, -d = -3*a + 37. Which is smaller: w or a?
a
Suppose 331 - 340 = 9*p. Is 2/65 at least as big as p?
True
Let p = 162 - 163. Which is greater: -77 or p?
p
Let g = 109 - 538. Is -431 smaller than g?
True
Let b(u) = -u**3 - u**2 + u - 1. Let v be b(-2). Let z be (19/(-12))/((-15)/(-20) - 0). Let k = -7/3 - z. Which is bigger: v or k?
v
Suppose 2*m + a - 424 = 0, 3*m - 5*a - 760 = -98. Do 214 and m have different values?
False
Suppose -16 = 4*n - 44. Suppose -2*s + 2*t - 22 = 0, -s + 2*t = -0 + n. Which is smaller: s or -65/4?
-65/4
Let b be (-8 + 9)/((-3)/((-24)/28)). Is -212 at most b?
True
Let q(s) = -s + 16. Let r be q(12). Suppose 3*i - 18 = -2*l, -2*l + 4*l + r*i - 22 = 0. Which is smaller: 2/5 or l?
2/5
Let n = 2 - -1. Suppose 4*r - n*r = -3*x - 2, -2*r - 4 = 4*x. Suppose x = j + 4*j. Which is smaller: 1 or j?
j
Let j(c) = -5*c**2 + 2*c + 4. Let n(t) = t**2 + 1. Let p(w) = j(w) + 4*n(w). Suppose 4*s = 3 + 13. Let b be p(s). Which is smaller: b or 4/5?
b
Let a = -104/7 - -6774/455. Which is bigger: a or 1?
1
Suppose 0 = 8*h - 3*h - b - 268, -4*b = 12. Is h smaller than 51?
False
Let q = 38 + -51. Let o = -422 + 410. Which is smaller: q or o?
q
Let k be 540/18 - (0 + 0). Suppose 49*c = 44*c + k. Which is smaller: 4 or c?
4
Let d be -2 + 2/(-2)*-2. Suppose d = -6*i + 4*i. Which is smaller: -2/19 or i?
-2/19
Let d(u) = u**3 + 9*u**2 - 39*u - 36. Let i be d(-12). Do -3 and i have different values?
True
Suppose -12*x - 172 = 31*x. Which is smaller: 3 or x?
x
Let n = -2906 + 2911. Which is greater: n or 51/10?
51/10
Let w(o) = o**3 - 21*o**2 - 2*o + 51. Let v be w(21). Suppose -7*y = -v*y + 54. Which is smaller: y or 28?
y
Suppose 3*b = -k + 3, -3*k + 5 = -4*b - 4. Let y be -22 + 1 + 0 - -4. Let u be 4/2 + 32/y. Which is smaller: b or u?
b
Let p(u) = u**3 + 10*u**2 + 9*u + 3. Let a be p(-9). Suppose 3*s + 0*s = a. Let r = -1 - -3. Is s < r?
True
Let g(y) = y + 34. Let d be g(-33). Which is smaller: 2/843 or d?
2/843
Let i = -27804/13 - -121314/65. Which is smaller: -272 or i?
i
Let v(f) = -2*f. Let b be 2/14 - 88/28. Let z be v(b). Let d be (-5)/(-10) + (-4)/z. Is 1 > d?
True
Let s = 17 - 29. Let d be (-327)/s + (-3)/12. Suppose 5*n = -d - 8. Is -8 less than n?
True
Let g = -340 - -337. Is g smaller than 0.23?
True
Let l be ((-171)/1292)/((-6)/4). Is -1 > l?
False
Let z = -0.21 + 0.15. Let q = -0.04 + z. Which is bigger: 4 or q?
4
Let a be 5/(5 + (-56)/8). Which is smaller: a or 0.6?
a
Suppose -2*r - 5 = 2*z + z, -3 = z + r. Let h = -8 - -6. Let o be (-1 - h)*2/(-9). Which is smaller: o or z?
o
Let u(z) be the second derivative of -z**5/20 - 5*z**4/6 + 2*z**3 + 8*z**2 - z + 37. Let t be ((-11)/4)/(1/4). Let o be u(t). Is 4 smaller than o?
True
Let l = -30 + 36. Is l >= -14?
True
Let o(z) = z - 2. Let l be o(4). Let v(n) = l*n - 4*n - 6*n + 8. Let w be v(4). Which is smaller: -25 or w?
-25
Let a be ((-3 - -1) + 3)/(1/1). Let j = -44 - a. Is j at most -46?
False
Let h(m) = -2*m + 4. Suppose -4*n + 8*j = 3*j + 21, 2*j = 2*n + 10. Let b be h(n). Suppose -155 = 50*f - 755. Is b < f?
False
Let o = -901399/427 - -2111. Which is bigger: 1 or o?
1
Suppose 15 = -r - 5*v, -4*r + v + 15 = -5*r. Which is greater: r or -78/5?
r
Suppose -n = -4*r + 3, 3*r + 5*n - 21 = 10. Let q = r + -4. Let u be 1/(3 - (-4)/q). Is u at least as big as 2/13?
True
Suppose 28*i + 49 = 77. Which is smaller: 2/725 or i?
2/725
Let x be (1 - 4)*-2 - (-48)/(-8). Let n be ((-4)/(-3))/(10/(-6)). Which is bigger: n or x?
x
Let z = -337 + 443. Do z and 105 have the same value?
False
Let p = 1337 + -5509/4. Let l = p + 41. Which is smaller: l or -10?
-10
Let k be -26 - -15 - (2 + 0). Let f be k + 31 + 4*1. Suppose 0*i + 3*i + 4*j + f = 0, 0 = -4*i + 5*j - 19. Is i at most as big as -6?
True
Let w(l) = -5*l - 49. Let z be w(-9). Let s be z/(-5)*(-25)/(-7260)*6. Which is greater: s or 0?
s
Let t = 797/2 - 400. Which is bigger: t or 3?
3
Suppose -5 - 2 = c + b, -37 = 5*c + 4*b. Let j be (-196)/9 - (25/c - -3). Is -22 less than or equal to j?
True
Let x(m) = -30*m + 35. Let h be x(6). Which is bigger: -144 or h?
-144
Suppose -5*r + 1 + 14 = 0. Suppose -5*t = -4*y - 36, 0*y + 4 = -y. Suppose 0 = 5*g - d - t, 3*g - 12 = 2*g + 3*d. Which is smaller: g or r?
g
Let c = 1123.665 + -1.665. Which is greater: c or -0.1?
c
Let l = -0.444 + 0.444. Let b = 15 - 28. Is b at least as big as l?
False
Let p = 5/314 - 1543/57462. Is p greater than -1?
True
Suppose -194*d = -198*d + 24. Suppose 2*p - 24 = -8. Which is bigger: p or d?
p
Suppose 0 = -5*x - 25, 0 - 4 = f + x. Let l = 4/31 - 82/155. Is f < l?
False
Let o = 7.01 - 2.01. Which is bigger: o or -3?
o
Let s be (-2)/(-3) - 2/(-6). Suppose -7*d + 37 + 54 = 0. Suppose d*p + 8 = 17*p. Is p > s?
True
Let u(w) = -w**2 - 8*w + 2. Let i be u(-8). Let v be ((-2930)/114)/(i/6). Let o = v - -77. Is -1 smaller than o?
True
Let a be (-2)/21*(-2 - (-1 - 4)). Which is smaller: -18 or a?
-18
Let b = -5.72 + 6. Let k = b - 4.08. Let n = k + 3.9. Which is bigger: -1/21 or n?
n
Let t be (-13 - -16)*142/3. Let s = -144 + t. Is s at most -10/19?
True
Let u(f) = -f**3 - 6*f**2 - 10*f. Let c be u(-3). Let l be (-130)/845*((-1)/c + 0). Which is bigger: l or 1?
1
Let f = -2