5 = -o - 4*o. Is y at least as big as o?
False
Let f = 24 + -23.94. Which is greater: f or 1?
1
Suppose -3*d - 33 = -3*w, 3*w + 22 = -2*d - w. Do d and -14 have the same value?
False
Suppose 0*q = q - 4. Let r = q + -4. Let s = r - 0. Which is bigger: s or -2?
s
Let v be (-1)/(-1)*(-1 + -6). Let s = -8 - v. Which is smaller: -7 or s?
-7
Let i be 6/4 - 1767/(-62). Is i smaller than 30?
False
Let q = -0.1 + 0.2. Let l = q - 0.14. Let j = l - 0.06. Which is smaller: j or -2/5?
-2/5
Let w(b) = -2*b. Let o be w(-2). Let c(g) = g + g**3 + 2*g + 2 - g - o*g**2. Let m be c(2). Is -2 > m?
False
Let i = -3.7 + 3.8. Is i at least 3?
False
Suppose -3*h + 4*w = 9, 4*h + 0*w - 10 = -2*w. Let q be ((-6)/(-24))/(h/(-3)). Do q and -2 have the same value?
False
Let c be 2/2*(-2 - -1). Let z be 5*((-4)/10 + 0). Let p be z - (2 - 38/9). Which is bigger: c or p?
p
Let f be 1*(-587)/(-378) - 2. Let y = 299/108 - 11/4. Let q = f + y. Is 0 < q?
False
Suppose n - 4*n = -9. Suppose 21 = -3*u + n. Which is smaller: u or -7?
-7
Suppose -2*d + 5*j = -95, -38 = -2*d + 2*j + 42. Which is bigger: 34 or d?
d
Suppose 0 = -26*u + 23*u - 72. Which is greater: 0.2 or u?
0.2
Let j = 9 - 6. Suppose 7*z - j*z + 16 = 2*r, -10 = 4*z + r. Is z at least -2?
False
Let d = -35 - -34.92. Is d greater than or equal to 1/2?
False
Let g be (2 - 5)*1 + 163. Suppose r + 5*i + 85 = -r, 5*i = 5*r + g. Let h = 246/7 + r. Is 1 less than or equal to h?
False
Suppose -2*c - 11 = -17. Is c equal to 9?
False
Suppose -8*g = -3*g + 25. Let u = g - -6. Is 3 less than u?
False
Let l be 1 - -4*2/4. Suppose -l*s - 2 = -5*s. Which is greater: s or 2?
2
Suppose -n - 15 = -5*d, 4*n + 9 + 51 = -3*d. Let z = n - -21. Is -1 at most as big as z?
True
Let y be 2/((-2)/(-4 + 2)). Let f(h) = -h**3 - 3*h**2 + 4*h + 2. Let x = 8 - 12. Let m be f(x). Is m at most as big as y?
True
Suppose f - 4*y - 43 = -2*f, -y = 2*f - 14. Let u(r) = r. Let n be u(3). Which is bigger: f or n?
f
Let o = 1 - 1.3. Let q = 0.8 + 0.2. Let i = q + -0.9. Are i and o nonequal?
True
Let i(h) = h**2 - 2*h + 1. Let t be i(3). Suppose t*b + 4*r - 55 = b, -5*b - 5*r + 95 = 0. Let x be (-43)/(-30) - b/35. Is 1 greater than or equal to x?
True
Let d be 14/(-35) + (-6)/10. Let x(j) = j**2 + 4*j + 2. Let k be x(-3). Is d >= k?
True
Let z be 0*(18/(-12))/3. Let w be 3/11*-2 + 0. Are w and z non-equal?
True
Let g be ((-2)/10 - 35/(-50))*-4. Which is smaller: -15/7 or g?
-15/7
Let m = 352 - 418.9. Let b = -64 - m. Let i = b - 3. Which is smaller: -1/4 or i?
-1/4
Suppose -4*d - 1 = -3*d. Let s = -60/13 + 407/91. Which is greater: s or d?
s
Suppose -4*q + 2*q - 4 = 0. Which is greater: 2/9 or q?
2/9
Let r = -22 - -24. Suppose r*g - 7 = 3*g. Which is smaller: -5 or g?
g
Let u = 2 - -5. Is 7 at least u?
True
Let t(u) = -3*u - 4. Let p be t(-3). Let b be ((-2)/5)/((-4)/p). Which is smaller: b or 1?
b
Let c = 9 - 9. Suppose 3*n - 19 = h, -n + h + 3 = -c*n. Suppose -3*q + 3*a = 3, n*a = 3*a + 25. Is 4 > q?
False
Let o = 6 - 7. Is o greater than or equal to 32?
False
Let z = -394 + 20096/51. Let s = 41/255 + z. Let q be ((3 - 1)/1)/5. Do q and s have the same value?
False
Let x be (-22)/(-14)*1 - 2. Let p = -59.84 - -58. Let q = p + -0.16. Is x at most as big as q?
False
Let n(a) be the third derivative of -a**4/24 - a**3/3 - a**2. Let c be n(-2). Suppose c = 6*y - 4*y. Which is greater: y or 1/4?
1/4
Let g = -5 + 7. Let d = 1 - g. Is d less than or equal to -2?
False
Let x = 0.076 + -3.376. Does x = -1/2?
False
Suppose 2*l - 4*l = 0. Which is smaller: -2/3 or l?
-2/3
Let d = -209/15 + 40/3. Let a be -1 - (-8)/(-10) - -1. Let q = d - a. Are q and 1 unequal?
True
Let l be (-9)/(-3) + (-20)/(-5). Is 6 less than or equal to l?
True
Let f = 75/2 + -110/3. Let s = 1/3 - f. Which is greater: s or 0?
0
Suppose 0 = 5*p + 10 - 5. Let x = -1 + 4. Let w be ((-57)/10)/x + 2. Is w at least p?
True
Let f(x) = -7*x**3 + 2*x - 1. Let j be f(1). Let p = 9 + j. Let r = 1.01 - 0.01. Is r less than p?
True
Suppose -6 + 5 = h. Let z be 3/(h*3)*1. Is z smaller than 1/3?
True
Suppose -3*g + g - 185 = -3*j, 3*j = -4*g + 197. Is j >= 63?
True
Let s = 32 + -323/10. Suppose 0*p = -3*p - 3. Is p != s?
True
Let u = -2.2 + 4.1. Let n = u - 1.6. Which is greater: -0.1 or n?
n
Suppose 3 = -3*t + 4*t - 4*z, 2*z = 3*t - 29. Is 11 greater than or equal to t?
True
Suppose -4*o = -4*n - 48, 4*o + n = 4*n + 44. Let d be (-4 - -2)*(-69)/18. Which is smaller: d or o?
d
Let a = 8 + -6. Suppose -a*x = 5*p + 2 + 3, 4*x + 4 = -4*p. Let o be (p - -7)/3 + 0. Which is bigger: -3 or o?
o
Suppose 8*n + 4*l + 25 = 3*n, 4*l = n - 19. Let u be n*(1 - (2 - 1)). Let i be (-3 + 3)/(-2) + u. Which is greater: -1 or i?
i
Let a = -95.9 - -100. Let u = -4 + a. Is u at least as big as -0.1?
True
Let z = -11 - -7. Let b = z - -19. Is 16 bigger than b?
True
Let g = -15 + 10. Let f = -6 - g. Let k be f - (-1 + 0 + -3). Is 4 < k?
False
Let v be (4/20)/((-126)/5). Which is smaller: 1 or v?
v
Suppose 3*q + 1 = 2*q, 3*q - 9 = -4*i. Are 3 and i equal?
True
Let b = 20 - 20. Which is bigger: b or -1.4?
b
Let u = 35.3 + -25.2. Let m = u - 10. Which is smaller: m or -0.04?
-0.04
Let i(r) = -3*r**2 + 1. Let x(z) be the third derivative of -z**5/4 + z**3 + 3*z**2. Let n(k) = 11*i(k) - 2*x(k). Let m be n(1). Is m greater than -1?
False
Let z = 59/4 - 15. Let h(f) = -f**2 + 5*f + 6. Let c be h(6). Is z equal to c?
False
Let p(k) = 2*k - 3. Let a be p(2). Let z be (-1)/(-3) - 33/(-9). Let n = a - z. Is n at most as big as -2?
True
Let m = 467/7 + -8065/119. Is 0 greater than m?
True
Let d be (-7)/(56/12)*(-4)/(-11). Is -1 at most d?
True
Let z be ((-104)/3)/(5/15). Are z and -105 nonequal?
True
Let z(d) = -d**2 - 5*d - 1. Let m(q) = -q**3 + 3*q**2 + 3*q. Let r be m(4). Let o be z(r). Let x be 35/77*o/(-5). Is 1 < x?
False
Let o(z) = z**2 - 8*z - 15. Let g be o(9). Which is greater: g or -40/7?
-40/7
Let g = 0.1 + 0.9. Is g greater than or equal to -2/7?
True
Let b(z) = z + 1. Let r = 9 - 6. Let g be b(r). Is g at least as big as 4?
True
Let t = -19 - -13. Let m be 14/t - (-3 - -1). Is -1 less than m?
True
Let z = -2.6 - 0.9. Let x = 0.5 + z. Is x not equal to 2/7?
True
Let v = 65 + -62. Which is smaller: 4 or v?
v
Suppose -2 = -3*z - 2. Which is greater: z or 0.7?
0.7
Let b(y) = -y**2 + y - 1. Let l be b(0). Is -9/17 >= l?
True
Suppose 3*y = q + 7, -2*q = -4*y + 2*y + 2. Let u be 2/14 - -2 - y. Do -1 and u have different values?
True
Let a(l) = -2*l + 3. Let z be a(4). Which is bigger: -2 or z?
-2
Let a be (-5)/(2/4*2). Let p = a - -9. Suppose 0*n = -n - p*f, 3*f = -n. Is n less than or equal to 3/4?
True
Let o = -0.05 - 6.95. Let z = -7.1 - o. Let b = -233/4 + 58. Are b and z unequal?
True
Let n = -0.7 - -5.7. Let s = n - 5. Which is smaller: 1/2 or s?
s
Let n = 135 - 125. Is 10 greater than n?
False
Let i = 13 - 7. Is 5 smaller than i?
True
Suppose -f - 3*f = -4. Let n be (9/(-126))/((-2)/(-4)). Which is bigger: f or n?
f
Suppose -r = 4*r + 3*t - 45, 4*r + 2*t = 36. Suppose -4*n + 0*c = -3*c - 23, -c - r = -2*n. Which is greater: 4 or n?
4
Let q = 12 - 6. Suppose 4 = -2*x - q. Which is smaller: x or 1?
x
Let m(w) = 2*w**3 + 4*w**2 + 4*w + 2. Let i be m(-1). Are i and -4/49 unequal?
True
Let s = 207/4 + -50. Is s at most as big as 1?
False
Let d(v) = 4*v + 31. Let f be d(-6). Is f > 20/3?
True
Let h = 3/521 - -7803/2084. Which is smaller: 3 or h?
3
Suppose -2*d - d - 6 = 0. Let i be (-39)/21 + d/(-1). Is 1 equal to i?
False
Let o = 133 - 158. Is -23 greater than o?
True
Let r = -11 - -11.8. Let a be (-483)/207*2/(-14). Which is bigger: a or r?
r
Let b(c) = -c + 3. Suppose -4*q + 33 = 5*l, 0 = 8*q - 3*q - 2*l. Let u be b(q). Is -15 < u?
True
Let k be (137/(-42))/(10/6). Let z = 4/291 - -6071/2910. Let r = k + z. Which is bigger: r or 1?
1
Let s(u) = 6*u + 22. Let v be s(-4). Which is smaller: v or -9/4?
-9/4
Let b(i) = i + 8. Let t(v) = -3*v - 16. Let r(a) = 5*b(a) + 2*t(a). Let c be r(9). Suppose -19 = 4*y + 5*s, -2 = 2*s + 4. Is y less than or equal to c?
True
Suppose 5*s + 28 = -17. Do -46/5 and s have the same value?
False
Suppose -2*j = -j + 14. Let w = j + 10. Which is smaller: -3 or w?
w
Let x(i) = -i + 2. Suppose 5*p - 6 + 21 = 0. Let l be x(p). Which is bigger: l or 6?
6
Let o be ((-15)/(-6) + -3)*0. Is o at most as big as -8