True
Let q = -7/95 + -1/38. Do q and -1 have different values?
True
Let f(g) = 54*g**2 - 4*g - 2. Let t be f(-3). Suppose 0 = -5*r + t + 49. Let h = 761/7 - r. Is 0 less than h?
False
Let n be (2 - 11) + 1 + 2. Let u(x) = x**3 + 5*x**2 - 5*x + 7. Let y be u(n). Which is greater: 2 or y?
2
Let z = -310 + 23252/75. Which is smaller: z or 1?
z
Let b = -0.5 + 0. Let a = b + 2.5. Which is smaller: a or 0.2?
0.2
Suppose -3*n + 4 = 1. Let l = n + -1. Let f be -2*(l + (-1)/14). Is f less than 0?
False
Let w(n) = 3*n + 7. Let f be w(-2). Which is bigger: -2 or f?
f
Let o be (723/6)/(2*-1). Let t = o - -123/2. Which is smaller: 0 or t?
0
Suppose p + 24 = -3*p. Let f be (6/9)/((-4)/p). Is f equal to 3?
False
Suppose -x - 2*x + 12 = 5*r, 2*r - 7 = x. Which is greater: 4 or x?
4
Let g be (-1)/7 - ((-1080)/42)/5. Suppose r + 2 + 8 = 5*l, 5*r + 4*l = -21. Let q = r + g. Is q greater than -1?
True
Let f(d) be the second derivative of -d**4/12 + 4*d**3/3 - 3*d**2/2 + d. Let p be f(7). Let v = -3 + p. Which is smaller: 2/5 or v?
2/5
Let n = -13 + 9. Let u = n - -11/3. Let m = 1.53 - 1.33. Is u < m?
True
Let q = -4 + 4. Let h(s) = -s - 10. Let k be h(q). Let n be (4/6)/(k/(-6)). Which is smaller: 2/9 or n?
2/9
Let n(s) = -s**3 + 13*s**2 + 13*s + 19. Let f be n(14). Suppose 0 = 3*t + x + 28, 0 = f*t + 5*x + 39 + 21. Is -7 equal to t?
False
Let p(l) = 2*l + 5. Let x be p(-6). Which is greater: x or -4?
-4
Let i = -8268 - -66285/8. Let q = i + -35/2. Suppose -j = j. Is j >= q?
False
Let i = -2119/6 + 352. Is 0 > i?
True
Suppose 2*l = n - 3, l - 5*n - 5 = -20. Does l = 2/21?
False
Suppose z - 695 = -690. Let k be (1/(-1))/(3/(-21)). Let s(x) = -x**3 + 7*x**2 + 2*x - 9. Let p be s(k). Does p = z?
True
Let t = -20 + 19.6. Which is smaller: t or 6?
t
Let n be 2/(-5) + (-214)/(-10). Let k be (-1 - -3) + n/(-14). Which is smaller: 1 or k?
k
Let f be (-2)/(-7) + 24/14. Suppose 8 = -f*t + 6*t. Suppose 0 = -5*q + t*q + 6. Is -2/5 greater than q?
False
Let f(h) = -h**2 - 2*h + 13. Let w be f(-5). Let y = 0 - 1. Let n = y + 1. Which is bigger: w or n?
n
Suppose 34 = -5*s - 4*v, -3*s + 4*v = 27 + 19. Let m = -10 - s. Is -2/15 < m?
True
Suppose 2*g + 3*s + 60 = -0*g, 44 = -2*g + s. Let l be -2 + 18*(-3)/g. Which is bigger: l or 1?
1
Let f = -188.02 - -188. Is f at least as big as -0.5?
True
Let m(p) = 3*p + 11. Let k(o) = o**3 + 10*o**2 - 11*o - 4. Let y be k(-11). Let a be m(y). Which is greater: a or 3/22?
3/22
Let w = 10 + -6. Let h be ((-10)/(-4))/(2/w). Suppose 3*b - 7 = h*j, 0 = -j - 0*j + 3*b - 11. Which is smaller: j or 1/4?
1/4
Let l = -593/5 + 119. Suppose 3*o - 2*w = 3, 0*o + w + 7 = -4*o. Is o < l?
True
Let p(k) = -8*k - k**3 - 4 + 6*k**2 + 8*k. Suppose 0 = 3*r - 5*v - 23, 10 = 5*r + 3*v - 17. Let y be p(r). Which is greater: -2 or y?
-2
Let u = 470/9 - 52. Which is smaller: 0 or u?
0
Let n = 0.018 - 1.018. Are n and 0 unequal?
True
Let i be ((-1)/(-2))/((-1)/(-4)). Suppose -i*g + 6*g - 6 = -2*r, 5*g - 1 = 4*r. Let h = -1 - -3. Which is smaller: h or r?
r
Let c(k) = 4*k + 1. Let b be c(1). Suppose 0*q = b*q + 85. Is q <= -16?
True
Let o(g) = g**2 - 9*g - 13. Let k be o(11). Let s = k - 9. Let d be 3*1 - (-25)/(-7). Do d and s have the same value?
False
Let m = -12 - -13. Is m greater than 1.2?
False
Let z = 125 - 1126/9. Which is smaller: 1 or z?
z
Let r be (2 - 1) + 2 + 0. Suppose -r*g + s + 14 = -g, 3*g - 5*s - 14 = 0. Let u be g/10 + (-4)/(-20). Do u and -1/3 have the same value?
False
Let j(w) = w**3 - 6*w**2 - 7*w - 2. Let a be j(7). Let u be (-1)/((-2)/26) + -2. Let h = 8 - u. Which is smaller: a or h?
h
Let w = 9 + -5. Let a = 0.1 - 4.1. Let z = w + a. Is -0.1 bigger than z?
False
Let z(s) = s - 8. Let v(g) = -1. Let d(l) = -2*v(l) + z(l). Let k be d(8). Is -2 >= k?
False
Suppose -b = 2*s - 3*s + 59, 0 = 5*b - s + 315. Which is bigger: -65 or b?
b
Suppose -2*g = 2*g - 8. Suppose g*w + 3 = w. Let k be -1*6 - -2 - -2. Which is smaller: k or w?
w
Let i(m) = -m**3 - 5*m**2 + 5*m - 1. Let b be i(-6). Suppose 5*w + 4*d = 32, -7*d + 8*d = -w + 7. Let z = b + w. Which is greater: 8 or z?
z
Suppose -4*h = 3*b - 14, -4 = -5*h + b + 2*b. Let k = -2.7 - -3.7. Is h at most k?
False
Let d = 751/322 - 29/23. Do 0 and d have different values?
True
Suppose 0 = -0*b + 2*b. Let y be b*(-2 - (-2 - -1)). Is y greater than 0?
False
Let r = -0.3 - -0.31. Let t = 8 - 7.9. Is t at most r?
False
Let j be (-1)/(0 + (-1)/(-2)). Let i be (j/(-4))/((-3)/6). Is i greater than -2/21?
False
Suppose 2*c + 2*c = -4. Let h be (-2 - c)*(-3)/(-9). Which is smaller: 0 or h?
h
Let h be (-4)/9*6 + 9/3. Suppose -3*t = t + 4. Which is bigger: t or h?
h
Let h = 5 + -15. Let k = -8 - h. Let x be (1 - 3) + -3 + k. Is x > -3?
False
Suppose d + 14 = 5*x, 3*d = 4*x + 3 - 23. Suppose -b = -x - 0. Is 1 greater than b?
False
Let h be 3308/3*2/12. Let r = h - 184. Let k = 21 + -65/3. Which is smaller: r or k?
k
Let l = 73 - 80. Is 1 less than or equal to l?
False
Let j be 2/7 + (-95)/(-35). Suppose -j = -0*k - k. Is 1 equal to k?
False
Let q = 1 - 6. Suppose -36 = -6*g + 2*g. Let j(f) = f**2 - 9*f - 4. Let c be j(g). Does q = c?
False
Let t = 5833/2 + -2596. Let s = t - 313. Which is bigger: 8 or s?
8
Let x be (-1*4)/(1 - 2). Let y(p) = 5*p - 9. Let c(k) = 9*k - 17. Let u(l) = -4*c(l) + 7*y(l). Let q be u(2). Is q smaller than x?
True
Let g(n) = -2*n**2 - 31*n - 23. Let j be g(-12). Which is greater: 60 or j?
j
Let t(k) = k**3 - 6*k**2 - 8*k + 12. Let z be t(8). Let b = z + -377/5. Which is bigger: 2 or b?
2
Let b(i) = i**3 - 6*i**2 + 5*i - 2. Let h be b(3). Let g = 8 + h. Is g <= 1?
True
Let s = -1 + 1. Let d = 184 - 1475/8. Which is smaller: d or s?
d
Let o = -2.6 + 2.6. Let w = 2 + -2. Let d = o - w. Are d and 4 equal?
False
Let w = 456/5 - 92. Suppose -c - 1 = 1. Are c and w nonequal?
True
Suppose 0 = -4*m - l + 1 + 42, -l = -3. Let x be (-34)/m - 3/(-1). Let r(h) = h**3 + 2*h**2 - h - 1. Let b be r(-2). Is x greater than or equal to b?
False
Suppose -3*t = -2*t - 3. Suppose -2*r + q = 29, 1 = r - t*q + 28. Are -11 and r non-equal?
True
Let d = 62 + -25. Suppose -k - k = -10, 0 = 3*p - 5*k + d. Let i(g) = g**3 + 3*g**2 - 5*g + 3. Let c be i(p). Is c at least 6?
True
Let o be (-9)/(-12)*(-58)/6. Let i = o + 141/20. Let f(w) = -w**3 - 7*w**2 - 7*w - 8. Let t be f(-6). Which is bigger: i or t?
i
Let t = -10 - -6. Is -1 equal to t?
False
Let o = -3.5 - 7.3. Let n = o + 10. Is -2/11 <= n?
False
Let i = 326631/98 - 3333. Does i = 1?
False
Let d = -1521/2 - -744. Let h = d + 16. Which is bigger: h or -2?
h
Suppose 0 = -s - 3 + 1. Let z be (-20)/(-15) + 2/s. Let d(q) = -q**2 - q + 1. Let o be d(1). Is o at least z?
False
Suppose 0 = 5*t + 62 + 28. Let f be ((-2)/(-42))/((-3)/t). Is 0 greater than f?
False
Let d = -51 - -71. Suppose -3*s - h + 2*h = -d, 0 = -4*h - 20. Suppose -3*v + 5*v + 3*n = s, -2*v - 13 = -3*n. Which is smaller: -3 or v?
-3
Suppose -2*l = -4, -b + 4*b + 13 = 2*l. Which is smaller: b or -2?
b
Let x(r) = -r**2 - 8*r + 5. Let u(p) = -p**3 - 5*p**2 + 2*p + 2. Let d be u(-5). Let q be x(d). Is 6 smaller than q?
False
Let v be -2 + 2 + 6*(-30)/(-9). Is 22 at most v?
False
Let l = -6 + 6.1. Let y = -1.1 + l. Is y at most -2/11?
True
Let k be 2/10*-6*5. Let d(z) = -z - 8. Let c be d(k). Is 0.2 equal to c?
False
Let b be (0 - -1)*(3 + -2). Let q = b + 3. Which is smaller: 3 or q?
3
Suppose -3*i + i + 2 = 0. Suppose 0 = -v - 3 + 5. Let j = -2 + v. Is i <= j?
False
Let y be 4/8*2/(-1). Let l be -10*(y + 26/30). Let a = -22/21 + l. Does a = 0?
False
Let v be -8*(-1)/((-1)/3). Are v and 1/4 non-equal?
True
Let r = 18.09 - 18. Let w = r + 0.01. Let h be 3/10*(-4)/3. Which is smaller: w or h?
h
Suppose -4*w + 1 - 5 = i, -2*w - i = 2. Which is greater: w or -4/103?
-4/103
Let d be 4/18 + (224/63)/2. Are 8/13 and d equal?
False
Let o = -0.2 - -0.3. Let y = -103 + 105. Which is smaller: y or o?
o
Let u = -1 - -0.58. Is 0 at least u?
True
Let q(n) = -3*n**2 + 18*n - 32. Let w be q(10). Is -152 < w?
False
Suppose 2 = -a - 1. Let o be (-1 + (-34)/(-42))*(-15)/(-10). Which is smaller: o or a?
a
Let a be 2/(-8*1)*-1. Let w be ((-52)/(-8) + -4)*(-3)/15. Which is smaller: a or w?
w
Let y(u) be the first derivative of u**2/2 - 3*u - 1. Let g be y(2). Let s be 1/(2 + g + -4). Is s at most 1/5?
True
Let k = 2 - 1.5. L