. Let w be (-3)/(-23)*u/3. Which is bigger: w or -1?
w
Let z = 2798 - 13622/5. Are z and -2/7 unequal?
True
Let n = 40 + -29. Suppose a + 2*p - 40 = -3*a, 0 = -5*a + 4*p + 76. Which is smaller: a or n?
n
Let c = 1665 - 1753. Which is greater: -89 or c?
c
Let y(l) = -l**3 - l**2 - 6. Let u be y(0). Let f = 22893 - 22895. Which is bigger: f or u?
f
Let q = 0.1766 - 13.1766. Which is smaller: q or -0.5?
q
Let y be 11/3 + (-2)/(-6). Let d(j) = j**3 - 2*j**2 - 16*j + 6. Let i be d(5). Is i greater than or equal to y?
False
Suppose 2*n - 5*v = -0*v + 49, 85 = 5*n - 5*v. Let t = 627 - 617. Which is smaller: n or t?
t
Let h be ((-20)/8)/(2/4). Suppose -48*y = 95 + 97. Is h at most y?
True
Suppose -5*i + 5 = 10. Let f be ((-14)/(-98))/(i - 8/(-7)). Is -0.065 less than or equal to f?
True
Suppose g = 4*h - 189, g - 12 = -3*g. Which is smaller: h or 50?
h
Let z = -0.33 - 0.49. Let r = -0.02 - z. Let c = r - 0.3. Are c and 2 non-equal?
True
Let z = 6 + -4. Let r(g) = -g**3 - 3*g**2 + 6*g + 3. Let h be r(-4). Let i be (-1 - (2 + h/2))*-1. Which is greater: z or i?
z
Let n = 69.1 + -60. Let b = -9 + n. Which is smaller: b or 1?
b
Let x be -6*(2/(-4) + 1). Let p = 0.27 - 0.67. Is x > p?
False
Let v(l) = -l**2 - 5*l - 5. Let r be v(-2). Let a be (3 + 0/3)/r. Let d = 15 - a. Are d and 12 equal?
True
Suppose -65 = -2*b + h, 4*b - 135 = 3*h - 2*h. Let g be 10/15 - (-100)/3. Which is greater: g or b?
b
Let d be (-47)/(-2)*6/(-15)*-5. Let b = -47 + d. Is b at least as big as 1?
False
Let r = -322 + 393. Is 70 >= r?
False
Suppose y = 5*y + 128. Let l = y - -32. Is 2/13 greater than l?
True
Let q = -18366 - -92338/5. Which is greater: q or 101?
q
Let d = 3 + -0.4. Let p = d + 0.4. Let x = 2 - p. Are -6/13 and x non-equal?
True
Let o = -2/11375 + -4709212/216125. Does o = -21?
False
Suppose 18 = -2*c - 5*l + 49, 0 = 2*c + 2*l - 16. Let d = -3 + 16. Which is smaller: c or d?
c
Suppose -4*z = 18 - 14. Are -2/269 and z equal?
False
Let d(o) = -o**2 - 15*o + 42. Let g be d(-18). Let h(w) = -3*w**3 + 1 + 14*w**3 - w**2 - 3*w**2 + 3*w**2. Let c be h(-1). Is c > g?
True
Suppose -5*t - 3*x = 83, x + 0 = 5*t + 99. Let y = 27 + t. Suppose y = -0*p + 4*p. Is p at least as big as 5/7?
True
Let q(b) = 4 + 5 + 4*b + 2 - 10. Let w be q(0). Is 4/7 not equal to w?
True
Let y(p) = -p + 3. Let i be y(1). Suppose -i = 3*r - 5. Let l = -5/44 + 211/308. Which is smaller: r or l?
l
Let b be 88/(-8) - (9 - 0). Let x be (-4)/(3 - 1) - 19. Which is smaller: x or b?
x
Let i = -32.7 + 32.8. Which is greater: -266 or i?
i
Let h = 62 - 66. Let z = 15 + -6. Let g = 6 - z. Which is bigger: h or g?
g
Suppose 32*s - 9 = 29*s. Suppose s*g + 2*p - 48 = 5*p, -33 = -2*g + 3*p. Is 15 <= g?
True
Let n be 262/266 + (-21 - -20). Which is smaller: n or 1?
n
Let x = 300 - 443. Is x smaller than -146?
False
Suppose 6*m - m = 0. Suppose -5*s + 9*s - 20 = m. Let c(x) = x**3 - x**2 - x + 2. Let b be c(2). Which is bigger: s or b?
s
Let f be (-12)/8 + (-1287)/18. Is f less than -73?
False
Let q(u) = 14*u - 469. Let m be q(34). Is m bigger than -114?
True
Let p = -0.01 + -0.02. Let d = p + 0.02. Let q = -0.11 - d. Which is bigger: q or 0.1?
0.1
Suppose 0 = p - 0 - 1. Let f = 7 - p. Let n be 14/f*(2 + -5). Is n at most -6?
True
Let m = -133 + 60. Let q = -73.2 - m. Do q and -1/3 have different values?
True
Let y be ((-577)/4)/((-17)/68). Is 577 at most y?
True
Let g be 8/(-14) + ((-270)/42 - 7). Is g < -0.08?
True
Let f = 550 + -3307/6. Is -2 at most f?
True
Let s(a) = a**3 + 2*a**2 - a. Let w be s(-2). Let u(j) = 12 - 5 - 5 - j + w*j. Let p be u(-3). Is p <= -2/5?
True
Let w(j) = -4*j + 9. Let a be w(10). Is a at least as big as -31?
True
Let n(z) be the third derivative of -z**5/60 - 5*z**4/8 - 7*z**3/6 + 15*z**2. Let s be n(-7). Which is smaller: s or 50?
s
Suppose 0*j - j = -k + 2, -5*k = -j - 2. Which is bigger: -1/553 or k?
k
Suppose -4 = -j - 3*j. Let l be ((-8)/34 + 0)*1. Is j < l?
False
Let v be -2 + 5 - 162/66. Let h = v - 45/22. Suppose -4*s - 20 = -0*k - 3*k, -2*s + 4*k - 20 = 0. Is h at most s?
False
Suppose 0 = -2*q - 2*q + 36. Let w be (-3)/q*0 - 0. Suppose -3*z + r = -5*z, -4*r = w. Is z > -4/17?
True
Let x = 112.5 - 112.4. Which is smaller: x or -1026?
-1026
Suppose 3*u - u + i = 7, 0 = 2*u - i - 1. Let w(j) = 32*j + 1. Let g be w(u). Let o be g/(-182) + 1/2. Which is greater: 0 or o?
o
Suppose -110*t - 3116 = -69*t. Which is smaller: t or -71?
t
Let t be ((-6)/2105)/((-28)/70). Which is greater: t or 0?
t
Let t = -34/15 + 74/15. Let y(c) be the first derivative of c**3/3 - c**2/2 - 8*c + 22. Let j be y(-3). Which is bigger: t or j?
j
Suppose -l = 30*l - 496. Which is smaller: l or 15?
15
Let v = -0.1 + -0.9. Let y = -2386 - -11817/5. Let g = y + 23. Is v equal to g?
False
Suppose -12*h - 273 = -51*h. Which is bigger: 27/4 or h?
h
Let q(t) = -t**3 - 5*t**2 + t + 8. Let m be q(-5). Suppose c + m*k = -13, c + 0 = -2*k - 9. Are -1/16 and c equal?
False
Suppose 4*a + 555 = -a - 5*k, -4*k + 510 = -5*a. Which is bigger: a or -108?
a
Let q = 6480/7 - 925. Let r(m) = -m - 4. Let u be r(-6). Is u > q?
True
Let c = -39 + 39. Let k(r) = r - 21. Let u be k(c). Which is bigger: u or -20?
-20
Let x = -34 - -37. Suppose 12 = -x*i, 5*b - 35 = 4*i + i. Which is greater: b or 0.06?
b
Let n(d) = -11*d + 43. Let o be n(-3). Is o != 76?
False
Let g(j) = j**3 - 6*j**2 - 2*j + 9. Let d be g(6). Let k be (36/(-87))/d*(-2)/(-40). Which is bigger: -1 or k?
k
Let z(s) = s - 18. Let x be z(22). Let v(l) = -l**2 + 5*l - 5. Let q be v(x). Which is smaller: -1/14 or q?
q
Suppose 4*i - 5*o = 1 - 0, -o + 23 = 5*i. Let q be (1 + 7 - i)/3. Suppose m + 4 = 3*m. Which is smaller: m or q?
q
Suppose 2*h - t - 54 = -0*h, 0 = -h + 2*t + 33. Suppose -5*r - h = 4*v + v, 3*r = -v - 7. Which is smaller: r or 5/11?
r
Let m be ((-57)/(-9))/((70/(-255))/7). Is m < -162?
False
Let z(v) = 3541*v**2 - v + 2. Let k be z(1). Let x be 10/4*(k/595 + -6). Are 0 and x equal?
False
Suppose -24 = 13*a + 2. Suppose 2*y - 1 = 5*t, 2*y - 17 = -2*y + 5*t. Let r = a + y. Are 5 and r non-equal?
True
Suppose 32*k = 47601 - 11953. Which is bigger: 1113 or k?
k
Suppose -45 - 75 = -5*u. Suppose -3*c + c = 4*x - 24, -4*x + 2*c = -u. Which is bigger: 17/3 or x?
x
Suppose 319 - 63 = -2*w. Is w greater than -126?
False
Suppose -4*g = g - 184950. Let z be 89/((-2)/((-64)/g)). Let v = z + -2/685. Which is greater: -1 or v?
v
Suppose 3*s + 6 = -2*b, 2*b + 2 + 4 = s. Which is greater: 21 or s?
21
Let m = 5601/5 - 2615652/2335. Is m less than 1?
True
Let r = 242/7 - 2855/84. Let i = r - 3/4. Is i bigger than -1?
True
Let m be 4/46 - 18130/(-460). Is 39 > m?
False
Let k be (-123)/(-195) + (-2)/5. Suppose 3*y = -1 + 13. Let h(v) = -v + 4. Let p be h(y). Which is bigger: p or k?
k
Let q(l) = 22 - l + 21 - 48. Let j(r) = 2*r + 2. Let d be j(-4). Let p be q(d). Is -1 bigger than p?
False
Suppose 1 - 1 = -12*d. Let a be d + 5 + (-949)/182. Are a and -1 equal?
False
Suppose 4 + 30 = -2*n. Let t(s) = -9*s**3 + 4*s + 5*s**3 + 3 + 5*s**3 + 5*s**2. Let q be t(-5). Is q > n?
False
Let q = -134 + 150. Suppose -23*r + q*r = 0. Which is smaller: 0.03 or r?
r
Let b(h) = h**2 - 2*h. Let c be b(3). Suppose 2*w = -2*n, 0*n - 3*n + c = 0. Let z be (-1)/(-3) - (-1)/(-3). Which is smaller: z or w?
w
Let l = -132133/130 - -2033/2. Which is greater: -1 or l?
l
Suppose -u = -6 - 0. Suppose p + p = u. Suppose 5*s - 4*q - p = 7, s - q - 2 = 0. Which is smaller: s or 3?
s
Let m = -22.47 - -0.47. Are 1 and m nonequal?
True
Let b(c) = -2*c - 8. Let t(s) = 3*s + 9. Let z(q) = 4*b(q) + 3*t(q). Let k be z(-9). Is -15 not equal to k?
True
Let b(s) = -6*s - 13. Let k be b(-4). Let p = k + -8. Suppose 0 = -4*n + 5*r - 2, 5*r + 2 - 6 = p*n. Is 1 smaller than n?
True
Suppose -5*u + 2*u = 3*l - 3, -3*l - 7 = u. Suppose -3*o = -2*o - q + 3, -u*q = -4*o - 16. Is o >= 1/10?
True
Let z = -678 - -678. Is z > 21/17?
False
Let k be 2/41*(-74604)/8 + 0. Let b = -455 - k. Which is bigger: b or -1?
b
Let f be (-1*3/30)/(1/12). Does f = 3/10?
False
Let a = -2.99 - -3. Let d = a + 8.99. Let l(v) = 12*v + 599. Let g be l(-50). Is d at most g?
False
Suppose 0 = 5*b - 25 - 60. Suppose 4*d = 3*y + b, -4*d + d = -y - 14. Let c = -4/33 - 13/165. Is y > c?
True
Let m be (21/(-28))/((-1 + 3)/(-8)). Suppose -8*i + 5 + m = 0. Let x