2))/(2/(-5)). Let y be d*(-3*1)/1. Suppose -5*a = -5 - y. Which is bigger: 3 or a?
a
Let g = -2.8 + -0.2. Is 4 bigger than g?
True
Let a be 2/64*(-52)/39. Which is bigger: a or 1?
1
Let i = 1.11 + -0.11. Let m = 16 + -10. Let p be m/10*(-4)/6. Which is smaller: p or i?
p
Let s be ((-2)/(-6))/(3/45). Suppose u - 14 = -3*y, -5*u - 2 = -s*y - 12. Suppose 2*g = -3*g + 20. Which is smaller: y or g?
y
Let q(v) = -6*v**3 + v. Let p be q(1). Let g = 5 + p. Are 2 and g unequal?
True
Let i = 1 + -4. Let x = i + 5. Suppose 0*l = x*l. Which is smaller: l or 1?
l
Let j(y) = -y + 10. Let c be j(6). Let r be 17 - (c - 2 - 4). Do 19 and r have the same value?
True
Suppose 8 = -7*o + 3*o. Let y = 3 - -7. Suppose -2 = 4*r + y. Which is smaller: r or o?
r
Let h be (-2)/4 + 5/(-2). Let m = 3 + h. Let v = 4396/13 - 338. Is m != v?
True
Let y = 2 - 2. Let j = -0.02 + 0.03. Let c = -0.19 - j. Which is greater: c or y?
y
Let r = 15 - 11. Let p = -2 + r. Suppose -q = 1 - p. Do q and 0 have the same value?
False
Let v be (0 - 1/4)/((-7)/56). Let d = -1 - -3. Are d and v equal?
True
Let q be (2/4*2)/(-4). Let b be -2*(-3)/(-12)*-2. Suppose 3 = -2*z + b. Which is smaller: z or q?
z
Let m = 0.07 + -0.17. Let z = 7 - 6.7. Which is greater: m or z?
z
Let i = 2 + -7. Let h = i + 2. Let y = -6 - h. Is y greater than or equal to -1?
False
Let s = 136 - 137. Which is greater: -12/11 or s?
s
Let k be (-4)/(-24) + 1/(-6). Suppose k = b + 4*b. Is 4 equal to b?
False
Let q(a) = -a**3 + 11*a**2 - a + 19. Let s be q(11). Is s less than 11?
True
Let o(f) = f**2 + f + 2. Let q be o(-2). Suppose q*y + 6 = 22. Let k = -0.04 + -0.06. Which is bigger: k or y?
y
Let i be 0/((-1)/(-1)) + 2. Let a(j) = j**3 + 11*j**2 - 13*j - 11. Suppose -n = n + 24. Let t be a(n). Is t less than i?
True
Let i = 1.01 - 0.01. Let t = -4 + 6. Let p = i - t. Which is greater: p or 1/3?
1/3
Let a(b) = b**3 - 2*b**2 + b - 1. Let j be a(1). Is -6 at most j?
True
Let o = 66 + -71. Let l = 13 + -19. Which is greater: o or l?
o
Let y = 14 - 28. Let w(a) = -a**2 - 6*a + 57. Let f be w(-12). Do f and y have different values?
True
Suppose -5*n - 15 = -35. Suppose 6*x = n*x. Is 1 at most as big as x?
False
Let m = -15 + 11. Let w be 2*(12/m)/(-24). Which is greater: w or 1?
1
Let b = -13 + 13.1. Are b and 2 equal?
False
Suppose 2*w + 3*t - 15 = 0, -w - 2*w + 4*t - 20 = 0. Let j = 76/3 + -824/33. Is w greater than j?
False
Let u = -77/488 + 1/8. Which is smaller: u or 1?
u
Let b(n) = -n**3 - n**2 + 4*n + 3. Let z be b(-2). Let o = 1 - z. Suppose 0*u = -o*j + 2*u, j = -u - 6. Are -2 and j nonequal?
True
Let b(y) = 2*y**2 + 9*y + 6. Let r be b(-3). Which is smaller: r or 0?
r
Let x be (-72)/(-38) + ((-252)/133 - -2). Suppose 4*p - 2 = 2. Which is smaller: p or x?
p
Let t(g) be the third derivative of -g**4/24 - g**2. Let i be t(-2). Let j = i + -3. Is j equal to 2/7?
False
Let f be (3/44)/(30/(-9580)). Let g = f + 43/2. Is g <= -1?
False
Let g = -31 + 33.4. Let o = g + 0.6. Are o and 3 non-equal?
False
Suppose 3*p + 0*p + 12 = 0. Let k be (2/p)/(4/(-134)). Let x = k - 461/28. Do x and 0 have the same value?
False
Let m = -33.6 - -31. Which is smaller: m or 0.2?
m
Let q(y) = -y**3 + y**2 + y - 1. Let g(b) = 5*b**3 - b**2 + b + 2. Let k = 16 - 10. Let s(r) = k*q(r) + g(r). Let w be s(6). Which is smaller: w or 1?
1
Let d(h) be the first derivative of h**3 + h**2/2 - 2. Let p be d(1). Suppose 0 = 2*u - 2*r - p, -5*u - 2*r + 8 - 19 = 0. Is -1/9 at most u?
False
Let h = 15 + -23. Which is smaller: h or -9?
-9
Let l(z) = -z**2 - 10*z - 7. Let p be l(-9). Suppose -6 = 4*x - p*x. Let n = 2 + x. Is 1/3 != n?
True
Suppose 2*j + 3*j = -5*o - 60, -j - 72 = 5*o. Let g be (-30)/25*o/6. Is g != 3?
False
Let o = 16/11 + -36/55. Is o at least 4?
False
Suppose -v + 3 = -0. Let x be v/(-15) + (-29)/5. Which is greater: x or -0.1?
-0.1
Let v = -19 - 91. Let l be (-20)/v + (-224)/22. Is l >= -10?
True
Let j = 215/14 + -29/2. Let d = 2 - 1. Which is greater: j or d?
d
Suppose -5*w + 5 = r, 3*w - 2*w - 4*r = 22. Let z = -5 + 10. Suppose -j + 2*j = -3*x, 0 = -z*j + 3*x + 18. Is w equal to j?
False
Suppose 4*n - 5 = -n. Let r(w) = -w - 1. Let s be r(n). Are s and -2 equal?
True
Let i(y) = -5*y**2 - 3*y + 2. Let h be i(-3). Let d = 473/14 + h. Is -1 less than or equal to d?
True
Let g = -3 - -5. Let h be 2 + -2 + g + 0. Which is smaller: 3 or h?
h
Let t = -880/7 + 126. Suppose -3*p - 11 = -3*v - 29, 2*v = -4*p - 6. Let u be (-12)/(-20) + 3/v. Are u and t nonequal?
True
Let r = -172 + 101. Does r = -1?
False
Let f = 8 - 3. Let h = f - 5. Let m be 1*4/14*1. Is m > h?
True
Let y = 10 - 10.1. Which is bigger: y or -124?
y
Suppose 0 = -x - 0*x - 1. Let w = x + 1. Is w at least as big as 1?
False
Let v(p) = -4*p - 1. Let u be v(-1). Suppose 2*n + 16 = -5*b, -2*b = -u*n - 2 - 3. Is n bigger than -3/2?
False
Let n(t) = t**3 + 3*t**2 - 1. Let m be n(-2). Let s be 40/18 - (5 - m). Which is smaller: -1 or s?
-1
Suppose 4*s - 3*l - 3 = 0, -5*s + 2*l + 0*l + 2 = 0. Let h be (-2 - -2)*3/6. Is s greater than or equal to h?
True
Suppose -2*q = -5*q - 27. Let d = 18 + q. Suppose -2*p - 2*p + 16 = 3*u, u = -5*p + d. Is u at least 4?
True
Let r(n) = -n + 4. Let z be r(5). Which is greater: -2 or z?
z
Let d = 0.6 - -0.8. Let t = -1.43 + d. Do t and 0 have the same value?
False
Let z(m) = m**3 - m**2 - m - 5. Let u be z(0). Let o be u/(-6) - (-3)/(-6). Let n = 34 + -33. Does o = n?
False
Let p(y) = -4*y**2 + 2*y + 11. Let n be p(4). Is n less than -45?
False
Let o be (0 + (3 - 2))*1. Is o smaller than 20/9?
True
Let o = 1030 + -155531/151. Let g = 1203/755 - o. Are g and 3 unequal?
True
Let l = 9 - 8. Is 2/11 at most l?
True
Let u = 0.18 - 11.18. Let n = u + 13. Is n greater than or equal to -1/2?
True
Let l = -9 - 14. Which is bigger: -1 or l?
-1
Let z(a) = a**2 + 0*a**2 - a + 0*a - 2. Let f be z(0). Is f greater than or equal to -1/2?
False
Let d be (13/26)/((-1)/18). Let j be (9/2)/(7/(-14)). Do j and d have the same value?
True
Let v(l) = -l**2 + 2*l + 1. Let t be v(4). Is t < -5?
True
Let m = 0.38 - -0.02. Let p = 0.3 - m. Which is greater: p or -0.4?
p
Suppose 135 = -7*r - 8*r. Which is greater: r or -11?
r
Let c = 22438 + -4599754/205. Let k = 1/41 + c. Do k and 0 have different values?
True
Suppose -u - 10 - 3 = 0. Let r = -9 - u. Suppose 2*a = -a - 2*z + 15, 0 = r*a + 2*z - 18. Do a and 1 have different values?
True
Let s = -20 - -35. Let x be (2/s)/((-14)/(-21)). Which is smaller: 0 or x?
0
Let f = -51/7 - -874/119. Which is bigger: -1 or f?
f
Let b = 3 - 7. Let v be 18/(-12)*b/(-3). Which is greater: v or -3?
v
Let t = -6 - -9. Are t and 5 equal?
False
Let m be (-10)/(-65) + (-8)/52. Is -1/3 > m?
False
Let q be 9/27 - 2/(-3). Is q >= -1?
True
Let z = -0.083 + -0.017. Which is smaller: z or -0.9?
-0.9
Let b = -57 + 58. Which is bigger: 1/182 or b?
b
Let s = 2 - 0. Let m be 5/((4 + -3)/1). Let d = m + -2. Is d less than s?
False
Let g(k) be the third derivative of k**5/60 - k**4/6 + k**3/6 + k**2. Let l be g(4). Let r be 1/21*3*-2. Which is smaller: l or r?
r
Suppose 3*u + 3*x - 36 = 0, u - x + 28 = 4*u. Let g = 12 + u. Let v be 2/g + 10/25. Which is bigger: v or 1?
1
Let r = 2 + -2. Let v be (-2)/(-4)*(0 - r). Let s = 1 - v. Which is smaller: -2/9 or s?
-2/9
Suppose 0*s - 3*s = 3. Let m be (-75)/35 + 2/14. Let z be -10*m/(s - -5). Are z and 5 equal?
True
Let q = 18 - 15. Is q less than or equal to 4?
True
Let j be 318/(-9) + (-4)/(-12). Let h = 3849/4 - 927. Let y = h + j. Which is greater: y or -1/3?
y
Let p be (-324)/(-45)*2/8. Which is smaller: 3 or p?
p
Suppose -z = 3*u - 13, 4*u - 20 = -z - 3. Which is smaller: z or -4/27?
-4/27
Let i be (-2)/11 + (-150)/(-220). Suppose 2*j + 3*a = 23, 5*a - 22 = -0*j - j. Which is bigger: i or j?
j
Let o = 24/49 + -310/833. Let z = 12 - -24. Let r be 2/(-7) - z/(-28). Which is greater: r or o?
r
Let q be -2 + ((-104)/(-19))/2. Is q less than 2?
True
Let q = 2107/13 + -162. Which is smaller: q or 0?
0
Suppose -5 = -q + 2*q - 5*t, 0 = 2*q + 2*t - 14. Suppose p - 4*p + 12 = 0. Let m = p - 0. Is m bigger than q?
False
Let a = -25 - -24. Is a less than 1/22?
True
Let s = -674 - -673. Let i = 0.11 + 5.89. Which is bigger: i or s?
i
Let b = -0.5 + 0.3. Is -0.4 at most b?
True
Let n(m) = -m**3 + 3*m**2 - 2*m + 3. Let c(g) = 