5 or f?
f
Let b = 41 + -45. Which is greater: -17/5 or b?
-17/5
Let r = 12 - 14. Let u be 4 + r + (-17)/7. Which is smaller: 1 or u?
u
Let d = -2.1 - -2. Let p = 36 + -17. Let y = 23 - p. Does y = d?
False
Let s = 2 - 2. Let y = -0.17 - 0.03. Let g = y - -0.2. Is s greater than or equal to g?
True
Suppose 0 = -z + 4*z + 6. Let a = z + 1. Suppose 0*f + 8 = -4*f. Which is smaller: a or f?
f
Suppose 2*k + 16 = 4*u, 0 = 4*k + 4*u - 7 - 9. Suppose -2*x = -5*h + 12 - 1, -2*h - 4*x + 14 = 0. Let b be 2/(-4) - h/(-9). Is k less than b?
False
Suppose -150 = -6*l + l. Let d be (-12)/(-42) - (-631)/21. Let z = d - l. Which is bigger: -0.2 or z?
z
Let o be (-2)/(4/(-14)) + -2. Let y = 16 - 11. Is o < y?
False
Let v = 233/6 + -39. Suppose 2 + 2 = 4*h. Let b be (2/(-4))/(h/2). Which is greater: v or b?
v
Suppose 0 = 5*a - a - 36. Let v be 9/(-6)*4/a. Is v bigger than -1?
True
Suppose -3 = -l, -18 = 2*o - 4*l - 4. Which is smaller: -2/191 or o?
o
Suppose -5*n = -0*n + 10. Let f = n + 3. Is -1 at least as big as f?
False
Let v be 3/(4/(8/3)). Suppose v*r = 4*r. Let i(y) = y**3 - 5*y**2 - y + 6. Let x be i(5). Is r at most x?
True
Let h(z) = 6*z**2 + 1. Let d be h(1). Suppose 0 = -4*u + u + 6, -2*u = 2*k - 18. Are k and d nonequal?
False
Let v = 15 - 16.6. Which is smaller: v or 0.1?
v
Let o = 5 + 1. Suppose 3*l + 4*n = -o, -l = -6*n + n + 2. Let i = -112/3 + 37. Is i at least as big as l?
True
Let p be (-2)/11 - 126/33. Is p at least as big as -3?
False
Suppose 3*r - 57 = -5*i, 5*r + 4*i - 8 - 74 = 0. Let x = -15 + r. Are -0.5 and x nonequal?
True
Suppose -6 = -2*g - 0*g, 4*z + 11 = 5*g. Are 3/17 and z equal?
False
Suppose 12*m - 12 - 12 = 0. Is 23/13 at least as big as m?
False
Suppose 4*s + 86 = -5*z, -3*z - s - 28 = 18. Is -13 smaller than z?
False
Let h be ((-27)/(-4))/(1/(-4)). Let w be 50/18 - 6/h. Let f = w - 5. Is f equal to -2?
True
Let h = -3 + 5. Suppose -h*z + z - 4 = -x, -2*x = -5*z - 14. Which is smaller: -1 or z?
z
Let m(z) = -z + 3. Let l be m(10). Is l < -7?
False
Let f be -1 + 2/10 - -1. Suppose w + 12 = -w + 2*b, 3 = b. Let s be 2/3 - 1/w. Is s equal to f?
False
Let g(c) = 2*c**2 - c. Let u be g(-1). Suppose -4*l - 2*x + 32 = -0*x, -3*l = 4*x - 19. Suppose -u = -3*r - l. Which is smaller: -3 or r?
-3
Let c be (9 - 0)/(12/(-8)). Let o be ((-8)/c)/(2/(-1)). Which is bigger: o or -1?
o
Let z be 19/171 + 163/(-9). Is -12 bigger than z?
True
Let x = -553 - -284. Let f be (-2)/(-12) + x/3. Let c = 93 + f. Is c bigger than 4?
False
Let i(d) = -3*d + 4. Let u be i(4). Let c = 7 + u. Do c and 0 have the same value?
False
Let q = 23 - 20. Are 2/7 and q non-equal?
True
Suppose 0*x - 2 = -2*x - 3*n, 5*n = -2*x - 2. Suppose 5*p + c - 29 = 0, 2*p - 4*c = -0*p + 16. Let z be x/p + (-8)/3. Are z and -3 unequal?
True
Let s = -6 - -3. Let p = s + 1. Are p and 0.1 unequal?
True
Let j = -903.06 - -912. Let a = -0.06 - j. Let h = a + 10. Which is smaller: h or -3?
-3
Suppose 2*d - 21 = -19. Which is smaller: d or 10?
d
Let t = -6 - -7. Let o(g) = -g**2 + 3*g + 2. Let f be o(3). Which is bigger: f or t?
f
Let k = 65 - 36. Which is smaller: k or 27?
27
Suppose 5*n + 33 = 4*w, -4*w + 5 = n + 2. Let u be w/9 - 5/(-18). Which is smaller: u or -3?
-3
Let m(p) = -p**2. Let d(h) = -11*h - 6. Let j(c) = d(c) - m(c). Suppose 0 = -f + 2*o + 12, 2*o - 2 = -5*f + 58. Let v be j(f). Is v at most as big as 6?
True
Let d = -71 - -72. Let l be (-8)/44 + (-24)/(-11). Suppose -k + l*k = 4. Is k less than d?
False
Let z(g) = -g - 7. Let s be z(-7). Let y be 0/((1 - s) + -3). Let r = -1/31 - 17/434. Do r and y have the same value?
False
Let w be (-2)/(2 + -1 + -3). Let b be 0/(w/1 + -2). Does b = -2/5?
False
Let y = -0.9 + -6.1. Do 1/6 and y have the same value?
False
Suppose 15 = -y + 3*r, -3*y = -0*y - 4*r + 20. Let g be (-3)/6*y - 6. Are g and -7 nonequal?
True
Let c = -1 - 18. Let n = -16 - c. Is n >= 1?
True
Suppose -4*d + 2 = -2*y - 2*d, -4*d - 12 = 4*y. Suppose -2 - 1 = -3*c. Suppose -c = -5*z - 11. Are y and z non-equal?
False
Let y be (-12)/30 - 86/10. Let a be (5/((-30)/y))/(-6). Is 1 less than a?
False
Let u = 7.9 - 8. Let z(l) = l**2 - 7*l + 3. Let t be z(7). Suppose -c + 4*c + t = 0. Which is bigger: c or u?
u
Let w be (-2 - -1)/((-10)/4). Which is bigger: w or -1?
w
Let o(m) = -m**3 + 3*m**2 + 4*m + 5. Let z be o(4). Is z greater than 5?
False
Suppose 2*u = p, 3*u = -4*p + 2*p + 7. Let n = 8 + -14. Let k be (15/9 - p)*n. Is k less than 2?
False
Let p(r) = -r**3 + 8*r**2 + 10*r - 9. Let u be p(9). Which is greater: u or 0.07?
0.07
Let z = -2.6 - -1.5. Let y = 0.1 + z. Is y <= -1/16?
True
Suppose -5*l + 6 = 1. Suppose -3*v + 4 = l. Suppose 0 = j + 4*z + 14, 5*j + 3*z + 2 = 0. Which is smaller: v or j?
v
Let m be ((-15)/(-6) + -3)*0. Which is smaller: -2/7 or m?
-2/7
Let z = 2.7 + 3.3. Which is greater: z or -0.1?
z
Let q = -10.7 + -2.3. Let j = q + 7. Let h = j + 6.04. Which is smaller: 1/4 or h?
h
Let k be 231/35 - (-2)/5. Let w be k/(1 - 1/2). Let b be (-4)/w + (-16)/42. Which is smaller: b or 0?
b
Let g be (2*-1)/(1/3). Let m = 5 + g. Suppose -5*x = -4*t - 18, 5*t - 4*x - 5 = -23. Which is smaller: t or m?
t
Let q(j) = -5*j - 6*j**2 + 0 - j**3 + 0. Let a be q(-5). Let s = 1 + a. Which is greater: -2/11 or s?
s
Let r be (-3)/((2 - 8) + 2). Suppose 4 = -2*h, 2*h = 2*d + 2*d + 52. Let j be ((-2)/3)/(d/(-6)). Is j less than r?
True
Let a = 46.6 - 43. Let i = 0.6 - a. Let s(n) = -n. Let y be s(1). Are y and i nonequal?
True
Let m = 30 + -121/4. Let t(r) = -9*r**2 - 5*r - 1. Let l(u) = -4*u**2 - 3*u - 1. Let y(g) = 7*l(g) - 3*t(g). Let h be y(-5). Is h smaller than m?
False
Suppose 0 = 8*j - 7*j. Let k be 2 - -2*(-6)/4. Are j and k equal?
False
Let y be (-32)/(-272) - (-42)/(-646). Are 0 and y non-equal?
True
Let t be (-35)/(-4) - 3/(-12). Let f = -12 + t. Is f at least -6?
True
Let s = 16 + -17. Which is smaller: s or 4/17?
s
Let a = 139/2 - 65. Is 5 >= a?
True
Let i be -1*(-1 - (0 - 2)). Are i and -1 non-equal?
False
Suppose 2*w = -2*q + w + 3, 4*q - 3*w = -9. Are 2 and q equal?
False
Let t(s) = s. Let j be t(9). Let q = j - 8. Do q and 1 have the same value?
True
Let d = -26 + 33. Which is smaller: d or 5?
5
Let w = -2 + 6. Suppose -w*u + 6 = 22. Is u != -8?
True
Let o = -20 + 21.7. Which is smaller: 2 or o?
o
Let v = -100/9 - -34/3. Suppose 2*u + 2*q = -u + 11, 4*q + 33 = 5*u. Suppose -4*l - u = 2*t - 17, -t = -3*l + 9. Which is bigger: t or v?
v
Suppose 0*p - 6 = 3*p. Let w(i) = i + 2. Let r be w(p). Suppose r*n = 2*n. Which is bigger: -4/7 or n?
n
Let a(m) = m - 2. Let q be a(2). Let p = q + 2. Suppose 5 = 4*y - 11. Which is greater: p or y?
y
Suppose 0 = -7*h + 2*h. Suppose h = 5*f - 1 - 4. Is f less than or equal to 2/27?
False
Suppose 2*q = -0*q - 64. Let s = -23 - q. Is 10 less than or equal to s?
False
Let u = 10 - 9. Which is smaller: 1/4 or u?
1/4
Let g be ((-6)/4)/(3/(-2)). Let z = -6087/17329 - 2/559. Let r = -183/341 - z. Is r >= g?
False
Let g be 108/14 + 10/35. Let n = g - 8. Which is smaller: n or -1/3?
-1/3
Let p = -109 - -871/8. Suppose -3*o = -2*o - 2*f - 9, 3*o - 5*f - 25 = 0. Suppose -2*s - 3*s + o = 0. Are s and p non-equal?
True
Suppose -2*q = 5 - 7. Suppose 3*i + 5*b + q = 0, -6 = 4*i - 2*b + 4. Let c = 2/113 + -347/452. Which is smaller: c or i?
i
Let i = -12.7 + 12. Let w = 1.3 + i. Is w bigger than -1/3?
True
Let i = -3 - -2.9. Let f = 18 - 14. Let c be f/((-24)/14) - -2. Which is bigger: i or c?
i
Let l(a) = -a**3 + 2*a**2 - 2*a - 2. Let p be l(3). Let k = 83/5 + p. Let n = -29/2 + 15. Do k and n have the same value?
False
Let g = 7 - 18. Let n(k) = -k**3 - 10*k**2 + 11*k + 1. Let d be n(g). Which is smaller: d or 3/4?
3/4
Let x = -17.9 - 1.1. Let p = 21 + x. Let g = -2/49 - -55/147. Which is greater: g or p?
p
Let m = -257961 + 80741861/313. Let k = m + -386718/2191. Let i = k - -176. Which is greater: i or -0.1?
-0.1
Let s be 8/(-1) - (0 - 3). Let x(j) = j**2 + 4*j. Let v be x(s). Is v at least as big as 4?
True
Let x(y) be the third derivative of y**6/720 - y**4/24 + y**2. Let g(r) be the second derivative of x(r). Let k be g(1). Do 2 and k have different values?
True
Let n be (-6)/(-4*12/(-32)). Let a be (n/(-6))/((-10)/69). Are -5 and a equal?
False
Let w(b) = b**2 - 11*b - 2. Let u be w(11). Let o = 5/2 + u. Which is greater: o or 