
Let s(z) = 4*z**2 - 2. Let u be s(-1). Is u at least 0.6?
True
Let j(n) = n. Let z be j(-5). Which is smaller: z or -6?
-6
Let l = 151 + -150. Is 8 at most l?
False
Let y be -1*1/(8/1). Suppose -2*w - 2*v - 3*v = 21, 5*v = 5*w. Let g = w - -2. Which is greater: y or g?
y
Let g be (3/(-39))/((-3)/(-12)). Which is greater: 1 or g?
1
Let v be ((-339)/(-3164))/(3/8*6). Is -1 != v?
True
Let w be ((-3 - -5) + -1)*-1. Let c be (-1)/3 - (-789)/(-9). Let h = 614/7 + c. Is w <= h?
True
Let o(j) = -j**3 - 7*j**2 + 9*j + 11. Let t be o(-8). Suppose -3*p + m = -m - 3, -4*m + 6 = -2*p. Suppose 10 = p*d + 4. Is d at least t?
False
Let n be 1/1 - (0 + 2). Which is greater: n or 3/17?
3/17
Let t = -5/71 - -177/497. Suppose 4*q + 105 + 71 = 4*y, -q - 29 = -4*y. Let k be (-35)/q + (-2)/(-7). Which is smaller: t or k?
t
Suppose 6 = 2*x - 2. Suppose -2*r + 10 = x*s, -s - 5 = -r + 6. Let z be (-1)/(-1) + r/(-7). Is z bigger than -1?
True
Let r(m) = 14*m**2 - m. Let a be r(-1). Let y = -34 + 50. Which is smaller: a or y?
a
Let q = -11 + 15. Let c = -6 + q. Which is greater: -10/9 or c?
-10/9
Let k = -10 + 15. Suppose k*h - 14 = -4. Let a be h*2/36*3. Is -4 bigger than a?
False
Let c be (-12)/28 - 258/(-112). Let x be (3/2)/(6/12). Is c > x?
False
Let v(c) = -8*c**2 - 2*c - 1. Let g be v(-1). Let u(f) = f**3 + 8*f**2 + 5*f - 9. Let l be u(g). Suppose -18 = -l*q - 8. Which is bigger: 3 or q?
3
Let f = 551 + -4954/9. Is 2 >= f?
True
Let q(i) = i**3 - i**2 - i - 2. Let m be q(2). Suppose m = -4*n + 23 - 3. Suppose -1 = -2*k + 7. Is k not equal to n?
True
Let w be 2 + -3*1 + 1. Let k = 3060 + -21316/7. Let g = -107/7 + k. Is w at most as big as g?
False
Let q(l) = -6*l + 4. Let d be q(-4). Let r(c) = 8*c**2 + c - 6. Let i be r(2). Are d and i equal?
True
Let k = -5 - -16. Suppose 1 = -4*p - k. Suppose -2*r + 6 = 3*a, 4*a = a + 3*r - 9. Which is greater: p or a?
a
Let h(b) be the first derivative of 1/4*b**4 + 7/3*b**3 + 1/2*b**2 - 2 + 6*b. Let d be h(-7). Is 0.1 <= d?
False
Let f = 34 + -40. Is -9/2 >= f?
True
Let j(s) = -s**3 + 13*s**2 - 13*s + 10. Let w be j(12). Let x be -5 - w - 10/(-4). Is x less than or equal to 2?
True
Suppose -2*x - 3*v + 56 = 0, v + 3*v = -2*x + 56. Let w be 2/2*4/x. Which is smaller: 0 or w?
0
Let s be (34/(-20) + 2)/(18/(-24)). Let v = 0.29 + -0.2. Which is smaller: s or v?
s
Let j = 32/1681 - -183391/168100. Let v = -9/25 + j. Which is greater: -2/3 or v?
v
Let s = -57 - -48. Is s != 0.2?
True
Let x(t) = -4*t - 1. Let o(n) = 3*n. Let q(f) = 5*o(f) + 4*x(f). Let g be q(-5). Which is bigger: g or 8?
8
Let u be 0 - ((-13)/5 + 2). Suppose -4*w + 8 = -w + p, 3*p = -5*w + 20. Are u and w non-equal?
True
Let n = 648/5 - 130. Let r = 16 - 15. Is n not equal to r?
True
Let z = -29 + 29. Is z equal to 4?
False
Suppose u = -2*u + 3*i - 3, 4*u = -5*i - 22. Let y(x) = -x**2 + 3. Let d be y(u). Suppose 3*j + 18 = -3*o, -3*j - 2*j + 2*o = 37. Is j at least d?
False
Let i = 14 - 5. Let h = -10 + i. Which is bigger: h or -2/13?
-2/13
Let x be (-3)/(-12) - 19/28. Let b = 3 - -1. Suppose 3*t - b*t = 1. Is t less than x?
True
Let s = 11 - 14. Let g = -6 + 6.1. Is s equal to g?
False
Let l be ((-2)/(-6))/(15/(-45)). Which is smaller: -2 or l?
-2
Let o = 42 - 41. Is 2/517 equal to o?
False
Let i = -8 - -0.2. Let z = i - -1.8. Which is greater: 0 or z?
0
Suppose -29 = -3*i - 32. Which is smaller: i or -2/45?
i
Let q = -14.8 + 13. Let y = q + 2. Let m = y - 0.2. Which is smaller: m or 0.1?
m
Let i = 1950 - 15623/8. Is i greater than or equal to -2?
False
Suppose 4*p - 14 = 26. Let l = -5 + p. Let u = 71 - 70. Is u at least as big as l?
False
Let k = -3 - 0. Let w = -1 + -2. Let b = w - k. Is b at least -1/3?
True
Suppose 0*i - 12 = -4*i. Let z be -7 + 9 + 1 + 0. Is z greater than i?
False
Suppose t - 6*t + 135 = 0. Let j be 38/90 + (-6)/t. Suppose -3*b - 1 - 2 = 0. Which is greater: j or b?
j
Let v(m) = -m**2 + 10*m + 3. Let g be v(12). Which is bigger: g or -20?
-20
Let z be -3*((-2)/(-10))/((-147)/385). Which is bigger: z or 3?
3
Suppose -4*o + 3*o + 2 = -3*f, -4*o = -4*f. Let h be 3 + f + (-3)/3. Let z be 3*(1 - (-10)/(-12)). Which is smaller: h or z?
z
Let t = 2.1 + -4.1. Is t less than -16?
False
Let q(n) = -n**3 + 8*n**2 + 9*n. Let v be q(9). Let z = 2 - v. Let o be (-5 + 2)*(z - 3). Which is smaller: 2 or o?
2
Suppose 0 = 4*m + 4*y + 768, y + 580 = -3*m - y. Let v be (m/6)/(5/3). Let a = -101/5 - v. Is -2 less than or equal to a?
True
Let y = -3 + 3. Suppose y = 4*f - 18 + 6. Let z = 4 - 1. Is f equal to z?
True
Suppose 2*u + 9 = -3*d, -4*d - 37 = -4*u + d. Let q(s) = s**2 + 8*s + 4. Let a be q(-8). Is u equal to a?
False
Let j(g) = g**2 + 5*g - 2. Let m = -22 - -16. Let c be j(m). Let z(f) = -f + 7. Let u be z(5). Which is greater: u or c?
c
Suppose 0 = -4*t + 2 + 42. Is -2 greater than t?
False
Let p be ((-4)/5)/((-1)/(-5)). Let t = 0 - p. Is t at most as big as 5?
True
Let t be -1 - (3/3 - -5). Let p(s) = -s**2 - 6*s + 6. Let l be p(t). Is -1 at most l?
True
Let f(m) = m**3 + m + 19. Let g be f(0). Suppose 24*t = g*t + 15. Is t at most as big as 4?
True
Let s be (-2)/3 - (-32)/(-6). Let o(r) = 2*r**3 + r**2. Let a be o(-3). Let u be (-33)/a - s/(-15). Which is bigger: 1 or u?
1
Let f(l) = l**3 + 7*l**2 + 7*l + 7. Let b be f(-6). Let g(n) = n**2 + 4*n - 1. Let v be g(-4). Is v less than b?
True
Let i(f) = -f + 2. Let y be i(-2). Suppose k = y*k + 9. Is -1 greater than or equal to k?
True
Let p = -0.162 + -20.838. Which is smaller: 1 or p?
p
Suppose -12 = 2*t - 5*t. Let z be (-26)/(-15) - t/10. Which is greater: 1 or z?
z
Let i(b) be the second derivative of -b**5/20 + 5*b**4/12 - b**3/2 - 3*b**2/2 + b. Let w be i(4). Let v = 4 - w. Which is greater: 2 or v?
v
Let h = -14 - -17. Suppose -4*m + 2 = -h*x, -x + 3*x + 6 = 5*m. Which is smaller: 6 or x?
x
Let t = 52 + -574/11. Let m be -9 + 6 + 6/2. Suppose 4*y - 5*s + 6 = m, -2 = -y - 2*s + 3. Is y bigger than t?
True
Let x = -0.7 + -0.3. Let r = 6 + -6.3. Let n = 0.4 + r. Is x at least as big as n?
False
Let r be 15 + -2 + 12/4. Let x be (1 + -3)*r/176. Which is bigger: x or 1/7?
1/7
Let b be 23/(-3) + 3/(-9). Is -8 <= b?
True
Let i be (9/(-18))/((-1)/6). Suppose 0 = -2*n - 13 + i. Which is greater: -4 or n?
-4
Suppose 0*p + 2*p = 4. Suppose -4*z + 36 = -5*d, 2*d - 4*d + p*z = 16. Let n = -4 - d. Which is bigger: 1 or n?
1
Suppose 0 = 2*d - 2*h + 40, -h = -5*d + d - 74. Let m(w) = -w**3 + 2*w**2 + 6. Let j be m(5). Let f be -2 + (j/d - 2). Which is greater: 1 or f?
1
Let w = 0.13 - 0.43. Let h = w - -0.9. Is h smaller than -0.1?
False
Let z = 0.1 + -1.1. Let i be (-1)/2 + 196/8. Let x be i/110 + 4/22. Which is smaller: x or z?
z
Let q = -359744 + 4681116/13. Suppose -d = 4*d - 1710. Let k = q - d. Which is smaller: 0 or k?
k
Let y be ((-2)/(-478))/((-3)/6). Let l = 1209/1673 + y. Which is smaller: l or 2?
l
Let q(l) = l**2 + 10*l + 1. Let y be q(-10). Suppose 2*k - 1 = y. Is k less than 1?
False
Let n be 1 + (-4)/12*-3. Suppose b = -2*s + 11, 0 = -n*b + s - 0 - 3. Which is bigger: 0 or b?
b
Let x be 753/(-15) + (-1)/(-5). Let b be x/(-8) + (0 - 0). Let p = b + -71/12. Which is bigger: -1 or p?
p
Suppose -2*h = -4*y + 4 + 6, -5*y + 15 = -2*h. Let l be 1*(2 - 3)*h. Let m be l/((-5)/(-3)) + 3. Is 3/5 > m?
True
Let c(b) = -b**3 + 5*b**2 - 3*b + 3. Let q be c(5). Let a be (q/10)/((-6)/20). Are a and 5 equal?
False
Let c = 19.11 - 19. Let h = 2.11 - c. Which is smaller: h or -6?
-6
Let x(q) be the second derivative of -q**5/20 - q**4/2 + 4*q**3/3 - q**2/2 + 2*q. Suppose -14 = 3*p - p. Let t be x(p). Do t and -8 have different values?
False
Let c be 1/(-3) - (-5)/(-12). Let j = 36 + -37. Do j and c have different values?
True
Let q(l) = -l + 1. Let u be q(1). Which is bigger: -5 or u?
u
Suppose -2*q - 2*h = 2*q + 14, 5*h + 23 = 2*q. Which is bigger: q or -1/65?
-1/65
Suppose -3*z - z - 28 = 0. Let x = -2 - z. Suppose 1 = -5*t - 2*m - x, 5*t - 4*m + 18 = 0. Are t and -4 nonequal?
True
Let k = -0.02 + -0.98. Let y = 1 + -1. Suppose -g - 5*j = -0*j + 13, y = -4*g + j + 11. Are k and g equal?
False
Suppose -4*k = 5*v - 5*k - 36, -3*k + 20 = v. Which is smaller: 0 or v?
0
Let y = -8 - -10. Suppose -3*i = -y*i - 5. Which is bigger: 2 or i?
i
Suppose -3*w = 1 + 5, 2*z + 5*w + 10 = 0. Let o = z + -1/2. Is 1 greater than