ppose 0 = -2*t + 3*t + 4. Let i be (4/(-5))/(5/(-25)). Let q be 28/35 + (-24)/i. Which is bigger: t or q?
t
Let t = 53061 - 155431/3. Which is smaller: 1250 or t?
1250
Suppose 2 = -2*r, 3*u - 2*r + 1346 = 2*u. Which is bigger: -1347 or u?
-1347
Let t(p) = -17 - 14 + 4531*p - 17 - 4530*p + 7. Let f(j) = -j**2 + 9*j - 8. Let c be f(6). Let n be t(c). Which is bigger: -33 or n?
n
Let l be 2313/(-12) + (-1)/4. Let k(q) = -5*q**2 + 695*q - 3541. Let w be k(134). Which is smaller: w or l?
l
Let s(i) = -16*i - 108. Let x be (5/(-40) - 0) + 555/(-40). Let m be s(x). Is m at most 118?
True
Let u be 45/(-12)*((-4529)/1512 - -3). Is -1 less than u?
True
Suppose 0 = -10*z + 11*z. Suppose z = 118*w - 119*w - 8. Suppose 5*j + 0 = -5, -26 = 5*g - 4*j. Which is bigger: w or g?
g
Suppose 42 = 18*f - 12*f. Let s be (56/36)/f + 2/(-9). Let b be ((-1)/(-13))/(4 - 1). Is s greater than or equal to b?
False
Let k(w) = -w**2 - 17*w - 12. Let o be k(-16). Suppose -5*p - 5*r = -40, -8 = o*r + 8. Let y = 16 - p. Are y and 2 nonequal?
True
Let m be -3*(-36)/26 + 2/(-13). Let y be (-6)/m*-1*(-284)/6. Which is smaller: -70 or y?
y
Let t be 4212/(-23868) + 1550/306. Suppose 0*n + 7 = 2*n + 5*s, 2*n - 17 = 5*s. Is t smaller than n?
True
Suppose -2*d - 21 + 3 = 0. Suppose -2*v - 4*z = -10, 34*v + z + 15 = 31*v. Is d < v?
True
Let n = -0.933 - -0.733. Is n not equal to 6291?
True
Suppose 0 = 5*n + 2*c - 2618, -n - 11*c = -9*c - 522. Suppose 3*j = -x + 6*j - 252, 0 = 2*x - j + n. Which is greater: x or -263?
-263
Let l = -4.31 - -3.923. Let r = l + 2.387. Which is bigger: -99 or r?
r
Let i = -847/2080 + 3/416. Let l = 2 + 4. Suppose l*f = 4*f - 30. Which is smaller: f or i?
f
Let p = -110163 - -4846945/44. Which is bigger: p or -4?
-4
Suppose 3*w - 4*w = 4*q - 261, -536 = -2*w - q. Let s = -269 + w. Is 1/401 at least s?
True
Let y = -21286 + 21285.8. Is -1647 >= y?
False
Let l(c) = -2*c + 11*c**3 + 4*c**2 - 11*c**3 - c**3 - 18 + 15. Let g = -7 + 10. Let s be l(g). Are 4/17 and s non-equal?
True
Let t be (-60)/75*(62/(-8) - 19/(-76)). Suppose -5*l = -l - 16. Suppose 4 = 6*m - l*m. Is t <= m?
False
Let p(y) = 13*y**2 + 2*y**3 + 3 + 8 - y**3 - 15*y**2 - 3*y. Let z be p(3). Is 11 >= z?
True
Let c be 14/(-4)*2*40. Let i be 36/(-30)*c/(-6). Is i less than or equal to -57?
False
Let t be 4/(-4 - -8) + -328. Let g = 306 + t. Suppose 0 = -b - 1 - 18. Is b > g?
True
Let a = -770 - -1457. Is 688 at least a?
True
Let u(q) be the first derivative of 2*q**3/3 - q**2/2 - q - 2. Let t be u(-1). Suppose -7521 + 7756 = -x + 48*x. Which is smaller: x or t?
t
Let y = 23873/19663 + 1/5618. Is 2 at most as big as y?
False
Suppose 5*w + 31 = 2*o, -2*w = 4*o - 5 + 3. Suppose -4*r = o*z + 20, -8*r + 3*r - 25 = 0. Let b be (z*(-3)/12)/(-3). Is b less than 0.3?
True
Let p = 27 + -15. Let w = -12 + p. Let i be ((-1)/2)/((-279)/12). Which is smaller: i or w?
w
Suppose 0 = 29*x + 28*x + 24*x. Is 1/2147 bigger than x?
True
Let o be (-2)/9 + 12160/15840. Let f = -16 + 11. Is f at least o?
False
Let m(g) = g**2 + 9*g - 10. Let j be m(-10). Suppose -29*p + 22*p - 1988 = j. Is p < -284?
False
Let d = -40.4 - -40.4. Let y be (((-2)/10)/(-1))/(-3 + 0). Which is greater: y or d?
d
Suppose 95*x + 241*x = 60*x + 1132704. Is x greater than 4106?
False
Suppose 380 = -v + 396. Which is smaller: v or 63?
v
Let s = -1.057 + -368.943. Which is smaller: 5 or s?
s
Let v be (20/80)/(2/4) + -4. Let c = 38/11 + v. Let u = -2 + 1. Which is bigger: c or u?
c
Suppose -4*l + 17*s - 15*s = -10, 3*s + 15 = 0. Which is greater: 1/1413 or l?
1/1413
Let p = 370.698 - 371. Let g = p + 0.102. Is -99 not equal to g?
True
Let v = -141273/7 - -20424. Let q be 243 - (-1*1 - -1). Let a = q - v. Which is smaller: a or 1/9?
1/9
Let m be (-60 - 43)*(-2)/(-52)*(1 - 77). Is 302 greater than or equal to m?
True
Suppose 14*p - 137*p = -2*p - 363. Let v(q) = -36*q + 3. Let y be v(2). Let b be y/(-44) - 12/(-66). Is b less than or equal to p?
True
Let p be (956/(-192) - -5)*317. Let j = -53/8 + p. Is j bigger than -1?
True
Let t be ((4 - 6) + 3)/(3786/(-630) - -6). Is t not equal to -103?
True
Suppose 43 = -2*q + 37, 0 = -g + 2*q + 1020. Is 1014 greater than g?
False
Suppose 3*s - 5*o = 22 + 5, s + 11 = -5*o. Let z be (2 - 22)/(2/s). Let x = z + 41. Which is smaller: 32 or x?
x
Let m = -0.024 + -0.023. Let a = 469.397 + -469. Let j = a + m. Is -1/3 smaller than j?
True
Suppose -b + f - 39 = 0, -47 + 152 = -3*b - 3*f. Which is greater: -29 or b?
-29
Let g = 2984 - 2994. Is -37 greater than or equal to g?
False
Suppose 9*v = 27*v - 2718. Let p = 115 - v. Which is smaller: p or -40?
-40
Suppose 4*c + 256 + 200 = 0. Let h = -88 - c. Is h less than or equal to 19?
False
Let h be 3 - 1/(9/1656). Which is smaller: h or -4?
h
Suppose 8*o - 44 = -3*o. Suppose -n - o*i + 498 = 2*n, 865 = 5*n - 5*i. Let w be (2/10)/(n/25). Which is smaller: 0 or w?
0
Let u be 1/(-4) - (-17331)/(-212). Let g = u - -78. Is 0.8 > g?
True
Suppose -1075 = -2*o - o + 4*h, 5*h = o - 362. Let s = 33575 - 33217. Is s greater than o?
True
Let v = -85 - -90. Suppose 320 - 75 = -v*o. Which is bigger: 1 or o?
1
Let o = -2800 - -2800. Is o less than 75/682?
True
Let w = 1559 + -1490. Is 1/2 less than or equal to w?
True
Let k = 58.8 - 68. Let o = k - -9.3. Let f = -18 - -10. Is o greater than or equal to f?
True
Let b(w) = 9*w**2 + 11*w - 25. Let n be b(3). Let d = n + -97. Let o be d/6*(-5)/(-10). Which is smaller: -1.8 or o?
-1.8
Let t(x) be the first derivative of -21/2*x**2 + 1/4*x**4 - 17 + x**3 + 16*x. Let p be t(-7). Do -31 and p have the same value?
False
Let z be (349/5 + -3)/((-11890)/725). Which is bigger: z or -3?
-3
Let r = 402.942 - 0.942. Let z = -402.4 + r. Which is bigger: z or -0.5?
z
Suppose -2986*s = -2977*s - 117. Is s > -3?
True
Let f = 334 + -322. Suppose 12*w + 0 + f = 0. Is w not equal to -3/17?
True
Suppose 0 = -5*a + 1 - 1. Suppose -3*h - 2*o + 269 = 0, a = h + 2*h + o - 265. Let z be 7/2*(-3 - h/(-21)). Is z greater than 3?
True
Let i be (13/(-52))/(0 - 20). Let q(l) = -l**3 - 7*l**2 + 4. Let j be q(-7). Let c be (-2)/4*j/2. Which is smaller: c or i?
c
Let n = -2.07 - -3.8. Let k = -972.17 - -982. Let r = k - n. Which is smaller: 0 or r?
0
Let z(q) = -q**3 + 5*q**2 - 19*q + 59. Let w be z(4). Let j be 16/20*(-5)/(-778). Is w greater than j?
False
Let y(s) = s**2 + 76*s - 1692. Let o be y(-94). Which is smaller: o or 32/77?
o
Let d be -26*1/1 - 1. Let g be (d/6)/(105/40 + -3). Let u(z) = -z. Let o be u(1). Is o < g?
True
Let b(w) = -25*w**2 + 86*w - 678. Let m be b(9). Which is smaller: 0.3 or m?
m
Suppose -s = 4*n - 4, 4*n + n - 5 = -2*s. Let r = 398 + -377. Suppose -f + 2*f - r = -5*j, -5*f + 2*j = 3. Is s equal to f?
False
Let x = -35213/9 - -30679/18. Suppose -28*n + 2214 = -29*n. Let i = n - x. Is -7 less than i?
True
Let b = -433/2 + 224. Suppose -a + d = 2*d - 2, 0 = -a + 2*d + 2. Suppose 41 - 23 = a*v. Which is bigger: b or v?
v
Let n = 56 + 87. Let s = n + -188. Suppose 0*k + 3*r + 105 = -2*k, 15 = -3*r. Are k and s equal?
True
Let z = 0.9253 - 0.965. Let r = z - -0.2297. Which is greater: -2 or r?
r
Let j = -477 - -479. Let b be j/2 + -4 + (-8)/(-2). Let k = 21/170 + -8/51. Is k smaller than b?
True
Let n = 24595 - 24594.7677. Is n < -1?
False
Let f(c) = c**2 + 2*c - 9. Let w be f(2). Which is smaller: -1/124 or w?
w
Let o = 8887 - 44433/5. Is 2574 < o?
False
Let v(d) = d**2 - 4*d - 4. Let r be v(5). Let y = 516.5 + -514.7. Is y greater than r?
True
Suppose -16*r = 2976 + 1168. Let c = 246 + r. Which is bigger: c or -99/7?
c
Suppose h + 4*i - 8 = 5*h, h = -4*i - 12. Let x(d) = d**2 - 1. Let m(l) = 2*l**2 - 9*l - 4. Let r(g) = -m(g) + 4*x(g). Let p be r(h). Are p and 1/4 unequal?
True
Suppose 5*t + 5*q - q = -2688, 5*q = 4*t + 2175. Suppose 1632 = -3*k - 4*g, 3*g - 2151 = -10*k + 14*k. Do t and k have different values?
False
Suppose 4*t - 3996 = -4*b, -5*t - 17*b = -15*b - 5019. Is t less than 1020?
True
Suppose c + 2*v = -2*v - 962, 4*v = 3*c + 2870. Is c > -959?
True
Let v be (1062/(-135)*2)/(-2*(-6)/20). Is -25 at most as big as v?
False
Suppose -5*b + 422 = -5*c + 32, 2*c - 4 = 0. Suppose 92 = 4*d + a, 6*a = 4*d + 4*a - b. Let n = -41/2 + d. Which is smaller: -4 or n?
-4
Let u(g) = g**3 - 35*g**2 - 24*g - 1850. Let k be u(37). Do 61/85 and k have t