)). Is b at most as big as j?
False
Let q(p) be the first derivative of p**4/4 + p**3 - 7*p**2/2 + 2*p + 57. Let w be q(-5). Which is bigger: 5 or w?
5
Let d be (175/(-21))/5*(-3)/5. Let s be d/((-3)/(2 + 4)). Which is bigger: -31 or s?
s
Let v = -1.6 + 2.6. Let t = 2135/257763 + 1/1177. Let d = -205/1533 - t. Does d = v?
False
Let n(g) = -3*g + 3. Let p(w) = -2*w**2 + 14*w + 16. Let a be p(8). Suppose a = m - 0. Let y be n(m). Is y at most 3?
True
Let p = -0.1521 + 0.3521. Which is smaller: 8/9 or p?
p
Let f be (-416)/(-52) + 1/(-3)*219*-3. Which is smaller: 216 or f?
216
Let i = 34 + -34. Suppose i = 10*n + 43 - 3. Let b be 2/(((-16)/n)/(3 - 1)). Which is smaller: b or 3?
b
Let a = 9/14 + -13/14. Let m = 14865/8 - 1858. Does a = m?
False
Let i = 2386177/2 + -57258361/48. Let v = -206 + i. Is v at most 0?
True
Suppose 261 = 11*i + 327. Let z be -22 + i - 2*-3. Which is smaller: -21 or z?
z
Let x = 49541 - 17902. Let q = x - 190295/6. Let n = q + 77. Are n and -1 unequal?
True
Let y = -2 - -9. Suppose -4*x - y + 3 = 0. Let c be (-15)/(-42)*(-2 + (-26)/(-10)). Which is bigger: c or x?
c
Let x = 13529 + -14749. Do -1219 and x have the same value?
False
Let h be 5 + 1075644/150 + (-6)/(-3). Let r = -7177 + h. Which is smaller: r or 0?
0
Let d be ((-77)/66 - (-105)/90)/(2/1). Suppose -n = 4*n - 10. Suppose 5*w + 33 = -n*q, w - q + 1 = -0. Is d at most as big as w?
False
Let p be (-30414)/(-8) + 581/(-332). Which is smaller: p or 3799?
3799
Suppose -5*q - 4*o - 7 + 23 = 0, 0 = q + 5*o - 20. Let p be 344877/57239 + (-5 - (1/(-1) + 2)). Which is smaller: q or p?
q
Let n(o) = -849*o + 3397. Let j be n(4). Is j < 237/202?
True
Let l(f) = -7*f - 32. Let v(x) = -x - 1. Let b(k) = l(k) - 6*v(k). Let q be b(-29). Are q and -12 equal?
False
Let o(s) = 2*s**2 - 4*s + 1. Let f be o(-5). Let a = 69 - f. Let j = 17 - 21. Is j at least as big as a?
False
Let a(p) = 35*p**2 + 188*p + 730. Let c be a(-4). Which is bigger: c or 553?
553
Let y = -1/494 + -6911/2470. Let h = 203.31 + -204.01. Is y smaller than h?
True
Let r = 411 - 257. Let p(l) = -2*l**2 + 238*l - 542. Let b be p(116). Do b and r have the same value?
True
Let r = -199 - -188. Suppose -3*v = -5 - 1. Let d be r/v + (-3)/6. Which is smaller: d or -3?
d
Let h = -6190 - -6461. Which is bigger: h or 1625/6?
h
Suppose 3*n - 1047 = -27. Suppose -12*t + 13*t = 0, 0 = -5*r - 4*t + n. Let b = -50 - -119. Is b equal to r?
False
Suppose -5*i = -2*m + 459 + 121, -3*m = -4*i - 471. Let a be (9/12)/((-2)/i*-3). Is a smaller than 0?
True
Let k = 14853 - 21043. Which is smaller: k or -1?
k
Let n = -32 + 28. Let k be (-5 + n + 4)*10. Let o be k/198 + (-12)/(-54). Is o bigger than -1?
True
Let o(k) = -162*k + 1236. Let c be o(8). Is c at least -67?
True
Let f = -19581/310 + -11/310. Suppose k + 2*b + 72 = 0, -b = -2*k - 68 - 56. Which is bigger: f or k?
f
Let r be 15178/10*1950/(-195). Is r at least as big as -15178?
True
Let l = -11 - -15. Suppose 5*q = 3*m - 0*m - 35, -4*m - 4*q = -68. Suppose -m*n - 7 = 23. Which is bigger: l or n?
l
Let p = 8 - 33/4. Let m = -136 + 139. Suppose 5*g = m*g + 2. Which is bigger: p or g?
g
Let g = -5659/9 + 629. Suppose -2*u - 6 = -3*f, -4*f + u = -0*u - 8. Which is smaller: g or f?
g
Suppose -2*a + 2 = 2*k, 2*a + 19 = 29*k - 34*k. Do k and -175/29 have the same value?
False
Suppose 6*n - 14 = s + 3*n, 3*s + 4*n = -29. Let w = -6 - s. Suppose -w*m - 2*g = -3, -5*g - 8 = -3*m - 0*m. Is m greater than or equal to 0?
True
Let y(g) = -38*g + 228. Let q be y(6). Let d = 110 + -107.17. Do q and d have different values?
True
Let w be (-356)/(-16) - -2 - (-2)/(-8). Suppose -w*g - 120 = -29*g. Suppose 2*y + g = 4*p, 3*p + 39 = -4*y + 8*p. Does -3 = y?
False
Let o = -19752 - -60035/3. Let y = o - 259. Is y != -49?
True
Let k = 1054 + -1054. Is k > 4/7349?
False
Suppose -180*u + 165*u = 0. Is 15/923 at least u?
True
Let q(c) = -c**3 + 14*c**2 + 22*c - 40. Let y be q(15). Is 323/5 equal to y?
False
Suppose -4*b = -15*b + 722 - 150. Is 6 < b?
True
Let g(a) = -8*a**3 + 4*a**2 - 6*a + 6. Let m(u) = -2*u + 20. Let l be m(9). Let v be g(l). Let r be (-1 + (-50)/v)*(-2)/12. Is -1 less than or equal to r?
True
Let n = 2496 + -2580. Which is smaller: n or 0.05?
n
Let w = -108.635 - -109. Let a = -219.635 - w. Which is greater: a or -2/3?
-2/3
Let c = -803548/17 + 47204. Which is greater: -63 or c?
-63
Let q = -0.31 - -0.3173. Let x = 0.2073 - q. Which is greater: x or 5?
5
Let n be (-10)/14568*(-108)/(-2835)*-7. Which is greater: 0 or n?
n
Let d(y) = -3*y. Let l be d(-1). Suppose j + 3*k - 17 - 4 = 0, l*j + 5*k = 83. Let g = -40044 - -40079. Is j at most as big as g?
False
Let l(h) = -6*h**2 - 13*h + 47. Let s be l(4). Let b = 809/8 + s. Do 0 and b have the same value?
False
Let z = 46.82 - 38.82. Is z at least 967?
False
Let d = 12.3 - -33. Let l = -45 + d. Which is smaller: l or 6/43?
6/43
Let f = -5.5 - 25.5. Let k = f - -28.3. Let d = k - -6.7. Is 2 at most as big as d?
True
Let z = -28576/91 + 314. Let f = 1463249/990990 + -2351/1210. Let v = f - z. Which is bigger: v or 1?
1
Let d be ((-19)/75 - (-20)/(-250))*1209. Which is greater: d or -400?
-400
Let m = 0.3767 + -244.0767. Let j = 238 + m. Is j <= 2?
True
Let i be 954/(-106) - 3*-3. Is i at least as big as 20/53?
False
Suppose 0 = h + h + 2*a - 42, 25 = h - a. Let f(n) = -66*n - 56 + 6 + 69*n. Let l be f(h). Is l equal to 19?
True
Suppose 2*j = 3*j - o - 4, -j + 5*o + 24 = 0. Let z be (-465)/(-310)*((-21)/(-2))/j. Is -17 at least z?
False
Let b = -109 - -113. Let x be 4/(-15) - 12/(-20). Let z = x + 7/6. Which is smaller: z or b?
z
Let i be (-4)/(-7) - (168/(-49) + 1). Suppose -r - 18 = -i*r. Let f be -10*6/r*(-18)/10. Which is bigger: 14 or f?
14
Let m = 100 + -95. Let u(c) = c**3 - 2*c**2 - 97*c - 54. Let j be u(11). Is j at least as big as m?
False
Let q be ((-72)/15)/4*(-2190)/(-12). Let b = q + 221. Which is bigger: 11/7 or b?
b
Let u be (((-12)/8)/(48/1952))/(2 + 1). Do u and 1 have the same value?
False
Let s be ((-12)/(-70))/((-8)/2390). Let h(b) = -3*b**3 - 19*b**2 + b - 40. Let y be h(-7). Let p = y + s. Which is smaller: p or -1/4?
-1/4
Let m be (-16)/(-6)*(-336)/64. Let v be ((-68)/(-84))/((1/18)/(-1)). Is v at least m?
False
Suppose 3*z + 13 = 28. Let l be z - ((-342)/(-24))/3. Does 3 = l?
False
Let m = 0.12 + 0.03. Let n = -0.25 + m. Let w = -0.547 - -3.547. Which is smaller: w or n?
n
Let d = 133 - 284. Let t = d + 76. Which is bigger: t or 0?
0
Let o(y) = -y**2 + 7*y - 3. Let j be o(7). Let u be (-156)/33 + -4*22/(-44). Which is greater: u or j?
u
Let b = -736 - -722. Let s(j) = j**3 + 14*j**2 - 9*j - 101. Let m be s(b). Is m at most as big as 18?
False
Let o = 63 - 62. Let p(u) = -34*u**2 - 4*u + 3. Let i be p(o). Let a be i/(-21) + 6/(-9). Which is bigger: a or 1/6?
a
Let v be ((-10)/15 - -2)*-18. Let z be 3/12 + (-282)/v. Suppose 0 = -z*i + 8*i + 104. Which is greater: 27 or i?
27
Suppose 2*x + 8 = 4*x. Let l = 4206 + -12616/3. Are l and x equal?
False
Suppose -5*m + 3*j = -43, 72*j - 68*j = 3*m - 17. Let u be m/110 + 6/20*193. Suppose 2*i = -2*f + 128, -3*f - 117 = -3*i + 45. Is u > i?
False
Let w = 1441 - 4144/3. Is w > 60?
False
Let k = -5273 + 4689. Is k greater than -585?
True
Suppose 0 = -2*j + 8. Suppose 0 = -5*k + j*y - 321, 0*k + 5*k + 330 = -5*y. Let a be (-3 - 199/k)*-5. Which is bigger: 0 or a?
0
Suppose c + 13 = -88. Let r = c + 54. Let y = -42 - r. Which is smaller: y or 3?
3
Let o be 70/246 - ((-20)/12)/(-5). Let b = -33/164 + o. Let u = -1 - -0.94. Does b = u?
False
Let b = 2082.7 + -2019. Is b <= 1/3?
False
Let d be (-10)/10 - 8*1 - 4. Let w(t) = -t**2 - 14*t - 8. Let q be w(d). Suppose i - 64 = -5*y, -q*y - 2*i = -0*i - 68. Is y > 4?
True
Let n be (-1)/((-3)/5526) - -1. Let g = n + -211948/115. Let m = g - -29/2875. Is m greater than 1?
False
Let d = 10743/61 + -1579421/610. Let l = -2423 - d. Are l and -11 equal?
False
Let h be (22/33)/((-2)/(-30)). Suppose -15*j + 135 = -h*j. Let t(m) = m**3 + 8*m**2 - 11*m + 10. Let p be t(-9). Are j and p nonequal?
True
Let i be ((-1410)/315)/1 + 8/6. Which is smaller: 13 or i?
i
Suppose -13*z = -8*z + 3*o + 218, 3*z + 158 = 5*o. Do -854/19 and z have the same value?
False
Let m = -319.61 - 33.29. Let x = m - -353. Do x and 265 have the same value?
False
Let m = -222.