4*f + 6*a + 5 = -5, 0 = 4*f - 5*a - 9. Which is smaller: -2/1021 or f?
-2/1021
Let a be ((-51)/(-51))/((-2)/4). Which is bigger: -16/9 or a?
-16/9
Let u = -5927/35 - -831/5. Which is smaller: u or -3?
u
Suppose -4*v = 5*h - 51, -4*h - 7*v = -9*v - 46. Which is smaller: h or 4?
4
Let f be (-16)/(-20) - (-28)/(-10). Suppose 0 = -5*x + 9*x + 3*q + 8, -5*x - 10 = 5*q. Is f > x?
False
Let a = 0.0666 - -0.2334. Which is smaller: a or -354?
-354
Let b be (1/21)/(22/132). Is -13/32 greater than or equal to b?
False
Let v(j) = 10*j + 171. Let q be v(-17). Which is greater: q or 5/152?
q
Let z(b) = 2*b**2 - 2*b - 8. Let f be z(4). Let u(d) = -d**2 + 14*d + 26. Let p be u(f). Which is bigger: -2 or p?
-2
Let v = 295.98 + -303. Let j = 7 + v. Let p be (0 - -1) + -2 + 0. Are p and j nonequal?
True
Let t = -16 + 15.93. Let m = -28 + 23. Let s = 5.2 + m. Which is smaller: t or s?
t
Let q be 2/3 - (-84)/36. Suppose -5*l - 2*j - 17 = -66, 0 = -2*l - q*j + 24. Let d be l/28 + (-21)/28. Do d and 1 have different values?
True
Suppose -f - 2*j - 2*j = -6, -24 = -4*f - 5*j. Let w be 2 + (2 - f - -2). Suppose 13*u - 17*u + 8 = w. Are 2/3 and u non-equal?
True
Suppose -5*l = -l - 3*z + 1, -7 = -2*l - z. Suppose 4*n = 2*m - l, -4*n + 4*m - 2 = 2. Let f be 2 - (5 - 3 - 3). Do f and n have the same value?
False
Let q(l) = -l**3 + 6*l**2 - 8*l + 5. Let m be q(5). Let d be (m/25)/((-1)/20). Suppose -d = 2*t + 6. Does t = -6?
False
Let o(q) = -q**2 - 19*q + 22. Let m be o(-20). Suppose -5*h + 10 = -0*h + 5*u, -5*h + m = u. Does h = 2/49?
False
Let c(g) = g**3 - 8*g**2 + 8*g - 1. Let h be c(7). Suppose -h = -4*n + 2. Suppose 0 = -0*u + 3*u - 2*i - 9, 2*i = n*u - 8. Is u greater than 1?
False
Let u = -75.2 + 64. Let r = -10 - u. Let b = -7/6 + 3/2. Which is greater: b or r?
r
Let g(q) = -3*q**2 - 20*q + 14. Let f(s) = s**2 + 10*s - 7. Let o(l) = 5*f(l) + 2*g(l). Let u be o(9). Let m be (5 - 4) + u*4. Which is greater: m or 10?
10
Let w(v) be the first derivative of v**4/4 + 19*v**3/3 - 10*v**2 - 29*v + 39. Let o be w(-20). Is -28 less than o?
False
Let b = -5.285 + 0.085. Let j = b + 5.3. Is j bigger than -110?
True
Let h be (-41367)/66285 - 12/(-30). Let i = 10/491 - h. Let q = i + -4/9. Is -0.3 not equal to q?
True
Suppose -11*b + 14*b - 99 = 0. Suppose 1 = -t + 4*a - 1, -b = -t - 3*a. Let o = t - 18. Which is smaller: o or -1/2?
-1/2
Let d be (64 + 15)/((-3)/(-9)). Which is greater: 238 or d?
238
Let r(q) = 10*q**2 + q + 3. Let h be r(-1). Is h < -0.09?
False
Let j = 68 - 38.4. Let z = j - 30. Is 3 at least z?
True
Suppose -2*h - 3 = -11. Let z be (96/56)/(h/14). Let k be (5 - z)/(2/(-4)). Which is smaller: k or 3?
k
Let f(h) = -h - 12. Let w(n) = n. Let a(m) = 8*m + 24. Let g(t) = a(t) - 5*w(t). Let l(b) = 5*f(b) + 2*g(b). Let u be l(7). Which is bigger: u or -4?
-4
Suppose -5*w - 2 = c + 2*c, -c = 5*w + 4. Let n be 3 - -1*(c - 0). Suppose n*j + 2 = -2. Is j at most as big as 1?
True
Let z = 17/90 - -1/9. Let i be 3/((-18)/40)*(-36)/8. Let m = -29 + i. Which is bigger: m or z?
m
Let j(p) = -p**3 + 2*p**2. Let a be j(2). Let z(g) = -11*g**2 - 8*g + 18. Let n be z(-8). Let l = n - -15552/25. Do l and a have the same value?
False
Let f = -38 + 47. Let o(y) = -y**2 + 8*y + 2. Suppose -8 - 6 = -2*t. Let x be o(t). Is x < f?
False
Let s = -1.629 + 1.949. Which is greater: 0.2 or s?
s
Let j = -7/3 + -1/15. Suppose 5*p + 2 = 7. Let y be (p/(-2))/(4/16). Which is smaller: j or y?
j
Let j = -0.17 - -0.06. Let k = j - -0.11. Which is bigger: -6 or k?
k
Let x(d) = -5*d - 2. Let t be x(-1). Suppose 8*l - 48 = -4*l. Is l at most t?
False
Suppose 55 = 10*n - 115. Is n smaller than 19?
True
Suppose -y - 5*a + 288 = 72, y + 3*a = 210. Let f = 3416/17 - y. Suppose -2 + 6 = 4*j. Is f >= j?
False
Let x = 80 + -78. Is 0 at least as big as x?
False
Let y = -180 - -182. Which is smaller: y or -3/5?
-3/5
Let a be 4/(-25)*6/(36/15). Is a greater than 116/3?
False
Let s be 7/((-42)/(-36)) + -71. Which is greater: 3 or s?
3
Let d be 4*(-2)/(2 - 0). Let a = 53 - 52.22. Let c = -0.88 + a. Is c < d?
False
Let r = 49 - 49. Let d be 19/2 + r*(-5)/5. Do 10 and d have different values?
True
Suppose 5*k - 35 = -f, 3*k + f - 39 = 4*f. Suppose -2*a + 102 = k. Does a = 46?
False
Let g be (-68)/(-18) - 2/(-9). Let i(y) = 3*y**3 - y + 2. Suppose -4*l - 3*c = -1, l - 3 = -2*c + 4*c. Let a be i(l). Is a < g?
False
Suppose 60*b + 41*b = -36663. Is b greater than or equal to -361?
False
Let g be 6/(-8) - 15/45. Let w = g + 5/6. Is w at least as big as 7/6?
False
Let g be (28 + -2)*(-15)/10. Is g less than -39?
False
Let q = 7 + -7. Suppose q*i - 2*i - 3*m = -19, -5*i - 2*m = -20. Let b be (-3)/i*(-2)/3. Is 8 less than b?
False
Let f be (15/(-10))/((-2)/132). Suppose -79 = -2*n + f. Suppose 5*p + 3*l = -n, -1 = -p + 2*l - 11. Is -16 at least p?
True
Let d be (-6)/(-9) - 28/(-21). Suppose -5*z = -4*u + d*u, 0 = -3*z + 2*u. Are z and -2 nonequal?
True
Suppose -9 = n + 5*x, -x - 3 = -4*n + 45. Let b be (-6)/(((-105)/10)/(-7)). Let m be (-6 - b) + 42/(4 - 1). Which is smaller: m or n?
n
Let b be (3/6)/(1/14). Suppose b*x - 2 = 2*s + 3*x, -s + 11 = 2*x. Suppose s*g - 12 = -42. Do -6 and g have the same value?
True
Let a = 246.84 - 247. Which is smaller: -1/7 or a?
a
Suppose 2*y + 27 = 25. Suppose -2*z = -4*w, 4*w + 2*z - 6*z - 8 = 0. Let d be w/5 + (-5)/50. Which is smaller: d or y?
y
Suppose -5*c - 41 = -3*f, -107*f - 5*c = -103*f - 8. Which is smaller: f or -21?
-21
Let x(c) = c**3 - c + 10. Let o be x(0). Let i(f) = -f**2 + 12*f - 24. Let w be i(o). Which is greater: w or -14?
w
Suppose 0 = 3*h + 3, 3*w - h + 3*h + 14 = 0. Let i be (-4)/(16/(-10))*w/(-5). Which is smaller: i or -0.2?
-0.2
Let m be 1/4 - (-2867)/(-244). Suppose 2*k + 30 = 6. Which is bigger: m or k?
m
Let y = -56 + 52.7. Let b = y - -2.3. Let d = 48/5 + -10. Is d > b?
True
Let p = -2 + -5. Let f(r) = -r**2 - 9*r - 6. Let v be f(p). Let m be v/7*(-1)/4. Is m != -1/4?
True
Let b be 1*(-362)/4 - (-3)/6. Let w = 90 + b. Is 10/19 smaller than w?
False
Let j(l) = 65*l**2 + 23*l - 23. Let g be j(1). Which is bigger: g or 67?
67
Let a = -883 + 878. Are a and 22/13 non-equal?
True
Let p = -10860 + 3116804/287. Is 1 greater than or equal to p?
True
Suppose 5*p + 0*p = 100. Suppose y = -5*l + 25, -5*l = 2*y - 5 - p. Let x = -3 + 7. Which is smaller: y or x?
y
Let x(n) = n - 1. Let y be x(0). Let w be 3/y - (-44 - -2)/(-3). Which is smaller: w or -1?
w
Suppose -i + 37 = 32. Suppose -7*c + 2 = -i. Which is greater: c or 14/11?
14/11
Suppose 0*j - j - 4*l = 4, -4*j + l + 1 = 0. Suppose 5 + j = i. Let w be (-2)/(-20)*(-70)/i. Which is smaller: w or 0?
w
Suppose -2*n - 218 = 5*p, -23*n + 20*n - 217 = 5*p. Suppose -t = -5*t - 176. Do p and t have different values?
False
Let j be (-2)/(-5) + (-132)/55. Let a be (j/3)/(2/(-3)). Are a and 1 nonequal?
False
Let p(l) = 2*l - 2. Let c be p(3). Suppose 3*d = -w, c*w - 10 = 2*d - 4*d. Let o be (4/12)/(w - 2). Which is bigger: 1 or o?
1
Suppose -3 = -2*s + 5, v - 3 = -s. Let w = 20106/11 + -1830. Is v not equal to w?
True
Suppose 10*t - 13*t + 6 = 0. Let n be (-3 - (0 + 3))*t/3. Which is smaller: 1 or n?
n
Let x = 13530 + -13539. Suppose 2*m = -3*g - 5 - 6, -7 = g - m. Is x greater than g?
False
Suppose -11*b = -51 - 26. Suppose -b*l = -l + 96. Is l <= -5?
True
Suppose -3*h + 18 + 12 = 0. Suppose h*l - 2 = 11*l. Are l and -5/7 equal?
False
Let o be (0 + -1)/(5 - 6). Suppose 3*y - 10 = -o. Let u(m) = m**2 - 4*m - 1. Let k be u(y). Which is smaller: -11/4 or k?
k
Let k(a) = -3*a**2 + 2*a + 1. Suppose 0 = -6*g + 11 - 17. Let q be k(g). Suppose -7*m + 3*m = 0. Which is greater: q or m?
m
Suppose 5*n - 106 = -36. Suppose 0 = 15*k - 17*k - n. Is -8 bigger than k?
False
Let a = 48 - 48. Suppose a = -3*l + 2 + 19. Which is bigger: l or 3?
l
Let a = -14 + 27. Let w(c) = 3*c - 61. Let m be w(24). Which is smaller: m or a?
m
Let d(l) = -l**3 - 5*l**2 - l + 2. Let f be d(-1). Which is smaller: f or 1/314?
f
Let f = 74 + -5253/71. Let h be (-1*(-2)/2)/(-1). Is h != f?
True
Let v be 71/(-5) - (4 - 5/1). Which is bigger: 0.1 or v?
0.1
Suppose 40 = -4*y - 2*o, -11*y = -15*y + 4*o - 40. Which is bigger: -15 or y?
y
Let n = 1060 - 1061. Which is greater: 1/40 or n?
1/40
Let x be 12/(-8)*4/(-9). Let p(c) = c**3 + 7*c**2 + 2*c + 5. Let w be 