
-4
Let s = -21 - -14. Let i = s - -7. Is i less than -5?
False
Let u be (-114)/(-7) + (-4)/14. Suppose -5*w - 3*s = -u, -9 + 1 = -4*w - 4*s. Let c = -6 + w. Is -1 greater than or equal to c?
True
Let d(l) = -l**2 + 11*l - 3. Let c be d(11). Is c bigger than -4?
True
Let r(y) = 2*y + 9. Let s(n) = -n - 5. Let f(c) = 4*r(c) + 7*s(c). Let l be f(4). Suppose -5*g = q + 4, 0 = -3*q - 2*g + g + 16. Is l less than q?
True
Let y(b) = -b. Suppose 4*c - 2*i = -16, 2*c + 2*c = -4*i - 4. Let w be y(c). Is w at least 1?
True
Suppose -j - 3*s = 2*j + 9, -3*j - 4*s = 10. Let w be -1 - j - 1*-3. Is w greater than or equal to 2?
True
Suppose -5*v + 9 + 1 = 0. Let a be v/11 + (-62)/(-22). Which is bigger: a or 2?
a
Suppose 2*y + 3*r + r = 6, 0 = -3*y - 5*r + 8. Let x(b) be the first derivative of b**4/4 - b**3/3 + b**2 - b - 2. Let w be x(y). Is w smaller than 2?
True
Let a = -91 - -95. Suppose -3*k = 5 - 14. Is a smaller than k?
False
Suppose 2*w - 10 = -3*n, -3*w = -w + 2. Let y(k) = -k**2 + 1. Let u be y(-1). Is n > u?
True
Let h be 4/6*39/(-1). Which is smaller: h or -27?
-27
Suppose 29 - 9 = 4*h. Suppose 3*m = -h*y + 7 - 48, -3*y = 2*m + 26. Which is smaller: m or -15/2?
-15/2
Let u = -7 + 4. Let d = -22 - -64/3. Are d and u non-equal?
True
Let q = -5 + 4. Let s = -6 + 4. Which is bigger: s or q?
q
Let d be (1/(-4))/(4/(-16)). Let m = 32/7 + -302/63. Is m < d?
True
Suppose -5*g + 9*g + 4 = 0. Which is smaller: 4/9 or g?
g
Suppose -2*p + j = 126, 0 = -3*p + 4*j - 50 - 134. Is -65 smaller than p?
True
Let d = 6 - -8. Suppose 0 = -5*v + d - 4. Let k be (2/1 - 3)*v. Is -2 <= k?
True
Let n be (4/2)/(2*(6 + -5)). Which is greater: 9/8 or n?
9/8
Let j = -55536 + 613010/11. Let a = 192 - j. Does 0 = a?
False
Suppose -3*p - 6 = -15. Suppose 1 + 2 = p*v. Are 1 and v non-equal?
False
Suppose 4 = 4*m - 4. Let t = 32 + -31. Let i be 70/(-22) + m + t. Which is smaller: 0 or i?
i
Let m be -2 - -2*(1 - -2). Let v = 8 - m. Suppose -k + 20 = v*f, -2*f + 10 = 3*k + 2*k. Is 2 > k?
True
Let x = 49 - 30. Let p = x - 7. Suppose 0*z = -3*z - p. Is -5 greater than z?
False
Let n = 3/9203 + 13171/16059235. Let q = n - 15737/27920. Let x = q + 5/16. Is -1 != x?
True
Let y = 8 - 4. Suppose 4*r + 5 - 33 = 5*g, 3*g + 10 = -r. Let b = g + y. Is b greater than 0?
False
Let y = -0.06 - -0.04. Let g = y - 0.08. Which is bigger: 2/11 or g?
2/11
Let z be (-34)/6 + (-2)/(-3). Let y be (z/(-2))/5*4. Suppose -y*b - 1 = -2*v - 9, 3*b = -5*v + 28. Which is greater: b or 5?
b
Let s = -80 - -81. Which is greater: s or 3/10?
s
Suppose -4*c = 33 + 7. Which is smaller: -12 or c?
-12
Let n(l) = l**3 + 2*l**2 - 4*l + 1. Let c be n(-3). Let u(f) = 3*f. Let v be u(1). Suppose c*p + 0 + 9 = -v*i, 0 = 3*p - 4*i - 12. Are p and -1/2 non-equal?
True
Let n be (4/(-6))/(5/6). Let b(y) = y**2 - 5*y - 7. Let j be b(6). Let z = j - 0. Is z not equal to n?
True
Let u(h) = 2*h + 2. Let n be u(10). Let a be 9/18 + n/(-28). Let b = -1 + 0. Which is greater: a or b?
a
Let o = -0.02 + -1.98. Let c = -2.1 - o. Suppose 2*x - 3*f - 8 = 0, -2*f - f = 2*x + 16. Is c >= x?
True
Let w be (-2)/7 + 26/42. Let m = 472/1701 - -2/243. Which is greater: w or m?
w
Let b = -7 + 7.16. Let l = b + -9.16. Let a = 4 + l. Are a and -2 unequal?
True
Let d = -1/3 + -4/15. Let u = 2 - 3. Do u and d have the same value?
False
Let y be (-11)/(-3) - (-4)/(-6). Let a = 10 - 4. Suppose 5*c = j + a, 5 = -2*c + 4*j - 7. Which is smaller: c or y?
c
Let h be (0 - 6)/((-5)/10). Suppose -2*n - 2*n = -h. Let t be n/((-9)/3) + 1. Which is smaller: -1/5 or t?
-1/5
Suppose -5*w - 5 = -15. Let p = 153/2 - 75. Do w and p have the same value?
False
Let p = 126 + -94. Is -0.1 bigger than p?
False
Let t be (0 + 126)*4/(-30). Which is smaller: -17 or t?
-17
Let m = 168 + -168. Let k be ((-4)/(-14))/((-45)/21). Is m less than or equal to k?
False
Suppose -2*n = -3*n + 1. Let b be 292/18 + 14/(-63). Suppose -3*h + 2*q + 10 = 0, -4*h + 4*q + 0*q = -b. Which is greater: h or n?
h
Suppose 2*d + 0*w + 4*w - 22 = 0, 0 = d - 2*w + 1. Let u = -2 + d. Suppose q + u = 6. Is 4 smaller than q?
False
Let r = -1 + 1. Let m(q) = q - 16. Let u be m(18). Let t be 2 - ((u - 4) + 5). Which is smaller: t or r?
t
Let w(t) = 3 + 4*t - 2*t - 3*t. Let z be w(0). Is 4 greater than z?
True
Let n be -2*(2 + (-3)/(-6)). Which is smaller: -6 or n?
-6
Suppose 4*t - 3*s - 24 = 0, 0*t + 2*s + 11 = t. Let d be -2 - (0 + t - 0). Which is bigger: d or -4?
-4
Let p = -16 + 11. Let c(v) = v**3 + 5*v**2 + 2*v + 1. Let s be c(p). Is s != -9?
False
Let p(u) = -u**3 + 9*u**2 + 9*u + 14. Let r be p(10). Suppose -2*k - 7 - 3 = -5*y, r*y - 3*k = 1. Which is smaller: 5/2 or y?
5/2
Let o = 0.5 - 0.6. Let f = -4 - -7. Let g be (8/(-6))/(7/f). Is o <= g?
False
Let t be ((-50)/(-9) - 2)/(4 + -3). Which is smaller: t or 5?
t
Suppose 5*j - n - 15 = n, 0 = 3*j - 2*n - 13. Is j >= 36?
False
Let d = -2 + -4. Let o = 11 + -16.8. Let b = d - o. Which is greater: b or 1?
1
Let o(q) = -41*q + 1. Let i be o(1). Is -38 at least i?
True
Let i(x) = 4*x**2 + x - 1. Let n be i(1). Suppose -a = 3*a + n. Is 1 equal to a?
False
Let y = -4.3 + 2.3. Is y > 0.05?
False
Let w = 64 + -69. Is w greater than or equal to -4?
False
Let f = 84 - 250/3. Do 2/5 and f have the same value?
False
Suppose 11*j - 2 = 9*j. Let k = -8 - -19/2. Is k equal to j?
False
Let c(h) be the first derivative of h**4/4 - 5*h**3/3 + 2*h**2 - h - 4. Let b be c(4). Let a = -3/10 + -1/5. Are a and b unequal?
True
Let a = 6985/78 + -179/2. Which is greater: -1 or a?
a
Let h = -0.1 + 0. Which is smaller: -11 or h?
-11
Suppose -4*r = -3*h - 60, 4*h + 40 = -0*r + 2*r. Let s be ((-6)/46)/(18/r). Suppose -l + 7*g = 3*g - 17, l - 5 = g. Is l smaller than s?
False
Let h be (-22)/(-26) + -1 - 540/(-2496). Let f be ((-1)/(-2))/(1/(-2)). Is f less than or equal to h?
True
Let z be (-2 + 0)/(-4)*12. Let d be (-2)/(-6) + 1/z. Which is greater: d or 0?
d
Let p = 23 - 25. Let u = 2 + -2. Which is smaller: u or p?
p
Let y = 26.8 - 27. Which is greater: y or -0.1?
-0.1
Let t = -3 - -3.1. Let n = -0.34 - -0.24. Is n < t?
True
Let q = 9.8 - 9. Let d = q + 0.2. Let i = 1 - d. Which is greater: i or 1?
1
Let a(g) = -2*g - 6. Let x be a(-4). Suppose x*p + 4 - 2 = 0. Let s = 2 + -3. Is p smaller than s?
False
Let c = -2 + -17. Let g = c + 28. Is 2 less than or equal to g?
True
Let x = 1.2 + -0.2. Let c = 43/5 - 9. Which is greater: c or x?
x
Suppose t + 13 = -3*q, 6 = 2*t + t. Are q and -4 equal?
False
Suppose -2*o = 4*m - 10, -5*m + 7 = 5*o - 3. Which is bigger: 9/28 or o?
9/28
Let r(s) = s - 7. Let q(z) = -4*z**3 - z. Let g be q(-1). Let c be r(g). Is c > -1?
False
Let p be -1*2 - 34/(-2). Is p < -1/4?
False
Let h(z) = z**2 - 6. Let f be h(-6). Are f and 30 equal?
True
Let y be 720/(-64)*1/3 + 4. Which is smaller: y or -1/109?
-1/109
Let x = -6 - -11. Let j(r) = 3*r**2 - r + 1. Let i be j(-2). Suppose -3*h = -0*h - i. Is h not equal to x?
False
Suppose -2*r + c + 106 = -4*c, -70 = -2*r - 4*c. Which is smaller: r or 171/4?
171/4
Let s = 4 - 6. Let d = -64 + 64.05. Do d and s have the same value?
False
Let q be -1 - (0 - (-1 + 0)). Which is bigger: q or -1?
-1
Suppose 1 = h - 4. Suppose 5*q - h*b = -65, -24 = -5*b + 1. Which is greater: q or -6?
-6
Let p be (1 + -4)*(-4)/(-6). Let x = p - -7. Suppose x*u = -0*u. Which is smaller: u or 2/11?
u
Let u be (-39)/26*(-28)/(-6). Does -7 = u?
True
Let o be 17/(-45) - 20/90. Is o bigger than -1?
True
Let p = -0.67 + 2.67. Do 0.07 and p have the same value?
False
Let q(v) = v**3 + 8*v**2 + 5. Let p be q(-8). Suppose -3*j - 4*d + d = -21, 15 = j + p*d. Which is greater: -1/3 or j?
j
Suppose 0 = w + 5*z - 17, 2*w + w - 18 = -4*z. Suppose i = -2*n - n - 3, -16 = -4*i + w*n. Is i less than or equal to 2?
False
Suppose 0*q = -3*q. Let z = q + 1. Which is smaller: z or -2/11?
-2/11
Let q = -27 + 79/3. Let i be (-24)/9 + (-2)/(-3). Are i and q equal?
False
Let k = 20 + -28. Suppose -14 = 4*q + 22. Do q and k have the same value?
False
Let c = -24 - -14. Let s = c - -14. Suppose -s*g + 0*g + 8 = 0. Is 2 > g?
False
Let l = -6.38 + 0.58. Let k = -5 - l. Which is smaller: -1 or k?
-1
Suppose 0 = -x - 0*x + 24. Suppose -14*h - x = -10*h. Is -6 >= h?
True
Let u(m) be the first derivative of m**2/2 - 9*m - 2. Let i be u(12). Which is greater: i or 3/2?
