 - -1). Is m != -1?
True
Let x = -209 - -209.2. Let o = 0.22 + 0.08. Let h = o + -0.9. Is h <= x?
True
Let b be (-132)/5 - (-4)/10. Let t = -53/2 - b. Let c = -717 + 717. Is c equal to t?
False
Let x(l) = l**2 - 16*l - 81. Let q be x(-5). Which is bigger: q or 27?
27
Let m(z) = -z**2 - 18*z + 39. Let y be m(-14). Is 94 at least as big as y?
False
Suppose -30*g = -25*g + 5. Which is smaller: -1/116 or g?
g
Let b = 0.8 + -1.8. Let u = 19 + -12. Let x = u - 4. Which is bigger: b or x?
x
Let g = -569 + 571. Which is bigger: g or 0.09?
g
Suppose -a + 7 = -4*o, 5*o + 1 + 1 = -a. Let j(b) = b**3 + 15*b**2 + 5*b + 78. Let f be j(-15). Does f = o?
False
Let l = -224 + 235. Is l greater than or equal to 11?
True
Suppose -4*v + 4*d + 20 = 0, -9 = -5*v + 3*d + 6. Is 2/347 at least as big as v?
True
Let t = -544712813/1656192 + -1/87168. Let f = t - -329. Suppose 3*j - 10*j = 0. Which is smaller: f or j?
j
Let q(k) = -k**2 + 16*k + 13. Let f be q(6). Which is greater: -3 or f?
f
Let i = 13 - 7. Let r be 6298/348 - (-3)/i. Let m = r + -56/3. Which is smaller: 1 or m?
m
Let z = -52/23 - -538/299. Let r be 14/12 - 2/12. Which is greater: z or r?
r
Let s be ((-8)/2076)/(40/(-15)). Are s and 1 nonequal?
True
Let c be -12*(-4 - (-22)/6). Suppose -4*v + 11 = h + 1, c*v - 4 = 2*h. Suppose -v*o + 2 = -3*o. Which is smaller: o or -6/7?
o
Let g = 590 - 588. Let f = 26 + -26.11. Which is greater: f or g?
g
Let c = 48 + -193/4. Let u = 0 + 0.2. Which is bigger: u or c?
u
Let n(l) = l**2 + 3. Let h be n(-2). Let c = 9 - h. Let f be 1 - c - (8 + -14). Is f > 4?
True
Let y = 88 - 88. Let j be (66/51 - 1) + y. Is j greater than 1?
False
Let l = 45/2 - 91/4. Is 57 less than or equal to l?
False
Suppose u + 46 - 40 = 0. Let g be (u/(-120))/(1/(-6)). Do g and 0 have the same value?
False
Let k = -60 - -64. Let w be ((-36)/(-10) - k)/(-2). Is -0.2 less than or equal to w?
True
Let f = 31.9 - 28. Let s = -4 + f. Which is smaller: s or -8?
-8
Let a be 254/(-100) + 5 + (-30)/12. Which is greater: a or -10?
a
Let a be 15 + -17 + 1/2*14. Suppose 0 = 2*q - q + 5*k + 19, -3*k = -a*q - 67. Which is bigger: -15 or q?
q
Suppose 0 = -2*f - 6 + 20. Let b be (-2)/(-4) + (-244)/(-40). Are b and f equal?
False
Let n be -1 - 2 - (-5 + -1). Suppose n*g = 9*g. Which is greater: -5/4 or g?
g
Let r be ((-1)/(-3))/((-2)/(-6)). Let g be (3 + -6 + 4)/3. Which is smaller: r or g?
g
Let t = 270 - 335. Is t less than -129/2?
True
Let o = -423 + 417. Is o greater than or equal to -67/14?
False
Suppose -5254 = 45*h - 2014. Is h <= -74?
False
Let s = -15 - -30. Let b = s - 12.4. Let n = -0.4 - b. Which is smaller: n or 1/4?
n
Let f = -141999/100 - -1420. Is 1 >= f?
True
Let z = 9 + -12. Let s(t) = 2*t + 6. Let v be s(z). Let p be (1/(-5) - v)/1. Which is greater: 0 or p?
0
Let f(k) = -k**3 + 5*k**2 - 6*k + 10. Let z be f(3). Let n be (0 - z/(-8))*4/10. Does n = 1/2?
True
Let l = 10 + -8. Suppose l*t + 7*t + 36 = 0. Is -3 != t?
True
Let x be 9126/(-55)*(-70)/(-14). Let c = x + 828. Let l = -61/44 - c. Which is bigger: l or 2/7?
2/7
Let w be -2 + -2 - (-9 + 3). Suppose 81 = 4*s - 5*g, w*s - s - 9 = -g. Which is smaller: 15 or s?
s
Let s = -490 + 494. Let i = 6 - 3. Is s >= i?
True
Let d be 6 + -15 + 7 + 1. Which is smaller: d or 1/117?
d
Let c be (-8)/(-24) - 21/27. Which is smaller: 1 or c?
c
Let f(g) = g + 12. Let w be f(-9). Let u = -700 + 5615/8. Is w smaller than u?
False
Let o = 1115/1309 - -1/187. Is 2/7 != o?
True
Suppose 2*t = 4 + 2. Let h be 1*-5 - 3*(-4)/t. Which is smaller: 4/51 or h?
h
Suppose -4*o + 76 = 4*f, 0 = 3*f + 2*o - 72 + 19. Is 16 less than f?
False
Let q(x) = -22*x - 219. Let w be q(-8). Which is smaller: w or -44?
-44
Suppose 2*v = -2*l + 10, 2*l + 1 = -v + 3*l. Suppose -10 = -v*d - 6. Suppose h + 3*m = -h - 25, -30 = 4*h + d*m. Is h less than or equal to -7?
False
Let p = -0.05 - -0.05. Let y = p + -1. Let r(v) = -2*v - 11. Let n be r(-8). Is y at least n?
False
Let n(y) be the third derivative of y**4/24 + 11*y**3/6 + 8*y**2. Let r be n(-7). Which is smaller: r or 6?
r
Suppose -3*x + 11 + 10 = 0. Suppose x + 7 = -2*v. Is -8 smaller than v?
True
Let o(m) = m**3 + 7*m**2 + 7*m + 7. Let d be o(-6). Let u be 2 - d - (0 + 9). Let b be (-2)/u + (-150)/24. Is b less than -7?
False
Let m be 2553/(-2220) - (-6)/(-5). Is m > -2?
False
Suppose -4*g - 236 = -i, -5*g + 3*i - 10 = 292. Does -2 = g?
False
Let n = -3233/7 - -460. Suppose -3*d - 15 = 3*p, -p + 2*d - 11 = 6*d. Is n less than p?
False
Let j(s) = -s**3 + s**2 + s + 1. Let b(z) = 4*z**3 + 12*z**2 - 18*z + 13. Let d(x) = b(x) + 3*j(x). Let v be d(-16). Is 2/59 > v?
True
Let s(u) = u**2 + 7*u + 7. Let g be s(-4). Let z = g - -20. Suppose 0*q - 4*q = -3*y - 17, -4*q + z = -5*y. Which is bigger: 2/51 or y?
y
Let n(k) = -k**3 + 4*k**2 + 6*k - 2. Let h be n(5). Suppose -5*t = -2*t - h. Let g be 30/8*t/(-3). Which is smaller: -1 or g?
g
Let l = -64 + 68. Let m be 8/(-20) + (-662)/(-80). Let i = m + -61/24. Do l and i have the same value?
False
Let o(u) = u**3 + 5*u**2 + 6*u + 2. Suppose 4*z = 4*l - 20, l - 2 = -2*z - 3. Let f be o(z). Suppose -f*x = -5 + 17. Is x greater than -6?
False
Let i be -2 + 10 - (0 - -2). Is i greater than -2/17?
True
Let a(i) = -2*i**2 - 3*i + 9. Let j be a(5). Let p = j - -46. Do p and -8 have the same value?
False
Let v = -4528 + 1435378/317. Is v > 1?
False
Let z(s) = -s**2 - 3*s + 8. Let v be z(-5). Let y be 0 + v - 171/(-90). Which is bigger: -1 or y?
y
Let b = -0.119 + 0.019. Is 5/12 bigger than b?
True
Let d = 6520/3 + -2170. Let n = 10 - 6. Which is smaller: n or d?
d
Suppose 11 = 4*n + 3. Suppose 3*q - 3*x - 4 - 2 = 0, 2*x = -n. Let k(c) = c**3 - 28*c**2 + 15*c + 326. Let a be k(27). Is q less than a?
True
Let r be 21/(-10) - ((-90)/25 - -4). Which is smaller: r or -3/2?
r
Let n = -175482/107 + 1640. Let f be (-34)/(-12) + 14/12 + -1. Suppose -2*y - j = 0, -5*y - f*j + 0 = 1. Is y at most n?
False
Let w be 8/6 + 562/6. Let d = -90 + w. Is 6 smaller than d?
False
Let m = -1839 - -1841. Is 89 > m?
True
Let a = -2343 + 2778. Which is bigger: a or 436?
436
Let c be (6/9)/((-8)/(-36)). Suppose 29 = -c*q + j, q = 4*q - 3*j + 27. Which is greater: q or -4?
-4
Let u = -54 - -54.3. Which is greater: -2/161 or u?
u
Let i = 1.71 + -1.8. Let s = i + 0.19. Which is bigger: 23 or s?
23
Let u = -420 - -399. Is u less than -23?
False
Let m be -11 + (-172 - -6) + 0. Is -176 != m?
True
Let s(z) = z + 9. Let h be s(-9). Which is bigger: h or -1/58?
h
Suppose 41*f = -8*f + 588. Does f = 0?
False
Let y = 17 + -25. Let u be y/2 - (-4)/2. Let x = -3422/6013 + -2/859. Does u = x?
False
Let h = -52 + 51. Let y be (-17)/24 - 4/(-6). Is h less than y?
True
Let v = -145/9 - -589/36. Which is smaller: -1/550 or v?
-1/550
Let u = 109 - 121. Is -3 < u?
False
Let b = 45.107 - 0.107. Let p = -54 + b. Is p greater than -0.04?
False
Let d be 132/48 - 12/16. Which is smaller: d or 17/28?
17/28
Suppose 4*h - 23 = 1. Suppose h*m + 44 = 8. Suppose -8 = 2*i + 6. Which is smaller: m or i?
i
Suppose -527 - 25 = 12*t. Let q = t - -45. Which is greater: q or 2/243?
2/243
Let r(i) = 2*i + 5. Let k be r(-8). Let p be (2 - 1)*(-4 - 0). Let d be (p/5)/(6/75). Is d smaller than k?
False
Let n be (112/(-24))/(2/3). Let k(t) = t**3 + 7*t**2 - 2*t - 9. Let m be k(n). Let i = -8 + 13. Does i = m?
True
Let t = 31871/13 - 2453. Is t bigger than 0?
False
Let q(n) = -n**3 + 9*n**2 - 8*n. Let r be q(8). Suppose -4*v = -2*v + 2*s, 4*s + 12 = r. Suppose 0 = -o - v*o - 8. Is o > -2?
False
Suppose -105*j = -54 - 51. Which is bigger: 2/2871 or j?
j
Let f(r) = -3*r - 77. Let q be f(-24). Let m be (5 - (-7 + 5)) + q. Is -3 at most m?
True
Let b = 208 - 390. Let m be b/(-1540) - (-2)/11. Let d = m + 1/5. Which is greater: d or -4?
d
Suppose -2*p = -7*p + 20. Suppose 4*m - 7 - 8 = -3*s, -5*m = 2*s - 24. Let a(g) = -g + 8. Let i be a(m). Which is smaller: p or i?
i
Let x be (-45534)/124*(-7 + 1). Let s = 2203 - x. Let n = 37/217 - s. Are n and 0 equal?
False
Let x = -17 - -13. Let i be x + (-3 - -7) + 6. Suppose -3*n + 75 = -i*n. Is n > -24?
False
Let p(c) = -2*c**3 - 31*c**2 - 22*c - 42. Let u be p(-15). Is u smaller than 318/5?
True
Let u = 0.353 + -0.33. Let k = 4.977 + u. Which is greater: -0.2 or k?
k
Let g = 136 + -950/7. Let x = 42 - 40. Suppose -2*v + 4 = y, 4