ler: n or -4?
n
Let o = 21 + -15. Let r = o - 7. Which is smaller: r or -2/17?
r
Let t be 2 - (-2 - -4 - 0). Is t less than or equal to -2/11?
False
Let w = -751 + 413. Let b = w + 5744/17. Let o = -20 + 20. Which is bigger: b or o?
o
Let q(v) be the first derivative of v**4/4 - 2*v**3 + 2*v**2 + 5*v - 4. Let r be q(5). Is r equal to 1/2?
False
Let l(c) = 2*c**2 - 4*c**2 + 8*c**2 + 0*c**3 + 6*c + 7 + c**3. Let p be l(-5). Let b(q) = q**3 - 2*q - 1. Let o be b(-1). Is o greater than or equal to p?
False
Suppose v - 17 = -4*v + 3*f, -4*f = 5*v - 24. Let d = 6 + v. Is 10 not equal to d?
False
Let a = 0.2 + -9.2. Which is smaller: a or -1?
a
Let p(z) = -z**2 - 5*z - 5. Let r(o) = -o**2 - o - 1. Let f(l) = -p(l) + 6*r(l). Let c be f(-1). Is -4 less than or equal to c?
False
Let x = -0.082 - -0.082. Which is bigger: x or -2?
x
Let j = -9 - -12. Suppose -3*n = -4*n + j*h + 3, -2 = 4*n - 5*h. Which is smaller: -2 or n?
n
Let d(k) be the first derivative of k**2 - 7*k - 1. Let i be d(5). Let h be 3/(-3 + 0) + 3. Are h and i unequal?
True
Let a be (8 + 5)*(-3 + 2). Is 2/7 at least as big as a?
True
Let p = 8 + 2. Which is smaller: -2 or p?
-2
Let v = -18 - -15. Which is greater: v or -5/3?
-5/3
Let q = 12 + -10. Let u = 6.9 + -7. Let j = -3.1 - u. Is j greater than q?
False
Let f(l) = l**2 - 9*l + 8. Let m be f(8). Suppose -9 = -m*j + 3*j. Are j and -2 equal?
False
Suppose 2*j + 40 = 6*j. Let n be 26/j - (-10)/25. Is 2 at most n?
True
Let m be 1/(2/(-3)*-3). Let s = -9.277 - 0.713. Let z = s + 10. Which is greater: z or m?
m
Let q = -4 + 4. Let o = -0.11 - -1.11. Which is smaller: o or q?
q
Suppose 50 = 2*r - 3*q, -77 - 22 = -5*r + q. Let y be (-1 + r)*10/(-10). Is -18 > y?
False
Let f be 64/(-12)*(4 + -1). Which is bigger: f or -15?
-15
Suppose 0 = -x + 1, x = 6*u - 3*u + 94. Is -2/3 >= u?
True
Suppose 0 = -3*z - 4*t - 10, -6*t = 2*z - t + 16. Let o be ((-1)/3)/(z/6). Is o at most as big as -2/9?
True
Let h = 10 + -19. Let l be (h + 1)/(-4) + 2. Which is greater: 0 or l?
l
Suppose -21 + 27 = -3*r. Which is greater: r or -24/13?
-24/13
Let t(n) = -n**2 - 14*n - 18. Let i be t(-9). Which is smaller: i or 28?
i
Let o = -4.7 - -5. Let h = -138 - -137.01. Let p = h - 0.01. Which is greater: p or o?
o
Suppose 0 = s + 2*w - 13 + 3, 3*s = -5*w + 25. Let o = 14 + -16. Let n be ((-3)/(-6))/(1/o). Which is smaller: n or s?
n
Suppose 2*m + 16 = 6*h - 4*h, 2*h = -2*m - 32. Is m less than 0.1?
True
Let f = -2.8 - -7.8. Is 1 at most as big as f?
True
Let y be ((-6)/(-156))/((-1)/(5 - 1)). Let o = -9 - -6. Let k be 2*1 - (-6)/o. Is y smaller than k?
True
Let l = 0 + -2. Is 0 greater than l?
True
Let s = 7 - 9. Which is smaller: s or -5?
-5
Suppose -5*u = n - 27, -4*u + n = -0*n - 18. Suppose 2*s = g - u - 5, -s + 17 = 5*g. Which is smaller: 3 or g?
3
Suppose 53 = 12*i + 17. Which is smaller: 5 or i?
i
Suppose 0 = -5*s - 3*i + 6*i - 25, -2*s + 5*i + 9 = 0. Suppose h - 3*m = -19, 3*h - 3*m + 17 = -16. Which is bigger: h or s?
h
Let p = 4301/3690 - -2/1845. Are 2/3 and p unequal?
True
Let f = 67.8 - 62. Let a = f + -6. Which is greater: 0.3 or a?
0.3
Suppose 5*y - 7 = -2*b, -2*b + y - 10 = 13. Let a(w) = -2*w**2 - 2. Let h be a(-2). Which is bigger: b or h?
b
Let t be 6/(2 + 16/(-6)). Let l be t*(7/(-3) - -2). Suppose l*x = 7*x + 8. Is -2 less than x?
False
Let q(d) be the second derivative of d**3/6 - 2*d**2 - 2*d. Let l be q(6). Let p be (-48)/(-30) - 4/(-10). Do p and l have different values?
False
Let c = 3 - 0. Suppose -c*m = -4*o + 8 - 1, 2*m + 4*o = 22. Suppose 0 = -m*t + 6*t. Which is smaller: t or 1?
t
Let j = -3 - -3. Which is smaller: 2/135 or j?
j
Let y = -18 + 17. Is -13/14 at most y?
False
Let n = 0 + 11. Let z = 10.85 - n. Is z > -0.1?
False
Let y(f) = -f + 21. Let v be y(10). Let l = 23 - v. Suppose -4*h = -2*s - h + 12, -3*h - l = 2*s. Is -1/2 at least s?
False
Let g be (22*4*-5)/9. Let y = g - -49. Let c(f) = -f + 3. Let r be c(2). Which is bigger: y or r?
r
Let n be (-5)/((-30)/13) + -2. Which is smaller: n or 0?
0
Let r(j) = -j**3 - 6*j**2 + 8*j + 6. Suppose z = -4*z - 35. Let b be r(z). Which is smaller: b or -1/16?
b
Let g(l) = l**3 + 4*l**2 - 4*l + 10. Let x be g(-5). Let c(s) = -s**2 + 8*s - 7. Let y be c(5). Let o = x - y. Are o and -2 equal?
False
Let c = -0.12 + -0.1. Let y = c + 0.02. Which is smaller: -2 or y?
-2
Let g be 65/15 - (-1 - -5). Which is bigger: -1.1 or g?
g
Suppose 3*t + l = -9 - 0, -5*l = 4*t + 12. Let c(p) = 8*p + 32. Let o be c(-4). Is o <= t?
False
Let n = 98/33 - 40/11. Suppose -t - 8 = 13. Let s = t - -21. Are n and s non-equal?
True
Let c be (1 + (-1)/2)*64/488. Is -1 at least as big as c?
False
Let j = -0.03 - -0.13. Suppose 5*g - 4*n + n = 3, -g = 5*n - 23. Which is smaller: j or g?
j
Let m be 2/2 - (-1 + 1). Let a be -2*(m - 1/(-2)). Suppose -4*g - 1 = -5*g - 2*x, g = 4*x - 11. Is g <= a?
True
Let v be -3 - 2*(-219)/78 - 3. Are -1 and v equal?
False
Suppose -3*j = -8 + 2. Suppose -b = -j*b + 8. Let d be (-2)/b - (-42)/8. Does 5 = d?
True
Let g = 0.201 - 0.101. Do 6 and g have different values?
True
Suppose 2*o = 3*o + 7. Let m = -404/3 + 136. Let g = m - 1. Is o > g?
False
Let y = -188/91 + 38/13. Is 0.2 smaller than y?
True
Let c be (-6 - -2) + 3 - 1. Let f(s) = -s**2 + 5*s - 4. Let x be f(3). Which is bigger: c or x?
x
Let z(h) = h**3 + 7*h**2 + 4*h. Suppose v = -2 - 5. Let k be z(v). Let i be (-2)/k*(1 + 3). Is -0.2 bigger than i?
False
Suppose -3*y = -2*m + 5 + 4, 5*y = -2*m + 1. Is y less than or equal to -1/79?
True
Let x = 17 + -12. Suppose 8*m = x*m. Which is smaller: m or 1/6?
m
Suppose -4*k + 156 = -k. Let a = k - -4. Let y be ((-4)/(-14))/(72/a). Which is bigger: -1 or y?
y
Let b = 1 + 1. Let z = 3 - b. Let w(d) = d**3 - 2*d**2. Let p be w(2). Which is greater: z or p?
z
Let l = -3.96 - 0.04. Which is smaller: 2 or l?
l
Let p be (-6)/(-4)*(-12)/(-9). Let y be (28/(-133))/(p/1). Which is smaller: 0 or y?
y
Suppose -58 - 6 = -16*f. Is f less than -3?
False
Let b be (-2)/(-16)*4/3. Is 2/9 bigger than b?
True
Suppose 0 = q - 3*b + 16, b + 12 = 2*q + 6*b. Let c = -12 - -10. Which is bigger: q or c?
c
Let n = 4/35 - 2/5. Let x = -0.2 + 0.1. Is n at least x?
False
Let w(o) = -o**2 + 8*o - 2. Suppose 2*j - 23 = -3*v + 4*j, -4*v + 30 = -2*j. Let l be w(v). Are 6 and l non-equal?
True
Let f be (-9 + 2)*(-72)/(-28). Which is bigger: -19 or f?
f
Let h(r) = -r**3 - 5*r**2. Let s be h(-5). Let k be 1/(3 - s)*3. Are 1 and k non-equal?
False
Suppose 2*k + 3*k = 0. Let v be (-1 + -97)*1/2. Let b = v + 246/5. Which is greater: b or k?
b
Suppose -2*x + 3*x + 1 = 0. Is x at least -1?
True
Let m(z) = 2*z + 6. Suppose 15 = -4*t + d, -d = 3*t + 8 + 5. Let s be m(t). Is s not equal to -2/3?
True
Let k = -5 + 14/3. Let z(n) = -n**2 - n + 4. Let i be z(0). Let p be -2 + i - 0/2. Which is smaller: p or k?
k
Let k = 3.1 - 3. Let w = 1 - 0.9. Let u = 0 - w. Which is bigger: k or u?
k
Let s be (6/357)/((-24)/14). Which is smaller: s or 0?
s
Let d = -1 + 2. Let h be ((-3)/(-2))/((-15)/(-10)). Let q = h - 1. Do d and q have the same value?
False
Let t be 156/8 - (2 - 1). Let o = 18 - t. Is 4/5 < o?
False
Let l = 0.07 + -0.67. Let h = -1.6 + 2. Let m = h + l. Which is bigger: -1/2 or m?
m
Let z = -3 + 3. Is 0 less than z?
False
Let b be (0 - 23)*10/(-418). Let p = b - 7/19. Let n(s) = -s - 1. Let i be n(-2). Is p at least as big as i?
False
Suppose 2*g - 21 = -1. Which is bigger: 11 or g?
11
Let i = 6 - -2. Let p = i + -17. Is p less than or equal to -9?
True
Let g = 192.04 - 188. Let n = 4 - g. Let t = -0.16 + n. Is t <= -4?
False
Let v = 7.1 + -13.4. Let x = -6 - v. Let c = 8/21 - 2/3. Which is smaller: x or c?
c
Let t = 25 - 15. Suppose o + n = 2, 5*o + t = n - 4. Which is smaller: o or -1?
o
Suppose -w = 2*d - 4*d + 1, 0 = -3*d + w + 1. Let m be 0 - -4 - (-3)/(-3). Is m less than d?
False
Let d = -974/9 + 108. Is d bigger than -5?
True
Suppose -6*w + 4*w - 430 = 0. Let f = -8383/39 - w. Which is smaller: 0 or f?
0
Let u be 7/7*3/(-12). Is 0.4 >= u?
True
Suppose -2*c + 0*a = -a + 20, 2*a - 8 = 0. Which is greater: -2 or c?
-2
Let d be 0 + (-2)/11*1*-4. Is d bigger than 1?
False
Let z = 8 + -6. Let r = -7 + z. Let g be (-1)/r - 21/(-35). Which is smaller: g or 2?
g
Let m(u) = -u**2 - 7*u. Let z be m(-6). Let c(f) be the third derivati