?
False
Let s(p) = p**3 + 64*p**2 - 115*p + 362. Let z be s(-66). Which is smaller: -3798/5 or z?
z
Let g = 11483 - 12687. Which is smaller: g or -1201?
g
Let g be (-2)/(-6)*6814/(-6). Let s = g - -379. Let w = -3267 + 3268. Which is greater: w or s?
w
Suppose -4*k + 0*f = 3*f - 176, -2*k = -f - 88. Let y = -33 + k. Suppose 5*a - y = -21. Do -1 and a have different values?
True
Let x be (-1)/((-3039)/(-6)*(4 - (-70)/(-15))). Which is bigger: x or -1?
x
Let j(m) = 17*m + 210. Let r(y) = -3*y**2 - 8*y + 5. Let w be r(-4). Let o be j(w). Which is greater: -6 or o?
o
Let n be (-9)/(-2)*(-510920)/954. Is -16878/7 at most n?
True
Let y(o) = -316*o**3 - 16*o**2 - 13*o + 2. Let w be y(-1). Let j = 288 - w. Is j equal to -0.7?
False
Let r = 3.126 - 268.726. Let a = r + 265. Is -13 not equal to a?
True
Suppose 17*i - 20*i + 2780 = -y, 4*i = -3*y + 3724. Which is smaller: i or 2785/3?
i
Let s = -327/58 + 11261/696. Let l = -87/8 + s. Let b = 4.9 + -5. Is b at most as big as l?
False
Let g(v) = -4*v - 54. Let o be g(-15). Suppose 10*u - o = 7*u. Let p(f) = f**2 + 5*f - 4. Let d be p(-6). Is d >= u?
True
Let g = 43 + -38. Suppose -z = 5*y - 328 + 65, -g*z - 5*y = -1215. Suppose 13*s + z = -s. Which is greater: s or -18?
s
Let t = -106668/5 + 21334. Which is smaller: t or 11/705?
11/705
Let i be (2 - -8) + (-4932)/(-14). Does i = 363?
False
Let t(a) = 3*a**2 - 9*a + 9. Let s(y) = y - 2. Let g be s(6). Let l be t(g). Let d = l - 21. Which is smaller: 37 or d?
d
Suppose -2*j - 23 = -4*j + 3*l, 4*l = j - 14. Let g be (1/j*1)/((-60)/3150). Which is greater: g or -4?
-4
Let x = -511 - -217. Let p = -295 - x. Are 36 and p equal?
False
Let q(k) = -2*k**2 + 53*k - 63. Let s be q(24). Let m be 0 - -2 - s*9/(-27). Is m at least as big as 14?
True
Let q(n) = -47*n - 3393. Let w be q(-69). Which is greater: w or -160?
w
Let y = -7850 - -7852. Which is smaller: -56/69 or y?
-56/69
Suppose 4*u - 12738 = -3*d, -20*d = -5*u - 15*d + 15905. Is 3182 bigger than u?
False
Let n = 30122 + -30121.716. Suppose 3*j - 4*j + 2 = 0. Which is smaller: j or n?
n
Let b = 912 - 911.7. Is 328/9 greater than b?
True
Suppose 0 = 6*l - 24 - 0. Let c(s) = -2*s**2 + 10*s - 5. Let j be c(l). Suppose 0 = -3*t + 2*g, j*t + 18 = -g - 3*g. Which is smaller: -8 or t?
-8
Let t = -956 + 638. Let q = 330 + t. Are q and 8 equal?
False
Suppose 3*r = -2*u + 60, 4*u - 20 = -r + 5*u. Let d be 10/(-75)*3 + (-232)/r. Is d >= -2?
False
Suppose -5*b - 4 = -54. Suppose -b*k - 2*k + 228 = 0. Are 18 and k non-equal?
True
Let v(o) = 4*o + 54. Let d be v(-11). Suppose 16*c + d*c - 52 = 0. Which is smaller: 22/7 or c?
c
Let i(b) = 2*b - 18. Let t be i(18). Let w = t - 13. Suppose 4*f = l + 12, -5*l - w*f = -13 - 27. Are 4 and l nonequal?
False
Let w be ((-4)/6)/(-7 + 16594/2370). Let b = -394 - w. Let d = -316 - -12641/40. Which is smaller: b or d?
d
Let x(c) = -c**2 - 31*c - 44. Let r be 25/(-2)*(4 - (-32)/(-20)). Let j be x(r). Let u be 2/3*(-12)/j. Is u > 1?
False
Let b = -115 - -117. Suppose 7 = 2*f + 3*r - 2*r, 0 = b*f + 5*r - 27. Which is smaller: 13/15 or f?
13/15
Let g be ((-44)/2)/(132/(-330) + 263/420). Which is smaller: -98 or g?
-98
Suppose 3*j - 3*o + 51 = 0, 5*j + o - 55 = -146. Let q be ((-28)/(-6))/(12/j). Let m be q/4*(-36)/(-81). Is m less than or equal to -2?
False
Let o = -668 + 453. Let g = -215.1 - o. Is g not equal to -45?
True
Let w(p) = 2*p + 70. Let g be w(14). Which is bigger: g or 103?
103
Suppose -3*h - 4 + 1 = 0. Let c = 5012.111 - 5012. Is c > h?
True
Let d = 1380 + -136. Is d >= 1244?
True
Suppose -3*j - 2670 = -5*k, 239*k + 2635 = 244*k + 4*j. Is 531 <= k?
True
Let n = 41403 + -290455/7. Let f = 227 - 137. Let y = f + n. Which is bigger: y or -1?
y
Let c be -20*264/15*2. Let p = c + 3532/5. Is p smaller than 3?
True
Suppose -4*b = 20, -g - 17 = 2*b - 5. Let y be g/14*3 + 0. Which is greater: y or 1?
1
Suppose 346*k = 325*k - 42. Let h = -25 - 20. Let d be (-57)/h*-3 + k/10. Which is smaller: 1 or d?
d
Suppose -2*z - 4*y + y = -7, -3*y = -5*z + 28. Suppose 9*n - z*x - 5 = 8*n, -55 = 4*n + 5*x. Do n and -6 have the same value?
False
Let p = 227/9 + -27463/1071. Is p not equal to -1/3?
True
Suppose 0 = 2*r - 6, 0 = -2*k - 8*r + 3*r + 15. Let x be ((-7)/14)/((-10)/(k + 1)). Which is smaller: x or 1?
x
Let b = 169661/1809535 - -2/6305. Which is bigger: b or -1?
b
Let b = -46180 - -46166. Let c = -1 - -0.9. Which is greater: c or b?
c
Let c = -803 + 394. Let f = 409.019 + c. Is f != 0?
True
Suppose 0 = -5*g - 181 - 9. Let n = 192/5 + g. Which is bigger: n or -41?
n
Let s = -712 - -720. Suppose 0*l = -2*l + 3*g - 12, -2*g = -s. Let u = 4492 + -848990/189. Is u <= l?
True
Suppose 0 = 11954*z - 11956*z - 50 - 1088. Is -567 < z?
False
Let m(i) = -372*i**2 + 6*i - 44. Let j be m(-3). Which is greater: -3409 or j?
-3409
Let a(b) = -116*b - 9. Let s be a(-1). Suppose s = 5*k - z + 34, -3*k + 35 = -5*z. Is 13 <= k?
True
Let w = 677112 + -12865123/19. Let b(q) be the third derivative of q**4/24 + q**3/6 + 2*q**2. Let k be b(-2). Is k greater than or equal to w?
False
Suppose -4*g + p + 60 = 0, -g - 674*p = -679*p + 4. Let b = -0.08 - -0.02. Let z = b - 1.94. Is g less than or equal to z?
False
Let g = -180475/16 + 11289. Which is bigger: g or 8?
g
Suppose v + 0*v + 160 = 2*p, -5*v - 800 = -2*p. Let m be (-6 - -7) + 159/v. Is 0 > m?
False
Let l be 6/(-30) - 88/10. Let c = l + -10. Let u be (-37 - (-7 - -1)) + 10. Which is greater: c or u?
c
Suppose v = -246 - 1438. Let z be 1/(28024/3)*v/(-18). Let m = z - -1/1356. Are m and -1 non-equal?
True
Let d(y) = y**3 - 5*y**2 + 3*y + 4. Let w be d(4). Let m be 1 - w - (-8 - -1). Let n(s) = -s**3 - 46*s**2 + 12*s - 1644. Let b be n(-47). Is b > m?
False
Suppose 9 - 47 = -19*o. Let c be (0/((-20)/4 + 4))/o. Is -2/683 != c?
True
Suppose -5*t + 3 = -f, 0 = 2*t + f - 4*f + 4. Suppose 0*w - w + t = 0. Let o = -5962 + 41737/7. Are o and w equal?
False
Let y(z) = z**3 + 3*z**2 - 10*z + 17. Let d be y(-5). Let a = 9 - 10. Let q be -6*(3 - 0)/a. Which is smaller: d or q?
d
Let d = 9.605 + -1605.605. Is d bigger than 0.2?
False
Let f = -20003 - -20013. Do -964 and f have the same value?
False
Let a(k) = -8*k - 8. Let t be a(-8). Let n be 4/(t/6) + 85/(-35). Let f be 14/(-63) - n/9. Is f at most -1/198?
False
Suppose 0 = 2*l + 2*u - 88, -3*l + 75 = -4*u - 64. Let m = 45 - l. Is m equal to -2/763?
False
Suppose -j + 13 = 3*z - z, 0 = -4*j + z + 88. Suppose -h = -j*h + 340. Is h greater than 17?
False
Let u = 2.4 + -2.4. Let x = 18706.0511 + -18706. Is u > x?
False
Let k = -4240 - -4242.81. Is k less than 7?
True
Let q = 2.3 + -2.2416. Let m = -18.0584 + q. Is m <= -3?
True
Let o be (-3)/(-21) - (8 + (-495)/63). Which is greater: o or 4/1639?
4/1639
Suppose -43032 = -49*o + 22*o + 190*o. Which is smaller: o or -271?
-271
Suppose 0 = u + 2*q - 35, -32 = -u + 2*q - 3*q. Let h = u + -10. Suppose h = 2*p + 4*y - 35, 5*y - 115 = -5*p. Is 19 equal to p?
True
Let v be ((-61)/(-122))/(-3 - -1)*(-4890)/4. Is v > 307?
False
Let z = -7 - 2. Let l(u) = -664*u - 6666. Let g be l(-10). Which is smaller: g or z?
g
Suppose 0 + 13 = 4*g + i, 2*g - 23 = 5*i. Suppose 0*j - 4*j + 3*f = 6, -g*f = -2*j - 8. Is j less than or equal to -8/9?
False
Suppose 11 = -12*p - 61. Let y be 2290/4640*4 + p/3. Is y greater than -1?
True
Let a = -1582 + 1581. Let q = -919 - -35839/39. Is a less than q?
True
Suppose 8*v - 1257 = -4577. Let o = -420 - v. Let u = 7/27 - 703/108. Is o at most as big as u?
False
Suppose -12*a - 1886 + 5714 = 0. Suppose -14 = 3*o + a. Is -111 >= o?
True
Let v = 296 - 532. Let j = v - -233. Which is greater: j or -3/17?
-3/17
Let w be (-57)/30 - (-2)/4. Let x be (-31)/(-31) + (-163)/70. Let d = x - w. Are 0.2 and d non-equal?
True
Let z = -122 + 189. Let s = -66.03 + z. Is s equal to 0.3?
False
Let i = -49 - -443/9. Let y = 3333 + -3334. Is y at least as big as i?
False
Let c = -705 - -790. Let y = 89.008 + -0.008. Let t = y - c. Which is smaller: 0 or t?
0
Let t be 271/140 - (-14 + 231/15). Is 2 greater than or equal to t?
True
Suppose -675*v = -672*v - 24. Suppose -6*q + 62 = v. Let b = 0.1 + -0.1. Is q > b?
True
Suppose -2*u + 98 = 3*a, 3*a - 243 + 243 = 0. Which is greater: 68 or u?
68
Let n be ((-30)/12 + -15)*8/390. Let v = 15397/26 - 592. Let d = n + v. Is 0 less than 