at least as big as -2/3?
False
Suppose 5*r + 15 = -10*a + 5*a, r = -5. Suppose -2*s + 0*s - n - a = 0, -5*s = n + 5. Let f(j) = -j**2 - 2*j. Let x be f(s). Do 1 and x have different values?
False
Let w = 3405/46 + -74. Is w <= -1?
False
Let r = -19 - -6. Let n = r + 5. Let m = n + 8. Which is smaller: m or 1?
m
Let v = -5 - -4. Suppose -8*f = u - 4*f, 5*u = 3*f - 23. Let s be ((u/(-2))/(-8))/(-1). Which is bigger: s or v?
s
Let h(p) = 2*p - 31. Let t be h(17). Do 6 and t have different values?
True
Let l be 2/(-4)*0/12. Is 7/6 less than l?
False
Let r = -0.56 + 1.16. Let a = -4.2 + 2.1. Let b = 2 + a. Which is greater: b or r?
r
Suppose 0 = 4*l + 7 + 1. Is 1/3 >= l?
True
Let d be -7*(-6 - -2)/2. Suppose 0 = h - 10 - 5. Which is bigger: h or d?
h
Let q(p) = -2*p**2 + 9*p + 11. Let l be q(5). Let z be 6 - (2 - 0 - 1). Are l and z nonequal?
True
Let c = -3 - -8. Let q(m) = 2*m**2 - 25*m - 14. Let d be q(13). Is c less than d?
False
Suppose 4*v = -3*s - 9, -4*v - 4*s - 5 - 7 = 0. Suppose v = -j - 2 + 6. Is j bigger than 1?
True
Suppose -5*f = 20, -4*f = -5*x + 3*x + 62. Let n = x + -9. Let j = n - 10. Which is greater: j or 3?
j
Let j be (-10)/(-6) - (-2)/(-3). Let m(h) = -5*h - 20. Let f be m(-4). Which is smaller: j or f?
f
Suppose 0 = -0*k - 3*k. Let h be k*(1/(-1) - -2). Which is greater: h or -1/4?
h
Let y be ((-2)/3)/((-28)/(-462)). Is y at most as big as -8?
True
Let r = 0.3 + 0. Let j = r + -0.3. Which is greater: j or -1?
j
Let v = -31231/87 + 359. Let i = -31/87 + v. Suppose -s = -5*x + 5, 4*x - 20 = -2*s + 6*s. Is x greater than or equal to i?
True
Let u = 0.05 - 0.25. Is u bigger than -1/46?
False
Let d = 219/2 + -9857/90. Let j be 154/(-180) - 0/(-1). Let r = d - j. Which is greater: 0 or r?
r
Suppose -3*m - 2*v = -3, -v = 4*m - 0 - 4. Let t be 0 + 0 + m/(-4). Is -1 smaller than t?
True
Suppose -2*j = -0 - 4. Let l be j - (3 + -2 - -2). Suppose -4 = -3*d + 2*m, d - 2 - 1 = m. Which is greater: l or d?
l
Let c(m) = -m**2 + 3. Let o be c(3). Let p be o/(6/(-4)*1). Suppose 0 = 4*g - 3*d - 28, -15 = p*d + 1. Which is bigger: g or 2?
g
Let y = -17 - -6. Are 0 and y equal?
False
Let k be -2*1*6/4. Suppose 4*v - 11 + 7 = 0. Let t be 5/20*v*-4. Is k != t?
True
Let g = 919433/84 + -10946. Let v be (-2)/(-5) + (-19)/60. Let x = v + g. Is x not equal to -0.1?
True
Suppose 0 = -m, -2*v - 4*m = m. Suppose v = f - 0*f. Which is smaller: f or -3?
-3
Let i = 268 + -88. Let m = i - 903/5. Is m less than -0.2?
True
Let r = -0.6 - -0.3. Let z = -7.6 - -7.9. Which is bigger: r or z?
z
Suppose 2 = s - 0. Suppose 0 = -s*r + r + 8. Let g = 8 - r. Which is greater: -1 or g?
g
Let c = -3.7 + 0.6. Let s = -20.1 + 21. Let d = c - s. Which is greater: -1/4 or d?
-1/4
Suppose -6 = l - 4*l. Suppose 2*i + l*i = 24. Let q be ((-1)/(-2))/(3/i). Which is bigger: q or 0?
q
Let p = -3 - -4. Let d(r) = -r + p - 2 + 2. Let m be d(2). Is m at most -1?
True
Let d = 0.25 + -0.4. Let v = d - 0.15. Which is bigger: 1 or v?
1
Let f be ((-6)/5)/(1/5). Let k(x) = -x**2 - 6*x + 4. Let w(u) = -u**2 - 6*u + 5. Let v(r) = -4*k(r) + 3*w(r). Let q be v(f). Which is smaller: q or 2/9?
q
Let u be (-4)/18 - (-573)/27. Let x(l) = -5*l + 32. Let a be x(-8). Let i be 0 + a/u - 3. Is -2/7 at least as big as i?
False
Suppose 8*j - 6*j = 0. Which is bigger: j or -17?
j
Let n be 116/(-36) + 4/18. Suppose 4*w - 40 = l + 3*l, -2*w = 5*l + 22. Let d = l - -4. Is n at most as big as d?
True
Let v(f) = -f**2 - 9*f + 1. Let j be v(-9). Which is smaller: 3/10 or j?
3/10
Suppose -14 = -3*g + 1, -2*z + 5*g - 41 = 0. Is z at least -10?
True
Let n(k) = 96*k**2 - 14*k + 4. Let f be n(-10). Let v = 555382/57 - f. Let b = -4/19 + v. Is 0.3 >= b?
True
Let l = -0.1 + -0.9. Let b = 5 + -4.2. Let d = -0.4 + b. Which is smaller: d or l?
l
Let l be 5 + (1/1 - 1). Let o = 439 + -435. Is l >= o?
True
Let p = -4.2 + 4. Let x = 0.1 + p. Is x bigger than 4?
False
Suppose 18*k = 12*k + 132. Are 20 and k non-equal?
True
Let y be (-7160)/25 - (-2)/5. Let m be 24/132 + 96/y. Is m < 1?
True
Let v be 8/(-20) - (-2)/5. Let s be -1 + 2 + v - 13. Let y be s/(-2)*(-6)/(-12). Is 3 > y?
False
Let n = 0.8 + -0.5. Suppose -4*d + 2*j + 8 = 0, 4 = -2*d - 0*d - 3*j. Let x be (6 - 6) + 1/d. Is x greater than or equal to n?
True
Let z = -13.8 + 12. Let i = z - 0.2. Let s be (-1)/(4 - (-6)/(-4)). Is i not equal to s?
True
Let r = -9 - -9.1. Let w be (-1)/((-2)/6*-3). Let s be w + (-7)/(-1) - 2. Is s at most as big as r?
False
Let z = 51 + -205/4. Let u(w) = -w**2 + 9*w - 9. Let f be u(7). Let g be f*3/(-45)*-3. Which is greater: z or g?
g
Let x = -18 + 33. Suppose -x = -2*i - i. Is i > 5?
False
Let l = 20 - 5. Is 15 != l?
False
Let u = 1.933 - -0.067. Let h = 13/10 - 4/5. Is u < h?
False
Let g be (2/(-6))/((-3)/36). Let a = -1 + g. Let y = a - 3. Is 0 not equal to y?
False
Let l be 4/730*-5*1. Which is smaller: -1 or l?
-1
Let x(q) = 0 + 5*q + q**3 + 0*q**3 + 7*q**2 - 8. Let v be x(-6). Which is bigger: v or -4/7?
-4/7
Let b = -33 - -28. Let q = -3 + 2.9. Is q at least b?
True
Let v be 0 + 2/((-8)/4). Let i be v - (-27)/(-7 + 4). Is i at most -10?
True
Suppose -g + 1 = -0. Let b be ((-7)/42)/(g + -2). Let m = 28 + -85/3. Do m and b have the same value?
False
Let n be (-8 - -3)*18/(-10). Let x be 0/n - (-1)/1. Is 2 less than x?
False
Let t(i) = -i**3 + 3*i + 41. Let p be t(0). Which is bigger: p or 42?
42
Let a(k) = -2*k - 8. Let c be a(-6). Let j be (-1)/(2/(-2))*0. Let r be (-3)/1*(-1 - j). Which is bigger: c or r?
c
Let k be 108/18 + 51/(-7). Suppose 2*o - 1 = -5*d - 8, 5*o = -2*d - 7. Which is smaller: k or o?
k
Let g be 85/130 - 1/2. Are g and 1 non-equal?
True
Let u(c) = -4*c - 3*c**2 + 3*c**2 + c**2 - 4*c - 7. Let y be u(9). Let t be (6/y - 3)/(-1). Is 2/33 bigger than t?
True
Suppose 0 = -w + 7*w - 120. Let f be w/(-5) + 6 + -2. Which is bigger: -3/7 or f?
f
Let w be 56/49 - 1/1. Which is bigger: 2 or w?
2
Let n(i) = -7*i - 8. Let y be n(-7). Suppose 2*l - 2*q + y + 137 = 0, -2*q + 430 = -5*l. Let d = l - -423/5. Is 1 less than d?
False
Let f = -22.8 - -23. Suppose 0 = 5*b - 3*h + 14, -h = -b - 4*b - 8. Is b > f?
False
Let u = -2/3 + 1. Let c = 1 - 2. Which is bigger: c or u?
u
Let o = 5.161 + 0.039. Let d = -4 - 1. Let b = d + o. Is -2 equal to b?
False
Let f be (2 - 4) + (5 - 16/20). Which is smaller: f or 1?
1
Let l = -2129/15 + 142. Which is greater: l or -1?
l
Suppose 3*n + 5 = -2*n. Let a = -9 + 10. Let j = a - n. Are j and 3 non-equal?
True
Let y be (10 + -11)*19/1. Which is greater: -0.2 or y?
-0.2
Let o(l) = -3*l**3 + 10*l**2 - l + 11. Let q(s) = -s**3 + 1. Let k(r) = -o(r) + 2*q(r). Let g be k(10). Let a = 2 + -2. Which is bigger: g or a?
g
Let d(n) = n**2 - 18*n + 28. Let h be d(11). Is -50 > h?
False
Let l(j) be the second derivative of -3*j**5/20 + j**4/6 - j**2/2 + 2*j. Let q be l(1). Does -2 = q?
True
Let b be (-2)/9 - 8/(-18). Let n = -11.6 - -12. Does n = b?
False
Let p = 2.51 + 0.55. Let w = -3 + p. Is w at most -0.1?
False
Let d = -40 - -5. Is -34 <= d?
False
Let u = 6 - 2. Which is greater: u or -1?
u
Let y be 3/2*2/(-1). Let n be (-2)/2*y + -3. Are 5/6 and n unequal?
True
Suppose -4*t + 24 = i - 0*i, 11 = 4*i - t. Suppose x - i*m + 0 - 22 = 0, 0 = -x + m + 10. Suppose -3*c + 0 = x. Is c less than -2?
False
Let q(u) = -u**2 - 4. Let z be q(3). Let c = z + 8. Is -4 greater than c?
True
Let c be (-8)/(-12)*1/(-5). Let s = 5 - 7. Let x be (-2 + 4)/2 + s. Is x at least c?
False
Let f = 821711 + -9851071/12. Let k = f - 788. Let q = k - 13/12. Is 1 smaller than q?
False
Let w be (-3)/21 - (-282)/14. Which is smaller: w or 19?
19
Let d = 5 - 8. Let j be (0 + 13/2)*-2. Let g be j/13*0/1. Is d <= g?
True
Let v = -31 - -92/3. Is -22 > v?
False
Let m = -3.13 - -15.83. Let n = -12 + m. Let k = -0.3 - n. Which is smaller: k or 0.4?
k
Suppose 2 + 5 = -w + 4*v, -3*v = -2*w - 14. Let k = w - -14. Let y be ((-4)/k)/((-2)/4). Which is smaller: y or 1?
1
Let d = 8.8 - 8. Let y = d - 5.8. Let h = 5.2 + y. Which is greater: -0.1 or h?
h
Let y = -1 + -4. Let m = 4 + y. Let w = 6/5 + -19/20. Which is bigger: m or w?
w
Let p = -20 - -19. Are p and -1 nonequal?
False
Let t = -508/531 + 4/59. Do t and -1 have the same value?
False
Let k(s) = s + 5. Let z be 3/(-6)*(-3 - -11). Let p be k(z). Is -1/15 not equal to p?
True
Suppose -b =