/14 + -13 + (-288)/(-21). Which is greater: y or p?
y
Let o = -2650 - -2651.1. Is 77 less than o?
False
Let g(l) = -34*l**3 - 8*l**2 - 5*l - 1. Let a be g(-2). Which is smaller: a or 251?
a
Let l(w) = -w**2 + 21*w - 80. Let b be l(16). Suppose 3*s - 347 + 26 = b. Are s and 104 non-equal?
True
Let n be (6 + 414/45)*10. Is 159 bigger than n?
True
Let g(k) = 4*k + 9. Suppose -5 = 5*a - 15. Let l be 12/(-24) - (-3)/a. Let n be g(l). Is n equal to 15?
False
Let o = 685 - 685. Which is greater: o or 22860?
22860
Let p = 6514 + -7158. Which is bigger: p or -611?
-611
Let w be 136/119*12/16. Is 2/657 bigger than w?
False
Let h be 6*-1 + 21168/(-28) + 8. Which is smaller: h or -753?
h
Let o be ((-5)/(-40))/(((-2)/(-8))/(-1 + 2)). Let k = -4.53 - -3.22. Which is smaller: k or o?
k
Suppose 21 = 2*c - 5. Suppose 9*k + 4 = c*k. Which is smaller: -2/267 or k?
-2/267
Suppose 4*l - 4 = u + 3, -2*l = -u - 3. Suppose -13*s + 732 = -7*s. Suppose 113*n - s*n = -45. Which is smaller: l or n?
l
Let i be 220854/1116 - (15/18 - 1). Let o = -198 + i. Which is bigger: 2 or o?
2
Let t be 19/((-456)/(-200))*2013/(-55). Suppose 291 = -2*l - 319. Is t <= l?
True
Let r = -77 + 79. Suppose -10 = 5*y, 2*d - r*y - 112 = -2*d. Let u be d/(-18)*4/387. Which is smaller: 0 or u?
u
Let b be (-12)/(-3) + 305 - -3. Let k be b/70 + (-6)/(-15). Let r = 95/21 - k. Are -1/5 and r non-equal?
True
Let i be 3*(74/(-18) - -4) - 2110/(-30). Suppose -9*p + 6*p + 207 = 0. Which is smaller: p or i?
p
Suppose 4*o - 47 = -t, 16 = -2*o + t + 35. Let r be ((-10)/(-2) + -6)*(0 - o). Let b be (-11)/(4 + -3 + -2). Is b > r?
False
Let a be 3/(-12) + 18/8. Suppose 0 = -3*o - 5*q + 6*q + 6, 0 = -5*o + q + 8. Suppose o = -a*b + b. Which is smaller: b or 20?
b
Let r = -20423/45 - -4201/9. Which is bigger: 14 or r?
14
Let q = -1/121856 - 136265471/121856. Which is greater: -1117 or q?
-1117
Suppose f = 3*k - 36, 64 = -5*f - 5*k - 16. Suppose 0 = -14*j + j + 520. Let h be (-2)/(-8) - (-5 - (-230)/j). Does h = f?
False
Let u(a) be the second derivative of -a**5/10 + 2*a**4/3 + 3*a**3/2 - 4*a**2 + 2*a - 26. Let y be u(5). Is y equal to -10?
False
Suppose 2358 = -26*s + 22*s - k, 2*s + 4*k = -1200. Which is smaller: -587 or s?
s
Let k(q) = -2*q**3 - 3*q**2 + 13 - 3*q + 5*q**2 + 5. Let f(r) = -r**3 + 3*r**2 + 134*r - 49. Let g be f(13). Let h be k(g). Is h greater than or equal to -28?
True
Let j = 2.8184 + -2.9184. Which is greater: j or 3410?
3410
Suppose 9*r - 42*r - 29425 = 22*r. Which is smaller: r or 0.1?
r
Let u(k) = k**3 - 7*k**2 + 4*k + 14. Let i be u(6). Let g(m) = -16*m + 30. Let t be g(i). Is t less than -11/7?
True
Let o be -10 + 22451/2366 - 4/(-26). Suppose 0 = 3*y - 17 + 5. Suppose 4*f = -2*b - 14, b = 3*f + y - 6. Which is smaller: o or f?
f
Let t = 25 + 65. Let i = 93.1 - t. Let f = i - 4.1. Is -2/11 greater than f?
True
Let q = 82 - 82.203. Let i = 0.797 - q. Are 10 and i nonequal?
True
Let l = -19.9 - -16. Let m = 4 + l. Let v = -395.3 + 399.3. Is v equal to m?
False
Let b(z) = z**3 - 3*z**2 - 3*z. Let r(f) = -f**3 - 15*f**2 - 16*f - 24. Let k be r(-14). Let a be b(k). Suppose 27 = -2*h - h - 4*n, h + a = -3*n. Is -14 > h?
False
Suppose -2*v - 100*q = -98*q - 8, q - 8 = -5*v. Is v greater than 48/55?
True
Suppose 288 = 3*d - 3*p, -d + 3*p + 70 = -36. Let y be d/26 - 3/2. Are y and 3/2 equal?
False
Let y = 146 - 347. Is y at least -190?
False
Suppose 14*o + 8 = 18*o. Let k be (-6)/16*o + (-23)/(-20). Is k not equal to 0?
True
Let s = -3054/13 - -238. Is 4 greater than or equal to s?
True
Let r = -117 + -96. Let n = 208.27 + r. Let h = n + 4.7. Is h > -1?
True
Suppose 0 = a + 5, 32*c - 31 = 33*c + 2*a. Which is bigger: c or -110?
c
Let q(n) = 28*n**3 + 37*n**2 + 37*n - 196. Let g(j) = -6*j**3 - 9*j**2 - 9*j + 49. Let f(c) = 9*g(c) + 2*q(c). Let b be f(6). Which is smaller: 188 or b?
b
Suppose -5*n - 7*m + 24012 = -5*m, 0 = 5*n + 5*m - 24015. Let j = n - 19489/4. Are j and -70 nonequal?
True
Let n be (4 + (-120)/28)/((-7)/(-98)) + 34. Which is smaller: n or -13?
-13
Let a = 128 + -128. Let q = 15 - 93. Let m = 113 + q. Is m equal to a?
False
Suppose 5*d - 15*k + 19*k - 15064 = 0, -3*d + 9064 = -4*k. Is 3017 greater than or equal to d?
True
Let k(q) = -q**2 + 8*q + 10. Let y = -8 + 17. Let f be k(y). Let s be (100/(-80))/((-1780)/32). Which is smaller: s or f?
s
Let x = -2.654 - -22.654. Let b = 3.58 - -16.72. Let n = b - x. Are n and -0.1 unequal?
True
Let o = -1121 + 1406. Which is bigger: 4 or o?
o
Let v(i) = 332*i + 1255. Let h be v(-4). Is -359/5 >= h?
True
Suppose 0 = -0*c + c - 106. Suppose -s + c = 113. Is -21 at most as big as s?
True
Let v = -139 - -207. Suppose 5*d = -0*d + r - v, 4*d + 62 = -3*r. Let q be (12/350)/(d/140). Do 0 and q have different values?
True
Let j = -4232 - -4231. Which is smaller: j or -1/1551?
j
Let n(d) = 91*d - 91. Let x be n(1). Is -71.2 greater than x?
False
Suppose -9*l + 5*l = 20, 5*v - l = 5. Let r be 2/(-4)*(v - 0). Suppose r = 2*h + 3*k - 35, 5*h - 6*k + 8*k - 93 = 0. Which is smaller: -2 or h?
-2
Let y be 2 - (2/10 + 1). Let m = -2117.06 + 2117. Which is bigger: y or m?
y
Let t(z) = -100*z - 1563. Let l be t(-17). Do 136 and l have different values?
True
Suppose -9*j - 280 = -1171. Suppose -3*y + 151 = -s, 3*y + 4*s - 47 = j. Suppose 2*g = 82 + y. Which is bigger: 67 or g?
67
Suppose 549 = 2*g - 1705. Let f be g/(-584) - 3*8/(-12). Let p = 4/73 + f. Which is bigger: -1 or p?
p
Let z = 2.0615 - 418.0615. Are -1/3 and z nonequal?
True
Let x be ((13232/22)/(-8))/(-1) - (1 + 0). Is 74 >= x?
False
Let m = 29 - 73. Let f be -2 + 210/20*(0 + 2). Suppose -3*u = 113 + f. Is m bigger than u?
False
Let j be 1/4 + (-1)/4. Suppose j = -3*o + 12 + 33. Let a be 9/o + (-6)/10. Which is smaller: -0.11 or a?
-0.11
Let g = 0.092 + 2.408. Let k = g + 8.3. Let a = k - 12.8. Which is smaller: a or 1.9?
a
Let k be -9 + ((-421572)/(-2460))/19. Is 1 at most as big as k?
False
Let l = -39 + 40. Let i be l + (-183)/27 - (-6)/(-27). Which is smaller: 9 or i?
i
Let m = 360 - 411. Let j = 50.2 + m. Which is greater: 0.3 or j?
0.3
Suppose 35 - 65 = -3*m. Suppose 26 - 16 = -m*f. Which is smaller: f or 4.6?
f
Let d be -4 - (39/520)/((-12)/572). Which is greater: -1 or d?
d
Suppose -6*u + 14*u + 800 = 0. Let z = u + 107. Let i be 1/((3 - 2) + -2). Which is bigger: i or z?
z
Let j be 37 - 41 - (1*-2 - 0). Let n be (-230)/190 - (j + 0)/2. Which is greater: 1 or n?
1
Let q be (1205/(-2))/((-55)/44)*(-1)/2. Is q less than or equal to -2171/9?
False
Suppose -7*r = -213 + 353. Let m be 3*(-1)/(-3)*3 - r. Is 4 <= m?
True
Let z(t) = 3*t + 31. Let b be z(-7). Suppose 0 = -b*w - 18*w + 2016. Is 72 smaller than w?
False
Let i = -13979 + 13986.8. Which is smaller: i or 2?
2
Let w be (-9)/156*((-2816)/(-66))/(-16). Is w greater than -488.6?
True
Let i = 0.342 - 0.342. Let h = 25.003 - 0.003. Is i bigger than h?
False
Let n = 134 + -129. Suppose v - 5*y - n = 0, -5*v - 4*y - 7 = -3. Let w(m) = 3*m + 3. Let k be w(v). Do 11 and k have different values?
True
Let w = 63442.5 + -63443. Let r(l) = -l - 1. Suppose -3 = -4*q - 11. Let u be r(q). Which is smaller: w or u?
w
Let k(h) = 0*h - 739 + 5*h - h + 751. Let q be k(-13). Suppose -8*n + 11*n = -123. Is n not equal to q?
True
Let y be (4/(-6))/((-4)/(-6)). Suppose 2*r - 1298 = 15*s - 10*s, 1302 = -5*s + 3*r. Let d = s - -3868/15. Is d not equal to y?
True
Let d be 216/648 - 4216/(-6). Is 701 at most d?
True
Let z = -1934 + 1934. Let j(p) = p**2 + 5*p + 1. Let l be j(-5). Let y be 2*l - 621/309. Which is greater: y or z?
z
Let h be (6 + 390/(-63))/(6/9). Which is smaller: h or -19?
-19
Suppose -5*g - d + 223 + 410 = 0, -2*d - 498 = -4*g. Suppose 5*h + 4*s - g = 0, 0*h = h + 3*s - 23. Is h greater than 76/3?
True
Suppose 11*p - p + 9 = -11. Which is bigger: -3440 or p?
p
Let x(k) = 7*k + 74. Let d be x(-11). Let g be ((-8)/d)/((-7)/126). Which is bigger: 2 or g?
2
Suppose 5*d = -2*g - 941, 3*g + 2806 = -3*g + 2*d. Which is smaller: -467 or g?
g
Let h = -15 + 117/8. Let z = -45784/35 - -3923/3. Let m = z + 1/21. Which is smaller: h or m?
m
Let c = -81 - -46. Let s be 2/(-7) - c/(-49). Is s <= -2/71?
True
Let k be (-3)/2*124/(-14)*868/12. Which is smaller: k or 960?
960
Suppose -12 = -116*w + 115*w. Let k be 9/w + 749/(-28). Is -27 greater than k?
False