s. Is j less than 41?
False
Let s be (192/10)/((-51)/(-6120)). Suppose -s = -37*y + 5*y. Which is smaller: y or 218/3?
y
Suppose -j = -280 + 64. Let h = j - 195. Which is smaller: h or 103/5?
103/5
Let h = 207 + -135. Let t be -2 + -4 + 435/h. Let b = -17 - -18. Which is bigger: b or t?
b
Suppose 321*u = -2*d + 325*u + 14, 0 = -4*u - 4. Let x be ((-48)/56)/((-10)/42). Are d and x nonequal?
True
Let l = 101 - 66. Let u be (-20)/35 + 160/l. Suppose 0 = 5*h - 3*h + u. Which is smaller: h or -3/4?
h
Let f(y) = 752*y + 3360. Let c be f(-10). Which is greater: -4159 or c?
-4159
Let w = 377 + -337. Suppose -z - 2*s = 3*s - 40, -z = -2*s - w. Is 40 equal to z?
True
Suppose 0 = 9*l + 57*l - 19866. Is -4 greater than or equal to l?
False
Let k = 51 - 41. Suppose -q = -k*q. Does q = 0?
True
Let d(c) = c**3 - 53*c**2 - 55*c + 882. Let h be d(54). Which is smaller: h or 826?
826
Let b(c) be the second derivative of -2*c**3/3 + 33*c**2/2 - 42*c + 2. Let z be b(8). Is z smaller than 1.13?
True
Let d = -251/18 + -5065/18. Let q = d - -292. Is q bigger than 0.01?
False
Let p be (-48 - -35) + 12 + 1. Which is smaller: 76/7 or p?
p
Let s(l) = -34*l. Let b be s(-4). Let n = -3403/25 + b. Suppose -200*q - 305*q + 505 = 0. Which is smaller: n or q?
n
Let h be 14/21*(-282)/4. Let b(v) = v**3 + 11*v**2 - 24*v - 22. Let d be b(-13). Is h < d?
False
Let z(a) = a**3 + 7*a**2 + 12*a + 40. Let y be z(-6). Suppose 0 = -y*g, 0*n = 2*n - g + 16. Which is smaller: n or -15?
-15
Let a(y) = 49*y + 1. Let g be a(1). Let k(l) = l**3 + l**2 - 11*l - 15. Let q be k(-3). Let p be -3 + 1 + q - g/(-28). Are p and 0 equal?
False
Let r be (-2)/6 - 96252/14859 - -5. Is -1 less than r?
False
Let o be -11*((-4)/24 + 51/(-18)). Suppose o*p - 3 = -3. Is p at most -0.047?
False
Let x(s) = s**2 + 20*s - 6. Let p be x(-12). Let r = p + 119. Is 210/13 greater than r?
False
Let b = -4062 + 4062.036. Which is smaller: b or 0.073?
b
Let k = -6097.15 - -6097. Which is bigger: k or 5.2?
5.2
Let k be 747 + -11 - (-20 + 13). Is 740 != k?
True
Let o(m) = m**3 + m**2 - m - 1. Let q be o(-2). Let h be -1 + q - (-6 + 28/3). Let b be ((-6)/(-2) - 2)/(3/(-21)). Is h smaller than b?
True
Let q = 47.4 - 47. Let h = -19 - 1. Let p = -20 - h. Which is smaller: q or p?
p
Let j be (-1)/(-2) + 5/(-10). Let m(d) = -d**2 - d + 4. Let p be m(-3). Let g be 1*(p/(-88) - j). Is g at least 1?
False
Let p be 268/((15/18)/(-5)). Is -1607 less than or equal to p?
False
Let g be ((-1)/(-6))/((-4)/8)*(-135 + 135). Which is smaller: -2/13 or g?
-2/13
Let m be 10/4*24/10. Let z(k) = k - 8. Let j = -76 - -90. Let p be z(j). Is p < m?
False
Let i = 68/529 + -174177/1058. Which is smaller: -166 or i?
-166
Let h(l) = l**3 - 4*l**2 - 18*l - 19. Let a be h(7). Let c be a + (-168)/180*(-6 + 0). Do c and 9 have the same value?
False
Suppose -n + 2*b - 24 = 0, -2*n + 0*b - 3*b = 62. Suppose 50*c = 48*c + 46. Let f be -1 - c - (1*12)/3. Is f > n?
False
Suppose 4*h - v = 2*v - 2909, 727 = -h + v. Let l = h + 67706/93. Suppose 2*t = -6*w + 9*w + 1, -3*w - t = -5. Do l and w have different values?
True
Suppose -58131 = -227*i - 2289. Which is smaller: 251 or i?
i
Let p = 383024/35 + -10945. Is p bigger than -2?
True
Let k(n) = -36*n + 128. Let i be k(-5). Let u = -307 + i. Which is bigger: -26 or u?
u
Suppose 0 = 5*z - 9*z + 5*w - 1268, -2*z = 4*w + 660. Which is smaller: -1927/6 or z?
z
Let a = 71 + -58. Suppose -25 = 8*p - 13*p. Suppose -p*t - 2*i + 72 = 0, -2*i - 58 = -4*t - 4. Are a and t equal?
False
Suppose -86 = 3*z - 4*d, 0 = -4*z - d + 2*d - 119. Let c(l) = l**3 - 6*l**2 - 6. Let w be c(5). Is z equal to w?
False
Suppose 0 = -i + 115 - 605. Suppose 0 = -z + 24*r - 393, -1137*z - 3*r = -1141*z - 1944. Which is greater: z or i?
z
Let a = 69/9350 - -3/850. Let c = -191222/3 - -63740. Is a < c?
False
Suppose 6 = -3*m, -m - 76 = -4*o + m. Let p = -911 + 930. Are o and p unequal?
True
Let k = 27 - 23. Suppose -7*d + 15 = -k*d. Suppose d*g = 9*g - 8. Is g equal to 2?
True
Let b(u) = -u**2 - 5*u - 3. Let o be b(-4). Let q be 3986*4/(-6384) + 3 - 558/1116. Is q smaller than o?
True
Let p be 3 - (10 + 83930/(-12800) + (-6)/15). Which is greater: -1 or p?
p
Let s be (-1)/(-4)*(-48)/(-12). Let d be (s - 1 - 5) + 7. Are -1.9 and d non-equal?
True
Let y = -74299/39 - -1905. Let a = 857 + -853. Let j be (-237)/(-395) + a/10. Which is smaller: y or j?
y
Let p = -18 - -22. Suppose 2*g + 3*g - 2 = -p*i, 0 = g + 3*i - 7. Let q be ((-514)/231 - g) + (-2)/(-7). Which is greater: q or 0?
q
Let s = -14774 + 14748. Which is bigger: s or -381/14?
s
Let y = 5027 - 5244. Is -213 < y?
False
Suppose -5*s + 1913 = -3*i, 3*i = 4*i - 3*s + 643. Let v = 628 + i. Do -48/13 and v have the same value?
False
Suppose 0 = 25*t - 20*t + 7 + 53. Do t and -12 have the same value?
True
Let l be (2/(-3))/(2/(-78)). Suppose 0 = -22*p + l*p + 428. Let q = p - -2693/25. Which is smaller: q or 1?
q
Let k be 120/(-144)*(2/5)/2. Which is smaller: 4/11 or k?
k
Let m(f) = f**3 - 7*f**2 - 8*f + 17. Let r be m(7). Let x be 4 + r/9 + 242/714. Which is smaller: -1 or x?
-1
Suppose -7*t = l - 10*t - 992, 2*l - 5*t - 1979 = 0. Are l and 977 nonequal?
False
Let k(v) = -v**3 + 3*v**2 + 9*v - 24. Let a be k(2). Let z be (-50 + 2/2)*(-2)/a. Suppose 2*q = -2*q - 200. Is q smaller than z?
True
Let c be 3717/(-14)*((-1904)/21)/8. Which is smaller: 3010 or c?
c
Suppose q - 847 = -12*f + 31*f - 20*f, 2*q = 0. Do f and 848 have different values?
True
Let d(a) = 305*a**2 + 1219*a - 4. Let j be d(-4). Let s be (-10)/(-3) + 1/(-3). Suppose 3*g + 3*n = 6*g - 9, -4*g - n - s = j. Which is greater: g or -1/40?
g
Suppose -r - 2*i + 3 = 0, 3*i + 22 + 5 = 3*r. Suppose -r*u + 12*u - 50 = 0. Let x be (u/3)/(1/3*-1). Which is greater: -11 or x?
x
Let b be 1 + -2 + 138/4. Suppose -5*a = -3*d + 109, 175 = 5*d + 365*a - 370*a. Is d != b?
True
Let o(i) = -7*i**2 - 616*i - 1. Let k be o(-88). Is k less than 16/1809?
True
Let g be ((-99)/297)/(4/9408). Is -803 at least g?
False
Suppose -1 = -5*i + 24. Let t(s) = -s**2 + 5*s + 6. Let p be t(i). Suppose 7*n - 15 = p. Which is greater: n or 5?
5
Let u be (-9)/(-21) + -3 + (-831)/126. Let p be ((-9)/(-15) - 0) + 272/30. Let x = p + u. Which is bigger: -65 or x?
x
Let a(t) = 3*t - 8. Let s be a(4). Suppose 0 = -s*d - 2*d + 180. Suppose 12*n = 15*n + d. Which is smaller: -7 or n?
n
Let v be -8*13/624*4. Suppose 29 = 5*u - 26. Which is smaller: v or u?
v
Let h = -2547 - -2602. Which is smaller: 614/11 or h?
h
Let m be 0 - (-5)/(-1630)*-54. Which is bigger: m or -1?
m
Let o be -5 - -24 - (1 + 2). Suppose 4*w - 8 - o = 0. Suppose 2*q = g + 6, 5*g + q = -w - 24. Which is smaller: g or -3?
g
Suppose -13*z = -34*z + 378. Suppose 33 = -7*j + z*j. Is j bigger than -0.13?
True
Let z(x) = x**2 - 21*x - 72. Suppose -q - 3*q + 48 = 2*a, 48 = 2*a + q. Let l be z(a). Let n = 0.07 - 0.27. Is l at most as big as n?
False
Let j = 717058975545 - 419479685021999/585. Let t = 4096242/13 + j. Let k = t - 114/65. Which is greater: k or 4?
4
Let v be 5/((-5)/4)*151/1208. Is 1/38134 at least v?
True
Suppose 0*b + 25*b - 5*b + 60 = 0. Which is bigger: b or -19?
b
Let m = -7309 + 3237891/443. Which is bigger: m or 0.2?
0.2
Let q = -362 - -409. Is q greater than 0.22?
True
Let a = 156 - 155. Suppose 7 = 4*o - 9. Is a greater than or equal to o?
False
Let w(z) = 73*z**2 - 406*z + 18. Let p be w(-4). Are 2809 and p equal?
False
Let j = 4 + -6. Let s(f) = -15*f - 38. Let w be s(-5). Let g be 17/(-6) - w/222. Which is bigger: g or j?
j
Let v(i) = -i**3 + 7*i**2 + 18*i + 8. Let h be v(9). Suppose h*c = -6*c + 56. Is 16/3 < c?
False
Let y = 1683 + -1798. Are -52 and y unequal?
True
Suppose -45*a - 20*a + 16*a = -49. Is a at least as big as -240?
True
Let b = 90 + -84. Let l be (b/15)/(888/(-30)). Which is greater: l or 0.1?
0.1
Let i = 0.015682 + -2.523782. Is i less than or equal to 2/5?
True
Let k be (-224)/784 - 1/(8358/(-60182)). Let j = -145/21 + k. Is j <= 1?
True
Let y = 12 - -2. Let x(s) = 7*s**2 - 74*s + 203. Let g be x(5). Is y greater than g?
True
Let a be ((-134)/67)/((-4)/2). Which is smaller: 1/552 or a?
1/552
Suppose -4*x + 44 = -6*x. Let o = 8 + x. Let n be (24/o)/(6/63). Which is greater: -19 or n?
n
Let t = -74 - -67. Let s = 0.04 - -17.26. Let k = s - 17. Does t = k?
False
Let z = 