+ 1. Is u equal to x?
True
Let k = -19 + 15. Let r = -29 - k. Let w = r + 23. Is w smaller than 4/5?
True
Let z(p) = -p**3 - 14*p**2 + p + 14. Let a be z(-14). Let c be 3*(-1)/24 - (a - 3). Which is greater: 2 or c?
c
Let s(w) be the second derivative of -w**3/2 + 8*w**2 - 6*w. Let i be s(5). Is -1/5 less than or equal to i?
True
Let a be 2/(-3) + 1 + (-3006)/(-54). Suppose -3*h + 4 = -a. Which is greater: h or 21?
21
Let s(m) = -6*m - 50. Let b(r) = -2*r - 17. Let d(v) = 17*b(v) - 6*s(v). Let p be d(-6). Which is smaller: -7/6 or p?
-7/6
Let r be 3/3 + (-1053)/1105. Is r less than or equal to 1?
True
Let m(y) = y**3 - 3*y**2 + y. Let c be m(1). Which is greater: c or 1/22?
1/22
Let h = -225.036 - -225. Are h and -0.3 unequal?
True
Let k = -2811/40 - -312/5. Are -7 and k unequal?
True
Let v = -2335 - -1602. Let z be ((-2)/(-6))/(-4 - v/183). Which is greater: z or 60?
z
Let t = -2.51 - 108.49. Let v = -110 - t. Is 6/43 at most as big as v?
True
Let w(q) = 3*q + 27. Let r be w(-9). Suppose r = 6*h - h - 10. Is h less than or equal to 9/4?
True
Let a = -1172 + 314. Let p = -6022/7 - a. Which is smaller: p or -1?
p
Suppose -3*n - 4*q + 0 + 4 = 0, 2*n = -2*q. Let z = 10 + n. Let c(m) = m**3 - 5*m**2 - 8*m + 7. Let t be c(z). Which is smaller: -6 or t?
-6
Let h = 2 - 2.46. Let r = h - -0.36. Is r less than or equal to 0.01?
True
Let p(b) = b**3 - b + 1. Let d be p(-3). Let a be -23*(-3)/((-3)/(-1)). Suppose 131*v = 132*v + a. Is d greater than or equal to v?
True
Let i(m) = m - 7. Let y be i(6). Let x = 11 + -296/27. Which is smaller: y or x?
y
Let d = -64 + 63. Which is greater: d or 3.78?
3.78
Let o = 6/71 - 632/9159. Let f = -251 + 252. Is o bigger than f?
False
Suppose -146*a + 157*a = 176. Is 15 greater than a?
False
Let s be (-6 - (-1940)/244) + -2. Let j be -2 - -1*2727/366. Let y = j - s. Which is bigger: 2/7 or y?
y
Let r be (-2)/27 + 384/810. Are r and 1 equal?
False
Let t(p) = p - 11. Let h be t(14). Are h and 10 equal?
False
Let n = 2/2541 - -7057/1694. Which is smaller: n or 1?
1
Let n be (8/16)/(1/(-2)). Let c be -4*(n + -1 - -1). Let g be 2/3*(-171)/(-38). Is g >= c?
False
Let p = 309 - 309. Is p at least 2/4317?
False
Let l be 106/12 + 3/18. Let k(g) = -g**3 + 8*g**2 + 10*g - 5. Let z be k(l). Suppose 0 = -4*f - 3*n + 3, 2*f + 4*n = f + z. Which is smaller: 3/16 or f?
f
Let u = 105.4 - 117. Let f = u - -1.6. Let w = -0.07 + -0.03. Which is bigger: f or w?
w
Suppose 13 + 3 = 4*v. Suppose 4*g = 2*r - 22, -v*r + 14 + 14 = -4*g. Suppose -3*k - 6 = r*k. Is -2/31 bigger than k?
True
Let k = 8.5 + -8. Let i = -0.5 - k. Let c = i - -0.9. Which is smaller: -1 or c?
-1
Suppose 5 + 6 = m + h, 4*h = -3*m + 29. Let k(w) = 6*w - 6 + m - 10*w. Let p be k(3). Do p and -2 have the same value?
False
Let g = -2 + 1.5. Let f(n) = -2*n**2 - 6*n + 9. Let h be f(-4). Let x be -2 + 2 + h*(-2)/(-6). Do g and x have different values?
True
Let o be ((-26)/39)/(1/9). Let g(p) be the third derivative of -p**6/120 - p**5/12 + 5*p**4/24 - p**3/6 - p**2. Let y be g(o). Which is bigger: 6 or y?
6
Let z be 2*(-24)/22 + (-176)/88. Let k(o) = o**3 - 5*o**2 + 4*o - 5. Let q be k(4). Is z != q?
True
Let a = 451/10 - 45. Suppose 0 = -c - 3*c - 204. Let i = c + 50. Which is smaller: a or i?
i
Let j be (40 - 0)*560/(-630). Is -37 <= j?
True
Let r = -38.3 - -38.5. Are r and 14 equal?
False
Suppose -3*k = 4*s + 101, 5*s + 212 = 2*k + 57. Is -28 less than or equal to s?
False
Suppose -2*y = -3*n - 16, 12 = -3*n - 26*y + 29*y. Is n at least -8?
True
Let i = 27 + -5. Suppose -6*b = -i*b + 1184. Is b greater than 72?
True
Let d = -869 + 519. Which is smaller: -351 or d?
-351
Let p = 7.5 + -7.8. Is -13 bigger than p?
False
Let h(r) = -r**3 - 7*r**2 - 4*r + 12. Let a be h(-6). Suppose 5*d + 2*b = 88, a*d - 56 = -4*d + 2*b. Let y = -23 + 38. Which is smaller: d or y?
y
Let a(q) = -q**3 + 5*q**2 + 5*q + 3. Let c be a(6). Let v = -3 - -1. Let h be (0 + v - -3)/(2/(-6)). Are c and h nonequal?
False
Let d = 123 - 129.7. Let h = 6.5 + d. Is -18 < h?
True
Suppose 3*i + 2*t + 3*t = 8, 5*i + t - 6 = 0. Let y be -6*(-7)/(-21)*2/(-25). Which is smaller: i or y?
y
Let s(n) = 29*n - 4. Let j(o) = 7*o - 1. Let b(v) = 9*j(v) - 2*s(v). Let r be b(1). Suppose r*x = 2*w - 22 - 0, -4*x = 2*w + 2. Is -2 >= x?
True
Let n = -3.5 + 1.1. Let j = n + 0.1. Let c = j + 1.3. Is 1/13 < c?
False
Let q = 405 - 547. Is -146 smaller than q?
True
Let g = 0.31443 + -17.28743. Let w = g - 0.027. Do -2 and w have the same value?
False
Let k = -49/1612 + -1/124. Which is greater: -1 or k?
k
Let a(l) = 73*l**2 + 4*l - 1. Let c be a(-3). Let k be c/42*2/4. Let q = -7 + k. Is q at least 0?
True
Let t = 34511/396 + 10/99. Let b = t - 88. Which is bigger: b or 0.1?
0.1
Let a = -94.051 - -94. Let j = a + -0.049. Which is bigger: -26/5 or j?
j
Let y = 53 - 49. Let p be 3/12 + (-1)/y - -8. Do 9 and p have the same value?
False
Let r = 176 - 196. Is r > -22?
True
Let u(p) = p**2 + 14*p - 16. Let d = 6 + -20. Let v be u(d). Is v at most as big as -15?
True
Let s = 5 + -1. Let f be (1368/2)/(3/s). Let b be f/(-56) - (-2)/7. Is b bigger than -16?
False
Let l(b) = -b**2 + 9*b + 10. Let v be 10/1 + 2 + -2. Let r be l(v). Let f = -6/5 - -9/10. Is f smaller than r?
True
Suppose -2*f + i + 49 = 0, 2*f - 4*i - 86 = -f. Let o = f - 13. Let y be o/(-90)*(4 - 1). Is y less than -1?
False
Let r(i) = -2*i**2 + 4*i - 6. Let o be r(3). Let h = o - -25. Is -1/3 less than or equal to h?
True
Let l = -608/31 + 7/62. Let v = -20 - l. Let s = 0.4 + 0.2. Which is greater: v or s?
s
Let p = -24498924 + 48311879235/1972. Let w = 15/29 - p. Which is greater: w or 1?
1
Let l(j) = 2*j**2 + 3*j + 3. Let r be l(-2). Suppose -r*f + 30 = 5. Suppose 0*b + f*b = k - 16, -4*k + 5*b = -19. Is k less than 0?
False
Let c(r) = -r - 11*r**2 + 2 + 0 + r**3 - r. Let u be c(11). Let x = 15 - 35. Does u = x?
True
Let y be (1 + 2 + -5)*30/4. Let z be ((-775)/y)/(-5)*(2 + -5). Is z greater than 32?
False
Suppose -18*i = -19*i + 8. Let j(m) = m**3 - 9*m**2 + 9*m - 6. Let v be j(i). Is v equal to 5?
False
Let u be (-2)/7 - (-162)/(-21). Let r = -30 + 23. Let f = 7 + r. Which is smaller: f or u?
u
Let d be (-7)/(-56) - (-2499)/(-24). Do -103 and d have the same value?
False
Let p = 41941 + -80904187/1929. Which is bigger: p or 0?
p
Let c be -5 - -1 - ((-110944)/28 - 6). Let d = -3978 + c. Which is bigger: -15 or d?
d
Let j = 11 - 1. Let m be 8/(-6)*j*(-21)/(-28). Are m and -37/4 equal?
False
Let h = 9983/5 + -2004. Let w = h - -301/40. Do w and 1/4 have different values?
True
Suppose 4*q - 20 = -q. Suppose -x - 5*w = -4*x + 26, -4*w - 18 = -x. Let r be -3 + x - q - 0. Which is smaller: -3 or r?
r
Let w(n) = -10*n**2 + 6*n - 7. Let s be w(2). Let g = -44 - s. Is g >= -8?
False
Let g = -13 + 35. Let a be (53/g + -2)/(-3). Which is greater: a or 0?
0
Let o be (-4*6/3336)/(1 - 0). Is o greater than 0?
False
Let q = 121.9 - 122. Let i = 7/24 + -5/72. Is i greater than or equal to q?
True
Let g be 9/(-6) - (-1651)/(-26). Is -63 greater than or equal to g?
True
Suppose 3*k - 13 = z, -2*k = 3*z - 0*k - 16. Let t be z + 1/(4/(-6)). Suppose -5*i + 2*c - 90 = 0, 0 = 2*i + 11*c - 13*c + 36. Is t bigger than i?
True
Let y = -616991/103 + 5990. Which is smaller: 0 or y?
y
Let f = -17/305 + 15403/2745. Let h = 755/144 - f. Which is greater: 0 or h?
0
Suppose -w - 14 = -j + 3*w, j = -5*w - 13. Suppose -5*k + j - 7 = 0. Which is smaller: -2/17 or k?
k
Let g(f) = 3*f**2 - 9*f + 7. Let c(x) = 4*x**2 - 10*x + 7. Let p(b) = -2*c(b) + 3*g(b). Let y be p(6). Let z be (1/(2 - y))/(-6). Which is greater: z or 1?
1
Let g = -79 + 40. Which is greater: g or 4?
4
Let p = -0.21 + -0.09. Suppose -138 = m - 135. Which is smaller: m or p?
m
Let h(t) = t**2 + 6*t - 17. Let j be h(-8). Let l be (-2)/(-18)*8*j. Suppose 0 = -0*p - 5*p - 10. Which is bigger: p or l?
l
Let l(c) = c - 3. Let d be l(-5). Let j(r) = r + 2. Let v be j(d). Let z be (v + 4)*(-1)/2. Is -2/23 greater than or equal to z?
False
Let n = -808 - -805. Let t be ((-6)/15)/(11/(-5)). Which is greater: n or t?
t
Suppose 10*t - 311 = 109. Let v = t - 34. Is 0 at most v?
True
Let b(t) = 12*t**2 - t. Let d be b(-1). Let w(y) = y**2 - 7*y + 3. Let f be w(8). Is f <= d?
True
Let n(s) = s**3 + s + 3. Let j be n(0). Suppose j*f + 12 = 7*f. Suppose