ave the same value?
False
Suppose -1 = 4*f - 25. Let j be (-4)/6*f/4. Is 3/8 < j?
False
Suppose 0 = -y + 4*y - 36. Let g(n) = -n**3 - 6 + y*n + 4*n**2 - 5*n + 0*n**3. Let v be g(5). Which is smaller: v or 3?
3
Let h be 1*12/(-189)*(-6)/4. Which is smaller: 2/7 or h?
h
Let h be 1 + (48/(-28))/2. Let n = -2 - -2. Are n and h equal?
False
Suppose 9*n = 4*n - 110. Let g be 1 + 0 + n/20. Let s = -28 + 27. Which is smaller: g or s?
s
Let b = 9 + -5. Let y(t) = t**3 - 6*t**2 + 3*t - 15. Let o be y(6). Suppose -o*w = -w - b. Which is greater: w or 0?
w
Let x = -59 - -101. Which is smaller: 0 or x?
0
Let g = 15 - 15. Let k(o) = o + 8. Let v be k(0). Let u be (3 + -1 + 0)/v. Which is greater: g or u?
u
Let x(d) = -d**3 + 10*d**2 - 8*d + 4. Let b(n) = 3*n**3 - 30*n**2 + 23*n - 11. Let j(i) = 2*b(i) + 7*x(i). Let f be j(9). Is -3 != f?
False
Let b be 0 + 6/(-2) + 4. Let g be (-320)/110 - (-2 - b). Is 0 equal to g?
False
Let t be 3*7/(21/2). Suppose -3*q + 10 = t*q. Which is smaller: 4 or q?
q
Suppose -145 = 3*t - 139. Is t smaller than -24/11?
False
Suppose 7*x - 3*x + 19 = 3*s, 20 = -5*x + 3*s. Is x <= 10?
True
Let v = 19 + -27. Let p be ((-4)/(-16))/((-5)/v). Let z be (-2)/(-4) - -6*12/16. Is z less than p?
False
Suppose 3*j = l - 32, 0*l + 4*j - 44 = -2*l. Is 26 != l?
False
Let w = -53/24 + 7/3. Let p = -7 + 8. Which is smaller: p or w?
w
Let x = 0.1 + -1.1. Let o(n) = -n**2 + 4*n. Let y be -2 + (-3)/(-2)*4. Let u be o(y). Is x equal to u?
False
Let r be (-1)/187 + 20/110. Which is smaller: r or -0.3?
-0.3
Let x(m) = -m**2 + 8*m - 5. Suppose 5*f - 40 = -0*f. Let s be x(f). Is s equal to -3?
False
Let o be 1/((-3)/(-126)*10) - -2. Which is greater: o or 7?
7
Let r be (-1032)/35 - (-6)/21. Let f = r - -29. Is 0 < f?
False
Let w(a) = -a**2 + 6*a. Let m be w(5). Is m greater than or equal to 1?
True
Suppose 6 = -m - 4*n + 26, 0 = -4*m - 5*n + 36. Let t = -2 + m. Suppose 0 = -3*q + t*q - 2. Is q at most -2?
True
Let h be -2*3/2 - -3. Let p = 1/138 + 29/230. Which is bigger: h or p?
p
Suppose 3*j - v + 9 = 0, 0 = -v - 4*v + 15. Let h be (-1)/j*0/(-2). Which is smaller: -2 or h?
-2
Let s(f) = f**2 - 3*f - 3. Let z be s(4). Let v be (z - 1)/(6/3). Which is smaller: v or 4/9?
v
Let m = 0.53 + -0.13. Which is bigger: 2/13 or m?
m
Let c = -22 + 21. Let l = -180 - -171.7. Let r = l + 8. Does c = r?
False
Let n be 12/(-8) - (-199)/(-4). Let x = -51 - n. Is x at most as big as -1?
False
Let m be ((-2)/(-3))/(12/(-18)). Let o = 71 - 1067/15. Which is bigger: m or o?
o
Suppose -w = -1, k = 2*k - w + 7. Let i be (-48)/(-30) + k/10. Is -2/21 <= i?
True
Let b be 26/91 - 8/77. Let j = -17/33 - -2/11. Does b = j?
False
Let g = -3/218 + 547/8066. Which is smaller: -1 or g?
-1
Let y = 0.01 + -0.01. Let l = -2.2 - 0.8. Which is smaller: y or l?
l
Suppose -5*n + 5*x + 95 = 0, 5*x = -2*n + 4*n - 47. Which is smaller: n or 18?
n
Suppose 2 = -3*z - 4. Let u be 1 + 2 + (0 - z). Which is greater: 4 or u?
u
Suppose 2*w = -w + 3*g + 21, -4 = g. Suppose 4*q - w*q + 9 = 0. Let f = q + 12. Is 3 <= f?
True
Let w be -3 + -3 + (0 - 2). Is -10 > w?
False
Let v(q) = 3*q**2. Let g be v(1). Which is smaller: -0.1 or g?
-0.1
Let p = -81.014 - -81. Is p greater than 0.1?
False
Let t(m) = -m**2 - 7*m - 7. Let k be t(-6). Let j be -7 + 4 + (-2 - 0). Is j <= k?
True
Let k = 18 - 27. Is -11 bigger than k?
False
Let k be 3*(-1)/(-4) + (-340)/(-16). Which is bigger: k or -1/2?
k
Let y(j) = -j - 8. Suppose 3*x = 2*x. Let k be y(x). Are -10 and k non-equal?
True
Suppose 5*a + 15 = 2*a. Let m = a + 10. Is 5 less than or equal to m?
True
Let l(z) be the third derivative of -z**4/24 - 2*z**3/3 + z**2. Let g be l(-5). Do g and -1 have the same value?
False
Suppose 4*p + f - 12 = -3*f, -4*p = -4*f + 12. Does p = 0?
True
Let v = 10 + -7.9. Let h = 0.1 - v. Let f = -1 - h. Which is smaller: f or 2?
f
Let d = -5.5 + 5.6. Which is greater: 5 or d?
5
Let v = 17 - 14. Suppose g = v*g. Is g at least -1/16?
True
Suppose -3 = -s - 4. Let a(t) = -t**2 - 2*t + 2. Let x be a(-3). Is s greater than x?
False
Let d(f) = -3*f**2 + f. Let s be d(1). Let v be s - 2*(-17)/14. Suppose 2*m - 3 = -5. Which is greater: v or m?
v
Suppose -3*s = 2*y - 33, 0*s + 4*y = s - 11. Is 3/2 < s?
True
Let r(k) = -k**2 + 8*k + 8. Let x be r(9). Which is bigger: x or 9/20?
9/20
Let i = 0.5 - 1.1. Let m = -1.6 - i. Is m bigger than 1/21?
False
Suppose -8*v + 4 = -4*v. Which is greater: v or -1?
v
Let l = 0.3 + -0.2. Let a = 0.085 - 2.085. Which is smaller: a or l?
a
Suppose -5*h + 20 = 5. Suppose -4 = -o - 5*g, -2*o + 8*g = h*g + 22. Let m be 0 + 0 - (-8)/o. Which is smaller: m or -1?
m
Let f(a) = a**2 - 7*a + 7. Let b be f(5). Is -3 less than or equal to b?
True
Suppose 0 = 5*h + 4*k + 61 - 1, -3*h - 3*k - 36 = 0. Let p(i) = 2*i + 1. Let f be p(-7). Which is bigger: h or f?
h
Let d = 860089/3135 - 18/1045. Let f = 8993/33 - d. Let r = f - -122/55. Is 1 less than r?
False
Suppose 0 = -5*k - 7 + 27. Suppose -k*h = -3*h. Which is bigger: h or 1?
1
Let t = -134/29 - -2687/638. Let a = t - -73/286. Let r(u) = -2*u - 7. Let j be r(-3). Which is greater: a or j?
a
Suppose 2*s = -2*k + 2, 5*k + 0*k = 5*s + 15. Let g = k + 0. Is g greater than 4/5?
True
Let w = 97/2 - 45. Suppose -4 + 13 = 3*n. Which is smaller: w or n?
n
Suppose 0 = -x + 12*x + 11. Is x < 1/106?
True
Suppose 3*x = 4*f + 10, 2*x - 19 = -4*f + 1. Suppose -3*w + 6*w - x = -4*l, 2 = w + 5*l. Let d be 0/(2*1) - -1. Is w smaller than d?
False
Let l be (2/8)/((-14)/(-77)). Which is smaller: l or 1?
1
Let l(p) = p + 3. Let x be l(8). Which is smaller: x or -1?
-1
Let w(n) = n**2 - 7*n + 4. Let h be w(5). Let b be 6/h + 3/4. Are b and -0.2 non-equal?
True
Let b = 0.9 - 8.9. Let q = 7.95 + b. Is 2 != q?
True
Suppose 3*j + 21 = p + 2*p, -3*p = 4*j. Let t = 2 + -3. Is t equal to j?
False
Let x(g) = -g**2 + 6*g + 7. Let z be x(7). Which is bigger: z or -1/2?
z
Suppose f = -5*n - 0*f + 22, 0 = 3*n - f - 18. Which is smaller: n or 0?
0
Let d = -2 - 2. Let w(b) = -b**2 + b - 3. Let k be w(0). Which is greater: d or k?
k
Suppose 0 = -3*d - 6 - 0. Which is smaller: -16/5 or d?
-16/5
Let b = 4.06 - 0.06. Let i = 16 + -25. Let s = i + 8.9. Is s > b?
False
Suppose -10 = -2*i - 4*d, -2 = 3*i - 2*d + 7. Is i <= -1/4?
True
Suppose -5*c = 2*v - 6*v + 11, 2*c - 10 = -2*v. Which is smaller: 2 or v?
2
Let w(f) = f - 5. Let t be w(7). Let x be 3/(t - -1)*-1. Is x not equal to -4/9?
True
Let o(c) = c. Let k be o(0). Suppose 3*n - 19 = 5*q + 8, k = -3*q + 3*n - 21. Let w be q/9*-1*3. Which is smaller: 4/5 or w?
4/5
Let x = -0.02 - -0.02. Let c = -3 + 4. Let z(t) = t**3 - 2*t + 1. Let b be z(c). Is b less than x?
False
Suppose -3*p + 3 = -6*p. Which is greater: p or -3/14?
-3/14
Let d be (-13)/(-65) - (-282)/(-10). Let q = -142/5 - d. Let s = 0 - 1. Which is greater: q or s?
q
Suppose 6*y = 3*y + 9. Let a(s) = s. Let z be a(-1). Let v = 4 + z. Is y at least as big as v?
True
Let j = -10673 - -20725/2. Let m = 303 + j. Is -7 not equal to m?
True
Let f be (2/(-10))/((-4)/10). Suppose 0 = 5*k + 4*s + 3 + 7, -15 = 3*s. Which is smaller: k or f?
f
Suppose 9*x - 1 = 8*x. Is x smaller than 3/67?
False
Let b = -0.39 - 0.01. Let f = b - -1.4. Let r be (-3 + 1)*(-1)/(-2). Which is bigger: f or r?
f
Let h be ((-6)/(-2) - (-6)/(-14)) + 1. Do 4 and h have the same value?
False
Let o = -84 - -175. Let m be ((-81)/(-32))/(2/72). Let d = o - m. Is d != 0?
True
Let p be 50/(-12) - (3 + -4). Is p at least -4?
True
Suppose 5 = -g + 7. Let r be g/4*(15 + -13). Is -0.1 equal to r?
False
Suppose 4*c + 10 = 6*c. Suppose c*o = 2*o. Which is greater: 1/2 or o?
1/2
Let n be (0 + 10)*(-4)/(-8). Suppose -5*f + n = -g - 5, 2*f = -g + 4. Let s = -29 - -119/4. Is s greater than f?
False
Let a = 19 - 15. Let i = a - 6. Which is smaller: i or -7/5?
i
Let i(a) = a**3 - 9*a**2 + a + 3. Let g be i(9). Let p be g/2 + -2 + 1. Do p and 4 have different values?
True
Suppose 0 = -6*b - 0 - 12. Which is bigger: 4/7 or b?
4/7
Let p(c) = c**2 + 6*c + 6. Let g be p(-5). Let r be (0 - -1) + g + -1. Let h be (-1 + 1 + 1)*1. Is r at least as big as h?
True
Let z(q) = -3 - 4*q**2 + 8 + 3*q**2 + 5*q. Let r be z(6). Which is greater: 0.3 or r?
0.3
Let y be (5 + -2)/(-9) - 3/(-9). Which is bigger: -2/29 or y?
y
Let v = 0.09 - -0.01. Is 13 <= v?
False
Let n = -2.8