-1170)/24) + (-4)/6. Is q <= b?
True
Let w = 3/20 + 81/260. Let b(m) = -m + 1. Suppose 5*s + 2 = 2*x + 17, 3*s + 17 = -4*x. Let u be b(s). Which is smaller: u or w?
u
Let y = 1507/175 + -60/7. Let u = -4 + 4. Which is smaller: u or y?
u
Suppose -2*y = y - x + 11, 2*x - 10 = 2*y. Let o be (-4 - -2) + (-8)/y. Let k be (-2)/1*1 - (-3)/1. Which is greater: o or k?
k
Suppose 6*o - 15 = 3. Let u be 36/12*5/o. Is u at most 6?
True
Let r be 4/10 - (-123)/(-15). Let a be 4/(-18) + (-140)/18. Is a less than or equal to r?
True
Suppose 7*s = 12*s + 200. Let f = 34 + s. Is -7 at most as big as f?
True
Let h be (1 + -2)*(-18)/(-135). Let s = 8/15 - h. Which is smaller: s or -0.4?
-0.4
Let b be (10/18)/(2/(-222)). Let r be 375/(-6) - (-2 + (-20)/(-8)). Let a = r - b. Which is greater: a or -1/3?
-1/3
Let s(a) = -4*a**2 + 3 + 10*a - 3*a**2 + 3*a**2 + 5*a**2. Let c be s(-10). Let f be 4/2*c - 0. Which is smaller: f or 5?
5
Let y(p) = -p**3 + 4*p**2 - 1 - 6*p + 0 + 11*p. Let w be y(5). Suppose -2*x + 48 = 2*x. Are w and x unequal?
True
Let c be (-69)/(-130) - (-12)/60. Let t = 3/13 - c. Is t < -1.7?
False
Let z = -54 - -51. Let y be 3 - z/54*-39. Does y = 2?
False
Let p = -395.07 - -395. Let b = -15 + 11. Is p at least b?
True
Let o = 28 + -18. Let r be (-52)/o - 3/(-15). Does r = -2?
False
Let n = 1/2304 - -22987/122112. Do 0 and n have different values?
True
Let w be 12 + (-4 - -3 - (0 + 0)). Suppose 22 = -2*z + b, -6*z + 5*z - 3*b - w = 0. Let k be (-2)/(-4) - 38/4. Is k <= z?
False
Let f = -241/744 + 7/24. Suppose 0 = n - 1, 0 = 5*m + 3*n - 20 - 3. Suppose 2*y = -2*q, y + 0*q - m*q = 5. Is f > y?
False
Let r = 181412/13 - 13948. Which is smaller: r or 8?
r
Let o = -8.6 + 7.6. Are o and 4.6 nonequal?
True
Let c(o) = 5*o + 10. Let b be c(-5). Let l be (0 + 8/(-12))*b. Which is greater: l or 5?
l
Let m = -347 - -193. Is -152 less than or equal to m?
False
Let k(h) = -h**2 + 19*h + 9. Let w be k(17). Let d = w + -47. Which is bigger: -11 or d?
d
Suppose 0*l = 2*w - 4*l - 8, -l + 2 = 0. Suppose -11*x = -15*x - w. Is -4 != x?
True
Let o = 0.067 + -5.967. Let n = -0.1 + o. Let b = 6 + n. Are 0.06 and b non-equal?
True
Let d(v) = -26*v**3 - v. Let f be d(1). Let g(l) = -2*l**2 + 3*l + 37. Let t be g(-5). Which is greater: f or t?
f
Let n = 81 - 96. Let m = 22 + n. Do 5 and m have the same value?
False
Let n(m) = m**2 + 10*m + 6. Let i be n(-5). Let l be (3*-2)/(i - -9). Let j = -7 + 7.3. Do l and j have the same value?
False
Let w(t) = 11*t + 3. Let n be w(4). Let o = -50 + n. Suppose 15 = -5*f + 5. Is o at least f?
False
Let d(r) = -5*r**2 + 70*r - 21. Let q be d(14). Which is greater: q or -18?
-18
Let r(v) = v**3 - 7*v**2 - 22*v + 15. Let p be r(9). Let w = -44 - -24. Which is smaller: w or p?
p
Let q = -2656/3 - -201775/228. Is 0 equal to q?
False
Let f be (703 - (4 + -4))*1. Is 703 at most as big as f?
True
Let x be 1/(-1) + 0 + -2. Let i be (-2)/x*4*12/(-32). Which is smaller: -3/8 or i?
i
Let m be 5/15*(-6)/4 + 1. Are -1.7 and m equal?
False
Let k(m) = 2*m. Let c be k(3). Suppose 3*u = 7*u + 76. Let x = 26 + u. Is x smaller than c?
False
Let l = -30 + 28. Let y be 87/51 + (-2 - (3 + l)). Which is smaller: y or 0?
y
Let f be 2/(-3*(-4)/114). Let r(g) = 5*g - 2. Let x be r(4). Which is smaller: f or x?
x
Let s = -157 - -157. Let d be 424/265*(s - (-5)/2). Let k = 1 + -0.9. Are d and k equal?
False
Let o = -591 - -177. Is -413 not equal to o?
True
Let b = -30.6 - 0.4. Let r = b - -35. Let n be (-1 - 27/(-24))/1. Are r and n equal?
False
Suppose m = -w - 2, -w + 3 - 8 = 4*m. Let f be ((-2)/3)/((-7)/651) + m. Which is smaller: 60 or f?
60
Let m = -8.84 - 0.16. Let l be 1 - -1 - 1 - 0/(2 - -7). Is l equal to m?
False
Let f = 25.755 - -0.075. Let r = f - 26. Is -0.1 less than or equal to r?
False
Let x(p) = p**2 + 2*p - 4. Let d be x(2). Suppose 5*t = -s, -d*t + 5*s = -1 + 30. Which is greater: t or -3/4?
-3/4
Let c = 0.032 + -49.032. Let t = 52 + c. Which is bigger: 1/2 or t?
t
Suppose 3*k = -5*p + 1, p + 12 = 5*k - p. Suppose -13 + 13 = -k*h. Is h equal to -1/26?
False
Let q be 117/(-1170) + (-2)/5. Which is greater: q or -130?
q
Let v = -1651 + 1561.9. Let l = v + 89. Are 0.4 and l unequal?
True
Let t(h) = h**3 + 2*h**2 - 1. Let m be t(-1). Suppose 3 = -i - m*i. Let l be 2/(-5) + 3 + i. Is l <= -0.3?
True
Let k = -440 - -441. Which is smaller: -3/5 or k?
-3/5
Let b(k) = k**2 + 4*k + 3. Let d be b(-2). Let n be 8/(-12) + (-1158)/18. Let m = 67 + n. Is d < m?
True
Let w(z) be the second derivative of -z**3/6 - z**2/2 + 2*z. Let y be w(-5). Let x = 441/164 + 5/82. Which is bigger: y or x?
y
Let u = -0.067 + 0.567. Let f = -8.01 - -8. Is u at least as big as f?
True
Suppose -4*j - 3*n - 976 = n, -1180 = 5*j - 3*n. Let c = 167 + j. Is c <= -73?
False
Let n = 1789 + -1803. Which is smaller: n or -0.08?
n
Let u = 10 - 5. Let c be (765/48)/u - 3. Let p = -12 - -13. Is p smaller than c?
False
Let g = -4155 + 162029/39. Which is bigger: g or 0?
0
Let k = -918 - -6424/7. Which is smaller: 57 or k?
k
Suppose -2*w + 28 = r - 5*w, 0 = -5*w - 20. Suppose 0 = 2*d - 2 + r. Which is bigger: d or -4?
-4
Let d = -344.2 - -344. Which is smaller: -12 or d?
-12
Let x = -563 + 564. Let o be (-1)/(-2) + 7/(-22). Which is smaller: x or o?
o
Let l = 60 + -69. Let m = 18 - 26. Let h = l - m. Which is smaller: h or -10?
-10
Let r = -71.4 - -79. Let i = r - 4.6. Are 1 and i nonequal?
True
Let p = 168.075 - 0.075. Let b = 163 - p. Suppose 5*q - 4 - 1 = 0. Is q at least as big as b?
True
Suppose -794 = -15*y - 194. Let b = -39 + y. Which is smaller: -1/39 or b?
-1/39
Suppose 2*v + 36 = -x, v - 8 + 32 = -2*x. Let p = v + 16. Is 1/2 >= p?
True
Let a(o) = -o**2 - 12*o - 36. Let y be a(-8). Is y at most -25/7?
True
Let h = -1.272 - -4.272. Is 73 smaller than h?
False
Let c be ((7/(-12))/7)/(4/(-6492)). Is 136 not equal to c?
True
Suppose 4*x - 36 = -n + 13, -x + 3*n = 4. Suppose 4*a - 4 = 2*a. Suppose 0 = -a*i + 9 - x. Does i = -4/3?
False
Let f = 47/10 - 53/10. Let d = 1 + -1. Is d != f?
True
Let k be 1/(-3) - (0 + 0). Let m(w) = -w**3 + 3*w**2 + 6*w - 4. Let q be m(-4). Let b be 5 + -1 - 360/q. Which is smaller: k or b?
k
Suppose 37*n + 672 = -142. Do -18 and n have different values?
True
Let q(a) = 19*a**3 - a**2 - 2*a + 2. Let v be q(1). Suppose 5*d + 4 = -1. Let u(l) = 15*l**2 + l + 2. Let w be u(d). Which is greater: v or w?
v
Let c(i) = -3*i**2 + 3*i + 54. Let s be c(14). Is -492 > s?
False
Suppose 4*g = 4, 4*q - 5*g = -334 - 227. Is -141 at least as big as q?
False
Let f = 206 + -189. Is f greater than -0.5?
True
Suppose -3*c = -6 - 24. Let h = -14 + c. Let d be (-12)/h + 21/(-4). Which is smaller: d or -3?
-3
Suppose 0 = 6*r - 1 - 23. Let c be (-1 + -4 - -8) + r*-1. Is c at most -10/19?
True
Let q = 2/1877 + -3764/9385. Which is smaller: 471 or q?
q
Let c = -563925433/56 - -10070650. Let i = c + -553. Which is greater: 1 or i?
1
Suppose -y + 5*y = 0. Suppose -3*g + 8 = -7. Suppose -11*p = -g*p. Is y at most as big as p?
True
Let i = 374 + -349. Which is smaller: 27 or i?
i
Let t(z) = -z**3 + 6*z**2 + 9*z - 9. Let u be 3/1 + 0 + 4. Let m be t(u). Let l be (-18)/(-4)*(7 - m). Which is smaller: 10 or l?
l
Suppose 3*m + 93 = 3*j, -3*m + 101 = 3*j - 8*m. Which is smaller: 32 or j?
j
Let z(q) = q + 6. Let m(i) = -i**3 - 6*i**2 - 4*i + 5. Let s be m(-5). Suppose 3*y - 18 = -s*y + 3*o, 0 = -5*o - 10. Let h be z(y). Which is smaller: 11 or h?
h
Let x = 141846/43 + -3299. Is 0 at most x?
False
Let c be ((-4)/(-12))/((-10)/102). Let k(v) = 3*v + 5. Let j = -28 - -25. Let n be k(j). Which is greater: c or n?
c
Let u(k) = -k. Let m(a) = a**3 + 3*a**2 - a + 3. Let v be m(-3). Suppose -w + v*w - 18 = 3*p, 0 = p - w + 4. Let r be u(p). Which is bigger: -1.1 or r?
r
Let a be ((-6)/(-5))/((-2)/(-5)). Suppose 18 = -i + 23. Which is greater: i or a?
i
Let w be (-6 + 20 + -6)*(-97)/(-4). Suppose w = -8*u - 206. Are -50 and u non-equal?
False
Let z = 136 - 127. Is 10 at least as big as z?
True
Let i = -10.891 + -0.109. Is i not equal to 0.4?
True
Let l = 389 - 388. Is l at least -6/89?
True
Suppose 17*h - 12*h = 5. Let i be (3 - h) + (-5 - -2). Is i < -1/56?
True
Let l = -0.083 - -20.883. Let f = l - 21. Is f smaller than 5/3?
True
Let x = -24 + 9. Let k(t) = t**3 + 15*t**2 - 4. Let y be k(x). Let q be (