ppose -5*w - 15 = 3*d - 2*w, r = 2*w + 6. Is d > -1/4?
False
Let o(q) = 2*q - 3. Let r be o(3). Which is bigger: 1 or r?
r
Let p = -29 + 40. Let l be -12*(p/(-3) + 3). Do l and 9 have different values?
True
Let f(z) = -z**3 + 5*z**2 + 8*z - 6. Let x be f(6). Which is bigger: 2 or x?
x
Let m(b) = -3*b - 1. Let s = 3 - 2. Let l be m(s). Which is greater: l or 0.1?
0.1
Suppose 0 = w + 3*v + 24, -64 = 5*w - w + 4*v. Let t be (1/(-3))/(4/w). Let b(y) = y**2 - 9*y + 1. Let k be b(9). Is k greater than or equal to t?
True
Suppose -211 = -6*q + q - 2*m, 166 = 4*q + 3*m. Is q less than 43?
False
Let i be (2/(-58))/((-22)/(-4)). Let x = i - -652/2233. Let y be 9 - 9 - (0 + 0). Which is greater: y or x?
x
Let n be (-12)/(-2)*8/(-24). Let u be (-8)/444*114 - n. Is 1 >= u?
True
Let h(u) = 10*u - 3. Let o be h(3). Let m be (-2)/7 + o/21. Let c be -2 + (20/7 - m). Are 2/7 and c unequal?
True
Suppose -484 = -18*s + 20. Which is greater: s or 27?
s
Suppose 0 = 55*w - 62*w - 21. Which is smaller: 3.1 or w?
w
Let p = 0.23 - 0.08. Let q = p - 0.25. Which is smaller: -7/5 or q?
-7/5
Let n = 2 - 1.3. Let m = -0.8 + n. Is -1 != m?
True
Let o = -5.34 - -4.2. Let k = o + 0.14. Which is greater: 0.12 or k?
0.12
Suppose -2*z - 1 = 3. Do -1 and z have the same value?
False
Let x = -0.1 - -0.2. Let w = -17127/25 + 685. Let g = 19/75 - w. Which is bigger: g or x?
g
Let d = -7 - -12. Let z = 121 - 123. Are z and d nonequal?
True
Let x be (2/14)/(3/12). Let a = -5 - -3. Let u = a + 2. Is x >= u?
True
Let a be -1 - (-2)/(2 - 3). Is 0 less than or equal to a?
False
Let p be (-1)/(-4) + 9/60. Suppose -2*w - 5*y - 29 = -10*y, 40 = -4*w + 4*y. Let c = -6 - w. Which is smaller: c or p?
p
Let k = 4 + -3.7. Let s = k + 0.7. Let p = 14.1 - 14. Is s greater than p?
True
Let r be 22/(-5) - -4 - 18/(-20). Which is bigger: -0.2 or r?
r
Let q = -1.7 + 0.2. Let g = q - -1.3. Is -1 greater than or equal to g?
False
Suppose 4*f = 35 - 39. Are f and -2/29 nonequal?
True
Let z(m) be the second derivative of m**5/20 - 3*m**4/4 + 3*m**3/2 - 7*m**2/2 + 3*m. Let c be z(8). Which is bigger: 1/8 or c?
c
Suppose -c - i - 2 = -5, 2*i = 2. Is c at most -1?
False
Let a(u) = 7 - 3*u + 6*u - 4*u. Let b(p) = -3*p - 3. Let h be b(-3). Let l be a(h). Which is bigger: l or 1/4?
l
Suppose k + k = -4. Let l be k/10 - 4/20. Which is greater: l or 0?
0
Let v = 4/15 - -2/15. Which is bigger: v or 1?
1
Let h = -243/416 + 15/32. Which is greater: -1 or h?
h
Suppose 3*a = -v - 36, a - v - v + 5 = 0. Suppose -x + 6 = 5*q + 62, 2*q - 5*x = -17. Is a equal to q?
True
Let y(k) be the third derivative of k**6/120 - k**5/10 - k**4/12 + 2*k**3/3 - 3*k**2. Let o be y(6). Let l be o + -1 + 6/2. Is l >= -5?
False
Suppose 5*v - 5 = 3*g - 17, 4*v + 8 = 2*g. Which is smaller: v or -1?
-1
Let a = 1 + 1. Let m = 2 - a. Is 4 bigger than m?
True
Let z = 9/2 - 32/7. Is 1 <= z?
False
Suppose -3*v - t + 5 = -6*v, 0 = 5*v - 3*t + 15. Suppose 4*i = -v*i - 8. Which is bigger: -5/2 or i?
i
Let g(z) = z**2 + z + 2. Let s be g(-4). Let j = s - 9. Suppose 3*m + 5*l - j = 0, 0 + 2 = -5*m + 2*l. Which is smaller: 1/3 or m?
m
Suppose 55 = x + 47. Which is smaller: x or 1?
1
Let o = -9 + 6. Suppose 3*r - 2*r = -3. Is o > r?
False
Let v(o) be the second derivative of 0 + 2*o + 1/6*o**3 - 7/2*o**2. Let i be v(6). Which is bigger: -2/5 or i?
-2/5
Let b be (-6)/15 + 34/10. Let o be 4/b*84/32. Is o > 4?
False
Suppose 3*a = -2*a + 10. Let o(f) = -f + 1. Let g be o(a). Let w = 48/11 - 698/165. Which is smaller: w or g?
g
Let w = 0 - 1. Suppose 3*v + 5*q + 5 = 14, -4*q + 18 = -3*v. Which is greater: w or v?
w
Let i = 39 - 34. Which is greater: 4 or i?
i
Suppose 3*w + 5*x = 26, -4*w + 44 = -0*w + 2*x. Is w < 14?
True
Let z(p) = -p + 2. Let q be z(-2). Suppose -g = 7*x - 2*x - 1, g - 1 = q*x. Which is bigger: -1/9 or g?
g
Let a = 1.2 - 1.18. Let m = -4 - -3. Is m at most a?
True
Let t = 403/6 - 67. Is 0 smaller than t?
True
Suppose -2*y + 0*y = -5*t - 2, -t - 3*y + 3 = 0. Suppose 4*r - 8 = 4*m, 5*m = -0*m + 2*r - 4. Suppose -20 = -5*s + 4*h, 3*s + m*h - h = 5. Is s >= t?
True
Let l be (16/4 - 2)*4. Which is smaller: 4 or l?
4
Let l(k) = 4*k**2 - 1. Let x be l(-1). Let m be x/(-9) + 0/4. Is m <= 1?
True
Let x = -14 + 4. Is -9 > x?
True
Let c = 42 + -46. Let i = -5 + 5.1. Are c and i equal?
False
Suppose 7 - 3 = -w. Let n(j) = -j**3 - 1. Let b be n(1). Let d be -3*(b + 1)*-1. Which is bigger: d or w?
d
Let l(r) = r**2 + 3*r - 1. Let t be l(1). Which is greater: 30/13 or t?
t
Suppose 3*p - 35 = -2*p. Which is greater: p or 6?
p
Let n be 15/5 + (-8)/1. Suppose -32 = -4*k - 5*s, 3*k - 5*s = 23 + 1. Let u = k + n. Does 3 = u?
True
Let s be (-2 - 0)/(-2) + -1. Let h = -11312/45 - -1348/5. Let v = h - 18. Is s at most as big as v?
True
Let n = 25 - 26.2. Which is bigger: 0 or n?
0
Let u = 2.2 + -2.2. Is 22/3 greater than u?
True
Let j(m) = -m**2 - 8*m - 2. Let b be j(-8). Let u be -3 + ((-2)/(-1))/b. Let i(c) = c**2 + 4*c + 1. Let h be i(u). Is 2/25 >= h?
False
Let v be 3 + 3/(9/24). Let t = v - 6. Which is bigger: t or 7?
7
Suppose -16 = -2*f - 0*q - 2*q, 4*q = -3*f + 28. Suppose -f*b - 2*i = -216, -3*b + 3*i + 121 + 50 = 0. Let v be (-3)/(-4) + b/(-20). Which is greater: v or -1?
-1
Let x be (-1)/(-3) + (1 - 2). Let p = 13/2 + -7. Is p <= x?
False
Let s(h) = -h**3 + 4*h**2 + 6*h - 7. Let q be s(5). Which is smaller: q or -7/3?
-7/3
Suppose -5*o = -23 - 27. Which is smaller: 11 or o?
o
Let y be 18/13*(-16)/(-6) - 4. Which is bigger: y or 1?
1
Let x be 12/4 - (-1 + 1). Suppose -x*w + 4*r - 25 = 0, 5*r + 0 = 20. Let m = w - -5. Is 3/2 < m?
True
Let u = 0.8 - 1.25. Let h = -0.05 - u. Which is smaller: h or -0.1?
-0.1
Suppose 0*q + 63 = -7*q. Which is smaller: q or -10?
-10
Let p be 14/21*(-1)/2. Are -2/3 and p non-equal?
True
Let u = -20 + 27. Suppose -2*z + 20 = 4*s, -s - 5*z = -0 + 4. Is u greater than or equal to s?
True
Let m = -13/12 + 7/4. Is 1 equal to m?
False
Let y(n) = 2*n**2 + 3*n + 2. Let j(r) = 1 - 1 + r + 8. Let l be j(-10). Let g be y(l). Which is greater: 3 or g?
g
Let n be (-152)/(-256) + 1/(-4)*2. Do n and 1 have different values?
True
Let s = -9 + 13. Suppose s = 2*y - y. Is 4 greater than y?
False
Let a = -14 + 24. Suppose 0 = 5*v + 10, -4*y = 2*v - 3*v - a. Are y and 1 non-equal?
True
Let a = 6 + -4. Suppose 0 = -5*i + a*i - 3. Let w be (0 + i)/((-2)/(-6)). Is -1 smaller than w?
False
Let x = -2.1 - -2. Is -0.28 less than x?
True
Let k be (7 - 2)*(-4)/(-10). Let n = k - 0. Suppose -2*i + 11 = -3*p, -n*i + p + 6 = 1. Are i and 1 equal?
True
Let h(a) = -2*a - 17. Let m be h(-8). Which is greater: m or -8/9?
-8/9
Let g = 65 + -40. Which is greater: 77/3 or g?
77/3
Suppose -2*g - 5*p = 27, 4*g + p + 14 = -p. Let j = 580 - 7546/13. Let z = j - -68/91. Is z at most g?
False
Let h = -7.71 - -7.9. Are h and -1/2 non-equal?
True
Let z be -3 + 8/(-12)*-6. Is z less than 0.3?
False
Suppose 2 = -6*m + 2*m + 5*q, 2*q + 6 = 5*m. Suppose -16 = -3*t - v, -5*t + m*v = 6*v - 29. Which is smaller: t or 6?
t
Suppose -3*g = a + 5 + 5, 0 = -2*a - 8. Let k = 2 + g. Which is smaller: k or 2?
k
Let i = -14.19 - -0.19. Is i at least -0.1?
False
Let n = 0.21 + -0.04. Let j = n - 0.07. Let k = -0.1 + -0.1. Which is bigger: j or k?
j
Let u(p) = 2*p**3 + 4*p**2 + 4*p + 3. Let s be u(-2). Which is smaller: s or 4?
s
Let q = -261 + 248.3. Let o = q + -0.3. Which is smaller: 1 or o?
o
Let a be 6/(-15) - (-51)/15. Suppose u + u + 6 = -a*b, 5*u + 15 = 3*b. Is u less than -3?
False
Let r = 139 + -697/5. Let l = -5 - -10. Suppose -o = -0 + 4, v + l*o = -21. Is v <= r?
True
Let z(s) = s**2 - 5*s + 2. Let t be z(3). Are t and -4 equal?
True
Suppose -3*i - 21 = 2*i - 2*f, 4*f - 7 = 3*i. Is i at least as big as -3?
False
Let v = -13 + 14. Let j be 333/(-67) + v + 4. Are 1 and j non-equal?
True
Suppose 3 = 2*o - t, 2*o - 4*t = -5*t + 13. Suppose 0 = -o*g + 21 + 3. Let l = -6 + g. Is 1 <= l?
False
Let w be (-1)/(-5) + (-107)/(-1340). Let p = w - 2/67. Is p != -1?
True
Let n = -0.06 - -0.07. Let v = -0.29 - n. Which is bigger: -1/2 or v?
v
Let d = -340217/32095 + 2/6419. Is d less than -10?
True
Suppose 4*q = -5*z - 109 - 26, 0 = -2*q - 5*z - 75. Is -29 bigger than q?
True
Let u = -13 - -11. Let g = -3 - u. Is g at least as big as -1/30?
False
Suppose 19 = 4*u + 15. Is u equal to 66/5