8. Let f be p(k). Which is smaller: f or -6/13?
-6/13
Suppose 5*o = -m + 4293, 0 = -8*o + 3*o - 3*m + 4299. Let g = o - 120119/140. Is g greater than or equal to 1?
False
Let w = 34 + -23. Let v = 10.76 - w. Is v < 0?
True
Let l be 117/8*4/(-6). Is 4 greater than l?
True
Let z(x) = -2*x - 12. Let i be z(-9). Let g = -15 - -17. Let b be g/(-4) + (-21)/i. Do 1 and b have the same value?
False
Let r = -29 - -162. Is r != 134?
True
Let s = -46.9 - 1.1. Let v = -47.9 - s. Is v equal to 48?
False
Suppose -20*f = 15*f. Which is smaller: 19/88 or f?
f
Let y = 183 + -77. Suppose -5*x - 24 = y. Which is smaller: 2 or x?
x
Let d be (-16)/(-88) + (-4)/22. Is 4/43 >= d?
True
Suppose 4*n - 4*a - 596 = 0, 5*a = 8*a - 12. Is n > 152?
True
Suppose -5*d + 1465 = -5*h, 3*h + 255 = d - 626. Is h > -295?
True
Let g be ((-12)/10)/(33/(-110)). Suppose 8 + 4 = -g*q + 5*h, 0 = 4*q + 5*h + 52. Which is greater: q or -3?
-3
Suppose 2*g + 2*g = 16. Let n be (2/g)/((-6)/3). Let o be ((-8)/32)/((-6)/(-8))*0. Which is greater: o or n?
o
Let u be ((-2)/6)/(4/36). Let q be (-1)/(u/(-4))*3. Let g be 15/(-63) + q/(-14). Is -1 <= g?
True
Let x = -0.1 + 0.1. Suppose -60 = 2*o - 6*o. Suppose o*f = 76 + 29. Which is smaller: x or f?
x
Let n be (50/6)/5 + 232/(-168). Which is bigger: 21.51 or n?
21.51
Let a be 24/264 - 24/22. Which is smaller: 1/33 or a?
a
Suppose 13 = k + 3. Let f(q) = 11*q**2 + 3 - q + 7 - 10*q**2. Let c be f(0). Is c at least as big as k?
True
Suppose 9 = 3*i - 0. Suppose -2*n + 2 = 0, -40 = -i*h + 5*n + 15. Suppose l + h = -4*l. Which is greater: -6 or l?
l
Let b = 14 + -12. Suppose 3*g + 0 = b*w - 3, 5*g - 2*w = -5. Let x be (0/g)/(16/(-16)). Is -7 greater than x?
False
Let y(p) = -p**3 + 16*p**2 - 17*p + 20. Let j be y(15). Let t = j + 13. Let z = 901 + -4487/5. Which is smaller: z or t?
t
Let f = -10 - -4. Let a = f + 5.4. Let c = 5.4 - a. Is c != 3/5?
True
Let y = -0.0266 + -98.9834. Let c = y + 99. Let q = 0 + -3. Which is bigger: q or c?
c
Let b = 0 + 0.34. Let c = b + -0.42. Suppose -3*i + i = 2. Is c at most i?
False
Let r be 5*(3 - 1) - 1. Suppose 8*n - 135 = 89. Let l be (-14)/(-49) + (-1)/(n/(-202)). Does l = r?
False
Let l(b) = b**3 + 11*b**2 - 51*b + 5. Let n be l(-12). Is 473 greater than n?
False
Let l = 1.8 + -1.87. Let p = 2.12 + -1.25. Let t = p + l. Is t equal to -0.1?
False
Let q = 164 + -165. Let u be -1*((-284)/100 + 3). Is q greater than or equal to u?
False
Suppose -4*g + 10 = -2, 4*u = 4*g - 20. Let c be 2/(-20) + 32/(-80). Let w = -1 - c. Which is smaller: w or u?
u
Let q(p) = p**3 - 3*p**2 - 4*p - 5. Let i be q(4). Let f = 86 + -93. Which is bigger: f or i?
i
Let n be 9 - (7 - 0) - (-2 + -1). Let x be n/(-4 + 0 - -5). Suppose 0 = k - 0*k - 4. Which is greater: k or x?
x
Suppose h = -j + 160, 4*h + 3*j = 2*j + 643. Do h and 161 have different values?
False
Let r be 80*(1/(-2) + 2). Let c be (-5)/(-2)*8/r. Do -1 and c have the same value?
False
Let z be ((-60)/45)/(8/(-6)). Let a(v) = -51*v**3 + 2*v**2 - v. Let i be a(z). Let n = 352/7 + i. Which is smaller: n or -16?
-16
Let u = 1/6 - -1/3. Let t = 2.9 - 3.1. Which is smaller: t or u?
t
Let i(k) = k**3 + 9*k**2 - k - 10. Let o be i(-9). Let z be (-12)/18*(-1)/(-3). Is z != o?
True
Let l(s) = -3*s**2 - 29*s + 31. Let d be l(-14). Let z = -151 - d. Which is smaller: -1/96 or z?
-1/96
Let x be 4990/(-32266) + (-21)/(273/(-2)). Which is smaller: 0 or x?
x
Let i = 15.6 - 15. Let s = 0.03 + 0.27. Is s > i?
False
Suppose 0 = -4*q + 9*q - 45. Suppose q = -6*p + 123. Is 20 equal to p?
False
Let i = -1.7 + 1.6. Is 2.18 less than i?
False
Let i(k) = -4*k**2 + 45*k - 8. Let u be i(11). Which is smaller: -2 or u?
-2
Let a be (-6)/4*1400/(-150). Let q = 37 + -22. Is q at most a?
False
Let n = -203.1 - -202.4. Which is greater: -40 or n?
n
Suppose -3*l + 6*l - 3 = -5*d, 3*d - l + 1 = 0. Does d = 4/571?
False
Let t be 4 - 10 - 357/(-68). Do -39 and t have different values?
True
Suppose 2*h - 29 + 43 = 5*s, 4*s - 20 = 6*h. Let p be (1/1)/(2/6). Let f = p + 0. Is f bigger than s?
True
Suppose 5*o - m + 165 = 4*m, m = -4*o - 132. Which is smaller: 2 or o?
o
Let i be 0*(-1)/3 + 4. Let z be 8 - i - 2*-3. Let g be 2/z + (-273)/15. Is -18 greater than or equal to g?
True
Let u = -429 - -817/2. Which is greater: u or -22?
u
Suppose x + 16 = -5*g, -2*x - 9 + 25 = -2*g. Suppose -5*a + x*f = 35, 4*a + 6*f - f = 13. Is a less than -5?
False
Let y = 0.2 + -4. Let r = -50 - -54. Let u = y + r. Which is greater: 1/4 or u?
1/4
Suppose -28*o = 9*o - 21201. Which is smaller: o or -0.1?
-0.1
Let g = -11 - -8. Let m = g - 6. Let j = -8 - m. Is 19 less than j?
False
Let q = 15763 - 142165/9. Which is bigger: q or -34?
q
Let f = 41 - 29. Let g = 72 + -60. Let a = g - f. Is -0.12 at least as big as a?
False
Suppose 0 = -k - 41*a + 45*a - 14, 5*a = 20. Is k at most 62/97?
False
Suppose -4*t + 55 = -13. Suppose -3*l + 35 = 2*x, -3*x - 5*l = -58 + 6. Which is greater: t or x?
x
Let y = 19.2 - 3.2. Let s = -0.772 - 0.238. Let b = s + 2.01. Is y smaller than b?
False
Let m be (-16945)/(-910)*(-2)/(-6). Let q = -87/14 + m. Let w = q + -484/8463. Is 0 less than or equal to w?
False
Let r = 1.26 - 0.06. Let v = -79 + 81. Is r at least as big as v?
False
Suppose -9 + 6 = -3*x. Let g be (14/4 - 3)*12. Suppose -w - 3 = -g. Is w at most as big as x?
False
Suppose -417 + 421 = 4*k. Which is bigger: 1/348 or k?
k
Let n be (-10)/(-2) - 9 - 286/(-71). Which is greater: 0.14 or n?
0.14
Let r be 10 - (-5)/(-10)*5218. Is -2600 less than r?
True
Let v = 4.9 - 6. Let y = v - -0.1. Which is smaller: -1/44 or y?
y
Suppose 125 = -5*v - 0*v. Let r = 26 + v. Does 3/5 = r?
False
Let l(x) = x**3 - 8*x**2 - x + 11. Let t be l(8). Suppose 0*y - 24 = -t*y. Let q be (y/12)/(20/(-12)). Which is smaller: 1/2 or q?
q
Suppose 5*o - 4*y + 1 = 29, 0 = -5*o + 3*y + 31. Let n(r) = -r - 2. Let f be n(-9). Does o = f?
False
Let b = 298 + -297. Which is bigger: -8/93 or b?
b
Let g = 177 + -254. Suppose 146 = -2*t - 8. Are t and g equal?
True
Let a(u) = 44 - 6*u**2 - 27 + u**3 + 5*u - 4*u. Let v be a(4). Is -9 smaller than v?
False
Let b = -828 - -831. Which is bigger: 29 or b?
29
Suppose -29*k - 630 = -15*k. Which is smaller: k or -136/3?
-136/3
Suppose 15*i = 12*i + 39. Let t be (-13)/i - (-3 + 0). Let r = 3 + 0. Is r equal to t?
False
Suppose -408 + 504 = -b. Is b at most as big as -96?
True
Let z(p) = 8*p - 310. Let d be z(39). Let a = -5 + 9. Is a > d?
True
Let j(w) = -w**3 - 8*w**2 + 9*w + 10. Let t be j(-9). Suppose 5*r + 5 = -o, 3*r + 0*r + 21 = 3*o. Suppose 10 + t = o*z. Is 3 != z?
True
Suppose -19*l - 8*l - 135 = 0. Which is bigger: 0.1 or l?
0.1
Let c be 1887/34*12/9. Which is bigger: c or 72?
c
Let i be (-3)/21 - (-87)/903. Which is greater: i or -0.15?
i
Suppose -4*z + 20*v - 21*v - 6 = 0, 5*z + 14 = 2*v. Let g be z + -4*(-10)/15. Is -6/19 <= g?
True
Let w = 31 - 32.22. Let d = 17.22 + -17. Let n = d + w. Is n less than or equal to 1/2?
True
Let u = 0.33 - 0.26. Let b = -237 + 238.07. Let y = b - u. Which is smaller: y or -1?
-1
Suppose -43*k + 41*k = -8. Suppose 0 = 5*d + 2*j - 34, -29 = -3*d - d - j. Suppose -d*n + 4*n = -20. Which is bigger: n or k?
n
Suppose 3*n - 85 = k, -15*n - 5*k + 85 = -13*n. Is 30 at least n?
True
Let z = 1.07 + -2.57. Let j = 126.5 + z. Which is bigger: 0.1 or j?
j
Suppose 59*g = -0*g + 472. Which is greater: 14 or g?
14
Let k = -71 + 70. Is -2/239 smaller than k?
False
Let w = -31 + 39. Suppose 2 = -b - 5*l + w, 4*b + l = 5. Which is smaller: 2/93 or b?
2/93
Suppose -11*y + 67 = -10. Suppose y*r - 27 - 57 = 0. Is r greater than or equal to 12?
True
Let h(y) = 4*y + 7. Let w be h(-2). Let a be (w/3)/1*-21. Let l = 16 + -9. Are a and l unequal?
False
Let t = 383 + -382. Let k = 5 - 4. Are k and t unequal?
False
Let z = 5 - 5.4. Let u be -2 - 5/3*(-441)/(-245). Is u smaller than z?
True
Let s = -81 + 103. Let d be -2 - (0 - 1)*23. Which is smaller: s or d?
d
Let l = -181 + 180.93. Is 0.2 < l?
False
Let t(g) = -g**3 + 6*g**2 + 11*g - 24. Let q be t(7). Is -6 at least q?
False
Suppose -5*c + 60 = 4*v + 35, 3*c = -3*v + 18. Which is smaller: 10/41 or c?
10/41
Let d = -188 - -187. Which is bigger: d or -60?
d
Let d = 40 + -43.6. Let a = -3.5 - d. Is a < 0.03?
False
Let v be 16/(-8) - 200/(-34). Let a = v - 368/51. Is a less than