.84. Which is smaller: n or 160?
n
Let h = 996.3 - 997. Let l be 9/6*12/(-27). Which is smaller: l or h?
h
Let a = -10.6 + -32.4. Let x = a + 160. Let p = x - 110. Is p >= -3/7?
True
Let j be (-20)/(-90) + (4350/(-14472) - (-7)/(-28)). Is 0 at most as big as j?
False
Let j = -5192 + 5192. Do j and -7/151 have the same value?
False
Let y = -47 - -251. Let g = y + -181.8. Let i = 22 - g. Which is smaller: i or 8?
i
Let h be 6*2/(-4)*-3. Let r be 55 + (-11 + -2 - -13). Let q be (1 + (-69)/r)/(h/(-45)). Is q greater than 1?
True
Let j = -530 + 1131. Let b = j - 576. Let r be (50/(-8))/((-2)/8). Is b not equal to r?
False
Let q = 34 + -40. Let t = q + 6. Let i(k) = 3*k + 3. Let v be i(-1). Is t at most as big as v?
True
Suppose 15*p - 7*p = 40. Suppose -4*m - m = p*m. Let g be -33 + -5 + m + 1. Are -38 and g unequal?
True
Let w(o) = -3*o**2 + 9*o + 2. Let p be w(4). Let l be 3/(-5)*(5 + p). Let q be 11/5 - 8/12*l. Which is bigger: -16 or q?
q
Suppose 3*h - 296 = h + 4*r, -5*r = h - 141. Let u = -190 + h. Which is smaller: u or -42?
u
Let u be (-168)/20 + (-180)/300. Suppose 5*a - z = -2*z - 40, 4*a = 2*z - 46. Is u at most a?
True
Let o(p) = 10*p**2 - 4 + 4*p - p**2 + 4*p**2. Let l be o(1). Is 47/4 less than or equal to l?
True
Let o(w) = -w**2 - 6*w - 2. Let s be o(5). Let b = 127 + s. Let t(z) = 4*z**2 - 30*z - 31. Let m be t(10). Is m not equal to b?
True
Let r = 302 - 298. Suppose -2*b - 590 = -4*x, r*b - 171 = -3*x + 288. Are 148 and x equal?
False
Let d = -1885 + -1782. Is d >= -3666?
False
Let x(s) = -9615*s + 136. Let v be x(1). Which is smaller: -9477 or v?
v
Let o(q) = 6*q**3 + 181*q**2 + 371*q + 36. Let j be o(-29). Which is bigger: -4834 or j?
-4834
Let p = -125/393 - 2/131. Suppose -2*t = -2*d + 24, 0 = d + 146*t - 150*t - 45. Which is smaller: d or p?
p
Let k be (-14 - 1) + 0 - 8*57/(-152). Which is greater: k or 47?
47
Let m be 156/10*(0 + (-270)/81). Let s = -5 - -8. Which is bigger: s or m?
s
Let d = -141 - -205. Suppose 0 = -5*l - j + 74, -4*l + d = 5*j + 9. Suppose z - 2*z + 13 = 0. Which is bigger: z or l?
l
Let j = -1231784908/6833 + 180270. Is j greater than or equal to -1?
True
Let z be 404/(-505) - 202/(-15). Which is smaller: z or 13?
z
Suppose 4*y - 18 = 2*u, 5*u - 3*u - 3 = y. Let f(h) = -35*h + 14. Let c be f(y). Let x be c/(-45) + -4 + (-2)/6. Is 1 less than x?
False
Suppose -4*k + 14*d + 23 = 15*d, 5*k - 15 = -4*d. Suppose -k = -83*s + 76*s. Which is bigger: 9/41 or s?
s
Let t be -2 - 0 - (-92)/45. Let r(x) = -3*x**2 - 84*x - 560. Let z be r(-11). Which is smaller: z or t?
t
Suppose 13 - 39 = -13*t. Suppose -585 = 5*w + t*z + 305, 4*w + 3*z + 705 = 0. Is 1 greater than or equal to w?
True
Let k be 45/(-30)*(-1 + (-1707)/9). Let s be 19/(-152) + k/2160. Is 1 not equal to s?
True
Suppose 5*b = 6*g - 5*g + 4943, 2*b - g - 1976 = 0. Is b equal to 989?
True
Let p = 9 + -18. Let t be -87*((-4)/(-6) - (-28)/(-49)). Do p and t have the same value?
False
Suppose 0*u + 108 = -4*k - u, 4*u = 2*k + 72. Let q = k - -63. Which is smaller: 30 or q?
30
Let w be ((-20418)/(-33))/(-1) + (-28)/98*7. Is -621 > w?
False
Suppose 5*j = -4*i + 2474, 4*j - 380 = i - 1009. Suppose -10*m + m - i = 0. Let n = 69 + m. Which is bigger: 1/67 or n?
1/67
Let x = 4 - -4. Suppose -4*m - 12 = 4*g + x, 2*g + 9 = -m. Let u be (-3)/g - (-710)/(-40). Which is bigger: 2 or u?
2
Suppose -5*d - 15 = 5*z, -2*z = -3*d + 2*z - 44. Let i(r) = -7*r - 532. Let t be i(-75). Which is smaller: t or d?
d
Let n be (-47055)/(-21) + (19 - 1441/77). Is n greater than 2242?
False
Let w = 4985 - 2801. Suppose w = -15*o + 39*o. Do 92 and o have different values?
True
Let n = 39.66 + -40. Let m = -796.8 - -728. Let y = m + 68.9. Which is smaller: y or n?
n
Let x = -435 + 558. Let i be (-891)/x + (-14 - -21). Is -1 != i?
True
Let f = 50.1 - 50.1. Which is smaller: f or -1329/13?
-1329/13
Suppose -2*c - 6944 = -33*c. Which is smaller: 1121/5 or c?
c
Let o = -2357369860/11021 - -213898. Which is smaller: 0 or o?
o
Let w = -1 - -2. Let b be (-50)/(-650) - (-157)/(-351). Are w and b nonequal?
True
Let w be (-1)/3 + (-55)/(-170). Suppose -17680*i - 269 = -17411*i. Which is smaller: i or w?
i
Suppose 67*a = 68*a - 6. Let p(d) = -4*d**2 + 31*d - 189. Let b be p(a). Is -147 bigger than b?
False
Let a(u) be the first derivative of u**4/4 + 5*u**3 - 15*u**2/2 + 34. Let z be a(-16). Let p = 5 - 22. Which is smaller: z or p?
p
Let a = -12749 - -7866. Is -4884 > a?
False
Let l be (-1 - ((-424)/56 + 6))*(-1)/(-808). Is l < 1?
True
Let t = -0.17009 + -2.82991. Which is smaller: -1802 or t?
-1802
Suppose 2*q + 23 = y - 2, 2*q + 125 = 5*y. Let k be (18/45)/((-495)/y). Which is bigger: 0 or k?
0
Let q = -875 + 874.69. Is q greater than -16?
True
Let y(g) = 497*g + 8017. Let m be y(-16). Is 88 <= m?
False
Let m be (-84)/21 - 7/(-5)*-4. Suppose 0 = -4*f - 34 - 6. Are f and m equal?
False
Let l be (-4*2 - (-2 + -9))/(-1). Is l >= 436?
False
Let q be -478 - (2/1 - -3). Let g be ((-7)/(q/(-9)))/(9/6). Let b = 32/145 + -18/29. Is b greater than or equal to g?
False
Let l be 111/990 + -3*(-4)/120. Which is smaller: l or 1?
l
Let p be 4*-39*1/(-6). Suppose 17*j = p*j + 531. Is -60 at least as big as j?
False
Let f = 5214.89 - 5215. Do f and 47 have the same value?
False
Let c be 28/10*150/(-60) - -7. Are c and -4407 unequal?
True
Let a = -11804 - -11823. Is 483/25 less than or equal to a?
False
Suppose 2*x = -l + 211 + 182, 2*l - 4*x - 794 = 0. Let m be l/(-75) - (365/(-75) + 5). Is -4 bigger than m?
True
Let l be ((-2)/(-2) - 54) + 1. Let k = 2363 + -2415. Is k > l?
False
Let j be (-16941)/(-7524) - 324/144. Which is greater: 1 or j?
1
Suppose 76*a - 78*a + 102 = 2*h, 3*a - 110 = -2*h. Suppose 5*p = -0*l + 3*l + 212, 3*l = -4*p + 148. Which is smaller: p or h?
p
Let z be 209 + (-342)/19 - (-6 - -14). Is z < 139?
False
Suppose 5*w = 23*w - 18. Let i(f) = -65*f**3 + f**2 - 2*f + 1. Let o be i(w). Is -3 at most o?
False
Let d(z) be the first derivative of -1/4*z**4 - 19 - 16*z + 5*z**2 + 7/3*z**3. Let a be d(8). Which is smaller: a or 2/239?
a
Let a = -50.955 + 24.955. Which is greater: -15 or a?
-15
Let d(h) = 2*h**2 - 18*h - 12. Let k be d(10). Let p be (-25)/15 - k/(-3). Is -0.101 greater than p?
False
Let p be 1*8*2/(-4). Suppose -3*o - 4*t = 10, 3*t - 5 = 9*o - 5*o. Let s(f) = -f**3 - 5*f**2 - 4*f + 4. Let n be s(o). Which is greater: n or p?
n
Suppose 11 = 3*r - 2*y, 34 = -6*r - 30*y + 26*y. Which is smaller: r or 9/1892?
r
Let y = -3 + 2.44. Let h = y + 0.545. Let x = 19.985 - h. Is x less than or equal to 0.1?
False
Let f(r) = -r**2 - r**2 + 9*r**2. Let x be f(-1). Suppose b - x*b - 12 = 0. Is -10/17 at most b?
False
Let y be 5*6/12 - (-14)/35. Which is bigger: y or 2?
y
Let l(q) = q**3 - 5*q**2 + q - 17. Let j be l(6). Suppose -27*d = -j*d + 2252. Let f = -5653/5 - d. Does f = -4?
False
Let g = -24195 - -18393. Is -5801 >= g?
True
Let a(f) = 2*f**3 - 12*f**2 - 2*f + 4. Let r be -7*(-10)/12 - (-2)/12. Let u be a(r). Does -23/3 = u?
False
Let s(g) = g**3 + 9*g**2 - 17*g + 11. Let d be s(-7). Let p = d - 219. Is -13 <= p?
True
Let p be -15*((-4)/(-34) - 56700/5100 - (-87)/9). Suppose -341 = -4*n - 5*k, n + 2*k - 87 = -k. Suppose b + n = 5*b. Which is smaller: b or p?
p
Let g = -38.8 + 12.6. Let j = 26.4 + g. Is j <= -15?
False
Suppose 12 = -4*v, -14*c - 2525 = -16*c + 5*v. Is 1255 equal to c?
True
Suppose -3*t + 654 - 651 = 0. Suppose -2*q + t = 3*a - 65, -2*q - 110 = -5*a. Which is bigger: a or 0?
a
Suppose -1320 = -5*o - 5*d, 0 = -o - 4*d + 7*d + 244. Let q = 329 - o. Which is greater: q or 71?
71
Let n = 21437/6 + -3562. Which is bigger: n or 11?
11
Suppose -216*b + 211*b = -3055. Suppose 5*o + 2*c - 1721 = -b, 3*c = -o + 209. Is o greater than or equal to 224?
True
Suppose 5*p + 4*a + 0 = 14, 3*a - 5 = -p. Let g be (2/p - 7)/(48/(-224)). Let s = 19 - 19.1. Does g = s?
False
Suppose -3*l + 0*l = -42. Suppose 0*g + l = -g. Let a be 15/(-21) + g/49. Is 3/16 greater than or equal to a?
True
Let p be (-3 - -2)*4/8*0. Which is greater: p or 4/967?
4/967
Let o = 0.063 - 76.063. Let g = o + 87.1. Let z = 11 - g. Which is smaller: 1 or z?
z
Let d be (-4)/(-36) - 530/(-90). Let q(r) = -r**2 + 14*r - 48. Let i be q(d). Is i less than 0.214?
True
Suppose 107*h - 358911 = -82*h. Is h at least as big as 19