 ((8/56)/(24/42))/((-122)/(-248)). Is 0 < w?
True
Let n = -2.4 - -2.1. Suppose -2*h + 12 = a + 1, 22 = 3*h - 4*a. Let o be ((25/2)/(-5))/((-9)/h). Which is bigger: n or o?
o
Let s = 276 - 271. Suppose 5*d + 35 = q, 10 = s*q - 15. Which is smaller: d or -10?
-10
Let d = 35.42 - 35. Let n = d + -48.42. Let r = n - -50. Which is smaller: r or 6?
r
Let h(v) = -7*v + 3. Let l(c) = 8*c - 3. Let r(j) = 3*h(j) + 2*l(j). Let y be r(0). Let q = 36/7 + -31/21. Do q and y have the same value?
False
Suppose h + 19 = -3*d, 2*h + 11*d = 6*d - 36. Let l be h - (-2 + (-9 - -8)). Which is smaller: l or -5?
l
Let t = -0.0407 + 30.0407. Let j = -73 + 49. Let w = t + j. Is 0.1 less than or equal to w?
True
Let t = 2761 + -2760. Does -1184 = t?
False
Let i be -3 + -2 + ((-20)/(-40) - 80/(-18)). Is 0.04 > i?
True
Let y = 6375 + -6369. Which is bigger: 188 or y?
188
Suppose 0 = -7*w + 11*w + 16. Let u be (-2)/68*-4 + w/34. Suppose 0 = 4*l + 41 + 23. Are l and u non-equal?
True
Let w = -2887 - -37551/13. Suppose -7*j + 2*j = -35. Let s = j + -4. Which is smaller: w or s?
w
Let v(j) = -2*j**3 + 2*j**2 - 140*j - 142. Let z be v(-1). Let a = 120 + -59. Which is smaller: z or a?
z
Suppose -11*y + 1783 + 1943 = 426. Which is greater: 292 or y?
y
Suppose -3*g - 3050 = -418*v + 423*v, -3070 = 5*v - g. Is v not equal to -615?
True
Suppose 7*b = 646 + 26. Let m = b + -98. Is m smaller than -22?
False
Suppose -2*x - 2*j + 2 = 0, 15 = 202*x - 201*x + 15*j. Let q = -5530 + 2339191/423. Are q and x unequal?
True
Let a = 15570 + -15587. Let u(r) = r**2 + 4*r - 7. Let p be u(-5). Which is smaller: a or p?
a
Suppose o + 20 = 3*t, -5*o - t + 248 - 364 = 0. Suppose 8*k - 5*k + 60 = 0. Is k bigger than o?
True
Let g = 910748/29 + -31401. Is 3 bigger than g?
False
Suppose -2*w + 5*p = 1113 - 1127, 0 = -3*w - 5*p - 4. Are w and 50/19 equal?
False
Let i(x) = 13*x - 1. Let t be i(1). Let g be 4 + 48*(-4)/(-8). Suppose -g*h + 26*h + 28 = 0. Is h less than t?
False
Let l = 46.7 - 28.1. Let u = -18.7 + l. Is u < 198?
True
Let n(k) = 8*k**2 + 74*k + 17. Let s be n(-9). Do 5892 and s have different values?
True
Let u = -82.98 - 0.02. Let f = u + 82.6. Let j = f - 2.6. Which is smaller: -5 or j?
-5
Let p(v) = -2*v**3 - 2*v**3 - 29*v**2 - 8 - 2601*v + 6*v**3 + 2621*v. Let m be p(14). Is m >= 77?
False
Let k = 4780 - 4688. Which is bigger: k or 90?
k
Suppose -2*u = 3*n - 112, -4*u + 45 = 2*n - 27. Let j = 22 + n. Is 61 at least j?
True
Suppose -t + 1991 = -3*o - 8017, 0 = -3*o + 8*o. Do 10006 and t have different values?
True
Let v be (-32)/56 - 150/7. Let l = v - -22. Suppose -6*b + 3 - 3 = l. Is b greater than or equal to 2/185?
False
Suppose -4 = 4*r - 0. Let z be (12/(-10))/(4/(-20)). Let w be 3/z + 26/(-28). Which is bigger: w or r?
w
Let f = -288.9752 - 0.0248. Let d = 300.8 + f. Which is smaller: -4 or d?
-4
Let h = 155 - 269. Let m = h + 113. Are 2/215 and m unequal?
True
Let y be (10*((-279)/(-94) + -3))/((-459)/(-3060)). Is y >= -2?
False
Let j = -0.3 - -0.1. Let s = -486.5479 + -0.0521. Let b = s + 485. Which is greater: j or b?
j
Suppose 4*c - 3*i - 34 = 0, 24 = 3*c + i - 4*i. Is 2 bigger than c?
False
Let g(m) = -m**3 + 5*m**2 + 11*m - 16. Let u be g(6). Let v = 15 - u. Which is bigger: v or 4/11?
v
Let k(t) = 11*t - 1013*t**3 + 6*t**2 + 3 - 5*t + 1014*t**3. Let q be k(-5). Let s be q/(4/8*4). Which is smaller: 4.9 or s?
s
Let t = -6/31 + -109/558. Is 4 equal to t?
False
Let v(f) = -2*f - 24. Let j be v(-11). Let l be (2*j/32)/((-1)/(-2)). Let s be (-122)/20 - (-6)/10. Which is greater: l or s?
l
Let a = -37608 - -2971034/79. Let d = -3 - -3.4. Which is smaller: d or a?
a
Let k = -3/1697 - 677/576980. Is 1 at most k?
False
Let c = 212546/7 - 30364. Is -4683 smaller than c?
True
Let l = 3581 - 3833. Which is smaller: -8 or l?
l
Suppose 0 = -3*x + 4*p + 64, 2*x - 22 = 2*p + 24. Suppose 17*f - x = -11. Which is smaller: f or -2/621?
-2/621
Let s(l) = -3*l + 13. Let y be s(3). Suppose -2*d = -3*d - 2*w - y, -4*d - 3*w = 36. Is d > -12?
False
Let j(w) = -w**3 + 11*w**2 - 10*w. Let o be j(10). Suppose 0 = q - o*a - 5*a - 40, -5*q + 144 = 3*a. Let c = q + -19. Is c equal to 9?
False
Suppose -3*d - 21 = -447*n + 450*n, -d + 2*n = -14. Which is greater: d or -19/30?
d
Suppose -3*z + 33 = 2*q, -3*q - 5*z - 120 = -8*q. Let d be 68/(-12)*(-3 + q). Are -104 and d equal?
False
Let x = 6114.6 + -6114.5. Let v = -1.2 - -6.2. Is x less than v?
True
Let h be 5*(-1 + 10)/((-18605)/(-427)). Is 2 greater than or equal to h?
True
Let h(y) = 2*y**2 - 21*y - 11. Let t be h(11). Let z = -173 - -221. Let n = z + -63. Is n > t?
False
Suppose 2*l - 730 + 756 = 0. Which is bigger: -6 or l?
-6
Let n = -11707 - -11706. Which is smaller: 17723 or n?
n
Let g(k) = -k + 36. Let f be g(0). Let c be f/84 - (-1524)/(-21). Let u = 70 + c. Which is smaller: u or 0.1?
u
Let h(m) = -m**2 - 6*m - 11. Let x be h(-10). Let f = -6785/3 + 2209. Let r = f - x. Which is smaller: r or -1?
r
Suppose 2*k - 4 = -4*r, 2*k + 4 - 20 = 2*r. Suppose p - k = -p. Suppose p*g = -1 + 124. Is g at least as big as 40?
True
Let y(k) = -k**3 - 5*k**2 + 6. Let u be y(-5). Let r be (u/36)/((20/(-6))/(-5)). Do -0.46 and r have the same value?
False
Let a = 410 + -338. Let n be 4/3*a/(-16). Let u = 1681/15 + -356/3. Which is smaller: n or u?
u
Let o = -73469 - -73470. Let f = -1966/3 + 233956/357. Which is smaller: f or o?
f
Let c = 113.91 - 19.81. Let m = -93.947 - 0.053. Let z = c + m. Which is bigger: 53 or z?
53
Let t(f) be the second derivative of f**3/6 - 9*f**2/2 + 11*f. Let a be t(10). Which is smaller: 3 or a?
a
Let f = 88 - 220. Let n = f + 254. Is 122 at least n?
True
Let x = 25842/287 + -632/7. Suppose -5093*y = -5113*y. Which is greater: x or y?
y
Suppose 317*u = 313*u - 232. Let y = u - -60. Let n be 2 + (4 - (-1 - -2)). Is y less than n?
True
Let z(p) = p**3 - 7*p**2 + 6*p + 5. Let f be z(5). Suppose 94*q + 159 - 431 = 292. Let u be 0/(q/10 + 39/f). Which is greater: 2/13 or u?
2/13
Let o(u) = 21*u + 2. Let g be o(-4). Let m = g - -41. Let l be (0 - 1) + m*(-5)/200. Are l and 0 nonequal?
True
Let o(w) = 41*w + 379. Let x be o(-9). Which is greater: x or 250?
250
Suppose 6*m = 5*m + 40. Let o be ((3/4)/(-3))/((-25)/m). Are 28 and o equal?
False
Suppose 36 = -4*u - 29*n + 31*n, 2*n + 54 = -5*u. Let o(b) = b**3 + 9*b**2 - 5*b + 46. Let i be o(u). Is -17 bigger than i?
False
Let x(z) = -15*z - 2*z**2 + 33*z + z**2. Let t be x(14). Suppose -t = -9*b + 13*b. Is b less than or equal to -13?
True
Let d = 90/217 + -4/31. Let s = -109 - -45. Let o = s + 69. Is o > d?
True
Let t = -6871 + 4315. Is t equal to -2557?
False
Suppose -5*n - 14 - 78 = 18*n. Which is smaller: -143 or n?
-143
Let n(b) be the first derivative of 5*b**2/2 - 20*b - 15. Let y be n(-8). Which is greater: -59 or y?
-59
Let s = -21 + 3. Suppose -x - 12 + 11 = 9. Which is bigger: x or s?
x
Let x be 15/6 - (-2 + (-5)/(-2)). Suppose 26 = -2*r - 4*b, -3*b - 4 = -2*b. Which is bigger: x or r?
x
Let t be (1960/(-50))/7*(-13 + 3). Which is bigger: 46 or t?
t
Let l be 3*(-186)/10692 + 38/627. Is l greater than -1?
True
Let f be ((182/(-156))/(2/(-40)))/(1/3). Is f less than 88?
True
Suppose -3*t - 672 = -3*o, -5*o + 484 = -t - 620. Suppose 6*n + 88 - o = 0. Which is smaller: n or 0.3?
0.3
Let y = 627.8 - 626.8. Let k be (-2)/(-12)*(3 + 2). Which is smaller: y or k?
k
Let c = 2.736 + 4.219. Let z = -0.045 - c. Let r be ((-12)/9)/(0 - 2). Which is smaller: r or z?
z
Let u = 16466 + -16467. Which is greater: u or 34.47?
34.47
Suppose -84 = 2*t + 4*x - x, t + 35 = 2*x. Let n = -204.342 + 204. Let a = n + 0.242. Which is smaller: a or t?
t
Let q be 9/15*68675/15. Which is smaller: q or 2745?
2745
Let y be 60/(-14)*(7 - 3 - -31). Let q = y - -152. Which is smaller: q or -0.048?
-0.048
Let s = 154 - 150. Let a be (s - 0)*((-54)/(-2256))/(-3). Which is smaller: 1 or a?
a
Suppose -45 + 0 + 23 = -22*o. Are o and 1/21177 non-equal?
True
Let w(d) = -d**3 - 29*d**2 - 30*d - 39. Suppose 3*z + 3*x + 75 = 0, x - 4*x = -4*z - 121. Let u be w(z). Which is bigger: u or 15?
u
Let b be (-3055140)/446264 + 8/(-52) - -7. Which is smaller: b or -1?
-1
Let w = 52 + -17. Let l = 489 + -521. Let g = w + l. Which is greater: g or -15?
g
Let l = 325 + -232. Suppose 60*t = 63*t - l. Is 29 less than or equal to t?
