)/15 + (-1795)/v. Which is bigger: 485/4 or y?
485/4
Suppose -5*g + 3*h - 110 = 0, 30 = 21*g - 22*g - h. Which is bigger: 54 or g?
54
Suppose 69*q - 43*q + 69*q - 4275 = 0. Which is smaller: 23 or q?
23
Let c be -13 - -14 - ((-35)/(-25) + -1). Is 89 smaller than c?
False
Let y = -4751.13 - -169.13. Is 1 smaller than y?
False
Let u be 160/25 - 4/10. Let v(w) be the second derivative of -w**3 - 9*w**2/2 + w - 43. Let m be v(u). Are m and -46 equal?
False
Let z be (2431/(-55) - -43) + (-429)/5. Which is smaller: -1494/17 or z?
-1494/17
Let w = 66943/5 - 2478391/185. Which is greater: w or -7?
-7
Suppose -25*k + 29*k = -2*j - 50660, -k = 6. Is -25319 less than j?
True
Let v = 130038655/494 - 263236. Let k = v + -1/26. Which is smaller: k or -0.12?
-0.12
Let p = 43 - 27. Let u = -1399 + 1399.11. Which is greater: p or u?
p
Suppose 9*t - 13*t - 16 = 0. Let i be (-6)/12 + (-10)/t + 2. Suppose 0 = 5*f - 9*f - i, 0 = -4*w + 4*f + 4. Which is smaller: -1 or w?
-1
Let t(b) be the first derivative of -b**3/3 + 7*b**2 + 38*b + 33. Let i be t(11). Are 71 and i equal?
True
Let s = 793/628 + -5/4. Let d = -175/1413 + s. Let j = 4255 - 4258. Which is greater: j or d?
d
Let z(b) be the third derivative of -5*b**4/24 + 2*b**3 - 3*b**2. Let p be z(9). Let l = p + 32. Do l and -1 have the same value?
True
Let k(o) = 50*o - 391. Let t be k(9). Is 467/8 less than t?
True
Let r = 6536 - 10514. Which is greater: r or -3981?
r
Suppose 12*r - 627 = 9*r. Let n = r + -149. Which is bigger: -1/2 or n?
n
Let c be 791/196*-4 + (-5)/(-35). Is c greater than -2/19?
False
Let h(s) = 67*s**2 + 6*s - 2. Let n be h(-2). Are n and -4 equal?
False
Let d(k) = k**3 + 18*k**2 + 5. Let u be ((-318)/(-4))/(-3)*(-52)/(-13). Let n = u - -88. Let s be d(n). Which is smaller: s or 10?
s
Let l be 100/3*120/50. Let q be l/52 + 1 + -1. Let p = 96 - 95. Which is bigger: q or p?
q
Let c be 86 + -18 + 4 + 2. Suppose h - b + 0*b = -3, -b = 3*h + 5. Let n(x) = -9*x**3 + 2*x**2 + 4*x + 3. Let j be n(h). Which is smaller: j or c?
c
Let p be (-119088)/360 - (-2)/15. Which is smaller: -332 or p?
-332
Suppose 51 = -n - 5*j, -101 = 3*n - 0*j + 2*j. Let a = 31 + n. Suppose a = -5*o - 5 + 10. Which is smaller: 2/7 or o?
2/7
Suppose -67*j + 139*j - 224 = 40*j. Does -3/56 = j?
False
Let l be 0/(-1 + 14/7). Suppose 3*i - 8*i = j - 21, l = -j - 4. Which is smaller: i or 8?
i
Let k = 625811/25 - 25027. Is k smaller than 5?
False
Let z be (-8)/(-6)*(-15)/(-20). Suppose 5*n - 24 = -i, z + 27 = 3*n + 4*i. Suppose n + 0 = 4*g. Which is smaller: g or 3/8?
3/8
Let l(h) = -534*h - 302. Let n be l(2). Which is greater: n or -1372?
n
Let t = 1376569/4396 - 2192/7. Let a = t + 379/40820. Let u be (-2)/8*-2*-2. Is u bigger than a?
False
Suppose -3*j = 2*p + 2, 5*j + 2 = -5*p + 3*p. Let t be (2/((3 - 4) + -1))/p. Suppose 0 = -4*d + 3 + t. Which is smaller: d or 0?
0
Suppose 0 = -17*u - 3573 + 588 - 1758. Which is smaller: u or -287?
-287
Let n = -0.06 - 0.14. Let f = 2.331 - 2.3. Let p = f + 0.169. Does n = p?
False
Let d(t) = -357*t - 2863. Let n be d(-8). Is -294/37 equal to n?
False
Let p = 2.4 + 67.6. Let q = -0.59 + -58.41. Let k = q + p. Which is greater: k or -0.2?
k
Let n(f) = 3*f - 74. Let s be n(33). Suppose -s*x + 31*x = 0. Which is smaller: x or 5/124?
x
Let c(f) = 3*f**2 + 4*f - 3. Let m be c(2). Let h(d) = d**2 - 2*d + 3. Suppose -3*q + q = -10. Let b be h(q). Is m bigger than b?
False
Suppose 0*w - w = 4*a - 2, 4*w = -5*a - 3. Let o be -2 - a*(-2 + -1). Let f be 9/(-117)*(-3 + -11). Which is greater: f or o?
f
Let s(g) = -5*g - 6. Suppose 4*q = 4*p, 3*q - 10 = -1. Let r be s(p). Let t be 4 + (12 - 11) + -27. Does t = r?
False
Let h = 3/13775 + 206424/922925. Is h > 1?
False
Let s be ((-102)/4845)/(1/(-1) + 12/11). Which is bigger: 0 or s?
0
Let j = 132 + -221. Let b = 14 - j. Let a = b + -103.04. Which is greater: a or 4?
4
Let r = 0.4 - 0.3. Let x be -12 + -4 + (4 - -4). Let n be (1/x)/((-5)/60). Is n less than r?
False
Suppose -46*b + 42*b - 20 = -v, 0 = -b - 5. Do -4/53 and v have the same value?
False
Let k = 9885/2 + -4943. Which is greater: k or 3033?
3033
Suppose -3*s = -8*s, -1062 = 3*o - 4*s. Let k = -297 - o. Is k not equal to 56?
True
Let v = -0.21 - -0.53. Let h = 4421 + -4416. Are h and v non-equal?
True
Let g = 57/233 + -18272/79453. Which is greater: 0 or g?
g
Let w be (-2)/22*(-5 - 0). Let r = 1236.37 - 1243.37. Is r less than w?
True
Let q = 13/33 - 2/33. Let f = 59 - -29. Are q and f non-equal?
True
Let p = -154456 + 35680088/231. Let i = p + -23/7. Are i and 0 non-equal?
True
Suppose -41*d + 16745 + 5271 = 87*d. Which is smaller: d or 142?
142
Suppose 295 + 122 + 72 = p. Is 487 greater than p?
False
Let w be 8/(-3)*9/6*4. Let x be w/104 + 634/2600. Let o = 6/25 - x. Which is greater: 0.1 or o?
o
Let o be -2 + 2 + -1 + -228. Let m = 6142 + -6370. Which is smaller: o or m?
o
Let q(u) = 7*u - 50. Let h be q(7). Let t be -1*-4*8/416. Is t less than or equal to h?
False
Let l = 1/1077 - -7513/28002. Let i = 42/13 + l. Let k(q) = q**2 - 8*q + 5. Let s be k(8). Which is smaller: s or i?
i
Let s = 11/5520 - 1/69. Let u(r) = r**3 - 15*r**2 + 12*r + 3. Let t be u(13). Let f = t - -180. Which is bigger: f or s?
f
Let f(k) be the first derivative of k**2/2 + 10*k + 58. Let r be f(12). Is r at least 17?
True
Let a = -30 - -37. Suppose a*d = 13*d - 24. Is 23 greater than or equal to d?
True
Let b be -142 + 1 + -6*(-2)/(-4). Let f = -433/3 - b. Is -0.02 at least f?
True
Let s(b) = -207*b - 11. Let x be s(-12). Let n = x - 3593. Let z = -3323/3 - n. Is 11 at most as big as z?
True
Let g = 195301839/2812 - 69453. Which is smaller: -1 or g?
-1
Let k = 43 + -8. Let n(y) = 10*y + 65. Let m(a) = -a**3 - 19*a**2 + 43*a + 18. Let g be m(-21). Let h be n(g). Is h bigger than k?
False
Let m = -23 + 29. Suppose -5*j + m*j - i = 2, 10 = j - 5*i. Let h = -37/360 + -1/45. Which is greater: h or j?
j
Suppose -20*v + 8*g - 9*g - 31459 = 0, 4*v = -2*g - 6290. Is v at least as big as -1572?
False
Let p = 681/8 - 85. Let o(v) be the first derivative of -7*v**2/2 - 70*v + 26. Let n be o(-10). Which is greater: p or n?
p
Suppose -2*p + 110 = -l, -33*l + 36*l + 310 = 2*p. Let f be (5 - l/(-24))*9/(-70). Which is smaller: -1 or f?
-1
Suppose 73*p - 990 - 2787 + 200 = 0. Which is smaller: p or -3/11?
-3/11
Suppose 4*k - 24 = 4*a, a + 20*k + 10 = 22*k. Is a bigger than -27?
True
Let t(m) = 52*m + 598. Let w be t(-19). Is w < -387?
True
Let a = -227 - 81. Let l(q) = -q**2 + 357*q + 25979. Let j be l(-62). Which is smaller: a or j?
a
Let l be ((-1060)/(-15)*2)/((-12)/(-630)). Suppose 35*s + l = -3815. Is -320 greater than s?
True
Let x = 7136 + -15. Which is greater: x or -0.1?
x
Let b be 24/10*200/(-160). Which is greater: b or -6?
b
Let b(p) = p + 53. Let m be b(0). Suppose -2028 = -213*l + 174*l. Which is bigger: m or l?
m
Let x = 352/7 + -384/7. Let i = -579/119 - x. Suppose 5*j = -2*o - 18, 58 = 3*o - 4*j + 39. Which is bigger: i or o?
o
Let k = 159 - -14. Let v = 1.321 + -1.221. Which is smaller: k or v?
v
Let q = 10 - 20. Suppose 0 = 229040*h - 229010*h + 90. Which is bigger: h or q?
h
Let t be 3 - (-1 - -1) - (3798/246 + -12). Is -1 equal to t?
False
Let h = 6772 - 6771.9. Is h at least as big as -5486/3?
True
Suppose 0 = -9*v + 66 - 102. Let i be (-10)/(-425)*(5 + 3)/v. Which is smaller: i or 1?
i
Let i(b) = -b**2 - 7*b - 6. Let m be i(-1). Suppose 4*n + z = 2*n, -n - z = m. Which is greater: -2/37 or n?
n
Let b = 0.00033 - -0.19967. Is b >= -26.98?
True
Let z = -97 + 172. Let i(o) = o**2 - 11*o + 32. Let g be i(6). Suppose -4*h + 304 = -b, g*h - 128 - 24 = b. Which is smaller: h or z?
z
Let s = 1353 + -1302. Let a be ((-17)/s)/(5/(-15)). Let r = -1 - -1. Is a at most as big as r?
False
Let h = -15902 - -15884. Which is smaller: 9 or h?
h
Let d = -6 + 11. Let i = 208 + -465. Let n = 256 + i. Which is smaller: n or d?
n
Let r = -69/119 - -9/7. Is 0 at least r?
False
Let b(u) = 14*u + 86. Let p be b(-6). Suppose -38 = p*s - 4*l, 0*l + 7 = -s - 2*l. Which is smaller: -43/3 or s?
-43/3
Let t(u) = 18*u + 3. Let j be t(1). Let g = j - 24. Let n be (1 + g)*(-3 - -2). Which is smaller: n or 10/13?
10/13
Let p = 19004 + -19014. Let z = 0.28 - 0.3. Which is smaller: p or z?
p
Suppose 68 = -4*k - 2*a, -2*k - 58 = -3*a - 8. Let n