 - 82. Let p be n(-22). Let b(x) = 52*x + 1. Let l be b(-1). Let c = l + p. Is c >= -23?
True
Let i(a) = -945*a - 24570. Let k be i(-26). Let v = -2 - -1. Which is greater: v or k?
k
Suppose -12*o - 4*o = -3*c - 92, -4*o + 12 = 2*c. Which is bigger: 0.037 or o?
o
Suppose 293*t - 278*t = 28485. Which is smaller: -2 or t?
-2
Suppose 2537 = 34*q - 4943. Is q less than 182?
False
Let s = -2.49896 - 0.50104. Let f = -12 - -69. Is s smaller than f?
True
Let l be -12 + (-8)/((-32)/(-12)). Let a(f) = f**2 + 18*f + 50. Let p be a(l). Let k be 49 - (9 + -3 - p). Is 48 at least k?
True
Let r(u) = -2*u**3 - 24*u**2 + 7*u + 58. Let x be r(-14). Suppose -x = 4*z - v, -13*z + 11*z = 2*v + 382. Is -187 greater than or equal to z?
True
Let f(j) = 4*j + 69. Let u be f(-15). Suppose 0 = 5*z - 3*q - u - 49, 5*q + 27 = 2*z. Which is smaller: z or 15?
z
Let t be (-31 - -25)/(3/(-2)). Let n be (24/36)/(t/264). Which is smaller: n or 48?
n
Let d(y) = 2*y**2 + 288*y + 6317. Let n be d(-27). Let o = -6509/11 - -590. Which is bigger: o or n?
n
Suppose 2*f = 2*h + 9 + 5, -5*h - 14 = 2*f. Suppose -4*a + f*q + 204 = 0, 99 = 5*a - q - 145. Is 40 at most as big as a?
True
Let k(h) = 2 - 721*h + 10 + 720*h. Let z be k(10). Let i = 1370/2101 - 3/191. Does z = i?
False
Let x be 2*12/(-8)*3*6/(-243). Let t(n) = -2595*n - 1. Let k be t(1). Let o = -12931/5 - k. Which is bigger: o or x?
o
Suppose 7*i = -4*m + 4*i - 372, -76 = m + 5*i. Let y = m - -93. Let x be -1*y*-2*(-2)/(-12). Which is smaller: -4/43 or x?
x
Let o = -1772430 - -141540942512/79857. Which is smaller: o or -1?
-1
Let l be 294/(-105)*(-45)/63. Is l not equal to 110/83?
True
Suppose -37*d = -389*d - 711040. Is -2021 greater than or equal to d?
False
Let r = 27826 - 27825. Let v = -937/3 - -316. Are v and r non-equal?
True
Let w = -0.146 + 0.146. Let m = 0.4 - 0.3. Let x = w - m. Is 5 greater than x?
True
Let p = -33.208 - -33. Let l = -0.19 - p. Let j = 0.082 + l. Which is bigger: j or -9/11?
j
Suppose 16 = -n - 3*n. Let x(q) = 634*q + 3168. Let g be x(-5). Are n and g nonequal?
True
Let r = -213 - -218. Suppose -21 = o - 5*q, -3*o + r*o - q = -51. Which is bigger: -5 or o?
-5
Let w(y) = -2*y**3 - 7*y**2 - 6*y - 17. Let g be (24/2)/(-7 + 5). Let m be w(g). Is 1 less than m?
True
Let z(n) = -4*n - 25. Let f be z(-3). Let o be (-18)/585*5 - (-6823)/f. Let c be o/7 - (-12)/3. Do -70 and c have the same value?
False
Let x = 397097/5 - 5162256/65. Let u(l) = 2*l - 1. Let d(j) = j. Let n(w) = -3*d(w) + u(w). Let y be n(0). Which is smaller: y or x?
y
Suppose -538 = k + 7*z + 369, -k + 3*z - 937 = 0. Which is bigger: k or -927?
-927
Let l = 33.64 + -20.64. Let p = 10.1 - -0.9. Let g = p - l. Is g > -0.5?
False
Let w be (3 - 350/116)*-354*(-6)/54. Which is smaller: w or -2?
-2
Let q be ((-1732)/24*-2)/((-20)/180). Is q smaller than -1301?
False
Let t be (50 - 252)*(-4)/14. Let m = t - 58. Is m bigger than 13/3?
False
Let a(k) = 4*k**2 + k - 213. Let d(o) = 2*o**2 - 2*o - 106. Let l(i) = -4*a(i) + 9*d(i). Let u be l(-10). Is u at least as big as 319?
False
Let b be 14378/3234 + -4 + (-2)/14. Suppose -4*q + 0*q - 4*s + 8 = 0, -4*q = 3*s - 7. Which is bigger: q or b?
q
Suppose 2 = -3*y + 2*y. Let r be (9 + 12)*4*(-39)/14. Let g be ((-39)/r)/(3/74) + -5. Which is greater: g or y?
g
Let z(w) = -30*w - 25*w + 77 + 118*w - 32*w - 33*w. Let f be z(10). Which is smaller: f or 56?
56
Let i = 816 + -3393. Is -2577 smaller than i?
False
Let v = -913.8 + 812. Let n = 102 + v. Let y = 3 - 2. Are y and n non-equal?
True
Let v be (6 + -23)/((-25)/(-75)). Is -64 bigger than v?
False
Let d be 8/(-2)*((3 - 7) + 5). Let f(v) = 12*v**3 - v**2 + v + 3. Let r be f(d). Let j = 2335/3 + r. Which is smaller: -7 or j?
-7
Let b be -295*(5/40)/((-15)/(-12))*4. Let k be -1 + 3 - (-2 - -83). Let z = b - k. Is z at least as big as -38?
False
Let m be 814/(-111)*((-115)/2 - -2). Let y = m + -603. Which is smaller: y or -197?
-197
Let u = -638 - 6580. Which is smaller: u or -7219?
-7219
Let x be (-27)/((-6669)/26) - ((-27761)/(-19) + -2). Is x at least as big as -1460?
True
Let a = 1172084/46717 - -8/4247. Which is bigger: 26 or a?
26
Let w be 648/567 + 2/(-14). Which is greater: -3/4354 or w?
w
Let q = 443 - 531. Is -3 <= q?
False
Let o = 2.45 + -2.6. Let y = -16651 + 16653. Which is smaller: o or y?
o
Let n(g) be the second derivative of -9*g**3/2 - 27*g**2/2 + 3*g - 3. Let w be n(-1). Which is smaller: w or 4/315?
w
Suppose -b + 19 - 17 = 0. Let m be (10/(-275))/(4/(-120)). Which is smaller: b or m?
m
Let w = 13100 - 23675. Is -2/7 bigger than w?
True
Let b = -352 + 186. Let t = b - -119. Suppose -8 = -4*m + 2*y, -5*m - 4*y = -2*m + 5. Which is smaller: m or t?
t
Suppose -14*g = 3*g - 51. Suppose -x + 4*x - 2*y - 3 = 0, g*x - 3 = -2*y. Which is smaller: 7/32 or x?
7/32
Suppose 5*k + 3*h - 11 = 0, -33*k + 2*h - 2 = -31*k. Which is bigger: k or 2/25133?
k
Let b be ((3 - 5)/2)/(-6 - -7). Let n be b/2 - 1767/(-62). Does 28 = n?
True
Let t be 4/16 + (-3482)/8. Let p be 2 - 1/t*-879. Let a = p + 311/1015. Is 11 <= a?
False
Let n(r) = r - 7. Let m be n(9). Suppose -4 = -m*s, -2*a + s = -0*s + 6. Let l be (74/(-36) - a)*(-6 + 2). Is l < 0?
False
Let m(q) = q**2 + 26*q + 42. Let n be m(-7). Is n at most as big as -146?
False
Let l = -739792/19 - -903108116/23199. Let h = l - -1/407. Let t = h - -65/9. Which is smaller: t or 0?
t
Suppose -2*t - 2*t = -5*c - 14, c = 2*t + 2. Let l be ((-2)/c)/(10/(-30)). Let s = 12 - 15. Which is smaller: l or s?
s
Let g(f) = f**2 + 12*f + 5. Let z be g(-12). Suppose -30 = z*m + m. Let u = -12 + 7. Is u greater than m?
False
Suppose -2*t - t = 5*p - 4, -t = -2*p - 5. Let g be 3/((-90)/92)*(-5)/4. Let q = g - 49/12. Is p smaller than q?
True
Let j = 2531.9 - 2532. Is j not equal to -850/9?
True
Let s = 11.7 + 8.3. Suppose -z + 4*t = 7, 5*z - 2*t + 0*t = -17. Is z at least as big as s?
False
Let t = 42.21 + 469.79. Are t and -1 equal?
False
Let i(g) = -24*g + 1. Let t be i(-1). Let o = 1658 - 1938. Let a be 4/(-14) + t/o. Is a > 4?
False
Suppose 0 = 5*h + 5*w + 2035, 2*h - w = 2*w - 844. Which is smaller: -410 or h?
h
Let f(n) = -2*n + 41. Let u(v) = -10*v - 25. Let a be u(0). Let w be f(a). Which is smaller: w or 92?
w
Let v be (1 - (-1384)/42) + (-152)/912. Which is bigger: v or 2?
v
Let q = 20.06 + -2.06. Let i = 2705/17 - 159. Is q greater than i?
True
Suppose -15*q = -3*q - 2208. Let y be (-2)/7 + q/7406. Is y less than -1?
False
Let g(u) = -u**2 + 28*u - 106. Let j be g(20). Which is smaller: 376/7 or j?
376/7
Suppose -45 = 6*t - 393. Let z = -59 + t. Let m be 4/(-34 - (2 + z)). Is 0 less than or equal to m?
False
Suppose -2*v = -0*v + 2*b - 136, -4*b + 209 = 3*v. Let s = v - 121. Which is greater: 0 or s?
0
Let a be (37/148)/((-1)/260). Which is bigger: a or -70?
a
Suppose -6*l + 40 = -11*l. Let u be (-5)/(-8 + -2)*l/(-14). Suppose -5*x - 3 = 2. Which is smaller: x or u?
x
Suppose 6*r = -7 + 25. Suppose r*l - 25 = -0*y - 4*y, 4*l - 30 = -5*y. Which is greater: 16 or y?
16
Let w be 3 + (-14 - 6444/(-588)). Let a = -0.3 - -0.2. Let i = a + 0.1. Is i < w?
False
Let u be (-34)/38 - -1 - 17/((-323)/(-21)). Which is greater: u or -18/125?
-18/125
Let i(x) = -x + 8*x - 31 - x + 0*x + 2*x. Let p be i(4). Which is smaller: p or 2/1425?
2/1425
Let r be 552786/3135 - (4/(-5))/2. Which is smaller: 178 or r?
r
Suppose -40 = -27*a + 19*a. Let b(l) = 6*l - 66. Let w be b(a). Is -36 greater than w?
False
Let d = 200 + -199. Let o(a) = -9*a. Let t be o(1). Let j be (-2)/(-8)*t/3. Is j > d?
False
Let o = -1401/88 + -5699/88. Let q = o + 161/2. Which is smaller: q or -1/4?
-1/4
Let t = 425.86 - 418. Let k = 7.56 - t. Is k equal to 2/9?
False
Let n be 140/(-64) + 2 + 0. Let t(l) = -16*l + 95. Let c be t(6). Is c less than n?
True
Let z = -19057 + 13671. Is z at least 0.2?
False
Let s = 43.2 + -56. Let q = s - -13. Let l = q - 0.32. Is l at most as big as -0.1?
True
Let x(r) = -2*r**2 - 48*r - 279. Let l be x(-13). Which is smaller: 30 or l?
l
Let s = -5416 - -9170. Is s < 2?
False
Let v = 968 - 965. Suppose 10*n - 81 = 2*h + 7*n, -v*n = -15. Which is smaller: h or -30?
h
Suppose 2*a - 250 = -t - 27, -2*t + 2*a = -452. Suppose 3*p - 2*m - 145 = 0, 4*p - m - t = -35. Which is greater: p or 52?
52
Let f be ((-4)/4)/((-12)/972). Which is smaller