 i = q + 508/5. Is d less than or equal to i?
False
Let i(s) = -4*s - 4*s - 2 + 3*s + 4*s. Let u be -5 + (-1 + -1)/(-1). Let d be i(u). Which is smaller: 0 or d?
0
Suppose 0 = u - 2*a - 15 - 7, -2*a - 48 = -2*u. Do -0.1 and u have different values?
True
Let f = -2/67 - 185/536. Which is smaller: f or 1?
f
Let n be 2/(-10) + 1 + (-21)/(-5). Is n greater than or equal to 2?
True
Let k be (-1)/4 + (-82)/(-8). Let d = 10 - k. Are -1 and d equal?
False
Let w = 16.3 - 17. Let v = w + 2.7. Is 0.1 greater than v?
False
Let k = 38 + -35. Let r be (0 - -8)/2 + -1. Is k != r?
False
Suppose 0 = 2*t - t. Let m be 2 + -2 + t + -2. Is m > 0.1?
False
Suppose -3 - 5 = -a. Let z be 7/(-9)*a/(-14). Which is smaller: 1 or z?
z
Let d = 0.93 - 0.83. Is 13 bigger than d?
True
Let t = -53/180 + 2/45. Let h = -9.18 - -2.18. Does t = h?
False
Let l be -3 - (-20)/2 - 0. Let j be (-1)/(2/10 + 0). Let i = j + l. Which is smaller: i or -3?
-3
Let d be (70/12)/7 + -1. Suppose 2*k - 4*u - 6 = 0, 0*u = -k + 4*u - 1. Suppose 4*r = 8*r + x - k, 5 = r - 3*x. Which is smaller: d or r?
d
Let x = 507 - 751. Let o = 1712/7 + x. Which is bigger: 0 or o?
o
Let u = 8 + -1. Let g = u - 5. Suppose -2*h = -2*i + g, -3*i - h - 4*h = -3. Is i < 1?
False
Suppose 6*v - 4*f + 2 = v, 2*v = f - 2. Let x(r) = r**3 + 3*r**2 - 2. Let g be x(-2). Let b be 2 - g*6/4. Which is greater: b or v?
b
Let g(x) = -x**2 - 10*x - 11. Let o be g(-9). Are -2 and o unequal?
False
Suppose 3*m + 21 = -3*s, 0 = 2*s + m + 3*m + 20. Let l be (8/(-18))/(s/6). Which is smaller: l or -1/2?
-1/2
Suppose i - 5 = -0*i. Suppose 0 = i*u - u. Is u less than 2/3?
True
Let u be (0/(2/(-1)))/1. Suppose u = -5*v + 4*v + 7. Which is bigger: v or -1?
v
Let h(l) = l**3 + 4*l**2 + 4*l. Let o be h(-2). Let v be 1 - (-1)/(21/(-23)). Which is greater: o or v?
o
Suppose -2*l - 5*g - 32 = -3*g, 2*l = g - 47. Let j = l + 83/4. Which is smaller: j or -1?
-1
Let u be 2/3*6/(-112). Which is bigger: 0 or u?
0
Let z be (1 + 15/(-6))*-2. Suppose -4*i = -z*i + 9. Let r be 2 - (-39)/i - -2. Is r less than or equal to -0.4?
False
Suppose 4*f = 5*d - 52, 6*f - 2*f - 2*d + 52 = 0. Is f >= -13?
True
Let a be (-1 - 2) + 73/27. Let n = a + 151/54. Which is smaller: 1 or n?
1
Let a(f) = f**2 - 3*f - 1. Let q be a(-2). Let i be 79/q - 6/(-27). Suppose 4*y - y = i. Is y < 0?
False
Suppose -2*w - 2*m - 8 = -4*w, 4 = -4*m. Suppose -3*v - o = -1 - 2, -3*o - 15 = -3*v. Let s be 1*v*(-2)/(-4). Is w bigger than s?
True
Let x = -17.6 + -0.4. Is 1 bigger than x?
True
Let j = -5 - -4.94. Which is smaller: j or 9?
j
Suppose w - 5*w - 84 = 0. Let n be (18/10)/(w/(-70)). Is n > 4?
True
Let w be (-6)/(-8)*12/18. Is -2 not equal to w?
True
Suppose -10*j - 8 = 22. Let h = -7 - -3. Which is smaller: h or j?
h
Suppose -2*u = -o + 163, 2*u + 2*o = -0*o - 172. Which is bigger: 0.1 or u?
0.1
Let w = 2/9 + 5/18. Let i = -18 - -16. Is i equal to w?
False
Suppose 0 = -5*g + 6*g - 18. Suppose -4*a - t + g = a, -t - 14 = -3*a. Let l be (a/10 - 1)/1. Is l greater than -1?
True
Let j(t) = -t**3 - 5*t**2 + t + 5. Let q be j(-5). Let g be (-4)/(-10) + 357/45. Let h = -269/33 + g. Which is smaller: h or q?
q
Let k = 64 + -63. Which is smaller: k or 1/156?
1/156
Let v be -161 + (-7)/(147/6). Let d = -69 - -230. Let m = d + v. Is 3 smaller than m?
False
Let p be ((-2)/(-132))/((-72)/4833) - -1. Which is bigger: p or 1?
1
Let r = -7.04 - -0.04. Which is greater: r or -1?
-1
Let m(d) = -d - 5. Let x be m(-8). Let l = -10 + 14. Let c = 6 - l. Which is smaller: c or x?
c
Let z(g) be the third derivative of g**5/20 + g**4/12 + g**3/6 - g**2. Let b be z(-1). Suppose 29 + 16 = 4*l + 5*q, b*q = 2*l. Is 4 not equal to l?
True
Let n be (-1)/5 + 33/15. Let c = -17 + 21. Suppose c = r - n. Which is smaller: r or 5?
5
Let m be (2/5)/((-2)/(-10)). Let v be 9 + 2/(m - 3). Which is smaller: v or 1?
1
Suppose 0 = 3*t + 4*p - 110, -t + p + 0*p = -25. Let w be t - 1 - 4/(-4). Let h be (-1)/(-5) + (-81)/w. Which is bigger: -3 or h?
h
Suppose 0 = -v - v + 10. Let t(s) = s**2 - 5*s - 1. Let y be t(5). Let u be (v/20)/(y/(-4)). Is u bigger than 2?
False
Let x = -1.5 + 1.4. Let y be ((-2)/(-4))/(2/12). Which is greater: y or x?
y
Let q(c) = -c**2 - 9*c + 14. Let p(t) = t**2 + 9*t - 3. Let v be p(-8). Let d be q(v). Which is greater: d or -1/2?
-1/2
Let b be (3/108*3)/1. Let h be (10/9)/(32/(-12)). Let v = b - h. Is 2 > v?
True
Let d(f) = -2*f - 21. Let q be d(-10). Which is bigger: 2/79 or q?
2/79
Let t(v) = 2*v**2 - 11*v + 8. Let h be t(4). Does -5 = h?
False
Let t(h) = 7*h**2 + h + 1. Let d be t(-1). Let m(l) = -l**3 + 7*l**2 + 2*l - 10. Let b be m(d). Which is smaller: b or 3?
3
Let o be (-250)/(-6) + (-1)/(-3). Let c = o + -14. Suppose -4*k - c = 4*q, q + k = 6*q + 5. Is q equal to -1?
False
Suppose 7 = 5*h - 3. Suppose -a + 2*b + 3 = -h*b, 0 = -4*a + 2*b - 2. Let t be (1 - 1)/(4 - 1). Which is bigger: a or t?
t
Let h = -44 - -5721/130. Is 1 bigger than h?
True
Let g = 123/2 - 60. Let v be ((-12)/(-8))/((-2)/(-4)). Suppose -v*p - 16 = p, 10 = -2*z - 3*p. Is z bigger than g?
False
Let u(x) = x + 8. Let f be u(-6). Suppose 4*z + 12 = -3*l, z + f*z - l - 4 = 0. Are z and 8 nonequal?
True
Let i = 0 - 0. Let h = 10.2 + -11. Let y = h - -1. Is i smaller than y?
True
Let q = -0.92 + -19.08. Is q > 0?
False
Let s = -0.03 - 0.07. Let p = -6/25 + -4/25. Is s greater than p?
True
Let u be 42/8 + (-4)/16. Suppose -u*p + 24 = -p. Which is smaller: p or 7?
p
Let b = 139 - 559/4. Let h(n) = 0*n**2 + 4*n - 2*n**2 + n**2. Let d be h(4). Which is bigger: d or b?
d
Let l(p) = -p**3 - 3*p**2 - p - 1. Let z be l(-3). Let o be (z - 1)/((-1)/2). Let s be ((-3)/6)/(o/(-12)). Is -3 > s?
False
Let v(o) = -o**2 - 5. Let n be v(0). Is -16/3 at least as big as n?
False
Let k = 13 + -7. Suppose 2*j - 5*l + 6 = -4*l, k = -j + 2*l. Let z(v) = -v**2 - 2*v. Let p be z(j). Which is smaller: 1/8 or p?
p
Let a = 7.03 - 7. Let g = a + -0.03. Let v = -0.06 - -2.06. Do v and g have the same value?
False
Let w = 2613 - 185520/71. Let x = -163/497 + w. Is x at least -0.1?
False
Suppose 2 = 6*l - 4*l - 4*w, 5*l + 5*w = -55. Is -4 > l?
True
Let i be 6*4/1*(-9)/189. Is i < 0?
True
Let j be (10/4)/(105/20 - 4). Is j at least -2?
True
Suppose -2*p - 5*g = 20, p - g = g - 1. Suppose 9*u = 5*u + 24. Let f = p + u. Do -2/9 and f have the same value?
False
Let q = 4.5 + -4.6. Is q not equal to 0.26?
True
Let z = -15 - -18. Suppose -3*b + z = -6*b. Which is smaller: 1/3 or b?
b
Let s(x) = -x**3 - 3*x**2 + 3*x - 3. Let l be ((6 - 1) + -1)/(-1). Let w be s(l). Let j = -18 - -107/6. Which is greater: w or j?
w
Let m = -2.8 - 1.2. Let j = -4 - m. Which is greater: j or 1/14?
1/14
Let b = 57.9 - 58. Are b and -0.046 equal?
False
Let y = 5 + -4. Let k be (-6)/3 - (-17)/10. Let m = -11/20 - k. Which is greater: m or y?
y
Let i be (0 + 2)/(-4) - (6 + -5). Which is bigger: 0.01 or i?
0.01
Suppose -4*f = v + 2*v + 17, v + 12 = 5*f. Is v not equal to 2?
True
Let h be -2 + (4 - 1) - 99. Let p be (0 - -2)*(-7)/h. Are p and 1 equal?
False
Suppose -6 = 5*y - 3*y. Let a = -5 + 9. Suppose 6 = v - a*v. Which is smaller: y or v?
y
Suppose 6*p = 3*p. Suppose -6*t - 6 = -p*t. Suppose a + 2*u = 5, 4*a + 4*u + 6 = 14. Is t greater than a?
False
Let y be (3 - (-21)/(-6))*-6. Suppose 0 = a - 0*a - 3. Let t be y - ((-9)/15 + a). Which is smaller: t or 2?
t
Let g be (-8)/2 - (-2 + 5). Is g less than -8?
False
Let l be (1/(-2))/((-2)/(-4)). Let y be (6/8)/l*-4. Let p = -53/2 - -27. Are p and y equal?
False
Suppose -4*z - 10 = 2*d, -z + 0*d + 2 = 2*d. Let n(x) = x**2 + 5*x + 6. Let u be n(z). Let v be (3/9)/((-1)/(-3)). Is u at most v?
False
Let g = 0.8 - 1.8. Is 0.4 <= g?
False
Let z = 62/195 - -14143/780. Let l = z + -75/4. Suppose -8*s = -4*s + 4. Which is bigger: l or s?
l
Let h be 36/(-96)*70/3. Is h at least -8?
False
Suppose 0 = y - 5*y - 36. Let s be (-5639)/4440 + 3/y. Let t = s + 1/296. Which is bigger: t or -2?
t
Suppose 6*z - 3*z = -0*z. Is z greater than 2/5?
False
Let m be 1 - (5 + -2 + 0). Let s(v) = -6*v + 2*v**3 - 1 + 3*v - v**2 + 2*v. Let p be s(-1). Do p and m have different values?
True
Let t(j) = -j**2 + 9*j + 2. Let q be t(6). Suppose 4*c = -2*v - 34, -3*v - q = v. Which is bigger: c or -5?
-5
Let j = 0.5 + -0.3. Let x = -6.4 + 6. Let v = -0.3 - x. Which is big