 + -217. Suppose 0 = -w - 2*w. Suppose w*k = -3*k - 9. Which is smaller: k or j?
k
Let w(f) = -f**2 + 6. Let r be w(-3). Let p be (6/9)/(-2)*r. Is p at least as big as 11/7?
False
Suppose 3 = 5*m + j + 5, 0 = 4*m - 5*j + 19. Suppose -88 = -4*k + 8*k. Let t be ((-3)/14)/((-11)/k). Which is smaller: t or m?
m
Let h(g) be the first derivative of g**3/3 + 3*g**2/2 - 4*g + 1. Let y be h(-4). Let p = 287 + -4303/15. Which is greater: y or p?
p
Let c = 1287 - 1286.8. Is c less than or equal to -458?
False
Let d(c) = -2*c**3 - 2*c**2 + 32*c + 2. Let w be d(6). Which is smaller: w or -312?
-312
Suppose 2*i - 4*s - 146 = 0, -35*i + 5*s - 279 = -39*i. Let w be (-3615)/51 + 1 + -1. Let n = i + w. Is n smaller than -1?
False
Suppose 20*j = 37*j + 1207. Is j > -70?
False
Let h = -12/1085 - 34/24955. Let q = h - 799/483. Suppose 5*o - u = 1 + 1, 0 = 5*o + 3*u + 6. Which is greater: q or o?
o
Let n be (-4)/18 + 11/9. Let j = -2634 + 2627. Is j > n?
False
Let k = 471 - 472. Which is bigger: -19/8 or k?
k
Let o be 2/(6/9*-3). Let y(x) = -x**2 + 6*x + 2. Let w be y(6). Let p be 156/(-54) - (-6)/w. Is o greater than or equal to p?
False
Let z = 136.4 - 136. Is -0.18 less than z?
True
Let d be -3*(1460/(-36))/(-5). Let m = d - -25. Which is smaller: m or -48?
-48
Let o = -744 - -963. Which is smaller: o or 215?
215
Suppose 10 = -11*n + 6*n. Let p = 0.4113 + -0.0113. Is n at most as big as p?
True
Let b = 28 + -22. Suppose 5*k = 3*k - 8, 3*g + b = 3*k. Which is smaller: g or -5?
g
Let m(i) = -2*i**2 + 0*i**2 + 3 - 2*i + 3*i**2 + i. Let o be m(0). Let x = -1.99 - 0.01. Is o at most as big as x?
False
Let k(w) = w**3 + 4*w**2 - 4*w - 5. Let z be k(-4). Let g be 42/z - 4/(-22). Let n be g/(-5) + 2/(-10). Which is bigger: -3 or n?
n
Let n be (3/2)/(42/112). Suppose -n = 9*m + 14. Which is bigger: -7/5 or m?
-7/5
Let a(w) = -6*w**2 - 9*w + 164. Let j be a(-17). Do j and -1417 have the same value?
True
Suppose -3*r + 345 = -k, -4*r + 668 + 688 = -4*k. Let u be 296/k - 2/(-12). Which is greater: u or 2/3?
2/3
Let o = 484 + -486. Let p = -4 - -4.3. Which is smaller: o or p?
o
Let r(p) = -p**2 + 9*p + 9*p - 17*p. Let v be r(1). Suppose v = 2*f - f. Which is greater: f or 2/41?
2/41
Suppose -a + 4*a + 3 = 0, a = 5*y + 384. Let i = y + 65. Which is greater: 0 or i?
0
Let w be (-44 + 0)*(5 - 24). Suppose 4*z = -3*k + 1134, 0 = 2*z + z - 5*k - w. Let u = z + -1417/5. Which is bigger: u or -1?
-1
Let y = -4504 + 31601/7. Is y less than or equal to 10?
False
Let x(f) = -f**3 - 4*f**2 + f + 3. Let z be x(-4). Let c be z*1*(-2 - 1). Let n = 2.759 + 0.241. Is n equal to c?
True
Let o(u) = -u - 2*u - 10*u**2 - 16 - u**3 + 0*u + 4. Let a be o(-10). Do a and 0.1 have different values?
True
Let y be ((0/(-3))/4 - -10) + -4. Is 0 greater than y?
False
Let d = 504 - 502. Which is smaller: -49 or d?
-49
Let a be 2 - (-1 + 9) - 0. Let x(p) = p - 15. Suppose -2*k - 38 = -5*h + 12, 5*k = 25. Let r be x(h). Which is smaller: r or a?
a
Let h be 2 - ((-33)/4 + -1). Let a be (22/(-6))/(-2*12/72). Do h and a have the same value?
False
Let t = -162430/21527 + -38/1133. Let y = t - -13430/1767. Which is greater: 0 or y?
y
Let p = -25 - -24.8. Let f = -299/4 + 74. Are p and f non-equal?
True
Let a(h) = -11*h**2 + 6*h + 18. Let l(z) = -4*z**2 + 2*z + 6. Let g(n) = 3*a(n) - 8*l(n). Let i be g(3). Is i less than 5?
True
Let x(h) = 2*h**2 - 10*h - 6. Let v be x(5). Let g be (-12)/8 - v/12. Which is bigger: g or -2/65?
-2/65
Let q(n) = -12*n**2 - 45*n + 222. Let o be q(5). Which is bigger: o or -302?
-302
Let b be 51/34*(-4)/6. Which is smaller: -13/50 or b?
b
Let s(t) = 106*t - 226. Let m be s(2). Does m = -20?
False
Let d = 0.01 - 0.07. Let l = 145.94 + -148. Let y = l - d. Is y smaller than -2?
False
Let i(s) = 1. Suppose -y + 8 = 6. Let h(u) = -u**2 - 13*u - 12. Let c(j) = y*i(j) - h(j). Let d be c(-12). Which is smaller: d or 4?
d
Let n(d) = d**2 + 11*d - 62. Let k be n(-15). Is k < -18/17?
True
Suppose 2 - 1 = -2*j + x, 2*j - 5 = 3*x. Let d be 6 + j - 2 - 4. Do d and -10/11 have different values?
True
Let f = 1.72 - 1.7. Let k = f - 0.02. Which is smaller: k or -16?
-16
Let i = 27/34 - -497/102. Let d = -93 + 175/2. Let t = i + d. Which is smaller: t or 0.2?
t
Let t = -11 - -11. Suppose t = v + 3*v + 2*a + 6, -4*v + a - 21 = 0. Let s be (-268)/92 - (1 + v). Which is smaller: 1 or s?
s
Let z = -2 + 7. Let o be (-13 + 11)*(-1)/z. Which is greater: -4/3 or o?
o
Let u(n) = 53*n - 1223. Let t be u(23). Which is smaller: t or -28?
-28
Suppose 3*y - 2*t = 28, 6*t + 20 = 2*t. Suppose y*v - v = 110. Suppose -8*m + 217 = 49. Which is bigger: m or v?
v
Let v = 2/193 - -575/386. Suppose 2*h + 1 = -i, -3*h = 3*i - 4*h - 4. Do i and v have the same value?
False
Suppose 3*f - 37*p + 41*p = 9, f + 4 = p. Do f and -2/285 have the same value?
False
Let b be 6/21 + (-18)/14. Let r be b/(105/83) + 0. Let t = 1/15 - r. Is 2 != t?
True
Let u = -1648/7 - -236. Let d = 32.35 - 33. Let x = d + -0.35. Is u less than x?
False
Let m be (2*(-1)/(-2))/1. Let p be (-5 - (-6 - -2))/m. Let t = -2 + 2. Which is bigger: t or p?
t
Let c be 12/(-16)*(-32)/1380. Let v = c - 147/1840. Suppose 4 + 0 = -4*q. Which is smaller: v or q?
q
Let h = -1116.9 - -1117. Which is greater: -295 or h?
h
Suppose -6*h - 4 + 16 = 0. Suppose 6*p = h*p - 4. Is p greater than or equal to 2/119?
False
Let k(v) = v**3 - 7*v**2 + 10*v - 1. Suppose g - 6 = -g - 2*b, 0 = -2*g - 4*b + 2. Let s be k(g). Which is greater: s or -11/12?
-11/12
Suppose 4*z + 5 + 15 = -2*i, -3*i - 2*z - 10 = 0. Let u be -6 + 14 + -9 - 88/(-6). Are u and i unequal?
True
Let s be (-9)/((-81)/6)*39. Suppose 10 = -2*j - s. Is -17 not equal to j?
True
Let s be (-3)/(-1) - 2/(8/(-60)). Let j be 5/(2 + s)*4/3. Is 1.2 less than j?
False
Let t = 3733/143 + -2456/13. Let l = t + 163. Let w = 1 + 0. Which is smaller: w or l?
l
Let j = -0.0799 - 2.4761. Let g = -0.044 + j. Is -2/5 less than or equal to g?
False
Let f be 18/(-33) + (-79)/(-44). Let y(c) = -c**3 - c**2 + 3*c + 2. Let p be y(0). Which is greater: p or f?
p
Let y(o) = -5 - 1 - 3*o - 1 + 13. Let d be y(3). Is d > 2?
False
Let o = 1 - 1. Let v = 11/140 - 4339/51660. Which is greater: o or v?
o
Let h(q) be the first derivative of q**2/2 - 2*q - 7. Let g be h(6). Suppose -13 = -g*f - 29. Which is bigger: f or 1?
1
Suppose 4*n + 11 - 51 = 0. Suppose -n*c + 4*c = -24. Let q = 1 - -5. Is q < c?
False
Let j = -4 - -2. Let q = 39 - 43.4. Let c = 3.9 + q. Which is greater: c or j?
c
Let o be (-3)/(-9) - 15/(-9) - -1. Let y be (o + (1 - 5))/(-1). Which is smaller: 0.05 or y?
0.05
Let k = -0.0117 - -0.0837. Which is greater: k or 0?
k
Let w = -0.594 - -0.594. Is w >= -31.7?
True
Let g be ((-4)/(-85))/((-8)/20). Let k = -661.9 + 662. Which is bigger: k or g?
k
Let u be (3 - -14)/1 + 1. Suppose 7*n + u = 2*n + 3*o, 0 = -n - o - 2. Which is smaller: -5 or n?
-5
Suppose 0*t = 5*t + 5. Let z be (-255773)/756 + t/(-4). Let p = z - -338. Is 1 <= p?
False
Let p be (6/(-8))/(1206/48). Let w(n) = -2*n + 13. Let b be w(6). Do b and p have different values?
True
Let z be 2*(-3 + 2) + -3. Let v be -1*(72/8 - 1). Which is bigger: z or v?
z
Suppose x - 4*r = -35, 118 = -5*x + 2*r - 3. Let n = x + 23. Is n at least -1/49?
True
Let w(o) = -410*o - 26. Let c be w(6). Let k = c - -295836/119. Is k > 1?
False
Suppose -4*g = 3*n + 8, 2*n - 3 = -g - 0*g. Is g at least as big as -82/15?
True
Let n(p) = -3*p**2 - 150*p + 161. Let m be n(-50). Which is bigger: m or 162?
162
Let t = -1 - 1. Let n(k) = -k**3 - 20*k**2 + 22*k + 21. Let l be n(-21). Suppose -3*m + 2*m - 2 = l. Are t and m nonequal?
False
Let m = -7.81 + -0.19. Let k(b) be the first derivative of -b**3/3 - 13*b**2/2 - 11*b - 13. Let d be k(-12). Which is smaller: m or d?
m
Let z be ((-9)/2 - -5)/(2/(-7269)). Let v = 1826 + z. Which is bigger: 9 or v?
9
Let l be 4 + 1 - (-1 - -3). Let c be 1/(l - 73544/24540). Let o = c + -323. Which is greater: 0.1 or o?
0.1
Let f = -3 + 6. Suppose -3*i + f*m = 2*i - 6, 4*i = 3*m + 6. Is 2/29 smaller than i?
False
Let o = 137 + -136.742. Let v = o - 0.23. Is v >= -1/4?
True
Suppose -5*k + 4*y + 250 = 100, 3*y = -3*k + 90. Let l be (-4)/k - 15/75. Let p be -1 + 2*(-1)/(-1). Is l equal to p?
False
Let k be (3 + 6/(-4))*2. Suppose 3*x - 3 = 3. Suppose 0 = k*j - x - 4. Does 2