 than j?
False
Let n = -85 - -75. Which is bigger: -14 or n?
n
Suppose 3*p + 24 = 5*o, 0 = -4*o + 2*p + 2*p + 24. Suppose -o*z = -7*z + 16. Is z < 2?
False
Let h = -58.2 - -65. Let s = h - 7. Does s = 2/9?
False
Let n(q) = -6*q**2 - 4*q + 3*q**2 + 5*q**2 + 5*q**2 - 3. Let y be n(-2). Suppose -2*p = -0*c + c - 9, -4*p - 5*c = -y. Is p at least as big as 1?
True
Let u = -123/20 - -23/4. Is -26 greater than or equal to u?
False
Suppose 2*v + 2*y = 2, -4*v - y + 11 = -4*y. Suppose p - 15 = 7. Suppose -p = -4*j - v. Is j less than 6?
True
Let n = -0.008 - -0.808. Which is bigger: n or 2/3?
n
Suppose -2*z = -3*v - 0 - 1, -3*v + z - 2 = 0. Is 3/25 smaller than v?
False
Let o(m) be the third derivative of m**8/20160 + m**7/1680 - m**6/120 - m**5/30 + 2*m**2. Let q(k) be the third derivative of o(k). Let v be q(-5). Is 4 < v?
False
Let h = -1.042 + 0.042. Suppose -2*g - 5 = 3*g. Are h and g unequal?
False
Suppose j = -0*j + 3. Suppose 9*p - 32 - 4 = 0. Are j and p equal?
False
Let d = 1216/5391 + -2/599. Let v be 2/3 - (-15)/45. Is d equal to v?
False
Let o = -2257/2530 - 2/253. Which is smaller: o or -1?
-1
Suppose 5*m = -4*u + 4, 8 = -3*m + u - 6*u. Suppose 2*t + 2*t = -g, -3*t - m*g = 0. Which is smaller: t or -1/6?
-1/6
Let v be ((-3)/2)/((-3)/4). Let g be -2 + ((-148)/v)/(-2). Let r be (-4)/g - (-4)/(-14). Is 0 less than r?
False
Let y be (3/(-2))/(18/8). Let t = 0.05 + -0.12. Which is smaller: y or t?
y
Let s = -1/15 + 17/30. Let i be (-1)/4 - (-30)/(-8). Let a(r) = r**2 + 5*r + 1. Let d be a(i). Which is smaller: s or d?
d
Suppose -8 = -0*z - 4*z. Does 2 = z?
True
Let h be -4 - (4*-3)/1. Suppose 0*i + 3*l = 5*i - 20, i - 12 = -l. Which is smaller: i or h?
i
Let q be 3 + -1 + -2 + 0. Let d(u) = u**3 - 2*u**2 - 2*u + 2. Let o be d(2). Is o equal to q?
False
Let i be -2 + 0 - (-12)/2. Let n be (-15)/i - 5/20. Let z be n/(-2) - (2 - 0). Is z at most as big as -2/13?
False
Let c(m) = -m**2 + 4*m + 20. Let d be c(6). Let u be (4/d)/(1/6). Which is bigger: u or -2?
u
Let a(m) = m**2 + m. Let h(v) = 3*v**2 - 2*v - 3. Let r(g) = 4*a(g) - h(g). Let j be r(-5). Which is smaller: 1 or j?
j
Let m(i) = -i**2 + 1. Let k(x) = 5*x**2 - 6*x - 12. Let a(y) = -k(y) - 4*m(y). Let h be a(7). Is -2/9 smaller than h?
True
Let f = 2437/572 + -3/286. Are f and 5 nonequal?
True
Suppose -4*k + 20 = 0, v + 2*k + 24 = 6*k. Is -10/3 greater than or equal to v?
True
Suppose 2*q = 4*u, -4*q - 1 = -3*u - 6. Let d be -1*q - -4 - -1. Which is smaller: d or 2?
2
Let s be -2 + -3 + (-128)/(-26). Suppose 2 + 0 = 2*u. Which is bigger: u or s?
u
Let j(q) = q**2 - 8*q - 2. Let f be j(8). Is -11 bigger than f?
False
Let o(g) = -g**3 + g**2 + g - 4. Let s be o(0). Let u be ((-10)/s + -3)*-3. Does 3 = u?
False
Suppose 0 = 4*d + 2 - 10. Suppose 4*s + 5*y + 24 = 0, 4*s = 3*s + d*y + 7. Let i = -35 + 106/3. Do s and i have the same value?
False
Let i be ((-2)/4)/((-9)/(-42)). Is i >= -2?
False
Let n be 0 - -2 - 1821/21. Let i = -85 - n. Is -0.2 not equal to i?
True
Let r(n) = n - 4. Let x be r(4). Let d = 1 + -1. Let l = d - x. Which is smaller: -2/13 or l?
-2/13
Let r be (17/7)/(-1) - 4/2. Which is smaller: -5 or r?
-5
Let x = -17 + 8. Do -9 and x have the same value?
True
Let h = -35 - -25. Let t = h - -10.1. Let w = 0.41 - 0.01. Which is greater: w or t?
w
Let f = -16 + 15.91. Let u = -0.19 - f. Do u and -0.4 have different values?
True
Let a = -8 - -11. Suppose 4*m = 13 + 3. Is a bigger than m?
False
Let v = -202/9 - -4628/207. Are v and 0 non-equal?
True
Suppose -45 = -3*g - 0*g - 4*i, 0 = 3*g + 3*i - 45. Let m be (-6)/(-9)*g/(-2). Is m >= -5?
True
Suppose y - 3*y = 3*a + 245, -4*a = y + 325. Which is greater: a or -2?
-2
Let h = 6580/12023 - 2/1093. Let x be (-1 + -2)/(3/(-2)). Which is greater: h or x?
x
Let c = -127/5 + 25. Is -1 equal to c?
False
Let r = 9 - 13. Let z = 7 + r. Which is bigger: z or -0.1?
z
Let l be (-8)/6*(-9)/(-2). Is l bigger than -7?
True
Let g(l) = -2*l**2 + l. Let o be g(-2). Let i = o - -9. Is 0 < i?
False
Suppose 9*o + 11*o - 40 = 0. Let t be (-1)/(-2) - 2/(-3). Is o != t?
True
Let l(o) = o**2 + 3*o + 2. Let v be l(-5). Suppose -w = w. Suppose 4*d - v = w, 2*f - 7 = -0*f - d. Which is greater: f or 1?
f
Let q be 4/16 - (-13)/(-20). Let p(l) = -2*l + 14. Let x be p(6). Which is bigger: q or x?
x
Let z(i) be the first derivative of i**3/3 + 2*i**2 - 4*i + 12. Let m be z(-5). Suppose 0 = -2*l + 2 - 0. Is m at most as big as l?
True
Suppose r - 7*r = 3*r. Let n be 34/(-72) + 4/18. Which is greater: r or n?
r
Let k be (-23)/((-244)/80 - -3). Let t = k + -8738/19. Does 0 = t?
False
Let f(u) = 4 - 3 + u**3 + u - 3*u. Let h be f(1). Do -2 and h have the same value?
False
Let u(r) = 2*r**2 + 2*r - 1. Let p be u(1). Let y be 0 - (-86)/30 - p. Let h(d) = -d**2 - 9*d + 11. Let k be h(-10). Is k bigger than y?
True
Let c = 4 + -4.1. Let z = -0.88 + 1.1. Let m = z + 0.08. Is c >= m?
False
Let i = 1028/19 - 54. Is 1 > i?
True
Let v = 14 - 23. Let j = v + 11. Is j at most 0.2?
False
Suppose 6*k - 4*z = 2*k + 52, -5*z - 25 = 0. Which is greater: 2 or k?
k
Let z be (-8)/52*1/(-2). Suppose -3*m - 5*l = 15, 0 = -4*m + 8*m + 3*l + 9. Is z at least as big as m?
True
Let u(y) = y**2 - 4*y - 2. Let w be u(5). Suppose -5*i - 2*r + r = -5, 2*r = -10. Which is smaller: i or w?
i
Let w = -14 + 8. Let a = 5.8 + w. Which is smaller: a or 0?
a
Let v = 84 - 254/3. Let j = 1.35 - 0.15. Let u = j + -1. Does u = v?
False
Let s = 52 + -158/3. Which is greater: 12 or s?
12
Let o(u) = u**3 + u**2 + 3. Let y be o(-2). Is 3 <= y?
False
Let o(i) = i**2 + i + 3. Let l be o(0). Let h be 0 - l/(-3) - 0. Which is greater: 0 or h?
h
Let c = -3.02 + 0.02. Let m = 25 + -21.9. Let z = c + m. Which is smaller: 1/3 or z?
z
Let u(k) = k**2 - 3*k - 6. Let d be u(5). Let a = d - 11/3. Suppose 2*f + 0 = -2. Which is bigger: f or a?
a
Let j = -0.15 - -0.12. Let s = -0.06 - -0.06. Is j smaller than s?
True
Let u = 4 + 0. Let m be 2/u + 4/92. Let s = m - 1/23. Is -3 at most s?
True
Suppose 4*d + 0*d = -n + 16, -2*n + 2*d - 8 = 0. Do n and -1/3 have the same value?
False
Let b be (-4)/(-10)*(-70)/(-2). Suppose 2 = -4*v + b. Let d = 2 + 0. Which is smaller: v or d?
d
Let a(o) = -o - 3. Suppose -5*y - 11 = -1. Let p be a(y). Which is smaller: -2 or p?
-2
Suppose 1 - 6 = -5*a. Let o be 28/2 - 2/(-1). Let g be o/12*9/14. Are g and a unequal?
True
Let y be 30 - (-6 - -4 - -4). Which is smaller: y or 26?
26
Let x = 0.5 + -0.6. Let q = x - -1.1. Which is bigger: 0.1 or q?
q
Suppose -f = 2, -5*f - 29 = -2*v + 15. Suppose 2*u - v = -4*j + u, j - 2*u + 7 = 0. Suppose 2*c + 2 = 4*q, -c = j*q + c - 5. Is 1/2 > q?
False
Let n be -2 + ((-28)/6)/((-4)/(-6)). Is n at least -8?
False
Let h(r) = -r - 1. Let i be h(2). Suppose 2*o - 39 = -5. Suppose 4*v = 4*z - 20, 0 = -0*v + 3*v - 4*z + o. Are v and i equal?
True
Let g = -5 + 7. Is g at most as big as 2?
True
Let b = -249424/311 - -802. Is b >= 1?
False
Suppose 21*w - 10*w = -231. Are -21 and w non-equal?
False
Let w be 0 + -2 - (-31 - -13). Is 18 bigger than w?
True
Let f = 361 + -16969/47. Is f at least 0?
False
Let j(d) = -d**3 + 6*d**2 - 6*d. Let y be j(5). Is y bigger than -9/2?
False
Let k be (4 + -1)/(1 + 0). Suppose -4*g = t - 2, 5*t - 1 = -k*g - 8. Let q = g - 0. Which is greater: 1/5 or q?
q
Let y(j) = -j - 9. Let k be y(-6). Suppose 0 = -f + 3*f. Let w be k/(-2) + -2 + f. Which is smaller: 0 or w?
w
Let q = -0.2 + 0.1. Let p = 0.25 + -0.55. Which is smaller: p or q?
p
Let j be (-3)/1 - (-12)/3. Let l be 2 - (0 + 9/5). Which is bigger: l or j?
j
Let k = 79870/81 + -986. Are 1 and k equal?
False
Let f(t) = t - 10. Let q(m) = -1. Let a(x) = f(x) - 3*q(x). Let s be a(8). Which is smaller: 3 or s?
s
Let j be 0/(-1) - 4/2. Let r be ((-2)/(-3))/(-1 - 0). Which is bigger: j or r?
r
Let a(s) = -s - 1 - s**2 + s + 0*s + 2*s. Let i be a(2). Do -1/12 and i have different values?
True
Suppose -3*y = -y - 4. Suppose 0 = -y*h + 6*h. Is 2/11 >= h?
True
Let o = 16/41 + 2/205. Let d = 3 - 0. Suppose -4*y - 1 = -d*y. Is o greater than or equal to y?
True
Let a = 4 - 8. Do a and -4 have the same value?
True
Let n = 19 + -18.9. Let q = -0.1 + 0.1. Let s = q - 0.1. Is s > n?
False
Let n = -191/2 - -2869/30. Which is bigger: 0 or n?
n
Let d(c) = c**3 - 5*c**2 + 2*c. Let m be d(5). Let i be (-