-138?
p
Let m = 10.414 + -23.014. Which is bigger: -0.1 or m?
-0.1
Suppose 0 = 5*k + 10*t - 14*t + 48, 3*t = -4*k - 26. Let u = k + 55. Is u at most 47?
True
Let j be ((-5452)/18)/(42/(-189)). Which is smaller: 1365 or j?
j
Let b = -6250 - -6451. Which is bigger: b or 191?
b
Let m be (-3 - (-36)/(-8))*(-8)/4. Suppose 0 = -4*p - m + 19. Let g be (p + 16/6)/((-4)/(-24)). Is 22 less than g?
False
Let x = -3328 - -3327. Let n be (-12)/258*1/(-9). Do n and x have different values?
True
Let j be 16550/(-40) + ((-3)/(-4))/(-3). Let l(p) = -p**3 + 44*p**2 + 81*p + 92. Let n be l(46). Are j and n equal?
True
Let t(d) be the third derivative of d**6/120 - d**5/6 + 17*d**4/24 + 11*d**3/3 + 4*d**2 + 2. Let w be t(7). Is -40 bigger than w?
False
Let z = 14 - 8. Let q = z + -1. Let w = 15.84 + -15.9. Which is smaller: w or q?
w
Let i(a) = 229*a**2 - 6*a + 6. Let u be i(1). Let y = 239 - u. Which is bigger: y or 18?
18
Let q(n) = -n**3 - 20*n**2 - 21*n - 27. Let w be q(-19). Suppose -12*s + w*s = -5. Suppose 0 = 2*g + s*g + 126. Is -18 less than or equal to g?
True
Let x be (-8)/(-10) - 516/(-30). Suppose -3 = 3*j, 7*j = -5*l + 4*j - x. Let d = l - 36. Is -38 <= d?
False
Let b = -203731/52 + 3920. Let z be ((-2)/(-13))/(2/24). Let y = z - b. Is y less than or equal to -3?
False
Let u = 30 - 56. Let z = -53634 - -53634. Which is greater: z or u?
z
Suppose 5*g + 5585 = 5*f, f + 1311*g - 1123 = 1313*g. Does 1113 = f?
False
Let z(m) = m**3 - 2*m - 33. Let l be z(0). Let b = 615/19 + l. Which is smaller: 0 or b?
b
Let j = 7214 - 5741. Is j bigger than 1473?
False
Let c = 745106/451 + 164066/451. Let h = c - 2016. Which is greater: h or 1?
1
Let r = -1607 - -155877/97. Let j(c) = -c**3 + c**2 + 3*c - 2. Let b be j(2). Suppose 0 = 4*s - 5*p - 3 + 12, b = 5*s + 3*p + 2. Is r bigger than s?
True
Suppose 29*j - 4 = 31*j. Suppose -5*s - 5*d + 23 = 83, 30 = -2*s + 4*d. Let m be ((-48)/(-90))/(s/(-6) + j). Is m bigger than 4?
False
Let f be 585/(-167) + (-35)/(-10). Let u = 39 - 40. Which is smaller: u or f?
u
Let r = 33.4773 - -83.5227. Let h = 1/23 + 39/161. Are h and r nonequal?
True
Let s(l) = -13*l**3 + 9*l**2 + 76*l + 302. Let k be s(-5). Which is smaller: -2/7 or k?
-2/7
Suppose 0 = -56*f + 52*f - 4*r + 4292, -2*f - 3*r + 2151 = 0. Are f and 1068 non-equal?
False
Let n(a) = -a**2 - 10*a. Let q be (1 + 11/(-2))*-2. Suppose -2*d + 33 - q = -4*y, 31 = -5*y + 2*d. Let r be n(y). Is r >= 20?
True
Suppose -6*g - m + 59 = -3*g, -5*g - 4*m + 89 = 0. Let u(j) = j**2 - 2*j - 16. Let q be u(-5). Do g and q have different values?
True
Let o = 126 + -124. Suppose -5*t - 18 = -o*k, 5*k = 4*t + 36 - 8. Which is smaller: 10 or k?
k
Let s(u) = 92*u - 2271. Let n be s(-6). Which is smaller: -2821 or n?
n
Suppose -33*w + 4*n = -34*w - 229, 4*w = -2*n - 972. Let f = 401 - w. Is f at most as big as 646?
True
Suppose -50*d + 66*d + 2948 = 38*d. Which is greater: d or 135?
135
Let m = -16766 + 16758. Let g(q) = -q**2 - 9*q - 2. Let z be g(-9). Let n be z/(-1) + (-98)/10. Is m at least as big as n?
False
Let d be ((-11)/3 - -3) + 79478/210. Which is smaller: 378 or d?
d
Let y = 161153 + -161151. Let f = -5.3 + 5. Which is bigger: y or f?
y
Suppose 0 = -25*w + 66*w + 41. Let n = 166/7 + -6301/266. Which is smaller: w or n?
w
Let z(l) = -10*l - 234. Let h be z(-21). Let u = 37 + -36. Which is greater: h or u?
u
Suppose -4*k + 3*o = -12 - 34, 0 = 5*o - 10. Let d(z) = -8*z + 104. Let f be d(k). Is f >= -2/469?
True
Suppose -3 = -7*o - 10. Let g(c) = 6*c**2 - c - 12. Let p be g(-4). Let h be 5 + p/(-13) + 2. Which is greater: o or h?
h
Suppose b + 2*d + 5 = 1, -33 = 3*b - d. Let o be 8/b - (-3)/(-15). Let t = -757 + 38605/51. Is o at most t?
True
Suppose 26*u - 29*u + 12 = 0. Let x = -3194/55 + 304/5. Is u less than x?
False
Suppose -2*f - 4*a = 12, -1 = -4*f - 2*a + 5. Suppose -2*b = -b - f. Suppose 0 = -71*p + 69*p + b. Is p bigger than 7/5?
True
Suppose 0 = -44*b + 11*b + 22*b - 1903. Is -174 smaller than b?
True
Let y be (10 - (-413)/(-42))*(-3)/(-3). Is -102/13 < y?
True
Let q be (-38)/(-152)*16/12. Let u = -391 - -215. Which is smaller: u or q?
u
Let v(t) = -3 + 15 + 3*t - 2 - 5*t. Let a be v(4). Let q be a/8*4 + 26. Is 27 at most q?
True
Let u = -53422039/6590 - -102/3295. Is -8107 bigger than u?
False
Let k = -1527 + 1528. Which is smaller: 1/8141 or k?
1/8141
Suppose 2*g + 2*i + 2 = 0, -5*g + 6*i - 2*i = -4. Suppose -r - 2 + 5 = g, 3 = -3*l + 2*r. Suppose -5*b - 6 = 4*z, b - 4*z - 18 = -0*b. Is l <= b?
True
Let p be 3182/148*(3 - (0 + 6) - 1). Which is smaller: p or -53?
p
Suppose 2*f - 10 = 0, -c - 5*f - 384 = -3373. Are 2966 and c nonequal?
True
Let q be (-22)/(-2) + (-10191)/903. Which is smaller: q or 59/12?
q
Let z be 102493/119 - 5/(70/4). Let s = 97290/113 - z. Is s greater than or equal to 1?
False
Let g = -36490 + 253422/7. Which is bigger: 1 or g?
1
Let n be (-6)/132*2/559. Let v = n + 10/143. Let u = -4 + 3. Which is smaller: u or v?
u
Let i be 43964956/713970 - 52/(-234). Let f = i - 3/7933. Let j = -63 + f. Is -0.01 at most j?
False
Let k be (27/18)/((-114)/(-16)). Are 5 and k equal?
False
Let k be (-3)/(-4)*2304/27. Is 65 > k?
True
Let u = -5322 - -12452. Which is smaller: u or 7132?
u
Suppose 3 + 0 = f. Suppose d = -3*x - 3 + 2, -10 = f*d + 2*x. Let v be d/1 - 28/4. Are -13 and v equal?
False
Suppose -4*y + 4*j - 280 = 0, y + 50 = -5*j - 20. Let l be (9/6*-1)/((-7)/y). Are l and 5 non-equal?
True
Let z(l) = -6*l - 4. Let f be z(-3). Let u(c) be the third derivative of c**5/15 + 8*c**4/3 + 7*c**3/3 - 130*c**2. Let t be u(-16). Is f at least t?
True
Let d = -368779 - -24708192/67. Suppose 2*y + 14 = 5*c, -5*y + 2*c - 6 = 4*c. Let w be 5/(30/(-16)) - y. Which is smaller: d or w?
w
Let h = 2/31499 - 2801/82382. Are 0 and h non-equal?
True
Let m be (-96)/(-72)*2*114/8. Is m < 53?
True
Suppose -18 = -2*a - 10. Suppose -b - 5*z = 28, -a*z - z - 37 = 4*b. Is -6 equal to b?
False
Suppose 7839*h = 7841*h + 2680. Which is bigger: -1339 or h?
-1339
Suppose 4*v - 15 = -35, 4*v = 5*y - 40. Suppose -5*z = -2*m + 4 - 12, 2*z = y*m + 16. Is z less than or equal to -81?
False
Let u(i) = i**3 + 6*i**2 - 8*i - 27. Let x be -14*(-5)/10*-1. Let b be u(x). Is -21 smaller than b?
True
Let x(o) = -11*o**2 + 39*o - 17. Let n(w) = 5*w**2 - 19*w + 9. Let s = 1 - 7. Let m(b) = s*x(b) - 13*n(b). Let d be m(-12). Is d greater than or equal to -27?
True
Let m = -9.1142 + -4.6858. Is m < 3.5?
True
Let v(s) = s**3 + 2*s**2 + 3*s + 2. Let m be v(0). Let d be 5 - 4 - 1 - (-1003 + m). Let q be -3*d/(-749) - 2*2. Which is bigger: 0 or q?
q
Let a = 13810 - 13799. Is a bigger than 87/8?
True
Suppose -717600 = -62*f + 137*f. Is -9570 greater than or equal to f?
False
Let u(z) be the third derivative of z**6/120 - z**5/12 - 7*z**4/24 - z**3 - 3*z**2. Suppose 3*x = -4 + 22. Let c be u(x). Is c not equal to -14?
True
Let r = 10249 + -10265. Is 79 <= r?
False
Suppose 123*o + 90 = 58*o + 63*o. Which is smaller: o or -20?
o
Let i = -2617.6 + 3606.6. Which is smaller: i or 6?
6
Let w be 6 + (2/8)/((-3)/(-24)). Suppose -4*f - 2 = -5*c - 6, 0 = -2*c - w. Is f at least as big as 34/3?
False
Let z = -2 + 3. Let c = 0 - z. Let v(q) = 2*q**3 + 261*q**2 - 398*q - 263. Let d be v(-132). Which is smaller: d or c?
c
Let a = -7777 + 3558. Is -4219 < a?
False
Suppose 378 = 5*f - 352. Let x = f - 125. Is x greater than 24?
False
Let g be (-435)/(-348) + 1 + (-310)/(-8). Let c = -0.8 + 1. Which is smaller: g or c?
c
Let l = 4631 + -4805. Does l = -160?
False
Let h = -118906 + 118124.71. Let p = h - -778. Which is smaller: p or -1?
p
Let f(a) = 321*a - 4977. Let g be f(15). Which is smaller: g or -174?
-174
Let q be (-3 + -2)*(1 + (3 - 5)). Suppose q*u - 17 = -2. Let f be 1 + 39/10 + u/(-2). Is f greater than or equal to 3?
True
Let q = -28702783/1455 - -19727. Is 0.2 bigger than q?
True
Let p = -402 - -825. Let v be p/(-9) - (0 + -1). Is v not equal to -45?
True
Let d = 544.1 + -452. Let l = d - 92. Which is smaller: -2/11 or l?
-2/11
Suppose -4*a = -3*j - 32, 0 = -2*a - 4*j + 2*j + 2. Suppose 291 - 76 = -a*b. Do -34 and b have the same value?
False
Let b = -3907 + 3906.98. Which is bigger: -0.236 or b?
b
Suppose 9*q + 369 = 1044. Suppose 245 = -10*i - q. Is -24 at least as big as i?
True
Suppose -3*w = -3*q - 2*q - 230, 0 =