 Which is smaller: 9 or w?
w
Let a = 2316 - 2281. Is 35 smaller than a?
False
Let u = -843 + 842.913. Is u equal to -0.1?
False
Let u(p) = p**2 - 8*p - 8. Suppose 1 = 5*o - 34. Let s be u(o). Let m = 11 + s. Which is smaller: -5 or m?
-5
Let r be 1 + (-254)/86 + (-2)/(-1). Which is greater: r or -0.4?
r
Suppose 0 = f + 639 - 145. Let c be (f/(-39))/((-4)/(-6)). Is -1 less than or equal to c?
True
Let s = -303/19 - -354775/22249. Which is smaller: 1 or s?
s
Let z(c) = -4*c + 30. Let v be z(7). Suppose -p = 0, 0*p - 10 = -v*k + p. Which is smaller: k or 4?
4
Let h(i) = -i**3 - i**2 - i + 3. Let m be h(0). Let g = 251 + -1247/5. Which is greater: g or m?
m
Let r = -41.2 + 43. Let d = 0.04 - -0.16. Let c = r + d. Which is smaller: c or -3?
-3
Let y be (-6)/(-51) + (566/102 - 5). Is 268 less than or equal to y?
False
Suppose -n - 38 = -30. Let z = 4 + -5. Which is smaller: z or n?
n
Suppose 0 = 5*f - 78 - 42. Let x be (-8)/f - (-37)/3. Suppose -x = 5*w - 2. Is 1/2 <= w?
False
Suppose 0 = -5*i + 107 - 37. Let p = i - 11. Let o(w) = -w**3 + 3*w**2 - 5*w + 3. Let h be o(p). Is -11 at least h?
True
Suppose -6*k - 256 = -2*k. Let c = 65 + k. Is 5 equal to c?
False
Let g = 20 - 21. Is g greater than -11/5?
True
Let z(q) = -q**2 + 13*q + 9. Let f be z(7). Suppose 0 = -2*n + 92 + 8. Is n bigger than f?
False
Let m = 29.6 + -28.6. Is 506 at least m?
True
Let y(l) = l**2 + 6*l + 5. Let k be y(-4). Suppose 0*w = -5*w + 10. Let s be (-41)/28 + (-4 - w)/24. Are k and s equal?
False
Let y = 2 - 2. Let s = -28 + 62. Let d = -37 + s. Is y greater than d?
True
Let n be 4 - (-430)/(-102) - 22/187. Is n smaller than 0.168?
True
Let t(p) be the second derivative of -p**5/20 - p**4/2 - 4*p**3/3 + 5*p**2/2 - 10*p. Let b be t(-4). Suppose -k = -b*k. Is 3 equal to k?
False
Let r be 135/333 + (-1 - -1). Let b = 9/296 - r. Is 1 < b?
False
Let i = 372 + -372.3. Is i bigger than -101?
True
Let o = 745 + -745. Is o at least as big as 14.6?
False
Let z(x) = x + 29. Let s be z(-24). Suppose -5*o = -4*v + 29, s*v + 16 = v - 4*o. Which is smaller: v or -2/7?
-2/7
Let d(z) = z + 6. Suppose 2*y = 3*y + 3*b + 19, 0 = -5*b - 15. Let i be d(y). Suppose 38 = -3*m + 4*l, m - l - 2*l + 21 = 0. Which is smaller: i or m?
m
Let q(a) = a**3 + 16*a**2 - 17*a + 4. Let f be q(-17). Let j(d) = -d**2 + 4*d + 3. Let l be j(f). Suppose -2*g + 60 = l*g. Is g at most 13?
True
Let m(x) = x**3 - x**2 - x + 117. Let w be m(0). Let h be (-3*4/(-42))/(w/21). Which is bigger: h or -1/4?
h
Let w = 0.0104 - 314.0104. Is w less than -2?
True
Let v = 2356/15 - 157. Let a = 3/5 + v. Let p = -194 - -1356/7. Which is smaller: p or a?
p
Let l = -2316 - -2019. Do l and -295 have the same value?
False
Let g = -20.7 - 9.3. Let o = 31 + g. Is o >= 7/6?
False
Let c be (-30)/(-210) + 32/21. Does c = -16?
False
Let x(j) = -j**3 + 12*j**2 - 12*j + 10. Let b(w) = -w**2 + 15*w + 22. Let h be b(15). Suppose h = -g + 3*g. Let s be x(g). Which is smaller: 1/4 or s?
s
Let q(l) = 7 - l + 0*l + 0*l + 2*l. Let j be q(-7). Let b be (-2 - -4)*(-22)/(-99). Which is bigger: b or j?
b
Let t be (18/(-34))/((-3)/(-2)). Let b(h) = -h**2 + 20*h + 43. Let w be (3 - (-100)/(-36)) + 392/18. Let r be b(w). Are t and r non-equal?
True
Let v be (-77)/(-2)*(-20)/(-175)*5. Which is greater: 65/3 or v?
v
Let h = 0.0551 + 0.0449. Which is smaller: 76 or h?
h
Let u(c) = 2*c**2 - 6*c - 1. Let k be u(3). Let h = -246211/792396 - -2/18009. Let s = h - -15/44. Is s >= k?
True
Let f = -0.001 - 38.999. Let i = 23 + f. Let m = -14 - i. Which is greater: -6 or m?
m
Suppose 52*v - 246 = 11*v. Are v and 9 equal?
False
Let x = 0.77 - 0.8. Let h = 0.03 + 0.35. Let y = 0.48 - h. Which is bigger: y or x?
y
Let z = -0.53 - -0.34. Let p = -22.29 - -22. Let a = z - p. Which is smaller: a or 10/7?
a
Let g = 9 - 7. Let f be 3/3*(-40)/(-8). Which is greater: f or g?
f
Let p = -101 + 100.8. Is -1.4 equal to p?
False
Let v = -433.03 + 433. Suppose 3*p - 2*p - 1 = 0. Which is smaller: v or p?
v
Let x = -0.49 - -0.59. Let w = -0.03 + -0.05. Which is smaller: x or w?
w
Let z = -1 + 0.4. Let f = 20959/4 + -5239. Which is greater: z or f?
f
Let m be 2415/77 + (-72)/198. Which is bigger: 30 or m?
m
Let o = 3.1 + -5. Let m = 1.77 - 2.67. Let z = o - m. Which is greater: 3/5 or z?
3/5
Let o = -1334 - -1383. Is 10 < o?
True
Let c be 20/(-24) - (-803)/66. Let m(d) = d**2 - 2*d + 3. Let v be m(4). Which is smaller: c or v?
v
Let u = -160 + 80. Are 0.1 and u equal?
False
Let j(u) = -3*u**2 - 153*u - 105. Let b be j(-52). Which is bigger: b or -260?
-260
Let l(n) = n**3 + 4*n**2 - 10*n + 8. Let b be l(-6). Let s be b/(-8)*300/14. Let f = s - 211/21. Is f > -13?
True
Suppose 0 = -3*c - 4 - 32. Let z be ((-20)/(-60))/((-10)/c). Which is smaller: z or -1?
-1
Let r be 0 + 0 + 6/39. Suppose -20 = -6*x + x. Suppose 7*h - x = 3*h. Is r at most h?
True
Let v(b) be the second derivative of -b**5/20 + 5*b**4/12 - b**3/2 - 3*b**2 + 18*b. Let m be v(4). Do -21 and m have different values?
True
Let h = 8/181 - 786/9593. Let l be (-6)/3 + (-650)/(-371). Let c = h + l. Which is greater: -1 or c?
c
Let l(a) = a**3 - 12*a**2 + 18*a - 11. Let w be l(10). Let r = w + 1. Is r < 1?
True
Let x = 7583/32 + -237. Which is smaller: x or 1?
x
Let p be 11/12 - (-2)/(-8). Let f(k) = 4*k**2 + 3*k + 3. Let n be f(-1). Suppose -b + 21 = -n*s, 0 = -4*b + 2*b + s + 7. Is b bigger than p?
True
Let h = 2352985 - 811779218/345. Let g = h - 42/23. Is 0.1 >= g?
True
Let g = -60 + 76. Let w be (-142)/(-1144) - g/88. Which is greater: -1 or w?
w
Let c = 157 + -22. Suppose -4*g - 118 = -5*x + 4*x, -5*g - 5*x = c. Which is smaller: g or 0?
g
Let q = 10 - 7. Suppose -q*r + 6*r = 3. Is 1/10 at most r?
True
Suppose 9*q + 1112 - 5612 = 0. Which is smaller: q or 499?
499
Suppose 5*o = -2*p + 104, -p + 76 = p - 2*o. Suppose 9*t = 11*t - 4. Let j be t/(-2) + p/30. Which is greater: -2/5 or j?
j
Let f = 1 - 1. Let y = -83022/37 + 2244. Which is smaller: y or f?
f
Let i be (-20)/6*(-9)/2. Let t = -23 - -26. Let k be 1/((t/1)/i). Is k > 5?
False
Suppose -4*p = -5*a - 132, 5*a - 4*a = -4. Let i be (-2)/7 - 27/p. Which is smaller: i or -1?
i
Let r = -847 - -5911/7. Suppose 62*b = 41*b - 84. Do r and b have different values?
True
Suppose -31 = 37*n + 43. Do n and -2/115 have different values?
True
Let x = 2276/7 + -2196/7. Which is bigger: x or 12?
12
Let q = -7842 - -8202.7. Let r = q - 342. Let i = r + -19. Is -0.3 less than or equal to i?
True
Suppose 0 = 4*b + 3 + 53. Let z = b + 26. Suppose z = p + 3*p. Is 0 bigger than p?
False
Let b = 1325/1974 + -3/658. Is b less than 22/17?
True
Let r(k) = k**3 + 2*k**2 - 2*k + 1. Let m be r(-3). Let d = -6 + 5. Let j = -1 + d. Is j at most m?
True
Let z be (-361*(-4)/(-2 - 18))/7. Let y = z - -53/5. Let r be ((-1)/(-5))/(4/10). Is y at least as big as r?
False
Let j = 24/7 - 1546/455. Which is bigger: j or 1?
1
Let b be 20/(-75)*5/(-6). Let f = -4541/12 + 944/3. Let x = -64 - f. Is x > b?
False
Let t = -116 + -522. Which is smaller: t or -637?
t
Let y = -15 - -15. Let z = -1 + -1. Let d be (z + (-14)/(-6))*-6. Is d smaller than y?
True
Let b(i) = -5*i + 1. Let c(m) = -m + 1. Let h(p) = -5*b(p) + 30*c(p). Let x be h(-5). Is 49 less than x?
True
Suppose -5*q - 21 = -6. Let v be (14 - 4)/(q/9). Let h be 16/v*6/4. Which is smaller: -1 or h?
-1
Suppose 34*w = 21*w + 1326. Let l be (-17)/w + 1/(-2). Is l smaller than -2?
False
Let g be 4/11 + (-65249)/(-3124). Is 21 > g?
False
Let i = 32 - 74. Let q = i + 41. Do q and -6/11 have different values?
True
Let u(i) = i - 2 + i - 3 - 5. Let b be u(6). Are 1 and b unequal?
True
Let x be 1*(4 - -1) + -3. Let j be (-6)/15*1225/(-20). Let n = -24 + j. Is x smaller than n?
False
Let u = -24 - -60. Let c be u/18 - (1 + (1 - 1)). Which is greater: 6 or c?
6
Let z(o) = -5*o**2 - 12*o - 3. Let x be z(-2). Is x at most 25/101?
False
Let m = -1 + 1. Let f(n) = n**3 + 3*n**2 - 2*n + 8. Let u be f(-4). Suppose -4*w + 4*c = -8, u = -3*w + w + 3*c + 6. Is w <= m?
True
Let n = 256 - 113. Are 143 and n nonequal?
False
Let p = -54 + 34. Let a be (156/(-105))/(8/p). Is a at least as big as 5?
False
Let f be 1*7 - (-1 - -1 - 2). Suppose 6*l + f = 51. Which is smaller: 6 or l?
6
Let g = 4.48 + -4.08. Are -0.24 and g unequal?
True
Let j = -3937 + 1251965/318. Is -1 > j?
Fals