ppose -925 = j*m + 320. Let i be 2 + (4 - (-1500)/m). Is i != 1?
True
Let o(d) = -8*d**3 + 2*d - 1. Let t be o(2). Which is greater: -64 or t?
t
Let y = 1203 + -55335/46. Which is smaller: y or 0?
0
Let s be 30/90 + ((-296)/(-30) - 0). Which is greater: s or 9?
s
Suppose 163*j = 164*j + 38. Is j > -1/5?
False
Let p = 12.627 - 12.31. Which is smaller: -0.1 or p?
-0.1
Let i = 4.97 - -0.03. Let s = 447/28 - 65/4. Is s at most as big as i?
True
Let z = -1.004 + -597.996. Let u = z - -570.9. Let s = -28 - u. Which is smaller: s or -2.1?
-2.1
Let j(s) = s**2 - 6*s - 7. Let q be j(7). Which is smaller: q or -10/19?
-10/19
Suppose 3*n = p - 0 - 18, 0 = -3*n - 15. Suppose -p*u - 19 = -2*b, -5*u - 8 - 30 = 3*b. Is -29/5 smaller than u?
False
Let o(w) be the third derivative of w**4/24 - 7*w**3/6 - 6*w**2. Let m be o(8). Let d = 85 - 763/9. Which is smaller: d or m?
d
Let d = -14 + 14.1. Let s = 55 - 52.94. Let n = -2 + s. Is d > n?
True
Suppose 10*h + 12*h - 22 = 0. Which is smaller: h or 8/49?
8/49
Let c(u) = -u - 2. Let g(h) = 2*h + 6. Let n(d) = 17*c(d) + 6*g(d). Let p(q) = -3*q + 1. Let x(t) = 5*n(t) - 8*p(t). Let z be x(4). Which is bigger: z or 2?
2
Let v be (((-45)/(-11930))/9)/(-1). Which is bigger: 1 or v?
1
Let f = 207 + -237. Do f and 0 have the same value?
False
Suppose -o + 5*p = -9, 4*p = -3*o - 7 - 4. Let j(c) = -2*c**3 - 2*c**2 + 2*c - 2. Let t be j(-5). Let i = t - 937/5. Which is smaller: i or o?
o
Let i(w) = 33*w - 345. Let h be i(21). Is 348 greater than or equal to h?
True
Let u = -14 + 29. Let l be 2*(-40)/u*-3. Suppose 0 = -20*i + l*i. Which is greater: 0.03 or i?
0.03
Suppose -7*o + 8 = -3*o. Suppose -o*w = -4*w + 2. Is 0.3 > w?
False
Suppose -6*a - x + 67 = -a, -2*a + 5*x = -16. Suppose 0*q = -q - a. Is q greater than -14?
True
Let o be -30*(-24)/18 + (0 - -1). Let b = o - 39. Is b less than or equal to 36/11?
True
Suppose -4*x = -2*m - 56 - 30, m - 41 = -2*x. Let p be x/12 + 6/(-8). Is p greater than -12?
True
Let q(u) = -8*u - 101. Let n be q(-12). Let t be 6/18 + (-22)/(-6). Suppose 0 = -p - 0 - t. Which is smaller: p or n?
n
Let h = -3 - -4. Let y be 775/(-4970) - 1/(-14). Which is smaller: y or h?
y
Let y be 4/2*(-10)/(-5). Suppose 0 = -2*l + 2*i - 0*i + 34, -l + y*i = -23. Let n = -9 + l. Is n >= 7?
False
Let c = 4.6 + -0.6. Let d = 13.9 + 0.1. Let q = d + -14.1. Are c and q equal?
False
Let w = -0.069 - -0.389. Which is smaller: 0.4 or w?
w
Let h = -66 + 68. Which is smaller: h or 11/13?
11/13
Let h = -0.157 + 0.009. Let y = -0.052 + h. Which is smaller: 5 or y?
y
Let i(t) = 7*t + 141. Let m be i(-20). Suppose 2*v = -5*d - 5, -v - 4*v + 3*d + 34 = 0. Let p be (m - 0)/(8 + v). Is 0 greater than p?
False
Let l(n) = 25*n**3 + 2*n**2 - 3*n + 1. Let r be l(1). Suppose -5*w - r = -0*h - 4*h, -w - 5 = -4*h. Which is smaller: -2/27 or h?
-2/27
Let p = 416 - 18718/45. Are p and 0 non-equal?
True
Let t(y) = 2*y + 4 - 5*y + y**2 - 2 + 2*y. Let r be t(3). Let a = 2 + r. Which is smaller: a or 11?
a
Let h = 9.6 + -3.6. Let t = h + -6.1. Is t > -0.6?
True
Let o be 14 + 6 + -15 - (-194)/(-4). Is o less than -45?
False
Suppose 3*n = 7*n + 168. Which is bigger: n or -40?
-40
Let y(w) = 6*w**2 + 2*w. Let l be y(0). Let x = 9/32 + 3/32. Which is smaller: l or x?
l
Let h(n) = -n**3 - 4*n**2 - 5*n - 8. Let m(c) = -c + 1. Let i(s) = h(s) - 5*m(s). Let l be i(0). Which is greater: -59/5 or l?
-59/5
Let u = -43 + 38. Let f = 4 + 1. Let j = f + u. Which is smaller: j or -3?
-3
Suppose 7*m + 2 = -12. Let g be m + (-9)/(-5) + (-12)/(-10). Which is greater: g or 15/8?
15/8
Let l = 30 - 12. Suppose 0*o + 42 = 2*o. Let s = 40 - o. Which is smaller: l or s?
l
Suppose -3*m - 5*i + 11 = -0, 27 = -5*m + 3*i. Let f be m/(-4*(-2 - 5)). Is -1 less than f?
True
Let m = -987.926 - -987. Let p = m - 0.074. Let h(i) = i + 5. Let j be h(4). Are p and j non-equal?
True
Let w be (2/12*-158)/((-26)/(-156)). Which is smaller: w or -159?
-159
Suppose 38*h + 259 = 31*h. Which is greater: -36 or h?
-36
Suppose 4*f = 4*d - 4, 2*d = 5*d. Is f at least -31?
True
Suppose -11 - 20 = 3*y - 4*u, y - 5*u = -25. Suppose -76 - 164 = -6*w. Let n = w + -38. Which is bigger: y or n?
n
Let u = -7 + -1. Let b = 9 + u. Let l be (b/2)/((-4)/56). Which is bigger: -8 or l?
l
Let k(l) = -26*l**2 - 7*l - 3. Let m be k(-3). Let p be (-129)/m - (-9)/(-24). Which is smaller: p or -1/3?
-1/3
Let i(f) = -3*f - 167. Let w be i(-55). Let a be (-7)/5*24/28. Do w and a have the same value?
False
Let f be 4/6*285/190. Is f at most as big as 1/167?
False
Let k be 7 + (716/(-64) - -3). Which is smaller: 0 or k?
k
Let y = 500 + -500. Is 12/217 < y?
False
Suppose -4*a + 5*k - 29 = -12, -3*a + 5*k = 19. Let y be a/(-11) + 32/55. Which is bigger: -22 or y?
y
Let a = -2635/4 + 659. Which is smaller: a or 3/19?
3/19
Let q be (-4 - -3)/((-1)/(-19)). Let z(a) = -2*a**3 + 17*a**2 - 6*a + 2. Let s be z(8). Let k = s + q. Which is smaller: k or 0?
k
Let d(r) = -7*r + 23. Let w be d(0). Which is smaller: 164/7 or w?
w
Suppose -7 = -f - 0*f. Let w be ((-10)/f)/((-30)/10435). Let o = -497 + w. Is 0 <= o?
False
Let w = 442 + -428. Is 20 greater than w?
True
Let d(h) = -6*h + 252. Let x be d(27). Which is greater: x or 92?
92
Let a(s) = -s**2 - 6*s - 3. Let i be a(-3). Let d be ((-12)/18)/(i/9). Let x be (6/132)/(3/4). Which is smaller: d or x?
d
Suppose 5*b - 2*p = 43, 2*b = b - 3*p + 12. Let y = -26 + b. Is -17 >= y?
True
Let c(d) be the third derivative of d**6/120 - d**5/20 - d**4/8 + d**3/6 - 2*d**2 + 57*d. Suppose 0 = f + 2 - 6. Let o be c(f). Which is bigger: 3 or o?
o
Let d be (0 + -2 + 2)/2. Suppose 0*f - f + 19 = 5*o, d = -o + 3*f - 9. Let b be 2 + 4 + 7 + -11. Which is bigger: o or b?
o
Let h = -31 - -17. Let g = h - -20. Suppose 7*i - g*i - 3 = 0. Is i at least as big as 2?
True
Let q = 14 - 11. Let s(j) = -j**3 + 4*j**2 - 3*j + 2. Let y be s(q). Are 6/11 and y unequal?
True
Let g = -520 - -521. Is 170 bigger than g?
True
Suppose -33*m = -10*m - 184. Suppose -o + m*o = -14. Let f be 6/(-10)*17/3. Is f at least as big as o?
False
Let d(w) = -77*w - 260. Let s be d(-6). Is s greater than or equal to 1410/7?
True
Suppose -3*u - 4*p + 31 = -3*p, 2*u + p = 21. Suppose -s = s - u. Suppose -4*r - 1 = 3*b - 2*r, s*r = -b + 4. Which is greater: b or 0?
0
Let f(a) = a**3 + 20*a**2 + a + 27. Suppose 2*i - 3*i - 25 = -h, 2*h = 10. Let s be f(i). Which is greater: 4 or s?
s
Let a be 15/21 + 1 + -2. Let d = 62 + -60.5. Which is greater: a or d?
d
Suppose -4*v = -8*v + 5*t + 3, -9 = -3*v - 3*t. Suppose -v = -2*f - w - 17, 0 = -2*f + 4*w. Let o be (2/3)/(f/(-63)). Is 2/5 bigger than o?
False
Suppose 4*d + 2*k = 8*d + 8, -4*k = 4*d + 8. Suppose 5*o - 5 - 5 = -5*f, -2*o - 4 = 4*f. Suppose -5*c - o = 3*q, -q = c - 3*q + 9. Which is smaller: d or c?
c
Suppose 2*g - 5 = 3*r, -3*g + 2*r - 2 = g. Let y be g/(124/40 - 3). Which is smaller: y or -19?
y
Let m = -43 - -87. Suppose 4*b - 72 = m. Which is greater: b or 30?
30
Let r be (-4)/(-3)*9/6. Let g(s) = -s**3 - 37*s**2 + 120*s + 12. Let c be g(-40). Which is greater: r or c?
c
Let f be 2/(-4 - 584/(-156)). Let z = f + 6. Is 1/4 smaller than z?
False
Let q = 4 - 1. Let m = -1169 - -1173. Which is smaller: m or q?
q
Suppose 0 = -3*m + 9. Suppose 2*d + 1 + 6 = -3*t, -2*d = -4*t + 28. Let y be (-3)/24 + m/d. Are -1 and y equal?
False
Suppose 5*a = -20, -a + 4 = -5*c + 8. Let b be 182/5 - (-4)/(-10). Let z = b - 112/3. Which is smaller: z or c?
z
Suppose v = 187 - 182. Suppose 5*i - 9 - 1 = 0. Suppose 9 = a + i*a + 3*w, 15 = 5*a - 5*w. Is a < v?
True
Let a = 18 + -6. Suppose 29 = 2*m - 3*g, -16 = -m + 3*g - 0*g. Is a greater than or equal to m?
False
Let i be 5/15*3*(11 + 6). Let p be 1*-2 + 1 + 20. Which is bigger: p or i?
p
Let n = -8584/3 - -2886. Do n and 26 have different values?
True
Let c be (-158)/(-13) + (-14)/91. Let w = 10 - 7. Let m be 2/c*w*0. Which is bigger: 1/3 or m?
1/3
Let c = 4 + -11. Suppose 4*o = -3*i + 5*i - 20, -4*i = -2*o - 10. Which is bigger: o or c?
o
Let o be (-7)/((-588)/(-8))*3. Let q = 296/897 - 14/39. Is o less than or equal to q?
True
Let n(q) = -q**2 + 42*q + 425. Let r be n(-8). Which is bigger: 74/3 or r?
r
Let m = 67 + -37. Suppose -s = q, 3*q = 5*s - 2*q + m. Let a be 3*(4/s)/(-4). Which is smaller: -4/9 or a?
-4/9
Suppose 10*c = 469 - 839.