/7. Is y less than q?
False
Let n be (-6)/18 + 14/96. Do n and 1 have different values?
True
Let b(i) = 5*i**2 + 8*i + 13. Let w be 21*1*(-1)/(-3). Let a(p) = -2*p**2 - 4*p - 6. Let k(h) = w*a(h) + 3*b(h). Let l be k(5). Which is greater: l or -1?
l
Let q = 1 - 3. Let x = -0.1 + -7.9. Let s = 8.1 + x. Which is smaller: q or s?
q
Let o = 3343/13 + -257. Let k be 6/4 - (-2)/(-4). Let f(a) = -a. Let p be f(k). Which is greater: o or p?
o
Let j = -3.36 - 0.44. Let h = 4 + j. Let u = h - 0. Which is smaller: -1 or u?
-1
Let o = -14 - -15. Is o at most as big as 2/51?
False
Suppose -3*n + 0*n = -15. Suppose n*t + 1 = 11. Let m = -14 + 16. Is t > m?
False
Let q(r) = r**3 - 7*r**2 - 8*r - 3. Suppose -5*o = 2*t - 38, o = -2*o - 4*t + 20. Let n be q(o). Which is greater: n or -4?
n
Let q = 99/5 - 20. Is q != -1?
True
Let q = -1/7 + -1/7. Suppose -5*n = -0*n. Let k = n + 0. Which is smaller: k or q?
q
Let i = 34 - 39.7. Let y = i - 1.3. Is y greater than 2/5?
False
Let y be 3*(138/(-18) - -1). Is -2 bigger than y?
True
Suppose -3 - 3 = -2*m. Suppose -m*z - 4 = -1. Which is bigger: z or 4?
4
Let h = -20.991 - 0.209. Let p = h + 20. Is p smaller than -1?
True
Let d be 1 - 1 - 1*1/4. Which is greater: d or 8/9?
8/9
Suppose -4*b - 20 = -2*u, b = 5*u - 3*u - 5. Suppose k = -3*r + 17, -2*k - 2*r = -22 + 8. Suppose u = a + g + 5, -4*g - 10 = -k*a + a. Is -1 at least a?
True
Suppose 3*u = 5*f - 14, -5*f + 20 = -u - 4*u. Let m be 0 + (-3)/6*-10. Suppose -z + m*z = 0. Which is smaller: z or f?
z
Suppose -5*x = 4*k + 2, -4*k = -3*k + 3*x - 3. Let h be (9/(-3))/(k/4). Is -1/2 bigger than h?
False
Suppose 0 = -2*f - 4 + 6. Let x be f - (-2 + 1) - -2. Suppose 0 = -5*h + h + 20. Do h and x have the same value?
False
Let k = -1.4 - -7.3. Let d = -6 + k. Is 6 less than or equal to d?
False
Suppose 5*z = -0*y + 4*y - 53, y = 4*z + 38. Let v be ((-11)/33)/(1/6). Let n be (-2 - z/3) + v. Which is smaller: n or -3?
-3
Let a = 48 + -45. Which is bigger: a or 5?
5
Let w(b) = b + 8. Let i be w(-6). Suppose i*p = 2*l + 4*p + 2, 4*p + 7 = -3*l. Which is smaller: 2 or l?
2
Let v be (0 - -2) + 399/(-196). Which is bigger: v or -1?
v
Let c be -7 - 3 - (-4)/2. Is -11 less than c?
True
Let l(x) = -2*x - 3. Let t(d) = -3*d - 6. Let p(o) = 5*l(o) - 3*t(o). Let j be p(-8). Suppose j*k = 7*k. Which is smaller: k or -1/7?
-1/7
Let g be (-108)/135 + (-56)/55. Which is smaller: g or -3?
-3
Let m be (4/(-5))/((-4)/100). Suppose 2*u - m + 0 = 0. Let z be 0 + (16/u - 1). Do z and 2 have the same value?
False
Suppose 0 = 2*h + 3*h - 90. Let z be -2*(-3)/h*-3. Let c = 0 + 2. Is c greater than or equal to z?
True
Let x(j) = j**3 + 15*j**2 + 14*j + 19. Let o be x(-14). Which is bigger: o or -0.2?
o
Suppose r = -0*r - 1. Let v = r - -1. Which is smaller: -10/7 or v?
-10/7
Suppose -4*m + 22 + 2 = 0. Let h = m - 5. Which is bigger: 0.1 or h?
h
Let o = 99/2 + -48. Suppose 4*s = 3*s + 21. Let d be 2/(-14) - (-66)/s. Are o and d equal?
False
Let x = -34.9 + 32. Let m = 33.9 - 34. Let p = m + x. Which is bigger: p or 2?
2
Let z(d) = d**3 + 8*d**2 - 2*d - 12. Let v be z(-8). Suppose -v*w - u - 21 = 0, w - 5 - 1 = 2*u. Is w at least -4?
True
Suppose -146 = -7*k + 8. Which is smaller: k or 24?
k
Suppose -4 = -p - 1. Suppose p*b = 2 + 1. Suppose d - b = -3. Which is smaller: -4 or d?
-4
Suppose 18*b - 9*b = -54. Is b < 3?
True
Let x = -0.9859 - 0.0141. Let m be (-10)/48 - 2/(-6). Is x at most as big as m?
True
Suppose 8 = 2*l - 4*l, -3*t = -3*l - 57. Is 15 smaller than t?
False
Suppose 5*w - 4*v = 47, -2*v = -2*w - v + 17. Let g = 8 - w. Which is bigger: g or 1/3?
g
Let f(x) = x - 12. Let u be f(11). Is u greater than -18/13?
True
Let l = 0.759 + 0.041. Which is bigger: l or 1/10?
l
Let n = -0.03 - 0.01. Let g = n + 0.04. Is -0.2 less than g?
True
Let m = -51 - -99/2. Let r be (-3)/(-3)*1 + 0. Suppose 0 = 4*x + 4*u + 2 + 6, -4*x = -3*u + r. Is m > x?
False
Let p be (0 - -1)/(-6*35/14). Do -1 and p have different values?
True
Let a be 4/10 - (-1026)/(-1615). Which is greater: 1 or a?
1
Suppose 2*b = 6*b + 3*p - 4, -4 = -2*b - 2*p. Suppose 6*l - 13*l + 14 = 0. Which is greater: b or l?
l
Let u = -0.013 + 1.013. Which is greater: -6/35 or u?
u
Let j(t) = -4*t. Let d be j(1). Suppose -84*z - 28 = -77*z. Is d greater than or equal to z?
True
Suppose -n + 44 = 4*d, -5*n - 3 - 17 = 0. Let r = 31 + -18. Which is bigger: r or d?
r
Let c = -8 + 54/7. Which is bigger: c or 2?
2
Let r(x) = -x**3 + 6*x**2 + 10*x - 15. Let t be r(7). Which is smaller: 16/3 or t?
16/3
Suppose -h - 4 + 5 = 0. Suppose -h = 2*a - 5. Suppose -8 = a*l - 3*t, l + l = 4*t - 12. Is l less than 2?
False
Suppose -2*d + 31 = 3*a, 3 = a + 4*d - 4. Are a and 11 unequal?
False
Let d be 24/20*5/(-1). Let j = -5 - d. Which is smaller: j or 0?
0
Let d = 0.16 + -0.26. Let x = 10 + -7. Is d at most x?
True
Let u = 487/5 - 98. Let x = 122/3 + -41. Is u <= x?
True
Let b be ((-6)/5)/(1/(-5)). Suppose 3*q = q - k + 7, 22 = 5*q + k. Is q <= b?
True
Let k = -8 - -7. Let x be ((-4)/k)/(2/(-3)). Is -5 greater than or equal to x?
True
Let h be -2*(12/78 + (-34)/52). Which is greater: h or -2/11?
h
Let r(s) = -s**2 - 7*s - 5. Let d be r(-6). Let z = 2676/11 + -21372/77. Let t = -34 - z. Which is bigger: t or d?
d
Let m(z) = -3*z**2 + z + 1. Let b be m(-2). Let x = -8 - b. Suppose -6 = -x*q + 2*q. Is 4/5 > q?
False
Let f = 2.29 - 2.2. Let h = f + -4.09. Let t = h + 2. Which is smaller: t or 1/2?
t
Let b(x) = x**3 + 5*x**2 + 4*x - 1. Let z be b(-4). Which is greater: -1/17 or z?
-1/17
Suppose -36 - 54 = -5*k. Let r = -18 + k. Which is greater: r or 1/2?
1/2
Suppose 0 = -r + 2*r - 5*f + 18, -3*f = -12. Suppose 0 = -b - z, 3 - 4 = 4*b + 5*z. Is b at most as big as r?
True
Let t be 2/(-8) + (-2613)/(-180). Let r = -44/3 + t. Let n = 32 + -33. Is n greater than or equal to r?
False
Let v(y) = y + 1. Let h be v(-1). Suppose -2*j + j = h. Suppose c = -j*c. Which is smaller: -2 or c?
-2
Let o be 5 + -4 - 12/5. Are o and -1 unequal?
True
Let o be -8 - -4*(-4)/16. Let q = -8 - o. Which is smaller: q or 2/9?
2/9
Let i = -3425/16 + 214. Let q = -25/112 + i. Let m = -3 + 3. Is m bigger than q?
True
Let s = -139 + 136. Let w = -1 - -2. Let n = w + -1. Is s <= n?
True
Let l be 0*2/(-4) - -1. Let f = 336 + -46030/137. Let u = f + 397/959. Which is greater: u or l?
l
Let r = -2/607 - -1837/4856. Let i(f) = -f - 11. Let m be (-35)/3 + 4/6. Let b be i(m). Which is bigger: b or r?
r
Let s = 528 + -2125/4. Let g = s - -7/2. Which is smaller: g or -2/15?
-2/15
Let d = -22 + 14. Let z be (d/20)/((-18)/(-10)). Is -1 greater than z?
False
Suppose -i - 9 = -2*l, 4*l - 3*i - 2*i = 3. Let r be 6/4*(-8)/(-6). Let t be 17/14 + r/l. Is 1 equal to t?
False
Let k = -48 + 16. Which is bigger: -31 or k?
-31
Let w(i) = i**2 + 4*i - 4. Let h be w(-5). Let v be (-10)/15*h/(-2). Let s be (-2)/4*4/2. Is s equal to v?
False
Let q be (-40)/25 - 2/5. Let m be q/(-6) + 39/(-9). Are -3 and m equal?
False
Let j = -332/1211 + -2/173. Which is smaller: 0 or j?
j
Let j = -19 - -11. Let b = j - -7. Let p be (-42)/20 + (-3)/(-2). Do p and b have the same value?
False
Suppose -2*t = t - 12. Let z = 2 - t. Suppose -5*d = 4*b + 5, -d - 1 = -0*b - 2*b. Do d and z have the same value?
False
Let o be 1*(2 - (-3 - -7)/4). Which is smaller: o or 1/86?
1/86
Let d(l) be the second derivative of l**5/20 - 5*l**4/12 + 5*l**3/6 - 3*l**2 + l. Let b be d(4). Is b at least as big as -4?
True
Let p(m) = 2*m + 9. Let j be p(-4). Let f be -2*j*1/(-17). Is 1 greater than or equal to f?
True
Suppose -5*g + 84 = -5*t + 9, -5*t - 2*g = 110. Let k be (6/t)/((-30)/25). Let d = -2 - -3. Is d less than k?
False
Let d(g) = 6*g. Let a be d(-2). Which is greater: a or -13?
a
Let y = 4.3 - 4. Let m be 22/(-165)*6/2. Is y < m?
False
Suppose 0 = -2*p - 2*u - 0*u - 28, -5*p + 3*u - 30 = 0. Let a(q) = q**3 + 10*q**2 + 6*q - 8. Let r be a(p). Is r >= 20?
False
Let c = -152 + 145.7. Is -1/2 less than c?
False
Let s be 3/6*2*-21. Let v = 37 + s. Let j = v + -110/7. Do j and 1 have different values?
True
Suppose -3*y = -8*y. Suppose -t + 4*t + 3*q = 15, t + 5*q - 25 = y. Is t smaller than -4?
False
Let g be (-2)/(-3) + 176/(-282). Let s = -37/235 - g. Suppose -7*n + 4*n - 3 = 0. Is n greater than s?
False
Let z = 1287 + -7747/6. Which is greater: z or -