is smaller: 1 or y?
1
Suppose 0 = -245*k - 25*k - 120960. Which is bigger: k or -451?
k
Let o = 19 - -4. Let d = 29 - o. Let m be 82/d + -5 + (-76)/(-12). Which is smaller: m or 18?
m
Let v be (-2*19/5)/(16/(-40)). Let f(y) = -8 + 36*y**3 - 35*y**3 - 5*y**2 + v - 2*y. Let j be f(5). Is 3/8 >= j?
False
Let d(v) = 16*v - 566. Let j be d(-44). Which is bigger: j or -1271?
j
Suppose -3*r + 11 = 2. Suppose 5*s = r*z + 2*s + 15, -4*z - 2*s = -4. Let v = 131/660 + -1/60. Which is bigger: v or z?
v
Let f be -31*(1/(-6) - 105/(-90)). Let a be 4 - 1/((-1)/2). Let l(z) = -4*z - 7. Let i be l(a). Are f and i unequal?
False
Let y = 51 + -355/7. Let u = -175 - -200. Suppose t = k - 0*t - u, -2*t + 4 = 0. Which is smaller: k or y?
y
Let v be (57/5 - 7)/((-1)/(-5)). Let g = -12 - v. Let j be g/119 + (-39)/(-161). Which is greater: -1 or j?
j
Suppose -g - 2 = w - 2*g, 3*w - 4*g + 8 = 0. Let p(b) = -b**2 - b + 28. Let u be p(w). Suppose 5*m + u = -17. Does m = -7?
False
Let g = -12065 - -35068/3. Is g > -377?
True
Let p(q) = -19*q**2 - 246*q - 25. Let b be p(-12). Is b < 189?
False
Let o = 20151 - 10377768/515. Which is greater: o or 0?
0
Let t be 3 + -1 + (-7392)/128. Let f = t - -53/4. Are f and -44 nonequal?
True
Suppose 5*d - 159 = -z - 173, 5*z = -3*d - 48. Which is smaller: 38 or z?
z
Let m = 2768 - 4365. Is m not equal to -1596?
True
Suppose -g = -y - 8, 4*g - 3*y = -13 + 49. Let l be (-255)/g*16/6 - -5. Is l > -52?
True
Let u(n) = 5*n**3 + 4*n**2 - 38*n + 8. Let j(h) = 9*h**3 + 8*h**2 - 74*h + 16. Let w(o) = -4*j(o) + 7*u(o). Let m be w(-7). Which is smaller: m or -69?
m
Let z be 2/3 + (8/21)/((-872)/1526). Is -3/5062 less than z?
True
Let j(y) = 8352*y**3 - 12*y**2 - 23*y - 11. Let c be j(-1). Is -8352 <= c?
True
Let l = 32609 - 19721. Are l and 12888 equal?
True
Suppose 4*u + 62 = -3*y + 2*y, 5*y + 361 = -3*u. Suppose 4*d - 5*m = -9*d - 1048, 0 = 2*d - 3*m + 188. Do y and d have different values?
True
Let j be (27 - 111)*5/(-2). Let y = j - 629/3. Which is smaller: y or 0.68?
y
Let y(r) = -r**2 - 4*r + 1. Let d be y(-3). Suppose s = d*s - 15. Let t = -171 + 176. Is t at least s?
True
Let v = 173 - 133. Suppose -24*u + 26*u + v = 0. Let z = 33 - 67/2. Which is smaller: u or z?
u
Let k(v) = v**3 - 31*v**2 - 32*v + 10. Let z be k(32). Let b be 3 + 15/z + -4. Let n = -499/6 + 83. Which is greater: b or n?
b
Let q(c) = c**3 + 7*c**2 + 4*c + 7. Let x be q(-7). Let s = x - -24. Suppose -75 = -s*a - 72. Are a and 4/15 equal?
False
Suppose 0 = 6*f - 10*f + 108. Suppose 3*l = -4*q + 53, -7 - f = -2*l - 2*q. Is 16 greater than l?
True
Suppose 6 = -3*i + c, -4*i + 46 = -6*c + 110. Let h be (-4)/16 - (-1)/4. Suppose h*u + 5 = -5*u. Which is smaller: i or u?
u
Let m = -35 - -124. Suppose 201 = -10*a - m. Does -31 = a?
False
Let v = 1199 + -433. Let r = v + -690. Is 73 at least as big as r?
False
Suppose -19 = -18*u - 127. Let v be (-10)/(-10) + u/3 + 5. Is v less than -8?
False
Let b = 27 + -42. Let a be (-5)/b*(-45)/25*35. Which is smaller: a or -171/8?
-171/8
Let x(l) be the third derivative of -l**5/60 - 3*l**4/8 + 25*l**3/6 - 10*l**2. Let q be x(-9). Suppose -q - 5 = 5*b. Which is bigger: -29/6 or b?
-29/6
Let s(m) = 3*m**3 - 32*m**2 - 11*m + 2. Let p be s(11). Suppose -3*u = -p*b - 49, 4*u = -5*b + 7*u - 118. Is b >= -22?
False
Let o be (-942)/(-7) + (-15)/(-35). Let x be -3*(3 - 2) + 459/o. Are 0 and x equal?
False
Let u = -1 + 3. Suppose 0 = -l - l - u*l. Suppose -5*q + l*q = 80. Is q > -16?
False
Suppose 4*x + 2*t - 26 = 0, 4*x + 5*t + 1 = 42. Let j be -303*6/42 + x/14. Let g be (-45)/j + -3 + -3 + 5. Are 2/5 and g equal?
False
Suppose -3*m + 9 = -0. Let t = m + 10. Let z be t + -4 + (-1)/(-1). Which is bigger: 9 or z?
z
Let l(h) = -4*h**3 - 7*h**2 + 10*h + 34. Let i be l(-3). Are 1034/21 and i non-equal?
True
Let h = -1/9833 - -11534117/78664. Let p = 146 - h. Which is greater: p or 3/5?
3/5
Let c(d) = 6*d**3 - 3*d**2 - 60*d + 98. Let h be c(8). Is 2500 < h?
False
Suppose 0 = -2*b, -7*j + 4*j + 10674 = -j - 4*b. Is 5337 greater than j?
False
Suppose 0 = 9*v - 0*v - 711. Let x = v + 52. Let o = 1440/11 - x. Which is smaller: o or 1?
o
Let s(x) be the second derivative of 1/6*x**3 + 17*x + 0 - 4*x**2. Let a be s(-3). Is a at least as big as -12?
True
Let f(g) be the first derivative of -g**4/4 + 19*g**2/2 - 5*g - 61. Let i be f(-3). Which is bigger: -24 or i?
-24
Let z(p) be the third derivative of p**5/30 - p**4/8 - p**3 - 3*p**2. Let f be z(-4). Let t be (-255)/180 + (-10)/(-6) - 6/(-8). Which is smaller: f or t?
t
Suppose 5*p - 999 = i, -16*p + 13*p + 4*i + 579 = 0. Which is bigger: 202 or p?
202
Let v = -3.516 + -64.764. Let m = v + -0.72. Let l = m + 68.87. Is -2/7 at most as big as l?
True
Let p be 292/3 - (448/(-42) - (-1 + -7)). Let j be 98 - (-2 - 1/(-1)). Is j less than p?
True
Let o be 7 + -2 + (-2 - -3). Suppose 6 = 4*l - 2. Suppose l = -o*a - 22. Which is smaller: a or -3?
a
Let o = 622 + -605.88. Let r = 16.5 - o. Which is greater: r or -3?
r
Let x(l) = 28*l**2. Let j(o) = o**3 - 5*o**2 - 7*o + 7. Let w be j(6). Let n be x(w). Suppose n*d - 25*d + 3 = 0. Is -4/19 bigger than d?
True
Let g = 21785 - 21663. Suppose -f + 2*f - 123 = 0. Do g and f have the same value?
False
Suppose -j = 4*t, j - t = 2*j. Suppose 28 + 284 = -6*m. Let n be (105/48 - 2)/((-9)/m). Which is smaller: j or n?
j
Let f = 3.97 - 3.719. Let l = f + -0.291. Let d = -1.6 - 5.4. Is d not equal to l?
True
Let b = -43 + 56. Suppose 25 = 8*i - b*i. Let g = 241 - 241. Are g and i unequal?
True
Let r be (-52)/(-182) - (-66)/14. Suppose 0 = 4*g + 5*n + 6, 0 = 5*g + 9*n - r*n + 3. Which is smaller: g or 4/11?
4/11
Let i(n) = 1006*n**2 - n + 11. Let a be i(2). Let g be a/4588 + ((-18)/8)/3. Is g <= -1?
False
Let l(q) = 9*q + 267. Let z(d) = 3*d + 134. Let x(s) = 3*l(s) - 5*z(s). Let h be x(-13). Which is smaller: -180/7 or h?
-180/7
Suppose 0 = 22*j - 27*j - r + 11829, r + 1 = 0. Which is smaller: 2364 or j?
2364
Let r(c) = 5*c - 21. Let y be r(-4). Let w = y + 12. Are -3 and w equal?
False
Let g = 800 + -796. Let y = 11 + -33. Let v be 48*((-68)/y - 3). Does g = v?
False
Let p be -30*1/4*(4 + -10). Let n = p + -47. Let l be 0 + 28/(-1435)*5/n. Which is smaller: l or -1?
-1
Let l be -46 - (6 - 3 - 2). Suppose 0 = 90*i - 89*i - 3. Suppose 0 = -i*w - 40 - 95. Which is greater: l or w?
w
Let i = 4.997 + 0.103. Let f = i - 1.1. Suppose 4*s + 3*b - 4 = 8*s, -3*b + 2 = -2*s. Is s at most as big as f?
True
Let r = 628 - 556. Let c be 6/(-72) + (-21090)/r. Is -294 != c?
True
Suppose -5*n - 29 = -124. Suppose n*v = -37 - 267. Which is smaller: -11 or v?
v
Let f = -1376/31 + 514711/527. Let x = f - 932. Let p = 136 - 137. Which is bigger: x or p?
x
Let w = -1/346 + 349/1038. Let t = 19049/198 + -577/6. Is t greater than w?
False
Let v = -0.0986 + 5240.0986. Is v <= 1?
False
Let o = -256.7 + 256.4909. Let n = -0.0909 + o. Let u = -1 - -3. Which is smaller: n or u?
n
Let r(i) = -i + 6. Let y be r(6). Let f = 611484/7 - 87355. Is f at least as big as y?
False
Let b(j) be the third derivative of -j**6/120 + j**5/12 - j**4/12 - j**3/2 - 9*j**2. Let y be b(4). Let v = -264 - -267. Is v <= y?
True
Let p(x) = -738*x - 18. Let o be p(-2). Let w = 2492/11667 + -935737124/641685. Let l = w + o. Which is greater: l or -1?
l
Let z be 19*(-20)/(-380) + 1*-1. Which is smaller: 2/2743 or z?
z
Suppose 664 = -2*f - 4*g, 8*g - 638 = 2*f - 46. Which is smaller: f or -308?
f
Let x be (48/21 - ((-3)/1 - -5))*-7. Is -59/20 > x?
False
Suppose -13*d - 13*d + 6*d - 2180 = 0. Which is greater: -87 or d?
-87
Let c = -9276 - -27830/3. Which is bigger: -7089 or c?
c
Let g(c) = -57 - 5 - 27 + 12 + 13*c. Let s be g(6). Is s at most -1/444?
False
Let x be (-19 - 522/(-27))*(-122)/(-4). Which is bigger: x or 10?
x
Suppose 0 = 49*d - 42*d - 32*d. Does d = -3/10771?
False
Let y = -23 + 9. Suppose -323*j + 64*j - 3367 = 0. Is j less than or equal to y?
False
Let m(z) = 13*z**3 + 13*z**2 + 12*z - 15. Let b(p) = 2*p**3 + p**2 + p - 1. Let d(a) = 6*b(a) - m(a). Let t be d(-6). Do t and 25 have different values?
True
Let o = 1384 + -1432. Let g be ((-6)/(-8))/((-2)/(-128)). Let t = o + g. Is t less than or equal to -2/27?
False
Let s be ((-150)/(-35))/((-175)/(-2940)). Which is bigger: 303 or s?
303
Let n = 0.045 + -22.045. Let c =