k - 36. Let u be (j/(-4) - (-1 - 2)) + -1. Suppose 9 + 7 = -u*w. Which is smaller: w or -5?
-5
Let c(o) = -34*o - 156. Let g be c(-7). Let y = g - 96. Is -15 at least as big as y?
False
Let k be (1 + 11)*((-193)/(-21) + -9). Which is smaller: k or 1/35?
1/35
Let u = 4757 + -4750. Let s(d) = -5*d**3 + d**2 + d - 1. Let g be s(1). Is u >= g?
True
Let r be 16/(-240)*50/978. Which is smaller: r or -1?
-1
Let y be (1/(-2))/(6/(-144)). Let o = y + -5. Let f(d) = d**2 - 2*d + 8. Let i be f(2). Is i >= o?
True
Let q be 10204/45 + 2/(-10). Let i = q - 227. Suppose -3*c = 5*t - 8, 5*c + 39 - 44 = 0. Is t less than or equal to i?
False
Let j be (-182450)/425782 + (-76)/(-14) + 275/(-55). Which is bigger: j or -1?
j
Let b be (-4 - -53) + 4 + -2. Let p be 6/b - (-287)/17. Let m = 63 + -47. Which is bigger: p or m?
p
Suppose -3*i = -2*k + 32, -38 = -6*k + k - 3*i. Suppose -k = 5*g + 35. Let r be 5/(4*(5 - 7)/16). Is g bigger than r?
True
Let z = 1481 + -776. Let s = z + -667. Which is bigger: s or 33?
s
Suppose 4*w - 5*v + 24 = 0, w = 4*w - v + 18. Suppose 5*l - 43 = -19*r + 17*r, -3*l - r = -26. Let m be 6/(-14)*w/l. Is 10 greater than or equal to m?
True
Suppose 3 = 12*b - 15*b. Let f = -780.36 - -779. Is f at most as big as b?
True
Let v = -0.3 - -0.465. Let h = -0.835 - v. Is h bigger than 18/17?
False
Let o(g) = -10*g + 79. Suppose -13*v = -7*v - 48. Let w be o(v). Is w equal to 1/32?
False
Let b(m) = 2*m**3 + 24*m**2 + 19*m - 15. Let w be b(-11). Is -1.3 != w?
True
Let f = -4.9301 - -4.979. Is f at most as big as 4/7?
True
Let t be -22 + 228/10 + ((-88)/15)/4. Is -17/52 at least as big as t?
True
Let u = -211536187/2358 + 89710. Is u less than or equal to 0?
True
Let z = 4006 + -4106. Let l = 235 - 106. Let d = l + z. Which is bigger: d or -1?
d
Let q = -115506 + 1273453651/11025. Which is smaller: 1 or q?
q
Let d be 36/(-48) + 1/4. Let k(h) = h**2 + 5*h + 4. Let t be k(-4). Is d <= t?
True
Let v be 12/3*1/(-6). Let d = 5960631/14201 + -125/1291. Let s = -420 + d. Is s not equal to v?
True
Let d = -132 + 188. Suppose 2*l = 2*c - 3*c - d, 3*c + 4*l = -166. Which is greater: -53 or c?
-53
Suppose -2*c + 3*z - 13 + 7 = 0, -2*c = 5*z + 6. Let u be 5/(c/(-6) - 1). Is u not equal to -10?
False
Let f = -4.3889 + 0.4449. Which is smaller: 2/3 or f?
f
Suppose k - 164 = -d, 3*k + 3 = -0*k. Let p(y) = -59*y + 518. Let r be p(6). Which is greater: r or d?
d
Suppose -4*s - 1360 = -4*k, 85*k - 84*k = 4*s + 1375. Let t = 31049/90 + s. Is -1 <= t?
True
Let b be 0 + -4 + 10/(-125) + (-235262)/(-57650). Are -1 and b equal?
False
Let k be 0*(2/(-11) + 425/825). Suppose 3*z - 2*m + 13 = k, 4*z + 7*m = 4*m + 11. Is -2/515 less than or equal to z?
False
Let c be -5 + ((-6004)/(-1145) - (-83)/(-415)). Is -0.1 greater than c?
False
Let n = -3537 - -2117. Let q = n - -1420.0667. Is q equal to -1?
False
Suppose 19 = -a + k, 0 = -3*a - 0*k - k - 41. Suppose 0 = 7*v - 267 - 202. Suppose 68*f + 15 = v*f. Is f at least a?
True
Let m = 55 - 98. Let l = m + -10. Let x = 130 + -128. Which is smaller: x or l?
l
Let l be 0/1 + -1 - -1. Let r be 2/(-2190)*(-617760)/1584. Is l greater than r?
False
Let s be 1274/(-168)*102/21. Let h be (0 - -6)*(-95)/15. Which is smaller: s or h?
h
Let z = -204 - -204. Suppose z = 2*t - 6*t + 3*k - 1, 0 = 4*t + k + 5. Which is greater: t or 8/25?
8/25
Let w be -4 + (880/12 - 1) + 2. Let n = -70 + w. Let l = -0.94 + 1. Is n at most as big as l?
False
Let m = -11016 + 11108. Which is greater: 51 or m?
m
Suppose -27*u + 5*f = -26*u + 79, 86 = -2*u + 2*f. Which is greater: u or 41?
41
Suppose -13*f = -2703 - 1652. Let t be (4/f)/(-2 - (-8)/5). Let s(l) = l**3 + 6*l**2 + 5*l + 1. Let i be s(-5). Do t and i have the same value?
False
Suppose -d = -z - 16 - 6, z - 4*d = -25. Let f be (68/(-51))/(1/z). Suppose 23*w = f*w + 40. Is w at most as big as -2?
True
Let j be (-411)/20 + (-1)/5 - 0. Let d = -17/4 - j. Is d bigger than 18?
False
Let f be (3 + (-1045)/10)*((10 - -4) + -13). Is -101 less than or equal to f?
False
Suppose 0 = 3*r + 4*b - 338, 2*r - r - 117 = 3*b. Let j = -124685 + 124799. Is r >= j?
True
Suppose -49*o + 16 = 4*x - 53*o, -3*o - 14 = -5*x. Is 2/10905 smaller than x?
True
Let j be (-6)/51 - ((-11618)/(-838185) - (-10)/(-75)). Is j greater than 1?
False
Let v = -36 + 39. Suppose -3*f + v = -2*c - 7, 3*f - 3*c - 15 = 0. Suppose -3*w - 27 = 3*z, f*w + z = 4*w + 11. Is -1 smaller than w?
False
Let r = 13327 + -16882. Which is greater: r or 0?
0
Let u = 0.06 + -0.46. Let g = 104 - 103.9845. Let y = g + 0.0145. Which is bigger: y or u?
y
Let q = -5712 + 5712. Which is smaller: 9/362 or q?
q
Let r(g) = -g**3 - 8*g**2 - 2*g - 16. Let v be r(-8). Let o be (3 + -5)/(1 + -3 - v). Let w be o + 1/(5/(-10)). Are w and -4/43 unequal?
True
Let z = 16770 - 16769. Which is bigger: z or 2/1487?
z
Let g(y) = -2902*y - 1333. Let i be g(-1). Which is greater: i or 1567?
i
Let c be (-1 - 30/(-22))*-3. Let x(q) = -32*q**2 - 7*q - 5. Let f be x(3). Let z = -315 - f. Are z and c non-equal?
True
Let b(d) = d**3 + 5*d**2 + 4*d. Let w be b(-4). Let n be (w - -1) + 0*(-2)/4. Let q be 4/(-8) - n/(0 + 1). Which is smaller: -1 or q?
q
Let z = -19.5117 - -19.5. Let t = 1.0117 + z. Which is smaller: t or -17?
-17
Let v(c) be the first derivative of -c**4/4 + 2*c**3 - c**2 + 4*c + 8. Let j be v(5). Let t be -2 + j - (-1 - -3*1). Are t and 13 equal?
False
Let y be ((-3920)/(-144))/7 + 1/9. Let h be (105280/(-86216))/(-8) - y/26. Which is smaller: 1 or h?
h
Let p(u) = -45*u - 121. Let g be p(-4). Suppose g*c - 47*c + 432 = 0. Is -28 at most c?
False
Let z(y) be the second derivative of y**5/4 - 47*y**4/12 + 10*y**3/3 - 5*y**2/2 - 64*y. Let t be z(9). Is 16 at least t?
True
Let b = 7863.289 + -7917.3. Let r = b - -55.4. Let x = r + -0.089. Is -1 greater than or equal to x?
False
Suppose -2*h = 2*h - 20. Let x(j) be the third derivative of j**6/120 - j**5/15 - j**4/6 - j**3 - 11*j**2 - 2. Let n be x(h). Are n and -12/11 unequal?
True
Suppose -8*s + 3*s + 5*x = 10, 4*x = 20. Let w be 2/s*30/4. Suppose -415*m - 63 + 756 + 967 = 0. Is m > w?
False
Let l = -45 + 106. Let v = l + -61.01. Which is bigger: -3 or v?
v
Let g = 3256 - 48838/15. Is -14 > g?
False
Let u = 126.997 - 127. Let c = 35.997 - u. Is 2 at most as big as c?
True
Let w be (-35)/(-7) + (2 - 5) + -3. Let b be (w/(-5))/(22/55). Is b bigger than 0.89?
False
Suppose 0 = 4*t + 46*c - 47*c + 1, -4*t + 3*c + 5 = 0. Which is smaller: -25/37 or t?
t
Let w = -106 - -159. Let g = 53 - w. Which is smaller: g or -1/134?
-1/134
Let b(d) = -d**3 - 11*d**2 + 15*d + 34. Let q be b(-11). Let a be q/755 + 42/210. Is a less than -1?
False
Let s be ((-21)/(-14))/((-35)/12 - -3). Suppose 3*o = -3*r - 114, 2*o + 199 - s = -5*r. Which is greater: 2/9 or r?
2/9
Let o = -234 + 3103. Which is smaller: o or 2870?
o
Let w(d) = -3*d**2 + 19*d + 12. Let s be w(7). Let i = 153531 - 17655946/115. Let o = 10/23 - i. Which is smaller: o or s?
s
Suppose 8*b = 22*b. Suppose -4*w - 16*w - w = b. Which is smaller: -2/257 or w?
-2/257
Let r = 137.5 + -5.5. Let l = r - 122.3. Let g = l + -6.7. Is g > 1/5?
True
Suppose -5*z - 3*x + 29 = 0, 39*z - 37*z + x = 13. Is z smaller than 180?
True
Let c be 11 - 6 - (4 + (-4)/(-4 - 0)). Which is smaller: 25/244 or c?
c
Let x be ((-16)/10)/(7/(-35)). Suppose x*y = 9*y + 36. Let r = 25 + y. Is r >= -10?
False
Suppose 5*s = 0, -1 = -4*p + s + 11. Let i(m) = m**3 - 14*m**2 - 5*m + 2. Let k be i(16). Let u be p*(k/2268 + (-2)/12). Is u greater than -1?
True
Let t be -2 + (-1)/(4/(-8)). Let x = -326 - -2930/9. Let r = x - 10/99. Is t bigger than r?
True
Let f = -87636 - -8500524/97. Which is bigger: -1 or f?
-1
Let d be 11928/(-30)*30/(-4)*1/(-2). Which is smaller: d or -1495?
-1495
Suppose 4*h - 1505 = 11*h. Let z = h - -635. Is z bigger than 0.1?
True
Let c be ((-4)/(-7))/(50/175). Let q(i) = i - 2. Let m be q(c). Suppose 3*d - 3 - 42 = -5*l, m = 4*d + l - 43. Which is greater: d or 9?
d
Let z be (-4)/(3*10/(-15)) + -2. Suppose z*r + 2*r = -3*r. Which is smaller: 14/45 or r?
r
Let f = 27165/166586 - -3/2282. Suppose -13*y - n = -7, 2*y - 28 = 3*n - 8. Are y and f unequal?
True
Let d be (2/9)/(((-30)/72)/(210730/(-208))). Which is smaller: 541 or d?
d
Let i(j) = -j**3 + 7*j**2 + 10*j - 5. Let o be i(8). Suppose o = -15*m - 