 3*j - 5*j - 5*a = -13, 4*a - o = 0. Do j and -2 have the same value?
False
Suppose 4*c - 5*w = -7*w - 24, -2*c = -4*w + 22. Let k(t) be the first derivative of t**3/3 + 5*t**2/2 - 6*t - 40. Let z be k(c). Is 7 less than z?
True
Let f be (-18)/(-189) + (-73658)/(-546). Suppose -3*b = -8*b + 660. Is b < f?
True
Suppose f = -5*t + 40, 5*t + 0*f = 2*f + 40. Let z = 61 + -53. Does z = t?
True
Let n(s) = -3*s**2 - 4*s - 13. Let l be n(-9). Which is bigger: l or 7/3?
7/3
Suppose 2*l = 5*r - 34 - 14, -l - 22 = -2*r. Suppose -13*w + 10*w = 15, 4*w = 5*n - 95. Let d = l + n. Which is bigger: d or 10/11?
d
Let t = 1195 + -1201. Let n = 0.2 + -0.29. Let r = n - -0.49. Which is bigger: t or r?
r
Let m(w) = w**3 + 3*w**2 + 3*w + 1. Let r be m(-3). Let c be (1 - r)*(-4 + (-68)/(-12)). Is 44/3 > c?
False
Let h(s) = -6*s + 20. Let a be h(-6). Suppose 4 = 52*u - a*u. Which is smaller: 5/11 or u?
u
Let o(l) = 5*l - 3. Let z(d) = d**3 - 7*d**2 + 7*d - 13. Let n be z(6). Let v be o(n). Let f be 95/v*4/(-10). Is 2/55 != f?
True
Let d = 6771 + -6706. Are d and 127/2 nonequal?
True
Suppose -5*b + 5 = -6*b - 4*p, 1 = -3*b + 2*p. Which is smaller: b or -4/327?
b
Let i be 240064/(-12320) + (-10)/14. Which is greater: i or 6/37?
6/37
Let k be (-44)/(-2)*(-5)/10. Let c(v) be the third derivative of -v**5/60 - 11*v**4/24 + 2*v**3/3 + 27*v**2 + 2. Let d be c(k). Which is smaller: d or 5?
d
Suppose 0 = 4*a + 26 + 22. Let i be ((-6)/3 - 9)*7/7. Which is smaller: i or a?
a
Suppose 3*l = -2*l. Suppose -11 = -d - 5. Let x be (d - (-1108)/(-184))*-4. Is x less than l?
False
Let g be 293930/(-195980) - (-30)/4*(-12)/(-60). Which is greater: g or -1?
g
Let a be (-320)/560 - (12/21)/(-1). Which is greater: 2/1923 or a?
2/1923
Let r = -5.5015 - -3.547. Let q = -0.0455 + r. Is -98 != q?
True
Let f = -3010 + 3012. Is f at least 57/20?
False
Let b be (-5 - -6) + -4 - (-148)/(-1). Let f be (-6 - b) + -7 + 0. Which is smaller: 139 or f?
f
Let m be 14/6 - 37/((-222)/10696). Is 1785 less than m?
False
Let v(x) be the first derivative of -3*x**2/2 + 5*x + 15. Let q be v(2). Is -4 less than or equal to q?
True
Let p be 3/((-3264)/(-5525)) - 1. Which is bigger: p or 4?
p
Suppose 2*d + 2*h - 88 = 4*h, -5*d + 170 = 5*h. Let j = 75 - d. Let x = j + -34. Is x less than -0.09?
False
Suppose 4*w - 1623 = -303. Let z be (-84 + -10)/(2/(-7)). Is w at most z?
False
Let b = -1913 - -2061. Is b less than or equal to 1/4?
False
Suppose 2*j - 86*y + 90*y + 6 = 0, -4*j - 4*y = 16. Is -334/53 > j?
False
Let s = -115 - -279. Suppose 56*g - 52*g - 2*m - 638 = 0, 2*m = -4*g + 666. Do g and s have different values?
True
Let c be 6/33 - (4/66)/((-84)/2650473). Which is greater: c or 1913?
1913
Let g be (-488)/122 - (-951)/(-492)*-2. Is g at least 1?
False
Suppose 2*a = -13*g + 16*g - 467, -a - 3*g = 211. Which is bigger: a or -1591/7?
a
Let b(s) = 2*s**2 - 7*s - 8. Let k be b(-1). Let f be 2*-2*(2 - k). Let w(l) = -4*l - 17. Let g be w(f). Which is smaller: g or -8/7?
-8/7
Let a = -25 - -41. Suppose a = -i + 9*i. Let u be (0/(-5) - i) + -3. Is u less than -5?
False
Let g = -28906 - -29011. Do g and 13 have different values?
True
Let a = 869 - 218117/251. Let v be ((765/(-10))/3)/((-3)/438). Suppose 3716*s - v*s = -7. Which is smaller: s or a?
a
Let q(v) = -v**3 - 33*v**2 - 77*v - 123. Let a be q(-28). Which is smaller: -1886 or a?
a
Let t be (3/(-2))/((-168)/(-24224)*2/7). Is -752 at most t?
False
Suppose -4*o + 16218 = -3*p, 5*o - 20298 = 41*p - 33*p. Is o > 2/7?
True
Let l = -6963.59 + 6963. Is l at most as big as 2/65?
True
Let u = -101.8 + 6.8. Let t = -95.48 - u. Let k = -0.48 - t. Is k < 0.3?
True
Suppose 3*a - 126 - 24 = 0. Suppose 3*m = -a + 8. Let i = 1 - m. Which is smaller: i or 16?
i
Let q = 1090958338/6865 + -158916. Which is greater: 1 or q?
1
Let k = 0.42 - 20.42. Let a = k - -19.9. Is a greater than 33?
False
Let z(o) = 603*o**2 + 21*o - 20. Let s be z(1). Which is greater: s or 599?
s
Let m be 4/6*969/(-38). Let k = m + 57. Let l be (30/k)/((-30)/(-16)). Is l bigger than -0.28?
True
Suppose -41745*v + 41751*v + 5238 = 0. Is v > -9596/11?
False
Let l(p) be the second derivative of -31*p**4/12 + p**3/6 + 3*p. Let v be l(-1). Let b = -43 - v. Is -13 bigger than b?
False
Suppose 0 = 16*j + 253 + 675. Let b = j - -127. Is 69 equal to b?
True
Let u = -1/2827585 - 573998699/2985929760. Let l = -1/96 - u. Which is bigger: l or -6?
l
Suppose -y = 4*z + 320, 6*z - 3*z + 4*y = -227. Let k(o) = -o**2 + 4*o - 49. Let j be k(8). Is z bigger than j?
False
Let b = -2981 + 2992.3. Which is smaller: 1 or b?
1
Let x be 8/(-20) - 7/(-5). Let a be (-656)/(-136) - (-2 + 7) - -1. Is a < x?
True
Let o(m) = -2*m**3 + m**2 - 49. Let s be o(5). Let p = s + 280. Which is bigger: p or 16/3?
p
Let s = 419 - 405. Let z = -14 + s. Which is bigger: z or -3/106?
z
Let x be (135842/469)/31 - (0/1 + 2). Which is smaller: x or 6?
6
Let o = 284/55 + -34/5. Let d = 16 - 15. Which is smaller: d or o?
o
Let i(q) = -q**3 + 5*q**2 - 3*q - 4. Let u be i(4). Let g = -315 - -283. Let z be ((-12)/14)/(g/56) - 3. Are u and z nonequal?
True
Let t be (1 - (-4)/(-5))/(-1). Let i = -290 + 242. Let h be ((-12)/(-8))/(i/32). Is h smaller than t?
True
Let s = 10497 - 11098. Which is greater: s or -575?
-575
Let h(f) = 29 - 12 - 31 - 16 + 9*f - 27. Let i be h(9). Which is bigger: i or -0.09?
i
Suppose -5*x - 3*w = -x, 2*x + 6 = -3*w. Let y be 2/30*-5 - 800/x. Is -268 <= y?
True
Let z(y) = -3*y**2 - 19. Let l(m) = m**2 + 6. Let u(w) = 7*l(w) + 2*z(w). Let q be u(4). Suppose -q = -3*r - 2*r. Is r at least 4?
True
Let c(i) = -37*i - 2569. Let p be c(-55). Which is smaller: 4 or p?
p
Let c be (6/3762 - 5) + -5 + 10. Which is smaller: 1 or c?
c
Let a = -73 + 79. Suppose 5*n - 223 = a*n. Is n greater than or equal to -223?
True
Let r = -12.9246 + 13. Let g = r - 1.0754. Which is greater: g or -104?
g
Let k be 2/7 + (-23)/7. Let v be ((-48)/5)/(665/4200*18). Which is bigger: k or v?
k
Suppose -203*k + 3 = -206*k. Let g be (-42)/56 - (0 + k). Let h = 0.98 + 0.42. Is h less than or equal to g?
False
Let r be (-651)/2604 - 6/8. Which is greater: 16/2511 or r?
16/2511
Suppose -23*t = 126 - 494. Is 10 > t?
False
Let q = 8 - 104. Let k = q - -93. Is -0.05 greater than or equal to k?
True
Suppose 0 = -4*y, -154*y = 3*k - 153*y - 495. Which is bigger: k or 170?
170
Suppose -11 = -7*i - 4. Suppose 991*h - 989*h - 134 = 0. Which is greater: i or h?
h
Let g be (-44253)/(-894)*(992/(-6))/4. Which is smaller: -2044 or g?
g
Let k be (128198/(-3815))/((-232)/10). Let v = k - -15/218. Which is smaller: 1 or v?
1
Let k be 15/(-280)*445/15. Which is smaller: k or -1?
k
Let j = 128.4429 + 2.5271. Let n = j - 130. Let x = 0.9 - n. Which is greater: 2 or x?
2
Suppose a = d - 1, 10*a - 12*a - 7 = -3*d. Suppose a*n = 570 - 610. Which is smaller: 0.1 or n?
n
Let v be (50/3)/((-136)/22593) + 1/(-4). Is v <= -2768?
True
Suppose 5*l - 7630 = 5*m, 0 = -2*l - m + 1837 + 1221. Which is bigger: 1530 or l?
1530
Let s = 17016 + -17016.73. Let t = 0.1 + -0.5. Is s <= t?
True
Suppose -239*i - 71393 = 38786. Is i less than or equal to -461?
True
Let a(g) = -190*g - 2580. Let i be a(-13). Is -1428/13 at most i?
False
Let y be (-3 + (-333)/(-114))*-2. Suppose 106*p - 102*p = -72. Let x be (-9)/12 + p/(-24). Which is smaller: y or x?
x
Suppose -22*l = 3029 + 645. Is l less than or equal to -2?
True
Let u = -494 + 649. Suppose -1 = 26*i + u. Which is bigger: i or -55/12?
-55/12
Let k = 9104 - 63726/7. Which is smaller: k or 1022?
k
Suppose -6*g + 2*p - 124 = -2*g, -4*g + 3*p - 128 = 0. Suppose 0 = 3*x - 5*x + 2*v - 2, 2*x + 4 = 3*v. Which is greater: x or g?
x
Suppose -47*d - 2 - 92 = 0. Is d greater than -2.347?
True
Let c(a) = -3*a**2 - 140*a - 1627. Let l be c(-22). Is -3/20594 smaller than l?
True
Suppose -13*g + 22*g - 18 = 0. Suppose 2 = -2*f - g*r, -f + 2*r = 1 + 3. Is f < 6?
True
Let q = -6237051/66674 - -63/3922. Is q less than -93?
True
Suppose h + 26*v - 28*v = 0, 2*v = -5*h + v. Which is smaller: h or -2/2225?
-2/2225
Let s(t) = 3*t**2 + 112*t + 819. Let r be s(-10). Is 1/2914 smaller than r?
False
Suppose 2*g - 21 = -3*m, g - 2*g + 14 = 5*m. Let s(h) = 60*h - 17 + 2*h**2 - 63*h + 3*h**2 - 4*h**2. Let w be s(7). Which is bigger: g or w?
w
Let a = -1554231/146 - -10646. Is 1 small