 - (0 + b). Which is greater: k or x?
k
Let w(d) = d**2 - d + 16. Let h be w(0). Which is bigger: h or 17?
17
Suppose w = 3*d + 341, 0 = -d + 4*w - 2*w - 112. Let g = 74 + d. Let h = g - -241/6. Which is greater: 1 or h?
1
Let y = -0.16 - -0.16. Let z = -0.1 + y. Let b = -0.4 + 0.3. Is b >= z?
True
Let h be (-2)/(60/6)*10/(-8). Which is smaller: h or -13?
-13
Let g be (2/4)/1*12. Which is bigger: g or 5?
g
Suppose -4*s = -4 - 12. Is s greater than -1?
True
Let c(t) = -t + 1. Let z be c(2). Let l = z + 0. Let w = l - -2. Which is smaller: w or 2/7?
2/7
Let p be 4/(-42) + (-144)/(-189). Let n = 3 - 2. Let z be (-1*n/(-1))/(-1). Is p != z?
True
Let w be ((-18)/24)/((-129)/(-8)). Which is smaller: w or 1?
w
Let p = -0.4 + 0.2. Let n = -36.3 + 34. Let k = -1.3 - n. Which is bigger: p or k?
k
Let c(y) = y**2 + 5*y - 4. Let q be c(-5). Let f be (q*(-3)/2)/2. Suppose -f*z - z = 0. Is -2 bigger than z?
False
Suppose -w - 4*w = -70. Suppose 5*n = 4*q + w - 5, -q + 1 = 2*n. Which is smaller: -2/27 or n?
-2/27
Suppose 5*w - 17 + 2 = 0. Let y = -58 - -61. Is w >= y?
True
Let x be ((-6)/4)/(12/16). Let l be 1/x - 27/(-18). Which is smaller: l or 3/7?
3/7
Let b = -2.58 + 2.6. Are b and -3 nonequal?
True
Let y = -2970 + 323732/109. Are y and 0.1 nonequal?
True
Suppose -h = -3 - 2. Suppose 1 = -2*p + h. Which is smaller: 2/3 or p?
2/3
Let l(u) = -u - 5. Let h be l(7). Let c be ((-3)/h)/((-3)/(-10)). Is 1 smaller than c?
False
Let v = -19 - -27. Is -0.1 >= v?
False
Suppose 3*n = -2*n + 5*j + 15, 0 = -5*n - 2*j + 1. Let b be n + -4 + 7 + -5. Is b at least as big as 0?
False
Let b = -3.1 - -0.1. Let a = -3/2 + 5/6. Which is greater: a or b?
a
Let a = -6 - -8. Suppose -a*u + u = -1. Is u less than 1?
False
Let q = -0.26 - 0.04. Let a = q - -0.1. Let x = 1.1 + -0.9. Which is greater: a or x?
x
Let y(m) = -m + 10. Let f be y(8). Suppose -j + 28 = -5*v + 3*j, -j = -f. Is v greater than -3?
False
Let p = -8/45 - 706/585. Is p at least 0?
False
Suppose 10*r - 12 = 6*r. Is r greater than 13/5?
True
Suppose -3*f = 4*x + 25, x - 1 = -f + 2*x. Let k = 1 - f. Is k smaller than 3?
False
Let q = -26 + 26.008. Is q != 0?
True
Let o = -0.078 - 0.022. Which is greater: 28 or o?
28
Suppose -6*y + 10*y = -3*l - 1, -13 = 4*l + 3*y. Which is greater: -35/6 or l?
-35/6
Let l be ((-7)/(-14))/((-6)/4). Let b = -5 + 10. Suppose 15 = 5*z - b*w, 3 = -5*z + z - w. Which is bigger: z or l?
z
Let o be (-7)/21 - (-122)/312. Do 0 and o have different values?
True
Let j = 8 - 6. Let k be 3*3*j/33. Let l = -42 + 42. Is l smaller than k?
True
Suppose 3*j = -z + 10, -5*j = -5*z + 30 - 0. Let h = z - 4. Suppose 3*i = h*w - 15, -3*w + 5*i = -0*i - 25. Is 2/3 smaller than w?
False
Let p be -4 + (3 - 2/(-6)). Is p at least 0.18?
False
Let u(v) = 3*v**2 - 17*v + 5. Let k be u(8). Is k at most as big as 61?
True
Let h be 1/((-6)/2)*9. Is 0 greater than or equal to h?
True
Let s = -147/1840 + 2/115. Which is smaller: s or -2/5?
-2/5
Suppose r + 4 = 5. Let w = -0.31 + 0.25. Which is smaller: w or r?
w
Let c = -32 + 31. Which is smaller: c or -7/4?
-7/4
Let m(k) = -6*k + 11. Let o(g) = -5*g + 12. Let u(y) = -4*m(y) + 5*o(y). Let a be u(8). Is a > 7?
True
Let v(n) = n**3 + 11*n**2 + 12*n + 14. Let w be v(-10). Let c be (-18)/w*(-2)/(-45). Are c and 0 equal?
False
Suppose -4*p = 6 - 2, -421 = -j - 5*p. Let s = 5541/13 - j. Which is smaller: 0 or s?
0
Let j = 933/2596 + 1/236. Which is smaller: j or 0?
0
Let h(c) = -c**3 + 8*c**2 - 7*c + 4. Let n(w) = -w**2 + 5*w + 1. Let z be n(3). Let y be h(z). Suppose -2*p - 8 = -4*j, 5*p + 0*p + 8 = y*j. Is 2 less than j?
False
Let i = 169 - 167.7. Which is smaller: i or -5?
-5
Let b(z) = z**3 - 9*z**2 + 14*z + 8. Let v be b(7). Is 8 bigger than v?
False
Let u = -754483/40 + 18860. Let j = u + 15/8. Are j and -1/3 nonequal?
True
Suppose -r + 5*r + 15 = -q, -4*q = -r - 25. Is 16/3 smaller than q?
False
Let n = -69/28 - -2631/28. Let f = -1275/14 + n. Let s = 1/14 + f. Is 2 greater than s?
True
Let b be (4/(-90))/((-7)/35). Is 1 greater than b?
True
Let w = 1/15 + 19/165. Is -1 != w?
True
Let l(r) = r - 6. Let z be l(5). Let v be 3 + 0 - (-5 - z). Let o = v - 8. Is -3/5 greater than or equal to o?
True
Suppose -o = -0*l - l + 9, o = 5*l - 41. Which is greater: 5 or l?
l
Let f(l) = -l**2 - 4*l + 6. Let q be f(-6). Suppose -y = 2*y. Suppose y*b - h + 25 = -4*b, 4*b + 43 = -5*h. Which is smaller: q or b?
b
Let c = -0.04 - -0.14. Let g(b) = b**3 - 3*b**2 + 3*b - 2. Let t be g(2). Are t and c nonequal?
True
Let c = -461 + 15211/33. Is 1 equal to c?
False
Let f(j) = -5*j - 7. Let v be f(-3). Let n be (-21)/26 - (-4)/v. Which is bigger: n or 0?
0
Let b be (-4)/(-3)*(-6)/(-52). Which is smaller: 0 or b?
0
Suppose -2*b + 38 = -14. Is 23 not equal to b?
True
Suppose -22 = -p - 3*p + 3*i, 5*p - 3*i = 26. Suppose -p*h + 4 = -0*h. Which is bigger: 3 or h?
3
Let k be 4/6 - (-33)/(-9). Let f = -6 - -1. Let z be 2/f - 117/45. Is z smaller than k?
False
Let w = 0.1 - -2.9. Let m = 1.89 + 0.11. Is m smaller than w?
True
Let j be -5*-2*1/25. Let h(y) = 3*y + 3. Let s be h(-2). Let d be s/(-15) - 27/10. Is d != j?
True
Let c(t) = t + 3 + t - t. Let o be c(-3). Which is bigger: -2 or o?
o
Let c be ((-7)/3)/((-6)/(-198)). Which is greater: 1/2 or c?
1/2
Let o(q) = q**2 + 1. Let r be o(0). Let h = -20 - 0. Let l = 21 + h. Does r = l?
True
Let l be ((-15)/20)/((-3)/13). Does 3 = l?
False
Let p be -2*1*2/6. Let v = -107/402 + 59599/62310. Let w = v + -9/31. Is p >= w?
False
Let p = 0.24 - -6.26. Let k = p + -0.5. Let l = k + -5.9. Which is bigger: l or 2?
2
Suppose 2*v - 2*m - 6 = 0, 3*m = -9*v + 4*v - 1. Which is smaller: 4 or v?
v
Let i = 593/35 + -89/5. Is -1 smaller than i?
True
Suppose -d - 5*q = -3*d + 33, 3*d = -5*q + 12. Let x = d - 5. Suppose -j = -x*g + 3, 2*g + 2*j - 8 = 3*g. Which is bigger: g or 0?
g
Let k be 0*(2 + -1 + 0). Let f = -0.067 - 0.133. Which is smaller: k or f?
f
Suppose -g + 196 = 5*v, 3*v + 3*g + 12 = 120. Suppose u - 20 = -3*u, -v = -5*l - u. Is l at most 8?
True
Let q = -144/41 + 3099/287. Does q = 7?
False
Suppose d + 2*x = 3, -3*x = 2*d - 11 + 4. Suppose 5*u = 8*u. Suppose -2*p + 0*p + 10 = u. Is d not equal to p?
False
Suppose 4*z = -z + 15. Let y be (-4)/16 - 142/8. Let i be y/(-4)*(-10)/(-15). Do z and i have different values?
False
Let j be -12 + 12 + (-18)/4. Is -0.1 less than j?
False
Let a = 0.3 + -0.4. Which is smaller: -7 or a?
-7
Let q be (-213)/357 + 1 + 8/(-28). Suppose -5*z = -2*z - 6. Let k = 2 - z. Are k and q equal?
False
Let j be ((-15)/(-190))/(3/4). Is j equal to 2/11?
False
Let u = 33 - 101/3. Which is greater: u or -2/11?
-2/11
Suppose -3*t - 12 = 0, 5*l - t + 285 = -6*t. Let b = -2/20207 + -8507131/161656. Let v = l - b. Which is smaller: 1 or v?
v
Suppose 0 = 5*n + 20, 4*h - 20 = 6*n - n. Let p be 6/(-8) - (-1)/2. Are h and p nonequal?
True
Let m be ((-8)/(-10))/((-7)/(-70)). Let q = m + -10. Let z be 0 - 2/(4/q). Which is bigger: 2/23 or z?
z
Suppose 5*j + 3*g = -13, -4*j + g = j + 9. Let n be 0*2/(1 - -3). Let q = -1 - n. Which is smaller: q or j?
j
Let a = 8 + -21. Let m(b) = -b - 15. Let i be m(a). Which is smaller: -3/4 or i?
i
Let d(h) = -2*h - 6. Let r(t) = t**3 + 2*t**2 - 6 + t**2 - 7*t + 3*t**2. Let y be r(-7). Let k be d(y). Which is smaller: 5 or k?
5
Let b = 53 + -67. Is b at most as big as -15?
False
Let l be (2 - 3)/(1/(-8)). Let r(x) be the third derivative of -x**4/24 + 4*x**3/3 - x**2. Let p be r(l). Do 2 and p have different values?
True
Let d = 11.4 - 11. Is -5 smaller than d?
True
Let f = -161/2 + 80. Which is bigger: -4/29 or f?
-4/29
Let y = 57 - 29. Are 28 and y non-equal?
False
Let c = 1784/33 + -54. Which is greater: c or 1?
1
Let k = 76 + -226/3. Are k and -0.13 equal?
False
Let d(s) = -3*s**3 - s**2 + 4*s - 2. Let c(g) = 10*g**3 + 4*g**2 - 13*g + 6. Let u(p) = -2*c(p) - 7*d(p). Let z be u(2). Are z and 1 unequal?
True
Suppose 0*p + 99 = 5*s + p, 5*s - 5*p = 75. Is s less than or equal to -1?
False
Let w be (4/21)/((-2)/(-12)*-4). Is -6/11 > w?
False
Let k be (-16)/70*(-10)/(-4). Suppose 0 = 39*d - 26*d + 13. Is d != k?
True
Let x = -3/209 + 289/34694. Is x at least as big as 1?
False
Let l = 6 - 12. Let s be (6/(-36))/(l/(-4)). Which is smaller: s or 1?
s
Suppose 7*u - 2*d = 2*u + 104, -94 = -4*u - 2*d. Suppose 