-5?
q
Let f(a) = -a**2 - 7*a + 13. Let c(s) = s**2 + 7*s - 12. Let r(g) = 3*c(g) + 2*f(g). Let p be r(-8). Let k be p/(-3)*(-3)/1. Is -4 not equal to k?
True
Let k = 10 - 10. Suppose k = 2*v + f + 35, -2*v = -0*v - 2*f + 38. Let l = v + 25. Which is smaller: l or -1/4?
-1/4
Let o(g) = -3*g + 4 - 1 + 4 - 4 + g**2. Let q be o(2). Which is bigger: q or -2/5?
q
Let v(x) = 9*x**2 + 2*x + 1. Let d be v(-1). Let o(w) = 4*w - 28. Let y(l) = l - 7. Let u(s) = -2*o(s) + 9*y(s). Let b be u(d). Is b at least 2?
False
Suppose 2*l = -2*h - 10, l - h + 4 = -l. Let j be (-4)/(-15)*l/(-2). Is j bigger than 0.08?
True
Suppose -5*b = -0*k - 4*k - 15, -3*k = 2*b + 17. Which is smaller: 2/71 or b?
b
Let n be 1/(4/(-6)) - -2. Is n less than or equal to 1?
True
Let p = 40 + -22. Which is bigger: p or -0.1?
p
Let j = 12.11 + -12. Which is greater: j or 1?
1
Let k = 353/8 - 44. Which is smaller: k or 1?
k
Suppose -4*p - p - 3*v - 14 = 0, v = 3*p. Let h be (6/27)/(p - -3). Which is bigger: h or 0?
h
Let y(o) = -o - 3. Let c be y(-5). Suppose b = c*b - 1. Let a be b - (-1)/(-18)*14. Is a less than 1?
True
Let s = -1 + 0. Is 2/23 >= s?
True
Suppose -5*p = 12*p - 629. Are 38 and p non-equal?
True
Let u be (-7)/7 - (-2 + -11). Suppose -5*h = -3*h - u. Are 6 and h equal?
True
Let t = -1 + 1.2. Let o = t - 0.2. Let n = 13.8 + -14. Is n smaller than o?
True
Let j be 1 - (-3)/(-2) - 0/(-1). Which is bigger: j or 4?
4
Suppose -3*z + 24 = 3*p, p - 12 = -3*p. Suppose 2*k = 5*m + 17, 5*k = -z*m - 5 - 5. Which is smaller: -4 or m?
-4
Suppose 5*i + 44 = -6*i. Which is smaller: i or -23/5?
-23/5
Let q = 54 + -35. Let s = q + -13. Which is bigger: 2/7 or s?
s
Let x = -50 + 22. Are x and 0 equal?
False
Let i(g) = -g - 2. Let t be i(-5). Let b be (-3 - 0)*(-2)/t. Let u be (-51)/(-7) + b/(-7). Which is smaller: 6 or u?
6
Let f(a) = a**2 + a + 2. Let j be f(-2). Suppose -3*r + 1 = l - 1, r - 5 = j*l. Let s = -116/165 + 10/33. Which is greater: s or r?
r
Let i be (-3)/15 - (-19)/(-5). Let m be ((-6)/i)/(15/20). Let z be (0 + 5)*(m - 3). Which is bigger: z or -1?
-1
Suppose 0 = 2*h - 3*q + 6*q - 7, -4*h + 3*q = -5. Suppose -3*d = h*d. Let t = 5 + -3. Is d > t?
False
Suppose 11*b - 7 = 4*b. Which is smaller: -3/19 or b?
-3/19
Let k be ((-36)/10)/((-6)/15). Suppose -k = r + 2*r - 4*c, 4*r = c + 1. Let o(y) = -y - 6. Let s be o(-6). Is r bigger than s?
True
Let o = -23 - -16. Let h be -1 + (0 - 12)/2. Let g = o - h. Which is bigger: -1/2 or g?
g
Suppose -f + 6*f - 5 = 0. Let x be 0 + (8 - (1 + f)). Let h = 4 - x. Which is greater: -3 or h?
h
Let l(c) = -c**2 - 6*c + 5. Let r be l(-6). Suppose 0 = -2*p - r - 1. Which is greater: -2 or p?
-2
Suppose 2*d = -d - 15. Let s be 5/d - 8/(-2). Which is smaller: s or 4?
s
Let d = 67/4 + -327/20. Let v = 34.3 - 34. Are v and d unequal?
True
Suppose -3*y - 25 = -5*p, -2*p + 29 = -0*y - 5*y. Is -1 less than or equal to y?
False
Suppose 3*c = c. Which is smaller: 3/4 or c?
c
Suppose 2*o = 5*p - 2*o + 168, -6 = 2*o. Let y be -1*p/39 - 1. Suppose -2*b + g + 2 = 0, -2*b - 2 = -0*b + g. Is b smaller than y?
False
Let y = -245/44 - -23/4. Which is bigger: y or -1?
y
Let r be ((-4)/(-14))/(26/14). Which is smaller: 0 or r?
0
Let u = -19/6 - -8/3. Let m(b) = -b + 4. Let k be m(4). Which is greater: k or u?
k
Let f be 6 - 2 - (-9 + -1). Let g = 37 + -23. Is g at most f?
True
Let n = -130 + 130.1. Which is bigger: n or -9?
n
Let x(i) = -i**3 + 4*i**2 + 7*i + 1. Let l be x(5). Suppose -3*w = 5*k - 0 - l, 2*w = k + 3. Is 0 bigger than k?
False
Let r be 0 + 0 + (-13)/26. Which is smaller: -6.2 or r?
-6.2
Suppose 9*o = 13*o. Suppose -5*f = -4*n + 3 + 13, 5*n = 20. Is f bigger than o?
False
Let c be ((-2)/(-5))/(1/5). Suppose -c*u - u = 0. Which is bigger: 1 or u?
1
Let y(i) = 24*i - 32. Let b be y(2). Which is smaller: b or 13?
13
Let d be 48/(-26) - (-1 + -1). Let o(q) = q**3 - 6. Let z be o(0). Let h = 6 + z. Which is greater: d or h?
d
Let a = 22 + -18.4. Let p = 0.2 - 0.8. Let h = a + p. Which is smaller: 0 or h?
0
Let n = 0 - 1. Let k be (-16)/10 - (1 + 12/(-20)). Is k at most as big as n?
True
Let p(t) be the second derivative of 2*t + 2/3*t**3 + 7/2*t**2 + 0 - 1/12*t**4. Let w be p(5). Is w equal to 2?
True
Let p = 37.048 + -0.048. Is p greater than 1?
True
Suppose 4 = 3*x - 2*x. Suppose u = -u - x. Let j = -3 - -1. Does u = j?
True
Let m = -0.1 - 0. Let i = -0.1 - m. Is 5 less than i?
False
Suppose 0*d - 5*d = -5*m - 20, 5*d + m = -4. Suppose d = -q - 3*q + 4. Suppose -6 = 5*b - q. Which is smaller: 0.1 or b?
b
Let y = 2761/52 - 213/4. Suppose -2*m - m - 1 = -t, 0 = -m + 3*t - 3. Is m smaller than y?
False
Let l be ((-30)/(-20))/(1/2). Let k(a) = -a**2 + a + 4. Let r be k(l). Which is smaller: r or -4?
-4
Let s(z) be the second derivative of z + 5/3*z**3 + 1/12*z**4 + 11/2*z**2 + 0. Let w be s(-9). Is w < 1/3?
False
Let b = 0.2 - 1.2. Let q = 2 + b. Let w = 1 + q. Which is greater: 0 or w?
w
Let u = -0.5 + 1.5. Let a = -1 + u. Which is greater: -2 or a?
a
Suppose d = -5*u + 25, -3*u + 5*d - 5 = 2*u. Suppose u*r + w = 0, 2*r - 5*w = -2*r. Suppose -m - l = -2*m + 5, -3*m - 2*l - 10 = r. Is m at least as big as -1?
True
Let q(s) = -s**2 - 9*s - 3. Let i = 10 + -18. Let t be q(i). Let b = 4 - t. Which is smaller: -2/3 or b?
b
Let r be 64/42*(-36)/8. Which is smaller: r or -6?
r
Let f(b) = 5*b**2 - 5*b - 6. Let t(y) = -14*y**2 + 14*y + 17. Let v(r) = 17*f(r) + 6*t(r). Let m be v(2). Which is smaller: 5/3 or m?
5/3
Let f(t) = t**2 + 4*t - 8. Let n be f(-6). Let a = 2 - n. Suppose 3 = -i - 0*i. Which is smaller: a or i?
i
Let r = -2.91 - -2.8. Let l = 9/28 + -1/14. Is l at least as big as r?
True
Let j = -49 - -145/3. Let o = 7 - 12. Let a be 6/15 + 2/o. Is j <= a?
True
Let h = 387/952 - -3/136. Do h and -14 have the same value?
False
Let x = -2/59 - 112/177. Let k(o) = -4*o - 3. Let f be k(-2). Let y be (-3)/9*f + 1. Is x greater than y?
False
Suppose 8*s + 4 = -44. Are -5 and s unequal?
True
Let q(j) = -4*j + 5. Let s be q(3). Which is greater: -13/2 or s?
-13/2
Let m(r) = -r**2 - r + 1. Let h(k) = k**3 + 5*k**2 + 4*k - 5. Let o(w) = h(w) + 4*m(w). Let i be o(-1). Let y = 2 + -2. Is i < y?
True
Let w = -10 - -4. Let o be (w/(-27))/(7/(-3)). Let p(k) = k + 2. Let u be p(-2). Is o greater than u?
False
Let d(o) be the third derivative of -o**6/120 - o**5/12 + o**4/24 + 3*o**2. Let r be d(-5). Let x be (-2 - (-56)/30)*r. Which is smaller: 1 or x?
x
Let l = 55 - 85. Is -29 >= l?
True
Let y(i) = -i**3 + 5*i**2 + 3*i - 11. Let l be y(5). Suppose 3*t - 12 = 3. Is l >= t?
False
Let c(u) = u**2 + 7*u + 7. Let z be c(-6). Let a be (2 - 1)*(-1)/z. Let g be 1 + 1 + 2*a. Which is greater: -2/19 or g?
g
Suppose -3*y - 2 = -5*y. Suppose -5*l - 8 = 3*b, l = -0 - y. Are -2 and b non-equal?
True
Suppose -4*l = -2*m + 8, -4*m = 3*l - 8*m + 16. Let i = l - 1. Suppose -10*s + 14*s - 4 = 0. Is i bigger than s?
False
Let u = -91 + 92. Is u less than -48?
False
Let k = 10 + -7. Let l = k + -6. Which is bigger: l or -4?
l
Let t = 2 + 1. Let s = 3.5 - 0.5. Let o = s - 2.9. Is t smaller than o?
False
Suppose -s - 12 = s. Let f = s - -10. Suppose f*v = 4*h + 8, -4*v + h - 4 = -0. Is v less than -1?
True
Let b = 1.76 + -2. Let t = -0.17 - b. Let l = t - 0.57. Do -1 and l have the same value?
False
Let s = -0.17 + 0.17. Which is smaller: s or 12?
s
Let q = 74 + -293/4. Let s(g) = -g + 12. Let w be s(12). Suppose w = -5*a + 2*a. Which is greater: q or a?
q
Let m = -1/1815 + 7289/52635. Is 0 bigger than m?
False
Let t = -119 + 119.9. Is t at most as big as -1/7?
False
Let s be (-3 + (4 - 2))*0. Suppose 5*l + 4*u = 4*l + 8, s = 3*l - 4*u + 8. Is 0 less than l?
False
Suppose 4*k = 4 + 4. Let h = k + -2. Which is smaller: 0.3 or h?
h
Let a = -59 - -34. Let v be (-4)/(-10) + 35/a. Let t be (-30)/25 + v + 2. Are t and 1 equal?
False
Let a = 2/4251 - -8240/556881. Which is bigger: a or 0?
a
Let h = 0.2 - 0.12. Do 3 and h have the same value?
False
Let o = -0.3 + 1. Let d = 0.4 - o. Is d at least 2?
False
Let i = -19 + 9. Let x = i + 7. Suppose 2*t - 4*v = 2, 2*v = -5*t + 3*v - 13. Is x < t?
False
Let n be (-4 - -2) + -56*3/(-87). Suppose 7*u = 2*u - 5. Which is smaller: u or n?
u
Suppose 4*d - 3 = 1. Which is greater: d or -7?
d
Let p = -1574/1955 - -2/391. Which is greater: p or -1?
p
Let r(z) = -3