e x(m). Which is greater: b or 0.02?
b
Let p = 0.01448 - 0.08448. Which is smaller: -2.86 or p?
-2.86
Let m = -1/506 - -127/253. Let d = 92 - 128. Is d at most m?
True
Let n = -27101/122409000 + 3/27202. Which is greater: -1 or n?
n
Let a(n) = 5*n**3 - 2*n**2 + 3*n. Let k be a(1). Let x(q) = -2*q**2 - 7*q - 6. Let i be x(6). Let r be (k/(-20))/(i/100). Is -0.11 <= r?
True
Let z = 10.129 + -0.129. Let o = -2/43 - 334/215. Is o greater than or equal to z?
False
Let b be ((-6)/(-8))/(27/252). Suppose -j + 5*j - 2 = v, 4*v - j = b. Is v at most 21/11?
False
Suppose 3*h + 6368 + 2248 = 2*k, -5*k + h = -21592. Which is smaller: k or 4319?
4319
Let t = -194 + 258.1. Let b = t + -10.1. Let r = b - 57. Is -1/20 smaller than r?
False
Let z be (-14 + 451/33)*(0 - 2529 - 3). Which is smaller: z or 846?
z
Suppose 34*f + 105 = 819. Suppose 2*d + 23 - 63 = 0. Is f greater than d?
True
Suppose -3760 = -94*d + 78*d. Is 7 greater than or equal to d?
False
Let i = 4509622/167 + -27004. Is -1 less than i?
True
Let y = -829/3 + 9121/33. Suppose 0*i - 5*i = 4*b - 24, 0 = -3*b + i - 1. Is y bigger than b?
False
Suppose 4*f - 8*f - 9 = i, -14 = 4*i + 5*f. Let p be ((-224)/24)/(2/(-30)). Let v be (-2)/7 + (-2)/p. Are v and i unequal?
True
Let x be (-12)/32*10/(-3999). Which is bigger: 1 or x?
1
Let c = 11 - 8. Let j = -23 + 13. Let y = j - -10.9. Are c and y nonequal?
True
Suppose 2*y - 2496 = 3*h, 4*y - y = h + 832. Let g = 752 + h. Is g equal to -81?
False
Let k be (23*(-136)/(-19550))/((-2)/3595). Which is smaller: -287 or k?
k
Suppose 4*n - 92 = 4*v, 6*v - 3*v = -2*n + 71. Let c be n/(-42) + 4772/7104. Which is bigger: 0 or c?
c
Let f(u) = -u**3 - 29*u**2 - 27*u + 27. Let q be (5/(25/65) - -1)*-2. Let k be f(q). Which is smaller: -9/89 or k?
k
Suppose 6*a - 4 = 10*a. Let b be a - ((-431)/132 + 4). Let p = b + 20/11. Which is smaller: p or 0?
0
Let o be (-1)/(-2)*(1 - -1)/(-2). Let r(d) = d**3 - d**2 - 9*d + 1. Let f be r(-5). Let h = f - -54. Which is bigger: h or o?
o
Let g = -754 - -754.341. Let h = -2.659 - g. Is h smaller than 1?
True
Let r = 49 - 49. Let u(g) = -g**2 + 2*g + 47. Let b be u(r). Which is greater: 4 or b?
b
Let l be (-1)/(5/(-20))*13. Let x be (-3)/((-12)/(-14))*l/(-91). Let t = -402 - -2016/5. Are x and t unequal?
True
Let d(g) = g**3 - 36*g**2 + 319*g + 14. Let x be d(16). Is -2/2333 greater than x?
True
Let z = 1316726/2145 - 7980/13. Let p(n) = n**3 + 4*n**2 + 3*n. Let k be p(-3). Which is bigger: k or z?
z
Let t be 19*30/75 + (-8)/(-20). Is t bigger than 1/307?
True
Let i = 131 - 127. Suppose 3*p + t = -26, p = t + 2 - i. Let a(v) = v**3 + 9*v**2 + 13*v. Let g be a(p). Is g >= 7?
True
Let l = -151993/7 + 21752. Does 1 = l?
False
Let x = 0.075 + 51.925. Let l = x + -54. Which is smaller: 2.1 or l?
l
Let r = 1 + 1. Let o = 3191278919/584 - 5464520. Let g = 13/73 + o. Which is smaller: g or r?
g
Let x be 3/(148050/(-11062)) - 20/(-140). Let z = -2/525 + x. Which is smaller: z or 2/9?
z
Suppose -12732 = 14*r - 6*r - 12724. Are r and -2/27819 nonequal?
True
Let y be (0 - 0) + -3 + -109. Let k be 1*14/4 - (-56)/y. Suppose 2*j - 17 = 3*d - 5, 5*d = k*j - 20. Do 2 and d have the same value?
False
Let l = -5614 - -5168. Which is smaller: 1/3 or l?
l
Let b = -1061 + 1067.5. Is b at most -0.26?
False
Let a = 0.3975 - -25.6025. Which is smaller: a or -0.065?
-0.065
Let y be 1*-3*(-48)/72. Suppose -y*j + 5*x - 207 = -4*j, j + 5*x = 116. Is 91 at most as big as j?
True
Let m = -58 - -63. Suppose 4*u - 20 = 0, -3*u + 2*u + 450 = -m*q. Are q and -86 equal?
False
Let b = 1.01 + 88.99. Let t = 47.09 + 42.51. Let q = b - t. Which is greater: -4 or q?
q
Suppose 62*t - 54*t + 352 = 0. Let z be t/(-10) + (-4)/10 + -3. Do -2/169 and z have the same value?
False
Let t(b) = 5*b**3 - 4*b - 3. Let j be t(-2). Let o be (222/111)/((-2)/34). Let g = o - j. Is -3/29 less than or equal to g?
True
Suppose 0 = -x - m - 5, -2*x + 5*m - 65 = 3*x. Suppose -9*z - 656 = 7*z - 144. Which is smaller: z or x?
z
Suppose 2*v - 4*l = 7*v + 5193, 0 = -5*v + 5*l - 5220. Is v at least -1043?
True
Suppose 4*y - 24 = 4*w - 2*w, 3*w + 8 = -y. Suppose -2*q = o - 4, o + y*q - 2 = 3*q. Let d(i) = -i**3 - 13*i**2 - 33*i - 5. Let s be d(-3). Is s at most o?
False
Let q(w) = -4*w**2 + 3*w - 33. Let x be q(7). Let d = x + 254. Is d <= 46?
True
Let b = 29.6406 - 485.6416. Let v = 456 + b. Does v = 1/4?
False
Let m be 515/(-10) - (7/2)/(-7). Suppose 3*n - f = -194 + 41, -n + 5*f = 51. Is n < m?
False
Let j = 12.8 + -12.888. Let k = -1776 + 1771. Is j at least k?
True
Let n = -22.04968 + 0.04968. Is n >= 4/9?
False
Let d(o) = o**3 - 13*o**2 + 12*o - 32. Let t be d(13). Let h = 124 - t. Suppose -10*n + h*n + 10 = 0. Which is bigger: n or 1/40?
n
Let h = -5373 - -4906. Is h at most -4202/9?
True
Let s be (((-1414020)/3)/(-5))/21. Let b = -4488 + s. Is b smaller than 0?
False
Let z = 253753/74862 + -61/18. Which is smaller: z or 0?
0
Suppose -5*d - 15 = -25. Suppose -d*f - 6*f - 8 = 0. Do f and 1/36 have different values?
True
Let c be (-4 - 3 - -1) + 6. Let q be (c/4 - -2)*-2. Suppose 0*g - 6 = 2*g. Which is smaller: q or g?
q
Suppose -5*m = -4*c + 7 + 21, -5*c = -m - 56. Suppose 2*y - 2 = u, -c*y + 7*y - 4*u - 21 = 0. Do y and 9 have the same value?
False
Let k(j) = 145*j - 1613. Let u be k(8). Does u = 4?
False
Let i(d) = 47*d - 76. Let j be i(5). Suppose -l - 25*t = -29*t - 174, -l = -t - j. Are l and 309/2 equal?
False
Suppose 3*l + f = -494, -3*f + 148 = -25*l + 24*l. Let b = 82 - 245. Is l greater than b?
False
Let k = 0.294 + -5.294. Which is greater: -14 or k?
k
Suppose 13*g - 32*g = 19*g - 266. Is -30 < g?
True
Let q(x) = -x**2 - 16*x - 15. Suppose 0*w + 25 = 5*w. Suppose -c = w*l + 4*c + 75, 0 = 4*l - 2*c + 60. Let f be q(l). Is 2 greater than f?
True
Let g(m) = -m + 2. Let a be g(9). Let q = -158 - -189. Let v = a + q. Is 25 at most v?
False
Let n = 1445/77 + -324375/12628. Let g = n + 7/41. Let w = -17 - -9. Is w at most as big as g?
True
Let d = 644.7716774 - -0.0743226. Let m = 645 - d. Are 1/4 and m equal?
False
Let j = 848 + -846. Suppose -b - 3*a - 265 - 489 = 0, 4*b - j*a = -3072. Is b smaller than -766?
False
Suppose 2*l - 5*q - 11 = 5*l, -5*l = -4*q + 43. Let s(y) = y**2 + 8*y - 1. Let c be s(l). Let r = c + -5. Is r <= -14?
False
Suppose -7*p + 3*p + 100 = 0. Let j = p - 20. Is 5 > j?
False
Let l be ((-60)/(-25))/((-4)/((-3480)/9)). Suppose -9*w + 1132 = l. Is w at most 100?
True
Suppose -4*a + 81 = f, 0*a + 4*f + 56 = 4*a. Suppose a*d + 213 = 22*d. Let n = -120 + d. Is n greater than -49?
False
Let v = -213 + 273. Suppose 66*l - v*l = 6. Are l and 2/97 unequal?
True
Let v = 11.69 + 0.31. Let q be 5*(-30)/(-25) + 3. Let h be 4/(96/q)*(-4)/6. Do h and v have different values?
True
Let i = -257 + 255. Is 1.13 <= i?
False
Suppose -m - 5 = -3*a, 4*m - 8 = -a - 28. Which is greater: a or 1/2346?
1/2346
Suppose 3*c - 130 = -2*z, 0*z - 2*z = 2*c - 90. Let l = 49 - c. Let f be 15 - (13/(-26) + l/2). Does f = 0?
False
Let z = 875 - 833. Let y = z - 50. Which is greater: -5 or y?
-5
Let o = -2.09 - -2.1. Let c(u) = u**2 + 4*u - 6. Let a be c(-3). Let b be 48/(-64)*(-1)/a. Which is greater: b or o?
o
Let p = 54 + -48. Suppose -300 = 8*g - p*g. Let v be g/(-14) - 4/56*-4. Which is greater: 10 or v?
v
Let o = -547.37 + 105.17. Is o smaller than 0.1?
True
Let f be 3/((-555)/(-935)) + -5. Let t(a) = a**3 + 4*a**2 - 6*a - 4. Let w be t(-5). Let s be (3 + -3)*w/2. Do s and f have the same value?
False
Suppose 10 = 2*y - 8. Let w(m) be the second derivative of -2*m**3/3 + 37*m**2/2 - 51*m - 3. Let r be w(y). Which is smaller: r or 1/3?
1/3
Suppose -4*s + 24 = -c, 3*s + 117 = -4*c - 2*s. Let q = -91 - c. Let w = q - -28. Are -36 and w equal?
False
Let n(z) = 2*z**3 + 3*z**2 - 3*z. Let u be n(0). Which is smaller: u or -4/1781?
-4/1781
Let v = 1280 - 1369. Is v <= -87?
True
Let v be (1074/(-18))/((-6)/18). Let d(w) = -12*w - 62. Let k be d(-20). Are v and k equal?
False
Suppose -5*f - 4 = -4. Let p be ((16156/(-65))/4)/(1/7). Let u = 435 + p. Is u at most as big as f?
False
Let o(n) = n**2 + 480*n + 2372. Let q be o(-5). Which is bigger: q or -164/49?
q
Let b(v) = 2*v**3 + 5*v**2 + 7*v + 1. Let m(k) = k**3 + 6*k**2 + 7*k + 7. Let o be m(-5). Let q be b(o). Is -30 at most as big as q?
True
Let x =