-2*j - j - 4*g = -58. Suppose 3*n - p = -29, p + 27 = j*n - 26*n. Which is smaller: n or -0.1?
n
Let w(z) = -35*z - 263. Let b be w(38). Is b bigger than -1593?
False
Let y be (2*(-322)/8)/((-6)/(-12)). Let s = 174 + y. Suppose -69 = -4*l - 21. Are s and l equal?
False
Let j(i) = 2*i - 137. Suppose 4*s + 16 = -2*p, 19 = -3*p - 5*s - 1. Let q be j(p). Is q smaller than -136?
True
Let o = 815.6 + -824. Let p = 115 - 105.6. Let d = p + o. Which is smaller: d or 8/7?
d
Suppose 19*q + 23198 + 9045 = 0. Is -1699 <= q?
True
Let k = 1419.4 + -1480.4. Let l be -2 - (1 + -1 + 1). Is k less than or equal to l?
True
Let w be ((-148800)/128)/((9/(-4))/(6/(-16))). Is -193 > w?
True
Let t(w) = w**2 - 5*w + 2. Let l be t(5). Let c be (-1)/(-2)*-2*(l - 5). Let v be (2/c + (-8)/48)*-2. Is v <= 6/37?
True
Let d = -513 - -229. Let c be (-1)/d*-10*1/(-10). Which is smaller: c or 1?
c
Let s be 14/(-2303)*-7*13/(-5). Let y = s + 5038/3055. Is y < 2?
True
Let o = -43602 - -217036/5. Which is smaller: o or -194?
o
Let d(y) be the third derivative of y**4/6 - 11*y**3/3 + 12*y**2. Let a be d(7). Suppose -h = 4*g - 96, -2*g = -a*g + 3*h + 112. Which is bigger: 26 or g?
26
Let w(z) be the second derivative of -z**4/12 + 7*z**3/6 + 19*z**2/2 + 21*z. Let l be w(9). Let h be 6 - 4 - (l - 13). Which is greater: h or 12?
h
Let t be ((-4)/(-130))/((-112)/80). Suppose -12 = -5*x - x. Suppose x*p = 5*p - 5*p. Which is smaller: t or p?
t
Let i be 3/2 + (-1548)/27. Is i equal to -57?
False
Suppose y = 4*y + 15. Let l = -0.084 - 40.916. Let z = 40.9 + l. Which is greater: z or y?
z
Suppose 5*f = 38*r - 36*r + 1002, -r = 1. Is f < 1003/5?
True
Let t(u) = u**2 - 256*u + 1742. Let c be t(7). Is -9/620 greater than or equal to c?
True
Let g = -495713/4 - -124705. Let y be (2352/(-9))/(-8)*-24. Let b = y + g. Is b less than -6?
True
Let q = -60.99 - -131.29. Do q and 1/4 have the same value?
False
Let w = -3514 - -3513. Which is greater: -9/41 or w?
-9/41
Let a = 17688 - 18960. Which is smaller: -5093/4 or a?
-5093/4
Suppose -2*z + 3*z - 8 = 0. Let k be ((-4)/z)/(-1) + (-98)/(-4). Let u be (-2)/(-5) - (0 + 10/k). Are 10/11 and u equal?
False
Suppose 3*p - 29 - 13 = 0. Suppose 7*i + 28 = -p. Let g be (-60)/9 - -2*(-2)/i. Is -5 equal to g?
False
Let d = -5890 - -5886.1. Which is bigger: d or 4?
4
Let t = -46302 + 46302. Let x = 622 - 172. Are t and x nonequal?
True
Let u = -1956 - -1956.0427. Is u equal to 2/3?
False
Let x be 36042/48504 + 65/20 + 4*-1. Which is greater: 1 or x?
1
Let v = 1913751/137 + -13969. Suppose 2 = -2*g - 0*g. Which is smaller: v or g?
g
Let h = 8223 - 8221. Is 85/46 at least h?
False
Let j be (-5)/(((-2)/(-36))/(-1)). Let c be ((-178)/(-14))/((220/(-140))/(-11)). Which is smaller: j or c?
c
Let o be 9 - (-210)/(-24) - 37/4. Let v be ((-80)/(-180))/((-2)/o). Are 22/15 and v unequal?
True
Let g = -3155 - -3155.0437. Is 0.5 at most g?
False
Suppose 3*m = 2*o + 3*o + 6, o = 0. Suppose m*n + 21 = 9*n. Let y be (0 - n) + 2 + 0. Is 2.4 less than y?
False
Let o = 4.8 - -0.4. Let j = o - 5.2. Is 1/8 < j?
False
Let y be 1 + (-3)/(-42)*(3 + 35). Let x be ((-9)/(-42))/(12/70)*4. Is y >= x?
False
Let r be ((-1)/3)/((-8)/(-12))*-2. Let b be -1*((-2)/(-34))/(r/138). Is -9 not equal to b?
True
Let l be (24/32)/((-9)/62960)*12/(-70). Do l and 898 have the same value?
False
Suppose 0 = 3*r - 182 - 49. Suppose r*v = 86*v + 36. Which is greater: v or 17?
17
Let r be 24/20 + (-4)/(-5). Suppose -15 = -r*o - 4*h - 5, o + 5*h = 14. Is o > 2/181?
False
Let w = -16272.9 + 16273. Is 607 < w?
False
Suppose -5*r = -3*d + 294, -4*d + r = 135 - 527. Let l = -21 + d. Which is smaller: 78 or l?
l
Suppose 43*l - 2777 = -18085. Which is smaller: l or -358?
-358
Let k(d) = -42*d + 732. Let i be k(12). Is 227 bigger than i?
False
Let s(y) = 2*y**3 + 34*y**2 + 34*y + 33. Let c be s(-16). Is c greater than 153/106?
False
Suppose 8*r + 212 = 28. Let q be (-2)/4 - (13 - (-75)/10). Is q at least as big as r?
True
Let b be 2002/(-52) + 37 + 21*2/44. Is 13/5 less than or equal to b?
False
Suppose 43 = 3*d - 296. Let g be (121 - 17) + 2*5. Is d > g?
False
Let i = -0.07 + -12.93. Let j be 6/(-7)*532/(-114). Let y be (j/(-10))/(88/(-55)). Is y smaller than i?
False
Let r(v) = 2*v**3 + v**2 + v. Let m(k) = -k**3 - k**2 - k - 1. Let s(c) = -3*m(c) - 2*r(c). Let q be (-16)/(8 - 10) - 6. Let i be s(q). Is 5/6 >= i?
False
Suppose 18*a - 18836 = -5845 + 5585. Is a greater than 1032?
False
Let u = 10644.64 - 10650. Is u equal to 2/7?
False
Let b = 106 - 91. Let d be 18/b*(-2 - 10/(-15)). Is -3 at most as big as d?
True
Let g be (-8 + 9)*(0 - 1 - -12). Suppose g = -q + 4*o + 6, 0 = 4*q - 2*o - 36. Which is greater: 13 or q?
13
Let o(t) = 5*t**2 + 109*t - 474. Let c be o(52). Is c bigger than 18713?
True
Let c be (-2021)/(-3) + ((-4)/10)/(672/(-560)). Which is bigger: c or 672?
c
Let i(v) = -v**3 - 17*v**2 + v + 19. Suppose 4*l + 68 = -0*l. Let y be i(l). Which is bigger: y or -8?
y
Let n = -226.84 + 235. Let s = -0.04 - n. Is -2/5 less than or equal to s?
False
Suppose -4*r - 684 = -5*a, 5 = -4*r + 1. Suppose -5*i + 5 = -4*z, -5*i + 44 = 2*z + 9. Suppose 0 = -z*l - 4 - a. Is -28 at most l?
True
Let i(t) = t**3 - 14*t**2 - 14*t - 5. Let v be i(15). Let k be 0/2 - (8/v)/(-2). Which is greater: 27 or k?
27
Let o = 0.08 - -34.92. Let n = -32 + o. Is 1/99 at most as big as n?
True
Suppose -3*o + 3 + 0 = 0. Let z = 3162 - 3145. Is o <= z?
True
Let w(y) = -23*y**2 - 4*y - 3. Let v be w(-1). Let d be 10/20 + 71/v. Which is bigger: d or -2?
-2
Suppose -14*d + 98464 + 180794 = 0. Is d >= 19946?
True
Suppose 5*u + 3*l = -11, 3 = 2*u + 3*l + 2. Let p be ((-8)/(-10))/((-2)/10). Are u and p equal?
True
Let o = 17 - 52. Let a = 22 + -62. Let h = a - o. Do 0.1 and h have the same value?
False
Suppose 0 = r - 4*q - 1, 0 = -2*r - q - 6 + 44. Suppose 30 + 87 = -c - 4*u, -c - 5*u = 112. Let h = 154 + c. Is r not equal to h?
False
Suppose -4*j + 32 = z + z, -20 = -z - 3*j. Let g be z/(-48) - (249/18 + 1). Which is greater: g or 2?
2
Suppose 2*m = 4*g - g - 29, -4*m = 5*g + 47. Let z = -7138 - -1920110/269. Let c = -14305/1076 - z. Do c and m have the same value?
False
Let i be 401 + 3 + -1*(0 + -2). Suppose -12*g = -41*g + i. Which is bigger: 11 or g?
g
Let p(w) = -w**3 + 10*w**2 + 3*w - 28. Let o be p(10). Suppose 2*q + 4*j - 2 = -0*q, o*q = 4*j - 6. Which is bigger: q or -3/19?
-3/19
Let o(b) = b**3 + 58*b**2 - 139*b + 62. Let c be o(-60). Does 1205 = c?
False
Let l = 7 + -7. Suppose 0 = -5*t - 4*c - l - 20, t = -5*c - 25. Let w be 4*(3/(-2) - t). Is w > -6?
False
Let h be ((-12)/7)/((-1)/7). Suppose -5*s + h + 8 = 0. Let m = 8 + 0. Are m and s unequal?
True
Suppose -3*r - 5*d = -25, 5*d + 0 = -r + 15. Let v(j) = -j**2 + 21*j - 80. Let h be v(r). Which is greater: h or 3/260?
3/260
Let v = -2.94 + -0.06. Suppose -165*t + 167*t - 79 = 5*j, 0 = -2*j + 5*t + 44. Is v < j?
False
Suppose -22 = -40*v + 62*v. Let n be (-5 - v) + 1856/384. Is n <= 24?
True
Let u = -225 - -356. Suppose -3*g - u = g + c, 2*g + 76 = -4*c. Is -31 at least g?
True
Let m = -7.2 + 10.21. Let i = -1.97 + m. Which is bigger: i or -1/8?
i
Let f = 54 - 19. Let u be (-5)/(-1)*(-8 - -9). Let x be u/(f/(-2)) - 0. Is -1/8 equal to x?
False
Let m be (14/(-42))/(2/(-6) + (-2)/(-4)). Is -458 > m?
False
Suppose -4*g + 6*g = -2*x - 294, -3*g = 4*x + 589. Let p = 147 + x. Is p > -16?
True
Let d be 247108/(-4564) - (1/(-7) - 1*-1). Which is smaller: d or -68?
-68
Suppose 0 = 3*c + 399 - 405. Let l be c/(-6)*30/(-24). Is -0.3 greater than or equal to l?
False
Let m = 2740 + -2743. Is m less than or equal to -1/183?
True
Let m = -40 - -42. Let z be (1540/(-75))/(-4) + m/(-15). Suppose -3*l + 5*k - 13 = 0, -2*l - 15 = 3*l - z*k. Which is greater: -3/13 or l?
-3/13
Let s = 0.255 + -11.555. Let g = s - 6.7. Let y = 19 + g. Is 1/65 > y?
False
Let f(h) = 8*h - 48 + 0 - 4*h**2 + 22*h - 14*h. Let z be f(4). Which is smaller: z or -95/2?
z
Suppose 44*t - 13207 = 10597. Which is smaller: 1/4 or t?
1/4
Let i = -37.2 - -37.323. Which is bigger: i or 7?
7
Let k(u) = 2*u**2 - 48*u + 48. Suppose -48 = -w - 5*y, w + y + 3*y = 43. Let n be k(w). Let j be 5/6*(-28)/(-15). Are j and n unequal?
True
Let g be (2/6)/(2*7/210). Suppose 0 = g*w - 3*x - 54, -30 = -5*w + 4*x + 27. Is w < -5?
False
Let y b