 be k(-4). Which is greater: -3 or j?
j
Let c be -85*((-12)/(-16) - 2/(-8)). Is c at most as big as -335/4?
True
Let n be (8/(-34 + 2))/((-13)/72). Suppose -4*g = 5*t - 2, t - 4*t + 2*g = -10. Which is smaller: n or t?
n
Suppose -4*l + 5*f = -187, -4*l - 29*f + 166 = -27*f. Is l != 43?
False
Let c(q) = q**3 + 4*q**2 - 2*q + 14. Let y be c(-5). Let b = 28 - 16. Let k be 2/b - (-1)/(-4). Is y < k?
True
Let n = -292.98 - -287. Let g = -6 - n. Which is greater: 3 or g?
3
Let r = -6 - 6. Let u be r/(-24) + 47/(-22). Is -2 at most u?
True
Let w be -12 + -9 + (-8)/(-2). Do w and -6 have the same value?
False
Suppose 0 = 56*y + 12*y + 11492. Is -169 less than or equal to y?
True
Let f = -8216 - -57520/7. Let b = 1 + -1. Suppose 5*n + m + 2 = b, 2 = 4*n - 3*m + 2*m. Which is bigger: f or n?
f
Let q = -1.1 - -1.15. Let v = 0.55 + q. Let a = -0.1 - v. Is -1/4 less than a?
False
Let z(p) = -p**2 - 7*p - 11. Let w be z(-2). Which is smaller: -161 or w?
-161
Let p(f) = 22*f**3 + 2*f**2 - 1. Let q be p(-1). Is q less than -22?
False
Let n be 9/(-18)*(-2 + 10). Suppose -2 - 13 = 3*c. Are n and c unequal?
True
Let a = -619 - -637. Which is greater: -1/21 or a?
a
Suppose 0 = 3*c + 7 + 5, -5*v = 5*c. Suppose 0 = -v*j + h + 17, 2*h = -h - 15. Suppose t - 5 = 4*g + j, 5*t - 2*g = -14. Is -9/2 != t?
True
Suppose 6*t - 635 + 611 = 0. Let i(x) = -2*x**2 + 0 + 8 + x - 1. Let o be i(t). Is -21 > o?
False
Let w = 613337 - 13490353/22. Let s = 279/2 - w. Suppose -5*g - 3 - 2 = 0. Which is smaller: g or s?
g
Let r(o) = -8*o**3 - 5*o + 4. Let p(h) = 9*h**3 + 6*h - 5. Let w(z) = 4*p(z) + 5*r(z). Let i be w(1). Suppose -2*d - 6 - 6 = 0. Which is greater: i or d?
i
Let a(f) = -f**2 - 3*f + 68. Let l be a(6). Which is greater: l or 13?
l
Let o = 14 - 58. Let u = o + 40. Which is smaller: u or -2?
u
Let z(p) = p**3 - 12*p**2 + 13*p - 14. Let f be z(11). Suppose -4*h - 26 = -7*r + 2*r, 4*r = -5*h - 12. Let l be (f - 0)*r/28. Which is greater: l or -2/3?
l
Let g(l) = -l**2 + 6*l - 5. Let d be g(5). Let h be 4 - ((-3)/(-1) + d). Let z be ((-2)/6)/(h/(-6)). Is z less than or equal to 4/3?
False
Let k = -2 + 5. Suppose -k + 2 = r. Let s be (-1 - (14/10 + -4)) + -2. Is s at most r?
False
Let m(y) = y**2 + 4*y + 7. Let f be m(-3). Suppose 0 = d - 5*i - 20 - f, 2*i = 3*d - 7. Let z be d/(1 - 6)*1. Is -1 <= z?
True
Let i = -10930 + 10930. Suppose -3*j + 3 = -p - 11, 2*p - 16 = -5*j. Let n be j/(-6) + (-1)/3. Which is smaller: i or n?
n
Let f = 2 - 3. Let g = -6 - f. Let y = -1066 - -1063. Which is greater: y or g?
y
Let r = -127 - -129. Suppose 0*u = -r*u - 10. Is u <= -5?
True
Let y = 0.298 + 0.702. Let t = 0.2 - 0.1. Which is greater: t or y?
y
Let i = -716 - -705. Which is greater: 4 or i?
4
Let t be (2/10)/((-2)/(-10)). Let v be (10/150)/(t/9). Which is greater: 2/7 or v?
v
Let z be 2/4 + (-37)/(-35). Let w = 33/14 - z. Let b be 26/40 - (-8)/(-32). Does w = b?
False
Suppose d - 4*u + 3 = -4*d, 0 = 4*d - 3*u + 2. Suppose z + z = -6, 5 = 5*o + 5*z. Suppose o = 3*j + d. Is -2/5 less than j?
True
Suppose -4*k + r = -0*r - 7, -4*r - 9 = 3*k. Is k greater than 2/257?
True
Let k be 1 + (-3)/3 - -3. Suppose -k*i + 6 = -3*d + 2*i, -i - 3 = -2*d. Let z be -1 + (2/d - 1). Which is greater: z or 0?
0
Let w be 6/(((-9)/105)/(20/(-14))). Suppose 0*h - 3*h + k + 60 = 0, -w = -5*h + 3*k. Which is smaller: h or 21?
h
Suppose 0 = -11*z + 4*z - 420. Is z less than -294/5?
True
Let a = -111 - -73. Let j = -21 - a. Which is smaller: 18 or j?
j
Let q = -2451899/21 + 116988. Let x = -231 + q. Let k be (-2)/(-3) + (-2)/(-6). Is k <= x?
False
Suppose 0 = -4*h - 5*s + 4*s + 24, -2*h - 2*s + 18 = 0. Let g be (3/(-2))/(6/(-2)). Are g and h nonequal?
True
Let f = 3 + -6. Let m(t) = -t**3 - t**2 + 3*t + 1. Suppose -7*r + 3*r = 8. Let w be m(r). Which is smaller: f or w?
f
Let r(c) = -76833*c**3 + 2*c + 1. Let g be r(-1). Let n = -538722/7 + g. Let z = -128 - n. Is z less than or equal to 0?
False
Let o(x) = x**3 + 10*x**2 + 4*x + 8. Let l be o(-12). Let z be (-4 + l/(-84))/((-2)/(-18)). Do z and -1 have the same value?
False
Suppose 17*b - 12*b + 30 = 0. Let g be (-196)/b - (-5)/15. Is g equal to 32?
False
Let k = 0.266 + 10.734. Let a(r) = -r**3 + 5*r**2 - r - 3. Let o be a(4). Let v be 1 - -4*(-3)/o. Is k < v?
False
Let n = 5.1 + -5. Let y = -12 + 28. Is y != n?
True
Let w = 10 + -5. Suppose -5*k + 4*t + 95 = 0, -5*k = -4*k + w*t + 10. Suppose i = -4*i - k. Is i equal to -3?
True
Let c = 131 - 561. Is c smaller than -430?
False
Suppose 2*d = -0*d + 2*m - 14, -3*d = -2*m + 16. Let u be (-3 - (0 + -7)) + (d - 0). Which is smaller: -1 or u?
-1
Let a = -2706 + 2561. Which is bigger: a or -136?
-136
Let t = -56.4 - -63. Let q = t - -0.4. Which is greater: -0.1 or q?
q
Let v(o) = -374*o**2 - 8 - 19 - 7*o + 373*o**2. Let r be v(-7). Is -26 not equal to r?
True
Let a(w) = w**2 + 10*w. Let p be a(-6). Let i be ((-4)/(-60))/((-4)/p). Suppose -8 = -2*r + 6*r, -6 = 2*g + 3*r. Is i <= g?
False
Let k be 68/18 + (-1 - 55/(-45)). Is 0 less than or equal to k?
True
Suppose -l = -6*l + f + 5, -2*l + 15 = -3*f. Let g be l*(-1)/(-5) - -16. Which is bigger: 17 or g?
17
Let p be (6/(-8))/((-9)/(-69)). Let k = -1036 + 1031. Is p greater than or equal to k?
False
Let x(h) = 3*h**2 + 28*h + 3. Let u be x(-9). Let i be (-53)/(-10) - (-1)/2. Let l = i + u. Is 1 bigger than l?
True
Let s = -3 + 4. Let n = s + -4. Let x(u) = -u**2 - 2*u + 1. Let g be x(1). Is g greater than or equal to n?
True
Let g = -87/8 - -11. Let p be 132/11*(-7)/4*1. Let l be -2 + 7/(p/(-9)). Is g equal to l?
False
Let h(s) = -s**2 + 2*s + 25. Let y(d) = -3*d - 18. Let q be y(-8). Let r be h(q). Are 1/43 and r non-equal?
True
Let y be 2/4*(2 - -4 - -94). Let w be 190/(-936) - (y/45)/(-5). Is w <= 0.1?
True
Let a(f) = -2*f**2 - 11*f + 16. Let m be a(-7). Let v be (8/m)/(20/50). Which is greater: v or -9?
v
Let h = -0.11 + -376.89. Does h = 0?
False
Let r(z) = -3*z - 9. Let h be 7 + (2/1 - 3). Let p be r(h). Let x be (12/p)/((-4)/6). Are x and -1 unequal?
True
Let j be ((-4)/3)/(-3 + 5). Let s(q) = -20*q**2 - 16*q + 15. Let i be s(1). Which is smaller: i or j?
i
Let a = 196897/795585 + 1/7577. Let j = 8/15 - a. Which is bigger: j or -12?
j
Let x = 45 + -45. Let v(a) = 2*a**3 - 4*a**2 + 4*a - 3. Let j be v(2). Suppose 6*l - 10 = l, j*l - 20 = 5*m. Is x less than m?
False
Let a be (-1)/(-2)*-4 - (-39)/13. Is a >= 0.389?
True
Let i be 0 + 24/(-9) - 3/9. Let m be i/(-18) + 10/15. Suppose 3*n + 2 - 5 = 0. Which is smaller: m or n?
m
Let v = -1477/5 + 295. Is v < 1?
True
Let t(k) = -k - 5. Let r be t(-7). Suppose -q = -r*q. Which is bigger: 2/57 or q?
2/57
Let u = 2190 + -2191. Is u at least as big as 8/143?
False
Let h(z) = -9*z + 21*z - 13*z. Let j be h(-7). Let w be 3/j + (-86)/(-28). Which is smaller: w or 3?
3
Let x = 1015 - 922. Which is smaller: x or 94?
x
Let t = -5.872 - -5.9. Let g = t - -0.072. Which is bigger: -9 or g?
g
Let o = -12 - -99. Let u = o - 126. Do -1 and u have different values?
True
Suppose 0*s - 5 = s. Let o be (-4)/34 + -1 + 48/408. Which is greater: o or s?
o
Let z = 60 - 59. Let v be ((-56)/(-12) - z)*3*1. Is 13 less than v?
False
Let u(i) = -i**2 - 8*i + 10. Let y(n) = -6*n - 4. Let v be y(-5). Suppose 2*z + 2*h + v = 0, -13 = 3*z - 2*h + 11. Let c be u(z). Is 0.1 equal to c?
False
Let g(b) = -b**3 + 6*b**2 + 10*b - 21. Let a be g(7). Suppose -5*v - v = a. Which is bigger: v or -40?
v
Let t = 67 - 112. Let i = t - -43.5. Does i = 2/5?
False
Let f = -612 + 619. Is f at most 53/9?
False
Let y = -2 - -3. Suppose 5*k = k - 2*w, 3*w = -4*k + 4. Let l(a) = -a**3 - 3*a**2 - 2*a + 2. Let c be l(k). Do c and y have the same value?
False
Suppose 58 - 628 = -2*c. Let b be 87/c + (-1)/10*2. Which is bigger: -0.1 or b?
b
Suppose 7*g + 30 = 12*g. Let o(w) = w**2 + 6*w + 1. Let m be o(-5). Let n be m/g - (-12)/(-9). Is -2 at most n?
True
Suppose 5*h - 58 = 27. Suppose -292 = -21*d - 19. Is d bigger than h?
False
Let v = -177346128889/26780952765 - 4/29592213. Let a = v + 4/181. Is a > 2?
False
Let c = 25 + 3. Let j = -12 + c. Let p = j - 2. Which is bigger: 1 or p?
p
Let y(z) = -5*z - 31. Let j be y(-5). Which is smaller: j or 11?
j
Suppose -3*g - q = -2*g + 84, 0 = 2*g + 3*q + 170. Let j(n) = n**2 + 21*n - 2. Let f be j(-16). Do g and f have different v