u. Let k be n(1). Which is smaller: k or x?
k
Let m = 47 + -55. Let f = m - -8.1. Is f <= 36?
True
Let c(i) = i**3 + 6*i**2 - i - 10. Let z be c(-6). Let t be 3/(-42)*z - 78/(-168). Is 0 greater than t?
False
Suppose 38*k + 30 = 41*k. Let o be ((-24)/30)/(2/k). Let a be 2 - (-1 + 0 - -8). Are o and a unequal?
True
Let u = 1.769 + 0.231. Suppose -5 = -5*c + 2*j, 3*j + 2 = 2*c + 4*j. Suppose 4*g = -4*l + l + 5, 2*g + c = -5*l. Are g and u equal?
True
Suppose 3*t - 10 - 8 = 0. Suppose 0 = -4*w - 3*v - 7, -13 = 3*w + 4*v + 1. Suppose -w = 4*p - 6. Is t <= p?
False
Suppose 36*d - 47*d = 990. Is -91 smaller than d?
True
Let w = -183/28 - 73/14. Which is greater: w or -11?
-11
Let s(a) = -a - 26. Let g be s(-19). Is -4 equal to g?
False
Let c be 30/5*1/2. Suppose -3*u - 60 = c*u. Let j be ((-52)/(-65))/(4/u). Do j and -7/6 have the same value?
False
Let a = -1.9 - 0.1. Let v = 0.3 + -0.46. Let w = v - -4.16. Which is smaller: a or w?
a
Let p(j) be the second derivative of j**4/12 + 3*j**3/2 + 13*j**2/2 - 6*j. Let g be p(-9). Let l = g + -12. Which is greater: 1/29 or l?
l
Let d = -15 + 27. Let z be (-15)/d*(-20)/(-5). Let r be 0*(z/3)/(-5). Do r and 4/19 have the same value?
False
Suppose 0 = 3*w - 6*w - 3*x + 2451, -x = -3*w + 2463. Let c be 1*(-8)/w*-5. Which is smaller: 0 or c?
0
Suppose -41*o = -49*o - 64. Which is smaller: -3 or o?
o
Let j(o) = 176*o - 362. Let i be j(6). Is i greater than 695?
False
Let u(m) = -m + 1. Let q be u(1). Suppose q = -8*k + 6*k. Suppose k = -5*j + 3*j. Is j smaller than -1/8?
False
Let f(k) be the third derivative of -k**4/24 - 4*k**3 + 3*k**2. Let i be f(-8). Is i greater than -18?
True
Let d = 62 - 60. Suppose d*k = -3*v, -v + 8 = -0*k - 2*k. Which is bigger: 3/13 or v?
v
Let t = -1121 - -15693/14. Are -43 and t non-equal?
True
Let u be (((-20)/1392)/(-5))/((-6)/16). Is 0 less than u?
False
Let q = -12796 + 12680835/991. Is 1 at least q?
True
Let s be 591/9 + 6/(-9). Suppose -1 = -2*a + a, 4*g - s = -a. Suppose 5*j = -d - g - 0, -3*d - 2*j - 9 = 0. Is d equal to -1/10?
False
Suppose -387 = 3*o - 3*p, -o + 0*o - 2*p = 123. Do -126 and o have different values?
True
Let k = 517 - 518. Is k less than or equal to -3/62?
True
Let n = 0 - -2. Let i(l) = 3*l**2 + 13*l + 4. Let y be i(-5). Let p(b) = b**3 - 14*b**2 + 1. Let k be p(y). Is n at least as big as k?
True
Let h be (15 + -13)*(2 - 1). Suppose -2*k + h = 0, 4*k = -2*x + 2*k + 26. Suppose -6 = -2*f + 4, -3*g + x = 3*f. Which is bigger: g or -2/7?
-2/7
Suppose 18*o - 5 = -23. Which is bigger: -18/13 or o?
o
Let u be (-12 - -10)*-2*(-3)/48. Which is bigger: u or 5?
5
Suppose -4*c = -5*w + 716, -5*c - 120 = -3*w + 307. Let j = 1006/7 - w. Is 15 >= j?
True
Let x be -659*-3*(-5)/(-105). Let r = x + -94. Which is bigger: r or -1?
r
Let w(t) = -2*t + 17. Let y be w(7). Suppose -4*m - y*u + 0*u = -3, -3*u = 3*m - 3. Let a = 0.3 + -1.3. Which is greater: a or m?
m
Let n = 224 - 297.5. Let t = 1.5 - n. Is t at least -1/3?
True
Let s be 80/(-240)*(0 - -93). Which is bigger: -63 or s?
s
Let k(a) = 9*a**2 - 47*a + 14. Let i be k(6). Which is greater: 57 or i?
57
Let n(h) be the second derivative of -h**3/2 - 7*h**2 + 4*h. Let v be n(10). Is -43 at most v?
False
Let v(k) = -1. Let q(g) = -g**3 + 17*g**2 + 19*g - 31. Let f(l) = q(l) - 5*v(l). Let m be f(18). Which is greater: -9 or m?
m
Let m = -770 + 1536. Is 766 smaller than m?
False
Let s = 18101/7 + -2564. Which is bigger: s or 21?
s
Suppose 10*j - 8*j = 18. Let n be (-81)/(-12) + j/(-12). Let h be (1/5)/((-2)/n). Is 0 less than h?
False
Suppose 0 = -5*s + 2*k + 6, 6*k - 2*k - 10 = -s. Is -2/185 > s?
False
Let b be (-39 + 36)*-1*4/51. Are b and -7 nonequal?
True
Let p = 1051 - 1053. Is p at least -7?
True
Suppose 6 = 2*z, 0*n + 2*z + 21 = 3*n. Let p = 88 + -79. Are n and p non-equal?
False
Let w = 0 - 0. Let o be w - -1 - 0 - -1. Suppose 4*j - 9 = 5*i, -2*i = 3*j - 7*j + 6. Which is smaller: j or o?
j
Let r(j) = j**2 - 38*j - 8. Let o be r(39). Is o less than 97/3?
True
Let u be (9 + 26)*4/(-5). Let i be (-3)/(-2)*u/42. Which is greater: i or 3/7?
3/7
Let t = 938 - 937. Are t and -46/13 equal?
False
Let m = 6 - 5. Suppose -40 = -2*y + 26. Let o be -1 - 0 - 2/((-60)/y). Which is bigger: m or o?
m
Let y be (-76)/15 + 4/10. Suppose 0*k + 9*k - 126 = 0. Suppose -30 + k = 4*r. Which is bigger: r or y?
r
Let v(r) = -4 + 13*r - 12 + r**2 + 3. Let n be v(-13). Let z be (-5)/2 - n/(-26). Is z > 0?
False
Let f(a) = 15*a + 156. Let g be f(-10). Let t(h) be the first derivative of h**3/3 + 5*h**2/2 - h + 1. Let c be t(-6). Which is greater: c or g?
g
Let k = 30 - 86. Let d = k + 60. Suppose -40 = 5*h - 5*m, -h + 2*m - 3 - 9 = 0. Is d bigger than h?
True
Let r(a) = -3*a + 3*a - a. Let s be r(-2). Let l(i) = i**2 - 7*i + 8. Let f be l(6). Do f and s have different values?
False
Let i = -3.4 + -11.6. Let z = i + -5. Let t = 20 + z. Is t at least 1?
False
Suppose 0 = -d + 4*t + 8, -2*t - 10 = -d - d. Let r(p) = -3*p**2 + 6*p - 6. Let m be r(d). Let b be m/20*2/60. Which is greater: b or -1?
b
Let c = 22 - 7. Let x = -15 + c. Suppose x - 3 = 3*r. Do -3/11 and r have the same value?
False
Suppose 5*t - 52 = -47. Is 9/8 bigger than t?
True
Suppose 2*c - 4*l + 35 = 5*c, 0 = 4*l - 20. Let p be 1*(-6 - -7 - -4). Is c greater than p?
False
Let p = -9.4 - 0.6. Let b = p + 4. Suppose -9*y = -8*y + 3. Is b greater than or equal to y?
False
Let r be -27*1*(-5 + 2). Let j = -82 + r. Which is smaller: -2/5 or j?
j
Let i be (-2 + (-164)/(-84))/(16/144). Which is greater: i or 77?
77
Suppose 0 = x - 109 + 35. Suppose 3*z = -o - 63, -5*z = -o + x + 39. Suppose 5*t = 4 - 119. Which is greater: t or z?
z
Let l be (6/(-96)*8)/((-14)/(-12)). Are 0 and l non-equal?
True
Let u = 0.015 - -1.685. Let f = u + -3.7. Is f greater than -6?
True
Suppose 0 = -3*r - 3*z + 3, 2*z + 4 - 9 = -3*r. Let t(m) = -m**3 - 3*m**2 + 5*m. Let q be t(-4). Do q and r have different values?
True
Suppose 3*t = -5*u + 8345, -5*t + 3*t - 8320 = -5*u. Is 1667 >= u?
True
Let k = -474 + 474. Which is bigger: k or 12/67?
12/67
Let s be ((3/3)/6)/((-4)/(-24)). Let p be s*1/(-2)*(-12)/15. Is -12 <= p?
True
Suppose -26 - 145 = -9*r. Suppose 17 = r*h - 2*h. Is h smaller than -2/39?
False
Let p be (-798)/34 + (-17 + 16 - -8). Which is bigger: -15 or p?
-15
Let v be (0/(2*(-21)/(-14)))/1. Let d = -327 - -7518/23. Is v not equal to d?
True
Let i(g) = -g**3 - 4*g**2 + 6*g - 7. Let c be i(-6). Let x = c + -29. Suppose -4*j = -2*f - 0*f - 6, -5*j + 5*f + 10 = x. Which is greater: j or 2/31?
j
Let u be 2/13 + 5570/130. Suppose 4*r - 1 = u. Suppose 3*h + r + 4 = 0. Is h smaller than -4?
True
Let c be ((-248)/6)/((-40)/60). Which is greater: 187/3 or c?
187/3
Suppose 4*o = -2*b - 10, -2*b - 3*o - 18 = -6. Suppose v = 2*a, 2*v = -0*v + 3*a + 2. Suppose -8*u = -6*u + v. Is b at least as big as u?
False
Suppose 2*n - 2*t - 362 = -t, 0 = -5*n + 3*t + 905. Is 180 < n?
True
Let z = 3 + -7. Let i be ((-38)/(-36) + -1)*z. Suppose -2*b + 3*b = -3*x - 17, -2*x = -5*b. Which is greater: b or i?
i
Let p = -15 + 16. Let c be 6/4*(-2)/18. Let d = c + 1/2. Is p at least as big as d?
True
Suppose 5*q - q - 32 = 0. Suppose x = 13*x - 216. Let t be 1/(1*2/x). Which is greater: q or t?
t
Suppose 0*r + 3*r = 0. Let w = -5076/35 + 145. Which is greater: w or r?
r
Let a be ((-2)/141)/(32/96). Which is greater: a or -1?
a
Let u = -1 + 0. Let x be (-216)/(-936) + (-95)/299. Is u at most x?
True
Let d = 1109/60 - 63/20. Let v = -53/3 + d. Let k(j) = -2*j**2 + 26*j + 25. Let y be k(14). Is y not equal to v?
True
Let a = 2 + -21. Let c = a - -18.9. Let m be (-16)/(-3)*1/(-12). Which is greater: m or c?
c
Let q = 19.1 - 20. Let r = -96.36 - -96.36. Which is greater: r or q?
r
Let o(b) = -b**2 - 7*b - 6. Let a be o(-6). Let h = -12 - a. Let g = h - -12. Is -3/5 not equal to g?
True
Suppose -17*s - 6 = 3*i - 19*s, -2*i = -4*s + 12. Suppose 18*k - 15*k - 9 = i. Which is smaller: 5 or k?
k
Let v = 152 - 152. Which is greater: v or -2/209?
v
Let n = 2.79 - -0.41. Let v = 12.8 + n. Let r = 15.7 - v. Is r at least -0.3?
True
Suppose 24*s - 26*s = -6. Which is smaller: s or -165?
-165
Let w(c) = -c + 2. Let b be w(2). Suppose 0 = 5*f + 25, -f + b*f + 3 = h. Let r be (16/h)/(1 + 1). Is 3/2 less than r?
False
Let x be 49/(-147)*(1 - -669).