Let r = 163.9 - 164. Which is smaller: a or r?
a
Suppose 4*g = 20, -3*o + 22 = -2*o + 3*g. Let c(r) = 2*r**2 - r - 56. Let w be c(o). Is w smaller than 35?
False
Let d = -96.1 - -96. Let a = 173/1190 + 18/85. Which is bigger: a or d?
a
Let x be ((-6)/5)/((-7)/5). Let l = -60 - -57. Let v be 19/(-5) - 9/l. Which is bigger: x or v?
x
Let x = -23839/7 + 3417. Is x bigger than 12?
False
Let j be 4*((-10)/8 - -1). Is 574.4 not equal to j?
True
Let j = -1 + -4. Let y = j + 8. Let m = -38/25 + 291/175. Which is smaller: y or m?
m
Let a(v) = -29*v**2 + 1100*v - 53. Let r be a(38). Which is smaller: r or -159?
-159
Let i = 2/193577 + -31166029/12776082. Let y = i + -3097/99. Let v = y + 182/9. Is -15 at most v?
True
Let h = -4/675 + 16228/4725. Let r = 7113 - 7113. Which is greater: h or r?
h
Suppose -5*i - 29735 = -13*i + 3*i. Is 5947 equal to i?
True
Let v be 4/(-6)*(-420)/8. Suppose n = -2*t + v, 4*n - 85 = -5*t - n. Let h be (-2)/t*(-102)/(-1241). Is 1 less than or equal to h?
False
Let a(f) = -5*f + 176. Let g be a(35). Let w be g - (-408)/(-100) - 27/(-9). Is -1 <= w?
True
Let q be ((-3514)/(-1092))/(2/9). Let n = q + 1/52. Is 16 greater than n?
True
Let a be 17/((-1802)/(-60))*(-56)/21. Are a and -2 unequal?
True
Let x = -192 + 193.23. Let m = 143.1 - 142.9. Which is smaller: m or x?
m
Let d = -41 + 40. Let j = -8489/9 - -943. Which is greater: d or j?
j
Let l be (1/(-6) - 11/6) + 7. Suppose -5*p + 90 = 2*r - 7*p, l*r - p = 217. Which is smaller: 39 or r?
39
Suppose 171*n + 16 = 173*n. Suppose -2*u = -3*r + 2*u + 74, 3*u = 2*r - 48. Let t be r/(-8) + (-2)/n - -6. Is t greater than 24/7?
False
Let f = 258 - 272. Let c be (-19)/((16 + f)/(8/2)). Which is greater: c or -77/2?
c
Let x(b) = 3*b - 20. Let l be x(-16). Let q be l/6*(7 - (3 - 5)). Which is greater: -2 or q?
-2
Let y = 282/7 + -67412/1673. Let z(q) = 3*q**2 + 13*q + 26. Let n be z(-4). Suppose -n*v = -18*v + 4. Is y < v?
False
Suppose 0 = -2*c + 4*y + 80, 9*c - 6*c + 4*y = 70. Suppose -22 - c = -13*p. Suppose -p*o = o + 10, 4*v = 4*o + 52. Is 2 < v?
True
Let f = 3752 + -3753. Which is smaller: f or 3/2155?
f
Suppose -5*t + f - 7 = 0, -99*t - 2*f + 14 = -103*t. Is t greater than or equal to 7/97?
False
Suppose 49*f + 4536 = 56*f. Is f equal to 648?
True
Let u = -8545/199206 + 24/527. Is 0 less than u?
True
Let k be -4 - 133*(-48)/504. Let g = 55 - 37. Let f = g + -9. Which is smaller: k or f?
k
Suppose 24*l + 144 = 8*l. Let x = -7 + l. Let u be (-9 - 184/x)*(-2)/(-21). Is u at least as big as -1?
True
Let b be 4758/770 - (-4)/(-10). Let v = -36/7 + b. Let z = 175520 - 175518. Are z and v non-equal?
True
Let j(o) = 11 - 19 + o + 3. Let g be j(-6). Let v(n) = n**3 + 9*n**2 - 22*n + 4. Let h be v(g). Which is greater: 13 or h?
13
Suppose -h + 10*d - 6*d - 34 = 0, 4*h + 3*d = -231. Let o be ((-3)/4)/(11/792). Let l = o - h. Which is bigger: l or 6/17?
6/17
Let d(b) = b**2 - 3*b + 3. Let r = 106 - 101. Suppose 0*m + 3*m = -5*i + 10, 0 = r*i + 4*m - 10. Let x be d(i). Is x smaller than 9/17?
False
Let a = 806187/70 - 11517. Let s(l) = -l**3 - 3*l**2 + 3*l - 5. Let g be s(-4). Is g less than or equal to a?
True
Let u be (306/(-4))/(2/(-4)). Let d = u + -1679/11. Let s(m) = -403*m - 5643. Let r be s(-14). Do d and r have different values?
True
Let t = -48/71 + -1202/3053. Which is smaller: t or -1?
t
Let v(a) = 3*a**2 - a + 10. Let k be v(7). Suppose -159*j + k*j = 0. Which is smaller: j or -2/583?
-2/583
Let w(r) be the third derivative of r**5/60 + 11*r**4/12 + 3*r**3/2 - 34*r**2. Let d be w(-19). Let q = 52 + d. Which is smaller: 5 or q?
q
Let i be -2458*((7 - (-33)/(-2)) + 8). Is i < 3687?
False
Let m be 5 + ((-70)/(-20))/(3/18). Let u(n) = n**2 + 3*n - 1. Let r = -19 - -12. Let b be u(r). Is m greater than or equal to b?
False
Suppose -2*x = 17*d - 12*d + 381, 4*x - 85 = d. Do -83 and d have the same value?
False
Let u(d) be the first derivative of d**3 + 7*d**2 + 9*d - 1. Let r be u(-6). Suppose -g - 3*y + 11 = 0, 0*g - 4*y = -3*g + r. Is 12 at least g?
True
Let c(i) = -7*i**2 - 9*i + 364. Let q be c(-19). Is q at most as big as -1992?
True
Suppose h - 165 = -164. Suppose 11*b - 12*b - 315 = 0. Let d be 4/3 - (-60)/b. Is d equal to h?
False
Let l = 2388 - 1570. Which is bigger: -3 or l?
l
Let b = 11039 - 11043. Is b bigger than -5/42?
False
Let x = 2.2686 + -2.3486. Which is greater: -37 or x?
x
Let t be 144 - (4/(-10) + (-9)/(675/195)). Let u be ((-8)/(-30))/(4/(-1990)). Let c = u + t. Are c and 13 nonequal?
True
Let w be ((-4)/12)/((-42)/702). Let m(d) = -7*d**3 + 1. Let f be m(1). Let g be -2 - (f - -2 - (-6)/(-2)). Which is smaller: g or w?
g
Let i = -19769 - -20600. Which is smaller: 833 or i?
i
Let z = 713 + -891. Which is smaller: z or 11?
z
Let v = -258.0964 - -1.0964. Is v at most as big as -1/2?
True
Let d(i) = i**3 + 5*i**2 + 2*i + 11. Let g be d(-4). Let p be (12 - (-225)/(-18))*4/g. Which is smaller: p or 12?
p
Let r = 18 - 16. Suppose 0*q - 248 = -4*q. Let l = q - 70. Which is smaller: r or l?
l
Let y(g) = 0*g + 44*g**2 - 4*g - 4 - 46*g**2 - 21*g**3. Let t be y(-2). Which is bigger: 163 or t?
t
Let g = 608 - 5528/9. Suppose -5*f + 2*f + 474 - 489 = 0. Which is bigger: g or f?
f
Suppose 8 - 58 = -2*r. Let g be ((-132)/(-180) - 8/6)*r. Which is greater: -14 or g?
-14
Let b(d) be the first derivative of -8*d**3/3 + 49*d**2/2 - 8*d + 70. Let s be b(6). Which is smaller: s or -18/17?
s
Let v = 20658 - 20613. Which is bigger: 6/79 or v?
v
Let o(f) = -2*f**2 - 2*f**3 + f**2 + 3*f + 2 + f**3. Let n be o(-3). Let m(i) = 14*i**2 - 191*i - 271. Let q be m(15). Is q greater than n?
True
Let b = 14565 - 14560. Is b > 655?
False
Let b be (5/(-3) - -2) + (-58651)/(-267). Which is greater: b or 204?
b
Let g = 53 + -53.2. Let b = 52.3 + -57. Let t = 2.9 + b. Which is greater: t or g?
g
Let c be (120/32)/((-12)/16) - (-4 + -4474). Is 4471 at most as big as c?
True
Let f(x) be the second derivative of x**5/20 - 13*x**4/12 + 5*x**3/2 - 15*x**2 + 35*x. Let u be f(12). Let j be 1/1*0/u. Which is greater: j or 1/127?
1/127
Let a(k) = k**3 - 4*k**2 - k. Let i be a(4). Let j be ((-18)/9)/(i/264). Is j equal to 134?
False
Let r(b) = -b**2 + 99*b - 1985. Let f be r(28). Suppose 0 = -2*z + 4*g - 0*g + 62, -2*g = z - 35. Is f at most z?
True
Let c = -99 + 93.7. Let j = -8.3 - c. Which is greater: 17 or j?
17
Suppose 20 = 4*b, 0*b = -2*f - 2*b - 30. Suppose 4*i + 76 = 4*h, 2*h + 3*i - 90 = -2*h. Suppose -8*g + h - 181 = 0. Is g at most f?
True
Let d = 18434 + -18445. Is d less than or equal to -1350?
False
Let z = -542 - -346. Let t = z + 799/4. Let k = 5 - t. Which is smaller: k or 0?
0
Suppose -360 = -8*i - 1128. Let a be i/70 - ((-45)/25 + 1). Which is smaller: 1/15 or a?
a
Let b = -27008/725 - -1281/29. Which is smaller: b or 7?
b
Let d = -0.819 - -38.919. Let f = -38.2 + d. Is f at most as big as 0.7?
True
Let z be 5 + (2/11 - 633/33). Let h be 9/((-567)/z) + (-191)/819. Which is smaller: h or 1?
h
Suppose 0*g + 973 = -5*n - 3*g, 0 = -2*n - 4*g - 378. Let x = -229 - n. Are x and -129/4 non-equal?
True
Let i = -2851/357060 + 7/1082. Which is smaller: i or 0?
i
Let s = 3268 + -3387. Is s > 3?
False
Let i = 5805 + -5790. Is i not equal to -0.68?
True
Let w = -26.077 + 32.077. Which is bigger: 4/243 or w?
w
Let f = 11186/16743 - 8/5581. Which is smaller: f or -1401.2?
-1401.2
Suppose 132*t = -13*t - 78*t - 471422. Is t equal to -2116?
False
Let v = -4949 + 4783. Let k be -5*1*1804/55. Which is bigger: k or v?
k
Suppose -90 = -5*v + 4*s + s, 0 = 3*v + 4*s - 26. Let q = 242 + -253. Let k be v + q - (-51)/(-7). Which is bigger: -3 or k?
-3
Suppose 49*j = 50*j - 28. Suppose 22*q + 264 = j*q. Is q < 44?
False
Suppose 4*w - 31 = 4*r - 7, -3*r = w - 2. Let i be (-2)/w*(-1290)/(-86). Is -7 > i?
False
Suppose w + 1 = -1. Let y be 38/(-4) + 6/(-12). Let v be (25/y)/(2*(0 - -1)). Which is smaller: v or w?
w
Suppose -214*n - 4387 = -15087. Which is greater: 39 or n?
n
Let j = 413 + -417. Which is greater: j or -153/32?
j
Let h = -97.5 - -98.5. Is h at least as big as -93?
True
Let a be -3*1 - (-37 - -40)*(-2)/3. Is a equal to -2/8999?
False
Suppose -152*m = -156*m. Which is smaller: 1/476 or m?
m
Suppose -14*h - 5945 = -5847. Let g(r) = r**2 + 5*r - 5. Let w be g(-7). Is w <= h?
False
Let l = 513/25 + -667363/32