pose -11*l + 2*w + 3166 = 0, -9*l = -12*l + 2*w + 862. Is 289 != l?
True
Let l(y) = 100*y - 56. Let p be l(13). Which is greater: 1245 or p?
1245
Let t be (2 - -2)*(44/66 - (-35)/(-48)). Is 0.07535 greater than or equal to t?
True
Let k be 8*3*(-18)/(-24). Let p = k - 18. Suppose 5*a - 25 = -p*a. Which is smaller: a or 1?
1
Suppose 5*q = 157 + 8. Let w = q + 17. Is w at most 50?
True
Suppose 0 = -4*g, 5*f - 9*f - 28 = -g. Let x be (5 + -12 - f)/(3 + 1). Which is bigger: 1/155 or x?
1/155
Suppose -3*u - 1 = 23. Suppose 0*f - 4*f + d = 5, -4*d - 6 = -3*f. Let i be -8 + (-5 - f - -5). Is u smaller than i?
True
Suppose 14*f - 6*f + 224 = 10*f - 5*l, 0 = -2*l. Which is greater: f or -16?
f
Suppose -2*x - x - 45 = 0. Let j be x - -15 - 28/(-18). Let k = 10/63 + j. Do 2 and k have different values?
True
Let k = -0.31 - -20.01. Let b = 33.7 - k. Which is bigger: 0 or b?
b
Let j = -40.01 - -39.01. Which is greater: 7358 or j?
7358
Suppose 0 = -5*u - 14 + 4. Let t = 5124627/13 + -393492. Let s = t - 711. Is s greater than or equal to u?
True
Let j = 1.9 - -5.1. Let d = -6 + j. Which is bigger: d or -3.6?
d
Let k = -168 - 300. Let i = k - -461. Which is smaller: i or -0.08?
i
Let b = 357 + -357.345. Let g = b + 16.345. Which is bigger: g or -2/7?
g
Let d be (625/36)/(-5) - -11*(-25)/(-825). Is d <= -3?
True
Let r = -104685831/1675 + 62499. Which is greater: 1 or r?
1
Let r(x) = -x + 1. Let k be r(3). Let o(i) be the second derivative of -i**3/6 - 3*i**2/2 + 252*i. Let u be o(k). Is 5 != u?
True
Let c(t) = 177*t + 14377. Let r be c(-76). Does r = 1/12?
False
Let n = 1731 + -1733. Which is smaller: n or -2/577?
n
Let j = 12995638/425 + -30578. Which is bigger: 0 or j?
0
Suppose -5*h + 10 = -15. Suppose 3 = -2*p + k, -5*k + 5 + h = -5*p. Is p != -29.9?
True
Let w = 0.4842 + -0.4442. Are -48 and w equal?
False
Let j = -1091/37 - -1510129/51208. Which is smaller: j or 1?
j
Suppose 0 = -4*y - j + 9 - 22, -2*y = 2*j + 14. Let p be 2 + y - (-5 - 152/(-22)). Are p and -3 equal?
False
Suppose 18 + 190 = 13*o. Suppose 0 = -b + o*b - 135. Which is greater: b or 16?
16
Let u = 36 - -65. Suppose 6*k = 139 + u. Is 38 <= k?
True
Let x = -211119/290 + 728. Let r = -1084 + 1083. Is x greater than r?
True
Let m = 599777131/816690 + 1/163338. Does m = 733?
False
Let p(k) = -9*k + 4*k - 6*k - 22*k**2 - 66 - 14*k - 2*k**3 + k**3. Let f be p(-21). Which is greater: f or -11?
f
Let x = -138 + 107365/778. Which is bigger: 0 or x?
x
Suppose -3*u - 3095 = -4*u - 769. Is 2323 bigger than u?
False
Let y be (3 - (-764070448)/4774) + 4/14. Let u = -1734924/11 + y. Let t = 2331 - u. Which is bigger: t or 0?
0
Let b be 2/((-3880)/140 + 28 - 20/21). Let i be (14/8)/((-2)/64). Is b at most i?
False
Let s(z) = 2*z**3 + 117*z**2 + 1150*z + 43. Let x be s(-46). Which is bigger: 59 or x?
59
Let d be (-16)/40 - 82/(-255). Let w = 1 + -1. Which is greater: w or d?
w
Let n be -1*((9 - 10) + (-8)/(-1)). Let x be ((-2)/n)/(786/84). Which is smaller: 1 or x?
x
Suppose -29*s + 11*s + 2628 = 0. Let v = s + -75. Which is greater: v or 70?
v
Let d = 11857.13 - 11860. Which is smaller: d or -2/39?
d
Suppose -16 = -3*j - j. Suppose 5*z - 19 = -5*o + 91, -j*o - 3*z = -88. Suppose -o*b = -17*b + 20. Is b >= -4?
True
Let d be -16 + 22 + 97/1. Let r be (-12)/(-24) + 18/4. Suppose -r*h - d = -18. Is h >= -17?
True
Let g(y) = 9*y + 1470. Let m be g(58). Is 1991 <= m?
True
Suppose -x + 16 = -5*x. Let r be 10/20 + (-54)/x. Suppose 3*o - 4*y - 13 = 0, -3*o - 3*y - 5 = -53. Which is smaller: o or r?
o
Let z(v) = 118*v - 11556. Let k be z(98). Is k < 7?
False
Suppose 2091 = -3*f + 4*y, -2*y + 10 = 4. Does -693 = f?
True
Let b be (-304 - -1)*14/721 + 280/40. Is 0 <= b?
True
Let n = -101 + 327. Suppose -6*d = n - 598. Is 65 at least d?
True
Let t be 588/12 - (-5 + -1)/(-2). Let v = 150002/3237 - 7/1079. Let q = t - v. Which is smaller: 6/11 or q?
q
Let k = 31225 - 40730. Which is smaller: -19007/2 or k?
k
Let j = -15845 - -20049. Is j equal to 4203?
False
Let o = -5085/1364 + 147/44. Suppose 0 = 116*c - 38*c + 28*c + 26*c. Is c <= o?
False
Let n(m) = -m**3 - m. Let r = -20 - -22. Suppose -2*t + 8 = -r*f + 2*t, 5*f - 5*t = -15. Let h be n(f). Which is smaller: 11 or h?
h
Let j be (-1419)/(-7) + (-333)/(-259). Which is smaller: 1219/6 or j?
1219/6
Let f(y) = y**2 + 9*y - 3. Let r(p) = -p - 2. Let q(g) = f(g) - 2*r(g). Let o be q(-12). Which is smaller: o or 9?
9
Suppose -13*j = -11*j - 10. Suppose -x - 5*o = -4 - 4, j*o = 15. Is -6 greater than or equal to x?
True
Let o = 5 + 0. Suppose 26 = -o*z + 111. Let d(r) = -r**2 - 7*r + 10. Let c be d(-6). Are c and z equal?
False
Let y = 84 - 33. Let x be 5/(1/((-144)/(-20))). Suppose 1761 = x*n - 111. Is n less than y?
False
Let g = 511/4070 - -2/185. Let z = 7/66 - g. Let r = -1 + 1. Which is smaller: r or z?
z
Let h(w) = -5*w - 2. Let g(x) = -6*x - 1. Let t(y) = 4*g(y) - 6*h(y). Let k be t(-1). Let p be 5 - (k + 2) - 0. Is 3/2 at most as big as p?
False
Let y = 477.3 + -477. Let s = 1001 - 3001/3. Which is smaller: y or s?
y
Suppose 0 = -4*s + n + 95, 12*s = 11*s + 4*n + 20. Let y be 4 + (0 - -4) + 16. Is s >= y?
True
Let b be -2 - (-3 + -1)*(-1986)/(-3966). Let w = 5887/20491 + b. Is 1 < w?
False
Suppose 24 = -0*m + m. Suppose 0 = -4*v + 5*i + m, 0 = 4*v - 3*i + i - 24. Suppose v = -3*q + 3*b - 0, 0 = -3*q + b - 4. Is q greater than or equal to -10/13?
False
Suppose -5*f - 738 = 82. Let o = 163 + f. Which is bigger: -1/218 or o?
-1/218
Let l be 65*-8*18/(-15). Suppose 51*a + l = 59*a. Let g be (a/9 - 2) + (-6)/36. Is g >= 7?
False
Let l be 2*(1 - (-3)/(-6)). Let q = 1183/1341 - -1/149. Let p = q + 23/18. Are l and p equal?
False
Suppose 3*n - 11859 = -5*d, -10*n + 4744 = 2*d - 9*n. Which is smaller: d or 2372?
2372
Let h = 325 + -146. Let d = h + -173. Which is greater: -14 or d?
d
Suppose h = 3*l - 117, -6*h - 3*l + 321 = -9*h. Let m = h - -103. Is m > 25?
False
Let m(b) = 5*b**3 - 6*b**2 + 2*b - 5. Let c be m(3). Suppose 5*t = -5*p + 1013 + c, -2*t + 432 = -4*p. Which is smaller: 220 or t?
t
Let k = 21958 + -21947. Which is bigger: k or 42?
42
Let w(h) = h**2 - 2*h - 14. Let k be 0/(-2) - (1 + (0 - -2)). Let o be w(k). Suppose 28*v - o = 29*v. Which is smaller: v or -7/8?
v
Let d be (-24)/(-30) - (-196)/5. Suppose 0 = 2*m - 4*a - 10, 5*m + 15 = a + d. Let b be m*20/25 - (1 - -1). Which is bigger: 18/11 or b?
b
Suppose 6 = 4*n - 2*n - 4*y, -y = -2*n. Suppose -10*o - 45 = 165. Let z(j) = -3*j - 68. Let s be z(o). Is n greater than or equal to s?
True
Let w = 376 + -269. Suppose -3*p + 101 = -4*y - w, -p = -2*y - 66. Which is bigger: p or 75?
p
Let j = -285 + 173. Let s(k) = -2*k**3 + 8*k**2 + 6*k - 6. Let i be s(6). Is j > i?
True
Let c be 255/(-170)*17/3*4. Let w = -4 - -4.2. Does c = w?
False
Let l = 31.0213 + -0.7213. Which is greater: -8 or l?
l
Suppose -3*p + 2*g - 5 = 0, -5*g = 2*p - 6*g + 2. Is p at most 2/25041?
False
Let t = 6522461/25237431 - 3/65213. Let b = -8/43 - t. Let h be (-1)/2 + (-1)/2. Is b less than h?
False
Let k = 14807 + -7635. Which is smaller: k or 7173?
k
Suppose 16 = -36*k + 34*k + 3*j, 48 = 12*j. Is -0.8 at most k?
False
Let g = 345.1 + -340.1. Is g > 25/8?
True
Let m = 216/217 - 72790/73563. Is 16 at most m?
False
Let j(f) = 4*f**3 - 5*f**2 + f - 1. Let v be j(4). Let o(a) = -70*a + 3469. Let t be o(47). Is t greater than or equal to v?
True
Let b = -2.5281 - -0.5281. Is b >= -308/9?
True
Suppose -812*x - 993 = -815*x. Let o = 310 - x. Which is smaller: o or -29?
-29
Let w = 5 - 8. Let i(x) = -28 + 11 - 2*x + 15. Let k be i(3). Is w less than k?
False
Let z = 61/1648 + 8947343/1648. Is 5429 smaller than z?
True
Let m(i) = 26*i + 660. Let a be m(-25). Which is smaller: a or 133/12?
a
Let s = -311 + 289. Let q be 32/(-12) + 4 + s/3. Which is greater: -25 or q?
q
Let o(f) = -2*f - 40. Let j be o(-6). Let y = 57/2 + j. Are y and -93 equal?
False
Let t be (1 + (-52)/60)/((-177)/9). Let n = t + 303/1180. Which is smaller: n or -0.039?
-0.039
Let a = -64 - -2628/41. Let t be 0 - ((-1023)/(-861) + -1). Let q = t - a. Is 26 at most as big as q?
False
Let x(b) = 96*b + 12803. Let l be x(-138). Which is greater: l or -468?
l
Suppose 0 = 3*j - 20*a + 25*a - 13, 3*a - 31 = 4*j. Let s(y) = -6*y**2 - 18*y - 84. Let h be s(j). Do h and -1 have different 