 4*j + 25, 5*j = -3*f - 35. Let i(l) = 2*l**2 + 3*l + 2. Let w be i(j). Let k(o) = 320*o**2 + 2557*o - 3. Let c be k(-8). Is w at most c?
False
Let y(v) = -v**2 + 7*v + 47. Let z be y(11). Let m be (-4)/(5 + z)*(-26)/76. Is m bigger than 0?
True
Let d = -80381/10 + 8030. Let o = -6403/790 - d. Let a = o - -808/3555. Is 61 greater than a?
True
Let h(b) = 94*b**2. Let d be h(-1). Let y be ((-9*2)/(-3))/(180/(-2832)). Let g = y + d. Which is bigger: g or -79?
g
Suppose 90*h - 51*h = 0. Let k be ((-4)/(-50))/(11/(-5)). Which is bigger: k or h?
h
Let j(c) = -96*c - 6. Let a be j(4). Let u = 1927/5 + a. Let x be 15/((-75)/10) - (-2)/(-1). Which is smaller: u or x?
u
Let u be 565975/(-1555675) - (-24)/66. Do u and -1 have different values?
True
Let i be 1/4 + 18/(-8). Let f be 90/5 - (-1 - (i + -1)). Let m be f/4 - 2 - -2. Which is smaller: 0.1 or m?
0.1
Let t(s) = 5*s. Let n be t(5). Suppose 475 = 8*q + 435. Suppose q*w = -3*x + 101, 4*w - 223*x + 221*x - 94 = 0. Which is greater: w or n?
n
Let f be ((-3)/18)/(-13 - 1813/(-140)). Are f and 2 equal?
False
Suppose 2*y + 18 = -2*v, -3*y = -2*v + 375 - 373. Is 503 > v?
True
Let c(p) = -189*p - 6866. Let z be c(-32). Which is smaller: -819 or z?
-819
Let a = 4774 + -4822.7. Which is bigger: -0.07 or a?
-0.07
Suppose 19*h = 99 - 4. Suppose -4*w + 13 = 1. Let b be w - -2*(-1)/(-2). Is h less than or equal to b?
False
Let a be 3/(-1 + 0) - (-395)/(-20)*-20. Which is greater: a or 388?
a
Let a be 2574/598 - (-3)/((-12)/16). Which is greater: a or 0?
a
Let t = -382.9 + 323.9. Which is greater: t or -45?
-45
Let x = 91671453/157318 - 1/22474. Let d = 589 - x. Let r be -8 + ((-5)/40 - 363/(-24)). Which is smaller: r or d?
d
Let q = 615 + -612. Suppose -41 = 4*x + q*y, -4*x + 8*x + 38 = -2*y. Which is smaller: -40 or x?
-40
Let b = 815 + -614. Let n = 200.98 - b. Does n = 2?
False
Let u = -3 - -5. Let a(d) = -d**u - 5*d - d**3 + 8*d - 2 + 7*d**2 + 1. Let o be a(4). Which is smaller: 44 or o?
o
Let t = -473 + 6150/13. Let f = 55 - 109/2. Are f and t equal?
False
Suppose -4*t = -3*r - 705, r = 2*t - r - 354. Let u = t + -107. Are u and 64 equal?
False
Let n = 34 - 6. Let l = 62 + -249. Let v = 188 + l. Is n > v?
True
Let o = 2.09 + 99.91. Let r = -57 - -155. Let m = r - o. Which is bigger: m or -1/2?
-1/2
Suppose -2*k = 3*k - 70. Suppose 16 + 2 = 4*t - 2*i, 0 = i + 5. Let m be 18/k - (t - 0). Is m at most 0?
True
Suppose 2*c + 3830 = -3*g, -4*c = 2*g + 11899 - 4255. Which is smaller: c or -1910?
-1910
Suppose 61 = 15*l - 14. Suppose 0 = -5*f - 3*v - 412, l*v = 4*f - 2*f + 171. Which is smaller: -84 or f?
-84
Suppose -2*g + 4*g = -6, -3*g = 3*b + 192. Which is bigger: b or -179?
b
Let f(h) = -h**3 - h - 1. Let d be f(0). Let k = -9667 + 338353/35. Is d less than or equal to k?
True
Let a = 3488 - 3504. Which is greater: 0.78 or a?
0.78
Let p = 1 + 5. Let b(n) = -363*n + 2907. Let a be b(8). Which is smaller: p or a?
a
Let t(m) = -m - 7. Let o be t(-6). Let y be (10/(-6))/((460/(-12))/23). Is o != y?
True
Let b(c) = -c**3 - 23*c**2 - 40*c + 23. Let v be b(-7). Which is bigger: -2412/5 or v?
v
Let q = 51296 + -1488910/29. Which is smaller: q or -47?
-47
Let q = -38411/41 + 937. Let u(k) = -k**3 - 4*k**2. Let i be u(-4). Suppose i = -4*p - 8*p. Which is smaller: q or p?
p
Let u = 15 + 8. Let z = 22.1 - u. Let o = -3136 + 3136. Which is smaller: o or z?
z
Let k(z) = -z**3 - z**2 - 2*z + 6. Let a be k(0). Suppose -t + 8 = -a*t - 2*p, 2*p = -2*t - 8. Is t at least -2?
True
Suppose -33 = 28*f - 5. Is 2/2783 at least f?
True
Let g = -8543 + 8540. Is 4/491 < g?
False
Let q be ((-4)/3)/((-24)/18) - -299. Let x = q + -3898/13. Suppose 3*s = 2*s - 1. Is s at least as big as x?
False
Let r = 4985 - 14818/3. Suppose -5*g - 134 + 364 = 0. Is r != g?
True
Let i(y) = 75*y + 1499. Let g be i(-20). Let t be 5 + -8 + (-279)/(-95). Is t greater than g?
True
Let n = 2.28 + 1.2. Let p = n + -3.657. Is p smaller than 0?
True
Suppose 171*r - 2695 = 164*r. Suppose 13*p = 2*p - r. Is -33 > p?
True
Let t(z) = -9 + 412*z + 40 - 812*z + 405*z. Let n(x) = -3*x + 4. Let f be n(3). Let d be t(f). Is d > 7?
False
Let r(k) = -2*k**3 - 42*k**2 + 60*k + 205. Let g be r(-23). Is 938 at most g?
True
Suppose -9*o + 4892 = -6808 + 2538. Do o and 1026 have the same value?
False
Let y = 49 - 6. Let x = 160.8 - 161. Which is smaller: x or y?
x
Suppose 1700 = -19*x + 712. Let l = x - 20. Which is bigger: -74 or l?
l
Suppose 0 = -7*u + 4*u + b + 6, 2*u = -3*b - 7. Let c be (-12)/8*u + (-30)/(-28). Which is smaller: c or -1/2?
-1/2
Let n = 11773.61 - 2.61. Do 1 and n have different values?
True
Suppose -3*f + 5*y + 15 = 2*y, 3*y = 12. Let b be -1 + (f/(-18))/((-2)/20). Suppose 0 = b*m + 18 - 50. Is m not equal to 10?
True
Suppose 0 = -0*w - 5*w - 680. Let o be (6/w)/((-1)/(-8)). Let n = 23.074 - 23.174. Which is greater: n or o?
n
Suppose -26488 + 34930 = -228*y - 104646. Is -494 > y?
True
Let w be ((-1022)/730 + 2 + 82/(-20))*-8. Which is smaller: w or 34?
w
Let t be 13/208 + (-6630)/96 + -8. Which is smaller: -22 or t?
t
Suppose 0 = 3*i + 3, -2*k + 4 = 3*i + 3. Let p be (k/3)/(3/9) - 4. Let u be 13*-1 + (4 + p - 1). Which is smaller: -3 or u?
u
Suppose 9*l = 13*l + 12. Let d be ((-6352)/80)/(l/15). Is 397 smaller than d?
False
Let c = 4179 + -4182. Which is smaller: c or -2471?
-2471
Let h be ((-18)/15)/((-6)/20). Suppose n - 6*x + x = 6, -3*n = h*x + 1. Let c be 1521/36 - n/4. Which is smaller: 43 or c?
c
Let n(f) be the second derivative of f**5/20 + f**4/6 - f**3/6 + 5*f**2/2 - 5*f - 7. Let g be n(-3). Is 2/19 greater than or equal to g?
True
Suppose 2*s + 0 + 8 = 0, 0 = 4*l + s + 128. Let v be ((-1)/6)/(l/(-4) - 8). Is v >= 0?
True
Let a = 116 + -162. Suppose -4*t - 4*b - 20 = -8*t, 15 = 3*t + 4*b. Suppose v + y = -2*y - 48, t*y = -4*v - 185. Are a and v unequal?
True
Suppose 3*r - 8373 = -2*t, r - 2253 = -3*t + 545. Which is smaller: -2/3 or r?
-2/3
Let s = 14696/7 + -6818943/3248. Is s at least 0?
True
Let n(c) = 182 + c**3 + 4*c - 96 - 3*c**2 - 91. Let d(r) = -r + 10. Let b be d(8). Let i be n(b). Which is greater: -1/5 or i?
-1/5
Let o(j) = -j + 2. Let q be o(-1). Let w be (-49)/14 + q + 85/2. Let i be (-2)/10 + 2*w/870. Is i at most as big as 1?
True
Let b = 11506 + -14496. Is 0.3 less than or equal to b?
False
Suppose 1301 + 403 = 2*i. Let a = 802 - i. Do -5 and a have the same value?
False
Let k be ((-198)/(-36) - 5)*-712. Are -1067/3 and k unequal?
True
Let g be (-1389180)/(-945) + (180/(-35) - -4). Is 1468 greater than g?
False
Let f = 111 - 123. Let w = -20 + f. Let r be (-56)/w + ((-30)/8)/5. Is 2/33 not equal to r?
True
Let h be 1429/11408 - (-6)/(-48 - 0). Is -1 bigger than h?
False
Suppose -3275 - 10899 + 1836 = 199*d. Is -1206/19 smaller than d?
True
Let k(l) be the third derivative of -l**6/120 - 17*l**5/60 - l**4/24 - 3*l**3 - 6*l**2. Let a be k(-17). Let y be 154/(-8) + a/(-4). Is y smaller than -19?
False
Let k(w) = 483*w + 29955. Let s be k(-62). Let n = 5 + -5. Which is smaller: s or n?
n
Let a(w) = -2*w**2 + 3*w - 2. Let g be a(4). Let d = -6 - g. Let j = 73 + -56. Is d greater than j?
False
Let h(a) be the first derivative of 8 + 1/2*a**2 + 10*a. Let c be h(-12). Is -5 at least as big as c?
False
Let m(j) = -9*j + 52. Let s(a) = 15*a + 54. Let n be s(-4). Let z be m(n). Is 421/4 smaller than z?
True
Let s = -22 + 25. Suppose 4*w - 20 = s*w. Suppose 0 = -10*d + 6*d - w. Which is smaller: -3 or d?
d
Suppose -25*g = 5815 + 535. Which is bigger: -260 or g?
g
Let k = -98 - -100. Suppose k = -18*p + 20. Which is greater: -7/67 or p?
p
Let q = 4104 - 4121. Let w = 17.4 + -0.4. Let s = 20 - w. Which is smaller: q or s?
q
Let t be 2/7 + 1*(3 - 372/126). Let w be 3 - ((-36)/(-8) - -3). Is w > t?
False
Suppose -3*a + 172 = -l, -104 = -2*a + 123*l - 121*l. Which is bigger: 68 or a?
68
Let o = 2996 + -1699. Let d = 1368.3 - o. Let l = 71 - d. Which is smaller: -2/15 or l?
l
Let x(w) = -2 + 32*w**2 - w - 1 - 4 - 31*w**2. Let r be 5*(-2)/((-30)/9). Let m be x(r). Is -1/4 less than m?
False
Let l be (-5)/1*(-3)/(-3). Let t = 37 + -49. Let a be (1/3)/(t/150). Does a = l?
False
Suppose 2*k = 5*a - 21, 4*a - 6*k - 21 = -3*k. Let u be ((-15)/(-180))/(3/36*a). Are u and -585 unequal?
True
Let a = -3 + -1. Suppose 945 = 3*b - 117. Let o be (-4 - b/(