3*p, 5*u = 3*p - 8. Let v be u + (-78)/(-21) + (-75)/(-140). Which is smaller: v or -0.82?
-0.82
Let m be (44136/180)/(144/(-75) + 2) + 0. Which is smaller: m or 3061?
3061
Let m be (6/5 + -2)*-15. Let g be (m/14)/((-18)/(-252)). Suppose 0 = i - 3*i + 24. Is g equal to i?
True
Let s = 615.3 + -675. Is s at most 5?
True
Let q be 1137/3030 - 2/5. Let u(x) = 2*x**3 + 45*x**2 - 5*x + 414. Let c be u(-23). Which is bigger: c or q?
c
Let p = -1 + 3. Let y = 39246 + -39245. Is p at least y?
True
Suppose -7 - 17 + 33 = -3*q. Which is smaller: q or -105/29?
-105/29
Let v = -14141/22368207 - -2/9363. Which is greater: v or -1?
v
Suppose -1990*y + 2002*y + 516 = 0. Let f = -37 - -79. Let z = f + y. Which is smaller: z or -2/281?
z
Let q = 448 - 345. Let s = q + -104. Is 3/76 equal to s?
False
Let x = 52066 + -51685.33. Let d = x + -380. Is 2 < d?
False
Let l = -17090 + 9327. Which is smaller: l or -7764?
-7764
Let l be (-1)/(-3*(10 - (-409355)/(-40935))). Which is greater: -2727 or l?
-2727
Let y(g) = g**3 - 41*g**2 + 149*g - 33. Let p be y(37). Suppose 8*j + 2*w = 12*j - 72, 4*j - p*w - 76 = 0. Which is bigger: j or 11?
j
Suppose 4*d - 2*h + 108 = -60, h = d + 40. Let v(a) = -5*a - 83. Let p be v(-12). Let k be 6 + -1 + (p - d). Which is smaller: k or 27?
k
Let v = 88.06 - 857.06. Is v at least 5?
False
Suppose -4*b + b - 162 = 0. Let n(y) = -2*y**3 - 31*y**2 - 102*y - 535. Let v be n(-13). Is b > v?
False
Let j be 57/9*216/1608. Is j > 2?
False
Let b = -10.5 + 10.03. Let i = -64.53 + b. Let o = i + 65.2. Which is smaller: -46 or o?
-46
Let w = -11 - -2. Let g = -313 + 335. Suppose -17*s - 12 = g. Which is bigger: w or s?
s
Let i(p) = 110*p + 104*p - 208*p - 142. Let g be i(36). Is 74 > g?
False
Suppose 0 = 9*y - 8*y - 2. Suppose 16 = -g - q, y*q - 1 = -11. Let x be (3 - 5 - -3)*g. Which is greater: x or -12?
x
Let r be ((-9)/6)/(3*(-3)/324). Suppose -7*b = -2*b - 2*d + 56, 4*b + 3*d + r = 0. Let s = b + 11. Which is smaller: -5/4 or s?
-5/4
Let a(k) = 221*k + 11572. Let n be a(-55). Is n < -1163/2?
True
Suppose 0 = 2*x - 2*j - 8, 7*x = 3*x + 5*j + 19. Suppose 20 = 31*d - 36*d. Let n be ((-4)/40)/(2/d). Which is bigger: n or x?
x
Let y(w) = 10*w**2 + 6*w**3 - 2*w**3 - 3*w**3 + 14 - 10*w. Let m be y(-11). Suppose -10*l - m = 17. Which is greater: l or 2?
2
Suppose -37 = -5*c - l + 393, 0 = -c - l + 82. Which is smaller: 79 or c?
79
Let f(h) = 19*h**2 + 5*h - 30. Let t(w) = -9*w**2 - 2*w + 15. Let p(n) = -6*f(n) - 13*t(n). Let c be p(7). Which is smaller: 102 or c?
102
Let d = 1205 + -793. Which is smaller: d or -0.1?
-0.1
Let b be 3340/(-438) + 8 + 1/(-3). Let s = b - 115/1022. Is -0.2 > s?
False
Suppose 4*b + 4 = -0. Let k = -163878/47 + 3487. Is b not equal to k?
True
Let o be 27/171*(-192)/792. Which is greater: o or 1?
1
Let t(y) = 2*y**2 + 38*y - 38. Suppose -5*i - 92 = -4*w, -i + 0 = -4*w + 12. Let m be t(i). Is m smaller than 2/3?
False
Let m(y) be the second derivative of -y**4/12 - 19*y**3/3 - 111*y**2/2 + 52*y. Let p be m(-36). Let k be (-39)/(-2)*(-1 - 1). Is k at most as big as p?
True
Let n = -24927 + 24928. Let o = 84047/206 + -408. Is o at most as big as n?
True
Let g = 21425 + -107061/5. Let w = 1 - 1.1. Which is greater: g or w?
g
Let z be 17/34*(487 - -1). Let l = 286 - z. Is 43 smaller than l?
False
Let z be (10/(-1))/((-2)/182). Let c = -8182/9 + z. Which is greater: 0 or c?
c
Let o = -599.9355 + 600. Let p = o + -2.0645. Which is greater: -38/9 or p?
p
Let z be 681048/(-891) - 12/(-33). Which is bigger: -766 or z?
z
Suppose -12*j = 131*j + 11643 - 77852. Which is bigger: 464 or j?
464
Let u(k) = 115*k - 576. Let a be u(5). Does 1/33 = a?
False
Let i = -492 + 484. Let g(j) = 3*j + 19. Let z be g(-5). Are i and z equal?
False
Let f = 199/1722 - -1/287. Suppose 5*i - 3*r - 15 = 0, -6*i + 3*r = -2*i - 15. Which is greater: i or f?
f
Let y(u) = -3*u + 5. Let a be (4 - (-24)/(-6)) + 2*1. Let d be y(a). Let h be (-1)/d*(15 + -15). Is h <= -2/17?
False
Let j = -0.345 + 268.345. Let o = j + -190.2. Let u = 78 - o. Which is bigger: u or 7?
7
Let k(s) = -2*s + 6. Let i be k(2). Let r(x) = 12*x - 14*x + x**2 - 4*x**i + 4. Let u be r(2). Which is greater: -14 or u?
u
Let t be -4*(0 - -1) - 47784/(-8145). Suppose 0 = -5*s - h, -4*h = -5*s - 3*h + 10. Which is smaller: t or s?
s
Let r be (15/(-12))/((-9)/36) - 423 - -3. Which is greater: r or -409?
-409
Let t = 26267 - 25426. Which is smaller: 843 or t?
t
Let o = 563922 - 2810629/5. Let z = o - 1774. Let t be (14 - 0)/((-2)/(-3)). Are z and t non-equal?
True
Suppose 2*z + 10 = -4*y, 8*z - 3*y - 1 = 3*z. Suppose 5*b = -11*b + 224. Suppose 14 = 2*p + b. Is z smaller than p?
True
Let d = -913411/2 + 446698. Are d and -10007 equal?
False
Let l = -17.16 - -22.16. Which is bigger: l or -25?
l
Let c = -5335 + 5337. Are c and 0.2133 equal?
False
Let b = -3126 + 3127. Is 15859 at least as big as b?
True
Let y(b) = b**3 + 47*b**2 - 64*b + 9. Let p be y(-48). Let f = 774 - p. Which is smaller: f or 1?
f
Let k = 12468 - 12601. Is k less than or equal to 1/4?
True
Let x(s) = 2*s**3 - 103*s**2 + 145*s + 1. Let o be x(50). Which is smaller: o or -261?
-261
Let x(k) = k**2 + 6*k + 135. Let t be x(0). Suppose -137*p - 28 = -t*p. Is -13 at most p?
False
Suppose -4*c = 5*r + 16, 4*r + 5*c = 6*r - 20. Let z = -38/37 - -2709/296. Let d = 5/8 - z. Which is greater: d or r?
r
Suppose 4*u - 115 = z, -u + 37*z + 30 = 38*z. Which is smaller: u or 28?
28
Let a = -2686.99 - -2687. Is a at least as big as 3/4?
False
Let w = 218 + 48. Suppose 238 = -12*b - w. Let u be b/10 - 10/(-50). Which is bigger: -3 or u?
-3
Let m = 52.234 + -0.234. Let r = 51.97 - m. Which is smaller: -11 or r?
-11
Suppose -18 = -3*n, 5*i - 2*n + 3 = -14. Which is greater: 24/1043 or i?
24/1043
Let t be (-38)/(-5) - (-2)/5. Let a(d) = d**2 - 12*d + 55. Let f be a(0). Let s be 1/((-11)/(-2)) - (-375)/f. Which is bigger: s or t?
t
Let b be 4/(-18) - (-840483)/(-243). Does 0.1 = b?
False
Let i(m) = -5*m**2 + 56*m - 170. Let a be i(9). Which is smaller: -44 or a?
a
Let y be -55 + (4/(-10))/(2/10). Let j = y + 37. Let g be (-21)/(j/2 - -2). Which is smaller: 2 or g?
2
Let v(o) = -18*o**2 - 3*o - 3. Let y be v(-3). Suppose 358*i = 373*i + 2370. Which is greater: i or y?
y
Suppose -4*k - k - 2*a = 0, 3*k = 3*a. Let q = -9072 - -335666/37. Is q smaller than k?
False
Let f(i) = -i**3 - 51*i**2 - 48*i + 101. Let m be f(-50). Is m >= 357/2?
False
Let f = -4873 + 14431/3. Suppose -5*s - 63 = -4*s. Is f less than or equal to s?
False
Let r = 0.1 - 0. Let p = -81 - -115. Let g = p + -24. Is r less than or equal to g?
True
Let t = 393792 - 2720169/7. Let p = t - 5187. Let m = 571/42 - p. Which is bigger: m or 5?
5
Let z = -474/143 + 36/13. Suppose -14 = -5*g + 2*a + 2, -g + 4*a = 4. Suppose g*f + 0*f = 0. Which is greater: f or z?
f
Let a = -939 + 1316. Let s = -838 - a. Let y = s + 6134/5. Which is greater: y or 13?
13
Let h = -12820 + 12818. Which is smaller: h or 4062?
h
Let b be (0 - 2) + (-13)/(-4). Let a(r) = -34*r**2 + 440*r + 27. Let x be a(13). Is b > x?
True
Let x(m) = -11*m - 287. Let w be x(-31). Suppose -u - 2*t - 3*t = 70, -3*t = u + 74. Let n be (-36)/w + u/42. Which is greater: n or -4?
n
Let x = -4370 - -4372. Let d = -0.038 + 0.548. Which is bigger: x or d?
x
Let b = -4119 + 4167.34. Let a = 49 - b. Let y = -0.34 - a. Is -2/5 smaller than y?
False
Suppose -6*y - 3*y = 3*y + 12. Is y greater than or equal to 39/301?
False
Let h = -3.016 + 2712.016. Which is smaller: -2/7 or h?
-2/7
Let m = 40.7 - 42.7. Which is greater: -294 or m?
m
Let o(x) = -2*x**3 - 6*x**2 + 56*x + 176. Let z be o(-5). Let h = -2.9 - -0.7. Which is smaller: z or h?
z
Let j be 108/702 - 7730/(-5187). Let m = j - -3/133. Is 0 greater than or equal to m?
False
Suppose 0 = 5*l + 30, 4*f + 12*l + 208 = 8*l. Which is bigger: f or -55?
f
Let n be 90/54 + 1/(-3) - (-34)/(-102). Are n and 3924 equal?
False
Let z = 24 + -24.048. Let h = -80.048 - z. Let c = h + 78.3. Is 1 at least c?
True
Suppose 3*o = 7*o + 24. Let k = -22 - -23. Let u be k/3 + o/(-9). Which is greater: u or 2?
2
Suppose a - u - 63 = -35, 3*a - u = 72. Are 23 and a equal?
False
Let d = 208 - 209. Let q be (-21 + -19)/(d*1). Is q at least 38?
True
Let t = 311/828 + -8/23. Let p = 2/45 - t. Which is bigger: p or 0?
p
Supp