 o**2 + 4*o - 1. Let n be k(-5). Let c be 1 - -2*(-6)/(-4). Are n and c equal?
True
Let t be (-14)/21 - (-224)/318. Is t equal to 0?
False
Let q(f) = f + 2. Let d be q(-3). Let t(m) = 2*m**2 + 1. Let u be t(d). Is 1 at least as big as u?
False
Suppose 5*v = -3*r + 44, r + 22 = 3*v + 5*r. Which is smaller: 66/7 or v?
66/7
Let l(r) = r**3 + 20*r**2. Let p be l(-20). Is p equal to -3/17?
False
Let g(b) = -b**3 + 2*b**2 + 3*b + 7. Let v be g(6). Is v <= -119?
True
Suppose -12 = -5*p - 4*v, -3*p - 4*v - 1 = -5. Suppose -d - 4 = -4*z, 2*z = z + 4*d + 16. Suppose z*l = -p*l. Is l bigger than 2/31?
False
Let r be -27 + 25 - 48/(-34). Is 0 < r?
False
Suppose 7*m = 16*m + 252. Are -28 and m equal?
True
Let u be (-5)/(-3) + (-10)/15. Let f be u*-1*(3 + -2). Let i = 2 + f. Is -1/3 less than i?
True
Let h = 3 + -6. Let j = 2.7 + h. Let z = -0.2 - j. Is z at least as big as -3?
True
Let x(r) = -r - 4. Let u be x(0). Let z be ((-2)/u)/((-2)/12). Let f = -4 - z. Is -1/3 > f?
True
Let a = -0.4 - -1.4. Is 28 less than or equal to a?
False
Let c = -10 - -9.8. Which is bigger: c or 0.1?
0.1
Suppose -5*q = -2*r + 6*r + 20, -4*q = 0. Let b be r/(-3)*(-4)/10. Which is greater: b or -6?
b
Let g = 288411/7 + -40962. Let y(q) = -61*q**2 - q + 2. Let w be y(-2). Let s = g + w. Is s greater than -0.1?
False
Suppose -4*q - 25 = -9*q. Suppose -10 = q*w + 5. Let d be (-2 - -2 - w) + 2. Is d >= 6?
False
Let j be (-30)/(-8) + (-6)/(-24). Suppose 4*o - 4*x - 16 = 0, 0*o + 20 = -j*o - 5*x. Which is smaller: o or -2/5?
-2/5
Let t = -2 - 2. Let g = 5 + t. Let y be (g/(-3))/(14/(-12)). Is 1 at most as big as y?
False
Let u(p) = p**2 + 4*p + 4. Let w be u(-4). Which is smaller: -2 or w?
-2
Let u(x) = 8*x - 2. Let s be 3 - (1 + (-3)/(-3)). Let j be u(s). Is j less than 5?
False
Let m(z) = 52*z**2 - 2*z + 1. Let c be m(1). Is c at most as big as 52?
True
Let u = 2260/13 + -174. Is u >= -1?
True
Let g be 2/(-3) + 7/24. Suppose r = -4*b + 7, -3*r + 2*b = -0*b + 7. Let m = 0 + r. Which is greater: g or m?
g
Let b = 99 - 100. Which is greater: b or -22?
b
Let o = -142 + 2555/18. Is 1 <= o?
False
Suppose -4*p - 2*p + 8*p = 0. Is 10/13 < p?
False
Let s = -59/12 - -14/3. Which is bigger: s or 2?
2
Let z = -181/7 + 26. Which is smaller: z or -0.1?
-0.1
Let f = 0 - -12. Which is bigger: 11 or f?
f
Let p be -9*(3 + (-330)/9). Let a = p + -2427/8. Is a < 0.1?
True
Suppose -z - 2 + 3 = 0. Let r be (2 - 2) + (-2 - 0). Let n be r*3/9*-3. Do n and z have different values?
True
Let k(h) = 13 + 4 - 3 + 2*h. Let l be k(-11). Let x be l/44 - 2/(-11). Is -1/4 less than or equal to x?
True
Let s = 5 + 2. Let w = s + -5. Is w > 1?
True
Let d be (-2)/4 + ((-15)/(-2))/5. Which is smaller: 4.1 or d?
d
Suppose -4*n + 940 = 4*y, -5*y + 3*n = -0*y - 1191. Let r = 300/157 - 337895/1413. Let b = y + r. Is b >= 1?
False
Let f = 8 + -5. Let n = 293/5 - 59. Are f and n equal?
False
Let t = -916 - -4562/5. Is -3 less than t?
False
Let q = 0.3 - 10.3. Let j = q - -9.8. Which is smaller: j or 1/2?
j
Let k = -13.3 + 13. Is 0 at least as big as k?
True
Let r be (-16)/(-12)*(-38)/(-16). Let k = -41/12 + r. Let h(y) = y + 3. Let i be h(-3). Is i at least as big as k?
True
Suppose 18*f - 202 - 266 = 0. Is 28 greater than f?
True
Let i(r) = -r**3 + 8*r**2 - 8*r + 7. Suppose 5*y + 1 = 36. Let g be i(y). Is 4/5 != g?
True
Let p(y) = -3*y + 3. Let q be p(2). Let z(v) = v**2 - 4*v + 6. Let l be z(4). Suppose -4*u + 7*u = -l. Is q at least u?
False
Let c be (-6)/9*3/(-2). Suppose 2*i = -2*u + 10, -3*u + 4*u - 2*i = -1. Suppose -m = u*m - 8. Is c greater than m?
False
Let k be 0/(3 - -1) - -1. Let r be 5/10*(0 - 0). Is k at least r?
True
Let m be 15/6 - 2/4. Suppose 3*s + 0*k = 5*k - 5, -5*s + m*k = 2. Let y be (2*(-2)/6)/(4/(-6)). Which is bigger: y or s?
y
Let x(q) = q**2 - 5*q + 4. Let y be x(4). Let a = y - 4. Do a and -4 have different values?
False
Let h(b) = b + 8. Let r be h(-7). Let z be 8/(-5)*-5*r. Let m = 1 - z. Which is greater: -6 or m?
-6
Let t = 128/2745 + -2/915. Is 0 less than t?
True
Let d = 4/5 - 2/15. Let y(n) = -n + 8. Let u be y(6). Let h = u - 2. Which is bigger: h or d?
d
Let o = 0.79 + 0.11. Let y = o + 3.1. Which is bigger: y or -1/3?
y
Let k = 0.48 - -0.12. Let z = 0.7 - k. Let w = 0.5 - 0.5. Is z <= w?
False
Let k(a) = a**2 - 6*a + 6. Let z be k(4). Let s(o) = o**2 + 13*o + 9. Let r be s(-12). Which is smaller: z or r?
r
Let k(g) = 2*g**3 + 16*g**2 + 8*g - 15. Let u be k(-6). Do u and 82 have different values?
True
Let d be 6*((-8)/12)/(-1). Let c be (10 - -2)*2/d. Which is smaller: c or 8?
c
Let j = -5 + 5.15. Let l = j + -0.05. Let o = 0.5 - 0.5. Is o > l?
False
Let d = -1 - -0.8. Let p = -0.4 + d. Let b = 0.4 + p. Which is bigger: -1/3 or b?
b
Let b be (-2)/2 - (2 + -3). Is b at most -1/19?
False
Let g(c) = 2*c - 10. Let m be g(8). Suppose 0 = -m*h + 2*h + 20. Suppose 0*u + 1 = -h*b - u, 0 = -3*b + 5*u + 5. Is 0 > b?
False
Suppose 238 = 29*v - 15*v. Is 0.1 greater than v?
False
Suppose 3 = 5*n - 7. Let j be (-4 + 8)/(1/n). Which is smaller: j or 13/2?
13/2
Let z = 1/32 - 93/2464. Let r = 563/39270 + z. Let y = 269/1785 - r. Which is smaller: y or -0.2?
-0.2
Let o = -16 - -97/6. Is -1 smaller than o?
True
Let u be 0/(2*(-1 - -2)). Let f(x) = -2*x - 4. Let t be f(-5). Let q be (-4)/t*3/(-2). Is u > q?
False
Let s = -2 + 7. Is s at least as big as 7?
False
Let k be (27/(-15) - -3)/((-35)/75). Which is smaller: -2 or k?
k
Let q(l) = l**2 + 7*l + 4. Let j be q(-5). Is j greater than -2?
False
Let u(g) = g + 7. Let b(f) = f + 6. Let j(i) = 5*b(i) - 4*u(i). Let d be j(0). Which is smaller: d or -0.6?
-0.6
Let a = 0.99 + 0.01. Which is smaller: 0.4 or a?
0.4
Let o be (-3)/(1 + 5)*-10. Suppose -16 = 4*d, -3*s + 36 = s - d. Suppose 3*j = -2*y - y + 12, j + s = o*y. Which is smaller: 1 or j?
1
Let d = 5 + -5. Are 2/43 and d non-equal?
True
Suppose -15*n + 11*n = -4. Is n bigger than 0.12?
True
Let v be (-17)/33 + 9/27. Is v > 0?
False
Let q be ((-48)/(-30))/(2 - 16/10). Which is greater: 10/3 or q?
q
Let k = -32 + 38. Suppose -2*v + 9 = 5*i, 5*v - 6 = 2*i + 2. Is v at least k?
False
Let z(f) = -f - 3. Let s be z(-8). Let j(g) be the second derivative of g**4/6 + g**3/6 - g**2 - g. Let q be j(-2). Is s at least as big as q?
True
Suppose 5*o = 7*d - 2*d + 65, 5*d = o - 61. Suppose -22 = 6*y - 4*y. Which is greater: d or y?
y
Suppose -5*j = -2*z + 3*z - 15, -3 = -j - z. Suppose -2*o - l = -1, 3 = -3*o + j*l - 0. Which is bigger: o or 1?
1
Let t = -1/72005 + -57056759/216015. Let i = t - -264. Let p be (-2)/(-3)*6/(-4). Is p at least i?
False
Let c = -12 - -14. Let b be 0 + 1 + -3 + 5. Which is smaller: b or c?
c
Let k(g) = -g**2 + 3. Let x(b) = b**2 - 2*b - 4. Let t be x(3). Let q be (-1 - -1)/(1*t). Let h be k(q). Is h less than 3?
False
Suppose i - q = 2 + 2, -i = q - 4. Let j = 2/25 + 17/100. Which is smaller: j or i?
j
Let v be (3 + -4)*(0 - 1). Let g be ((-3)/6)/(-2*v). Is 2/9 less than or equal to g?
True
Let m(j) = j**2 + 5*j - 17. Let r be m(-7). Is -1 at most as big as r?
False
Let y = 70 + -49. Let o = 24 - y. Let n = 0 - -0.2. Which is smaller: n or o?
n
Let r be (-1 - 1)*(-2)/4. Is r greater than 3/2?
False
Suppose -2*m = 4*c - 14, m + 5*c - 2 = 2. Are 15/2 and m equal?
False
Let h = 1 + -4. Let c be h/(-12) - -2 - 2. Is 0 smaller than c?
True
Suppose 0 = -2*s - 4*y + 106, -s + 34 = -y - 34. Let i = 314/5 - s. Suppose 0*r + 1 = -r. Which is smaller: r or i?
r
Let z = -3 - -11. Let y = -5 + z. Is y less than 3?
False
Let q(w) = w. Let s be q(-9). Let v be 1 + -12 - (0 - 2). Is s > v?
False
Suppose 0 = 2*u + 6, 4*h = 5*u + 11 + 12. Are h and 0 equal?
False
Let y(x) = -x**2 + 7*x + 2. Let q be y(7). Suppose 3*z = -3*g + 24, 0*z = z - q. Let u = g - 5. Is 0 bigger than u?
False
Suppose 3*c + 11 = -3*z + z, -2*c = 10. Let y = 7 - 6. Which is smaller: z or y?
y
Suppose 2 = z - 2*z. Let d be 0/(-3*z/3). Which is greater: d or 1?
1
Let q = 0.36 - 1.26. Which is smaller: q or -0.1?
q
Let j be (6/27*-3)/((-2)/1). Which is greater: -6/11 or j?
j
Suppose -2*l + 502 = -3*l. Let x be l/(-6) + (2 - 1). Let t = x - 86. Which is smaller: -1 or t?
t
Let s be (-2)/15 - 195/225. Suppose 0 = -x - 2*x. Which is greater: s or x?
x
Let z = 2 - 1. Let w = -539/3 - -182. Is w > z?
True
Let i = 11 - 11. Suppose -v - 4 = -i