True
Suppose -3*h + 3*h - 5*h = 0. Let j = 238 - 14993/63. Is j < h?
False
Let o = -1.3702 + 612.3702. Which is smaller: o or 5?
5
Let g = 833/5925 - 9/79. Let x = g - 32/75. Let i = 5.89 - -0.11. Which is smaller: i or x?
x
Let v = -31262 - -59873/2. Is -1327 at least as big as v?
False
Let t = -6.16 - -0.16. Let p = -67/410 + 19/41. Is p less than t?
False
Let b = -351 + 352. Let d = 7684/29 - 265. Which is smaller: b or d?
d
Let b be ((-2)/(-4))/(16/(-6112)). Let u = 250 + b. Let q = -132 - -193. Does u = q?
False
Let o be ((-107)/214)/(0 - (0 - 4)). Let h = -0.4 + -0.15. Let m = h + -0.05. Is o < m?
False
Let d = -40 - -48. Suppose -5*s - 5*w = 15, d*w - 5*w + 2 = 4*s. Let o be ((-5)/(-20))/(20/2). Which is smaller: s or o?
s
Suppose -1 = -2*t + 3. Suppose -t*w - 109 = 57. Let f = -82 - w. Are f and 3/4 unequal?
True
Suppose 3*x - 63 = 3*c, 2*x = -2*c - 3*c + 21. Suppose -x = 2*w + 16. Suppose 0 = -j - 14 - 3. Is j bigger than w?
False
Suppose 79*w = 54*w + 125. Let a = -5 + 10. Do a and w have different values?
False
Suppose 2*u + 74 = f + 70, 110 = 5*f + 5*u. Which is bigger: -39 or f?
f
Let p = 881 + -1336. Let q be (-1409)/p - 3 - 1/7. Do -0.2 and q have the same value?
False
Let u(h) = -10*h + 170. Let s be u(19). Is s at least as big as -20?
True
Suppose -12*u - 1092 = -19*u. Suppose 0 = 3*f - k + 268, -4*k - k - u = 2*f. Is -89 smaller than f?
True
Suppose -4*h = -h - 30. Suppose 225 = 4*p - 5*r, -3*p - 70 = -4*p + 4*r. Let j be (12/h)/((-45)/p). Which is bigger: -1 or j?
-1
Suppose 0 = -4*p + 4 + 8. Suppose 3*w = -w - p*l - 12, 6 = -2*w - 4*l. Let s = 249 + -1005/4. Which is smaller: w or s?
w
Let j = -5364 + 3682. Do j and -5044/3 have the same value?
False
Let a = -4161795688992250/163992274137 + -4262/119093881. Let s = a + 25378. Which is greater: s or 1?
1
Let n be 2*(-36)/56 + 2/7. Let j be (n + 1)*-5*(-5)/25. Let i be 2/(9 + 1 + -4). Does j = i?
False
Let i be 1843/114 + 2/(-12)*1. Suppose 0 = 11*a - i*a + 105. Let u(s) = s**3 - 3*s**2 + 2*s - 3. Let q be u(4). Is a <= q?
True
Suppose -4*t = 5*l - 15, 4*t - 5*l - 30 + 5 = 0. Suppose 4*u = u + 6, -z - t*u = -17. Suppose 2*m = i + 8, -4*m = -i - z + 1. Which is smaller: i or -26/3?
i
Suppose -83*s - 440 = -103*s. Suppose s = -10*l + 22. Which is smaller: 210/17 or l?
l
Let m = -35276/49717 - -60/83. Is m smaller than 1?
True
Suppose -11930 - 11216 - 3331 = 29*t. Which is greater: t or -4566/5?
t
Let p be (-8)/(-18)*(-9)/18. Let n(u) be the second derivative of 5*u**3/3 + 19*u**2/2 - 101*u. Let j be n(-2). Is j < p?
True
Let h = -114525 - -10307131/90. Which is smaller: -1 or h?
h
Let p be (-24)/(-7)*((-8)/(-68) - (-103974)/(-306)). Which is greater: -1166 or p?
p
Suppose 2*k = 3*m - 8*m + 356, -m = 3*k - 79. Suppose m*t - 2 = 69*t. Let g be (0 + 0)/(4 - 1 - t). Is -1 equal to g?
False
Let v be 2182/12 - ((-47)/2 + 24). Is v > 182?
False
Let u = -4350 + 4350. Are u and 16/817 nonequal?
True
Suppose 0 = -4*a + 16 - 40. Let v(f) = 2*f - 25. Let z be v(a). Let g = z + 34. Which is bigger: -1 or g?
-1
Let f(i) = 107*i + 1675. Let d be f(-26). Is 1 <= d?
False
Let z = -36.85 + 59.85. Is 13/8 greater than z?
False
Let i = -1101 - -546. Let p = 554 + i. Which is greater: p or -1/24?
-1/24
Let a be -2282 + 29 - (-12)/(-2). Let v = 88108/39 + a. Is 1 < v?
False
Suppose 12*o + 76 = -32. Let m be (12/o - 2)*-13*3. Which is smaller: 129 or m?
129
Let v = -179.62 + 179.86. Which is smaller: v or -2/247?
-2/247
Let z be (-12)/(-2)*(-6)/4. Suppose -5*k - 2*f - 13 = 0, 2*k - 3*f - 20 = -29. Which is smaller: k or z?
z
Let j(m) = 5*m**2 + m**3 + 9*m + 18 + 0*m**3 + 8*m**2 - 1. Let n be j(-9). Is 261 >= n?
True
Let c(p) = 5*p + 38. Suppose -4 = -2*q, -3*t - 2*q = -4*q - 110. Suppose t*r - 42*r - 28 = 0. Let f be c(r). Which is greater: 13 or f?
13
Let n = -210.5 - -200.5. Let a be (-3)/((-17)/(-10) + -2). Let q be (-1)/a*30/(-4). Is q bigger than n?
True
Let w(h) = -h**3 + 4*h**2 - 3*h - 3. Let j be w(3). Let p be (-3)/(-3)*(0 - j). Let x = -11/3 + p. Is -2 at most as big as x?
True
Let d(u) = u**3 - 19*u**2 + 143*u - 2717. Let h be d(19). Which is bigger: 9/631 or h?
9/631
Let w(y) = 7*y - 4 + 3*y**2 + 7 - 2*y**2 + 6. Let c be w(-6). Suppose 12 = 5*q + c*r, 3*q + 5*r = 2*q + 20. Do -1/37 and q have the same value?
False
Suppose 69 = -5*y + 3*o, 77*o = -2*y + 80*o - 24. Is y smaller than -29?
False
Let m = -0.8 - 0.2. Let q = -654.9 + 681.9. Is q at least as big as m?
True
Let o = 16178 + -16134. Is o greater than 13?
True
Let y = 2172.206 + -2170. Let z = y + -0.206. Which is bigger: 0 or z?
z
Suppose -13 = -2*b - 4*i - 1, 4*i = -12. Suppose -h + b = 2*w, -3*h + 4 = w - 3*w. Let t(s) = -s + 24. Let a be t(11). Do a and h have the same value?
False
Suppose 2*t = 17 + 91. Let h = 219/5 - t. Which is bigger: 0 or h?
0
Let u be 8/(-400)*4 + (-3)/((-10125)/22895). Is u equal to 8?
False
Let i = 18502 - 19674. Which is smaller: i or -4?
i
Let s be (-3 + -67)*((-216)/45)/8. Let c be 2 + s/(-6) + 8. Which is greater: -2/11 or c?
c
Suppose 0 = -5*n + 620 - 600. Let y be (-11 + 36368/3304)/((-6)/n). Which is bigger: y or 0?
0
Let q = 4/45 + -151/180. Let o = -431 - -435. Is q > o?
False
Let f = -6 + 6. Suppose f = -q + 6 + 31. Let r = -41 + q. Are -5 and r unequal?
True
Let m = 578 + -579. Let p be 11/(33/(-1))*3*m. Let z = -42/13 + 1163/364. Which is bigger: p or z?
p
Let q(b) = 192*b + 905. Let z be q(-7). Which is smaller: -435 or z?
z
Let c be (-3)/(((-930)/(-2540))/31). Which is smaller: c or -257?
-257
Let o = 0.167 - 0.267. Let a(j) = -j**2 + 7*j - 1. Let f be a(6). Let t(g) = -g**3 + 6*g**2 - 7*g + 3. Let u be t(f). Which is smaller: u or o?
u
Suppose 8*t - 850 = 3*t. Let f be (2516/t)/((-2)/(-30) - 0). Let n be (9/f)/((-6)/(-1)). Is n at most 1?
True
Let z be 3 - (-11)/((-11)/24). Let a = -291 - -96. Let v be (-18)/63 + a/z. Is v less than 3?
False
Let a = 4 - 6. Let d = 11 + -20. Let k(g) = g**3 + 9*g**2 + g + 7. Let h be k(d). Is a != h?
False
Suppose 4*o = -0*b - 2*b - 502, -4*o + 494 = -2*b. Let z = 1786 - 1798. Let n be 3/z - (-2 - b/156). Is n at most as big as -1?
False
Let g(c) = 13*c + 4. Let l(o) = -6*o - 3. Let w(k) = -3*g(k) - 7*l(k). Let p be w(7). Do 31 and p have different values?
True
Let a = -43.998 + -1.152. Let t = 44.7 + a. Which is smaller: t or 0.1?
t
Let n(t) = 2*t**2 + 8*t - 2*t**2 - t**2 + 0*t**2 - 9. Let a be n(6). Suppose -b + 5*x = -2 + a, 5*x + 3 = -3*b. Do -2 and b have different values?
True
Let n be (0 - -1)/((-7)/(-28)). Suppose -n*d + 4 = -7*x + 4*x, 5*d - 12 = 2*x. Let m be ((-18)/x + 3)/(-6). Which is greater: m or 5?
5
Let b = -357 - -356. Which is smaller: b or 841?
b
Suppose -4*g = 3*a - 2785, 19*g = 21*g + 2*a - 1392. Are g and 696 equal?
False
Let u be (-4)/(-10) + (2224/10)/4. Let r = 51 - u. Suppose 0 = -7*s + 2*s - 25. Are r and s nonequal?
False
Let j = 176 - 208.8. Let b = j - -33.8. Let d be 1/(-3) + (-68)/(-15). Do b and d have the same value?
False
Suppose 12*s + 3*q = 10*s + 3585, -1791 = -s - 3*q. Is -0.1 greater than s?
False
Let q be 29068/39*(1 - 2/(-4)). Is 1120 smaller than q?
False
Suppose 14*t + 3*f = 16*t - 13, 4*f = -2*t - 22. Let o be -3*(-1 + (-100)/5). Let s be (10/6 - 1)*o. Are t and s equal?
False
Let c = -1.55 - -8.55. Do 0.378 and c have the same value?
False
Suppose 5*a + 20 = 5*n, 2*n + 3*n = a. Let l = n + 8. Let b(z) = 29*z - 79. Let c be b(3). Which is bigger: l or c?
c
Let h = 5019 - 5051. Is -185/6 bigger than h?
True
Let s = 5111 - 5181.03. Let w = 3.2 - 73.2. Let n = w - s. Which is smaller: n or -0.02?
-0.02
Suppose -5*z - 3 = -4*b, 2*z + 6*b + 8 = 11*b. Let a be 4 + 3 + 241/(-33). Which is smaller: a or z?
a
Let i(u) = -107*u - 7204. Let h be i(-49). Is h bigger than -1963?
True
Let i = 48086069/85638333 - 2/457959. Is 0 less than or equal to i?
True
Let f = -13387.97 - -13387. Let b be (-2)/8 + (-11)/(-12). Which is greater: b or f?
b
Let q = 0.03086 - 1.03086. Is q at least -0.148?
False
Suppose -p = 2*d + 60, 2*p + 96 = -0*p + 2*d. Let y be (-371)/7 + (3 - 0). Which is bigger: p or y?
y
Suppose q + 3*o = 534, 232*o - 2118 = -4*q + 229*o. Which is greater: 534 or q?
534
Let r = -35 + 38. Suppose 0 = r*j + 12, 5*j - 20 = -3*q - 130. Which is smaller: q or -29?
q
Suppose 5*s = -b - 14968, 66*b - 62*b - 2*s = -6000