). Do d and u have different values?
True
Let j be (6 - (-1506)/(-252))*2. Is 12 at most as big as j?
False
Let x be (-134)/(-670) + 18/(-115). Is x < -13?
False
Let l = -58 + 59. Suppose -4*a + 7 - l = 2*z, 4*a = -12. Does 33/4 = z?
False
Let p(u) = 2*u**2 - 12*u + 15. Let s be p(7). Let a be s + -17 + -1*2. Suppose 3*m - 5*d - a = 0, 2*m + 4*d = 4*m - 8. Which is smaller: 6/17 or m?
m
Let z be (-2)/7 + 52/(-14). Let d = -5 - z. Let i = -20 + 20. Is d bigger than i?
False
Let v be (354/21)/((-18)/126). Which is smaller: v or -111?
v
Let u(i) = 8*i + 71. Let m be u(-13). Do -32 and m have different values?
True
Let n = -751/20 + 767/15. Let g = -40/3 + n. Suppose -2*y + 2 = -0*y. Which is smaller: g or y?
g
Suppose 3*h = 4*d + 16 + 4, -2*h + 4*d + 16 = 0. Suppose -9*s + h*s = 5. Let u be (-2)/5 + 43/(-5). Which is greater: s or u?
s
Let f(l) = l**2 + 3*l - 6. Let v be (-20)/(-16) + (-3)/12. Let d be 2 + 6/(-1)*v. Let a be f(d). Which is smaller: 1 or a?
a
Let u = 13 - 16. Let q be (-66)/(-55)*(-10)/u. Suppose n - q = 1. Which is smaller: 2 or n?
2
Let x be 6/14 + (-544)/(-119). Suppose -2*v - y = -18, 4*y + 0*y + x = 3*v. Let n = -2 - v. Is -10 >= n?
False
Let c = -35.1 + -238.9. Let h = 289.9 + c. Let b = 16 - h. Which is bigger: b or 6?
6
Let t be (1 + -1 + 0)/(-1). Let w = 23 + -41. Let a be -3 - (-4 - w/16). Which is smaller: a or t?
a
Let h be 3 + -1 + (-2 - 1). Let a = -113.98 - -114. Which is smaller: a or h?
h
Let t = 26.5 + -25.5. Is -32 bigger than t?
False
Suppose 5 = -12*q - 7. Which is smaller: q or -32?
-32
Suppose x + b - 1015 = 0, -20*b = -18*b + 6. Is 1017 > x?
False
Suppose -i = -2*j + 479, 35*j - 33*j - 459 = -3*i. Is j <= 237?
True
Let y(o) = -o**3 + 24*o**2 + 4*o - 49. Let q be y(24). Which is bigger: q or 45?
q
Let z(r) = -12*r - 238. Let o be z(-20). Which is smaller: 0 or o?
0
Let a = -17 - -4. Let q = a + 11. Let r(j) = -3*j**2 - j. Let k be r(-1). Is q equal to k?
True
Let n be 4/6*(-6 - -15). Suppose n*t - 128 = -2*t. Let d be 102/4*2/3. Which is greater: t or d?
d
Let r be 0 + 1845/(-6) - (-5)/(-10). Let s be 2*(2/7 - (-116)/r). Do 0 and s have different values?
True
Let j(m) = m**2 - 4*m + 3. Let t be j(4). Let l be (-9)/4*(-8)/t. Let n = 0.71 - 0.61. Is n at most as big as l?
True
Let l be 40/2825*(-59)/2. Let x = 2/113 + l. Which is bigger: 1 or x?
1
Let a be 18/(-8)*(-132)/1188. Is 34.9 greater than or equal to a?
True
Let j = 14219.1 - 14219. Let n = -0.2 + 0. Is j < n?
False
Let l = -41/3 + 515/39. Let j = 2917 - 2918. Is l less than j?
False
Let f = -17 - -17. Let d(c) = -c**3 + c**2 + c. Let q be d(f). Suppose 2*n + 2*n - 8 = q. Do 2 and n have the same value?
True
Suppose 0*r + 4*r = 0. Let g be 174/43 - 152/38. Which is greater: r or g?
g
Let q be (4004/8)/11 - (-3)/6. Suppose 4 = -m, 3*h - 4*m = -2*h + 241. Is q > h?
True
Let k(u) = u**3 - 31*u**2 - 37*u + 144. Let p be k(32). Which is smaller: p or 11?
p
Suppose -3*a - 24 = 5*z, -3*z + 40 = -5*a - 0*a. Let l be (-19)/(-95)*30/a. Which is greater: l or -2?
l
Let m(o) be the third derivative of o**5/120 + 13*o**4/24 - o**3 - 6*o**2. Let i(u) be the first derivative of m(u). Let l be i(-14). Is -5 > l?
False
Let t = -92 - -142. Let i = 50 - t. Which is greater: 2 or i?
2
Let b = 12 + -26. Let w = b - -14.02. Is w >= -0.3?
True
Let n be -3 + -1 + 19 + 3/1. Suppose -j = 4*j - 95. Is n at most j?
True
Let f(j) = 39*j**2 + 5*j - 64. Let x be f(4). Which is greater: 579 or x?
x
Let l = -54 - -187. Let i = -133.01 + l. Let o = 0.2 + -1.2. Which is smaller: i or o?
o
Let d = 770992/261 - 2954. Let u = -0.59 + 0.49. Which is smaller: d or u?
u
Suppose -4*d - 4*i + 175 = -9*i, 2*i - 227 = -5*d. Which is greater: 46 or d?
46
Let c be (-2609)/45 + (-1)/(-5). Let t = -52475/63 + c. Let p = t - -889. Which is smaller: p or -2?
-2
Let z = -80 - -81. Let s(f) = -f**3 - 2*f**2 + 3*f - 1. Let p be s(z). Which is smaller: -36 or p?
-36
Suppose -1950 = 18*m - 96*m. Which is smaller: m or -1/8?
-1/8
Let s = -8 + -7. Let r be -2 + (-84)/s - 3. Suppose -5*v + 4*i + 18 = -3*v, 3*i = 5*v - 17. Is r greater than or equal to v?
False
Suppose -3*b = -5*m - 39, 12 = 5*m + 3*b + 33. Let r be 5 + 3/m*2. Suppose -5*n = -r + 9. Is n bigger than 1/15?
False
Let w = -233/6 - -467/12. Let g = -0.2 - -0.3. Which is smaller: w or g?
w
Let w = -35 + 36. Suppose -3*t - 6 = -4*p, -5*p + 2*t + 5 = w. Are p and 1 equal?
False
Suppose 0 = 2*v + 5*z - 21, -5*z = 4*v + 2 - 49. Let u = -9 + v. Suppose -k = -2*n + k - u, 3*k = 2*n + 5. Is -3/7 at most as big as n?
False
Let c be 750/((-2)/((-5)/(45/(-12)))). Is -500 >= c?
True
Let s(j) = -j**3 - 3*j**2 - 3*j - 1. Let r be s(-2). Let p be 2 - ((-11)/(-3) - r). Let l(v) = 6*v - 24. Let w be l(3). Which is smaller: w or p?
w
Let k = -1.7 + 4.08. Let b = 1.38 - k. Which is greater: b or -2/185?
-2/185
Let v = -10.62 - -11. Let f = v + -0.28. Is f at least as big as 20?
False
Let w be (55/(-35))/(1/92). Let q = w - -144. Which is smaller: q or 3/8?
q
Let z = 2 - 3. Suppose -12 = -4*r, -4*d + 3*r - 4*r = -11. Suppose d*o - 2 = -4*h, -o + 2*h = -3*h - 1. Is o greater than or equal to z?
True
Let u = 0.004 - 0.005. Let y = u + 0.201. Which is smaller: y or -18?
-18
Suppose 10*p = 5*p. Suppose -k + 3*k + 4 = p, r = -4*k. Which is smaller: r or 10?
r
Let t be 6860/105 - 8/6. Which is smaller: t or 190/3?
190/3
Let s be -1*((-5)/2 + 3). Suppose -6*v = -2*v - 16. Let r be (5 + -3 - v)*1. Is r != s?
True
Let w = -213 + 212. Which is smaller: -3/101 or w?
w
Suppose -2*s = -5*j + 29, -3*j - 3*s = -7*j + 26. Let g = -5 + j. Which is smaller: 6/19 or g?
g
Suppose 6*k = -12*k - 18. Let c(o) = 3*o + 3. Let r be c(-4). Is k greater than r?
True
Let o(l) = l**2 + 5*l - 5. Let x be o(-6). Let k be 6/75 + (-86)/(-175). Are x and k non-equal?
True
Let k = -5 - 7. Let c = k + 12. Suppose 0*i - 3*i = c. Which is smaller: -4 or i?
-4
Let y = 783 - 807.28. Let j = y - -23. Let s = j - -1.3. Which is greater: 1 or s?
1
Let n(o) = o**2 - 5*o + 8. Let k be n(6). Suppose 0*w - k = w. Let j be 2/(-1)*(-1)/w. Which is smaller: j or -1?
-1
Suppose -6 = -2*s - 0. Suppose 2*l - s = 7. Suppose 3*d - 6 = -4*u, -3*d + 19 = 5*u - l*d. Is 3 < u?
False
Let u(v) = v**3 + 6*v**2 + 6*v + 7. Let f be u(-5). Suppose 2*h - 60 = -f*h. Let c = 11 - h. Which is greater: c or -5?
c
Let n = -2.075 + 0.075. Which is bigger: 73 or n?
73
Let t(f) = f**2 + 8*f + 6. Let i be t(-7). Suppose a + 1 = -3*y + 2*y, 0 = 3*y - 2*a - 22. Suppose -b = y*b - 10. Is i equal to b?
False
Let d = -166 - -497/3. Which is smaller: d or 8/19?
d
Let x be 4/2*-1*24/(-16). Let r(h) = -3*h - 3. Let a be r(-3). Suppose -u + a = -y, 0*y + x*y - 5*u + 24 = 0. Which is bigger: y or -2?
-2
Suppose 3*q + 2*q - 1600 = 0. Let p be 4/6*30300/q. Let i = -63 + p. Which is smaller: -1 or i?
-1
Let p = -0.0246 + 0.0966. Is 0.4 < p?
False
Suppose 0 = -25*v - 2988 - 5837. Are -356 and v non-equal?
True
Suppose -6*k + 21 = -21. Suppose x + 1 = -g, -k*x + 3*x = 8. Which is smaller: g or -7.5?
-7.5
Let u = 52 - 74. Let f = 4671 - 4693. Is u greater than f?
False
Let k(i) = -3*i**3 + i**2 - 99. Let r be k(0). Is -99 greater than or equal to r?
True
Let z be (-1 + -1)*330/10824. Is z >= -1?
True
Let t be ((-12)/(-10))/(4/10). Suppose z = t*z. Suppose f - 3*f - 3*x = -2, 3*f + 3*x - 3 = z. Which is smaller: 2 or f?
f
Let n = -68.933 + -0.067. Let q = n - -71. Is q smaller than 0?
False
Let y be (-2)/(-5)*(-30)/(-3600). Which is smaller: y or 0?
0
Let r = -11 - -37. Let g be (-3839)/(-143) - (-4)/r. Which is bigger: 25 or g?
g
Let q = 1.04 - 1.14. Which is smaller: q or 75?
q
Let h(v) = -v**3 - v**2 + 20. Let q be h(0). Suppose -2*r = 4*p - q, -p + 6*p - 26 = -3*r. Which is smaller: 16/5 or r?
r
Suppose -2*z = -6*v + v - 25, -z = 4*v + 20. Suppose z = -6*a + 8*a + 16. Is 1 smaller than a?
False
Let w = -5.16 - -4.5. Let q = w - -0.86. Is 20 smaller than q?
False
Suppose 254*i + 612 = 260*i. Is 102 greater than or equal to i?
True
Let x(u) = -u**3 + 8*u**2 + 8*u + 11. Let g be x(9). Suppose g*a = -2*a + 12. Let f be ((0/a)/4)/3. Is -1/5 >= f?
False
Let y = 5.82 + -5.4. Let v = y - 0.32. Is -0.1 smaller than v?
True
Suppose -8*x + 3*x = 0. Let d(t) = -2*t + 7. Let z be d(x). Let m be (3 - z)*(1 + -5). Which is greater: m or 17?
17
Let f(y) = -6 - 3 + 