ch is greater: t or w?
t
Let l = -244.2 + 244. Let p = 211 + -276. Which is smaller: l or p?
p
Let x be -1 - -2 - (-1)/(-1). Let g = x + 5. Let w be -6*(-13)/(-390)*-24. Which is bigger: w or g?
g
Let w be (-18)/(-1800)*-10 - 3/18. Do 0.124 and w have different values?
True
Suppose a - 6*a = 0. Let v be (a - -1) + 24*-3. Suppose -1798*u + 30317 = -2225*u. Is v at least as big as u?
True
Let j(d) = -41 + 7*d + 19*d**3 + 44 - 3*d. Let u be j(-1). Let q(s) = -6*s**2 + 4*s - 2. Let x be q(2). Is u at least as big as x?
False
Let h be 2 + -4 + (-1032)/(-514). Suppose -49*m + 9 = 58. Is h at least m?
True
Let j = 177 - 169. Suppose 4 = -j*x + 4*x. Which is greater: x or 6/107?
6/107
Let o(w) = -w**2 + 11*w - 6. Let g be o(10). Let s be 6/(-3)*-4*g. Which is greater: 37 or s?
37
Let p = 269 - -346. Let z = 644 - p. Is z > 7?
True
Let z be 657/225 + (-4)/(-50). Let t be (-30)/(-5) - (z + 3). Which is smaller: -1/537 or t?
-1/537
Suppose 0 = -17*d + 23*d - 144. Suppose -3*t + 0*t + 3*k = d, 0 = 5*k - 5. Let i be t/(154/24) + 0. Which is smaller: i or 0?
i
Let x be (-2)/(-9) + 4311/243*-3. Let j = -51 - x. Suppose -11 = -2*b + 3*v, 4*v + 8 = -4. Is b >= j?
False
Let p be 0 + (-9511)/4 - (-231)/132. Do p and -2375 have different values?
True
Suppose 14 + 10 = -4*l + 2*b, 3*l = -4*b + 4. Let x(v) = -46*v + 102. Let k be x(25). Let w be l + (k/(-260) - 0). Is -1 bigger than w?
False
Let g = 168 + -169. Let u be g*(-62)/(-10)*5. Do u and -29 have the same value?
False
Let g(u) = -u**3 + 9*u**2 + 35*u + 6. Let o be g(5). Is o >= 281?
True
Suppose 10*q + 55 = 21*q. Suppose -q*j = -26 + 51. Which is smaller: j or -37/10?
j
Let m = 16419 + -16411.387. Are m and -0.1 non-equal?
True
Let u(o) = 1. Let x(t) = t. Let l(y) = 10*u(y) - 2*x(y). Let a be l(0). Let h = 194 - 194. Which is smaller: a or h?
h
Let m = 89649/4 + -990999/44. Let a = 21485/198 + m. Which is greater: a or -2?
a
Suppose -463 = -3*k + 2*u + 29, 4*u = -5*k + 820. Suppose 5*y = -w + 41, 0 = -w + 5*w - y - k. Let n = w + -36. Which is bigger: 7 or n?
7
Suppose 20*i = 21*i - 10. Suppose -i*f - 15 = 75. Let k be 3 + (-12)/f - 3/1. Which is bigger: 1 or k?
k
Suppose 2 + 0 = -2*h. Suppose 13*f - 11 - 15 = 0. Suppose 18 = f*z - 5*y, -8 = 5*y + 12. Is z less than h?
False
Let l = 3 - -7. Let p = l + -9. Let x = 485/21 - 23. Which is smaller: x or p?
x
Let h = -545.6 - -499. Let p = h - -46.4. Let x = -11 + 5. Which is bigger: p or x?
p
Suppose 264 - 24 = -240*b + 260*b. Is b less than or equal to 0?
False
Let r = 2.02 + -59.22. Is -2/7 < r?
False
Let x be (-38)/14 + 3 + (-47)/(-7). Suppose 4*k = 13 + x. Suppose n - q + 2 = 0, n + 3*q - k*q - 1 = 0. Are -3 and n unequal?
True
Let y be ((-1)/(-5))/(53/16006). Which is smaller: 61 or y?
y
Let j(a) = a**2 + 8*a. Let n be j(-8). Let z = 107606/9 - 11956. Which is bigger: n or z?
z
Let f(a) = -14*a**2 - 5*a - 22. Let w be f(-10). Let j be (-1 - (-27)/45) + w/(-5). Is 273 > j?
False
Let u(p) = p**2 - 9*p + 25. Let w be u(6). Suppose 0 = -w*o + 25*o - 2502. Which is smaller: o or 140?
o
Let h = -62 + 72. Suppose -q - 396 = h*q. Let s be 0 - -2*q/(-8). Which is smaller: 4 or s?
4
Let j = 0.14 - 0.13. Let h(w) = -w**3 + 4*w**2 - w + 4. Let x be h(4). Is j less than x?
False
Let t(d) = 16*d**2 + 53*d + 1241. Let p be t(-24). Do 9184 and p have the same value?
False
Let b = 195537/6935 + 6/1387. Suppose -16 = 4*r, -3*r + r - 143 = -5*w. Which is smaller: w or b?
w
Let p be 2/12 - (-4)/(-6). Let l be 813/(-11)*292/(-2847). Let f = 80/11 - l. Is p greater than or equal to f?
False
Let v = -1.3726 - -1.4826. Which is smaller: 0.328 or v?
v
Let i(a) be the third derivative of a**5/30 + 19*a**4/12 - 41*a**3/6 + 3*a**2 + 12*a. Let d be i(-20). Is d at most -1/175?
True
Let y(b) = b**3 - b**2 + 4. Let t = -54 + 56. Let w be y(t). Suppose 7*v + 19 - 5 = 0. Which is smaller: v or w?
v
Suppose 1508*l = 1462*l - 46. Is 1/876 != l?
True
Suppose -25*d - 32148 - 47593 = -2*d. Is -3467 greater than d?
False
Suppose -15 + 25 = -17*a + 10. Is 1/779 at least as big as a?
True
Let b be (-16)/(-24) - 514/6. Let x = b + 70. Let u be 5 - 5/x*3. Is u < -1?
False
Let d = 71 + -30. Let x = 1724 - 1764.66. Let w = d + x. Which is bigger: w or 1?
1
Suppose 0 = 5*k - 8 - 42. Suppose -k*f - 4*f + 196 = 0. Is f less than 43/3?
True
Let x be (-698)/(((-8)/18)/(54/243)). Which is smaller: x or 361?
x
Let p = -17.09 - -4.09. Is -7.8 at least as big as p?
True
Suppose -i = 4*s + 29, 38 = i - 3*i - 4*s. Let z = i + 11. Suppose 0 = 2*b - 4*x + 6 + 2, 8 = z*b + 4*x. Which is greater: 1/34 or b?
1/34
Let n be 252/5 - (-60)/90*(-12)/20. Which is smaller: 38 or n?
38
Let t = 2.05 + -1.75. Is t at least as big as -253?
True
Let w(f) = -f**2 + 13*f - 15. Let r be w(11). Suppose -1323 = 2*q + r*q. Let n = -1319/9 - q. Is n at least -0.3?
True
Let r = -2546 + 2665. Is r less than or equal to 5?
False
Suppose -9*o + 8*o + 1500 = 0. Which is smaller: o or 1501?
o
Let s = -4730.4 - -4730. Let c = -3 + 2.1. Which is greater: c or s?
s
Let c = -91853/28 + 4982/7. Which is bigger: c or -2568?
-2568
Let g be 0 + 829 + (2 + -17)/5. Let u = g + -4143/5. Which is smaller: u or -3?
-3
Let g = -259.65 - -256.65. Which is bigger: g or 1465?
1465
Let g = 50 - 48. Let r be (-58 - (3 - -1))/g. Let s(y) = -5*y**2 - 4*y + 1. Let b be s(-3). Which is greater: r or b?
r
Suppose 1 = -3*k - 444*r + 445*r, 5*k = 2*r - 2. Which is smaller: -4/33 or k?
-4/33
Let w(y) = 38*y - 36. Let x be w(-7). Let c = -195 - x. Which is bigger: c or 108?
108
Suppose 0 = -4*g - 2*i + 7442, 0 = -3*g - 235*i + 237*i + 5571. Is g smaller than 1859?
False
Suppose 3*m - 5 = -2*q, -q - 129 = 3*m - 130. Which is smaller: -226/191 or m?
-226/191
Let n = 640 - 1011. Is n at most 0?
True
Suppose 5*l - 2*z = -1, z = 4*l - 3*z - 4. Let f = -277 - -277. Let a be 2550/(-370) - (-7 - f). Which is greater: l or a?
a
Let v be ((-230)/(-4))/(3*26/(-372)). Let y = -274 - v. Which is greater: -1 or y?
y
Let n = -19759 - -27180. Is -2 < n?
True
Let n = -1919/30 + 334/5. Which is bigger: -12 or n?
n
Let j = -7997/2 - -4130. Let y = j + -131. Is 12/31 smaller than y?
True
Let i be (-6 - -239) + (-2)/(-1). Suppose 4*y + 2*h = -980, -2*y - 3*h = -y + i. Let n = y - -2713/11. Is 1 != n?
True
Let z = 771783/10 + -77280. Is -102 < z?
True
Let p = -542689/153 + 3547. Suppose 5*w - 7*q - 5 = -4*q, 0 = 2*q. Which is smaller: p or w?
p
Let c be -56*(-105)/8575*(0 + 14/4). Suppose 3*j = -j. Suppose j = -m - 1 + 4. Is m smaller than c?
False
Let d be ((-15)/(-18))/((-3)/(-18)). Let g = 10 - d. Suppose g*k - 12 = 4*s, 4*k - s + 1 = 4. Is 6/19 at most as big as k?
False
Let f = -13742 + 14995.7. Is 0 equal to f?
False
Let c = -1 + 0. Suppose 43*j = -145 - 332 - 39. Is c greater than or equal to j?
True
Let n = -625 - -1036. Suppose 0 = -9*u - 201 - n. Which is smaller: -69 or u?
-69
Let x(m) = m + 50. Let h(z) = z + 99. Let i(o) = 3*h(o) - 5*x(o). Let p be i(24). Let a = 62/27 + -4208/1809. Which is smaller: a or p?
p
Let t(r) = -2*r**2 + 14*r - 9. Let f be t(3). Suppose -3*v - 3*l - 747 = 0, 13*l = 3*v + f*l + 745. Is v less than -246?
True
Let w(s) = 4*s**2 - 5*s + 2. Let m be w(-6). Let a = 201 - m. Let l(f) = f**2 - 2*f + 2. Let y be l(6). Are y and a equal?
False
Let z = 860 + 212. Do z and 1073 have the same value?
False
Let n = -1324 + 1966. Let w = n + -4492/7. Which is smaller: w or -0.19?
-0.19
Let g(b) = -31*b**3 - b**2 - 2*b - 1. Let v be g(-1). Suppose -16*x = v*x + 94. Let i = -31/24 + 5/8. Which is smaller: x or i?
x
Suppose -42*h + u + 7 = -38*h, 5*h + 5*u = -10. Let z be 0 - -1464*(-708)/25707. Let k = -766/19 - z. Which is smaller: h or k?
k
Suppose 2*y + 5*s = 34, 384*s - 381*s = 18. Is y >= -622?
True
Suppose -5*y - r = 310, 0 = -y - 2*r + 33 - 95. Which is greater: -63 or y?
y
Let g be 7/(-3)*4400/70. Let v = 146 + g. Let t be (-6)/(-4) - (2 - 0). Which is greater: t or v?
t
Suppose -3*d = 5*p + 81, 71*p = 5*d + 66*p + 215. Which is bigger: d or -30?
-30
Let u(q) = -29*q - 47. Let o be u(-6). Suppose 2*m = -1 - 187. Let h = o + m. Are h and 32 equal?
False
Let t(p) = -p**2 - 4. Let c be t(-4). Suppose -5*f = 4*x - 35, -4*f + 6*f = -3*x + 21. Suppose -f*z = -32 + 35, 4*u = z - 79. Is u less than or equal to c?
True
Let l = 18707 - 18706.813. Which is bigger: 1