Let n = -180 + 208. Suppose -2 = -f + 29. Let u = f - n. Is 1 greater than or equal to u?
False
Suppose s + 5 = -3*y, 9 = -3*s + 2*y - 5*y. Let r be (6/1554)/((-2)/(-2)). Let q = r + -1821/2072. Which is greater: q or s?
q
Suppose 0 = 4*v + 3*o + 674, -3*o = 3*v + 547 - 40. Let k be (-12)/36 - (-5030)/(-30). Is v at most k?
False
Let i = 726 + -388. Let t = i + -337.9418. Is 0 at most t?
True
Let r = -0.04891 - 0.05109. Is r at least -30/53?
True
Let y = -7567/4 + 1882. Suppose 3*b + x + 62 = 33, -4*b - 2*x = 40. Is y greater than b?
False
Let p be ((-348)/(-5))/(-21 - (-13113)/620). Do p and 462 have the same value?
False
Let n = -403016/1139 + 2123/6. Is n smaller than 1?
True
Let o(k) = -k**2 + 9*k - 12. Let j be o(7). Suppose 0 = -j*x + 6, 3*x + 2*x - 15 = f. Let n be 3*(-8)/(-12) - f. Which is bigger: n or 6/7?
n
Suppose -73*v = -82*v. Suppose v = 3*k - 5*b - 27, -8*b = 4*k - 6*b - 10. Which is smaller: k or -0.034?
-0.034
Let a = -62 - -44. Let t = -0.1417 + -18.4583. Let b = a - t. Is -8 at most b?
True
Let h = -16.95 + -6. Let x = -22.9 - h. Which is smaller: -1/35 or x?
-1/35
Let a be -4*(0 + -1)*4/(-8). Let s be 10/a - 1/(-2)*6. Let q be (-223)/(-65) + s/10*1. Is q at least 4?
False
Let b = 17.2 - 17.054. Let c = -0.029 + b. Let r = 0.017 - c. Which is bigger: -10 or r?
r
Let s = -349 + 209. Let v be 6/(-315)*120/s. Do -1 and v have different values?
True
Let m = 2/26573 + -3162205/239157. Which is greater: -12 or m?
-12
Suppose -5*q - 88 = 142. Let w(r) = -4*r**2 - 31*r + 163. Let k be w(-12). Do k and q have different values?
True
Suppose -413*x = -359*x - 69 - 93. Let p be (-374)/(-115) + 2/5. Which is bigger: p or x?
p
Let z be ((-1)/3)/(2/(-6)). Let g be (-3*83608/13200 - -19)*4. Which is greater: g or z?
z
Let z be (19/(-1))/((-3)/9). Let y be 1856/91872 - 22366/(-396). Which is bigger: y or z?
z
Suppose -41*f = -44*f - 288. Let s = f - -98. Suppose 5*d + 9*k - 10*k + 5 = 0, s*k = -2*d - 14. Which is greater: -11/4 or d?
d
Let c be (-50)/20 - 485/2. Let l = c - -314. Let p = -62 + 130. Are p and l equal?
False
Let c = -277/4 - -3583/52. Let g be 6 - (71/568)/((-1)/(-56)). Is c <= g?
False
Let w = -1421 - -2981. Are 1557 and w non-equal?
True
Let y be (-2 - -627 - 6)/(-7). Let j = y - -89. Which is greater: 0 or j?
j
Let w = 1696 - 1547. Which is bigger: 0 or w?
w
Let t = -9152 - -9152.1. Is t at most -3668?
False
Let v = -2/17303 + -75502/17303. Let p be (3/12 - 18/8) + 6. Let d(h) = -h**3 + 4*h**2 + h - 8. Let o be d(p). Is v smaller than o?
True
Let c(o) = 5*o + 11. Let s be c(-5). Let q be 35/s*4/5. Let k(y) = y**2 + 4*y + 5. Let h be k(q). Which is smaller: -3/13 or h?
-3/13
Let n = -79 - -85. Let c(d) = d**3 - 6*d**2 - 2*d - 2. Let l be c(n). Which is bigger: l or 2/3?
2/3
Let u = -2082/5 + 2059/5. Which is smaller: -4 or u?
u
Suppose -2 + 5 = -n, 0 = i + 2*n + 5. Let c = 80 + -76. Which is smaller: i or c?
i
Let k(l) = -40*l - 153. Let x be k(28). Is x > -1274?
True
Suppose -f - 3*c - 1365 = -3*f, -5*c + 650 = f. Is 674 greater than f?
False
Let z(m) = 2202*m + 4221. Let b be z(-6). Is b at least as big as -8992?
True
Let v(x) be the first derivative of -8*x**3/3 + x**2/2 - 34. Let h be v(1). Which is greater: -10 or h?
h
Let j be 4 - (-155)/15 - -1. Let l = 148 - 134. Is l > j?
False
Suppose -5*n = 3*p + 24, p - 6 = 5*n + 6. Let t be -3 + (n/(3/(-4)) - -4). Let d(c) = -c**3 - 7*c**2 - c + 2. Let u be d(-7). Which is greater: t or u?
u
Suppose 2*r = -3*m + 36, m + r = 4*m - 36. Suppose -m*k - 112 = 4*c - 7*k, 0 = 3*k. Is c at least -4?
False
Let r be (6 - 3)/((-3)/(-8)). Let n = -13604/15 - -2746/3. Are r and n equal?
False
Let p = -4335 - -4301. Which is smaller: 5/4 or p?
p
Let n = 1549 + -3978. Let y = -2469.08 - n. Let z = y + 40. Is z > -3?
True
Suppose 161 = 8*i - 111. Suppose -3*p + 14 = -b, -i*b + 21 = 2*p - 37*b. Let a be 0/1 - (-26)/6. Does p = a?
False
Let r = -38 - -34. Let y = r + 3.8. Let p = -44.9 - -45. Which is bigger: y or p?
p
Suppose -4*s = 8*s - 1992. Let u = 139 - s. Are u and 1/4 equal?
False
Let w be (12/(-16))/((-1)/(48/(-27))). Let b(k) be the first derivative of -k**4/4 + 20*k**3/3 + k - 21. Let u be b(20). Which is greater: u or w?
u
Suppose 4*u + 4*o - 43 - 53 = 0, 1 = -o. Let p be 0 - ((-2)/5 - 40/u). Suppose y + p*q + 15 = 0, -3*y - 5*q = -0*y + 40. Which is smaller: y or 1?
y
Let i = -1197 - -1207. Suppose -3*x = -4*t - 28, -3*x + 44 = -t + 5*t. Let o be i*((-3)/x - 1/(-2)). Which is bigger: 2 or o?
o
Let c(m) = m**3 + 7*m**2 - 8*m - 25. Let v be c(-9). Let j = v + 3217/28. Which is greater: j or 1?
1
Suppose 0 = 8*f + 124 - 132. Is f less than or equal to -8/431?
False
Let c be 7866/45 + (-1)/(-5). Suppose 7*k - 147 = c. Let m = k - 47. Which is greater: -4/67 or m?
-4/67
Suppose o - 41 - 57 = 9. Which is smaller: 84 or o?
84
Suppose 0 = -47*k - 225626 - 213260. Is -9338 less than or equal to k?
True
Suppose -4*m + 2 = -3*v + 19, 4 = 4*m + 4*v. Let l be (-6)/(-12) - m*(-21)/(-4). Suppose l = -5*d + 6. Which is bigger: d or -7/3?
d
Let y be (-46)/8 - ((-21)/(-4) - 5). Let n be -3 - (7*-62 + y). Are n and 436 equal?
False
Suppose s = -v - 3, -2*s + 7*v - 11*v - 6 = 0. Let p be (s + 636/(-28))*7. Which is bigger: -357/2 or p?
-357/2
Suppose -8 = 2*y - 18. Suppose 2*v - z + 1 = 0, 2*v + y*z + 1 + 18 = 0. Let k be (v*1)/(-10) + (-828)/115. Is -7 less than k?
False
Let r(u) = -u**3 + 37*u**2 + 3*u - 39. Let p be r(37). Suppose 4*x - 202 = -3*z - 0*x, -x - 2 = 0. Are p and z non-equal?
True
Suppose -81*h = -62*h + 26486. Which is smaller: -1393 or h?
h
Let j = -3571910/7 + 511340. Which is greater: 1066 or j?
j
Let v = 25.4 - 1.4. Is -0.66 >= v?
False
Let v be (-4178)/19 - (-74)/(-37) - (-20)/(-190). Is v bigger than -2/7?
False
Suppose -32*n = 21 + 139. Let h be 130/(-26) - n*1. Which is smaller: h or -256?
-256
Let c be (-4 - (-77)/14) + 21/2. Is c > 61?
False
Let t be -37*(10/5)/2. Let y = t - -129. Do y and 92 have the same value?
True
Let t = 11733.4 + -11730. Which is bigger: t or -7?
t
Let d be (29/(-53))/(0 - 2). Let s = d - -22580/477. Let w = -93/2 + s. Which is smaller: 0 or w?
0
Let b(n) be the first derivative of -5*n**2 - 201*n + 118. Let r be b(-16). Which is greater: 0.1 or r?
0.1
Let n(j) = -3*j - 3. Let s be n(4). Let v be 6/15 + (-594)/s. Is v greater than 40?
False
Let n = 1/22574 - -428757/3363526. Which is greater: 1 or n?
1
Let w be 9/(-63)*(-124)/18. Let p = w - 14/9. Is p > 0.16?
False
Let b be (68/255)/(2 - 592/290). Suppose -9*z - 25 = -4*z. Is b >= z?
False
Suppose 5*i - 85 = 2*u + 65, -i = -3*u - 43. Suppose -g - i = -4*k, -146 = 3*g + 3*k - 17. Let f be -2 + -1 + (-130)/g. Is -1 at most f?
True
Let n(m) = 306*m**2 + 28*m + 88. Let i be n(-5). Is 7597 >= i?
False
Let w = 36844291 - 36586374352/993. Let j = 3/331 + w. Which is smaller: 7 or j?
j
Let u(x) = -37 - 197*x**2 + 196*x**2 - 21*x - 50 - 11*x. Let t be u(-29). Which is smaller: t or 1/4?
t
Let m(r) = -r**2 + 26*r - 9. Let n be m(23). Suppose 12*a - 8*a + n = 0. Is a equal to -71/5?
False
Let y(g) be the first derivative of -g**4/4 - 22*g**3/3 - g**2/2 - 14*g + 3. Let r be y(-22). Suppose -10 = 6*x + r. Which is bigger: -2/7 or x?
-2/7
Let p = -480 + 426. Let x be 4764/529 + 486/p. Which is bigger: x or 1?
1
Let j = -8 + 12. Suppose k + j = 2. Let b(a) = -a**3 + 65*a**2 - 240*a - 14. Let d be b(4). Which is smaller: k or d?
k
Let u be (10/4)/(-16*5/480). Let f = -13980 - -153606/11. Which is bigger: f or u?
u
Suppose 25 = 2*m + 10*h - 11*h, -1 = h. Is m != 6?
True
Let q(w) = w**3 + 23*w**2 + 22*w - 1. Suppose -3 = -2*a - 4*t - 13, 4*t + 7 = -3*a. Suppose -4*d - 22 = -a*d. Let o be q(d). Which is smaller: o or 1/5?
o
Let w be 1/2 + (-72)/16. Let q be -186*(-6)/27 - 2/(-3). Let m be 3/q*1*-58 - 1. Is w less than or equal to m?
False
Let i(z) = z**2 + 11*z + 31. Let n be i(-4). Let u be n - ((-2412)/(-408) + -1*3). Which is smaller: 0 or u?
0
Let r = -20240 - -22414. Which is greater: -5 or r?
r
Suppose 8*r = -11*r + 133. Suppose 3*y - 2*g - 39 = -r*g, 3*g + 52 = 4*y. Which is greater: -0.04 or y?
y
Let i = -461 + 777. Let a = i + -315. Which is smaller: 2/377 or a?
2/377
Suppose -2*o + 0*j - 9 = 3*j, -4*o - 4*j - 12 = 0. Suppose -13*h + 6*h - 7 = o. Which is smaller: h or 5?
h
Let m = 33 + -30. Suppose -4*a =