ler: 0 or n?
0
Let f(b) = b**3 + 25*b**2 - 27*b - 28. Let x be f(-26). Are -0.03 and x equal?
False
Suppose 52 = 5*x - 23. Let l be 2*(x/2)/3. Suppose 5*r + 0*c - 55 = -5*c, 0 = -2*r - l*c + 37. Does 2 = r?
False
Let k = 14 - 12. Is 2 greater than k?
False
Suppose 3*p = 3*s - s - 4, 0 = -5*p + 4*s - 6. Let x be -1 + (-1 - (-1)/(-5)). Is p equal to x?
False
Suppose 0*n + 4*t - 1 = 3*n, -9 = -5*n + 4*t. Suppose 14 = -n*u - 6. Is u <= -6?
False
Suppose -g = x - 3, -4*x = x - 5*g + 35. Let n(c) = 3*c - 1. Let o be n(1). Let s = o + -5. Is x greater than s?
True
Let u = -17 + 22. Is 3 < u?
True
Let g = -2/525 + -344/1575. Which is greater: g or -1?
g
Suppose 0 = -4*f - b + 16, 3*b + 4 = -5*f + 24. Which is smaller: 6/5 or f?
6/5
Suppose 0 = -p - 2*p + 63. Let o be ((-14)/p)/(1 - 4). Which is greater: o or 1?
1
Let u(b) = 2*b - 4*b - 2*b**2 - 1 + 0*b + b**3. Let t be u(-1). Let j be -1 - 2 - (t - -2). Which is greater: 0 or j?
0
Suppose 2*w - 3*w + 1 = 0, -4*b = -5*w + 9. Let k be 12/8*4/(-6) - 5. Is k greater than b?
False
Suppose 0*r + 8 = -2*r. Is r at least -4?
True
Suppose 4 = h - 4*p, 3*p = -h - 1 - 16. Let k = h - -5. Which is smaller: k or -4?
-4
Let s(g) = -g**2 - 14*g + 19. Let o be s(-12). Are o and 42 unequal?
True
Suppose 6*z + 37 - 31 = 0. Is 2/429 at least z?
True
Let k = -2.5 - -4.7. Let f = k - 2.3. Let o = -3/28 - 5/28. Are f and o nonequal?
True
Let i = 14 - 14. Let b be i + (0/(-4) - 1). Is -1/3 bigger than b?
True
Let z(h) be the second derivative of -7/6*h**3 - 2*h - 5/2*h**2 + 0 - 1/20*h**5 - 7/12*h**4. Let b be z(-6). Which is smaller: -1/5 or b?
-1/5
Let j = 0.045 - 0.255. Which is greater: 0.1 or j?
0.1
Suppose 2*x + 5 = 3. Which is smaller: x or -1/4?
x
Let q = 1 + 1. Let g be 1/(5/(-3) + q). Suppose 0 = 2*m + 3*l - 2*l + 7, -12 = -g*m + 3*l. Which is bigger: m or 0?
0
Let t = 77906/4015 + -3/803. Let m = t + -19. Which is smaller: m or -1?
-1
Let z = 16 - 10. Let h be -1 - -6*3/z. Which is bigger: 5/4 or h?
h
Suppose 0*t = -n + 4*t + 75, -3*t = 5*n - 329. Is 67 at most n?
True
Let m = 18 + -14. Suppose m*r + 39 = 15. Does r = -7?
False
Let y(a) = -a**3 + 2*a**2 + 3*a - 4. Let v be y(3). Let s be (-7)/(-3) + v/(-6). Suppose 4 + 8 = s*l. Are l and 3 unequal?
True
Let x be ((-24)/5)/(3/(-10)). Suppose -x = 4*z - 8*z, -z + 10 = 2*y. Is y at most as big as 1/3?
False
Let l be 16/40 - 2/10. Let d(w) = w**3 - 7*w**2 + 8*w - 9. Let q be d(6). Suppose -5*s + q*s + 2 = 0. Which is greater: l or s?
s
Suppose -g + 4*u = -417, 400 = g - u - 26. Let s = g + -4722/11. Which is bigger: -1 or s?
s
Let s = 7 - 4. Suppose g + 3*d + 1 = 0, -7*g + 3*g = s*d - 23. Suppose g*k = 3*k. Which is smaller: 0.2 or k?
k
Let n = 101 - 907/9. Let l = 25 + -16. Suppose 2*g = -7 - 3, d - l = 2*g. Which is greater: d or n?
n
Suppose 0 = 4*r + 4, -3*f + 2*f = 3*r + 8. Are f and -3 non-equal?
True
Let n = 5 + -10. Let w be n/(-1)*(2 + -5). Let f be (-6)/w*(-1)/1. Is 1 != f?
True
Let o be 5923/(-36) - (-2)/(-8). Suppose -9*p = -12*p + 495. Let c = p + o. Is c greater than -3/4?
True
Let z(n) = 5*n - 5. Let y be z(4). Suppose -2*s - y = -5*r + 2*s, -2*r + 4*s = 6. Which is greater: 5 or r?
r
Suppose -3*o - 8*a + 28 = -3*a, 0 = -2*o - 4*a + 22. Suppose 3*q + 12 = 5*x - o, -q - x = -1. Which is greater: 11/2 or q?
11/2
Suppose c - 3 = 2*c, h - 3*c - 8 = 0. Which is smaller: h or -2?
-2
Let y = -12749 - -497176/39. Let n = -3/13 - y. Suppose 0*l + 2*l = -k - 1, 2*l - 19 = 3*k. Is n equal to l?
False
Let g = 0.1 - 0.05. Let a = -1 - -3. Let j = 2 - a. Which is bigger: j or g?
g
Let m = 0.05 - -0.95. Which is greater: -0.19 or m?
m
Let q = -23 - 8. Is q greater than -30?
False
Let h = -0.15 - -2.15. Let g = -7 + h. Which is smaller: g or 1?
g
Let t = -1 + 0.7. Let d = 0.3 + t. Let u = 0.5 - -0.5. Which is smaller: u or d?
d
Let q = 1183/180 - 1/1260. Is 8 greater than q?
True
Suppose -s = s. Let o(h) = h**2 - 3*h + 3. Let u(t) = -t - 5. Let p be u(-7). Let d be o(p). Does d = s?
False
Let n be (1 - 0)*(-4 + 4). Is n <= 1/21?
True
Let d(r) = r. Let i = 3 - 4. Let z be d(i). Let q be (z + -3)*7/4. Is -8 smaller than q?
True
Let f = 8 + -8. Are -1/22 and f equal?
False
Suppose 5*w + 29 = 94. Are w and 0 unequal?
True
Let t = 0.3 + -0.4. Let l = t + 0.1. Let c = -0.1 - l. Which is smaller: c or -0.2?
-0.2
Suppose 4*i + 2*o = 28, -1 = -5*i - 3*o + 36. Is 24/5 at most i?
True
Let i be 2 + 4/4 - 6. Which is smaller: -1 or i?
i
Let w = -101 - -104. Suppose g + 11 = -3*r, -r - 1 - 5 = -2*g. Is r greater than w?
False
Let o = 76 + -72. Is 2 less than or equal to o?
True
Let m(u) = -u**3 - 7*u**2 - 5*u + 6. Suppose d + 3*p = 0, p - 12 = d - 2*p. Let i be m(d). Suppose -x - 5 = 4*x. Which is smaller: x or i?
x
Let p be ((-4)/3)/(-2)*6. Let x = -3 + 12. Suppose p*l - l = x. Is 2 not equal to l?
True
Suppose 0 = 3*q + 5*s - 10, 5*s - 30 = 3*q + 2*s. Let n = q - -5. Which is smaller: -2/9 or n?
-2/9
Let c(v) = -v**3 + 6*v**2 - 3*v + 5. Let p be c(5). Let s be 18/(2*3/p). Let n be (-1)/(-4) + s/(-84). Which is bigger: n or -1?
n
Suppose 1 = 3*k + 7. Let x = -1 - k. Let q = 26 - 25. Is q not equal to x?
False
Suppose -6*y - 7 = 53. Is y at least -11?
True
Let b(i) = i**2 + 1. Let r be b(-1). Suppose -2*s = s + 2*n + 4, r*n = -4*s - 2. Is 2 bigger than s?
False
Let a be (-27)/(-63) - (-6)/(-14). Is a bigger than -3/5?
True
Let y be ((-2)/3)/(1 + 1). Suppose -5*v + 5*w = 0, -5*v - 2 + 10 = 3*w. Which is smaller: y or v?
y
Let w be (-18)/44*(1 + (-49)/(-21)). Which is greater: w or 0?
0
Suppose 2*o = -0*o + 4. Let y be 2*o + 1/1. Let z = -5 + y. Which is smaller: -2 or z?
-2
Let s(d) = -d**3 + d**2. Let m be s(2). Which is smaller: -5 or m?
-5
Let x(q) = -q + 21. Let f be x(16). Let w = -1 - -1. Suppose w*m + 5 = f*m. Is 1 at most as big as m?
True
Let j be (-2)/(-4)*12/(-21). Suppose t + 4 = -3*y, -y - 12 = -3*t + 6. Suppose r = -4*r + t. Is r >= j?
True
Suppose q - 5*q = 24. Let c(a) = a + 10. Let h be c(q). Suppose 6 - 2 = -h*x. Which is bigger: 2/7 or x?
2/7
Let o(d) = -d**2 - 6*d. Let u be o(-6). Let t be 1 - 21*(u - -1). Let y be ((-2)/t)/(2/4). Are -1 and y equal?
False
Let d = 0.1 + 0.9. Let c = d - -2. Let q = 6 + -6.1. Is q < c?
True
Let h = -527/2037 - -2/97. Is -1 smaller than h?
True
Suppose -33 = 6*w - 3*w. Let n = -6 - w. Let x(y) = y**3 + 6*y**2 - 29*y - 151. Let k be x(-7). Which is smaller: n or k?
k
Suppose 14 = -p - 4*z, 5*p + 0*z = 2*z - 4. Let k be 3 + (-1 - 3)*1. Which is smaller: k or p?
p
Let k = 22 - 40. Let j be (-2)/(-3) + (-6)/k. Is -1/4 bigger than j?
False
Let c = 107 + -114. Which is greater: 0.2 or c?
0.2
Let q = -18 - -12. Let x be 4/10 + q/15. Let v = 1 - 5. Is v at least x?
False
Let y = -1 - 0. Let f be 0/((-1)/y*-1). Is f less than or equal to -3/11?
False
Suppose 10*h = 5*h. Let j(v) = 3*v**2 - 2. Let l be j(2). Let x be (8/l)/((-2)/5). Is h < x?
False
Let t = 80 - 80. Is 2/25 not equal to t?
True
Suppose 0*z - 5 = 5*z. Is z at least as big as -3/47?
False
Let c be 5/(-30)*(-9)/(-12). Let g be (0 + 1)*(2 - 3). Which is bigger: g or c?
c
Let c(s) = 3*s + 23. Let g be c(-7). Which is smaller: g or -12?
-12
Let m = -71 + 96.2. Let l = m + -25. Let g = 4/103 + -250/1133. Which is bigger: g or l?
l
Suppose -3*k + 3*v + 271 = v, 0 = 2*k - 5*v - 199. Suppose 3*h - 63 = 3*x, 5*h - 4*x - k = 22. Which is greater: h or -1?
h
Let b(p) = p**3 + 4*p**2 + 5*p. Let d be b(-5). Let y = -252/5 - d. Let m = -0.05 + 0.35. Which is smaller: m or y?
y
Let s be (-18)/(-5) + -2 + 48/20. Suppose -w + 2 + 0 = y, -46 = -5*y + 4*w. Which is smaller: s or y?
s
Suppose -2*d - d - 4*w - 113 = 0, 0 = -4*w - 20. Let g = -17158 + 154141/9. Let a = d - g. Are a and 0 nonequal?
True
Let f = 1.33 + -0.33. Which is greater: f or 0.1?
f
Suppose 5*t = t. Suppose 7*b - 5*n + 5 = 3*b, -4*b - 4*n + 4 = t. Is b <= 2/25?
True
Let c(v) = -v**2 - 11*v - 11. Let a be c(-10). Which is smaller: a or -2/75?
a
Let j(a) = -a. Let g be j(1). Is g at least as big as 2/7?
False
Let n = -2 + 4. Suppose n*l + 7*s = 2*s - 3, -4*l + 2 = 2*s. Which is smaller: 2/7 or l?
2/7
Suppose -2*o = -o - 4*d + 12, 2*o = -3*d + 31. Which is smaller: o or 7?
7
Suppose -6*x = -2*x - 12. Is x < 0?
False
Suppose 3 = 3*t - 4*q, -q = -3*t + 4*t - 1. Let u be t - 1 - (1 + -2). Let g be 7/u - (-7 + 10). Which is smaller