Which is smaller: k or b?
b
Let y = 9752/3 - 3135. Is 115 equal to y?
False
Let v = -487 - -481. Which is bigger: v or -64/9?
v
Let s = 140 - 146.3. Let m = 6.4 + s. Is m at most as big as 2/17?
True
Let m be 27 - -2*(-3 - -4). Let d = m + -47. Which is smaller: d or -17?
d
Let d be 3*(32/12)/4. Let o = -19 - d. Is o at most as big as -19?
True
Let h(l) = l**3 - 7*l**2 + 9*l + 24. Let r be h(6). Which is greater: r or 3?
r
Let h(k) be the third derivative of -k**6/120 - k**5/5 - 5*k**4/12 + 5*k**3/3 - 8*k**2. Let x be h(-11). Which is smaller: 1/22 or x?
x
Let o = -647 + 628.1. Does o = 0.1?
False
Let p(d) = -16*d - 2*d**2 + 10 - 10. Let r be p(-8). Suppose 3*h + r*h = 0. Is -2 less than h?
True
Suppose -3*h - 37*d = -35*d - 23, 5*h + 5*d = 40. Which is greater: h or 26?
26
Let a = -1396/27 + 110290/2133. Which is greater: 1 or a?
1
Suppose -23 = -3*x + w - 21, 4*x = -2*w - 4. Suppose 0 = 3*y - y - 4. Suppose 2 = -y*t - x*t. Do t and 2/27 have the same value?
False
Suppose -b = 3*s - 200, 3*s + 235 = -2*b + 641. Let i be (-4156)/(-10)*(-8)/(-16). Let l = b - i. Is -2 <= l?
True
Let i = 235 - 588. Is -1/3 >= i?
True
Let i = 1 - 1.1. Let l = -146 + 161. Which is smaller: l or i?
i
Let s(x) = x**2 - 10*x - 1. Let j be s(11). Let k be (-714)/(-24) - (-1)/4. Suppose -k = -3*o - 3*g, 16 = o + 4*g + 3. Is o < j?
True
Suppose f + 2*v = 3*f, -4*f + 3*v = 0. Suppose -13*k = -22*k - 81. Is k greater than f?
False
Suppose -26*i = -12*i - 214*i - 400. Let x = -1.7 + 14.7. Is x greater than or equal to i?
True
Let y be (4*(-3)/(-9))/(2/3). Let o(w) = -3*w**2 + 3*w - 2. Let m be o(y). Which is smaller: m or 1?
m
Let x be (-4)/30 - 411/(-45). Suppose 4*v = 25 - x. Suppose -v = 3*u - 1. Is u bigger than -2/5?
False
Let y(h) = h**2 + 21*h + 73. Let o be y(-17). Which is greater: o or 13?
13
Let t = -0.462 - 11.538. Let y = -4 - -6. Is t > y?
False
Let r(u) = -u**2 + 2*u + 6. Let d be r(-4). Let y = d - 1. Let o = -18 - y. Which is bigger: o or 2/25?
o
Let s = 19 - 14.5. Let d = 4.3 - s. Which is greater: d or -17?
d
Let d(k) = -3*k**2 - 34*k - 8. Let v be d(-12). Let g = -86 + 53. Which is smaller: g or v?
g
Let t(j) = j**2 + 2*j. Let r be t(-2). Let v = -35/12 - -11/3. Is v at least r?
True
Let x = -58.71 - -59. Let w = -0.42 + x. Which is bigger: w or 2?
2
Let k = -3151 + 3157. Suppose 3*v = -3*t + 9, -4*t - 18 = -v - 5. Is k > v?
True
Let x be (-2)/2 + 50/46. Suppose 2*p - 28 = 6*p. Let n(i) = i**2 + 6*i - 7. Let w be n(p). Which is greater: w or x?
x
Suppose 2*n = 4*n. Suppose n = 5*s - s. Which is smaller: s or 1?
s
Let p = 20 + -20.9. Let t = 0.7 + p. Which is smaller: -24 or t?
-24
Let q = -0.2 - -0.24. Let u = 70.16 - 70. Let r = u + q. Is r bigger than 0.1?
True
Suppose -4*x - 5*j + 20 = 0, j + 8 = -4*x + 3*j. Suppose 40*s - 45*s + 5 = x. Which is smaller: 2 or s?
s
Let b(c) = 7*c + 2. Let n(w) = -20*w - 6. Let q(x) = 14*b(x) + 5*n(x). Let j be q(-1). Which is greater: 2/103 or j?
2/103
Let x(d) = d**2 + 99*d - 935. Let s be x(0). Is -936 less than s?
True
Let z = 1089 + -1042. Which is greater: -1.4 or z?
z
Let b = -2 - -4. Suppose -b*f = -4*f - 34. Which is greater: -18 or f?
f
Let g be (-6)/9 - (-8)/3. Let q be (1 - g)/(3/(-12)). Let b = 23/6 + -7/2. Is q less than b?
False
Let h = 428 - 415. Which is bigger: h or 12?
h
Suppose 10*i = 11*i + 33. Let q be 0 + 6/(-33) + 291/i. Is -5 greater than or equal to q?
True
Let f(w) = w**2 - 31*w + 161. Let l be f(23). Let t be 1 + -24 - (1 - 2). Are l and t unequal?
True
Let j = -44 - -51. Let y be -1 + (9/3 - 3). Let n = y + 7. Is j < n?
False
Let j = 1550 + -6149/4. Which is smaller: 14 or j?
j
Let w be (-4)/(-22) + 450/(-297). Suppose 6*g - 2*g - 4 = 0. Suppose 6*z + 11 = -g. Does w = z?
False
Let k be (7/(-6)*9)/((-4)/8). Do 9 and k have the same value?
False
Let u = -0.4 - -0.4. Let j = -34 - -34.03. Let d = j - 0.03. Is d > u?
False
Suppose 5*j + 18 = -j. Let t(h) = -h**2 - 5*h - 3. Let d be t(-3). Suppose f + 9 = d. Which is smaller: f or j?
f
Suppose i + i - 2*y - 4 = 0, -y - 11 = -4*i. Suppose -4 - i = -7*w. Does w = -1/33?
False
Let w be 0 + 5 - 2/100*282. Is w greater than -2?
True
Suppose 1 = -q + 4. Suppose b + 4 = 2*u - 0*u, -q*u - 4*b - 16 = 0. Is u at least 4/15?
False
Let i = 65 - 26. Let r = i + -23. Which is smaller: 17 or r?
r
Let k = 18 + -16.6. Let y = 1.9 - k. Which is smaller: -2 or y?
-2
Let x(j) = j**3 - j**2 + 6. Let f be x(0). Let m be (f/(-13))/(2 - 0). Do 1 and m have the same value?
False
Let u = -192 - -185. Is -4 at least as big as u?
True
Let s = 20 - 20.03. Let x = 0.83 + s. Let h = x - -0.2. Is h greater than 7?
False
Suppose 0 = 3*n + 5*v - 16, 2*v = -4*n - 3*v + 13. Which is greater: -66/23 or n?
-66/23
Let s = -0.32 + 0.35. Let q = 7.2 + -1.1. Let a = -6 + q. Which is bigger: a or s?
a
Let u = 107 - 55. Suppose -8*z + 64 = -344. Is z equal to u?
False
Let w = 8 - 10. Let f(z) = 3*z - 1. Let j be f(-5). Let p = -53/3 - j. Does p = w?
False
Let v = -4.7 - -2.8. Let x be (-68)/(-1428)*(7 - 1). Which is greater: x or v?
x
Suppose -6*u + 5*q = -u + 20, 0 = 4*u - 5*q + 19. Let b = 16 + -23. Let d be 4/(-6) - b/(-21). Does u = d?
True
Let t = 49.97 - 50. Is t > 2/15?
False
Let j = 101 + -12. Suppose -33 = 86*v - j*v. Which is smaller: 12 or v?
v
Let i be ((-14)/1 - -2)*1. Let b = -125 + 125. Is b less than or equal to i?
False
Let l = 15.02 + -0.02. Let f = 6 - l. Which is greater: 1/2 or f?
1/2
Let o = -296 - -126. Let v be (12/50)/((-9)/o). Let w = v + -29/6. Is 0 equal to w?
False
Let g = -3351 - -3390. Let c(n) = 19*n. Let j be c(2). Which is greater: j or g?
g
Let y = 0 + 7. Suppose 34 = -9*p - 25*p. Is y greater than or equal to p?
True
Let l be 2 + (852 - -5)*-1. Is -853 bigger than l?
True
Let v = -40.9 + 12.9. Which is smaller: v or -2?
v
Suppose -18*m + 20*m = 0. Let n be m - (-5)/((-45)/2). Which is smaller: -25 or n?
-25
Let o = 0.0315 - 0.2315. Which is greater: o or -21/8?
o
Let r = 5 - -12. Let q = -18.17 + 0.17. Let g = 19 + q. Which is greater: g or r?
r
Let k = 21 - 29. Let w be (-6)/(-8) + 30/k. Is w greater than -6?
True
Let o = -8273159/1005 + 8232. Is o smaller than 1?
True
Let y be (1/(-21))/(((-637)/42)/(-7)). Are -1 and y non-equal?
True
Let x = -7 - -8. Let w = 7 - 5. Suppose 0*v - w*v + 26 = 0. Is v at least as big as x?
True
Suppose 1 = 3*j - 5. Let x(d) = -2*d**2 + 25*d - 21. Let r be x(15). Let a be 10/(-4)*r/420. Is j at least a?
True
Suppose 5*s + 3*u - 77 + 117 = 0, u + 20 = -3*s. Is -18 <= s?
True
Suppose 0 = i - 2*g + 7, -2*g + 15 = 3*i + 4. Let j = 22 + 3. Let c be (16/j)/((-24)/(-60)). Which is smaller: c or i?
i
Let p(v) = v**3 - 7*v**2 - 8*v - 4. Let a be p(8). Which is smaller: 42 or a?
a
Suppose 5*q - 12*q - 1687 = 0. Is q at least -241?
True
Let i = -95.61 - 12.29. Let x = -108 - i. Let p = -12 + 3. Which is smaller: p or x?
p
Let x be ((-2)/(-4) + -2)/(12/128). Which is greater: -15 or x?
-15
Suppose 9*h - 5*h - 120 = 0. Let q be 1/(-11) - h/165. Suppose -s = 2, 3*v + 0*v + 6 = -3*s. Is v equal to q?
False
Let o = -1225 + 1234. Do o and 16 have the same value?
False
Let r be (40/160)/(237/(-120) + 2). Which is smaller: r or 156/17?
156/17
Let w = 0.12 - -0.05. Let h = 127 + -128.83. Let i = w - h. Which is smaller: i or -1?
-1
Let n = -90.9 - -90.56. Is 0.4 equal to n?
False
Suppose -2*u + 0*u - 2*f = -3260, -6518 = -4*u - 2*f. Is 1629 not equal to u?
False
Let p(j) = -j**3 + 4*j**2 + 7*j - 7. Let u be p(5). Let w(n) = -8 - n - 2*n**3 + 5*n**2 + 2*n**2 + u*n**3. Let s be w(-7). Which is greater: s or 1/3?
1/3
Suppose -2*g - 9 - 1 = 0, 3*n + 1 = g. Let b be 3 + 3 - (-138)/(-20). Which is bigger: b or n?
b
Let h be 10/(-3) + -5*4/(-60). Let r = -2 + 35. Let k be (-2)/(-2) - r/9. Is k <= h?
False
Let w(k) = k**2 - 62*k + 432. Let n be w(8). Is 1/1105 at most as big as n?
False
Let q = 9 + -13. Let j = 0 + q. Let m = -6 - j. Is 0 smaller than m?
False
Suppose 0*n = -3*n + 66. Let p = -1076 + 1001. Let s be 2/(-6) - n/p. Is s != 0?
True
Suppose 2*l = 4*q + 28, -4*q + q - 26 = -4*l. Suppose -s - 82*x - 18 = -80*x, 3*s = -4*x - 44. Which is smaller: s or q?
s
Suppose 0 = k + 2 - 8. Let p be (-130)/(-78) + -4*3/(-9). Is k bigger than p?
True
Let t be (13/(-26))/(-1 - 35/2). Is t >= 0?
True
Suppose 0 = 3*i - i - 4. Suppose -z - i*z = -12. 