e 9/36*3/c. Is a at most as big as 9?
True
Let a = 109 - 104. Let v be (a + (-44)/8)*-2. Which is smaller: v or 2.8?
v
Let k(i) = -i**2 - 77*i + 1522. Let n be k(18). Which is smaller: n or -375/2?
n
Suppose -4*r + 819 = -7*r + 4*q, 5*r + 1307 = -3*q. Is -266 at least as big as r?
False
Suppose -2*y = -4*w - 192, 224 + 52 = 3*y - 4*w. Is y < 55?
False
Suppose 21*m = -8 - 55. Is m >= 1.83?
False
Let m = -44 + 2. Let u = 207/5 + m. Suppose -5*n + 6*a - 3*a - 12 = 0, -5*a = -2*n - 20. Is u less than n?
True
Suppose -9*k - 480 = -k. Let a be (20/k)/((-496)/498 + 1). Is -83 greater than or equal to a?
True
Let d = -172.015 - -0.015. Let h = d - -171.94. Which is bigger: -11 or h?
h
Let k(h) = 210*h**2 + 2*h + 2. Let j be k(-1). Let f = j + -210. Which is smaller: 15/29 or f?
f
Suppose -39*d = -50994 + 17649. Which is smaller: d or 854?
854
Let l(c) = -647*c + 5173. Let a be l(8). Let p = 7 - 11. Is a bigger than p?
True
Let h(q) = -q**3 + 31*q**2 - 46*q - 24. Let v be h(23). Suppose -2463*o + v = -2468*o. Is -629 greater than o?
True
Let c(f) = 3*f - 7*f + 4 + f**3 + 5*f**2 - 3*f. Let y be c(-6). Suppose n - 16 = 3*i, 4*n + 5*i = -3 + 33. Does y = n?
True
Let t be (-33)/110*96175/2655. Let m = -29/9 - -253/18. Let a = t + m. Is -1 greater than or equal to a?
False
Suppose 0 = -4*p - 5*q - 10165, 200 = 3*q + 203. Which is bigger: -2542 or p?
p
Let p be ((-412)/12)/(17/(-663)). Are 1340 and p equal?
False
Let x be (43/((-11825)/(-390)))/(-804 + -1). Let p = x - -1/175. Is 2/3 at least p?
True
Suppose 105*i - 825*i + 1078 = 358*i. Let w = -313/275 + 28/25. Is i at most w?
False
Let t = 16 + -10. Let v = -109.7 + -93.1. Let m = 202.9 + v. Are t and m equal?
False
Let z be 69/(-92) + (-79)/(-4)*1. Suppose -j + 92 = -3*w, 0 = -18*j + z*j + 3*w - 68. Is j less than 80?
False
Let u = 2/412249 - -440281910/4534739. Is 98 >= u?
True
Let p(x) be the third derivative of x**6/120 - x**5/10 - 5*x**4/24 - 13*x**3/6 - 18*x**2. Let h be p(7). Let w = 235 - 3287/14. Which is greater: h or w?
h
Let p(w) = -w**3 + 2*w**2 - 69*w - 4. Let o be p(0). Suppose -4*r + 3*r + 1 = 0. Suppose -i + c - 3 = 0, 3*i + r + 7 = 4*c. Is o bigger than i?
False
Let m = -5360 - -3857. Which is smaller: -1500 or m?
m
Let l(m) = m**2 + m - 19. Let s be l(-5). Suppose -w = 5*a - 4*w - 2, -5*a + 4*w = -s. Which is greater: a or -4/105?
a
Let c be 341417/3667 - ((-2)/4 - (-46)/76). Let a(g) = -2*g + 19. Let k be a(8). Which is bigger: k or c?
c
Suppose l = -3*s - 1287, -854 = 2*s + 240*l - 238*l. Is -446 smaller than s?
True
Let l(d) = d**3 - 12*d**2 - 30*d + 32. Let o be l(14). Suppose -6*t + t - 5*c = 520, 5*t + 524 = -4*c. Let j be (o/(-18))/((-9)/t). Is j < -2?
True
Suppose -12*s - 84 = -19*s. Suppose 2*v - 5 - 7 = -r, 33 = 4*r + 3*v. Let j be (-4 + r)*33/6. Which is smaller: j or s?
j
Suppose 0 = 12*b + 180 + 24. Let w be (2/(-6))/((-165)/(-8514)). Are w and b nonequal?
True
Suppose 5*v = -h + 15, -8 - 1 = -3*v + 4*h. Suppose 0 = -5*i + 3*t + 22, -3*i + 2*t - v*t = -2. Suppose -2*j + 5 = i*j - 3*d, 5 = 5*d. Is 9/16 bigger than j?
False
Let y be -18 + 18 + 1*2. Suppose 4*p = -y*p + 30. Let v(x) = 4*x - 20. Let l be v(6). Which is greater: p or l?
p
Let d = -63 + 63. Let y = -150 + 150. Let o be 8*(y + -2 - 61/(-30)). Which is greater: o or d?
o
Suppose 5*z = 4*a - 5101, -a + 1363 = -3*z - 1699. Is z smaller than -1030?
False
Let l = -53/964 - 216071/1928. Is l at most as big as -111?
True
Suppose q - 2*k + 558 = 456, q = -4*k - 96. Let t = 122 - 221. Do q and t have the same value?
False
Let s = -0.066 - -88.066. Let f = 51 - s. Let j = -2 - -2. Which is bigger: j or f?
j
Let l = 0 - -20. Let n = 0.3901 - -0.0099. Which is bigger: l or n?
l
Let z = 1 - 6. Let d = -126 + 126. Let i be (-5)/(110/11)*(d - -6). Is i <= z?
False
Let l(h) = h**2 - 7*h - 4. Let f be l(7). Let p be (((-7)/11697)/((-4)/48))/(-2). Let z = -22258/6127 + p. Is z not equal to f?
True
Let m(h) = 3*h**3 + 4*h**2 + 111*h + 852. Let w be m(-9). Do w and -2011 have the same value?
False
Let k be (-12)/(-24)*10/9. Suppose 20 = -v + 6*v. Let r(o) = -o**3 + 3*o**2 + 4*o + 2. Let h be r(v). Which is bigger: h or k?
h
Let y(b) = 59*b**3 - b**2 + 4*b - 2. Let n be y(1). Let q = 64 - n. Let s = 5 - 2. Is q at most as big as s?
False
Let m = -31 - -34. Suppose m*p - 23 = -4*r + 107, -2*p + r = -94. Let n = -44 + p. Do n and 2 have the same value?
True
Suppose -4*n + 9*u = 14*u + 8, -25 = 3*n - u. Let f(t) = -4*t**2 - 2*t + 7. Let w be f(-3). Let q = 17 + w. Are n and q non-equal?
True
Let t = -25/344 + 33179/25800. Is t at most as big as 1?
False
Let f be (-58)/(-638) - (-86590)/22. Is 3937 less than f?
False
Let p = 310 - 352. Let h be (15 - 19) + (-188)/p. Is h > -1?
True
Suppose -7*w + 5440 = -3*w - 4*k, -4*k = -2*w + 2730. Let h be 370026/273 - 52/(-182). Let i = w - h. Which is greater: -1 or i?
i
Suppose -32*k + 10 = -27*k. Suppose 3*q = 3*c + k*c + 18, -2*q - 2*c - 4 = 0. Suppose -7*v - 5*s = -6*v - q, v = -2*s + 1. Is -2/437 greater than v?
False
Let m(d) = 4*d**2 + 6. Let l be m(-4). Let y = l - 75. Let s be y/(-4)*(-1 - (-293)/295). Are -1 and s equal?
False
Let m = -390.53 - 25.27. Let o = m + 416. Do -40 and o have the same value?
False
Suppose 353 + 1079 = 2*o - l, -4*o + 2864 = -3*l. Which is bigger: 1431/2 or o?
o
Let d = -0.1155 - 48.9845. Let c = 63.1 + d. Are 2 and c equal?
False
Suppose -4*h - 25 + 69 = 0. Let j be 6/39 + 5464/(-26) + -1. Let t = j - -222. Is t <= h?
True
Let u = 5860 + -5859. Is 8/1577 less than u?
True
Suppose -6*l - 158 = -152. Let w be (-2)/3*3/(-13). Let t = -25/78 + w. Which is smaller: l or t?
l
Suppose -3*r - 3*c = 555, 15*r - 375 = 17*r + 3*c. Let y be (6/r)/((-3)/(-84)). Suppose -5*w - 5*o = -3*w - 21, 4*w + 4*o - 12 = 0. Is y not equal to w?
True
Suppose 4836 = 53*d - 40161. Which is bigger: d or 847?
d
Let r = 11 - -8. Let g(d) = -21*d - 6. Let m be g(-2). Let l = m - r. Is l smaller than 15?
False
Let h be (-256)/(-12)*(-1)/((-12)/(-18)). Which is smaller: 40 or h?
h
Suppose x + 18 = 5*u, 4*x + 33 = 8*x + u. Let c be (-11 + x)/(-4) - (3 - 3). Does c = 3/404?
False
Suppose -13*a - 76 = 80. Let t be (8/a + 1)/(25/15). Does 1/31 = t?
False
Let w(r) = -r**3 + 2*r**2 + 4*r - 4. Let c be w(3). Let p be 0/(c + -1 + 1). Let f be (7/(56/(-60)))/(-2)*38/171. Is f not equal to p?
True
Let h be (-85)/100 - 16/4*12/(-80). Which is bigger: h or 1.3486?
1.3486
Let s(k) = k - 2. Let b be s(3). Let a = -6906/690079 - -20/1417. Which is smaller: a or b?
a
Let t(q) = q**2 - 5*q + 6. Let w be t(4). Suppose 5*p + 3*x = 120, 16 = -p + w*p - x. Which is bigger: p or 18?
p
Let f = 230 - -177. Let m = -531 + f. Is m less than -125?
False
Let d = -0.00637 + 1.43637. Let c = -5 - -5.1. Are d and c equal?
False
Let x = -1003 - -1000. Let c be 0/3 + x/(-18). Which is smaller: 6/11 or c?
c
Suppose m = -m. Suppose m = 4*s + 20, -2*k + 2*s = -40 - 46. Let h be -68 - 1580/(-15) - 2/6. Are k and h nonequal?
True
Let w be (-128)/(107/(-18) + 6). Let o = -16174/7 - w. Is -6 greater than or equal to o?
True
Let c = -11.766 - -11.79. Let x = 5.52 + -8.496. Let y = c - x. Is -1.3 greater than y?
False
Suppose 22 = -16*r + 5*r - 132. Are r and -93 non-equal?
True
Let z(p) = p**2 - 20*p - 40. Let x be z(22). Let t be -2*(-616)/33 + x/6. Let l = 2 + -1. Is t > l?
True
Suppose -8*s - 2640 = 3*s - 0*s. Do s and -254 have the same value?
False
Let x = -423 + 425. Suppose 84 = 4*j - x*b, 3*j - 78 = 2*b - 15. Are j and 11 nonequal?
True
Suppose 5*r - 2072 = 4*l, 0*l = 4*r + 5*l - 1674. Suppose -20*m = -7*m - r. Is 33 bigger than m?
True
Suppose -69*i - 27308 - 14477 = -2731. Which is bigger: -597 or i?
i
Let o = 5540 + -5539. Do -1/19731 and o have different values?
True
Suppose -36*u = -33*u - 3, 144 = -4*s - 4*u. Is -67 >= s?
False
Let i be (-4)/(-14) + (-690)/(-1150)*11/21. Is -787 not equal to i?
True
Let v = -172/21 + 25670/3129. Let g = -51 + 49. Which is smaller: g or v?
g
Suppose 553475 = -9*r + 140*r. Is 4225 > r?
False
Suppose 0 = -149*x - 95*x + 62*x - 766584. Is -4208 greater than x?
True
Let j be ((-17)/(-4) + 1)*1425/225. Let d = j + -391/12. Let p = -1 + -4. Do p and d have different values?
True
Let t be 1184/(-28) + 4/14. Let o = 199 - 242. Let u = o - t. Is 1 less than or equal to u?
False
Let g = 182 - 19