k(-9). Which is bigger: s or -474?
s
Let n = 11544 + -35090/3. Which is smaller: -154 or n?
-154
Suppose -7*f - 2 = -8*f - 2*i, -3*i = 0. Suppose 2*k = -k. Suppose k = 4*a - n, 0*n = 2*a - f*n. Is 2/63 at least as big as a?
True
Let c be 28078/(-505) + 26/10. Which is smaller: c or 121?
c
Let b = 60.116 - 0.116. Let i = -59.951 + b. Let r = -0.209 + i. Which is smaller: -1 or r?
-1
Let t be ((12/(-3495))/(-1))/((-2)/5). Let r be 3*(1 - 16/12)*-10. Suppose -r*n = -n. Are t and n unequal?
True
Let z = -943.963 + 938.07457. Let v = z + -0.05357. Let g = 0.058 - v. Which is smaller: g or -2?
-2
Let h = -184267 + 184130. Suppose r + 119 = 5*z, 3*r - 6*z + 2*z = -401. Is h at least r?
True
Let d(p) = 141*p - 2263. Let n be d(16). Let f(j) = j**3 - j - 2. Suppose -3*q = 15, -5*l = -3*q - 0*q - 5. Let h be f(l). Is h < n?
True
Let a be 2213/80*4465/(-1974). Let y = -438/7 - a. Is 1 less than y?
False
Suppose 6*n - 16 = -2*n. Suppose u + 4 = n*u. Suppose -2*k + p - u = 0, -k - 3*p + 0 = -5. Are 1/15 and k equal?
False
Let g(c) = -c**2 - 3*c + 129. Let a be g(0). Suppose 15*x + 36 + a = 0. Which is bigger: -10 or x?
-10
Suppose -15 = -0*v - 5*v. Suppose y = -2*x, 0*y + x + v = -2*y. Let d = -415 - -418. Is d equal to y?
False
Suppose -t - 3*g + 11225 = -9777, 0 = 2*g + 2. Which is bigger: 1 or t?
t
Let a = 9.79 - 1.09. Let g = -9 + a. Let h = 41 - 41. Which is smaller: h or g?
g
Let y = -9 - -14. Let x(z) = 3*z**3 + 7*z**2 - 11*z. Let d be x(2). Let s be ((-6)/d)/(1/(-10)). Are y and s equal?
False
Let p = -91 - -48. Let b = -43 - p. Let d = 12381/41 + -302. Is d < b?
True
Let z = 6 - 1. Suppose -4*q = 2*m - 6, 3*q - 1 = -z*m - 14. Let r be 1*3 + 6 + -6. Is q bigger than r?
True
Let o = 3275 + -4097. Is o smaller than -820?
True
Suppose 4*s = -5*c + 8*s + 1372, 4*c = -5*s + 1073. Suppose -3*g - c = 4*l - g, g - 347 = 5*l. Which is bigger: l or -70?
l
Let i be (-8)/6*12393/(-648). Which is bigger: 25 or i?
i
Let y(t) = t**2 + 10*t + 20. Let c be y(-9). Let k(l) = -4*l + 44. Let z(i) = 8*i - 88. Let b(v) = 5*k(v) + 2*z(v). Let j be b(c). Which is smaller: j or -1/51?
-1/51
Let l = -83 + 70. Which is smaller: 21 or l?
l
Let s(l) = l**2 - 16. Let p be s(5). Suppose -p*j = 3*j - 816. Which is smaller: 70 or j?
j
Let j = 336 + 111. Suppose -13*t + j + 151 = 0. Which is smaller: 49 or t?
t
Let d = 108523 - 135870805/1252. Is d bigger than 1?
False
Let c be 18/279 - 52262/(-62). Suppose -69*i + 560 = 2*o - 70*i, 3*i = 3*o - c. Are o and 279 unequal?
False
Suppose 24*c = 20*c + 4. Let z be (-884)/(-1470) - (-4)/(-7). Let n = -1/105 + z. Is n < c?
True
Let d(w) = w + 8. Suppose 13*h + 52 = 17*h. Let z be d(h). Suppose -2*p + p = -z. Is p less than 21?
False
Let i(m) = 22 + 19*m**2 - 17*m**3 + 35*m**2 - 33*m**2 + 21*m + 16*m**3. Let o be i(22). Is o less than or equal to -2/61?
False
Let v = -3.248 + 5.248. Suppose -2976 = -5*c + 8*c. Let w = c + 6933/7. Which is bigger: v or w?
v
Let k be (18/(-22) - -1) + 36204/(-2860). Let o = -62/5 - k. Which is greater: -1/3 or o?
o
Suppose 3*l + 20 = -2*n - 82, -169 = 5*l + 3*n. Let f = l - 7. Let o = -40 - f. Which is smaller: -6/11 or o?
o
Let i = 3220 + -3219. Is -2/393 less than i?
True
Let u = 108.353 - 1.353. Let c = 59 + -135. Let w = c + u. Does 1 = w?
False
Suppose 21*x - 510577 = 52*x + 48*x. Is x smaller than -6464?
False
Let w = -74 + 118. Let t = -23 - w. Let n = -65 - t. Is n smaller than -18?
False
Let u = 99 - 171. Let i = -60 - u. Let k = -17/3 - -113/21. Are k and i equal?
False
Let g = 3204316/324135 + -2/64827. Which is smaller: g or 9?
9
Let l = -3825 + 3770. Which is greater: l or 10?
10
Let p be -1 - (-3 + (0 - -3)). Suppose 3*o = 4 + 5. Let i be o/(207/264) - 4. Does p = i?
False
Let b be (7 - (-14)/(-2))*(-1)/(-3). Suppose 2*i + 4*q - 200 = b, 3*q - 297 = -16*i + 13*i. Which is smaller: i or 97?
97
Let r = 29357265133/744522075 - 420662/10701. Let m = r - 15/121. Which is greater: m or -1?
m
Let q = -16 - -38. Suppose q = -6*i - 98. Let t = -21 - i. Is t smaller than -18/13?
False
Suppose -122177*b - 54 = -122195*b. Which is bigger: -200.9 or b?
b
Let w be (-6)/(-4) - (-22)/(11132/52141). Which is smaller: 105 or w?
w
Let x = -2315 - -1874. Are x and -440 equal?
False
Suppose 0 = -4*m + 4*x - 19480, -x + 3*x = 6. Let w be (4/18)/(m/(-279)). Which is smaller: w or 0?
0
Let u be (-5*18/(-75))/(12/(-40)). Let k be 19/45 - (1 - u/(-5)). Is k smaller than 17?
True
Let f = -85.3 - -120.02. Let a = 0.72 - f. Let b = -34.2 - a. Do 3 and b have different values?
True
Let t be 11 - (1 - -8 - -2). Let m be (-5)/15 - 271/35. Let q = -57/7 - m. Are t and q unequal?
True
Suppose 2*v - 17 = 5*z, 5*v + 6*z + 16 = -z. Which is greater: 3/695 or v?
v
Suppose k = 2*k - w - 6, w = -4*k - 1. Let b = -7 - -8. Let f be (k + -7)*(b - 0). Which is greater: f or 0?
0
Suppose 3*g + 730 = -4*x, 497 = -2*g - 5*x + 15. Let a = -126 + -122. Is a bigger than g?
False
Let q be (16954/294)/(2/(-6)). Which is greater: q or 28?
28
Let z be (-1)/(-3)*(0 - 3). Let y(u) = -417*u - 446. Let k be y(-1). Which is smaller: k or z?
k
Let y = 1568/3 + -518. Let i(d) = 18*d + 94. Let h be i(-5). Which is greater: y or h?
y
Let o be (-8)/(-20) - 1756/(-30)*3. Let m = -703/4 + o. Is m < 10?
True
Let m = 29.9 + 1.1. Let a = 19 - m. Let v = 20 + a. Is 1/3 < v?
True
Let d = 9 + -15. Let j be -7*((-36)/(-14))/9. Let l be (5 + d - -4) + -2 + j. Is 2/85 <= l?
False
Let q be -7*(-2)/35 - 21449/6160. Let y = 1/112 - q. Which is bigger: 1 or y?
y
Let s be ((-8289)/(-1228))/(3/52). Which is smaller: 71 or s?
71
Let j be -7 - ((-1935)/(-50) - -4). Let d = -221/5 - j. Which is smaller: d or 6?
d
Suppose -48*d + 44*d + 144 = 0. Suppose -34*t + d*t = 454. Do t and 227 have different values?
False
Let q = 0.49 - 0.38. Let p = -1.49 - q. Let u = p + 1.5. Is u at most -5/2?
False
Let m = -86 - -54. Let b = -164 + m. Which is smaller: b or 0?
b
Suppose 48*w - 51*w - 27 = 0. Let i be (-354)/(-48) + w/24. Is 16 less than i?
False
Suppose -1073 = -4*p + 2191. Let l = p + -4927/6. Which is smaller: l or -4?
l
Suppose 2*i + 2*s = 28, -90 = -123*i + 118*i - s. Which is smaller: i or 237/13?
237/13
Suppose -6 = 5*u - 11*u. Suppose 5*l - 2*b = 9, -2*l + u = 4*b + 7. Which is smaller: l or 6/11?
6/11
Suppose 3554*o - 3570*o + 10384 = 0. Which is greater: o or 3893/6?
o
Let x be 3 - 74/26 - (-6496)/(-51688). Which is greater: x or -74?
x
Let c(h) = -2*h + 60. Let l be c(29). Let o be ((-24)/(-100))/(l/5*1). Is o greater than or equal to 4?
False
Let i = -0.033 - -13.833. Let r = i - 9.8. Do 15 and r have different values?
True
Let u = -60 - -80.5. Let n = 1.5 - u. Let i = 2 - 4. Which is bigger: n or i?
i
Let y = 1140.86 - 1140.9. Is 2.76 at least as big as y?
True
Suppose 22 = -5*o + 32. Let k be ((-136)/51)/((116/(-3))/o). Is 0 at least as big as k?
False
Let b = 364 - 386. Let u be 11/b*5/(-47). Which is smaller: u or 0?
0
Let i be (4 + -5)/(1/(-44)). Let y = -45 + i. Let r = y - 40. Is -41 <= r?
True
Let c be (-3)/(-3) - (11 - 9900/1010). Does c = 1?
False
Suppose -612 = 5*a + 2*x + 281, 370 = -2*a - 4*x. Let l be 6 + (3092/18 - 1). Let v = a + l. Which is smaller: v or 0?
v
Let x = 12074834/8105 + -7449/5. Is x greater than 0?
True
Let m = 15868 + -15868.1. Is -4029 at most as big as m?
True
Suppose 22*o + 4607 = 4849. Let k = -9/91 - -5141/455. Which is smaller: k or o?
o
Let x(d) = d - 9. Let v(c) = -2*c + 9. Let r(m) = 2*v(m) + 3*x(m). Let p be r(-15). Suppose 0 = 4*n - p*n - 40. Does -21 = n?
False
Let y = -26 - -28. Suppose -15 - 3 = -y*b. Let x = 20 + -11. Is x at most b?
True
Suppose 3 = -76*i + 79*i - 4*p, -3*p = 0. Is -291 < i?
True
Suppose -5*t + 2670 = 4*h, -t = t + 4. Suppose 0 = -3*d + 8*d - h. Suppose 6*a - 2*a = -2*z - 128, 2*z + a = -d. Are z and -68 nonequal?
False
Suppose -2*q = 0, -2*j - 32 = -4*j - q. Suppose -5*f = 1 - j, -50 = l + 5*f. Let h = -83 - l. Is -19 bigger than h?
False
Let t = -17588 + 5065349/288. Does t = 0?
False
Let n(i) be the first derivative of -7*i**2 + 381*i - 237. Let c be n(32). Which is smaller: c or -69?
-69
Suppose 14 - 11 = -l. Let p be ((-2)/(-3))/((-2)/l). Let q be 153/162 - (2 - p). Which is smaller: -1 or q?
-1
Let x = -1497 + 1437. Let d = 120 + -72. Suppose -5*v - 3*i = 296, 4*i = -v - 1 - d. Is x greater than v