a - 15. Let q be s(-5). Let n be 1/((-44)/(-286) + q/(-26)). Which is greater: 1 or n?
1
Let i(y) = -1366*y - 47777. Let b be i(-35). Let u(t) = 42*t - 1. Let s be u(1). Which is greater: b or s?
s
Let b(v) = 48*v + 4836. Let y be b(-79). Is 1049 greater than or equal to y?
True
Let v be (-3)/(-13) + -5 + (-54060)/(-20085). Which is bigger: -3 or v?
v
Let l(x) be the first derivative of -x**3/3 + 3*x**2 - 4*x - 9. Let b be l(1). Suppose b = 6*u + 19. Which is smaller: u or 5?
u
Let j(r) = r**3 + 3*r**2 - 10*r - 4. Suppose 65 = -10*p + 15. Let v be j(p). Let z be -2 - (v/30)/(7/96). Which is bigger: z or 1?
1
Let z = 352357/30 + -35252/3. Let v = -27/5 - z. Let h = 1 + 0. Is h < v?
False
Let y = 45682.3 + -45320. Which is bigger: y or 0?
y
Let t(a) = -a. Let u be t(-1). Let n be (0 - 1) + 3/(12/32). Let y be 2/(-4) - n/((-5390)/451). Is u bigger than y?
True
Let i(t) = -16*t + 507. Let d be i(5). Which is greater: d or 429?
429
Let f(c) = -c**3 + 8*c**2 - 2317*c + 13830. Let n be f(6). Let o = 34.978 + 0.022. Is n at least as big as o?
False
Let a(c) = 15*c - 80. Let z be a(8). Let v be (2/4)/(4/z*-5). Which is greater: -3/35 or v?
-3/35
Let y = 173 + -172. Let g = -99 - -99.7. Is g bigger than y?
False
Let y(q) = 1814*q - 53. Let k be y(-1). Is k bigger than -1866?
False
Let y = -27097/7228 - 2/1807. Which is greater: y or -3?
-3
Let s = -3060 + 3059. Which is smaller: 26/383 or s?
s
Let z be (-3330)/150 + (-6)/(-5) + -1. Let y be 44/242 - 134/z. Which is smaller: y or 7?
y
Let x(h) = -24*h + 77 - 19 + 47 - 7 + 18*h. Let y be x(10). Which is bigger: 189/5 or y?
y
Let w = -371 - -344. Let z = w + 26.93. Is 11 > z?
True
Let f be 9/1 + 4172320/(-463584). Let y = f + -9332/2361381. Which is smaller: y or -1?
-1
Let d be ((-2775)/(-60))/(4/(-11*16)). Is d < -2035?
False
Let j = 3934419973 - 1446249503461377/367589. Let a = j - 2/3253. Which is smaller: -0.1 or a?
-0.1
Let c be -11 - (7 - 28 - -12). Suppose u = -6*u + 182. Let y = u - 24. Is y at most as big as c?
False
Let x = 2585.4 - 2540. Which is greater: x or -0.2?
x
Let f = -178.15 - 0.85. Let p = -179.08 - f. Which is greater: -2 or p?
p
Let j = -0.22355 + -0.02445. Do j and -1/2 have the same value?
False
Let m(t) = -271*t + 270*t - 2*t**2 + 1 + 2 + 31*t**3. Let v be m(1). Suppose v + 53 = -14*i. Are -9 and i nonequal?
True
Let s(g) be the third derivative of g**5/30 + 5*g**4/12 + 7*g**3/6 - 28*g**2. Let i be s(-4). Let o be i/2*(-23 - -17). Is o equal to 3?
True
Let c = 42 - 39. Suppose -12 = -c*h - 3*h. Suppose -3*q - 5*t = -18, -h*q + 2*t = -3*q + 7. Which is greater: -1/75 or q?
q
Let d be -3*(-4)/110472*-334*-193 + -7. Which is bigger: 0 or d?
d
Suppose 0 = 3*u + 376 + 17. Which is smaller: u or -133?
-133
Let h be (-3)/((-419)/(-1540) + 4/(-14)). Let a be -4 + -1 + 5 + 40. Suppose -h + a = -3*f. Which is greater: 61 or f?
61
Suppose 2*t + 123 = k, -2*k + 2*t - 212 = -446. Which is smaller: 176 or k?
k
Let u = -20 - 1. Let r be 18/(-18) - 11/u. Let z be -2*(-6)/8*44/(-66). Which is greater: z or r?
r
Suppose -6*b - 1453 + 5209 = 0. Let t = b + -617. Suppose u = 4*u - 21. Which is smaller: u or t?
u
Let c = 39041 - 34333. Is c greater than 4709?
False
Let y = -3568.0325 - -3568. Which is bigger: y or -1/2?
y
Let i = 10.335 - 15.54. Let g = i + 0.205. Is g > 1/6?
False
Let n = 247 + -226.3. Let v = 84.7 - 81. Let r = n - v. Is r equal to 0.1?
False
Suppose -4*z = 4*o + 944, -245*z - 3*o = -240*z + 1166. Which is smaller: z or -223?
z
Suppose 2519 = 5*j + 2*a, -3*j - a + 3*a + 1505 = 0. Let c = 238 - j. Is -266 smaller than c?
True
Let g = 25826 + -335472/13. Which is bigger: g or 20?
g
Let o = -49.1255 - -0.0255. Let j = 85 + -134. Let u = j - o. Is u at least 26?
False
Let q = 27.38 + -28. Let x = q - 0.38. Is x not equal to -11/2?
True
Suppose 15 = -37*y + 52*y. Let h = 6048 + -1626914/269. Is y less than h?
False
Let a(j) = -15*j + 5*j + 3*j + 98 - 10*j + 207. Let y be a(18). Which is smaller: y or -2/1989?
y
Let u be (-238)/(-10) - ((-238)/(-35) + -7). Let n = 28 - u. Is n less than 33/7?
True
Let v = 11870959/479050 - 1239/50. Which is smaller: v or 0?
0
Let f be 11/(-121) - 1/33*-3. Let q(x) = -48*x. Let s be q(-1). Suppose -43*w + s*w - 5 = f. Which is bigger: -4.1 or w?
w
Let w = 191 + -107. Suppose -2485 = -55*c + 2135. Is w smaller than c?
False
Let s be 4/6 + (-1044)/(-54). Suppose 11*d = 6*d + s. Suppose -6*p + 2 = -5*p. Which is smaller: d or p?
p
Let v = 2.634 - -31.366. Let g = -0.665 - -34.645. Let q = g - v. Which is smaller: q or -2/3?
-2/3
Let l = -10487585 - -262224807/25. Let x = l - 1407. Is x at most as big as 1?
True
Let x(u) = -3*u**2 + 189*u - 238. Let a be x(56). Does 936 = a?
False
Let n = 12 - 10. Suppose -n*a = 3*a + 20. Let y be (6/4)/3 + 77/(-14). Is a at least y?
True
Let h = -18723 - -18723.3. Let m = 2 + -1. Which is smaller: m or h?
h
Let x = 12989 + -13477. Which is greater: -1 or x?
-1
Let c be (0 - 3)/(18/(-32))*-3. Suppose 16*l - 10*l - 270 = 0. Let a be (l/(-20))/(-9)*4. Do a and c have different values?
True
Let a(m) = -m**2 - 4*m - 5. Let f(z) = -5*z + 10. Let k be f(2). Suppose 5*o + 5 + 30 = k. Let l be a(o). Which is smaller: l or -25?
l
Let l(b) = -416*b**2 - 6*b + 12. Let h be l(5). Let j be h/(-22) + (2 - 4). Let c = j + -471. Which is greater: 0 or c?
c
Let m be (62/33)/((-46)/69). Suppose 0 = -2*t + 2*h, 0 = t + h + 5 - 1. Is m at least as big as t?
False
Suppose 4*v + 495 = -k, 466 = -5*v + k - 155. Which is greater: -123 or v?
-123
Suppose 563*g + 1468*g - 169485 + 18147 = -25416. Let h be 3 - (-1 + 0)*-1. Suppose 63 = a - h*z, 0*z = -a + 5*z + 66. Which is smaller: g or a?
a
Let a = -1532 + 1570. Are 42 and a nonequal?
True
Suppose 8*g + 3420 = 14*g. Suppose 3*a - 18*a = -g. Which is bigger: 7 or a?
a
Let b = -31232 + 281161/9. Is b greater than -1?
True
Let a = -46 + 49. Let n be -24 + 28 + -1*a. Let w = 5/234 - 1/468. Is n at most w?
False
Suppose -5*o - 3*f - 938 = 0, 3*f = o + 2*o + 558. Let n = o + 932/5. Let i be 10/32 + (-2)/(-32). Which is smaller: i or n?
n
Suppose -2 = -c + 4. Suppose 3*r + 3 - 9 = v, -30 = 3*v - 5*r. Let q be -8 - v/(525/530). Which is bigger: c or q?
q
Let u = -3/3964 - 115/175407. Do 6 and u have the same value?
False
Let d = -45 - -41. Let g = 121 + -120.57. Let m = g + -0.44. Is d at least as big as m?
False
Suppose -90 = q - 93. Let y be (-42)/4 - 3/6. Let k = y - -4. Is q > k?
True
Suppose 2 = -2*v, v + 562 = 3*x - 210. Let l(o) = o**2 + 204*o + 860. Let h be l(-201). Is x equal to h?
True
Let x be (-9)/21 + 1 + (-1111)/(-77). Suppose x*q = 21*q - 36. Let z be 3 - q - (0 + -3). Which is greater: -1/31 or z?
z
Let y(r) = 54*r - 1722. Let z be y(39). Are 375 and z non-equal?
True
Suppose 3*r + 4*g + 40 = 0, 0 = -r - g - 3*g - 24. Let t be (-11)/(44/r) - (2 - -223). Which is greater: -225 or t?
t
Let b = -4883 - -4884. Is b greater than or equal to -29/206?
True
Let f = -7287.7 + 7325.677. Let l = 38 - f. Let j = l + 0.007. Is j < -2?
False
Suppose 2*i + 3 = 3*p, -2*p + 2*i = -0*i - 2. Suppose p - 25 = y. Let q be (y/(-20))/(190/25). Is 2/7 equal to q?
False
Let q be ((-10)/(-6))/(16/88 - (-65724)/(-360756)). Is q equal to -4555?
True
Let o = -22 + 25. Let y be -38 + (5/(-35))/(o/(-21)). Is y bigger than -107/3?
False
Suppose -30*r + 23*r + 1974 = 0. Let c = -282 + r. Let q = 2199/20 - 110. Which is greater: c or q?
c
Let l(w) = -1072*w + 140. Let p be l(0). Is -1.1 > p?
False
Suppose 0*x = -4*f - 5*x - 1, 2*f + 2*x - 2 = 0. Let l be ((-1)/1)/(-2 + f + -5). Let z be ((-161)/(-35))/((-8)/5*l). Which is bigger: -4 or z?
z
Let w = -190 + 411/2. Let r be (5/10)/((-1)/22). Let g = 6 - r. Is w less than g?
True
Suppose 0 = 168*b - 304*b + 154*b. Let d be 2/9 + 1148/(-1116). Is b greater than d?
True
Let t(r) = -r**3 + 14*r**2 + 26*r + 90. Let v be t(15). Let s = -3059/12 + v. Is s <= -7?
False
Let h(z) = 257*z + 1310. Let k be h(-5). Suppose 0 = -3*p - 30 + 93. Which is smaller: p or k?
p
Let h = -17963 - -30558. Let x be (15*11/h)/(6/(-4)). Do 1 and x have the same value?
False
Let j = -1/4 - -3/4. Let z = -343 + 343.0463. Let r = -4.0463 + z. Is r <= j?
True
Suppose -9*f + 20 = f, 0 = y + f - 3. Which is smaller: -1/644 or y?
-1/644
Suppose 4*g + 3*x - 397 - 473 = 0, 0 = -5*g + 3*x + 1101. Let f be g*(-