t = 4 - 3. Let d(a) = 2*a**3 - 196*a**2 - 196*a - 407. Let j be d(99). Which is bigger: j or t?
t
Let w be 8/2 + (-84129)/21025. Let g = 23 + -24. Which is smaller: g or w?
g
Let c = 727.19 - 16.19. Let u = c + -727.96. Let r = u + -0.04. Is r at least as big as 0?
False
Let j = -0.073 + 0.013. Let f = 375.47 + -377. Let r = -1.43 - f. Which is smaller: j or r?
j
Let y(o) = -380*o + 5321. Let d be y(14). Which is bigger: d or 2/3279?
d
Suppose q - 5*v - 5 = 0, 7*q - 3*q + 44 = 4*v. Let o = -4113/2 + 44923/22. Are q and o unequal?
True
Suppose 4*l - 42 = 310. Suppose -261 = -3*o + 75*w - 78*w, -6*w - 12 = 0. Which is bigger: o or l?
o
Suppose -110*g = -109*g + 2*y + 175, 2*g - 4*y + 390 = 0. Is g bigger than -186?
True
Let f be 8686/48 - 205/615. Do f and 181 have the same value?
False
Let a = 4.083 - 0.433. Let b = -3.55 + a. Is b less than 221?
True
Let g be -3385 + 1 - (-7 + -7 - -12). Is -3381 != g?
True
Let n = 1 + 2. Suppose -2*v + 0*k - 40 = -n*k, 3*k + 20 = -v. Let a(q) = -q**3 + 10*q**2 + 3*q - 52. Let p be a(10). Which is bigger: p or v?
v
Let r = 10958.3 + -11012. Which is greater: 0.03 or r?
0.03
Let m = 3 - 4. Let q be ((-1)/((-48)/(-4)))/((-59)/(-8)). Is m greater than q?
False
Suppose 5*m - 4*m = -2*s + 404, 2*m - 799 = -s. Let b be ((-264)/16 - -7)/(6 + 2530/(-420)). Is b >= m?
True
Let b = 8.09 - 0.09. Let g = -19 - b. Let i = -2622 - -2623. Is i equal to g?
False
Let p be -106 - -109 - ((-114)/(-27) - (1 + 0)). Which is bigger: p or -0.056?
-0.056
Suppose 607 = -4*c + 5*l, 0 = -c - 5*l - 56 - 102. Let o = c + 170. Suppose 4*q - 2*u - 37 = 35, 3*q - 60 = 3*u. Which is smaller: q or o?
q
Let u be (1 + (-6 - -3))*(7 + (-19462)/2780). Which is bigger: u or 1/4?
1/4
Let s be -1032 - ((144/40)/(-6))/((-6)/40). Is s >= -3107/3?
False
Let l be 2/((-5)/1 - 118/(-59)). Which is smaller: l or -6370?
-6370
Let g = 4610515 - 22337945902/4845. Let l = -2/255 + g. Which is smaller: 0 or l?
l
Let w(r) = 4*r - 9. Let c(k) = 3*k - 8. Let p(m) = 3*c(m) - 4*w(m). Let a be p(-5). Is a at most 48?
True
Let f be ((-1)/8)/(6 - (-10 + 36)). Which is smaller: 0.1 or f?
f
Suppose -x + p + 62 = -141, 0 = 2*x - 5*p - 421. Do x and 195 have the same value?
False
Let m be 12/(-18)*(-9)/3. Suppose 5*a - m*h + 5*h = 68, -h = -2*a + 25. Let d be -28*((-26)/12)/a. Is d less than or equal to 0.1?
False
Suppose 5*s + 250 = x, 5*s + 5*x + 0*x = -220. Let c = -43 - s. Suppose -w + 2 = -4*z + 5, 0 = 2*w + c. Which is bigger: 4/29 or z?
4/29
Let w be (-545150)/(-68200) - (5 - (1 - 4)). Is w greater than -1?
True
Let w = 67 - 67.344. Let d = w + 0.584. Which is smaller: -0.05 or d?
-0.05
Let a(p) = -p**2 + 40*p - 32. Let v be a(33). Let g be ((3 - 4) + 797)*4/16. Is v at least g?
True
Suppose 0 = 4*t - 21 - 15. Suppose -5*s + t = 4*q, 4*s + 1 = -2*q + 7. Let p(h) = h**2 + 4*h + 3. Let i be p(-1). Are i and s nonequal?
True
Suppose -4*x = -t + 6, -2*t + 9 = -0*t - 5*x. Suppose -t*a + 4*a + 150 = 2*i, 0 = 3*a + 5*i + 217. Let f = 75 + a. Is f <= 2/89?
False
Let w = -487 - -483. Let m(q) = -4*q**3 - 13*q**2 - 14*q - 3. Let s be m(w). Which is bigger: 102 or s?
102
Let w = 58545 + -3220101/55. Let z = w - 74/55. Is -1/4 > z?
True
Let m be 10/(-6)*2/(-545). Let j be (0 - (-9)/18)*(-6 - -9 - 1). Which is bigger: j or m?
j
Let o = -2/138415 - 52192/219664605. Is 1 smaller than o?
False
Let q(u) = -3*u**3 + 4*u**2 - 18*u + 8. Let k(s) = -16*s**3 + 18*s**2 - 91*s + 39. Let x(z) = 2*k(z) - 11*q(z). Let y be x(5). Which is greater: -44/9 or y?
-44/9
Let s(o) = -o - 3. Let q(z) = -2*z**2 + 22*z - 45. Let b(v) = -q(v) + 6*s(v). Let p be b(13). Which is smaller: 5/36 or p?
5/36
Suppose -1140 = -6*b - 252. Let h be (-1)/((2/(-6))/1). Suppose l - 2*l + 4*x = 31, h*l + b = x. Is l bigger than -50?
False
Let q = 588 - 351. Let o = -236 + q. Are o and 2/77 non-equal?
True
Let j = -7 + 15. Let t = 20045 - 20030. Is t at most as big as j?
False
Suppose 31*g + 56 - 180 = 0. Suppose -7 = g*x + 3*x. Let b = -470/7 + 66. Is x < b?
False
Suppose -201*p + 204*p = 4*a - 476, 2*p = -8. Which is smaller: a or 113?
113
Let m be -1*14/4*(3 - 7). Let s(y) = -14*y + 58. Let a be s(m). Which is bigger: -137 or a?
-137
Suppose 3*u + 18216 + 24960 = -53*u. Is -779 smaller than u?
True
Let r = -18 - -37. Let b be -7 + (-86)/(-8) - 2/(-8). Suppose 2*t - g = 41, b*g - 40 = -4*t + 36. Which is smaller: r or t?
r
Let a(p) = p**2 - 4*p - 7. Let k be a(5). Suppose 0 = -6*o + 452 + 736. Let m = o - 574/3. Which is greater: k or m?
m
Let p = 15 + -18. Let f be ((-3)/p)/(-3)*-12. Suppose 4*k + 2 - 37 = -5*v, 0 = -f*k. Is v greater than 5?
True
Let u be (-3)/(((-51)/71230)/((-16)/(-10))). Let t be -1 + -1 - u/(-3376). Is -0.1 bigger than t?
False
Let w(u) = -25*u + 3218. Let z be w(28). Is z less than or equal to 2520?
True
Suppose -f = 16 + 48. Suppose -3*m - 5*t - 257 + 95 = 0, 3*m = t - 198. Is f smaller than m?
False
Let g = 37.466 - -0.654. Let x = g + 5.98. Let l = x + -44. Does l = -2?
False
Suppose -5*q - 6 - 24 = 0. Let u be 9/q*70/(-3). Is 37 < u?
False
Let y = -23 - -19. Let d be 4/6*2/y. Suppose -7*i + 120 = 3*i. Is i greater than d?
True
Let y(v) = -4*v + 15. Let p(d) = d - 1. Let g(z) = -6*p(z) - 2*y(z). Let n be g(14). Suppose 2*j = 3*m - 7, 2*j = -4*m - 2*j - n. Which is bigger: 1/21 or m?
m
Suppose -k = -4*u + 21 + 64, 0 = -u + 4*k - 5. Which is bigger: u or 1?
u
Let d = 2.31 + -124.31. Let y = d - -78. Let p = 43.72 + y. Is p greater than 0.1?
False
Let n = -1081 - -1080. Does n = -144?
False
Let w = -74 + 132. Let q = -545065 + 545125. Which is bigger: w or q?
q
Suppose 24083 = 66*r - 2383. Suppose 3*g = 2*g + 2*a + 5, -2*a - 10 = 4*g. Is r at most g?
False
Let u = -804079/19 + 42551. Let c = u - 231. Suppose 40*d - 35*d = -3*m, -m = d. Is d bigger than c?
False
Let o(h) = h**3 - 4*h**2 - 6*h + 38. Let a(r) = 7*r**3 - 20*r**2 - 30*r + 189. Let l(v) = 2*a(v) - 11*o(v). Let d be l(5). Which is greater: 466 or d?
466
Suppose 57*r - 34823 = 83*r + 71*r. Do -361 and r have the same value?
False
Suppose -10*l - 11*l - 55 = -97. Are 9.6 and l equal?
False
Let w(f) = 5*f**2 - 2*f - 26. Let c(g) = g**2 + 2*g. Let d(q) = -6*c(q) + w(q). Let b be d(-12). Is 4 equal to b?
False
Suppose 5*t = 0, -185 = -0*f - 5*f + 2*t. Let g(p) = -13*p + 262. Let b be g(20). Suppose -b*q = -71 - 3. Is f smaller than q?
False
Suppose -5*n = -x + 16, 3 - 23 = -3*x + n. Suppose 1 = o + x. Let b be 17 + (4 - (-15)/o). Is 15 at most b?
True
Suppose -21 = -11*x + 14*x. Suppose 4*y - 86 = -5*j, -4 = 3*y - 1. Suppose j = 8*k - 10*k. Is x less than or equal to k?
False
Suppose -5*m = 3*q - 280 - 70, 0 = -3*q - m + 334. Do q and 765/7 have different values?
True
Let d(a) = a**3 - 3*a**2 + 4. Let r be d(2). Do r and -108/13 have different values?
True
Let v = 2748 + -2766. Which is smaller: v or -192/11?
v
Let z be (0 - (1 - 0)) + -5 + (-88476)/(-12045). Are 1 and z non-equal?
True
Let v = -21 + 58. Let s be 1/(-5)*(-60 - -35). Let w be (s - 1) + (-102)/(-3). Is w equal to v?
False
Let v be 6/(-26) + 54368/(-4160). Which is greater: v or -13?
-13
Let j(p) = p**2 + 3*p - 9. Let l be j(7). Suppose 1268*z - 37122 = 42762. Is z greater than or equal to l?
True
Let i be (-4)/6 - 2360/(-3558). Suppose -2*p + 24*f = 29*f - 45, f - 9 = 4*p. Are i and p non-equal?
True
Let t = 604 - 1080. Let r be -3 - (5/(-5))/((-164)/t). Does r = 1?
False
Let y = -0.1819 - 0.0931. Which is smaller: y or 0?
y
Let u be 3 + -4 + 5 + -2. Let p be u/(-1) - (-21)/7. Let n be 2/(-155)*((0 - -1) + 4). Which is smaller: p or n?
n
Let t = -2821159/342 - -8249. Suppose q - u - 4 = -0*u, 2*u = 4*q - 10. Which is bigger: q or t?
q
Let a(z) = -2*z**3 - 4*z**2 + z - 1. Let f be a(-4). Let r = 56 - f. Let s be (-1)/((-15)/(-35)) + (-1)/r. Which is smaller: -6/11 or s?
s
Suppose 0 = 2*b + 1 - 7, -b + 4 = -j. Let a(r) = 18*r - 3. Let g be a(-7). Let f be ((-9)/(-18))/(g/(-4)). Which is bigger: f or j?
f
Let q = -10 + 10.04. Let n be (-5)/20 - 125/(-22) - 5. Let d = n + -1/4. Does d = q?
False
Let c(g) = -g**3 + 25 - 17 - 15*g - 16*g**2 + 2*g**3 + 8. Let n be c(17). Is 51 greater than n?
True
Let v = 2020 + -2240. Which is smaller: v or -222?
-222
Let z = 27.8 - 29.8. Let b = -112.18 + 151.8. Let d = 0.38 + b. Is z > d?
False
Suppose -2*p + 4*i = -314 + 206, -2*i + 146 = 3