288)/(-63) - 0. Let h be a(t). Which is bigger: h or d?
h
Let w = 499 + -667. Let q be (-1)/9 + 1 + w/918. Let j be (-1 - (1 + -2))/(-2). Is j bigger than q?
False
Let j be -2 - ((-36)/8 - -3)/(24/16). Is -2/4795 > j?
True
Let h be -7 - 0 - (-325)/(-50). Let v = h + 34. Which is bigger: 21 or v?
21
Suppose 3*k + 4*g = -2582, -6*g + 2557 = -3*k - 5*g. Let q = k + 185319/217. Are q and -1 equal?
False
Suppose -4*v + 9*o - 11*o + 10 = 0, 2*o + 17 = 5*v. Suppose -d + 4*z = -2*d, z - 11 = -v*d. Do 40/11 and d have the same value?
False
Let j(u) = 2*u + 2. Let l(z) = -2*z - 1. Let r = 11 + -14. Let i(k) = r*j(k) - 4*l(k). Let s be i(1). Which is greater: -3/5 or s?
s
Let s be -4 + (-4)/(-8)*16. Let g be (50/(-15) + s)*-84. Let x = g - -77. Are 0 and x equal?
False
Let y = -4094.016 + 4141. Let d = y + 0.016. Which is smaller: 2 or d?
2
Let m = 15520 - 15519. Which is greater: 7289 or m?
7289
Suppose 2*q = 4*x + 8 + 8, -4*x = 2*q. Suppose 45 - 15 = 10*w. Do w and q have the same value?
False
Let a be 6/15*(-46)/(-4). Let l(y) = y**2 - 28*y - 54. Let k be l(28). Let m = k - -58. Which is greater: a or m?
a
Let u be (((-64)/14570)/8)/((-42)/(-5)). Let t = u + 708104/30597. Which is bigger: t or 22?
t
Let o(i) = -i - 3*i**3 + 4*i - 2*i. Let k be o(1). Let f be 8/(-16) + 33/(-14). Which is bigger: f or k?
k
Let j = -13400 + 17705. Which is smaller: j or 4306?
j
Let y(o) = o**2 + 3*o - 2. Let m be y(-5). Let v be (-2)/(-4) + 36/m. Let b be (-9)/84*18 - v/(-10). Which is smaller: b or 0?
b
Let a be ((-6)/4)/(21/(-22708)) + 8/8. Is 1626 > a?
True
Let t be (-40)/(800/(-390))*((-10)/6 - -1). Which is greater: 261 or t?
261
Let h(a) = a**2 - 9*a + 44. Let u be h(8). Suppose 6*x - u = 3*x. Suppose 16*g = x*g + 8. Is 14/5 greater than or equal to g?
True
Let t = -2269 - -4490. Is t < 2220?
False
Let s = -3204 + 9610/3. Which is bigger: -7355 or s?
s
Suppose -2 = -517*k + 519*k. Which is greater: 1/1073 or k?
1/1073
Let f be (-7)/((-2520)/(-375)) - (-6)/16. Which is smaller: -0.3 or f?
f
Suppose b = -63 + 63. Suppose -3*i + 12 = 5*l + 84, -3*l + 4*i - 49 = b. Are l and -14 unequal?
True
Let j be (-3)/(-951)*-2*(1600/260 + -6). Which is smaller: -1 or j?
-1
Let r(k) = 2*k - 20. Let z be r(10). Let f be -15 + 7 + (4 - z) + -2. Which is smaller: 2/21 or f?
f
Let d = 1067.386 - 4.386. Which is smaller: d or 1/3?
1/3
Let l = 0.14353 + 391.85647. Is 4/5 at least l?
False
Let n = -2 - -3. Let w = -1 + n. Suppose 742*u = 258*u - 385 - 99. Which is smaller: w or u?
u
Let l = 765.973 + -762. Let y = 2.573 + -2.6. Let k = y - l. Which is greater: k or -2/9?
-2/9
Let p(t) = 95*t - 257. Let s be p(5). Which is bigger: 8 or s?
s
Let z(r) = r**3 + 6*r**2. Let a be z(-3). Suppose -5*u = a - 17. Let j be (u/3)/(4*(-7)/(-12)). Which is smaller: 7 or j?
j
Let g be 2234/412173*(0 - -9). Suppose -6*p + 15 = -p - 3*y, p = 5*y + 25. Is g greater than p?
True
Let v = -62/121 + 21396/12947. Which is smaller: 2 or v?
v
Let x(w) = w**2 - 30*w - 600. Let m be x(44). Is m greater than or equal to 21?
False
Let q be (-48)/8*-28*1/(-3). Let k be (-4)/16 - (-7423)/132. Let u = q + k. Is -1 bigger than u?
False
Let g = -870.5 - -870.44. Are g and -17 non-equal?
True
Let c = 3380775/209 + -16176. Is -1 smaller than c?
True
Suppose 0 = 5*k - 15, -4 = -m + 5*k + 1. Let v be (10/m)/((-70)/(-12)). Suppose g = 3*g. Is v at least as big as g?
True
Let b = -3383 - -3365. Is b greater than -105?
True
Let z(r) = 4*r**2 - 8*r + 6. Let j be z(-7). Let q = 33 - j. Do -224 and q have different values?
True
Let r(o) = 12*o**2 + 3*o + 3. Let i be r(-3). Let j be 3 + -4 + i/(-44) + 3. Which is bigger: -1 or j?
j
Let s(z) = z + 22. Let d be s(10). Let q be (273/(-196))/((-12)/d). Do q and 4 have different values?
True
Suppose 0 = 5*y - 4*r - 71 + 180, -3*r - 102 = 5*y. Let s = 359 - 183. Suppose 0 = s*h - 178*h - 42. Do h and y have different values?
False
Let o be (-40)/32 + 7176/32. Let h = o - 232. Which is bigger: h or -134/13?
h
Let t be ((72/20)/(-6))/(8/440). Let u be (85/(-18) - -4) + t/(-44). Suppose -3*n = -4*n + 1. Is u at least n?
False
Let i be ((-573)/382)/((-294)/(-16)). Which is smaller: i or -1?
-1
Let d = 6090 + -6743. Which is greater: d or -655?
d
Suppose 6*w + 4*q = 5*w + 257, 0 = 4*w + 5*q - 1050. Let i = w + -163. Is i less than or equal to 102?
True
Let g = 3.15 + -3. Let d = -1315.75 - -1315. Let l = g - d. Are -0.4 and l equal?
False
Let c be (769824/621)/16 - (-1 + 1)/(-2). Which is greater: 78 or c?
78
Suppose -5 = 4*m + m. Let v(a) = a - 3*a - 2*a - 13 + 15. Let j be v(m). Is j smaller than -1?
False
Suppose -2985 + 15635 = 25*b. Is b at most 503?
False
Suppose 2*n = -0*n. Let r = -245 - -242. Let s be r - (8/268 - 3). Which is bigger: s or n?
n
Let l = 0.025 + 7.075. Let x = 9.5 - l. Let i = 13 + -14. Is i smaller than x?
True
Suppose 2*a + 0*v - 32 = v, 0 = -a - 2*v + 21. Let g = -15 + a. Let o = -4 - 1. Is g smaller than o?
False
Let j be (-1)/(-3) + (-4)/12 - -14. Let n be (-4)/j + ((-96)/42)/(-1). Let l be 2 + (-48)/13 + n. Which is smaller: 0 or l?
0
Let f = -6.07 + 4.39. Let g = f - 159.32. Is g bigger than -2?
False
Let i(w) = -28*w - 192. Let z be i(-10). Suppose 0 = -3*q - j + 2, q + 3*q - j = 5. Let t be q + 88 - 2/1. Is t greater than z?
False
Let t = -698/11 - -9052/143. Which is bigger: t or -1/6?
t
Let r = 29 + -28. Let q(d) = 27*d - 1. Let x be q(r). Let m = x - 29. Which is bigger: -2 or m?
-2
Let a(k) = k**3 - 5*k**2 - 6*k - 1. Suppose 10*f - 7 = 53. Let d be a(f). Is -6/25 >= d?
True
Let m = -0.18 + 0.28. Let y = -0.2904 + 0.2254. Is y < m?
True
Suppose 69 = -20*f - 3*f. Let i(w) = -5*w**2 + w + 2. Let u be i(f). Which is smaller: -44 or u?
u
Let q be ((-2008)/(-20))/(2/10)*(-20)/(-72). Which is smaller: q or 139?
139
Let m = -9 - -11. Suppose -x - m*j = 10, -3*x - 13 = j + 22. Which is greater: 0.08 or x?
0.08
Suppose 5*z - 4*z = -3*n - 335, -5*n - 671 = 2*z. Which is smaller: z or 13?
z
Let x = 5919/76 + -1494/19. Which is smaller: x or 104?
x
Let l = -352 - -348. Let z = 59 + -19. Let c be l/(-20) + 32/z. Is 15/16 at most c?
True
Let p(s) be the third derivative of -s**6/120 - s**5/30 - s**4/12 - 37*s**3/6 + 67*s**2. Let f be p(0). Is -37 >= f?
True
Suppose f + 1 = 1. Suppose q + 6*y - y - 20 = f, -y = 2*q - 4. Let r be 2520/(-1242) + 1*2. Is q > r?
True
Let a = 100 - 190. Let g = -179/2 - a. Is 74 < g?
False
Suppose -5*g - 20*p = -22*p - 2585, 0 = -5*g - 5*p + 2620. Which is smaller: g or 518?
518
Let l be 2*1/(-4)*0. Let d = -43 + 47. Suppose 0 = -d*z + 5*s + 212, -6*z + 2*s = -7*z + 66. Which is smaller: l or z?
l
Let v(t) be the second derivative of -t**5/40 - 5*t**4/3 + t**3/3 - 2*t. Let y(j) be the second derivative of v(j). Let c be y(-13). Is 2/7 smaller than c?
False
Suppose -3507 = 96*c + 69357. Are -763 and c non-equal?
True
Let s = 17 + -20. Let c be s*(-4)/(-400)*-4. Is c > 0?
True
Let w be -1 - -2 - (213 - (7 - 2)). Let d be 4/(-6)*w/736. Which is smaller: 0 or d?
0
Suppose -2*d = -2*s - 184, 2*d - 3*s = 31 + 154. Suppose -69*v - 568 + 6778 = 0. Which is smaller: v or d?
v
Let k(u) = u**2 - 6*u + 23. Let l be k(3). Let q be (1212/11 - l/77) + -5. Is 104 >= q?
False
Let p = -6 - -23/4. Let v = -0.008 + -4.192. Let d = v + 4.3. Is d > p?
True
Let c be -6 - (-1 - -2) - -122. Let n be 5/((-15)/(-9)) - c/35. Let b = -2 + 1.92. Which is greater: n or b?
b
Let x = -13343 + 13346. Are -175 and x unequal?
True
Let y(f) = f**3 + 6*f**2 - 5*f + 15. Let o = -30 - -33. Let z be o - 1 - (11 + (-10)/5). Let k be y(z). Is 7 >= k?
True
Let v be (-2)/(-11) + (3 - 208146/104082). Let t = v - 22/19. Let y = 1 - 2. Is y greater than or equal to t?
False
Let g = -36 + 37.9. Let y = -137 + 188. Suppose -10*x = 61 - y. Which is smaller: x or g?
x
Let n be (-26 - -20) + (9 - 1). Let z be n*-3*(-2)/(-240). Which is greater: -0.3 or z?
z
Let k = -34.1 + 1.1. Let v = -77 - -46. Let o = k - v. Is o < 8/3?
True
Suppose 2*o + 4*r - 4 = 0, 2 = o + 20*r - 25*r. Suppose 525 = 3*u - 2*d, 4*u = o*d + 607 + 93. Does 174 = u?
False
Let x be 4/14 - (-12826)/42. Suppose -2*d - 95 = -2*p + 499, -2*d = -4*p + 584. Let g = x + d. Is g < 3?
False
Suppose x - 12 = -5*l, 4*l + 15*x = 11*x. Let o be l/(-10)*(165/121 - 1). Are o and -1 unequal?
True
Let a be (-27)/4*(-52864)/336 - -10. Is 10