 d < u?
True
Suppose 24*c - 97*c - 73 = 0. Let r = 59/345 + 2/69. Are c and r nonequal?
True
Let n = 926 - 947. Which is smaller: -24 or n?
-24
Let c(d) = d + 20. Let t be c(-17). Let g = 0 + t. Which is greater: 0 or g?
g
Let u(o) = -o**3 - 3*o + 2. Let i be u(1). Let x be (-16)/9 - i - (-28)/(-45). Is 20 at most x?
False
Suppose -32 = -10*x - 42. Is x at most as big as 1/274?
True
Suppose 70 = -2*y - 3*y. Let g be (18/4)/(39/52). Let f be y/35*(-5)/g. Is 1 <= f?
False
Let z = -45 - -44.967. Let s = z + -22.967. Which is greater: -0.1 or s?
-0.1
Let u = 0.008 - 0.14. Let q = u - -0.032. Let b = -2 - -2. Which is greater: q or b?
b
Let s = -1.331 - -0.331. Do 0.0334 and s have the same value?
False
Let c = -15 + 9. Let b be (c/4)/((-15)/20). Which is greater: b or 2/3?
b
Let w be -2 + (-1 - 0) + 1. Let l(a) = 17 - 19*a - 6 - 16*a**2 + 38*a**2 - 20*a**2. Let k be l(9). Which is greater: k or w?
k
Suppose 5*p - 2*s + 38 = 0, 0 = 2*s - 1 - 7. Let m be ((-1)/3)/((-2)/p). Let g = -18 - -35/2. Is m not equal to g?
True
Let r = -0.213 - -0.153. Which is smaller: -2/33 or r?
-2/33
Let x be 3 + -2 + (2 - -1). Suppose 2 + 6 = x*c. Let q be c/(-6)*0 - -1. Is -1/6 at least q?
False
Let w = -82 - -54. Let v be 565/(-20) - 1/(-4). Is w <= v?
True
Let f(l) = -l**3 - 2*l**2 + 3*l + 2. Let k(q) = q**3 + q**2 - 2*q - 1. Let z(g) = 2*f(g) + 3*k(g). Let x be z(0). Is x <= 21/10?
True
Let l(a) = a. Let w be l(-7). Let u(g) = -g**3 - 8*g**2 - 5*g + 4. Let v be u(w). Let i be (-2)/(-2)*v/4. Is i equal to -3?
False
Let y = 3987 + -1311722/329. Is -1 at most as big as y?
True
Let r be 4 - 0 - 700/160. Is 21 smaller than r?
False
Suppose q - 2*q = -140. Which is smaller: q or 137?
137
Let i be ((-1)/(-3))/((-1)/3). Let u = i - -4. Suppose -4*j - 15 = -2*w - 3, -u*w = -j + 7. Is -4 greater than w?
False
Let j(u) = 10*u - 190. Let c be j(19). Which is greater: c or -5/98?
c
Suppose 0*b + b + 2*o - 9 = 0, 3*o = -3*b + 18. Suppose -b*k + 71 = -3*y - 10, -3*y - 55 = -2*k. Is 26 at least k?
True
Suppose -6*m + 8*m = 4*n + 28, 12 = -3*n. Suppose m*b - 2*b - 216 = 0. Do b and 53 have the same value?
False
Let n(p) = p**2 - 10*p - 8. Let i be n(-8). Is 135 at most i?
True
Let a = 21 + -32. Let x = -13 - a. Let c be 10/(-4)*x/(-3). Are -2 and c nonequal?
True
Let o(l) = 7*l**2 - 16*l + 7. Let a(z) = -z**2 + z + 1. Let n(x) = -6*a(x) - o(x). Let q be n(8). Which is smaller: q or -1?
-1
Suppose 3*d + 0 - 6 = 0. Suppose -10 = -b - d. Let l be 4/(-8)*b/(-26). Is -1 > l?
False
Let x be (-1)/(-7) - 3/((-504)/1292). Which is bigger: x or 9?
9
Let o be ((-4)/(-1))/(2/(-113)). Which is smaller: o or 0?
o
Let i = -6 - -4. Let r(t) = -20*t**3 - t. Let x be r(-1). Let m be (-52)/63 - 6/x. Is i at least m?
False
Let x = 6.1 + -6.2. Which is smaller: 390 or x?
x
Suppose 4*p + 68 = 4*l, 3*p + 14 - 43 = -5*l. Let b(c) = -7*c + 1. Let n(f) = 8*f - 1. Let y(j) = 4*b(j) + 3*n(j). Let s be y(-2). Is l less than s?
False
Let o = -123/901 + 1/53. Let x = 17 - -4. Let z = -20.8 + x. Which is smaller: o or z?
o
Let d = 0.0236 + 0.0764. Is 88 bigger than d?
True
Suppose 9*c - 11*c = 12. Let d be ((-8)/1 - -15) + -9. Does d = c?
False
Let z(l) = l + 13. Let m be (-51)/(12/(-4)) + -4. Let b(a) = -a**2 + 13*a - 9. Let f be b(m). Let p be z(f). Is p < 3?
False
Let j = -1883 - -1884.6. Is j greater than or equal to 22/7?
False
Let y = 139 + -97. Let j be 1 - -1 - y/18. Let p be 3/4*(-4)/(-6). Which is smaller: p or j?
j
Let y = 0.09 - 10.09. Let m = y + 15. Let u = m + -15. Is u less than or equal to 2?
True
Let x(d) = -d**3 - 4*d**2 - 2*d - 8. Suppose -p + 2*p = -4. Let y be x(p). Let c be (12/9 - y)/4. Are -1 and c non-equal?
True
Let m be 39564/55440 + (-3)/5. Which is smaller: 1 or m?
m
Let d(y) = y. Let k(x) = x**2 + 6*x - 18. Let f(z) = 5*d(z) - k(z). Let q be f(0). Which is smaller: -1 or q?
-1
Let z(y) = 3*y - 4. Let j be z(2). Let a be j - (1/(-1) + 3). Suppose 0 = -2*v - m - 10, a*v - 2*v - 14 = 3*m. Which is greater: v or -5?
v
Let y = -7 + 20. Let b be (2/y)/(3/(63/6)). Is 1 at most b?
False
Let b be -3 + 500/35 + 4/(-14). Suppose b = 7*v + 4*v. Which is bigger: -1/42 or v?
v
Let s = -313 + 310. Is s less than -25?
False
Let i = -13 + -1. Let j = -19 - -4. Which is bigger: i or j?
i
Let x be 6/63*-327 - 4. Which is smaller: x or -36?
-36
Let k = -0.0396 - 0.4604. Which is smaller: 1/268 or k?
k
Suppose -5*u + 3*u = 2*c + 4, 3 = -u - 2*c. Let l be (47 + u)*2/(-28) + 3. Is 1 less than or equal to l?
False
Suppose 4*h - 4*w = w + 1, -2*h - 3*w + 17 = 0. Let p(r) = -h*r + 0 - 19 + 4. Let y be p(-6). Which is bigger: y or 10?
10
Let w(b) = b**2 + 5*b - 3. Suppose -4*h = -2*q + 3*q, -5*h = -4*q - 21. Let p be w(q). Which is greater: -6 or p?
-6
Suppose 4*x + 80 = -4*w - 36, 4*x = w + 34. Let u = w + 11. Let a(m) = -m**3 + 2*m + 3. Let t be a(3). Which is bigger: t or u?
t
Suppose -4*y + 11 = -21. Let s(w) = w**3 - 9*w**2 + 9*w + 2. Let k be s(y). Which is greater: k or 9?
k
Let j = -318 + 2221/7. Do -2 and j have the same value?
False
Suppose 27 = 10*h + 37. Which is greater: 2/761 or h?
2/761
Suppose 0 = y - 1 + 3, 2*u - 4*y - 34 = 0. Suppose -u*m = -6*m. Are m and -3/11 non-equal?
True
Let l be (2 - (-15)/(-9)) + (-717)/(-9). Let n = l - 398/5. Let s = -1.8 + -0.2. Which is smaller: n or s?
s
Suppose -q - 1 = 3. Let d be (q/(-6))/((-2)/9). Let u be (1 - (3 - 3))*-2. Is u bigger than d?
True
Let b be 8080/(-60975) + (-8)/(-60). Which is greater: -1 or b?
b
Let g = 4359/13700 + 1/548. Which is greater: 1 or g?
1
Let t(l) = -l**2 + 5*l + 1. Let k be t(4). Let x be -1 + k + 13/1. Is 17 <= x?
True
Suppose 4*f - 2 = -5*j, -j + 0*j + 2*f = -6. Suppose -h = j*y + 57, -9*h - 5*y = -14*h - 300. Is h less than -59?
False
Let s be (-2)/((-59)/12 + 15/(-20)). Is s <= -3?
False
Let x = -0.1659 + -16.7741. Let i = x - -17. Is i > -0.02?
True
Let y = 59 + -30. Let g = -30 + y. Is 1/189 at most as big as g?
False
Suppose 48*s - k = 46*s - 916, 0 = -5*s - 3*k - 2290. Do s and -917/2 have different values?
True
Let q = 7 - -1. Let s be -4*-2*3/q. Let f be (-3)/(-2)*12/18. Which is smaller: f or s?
f
Let c(n) = 45*n**3 - n. Let z be (-64)/28 + (-10)/(-35). Let y be c(z). Let t = -9664/27 - y. Does t = 0?
False
Suppose 5*u + 305 = 2*j, 172 = 4*u - 7*u - j. Let o be ((-118)/(-6))/(1/(-3)). Is u < o?
False
Let l = -374 - -373.9. Which is greater: -227 or l?
l
Let o = -3 + 3. Let i be 2/(o - 4/6). Let n(y) = -y - 2. Let s be n(i). Which is greater: 2/3 or s?
s
Suppose -3*f + 10 + 5 = 0. Let y = -40 + 44. Let t = f - y. Which is greater: t or 1/6?
t
Let p(x) = -x**3 + x**2 + 3*x - 2. Let o be p(2). Suppose -2*z + o*z - 3*f = -10, -3*z = -2*f - 15. Let u be -1 + (75/9)/z. Is -5 at least as big as u?
False
Let q = -2 + -2. Let x be -2 - (-327)/(-510)*q. Let v = 3/85 + x. Is -1 > v?
False
Suppose 3*y - 30 - 32 = -4*t, 0 = y + 5*t - 39. Which is greater: y or 16?
16
Let d(x) = 7*x + 5. Suppose p - 4*h = 5, -4*p - 2*h - h + 1 = 0. Let c be d(p). Suppose -3*w = -30 - 9. Is w less than or equal to c?
False
Let m = 30 - 60. Suppose -4*r - 12 + 60 = 0. Let b be r/(-8)*(-4)/m. Which is smaller: b or 0?
b
Let i be (-1)/11 - 39/(-429). Which is bigger: i or 6/29?
6/29
Let j be ((-732)/(-64) + 2)*14/5. Let k = -3215/88 + j. Which is smaller: k or 2?
k
Let h be 116/2*(4/(-2) - -1). Which is greater: h or -63?
h
Let z = -12.1 + 9. Let j = -18.9 + z. Let a = -20 - j. Which is smaller: a or 1/4?
1/4
Let w = -59 - -55.875. Let i = w + 0.025. Let x = -3 - i. Which is greater: x or -4?
x
Suppose 11*c = 12*c + 4*f + 196, -5*f = -2*c - 431. Which is greater: -209 or c?
c
Let j(g) = g**2 - 5*g + 3. Let h be j(5). Let k(f) = 21*f + 17. Let v(d) = 8*d + 6. Let t(x) = 3*k(x) - 8*v(x). Let b be t(h). Is b >= 0?
True
Let d be (-6 - 1 - -3)*1. Is -91/20 smaller than d?
True
Let l(p) = p + 3. Let j be l(0). Suppose -3 = -j*a - 0*a. Let c = -1411/7 + 202. Which is smaller: a or c?
c
Let n be (-4)/(-6)*4/(-20). Let l(j) = -3*j - 12. Let t be l(-3). Let x be (1 - 1) + (t - -2). Which is greater: x or n?
n
Let u be (88/(-28) - -3)*-1. Suppose 0*j - 2 = -j. Suppose j*k + 7 = -3*p, -5*p + 3*k + 9 = -11. Are p and u equal?
False
Let r = 744 - 239. Suppose 0 = -4*n + 2255 + r. Let g be 5/(-2)*(-24)/n. Do g and 1 have different values?
True
Suppose 47*k - 56