+ f. Let y = -1/51 + 158/255. Is x at most y?
False
Let q = -62.6 + 62. Let b = -0.17 - 2.43. Let f = b - q. Is 5 <= f?
False
Suppose -5*b - 111 - 61 = 2*f, 4*b + 140 = -f. Let a be (-800)/(-36) + 8/b. Are a and 23 equal?
False
Let v be (-4)/(-3) + -2 + 169/78. Is -6.5 >= v?
False
Suppose -25*n + 20*n = 0. Suppose -7*a + n = 7. Suppose 0 = -4*d + 3*m + m - 16, -2*m = -3*d - 10. Which is smaller: a or d?
d
Suppose 5*h + 4 = 3*q - 4*q, 4*h - q = 4. Let j = 1 - 0. Suppose -o + j + 1 = h. Which is smaller: 3 or o?
o
Let t = 12 - 12.12. Let b = t - -0.02. Let i = -69 + 67. Which is bigger: b or i?
b
Let z(a) = -a + 7. Let d be z(3). Suppose -t + 7 = d*w, -3*t = -4*t + 3*w - 7. Does 3/20 = t?
False
Let s = -194456/13 + 14948. Which is smaller: s or -11?
-11
Let a(l) = -l**3 + 10*l**2 - l - 5. Let j(b) = -b**3 - b**2 - b + 1. Let o(k) = a(k) + j(k). Let z be o(5). Do z and 2 have the same value?
False
Let q(x) = 2*x**2 - 39*x - 58. Let r be q(22). Is r >= 52?
True
Let s = 465 - 465.018. Which is bigger: s or 0.1?
0.1
Suppose 3*x + 6 = -b - b, 5*x + 29 = 3*b. Suppose g + g + 14 = -t, b*t = g - 14. Let i(y) = y**2 + 7*y + 6. Let v be i(t). Is v at most as big as 1?
True
Suppose 6*a + 2*a - 40 = 0. Let i(r) = r**3 - 3*r**2 - 10*r + 1. Let y be i(a). Is -137 > y?
False
Let n be (400/52)/4 + (9 - 7). Is 5 smaller than n?
False
Let b(s) = -3*s**2 - 70*s + 49. Let v be b(-24). Which is smaller: v or 24/89?
24/89
Let f(u) = 46*u + 182. Let n be f(-4). Is -45/19 at most n?
True
Suppose -4*t - 4 = 0, t + 25 = 4*a - 0*t. Let r be (15/(-855))/((-7)/a). Which is greater: r or -1?
r
Let i be 2/(-2) + (-17 - 3). Let g = -12 - -11. Let b be ((2 - -20) + -1)*g. Is i at least b?
True
Let k(c) = c**2 - 6*c + 10. Let o be k(6). Let u be 6/(-4) + o/4 + -1. Let j be 6/(-12) + 9/20. Which is smaller: j or u?
j
Let y = 114 + -26. Let f be (-1)/2*y/(-11). Suppose 3*x = -x - f. Is -2/5 <= x?
False
Let l(x) = 13*x + 133. Let j be l(-8). Which is bigger: 27 or j?
j
Suppose -m = -4*m. Suppose 0 = -b + 4, 4*r - 32 = -m*r - 4*b. Suppose -r*n = -2*n, 11 = -i - 4*n. Which is smaller: i or -10?
i
Let s = -246628460 - -74727918887/303. Let b = s - -1665. Which is smaller: b or 0?
0
Suppose 91*r = -29*r - 18840. Is r bigger than -155?
False
Suppose 2*v = -2*m + 8, 7*m - 4*m - 3*v + 12 = 0. Which is greater: -3/281 or m?
m
Let x be 1/45 + (-13)/(-585)*-6. Suppose f = 4*f + 3. Is x bigger than f?
True
Suppose -21 = -2*b - 11. Suppose -b*c + 4*w = -c + 12, 0 = -4*c + w - 12. Which is bigger: c or -11/6?
-11/6
Suppose 0 = 9*q - 472 - 77. Which is smaller: q or 65?
q
Let q = 325 - 478. Let t = -162 - q. Is -10 >= t?
False
Suppose 21 = 7*b + 35. Is -19/30 not equal to b?
True
Let n(b) = b**2 + 9*b + 2. Let w be n(-9). Let k be w/(-6) - (-385)/(-15). Which is smaller: k or 2?
k
Suppose -2*b - 18 = -6. Let s be 0 + 8*(-3)/b. Is 0 less than or equal to s?
True
Let u = -109/1122 + -2/51. Which is greater: u or 1?
1
Suppose -5*q + 90 = -3*i + 25, -45 = -3*q + 3*i. Which is smaller: q or 8?
8
Let o = 57 - 83. Let p be (-1)/(-4) - 10/40. Suppose n + p*n - 2*x + 29 = 0, 2*n + 48 = -x. Which is smaller: n or o?
o
Let x = -517.8 + 518. Which is bigger: -3/16 or x?
x
Let f be 52/23 + 4/(-2). Suppose 4*m + 5*u = 3*m - 25, -m + 2*u = -10. Which is bigger: m or f?
f
Let c be (-4)/10 + 12/30. Suppose 4*u - 3*u - 3*y = -2, c = 3*u + y + 36. Let m = u + 11. Which is smaller: m or -2/19?
-2/19
Suppose b - 6 = -3. Let q be (-10)/((-150)/(-9))*2/b. Which is smaller: q or 5/2?
q
Suppose -3*w + 5*w + 2*h + 6 = 0, -1 = -3*w + 2*h. Is w equal to -1/58?
False
Let i be 2*-1*2/(-4). Let c = 213/764 - -1978797/5348. Let d = -369 + c. Which is bigger: d or i?
d
Let c(d) = 1 + 11 + 3 - 23 + 5*d. Let n be c(-5). Does -33 = n?
True
Suppose 4*h - 2*s - 2 = -10, -4*h - s = -4. Suppose 3*z = -o + 312, -6*o - 2*z + 1198 = -2*o. Let m be (-6)/(-33) + 9/(o/(-6)). Is h <= m?
True
Let n = -6231 + 6232. Let z be 0/(-2) - (-4)/238. Which is smaller: n or z?
z
Let t be (-10)/(-4) - (-1)/2. Let f be (5/(-18))/((-1)/t). Let p be 0/3*(2 - 1). Which is greater: p or f?
f
Suppose -n + 82 = 3*z, z - 3*z = 5*n - 59. Let t be (-9)/(z/6) + 1. Is 3 <= t?
False
Let p(q) = -3*q - 34. Let k be p(-12). Suppose 5*u = -4*w + k, -5*w + 1 = -4*u + 19. Let j be 2*2/(-8)*2. Is j greater than w?
True
Let z = 25668/5 + -5116. Let t = 17 - z. Which is bigger: 0 or t?
0
Let h = 13/10 + -59/55. Which is bigger: 0.3 or h?
0.3
Let d be (-5)/((-70)/(-18)) + 8/6. Is d less than 0?
False
Let o = -4955/21 - -647/3. Let p = 689/35 + o. Is p at most -0.3?
True
Let r be 10/4*24/210. Suppose 4*a = h - 55, 2*h = -3*a + 72 - 17. Let d be (-6)/4 + h/18. Which is smaller: d or r?
r
Suppose -4*d = -5*s + 3, -4*s - 3 = 4*d + 9. Is s > -40/23?
True
Let l(w) = 13*w + 146. Let v be l(-26). Is v less than or equal to -192?
True
Suppose 4*u - 33 = -9. Let x(s) = -11*s + 115. Let n be x(10). Is u < n?
False
Suppose -p - 12*p - 143 = 0. Do p and -9 have different values?
True
Let m(g) = -g + 5. Let b be m(6). Let s = -96 - -92. Which is smaller: s or b?
s
Let p be 7 + (-8)/((-5408)/(-4708)). Is p smaller than 1?
True
Let o = 115413/56 - 2061. Is o smaller than 1?
True
Suppose 8*c = 4*c + 12. Let a be 2*(3/3 + c). Let t be (2/3)/(a/120). Is 9 greater than or equal to t?
False
Let b = 3899/1870140 + -2/2195. Which is bigger: -1 or b?
b
Let n be (-3 + 5 - 4) + 0. Let y be (n - 6)/((-44)/(-6)). Is y smaller than -2?
False
Let j(r) be the first derivative of -r**4/4 - r**3/3 - 3*r + 7. Let b be j(-2). Let f be ((-1)/(-10))/(1/4). Which is smaller: f or b?
f
Let v = 15 - 15. Is v less than or equal to 8?
True
Let k = 19 + -3. Suppose 5*o - k = o. Suppose -2 = -3*c + 7. Are c and o equal?
False
Let t = -0.0149 + 99.0149. Which is greater: 4 or t?
t
Suppose -63 = -2*u - 71. Let a be (-32)/(-14) - (2 - 0/u). Is 0.2 not equal to a?
True
Suppose -5*q - 15 = -5*j, 3*j - 17 = -q - 0*q. Let b(h) = -h**2 + 2*h + 1. Let z be b(q). Is 7 greater than or equal to z?
True
Let c(k) = 33*k + 198. Let n be c(-6). Is 4/327 not equal to n?
True
Let i = 21.9 - 22. Let g = -76 + 126. Let v = -251/5 + g. Which is smaller: v or i?
v
Let u = 2.2 + 2.8. Let n = 6 - u. Is n smaller than 1?
False
Let y = 15 - 13. Suppose -y = k, 2*k = -2*q - k - 2. Which is smaller: q or 5?
q
Let l be (-118)/944 + 31/(-72). Which is bigger: l or 0.1?
0.1
Let x = 2/145 + -151/435. Is x at least 31?
False
Let x be (2/(-33))/((-70)/(-42)). Suppose -2*k - 3*k - 5 = 0. Which is greater: x or k?
x
Let z = 22 - 42. Let s = 24 + z. Is s >= 6?
False
Let w = 2/87 + 9/29. Let d be 2 + 26/(-4) - (7 + -9). Is d equal to w?
False
Let j = -0.449 + 0.129. Are -1 and j unequal?
True
Let q = -1 - -2.6. Let d = -1.3 + q. Let c = -0.2 + d. Which is smaller: c or -1?
-1
Let n be 188/12*(4 + (-1 - 6)). Suppose -144 = -16*r + 19*r. Is r < n?
True
Suppose 7*m - 4 = -11. Which is smaller: m or -6?
-6
Let i(b) = -2*b - 15. Let w be i(-10). Suppose -w*h = -2*h. Is 1/18 greater than h?
True
Let i = -201 + 200.8. Which is bigger: 30 or i?
30
Let i = -144/553 + -2/79. Let o = 58 - 45. Suppose 0 = 4*u + 5*l + o, u + 3 = 4*l - 5*l. Is i greater than or equal to u?
True
Suppose 5*y = -2*t, 0 = -0*y + y + t. Suppose 0 = -3*v + 6*v. Is y greater than v?
False
Suppose 2*z + 80 = -0*z. Let u = 522/13 + z. Which is smaller: 1 or u?
u
Let p be ((-7)/4 - (-341)/44) + 338. Which is smaller: p or 1?
1
Let l = 2 + 8. Let g be 5/(-25) - (-1 + 13/l). Which is smaller: 1/5 or g?
g
Let c = -4.6 - -3.6. Is -260 less than c?
True
Let r(i) be the second derivative of i**4/12 + 7*i**3/6 - 3*i**2/2 + 15*i. Let q be r(-9). Is 0 >= q?
False
Let c = -245 - -244. Which is greater: -36/17 or c?
c
Let s(p) = -44*p**3 + p**2 - p - 1. Let u be s(-1). Suppose -7*f + u = 2*f. Which is smaller: 35/6 or f?
f
Let y be 4/12*(-1)/(-2). Let n = 0.395 - 0.375. Is n at least y?
False
Let v = 732 - 710.03. Let u = v - 22. Let y = -3.97 + u. Is y at least as big as -3?
False
Let n be 3*(-6 + (-3)/(-27)*-879). Are -311 and n equal?
True
Suppose -2*h - 66 = 2*f, -4*f = -3*f - 3*h + 29. Let t be 8/f - (-106)/8. Is t bigger than 13?
False
Let d = 3/877 + 9593/15786. Which is greater: 2 or d?
2
Let m = -14 + -12. Let b = 27.2 + m. Is 1/4 > b?
False
Suppose 3*d - 3 = 3. Suppose d*s - 3*s = 1. Let h = 