4*j + 7. Which is smaller: j or -3/7?
-3/7
Let c(t) = t**3 - 6*t**2 - t - 8. Let y be c(6). Is -15 less than y?
True
Let w = 21 - 20.9. Is w less than -13?
False
Let t(s) = -5*s**2 - s + 1. Let m be t(1). Let d(f) = 0*f**2 - 1 + 3*f + 2*f + f**2. Let z be d(m). Which is smaller: z or -2?
-2
Let t be 68/(-10) + (-4)/20. Let p(i) = i**3 + 6*i**2 + 4*i - 7. Let v be p(-5). Let j = v + -4. Which is bigger: j or t?
j
Let w = -129 + 85. Which is bigger: -45 or w?
w
Let p = -5/2 + 3. Do 0 and p have the same value?
False
Let r = -3.636 - -0.036. Which is greater: r or 0.2?
0.2
Let f = -4 - -5. Let k = f - 0. Let v(g) = -g + 14. Let s be v(14). Which is greater: s or k?
k
Let r be (-2)/((-6)/(-21)) + 1. Let t = r + 10. Let b be -1 + t/(60/9). Which is smaller: 1 or b?
b
Suppose 0 = -4*v - 3*f + 41, 4*f + 0*f = -3*v + 22. Which is bigger: 15 or v?
15
Let l = 23.9 + -24. Is -1/19 greater than l?
True
Let p be (-8)/8 - -1*4. Suppose p*a + 10 = 4. Let h = -7 - a. Is h at least -3?
False
Let x = 7 - 4. Suppose 9 = -x*d - 24. Let q(c) = -c - 4. Let j be q(d). Is 7 at most j?
True
Let b(x) = x - 7. Let v be b(9). Let q = v + -4. Which is bigger: q or -3?
q
Let h(s) = -3*s - 8. Let o be h(-6). Is o smaller than 9?
False
Suppose 8 + 2 = -2*m. Which is bigger: m or -3?
-3
Let k(g) = -g**3 - 3*g**2 - 2*g - 1. Let o be k(-2). Is -2 greater than o?
False
Suppose 26 = -5*i - 4. Let w = 10 - 13. Is i < w?
True
Let z = -0.1 + 0.1. Let p = 5.1 - 5. Is p greater than z?
True
Suppose 52 + 8 = -4*l. Is l at least -16?
True
Let s be (-51)/(-4)*(-32)/(-12). Suppose 2*k = 5*k + 5*b - s, -4*k = -2*b - 2. Which is greater: 2 or k?
k
Let p be (6/15)/(-26*(-1)/(-10)). Suppose -1 - 1 = 2*h. Is h != p?
True
Suppose 0 = 4*d - 18*d + 476. Is d smaller than 33?
False
Suppose -24 = 3*x - 3*z, -x - 8 = 3*z - 2*z. Let l be 1/x + (-130)/112. Is l > -2?
True
Let b = -1 + 2. Let s = b + -1. Let n = 14 - 13. Which is smaller: n or s?
s
Let s = 0.4 - 0.4. Let h = s + 0.2. Let o = -0.3 + h. Is -2 not equal to o?
True
Suppose -15 = -5*n - 0*n. Suppose 5 = k - 2*k + 2*y, 2*y = n*k - 1. Are k and 2 non-equal?
True
Let h = 8 - 3. Suppose 5*g - 5*a + 25 = 0, 0 = -4*g + h*g - 5*a + 25. Which is smaller: 2 or g?
g
Let x = -2/779 + -40494/5453. Let f = x - -347/42. Let m be (3/(-6))/(-1)*2. Are f and m unequal?
True
Let m = 0.73 + -0.77. Is m greater than 1?
False
Let y(h) = h + 3*h**3 + 0*h**3 + 8 - 2*h**3 - h**2. Let u be y(0). Suppose -d - 7 = -5*k, u*d - 4*d = -8. Is k greater than or equal to 4/7?
True
Let f(v) = v - 2. Let k = 8 + -10. Let p be (2/6)/(k/(-18)). Let w be f(p). Is 6/7 at most as big as w?
True
Let j = -8.078 + -0.022. Let c = -14 - -12.9. Let k = j - c. Which is smaller: k or 1/2?
k
Suppose -12*z = 9*z. Which is smaller: z or 2/409?
z
Suppose -3*p - 2*b + 60 = p, 5*p - 4*b = 49. Which is greater: p or 14?
14
Let f = 63 + -45. Do -0.1 and f have the same value?
False
Let w be (-1776)/(-4540) - 4/10. Let h be (-229)/227 + (-1)/2. Let t = h - w. Which is greater: t or -2?
t
Let y be 1/1*1 + 2. Suppose y = -5*h + 4*a - 37, -5*h = 3*a + 5. Is h greater than -4?
False
Let b(v) = -v**2 + v + 1. Let w be b(2). Let h be (-5)/(-25) - (-1 - w). Which is smaller: 0 or h?
0
Let t(y) be the first derivative of y**4/4 - 5*y**3/3 - 5*y**2/2 + 2*y - 3. Let q be t(6). Suppose 0 = -2*v + q + 4. Is 0.1 >= v?
False
Let p = 8.1 - 8.3. Which is smaller: p or 8?
p
Let w = 545/7 - 78. Are 1 and w non-equal?
True
Suppose t - q + 5 = q, 0 = q + 1. Which is bigger: t or -9?
t
Let y = -11/26 + -14/13. Is y < 0?
True
Let x(u) = -6*u**2 - 6*u + 4. Let r be x(-3). Which is smaller: -33 or r?
-33
Let j(t) = 2*t**3 - 4*t**2 + 3*t - 2. Let n be j(2). Which is smaller: n or 5?
n
Suppose 2*d - 2*s + 12 = 0, 2*d + 2*s + 13 = 5*s. Let t = 4 + d. Do t and -0.15 have different values?
True
Let n = 30.2 + -30. Which is smaller: n or -1/8?
-1/8
Let y = 45 + -23. Is y at least as big as 23?
False
Let v = 22 + -18. Suppose 2 = n - 2. Is v <= n?
True
Let g be 1 + 1 + (-6)/2. Let q = -2 - g. Let x be (2 - q) + (-57)/18. Which is smaller: 0.2 or x?
x
Let c = -11.6 + 11. Are 0.3 and c unequal?
True
Let r = 37550/47 + -799. Which is bigger: r or 0?
0
Let o(x) = -x**2 + 9*x + 7. Suppose 0*b = 2*b - 12. Let u(f) = f**2 - 3*f - 8. Let h be u(b). Let w be o(h). Is w not equal to -3?
False
Let y be ((-6)/(-10))/((-6)/(-4)). Let p = 2/61 - 69/244. Is p bigger than y?
False
Let p(d) = d**3 - 2*d**2 - 2*d + 2. Let r be p(3). Which is greater: 17/4 or r?
r
Let t be 60/35*(-14)/(-4). Let v(w) = w**3 - 7*w**2 + 8*w - 9. Let c be v(t). Is c at most 3?
True
Let n = 0.25 + -1.35. Let d = n + 1.1. Which is smaller: 2/13 or d?
d
Let d(z) = -z**3 - 12*z**2 - z - 21. Let m be d(-12). Do -10 and m have the same value?
False
Let z be (-4)/(-14) + 13/(-21). Suppose -3*v + 2 = -1. Which is bigger: z or v?
v
Let l = -6 - -27. Let n be (-13)/l - (-1)/3. Let v be 8*(1/8 + 0). Is n at most v?
True
Let a = 2 + 7. Let y = a + -37/4. Is -1 != y?
True
Let a be (-8)/5 + (-10)/25 + 1. Which is smaller: -1/25 or a?
a
Let i(q) = -q**2 + 5*q + 3. Let r be i(6). Let o be 1/1*r - 0. Which is greater: o or -4?
o
Let h = -8 + 9. Let o be (-108)/56 + 1 + h. Which is smaller: o or 1?
o
Let h be (-3 - (-19)/6)/2. Which is smaller: 0 or h?
0
Let p be (-4)/(-24)*(-6)/15. Which is greater: 1 or p?
1
Let v = -1 - -6. Let w = v - 4. Is -2/21 < w?
True
Suppose 2*u = u + 5. Let d = 14 + -10. Which is greater: d or u?
u
Let k = 2.966 + -0.116. Let a = k + 0.15. Which is bigger: 0.1 or a?
a
Let i = 38 - 38. Let x be 2 - 0 - 2/1. Is i > x?
False
Let k(m) = -2*m**2 - 3*m + 1. Let b be k(-2). Is b at least as big as -1/139?
False
Let z(v) be the third derivative of -v**4/24 - v**3/6 - 2*v**2. Let l be z(-3). Is 7/5 at most as big as l?
True
Suppose 0 = -2*k + 2*j - 4*j, 4*k + 5*j = 0. Is 1/6 >= k?
True
Let w be (2 + 12/(-8))*2. Suppose -2*k - w = k + 2*q, 5*k - 3*q = -8. Is 6 > k?
True
Let o be (5/(-4))/((-6)/(-24)). Let i be 2 + o + -6 + 10. Which is smaller: -14 or i?
-14
Suppose 0 = 4*u - 4*i - 20, 5*u + 2*i - 6*i = 20. Let r(s) = -45*s**2 - 4*s - 3. Let a be r(-3). Let b = a + 6734/17. Is b smaller than u?
False
Suppose -6 = -13*n - 19. Which is smaller: n or 2/25?
n
Let v = -0.13 + -6.87. Let g = v + 7.05. Let l = -1.05 + g. Which is bigger: l or 1/5?
1/5
Suppose k = 2*k - 2. Suppose -4*f + 2*z + 4 = 0, 0 = -4*f - 0*f + 4*z + 8. Which is smaller: k or f?
f
Let c = -115/168 + 1/56. Which is smaller: c or -1?
-1
Let d(o) = o - 7. Let m(f) = 2*f - 3. Let j be m(5). Let l be d(j). Let y = 35 - 172/5. Are y and l equal?
False
Let k be (6/(-27))/((-1)/1000). Let i = 14167/45 - k. Let p = i + -93. Which is bigger: p or -1?
p
Suppose -r - 3*r = -u + 9, -4*r - 11 = -3*u. Which is bigger: r or -17/8?
r
Let t(v) = 4*v**3 + 4*v**2 + 4*v + 1. Let l be t(-1). Is l less than or equal to -3?
True
Let n(p) = -3*p + 3. Let h be n(-2). Let u be (-39)/(-63) + (-3)/h. Suppose -14 - 4 = 3*k. Is u <= k?
False
Let n be 19/18 - 12/(-18). Let s = n + -14/9. Is -3 greater than s?
False
Let m(d) = -d**2 + 8*d - 7. Let f be m(8). Let c be 4/(-14) - 2/f. Suppose 2*u - 3*q - 8 = 0, q + 3*q + 16 = c. Which is bigger: 1 or u?
1
Let j = 5 - 4. Let v be j + 0/2 + -2. Is 3/8 bigger than v?
True
Let v be (-4)/2*1/7. Let g(m) = 3*m + 7. Let y(k) = -2*k - 3. Let p(h) = 3*g(h) + 5*y(h). Let a be p(6). Are v and a non-equal?
True
Let q be (10/6)/(2 - (-712)/(-360)). Are 75 and q non-equal?
False
Let o(m) = -m - 7. Let c be o(-7). Which is bigger: c or 1/15?
1/15
Suppose 5 = -2*x - 7. Is x >= -6?
True
Let m = -2/5 - 1/10. Suppose -2*h - 5*d - 17 = -3, 0 = 3*h + 4*d + 14. Which is smaller: h or m?
h
Let l(u) = -4*u - 9. Let y be l(-3). Is 3 greater than y?
False
Let j(p) = -p**2 - 7*p - 3. Let z be j(-5). Suppose 4*c = c + 9. Suppose 0*x - 4*u = 3*x - 5, c*x + 2*u - 13 = 0. Is x >= z?
True
Let s(i) = i**2 + 4*i - 4. Let q be s(-3). Let x be 4 + -3 - (-3)/q. Let k = -5 + 5. Which is bigger: x or k?
x
Let t = 3 - 3.25. Let g = t + -2.75. Is -2/3 less than g?
False
Let a be 74/68 + (-9)/18. Which is smaller: 2 or a?
a
Let f = -7 - -14. Let h(d) = d**2 - 8*d + 8. Let s be h(f). Suppose -4*k + 3 = -2*o - 3, -5*o = -5*k + 10. Are s and k unequal?
False
Let u = -8 - -13. Let t = -5.2 + u. Is 0.1 < t?
False
Suppose 4*k =