 -2/9?
l
Let a = 24 - 47/2. Let y = 989/1230 - -6/205. Let x = a - y. Is 2/7 at most x?
False
Let w(m) = -7 - m**2 + m - m. Let z(x) = -2. Let t(l) = -2*w(l) + 7*z(l). Let n be t(-1). Is 2 at least as big as n?
True
Let x be 132/(-21) + (-4)/(-14). Let h = x + 4. Let z = -4 - h. Is z greater than -2?
False
Let c = 23.36 - 23. Let p = 0.04 + c. Which is greater: -0.1 or p?
p
Let w be 1/3*(-54)/6. Let o be 0/(-1 - 0) + w. Does -1 = o?
False
Let n = 28/5 + -27/5. Does n = 0?
False
Let s = -3 - -7. Suppose 0 = 5*t - 25, -4*t = 5*k - s*k - 35. Let q be (-1)/k + (-4)/(-10). Is 1 at most q?
False
Let m = -0.01 + -0.04. Let d = m - -3.05. Which is bigger: d or -2?
d
Let p be ((-9)/(-6) - -3) + 3. Let n = 8 - p. Is n greater than 1?
False
Let i be (30/(-24))/((-2)/8*1). Which is bigger: i or 6?
6
Suppose h + 3*h + 20 = 0. Let m be h/(-7)*(-8)/(-5). Are 1 and m equal?
False
Suppose 16 = -i - 3*i. Suppose -3*q + 8 = -3*r - 19, q + 3*r = 5. Suppose -10*l = -6*l + q. Which is greater: l or i?
l
Let u be 1 + (0 - (0 - -1)). Suppose -2*l + 280 = 3*l - 4*n, 0 = -4*l + n + 235. Let b be l/(-693) - 6/(-33). Is u greater than or equal to b?
False
Suppose -2*n + 150 = 3*n. Suppose 0 = -u + 5*r + 28, -5*u + 2*r + n = -r. Suppose -u*l = -l. Which is smaller: l or 2?
l
Let v = -7 - -5.4. Let q = -3.2 - v. Let r = q - -2. Is -0.1 at most r?
True
Let w = 2.1 - 3. Let t = 0.67 + 0.23. Let n = t + w. Are n and 0.1 unequal?
True
Let w be (24/(-3))/(-2) + -2. Let f be (-1 + w)/(-1) + -85. Let i = f - -601/7. Which is smaller: i or -1?
-1
Suppose -5*g + 3*g = 0. Suppose -3*s + 19 = -0*n - 4*n, 5*s - 5 = g. Which is smaller: n or -5?
-5
Let i(d) = d**3 + 7*d**2 - 9*d - 5. Let g be i(-8). Suppose -z = -g*z - 34. Is -16 != z?
True
Let m(n) = 4*n**3 + 6*n**2 + n - 1. Let y = 0 - 6. Let l(r) = -5*r**3 - 7*r**2 - r + 1. Let x(w) = y*m(w) - 5*l(w). Let f be x(1). Which is bigger: -1/8 or f?
f
Let n be 9/(-4)*(-56)/42. Is n greater than 10/3?
False
Let l = -13 + 21. Let x = -8.1 + l. Suppose z = f + 3, 5*z - 9 = -3*f + 6. Is z > x?
True
Let k be (0 + 3)/(0 - -1). Suppose 2*w - 5 = k. Suppose o = -5*n - 26, w*n + 0 + 16 = 4*o. Is o at most as big as 0.1?
True
Let b = -21 - -21. Which is smaller: 4 or b?
b
Let g = -0.38 - -1.38. Are g and -2/15 nonequal?
True
Let h be (-3)/20 + (-1)/4. Suppose -3*p = -4*l - 3, 3*p + 6*l - 24 = 3*l. Suppose 3*d - 7 = -p*m, 4*d = m - 0*m - 6. Is d greater than h?
False
Let z be (-9)/(-5) + (-3)/(-15). Let a = z + -2. Is -0.1 greater than a?
False
Let p = 17 - 18. Do -9 and p have the same value?
False
Let c be -1 - 4/(-4) - -1. Which is greater: -1/18 or c?
c
Let c be ((-4)/(-5))/((-4)/(-30)). Suppose -2 = 3*d - 3*n + 4, -6 = -d - 3*n. Suppose 3*j - c = -d*j. Is 2 greater than j?
False
Let x be (-603)/9 - (-2 + 2 - 1). Which is bigger: x or -64?
-64
Let r be 1 + -16*(-2)/(-30). Which is smaller: -0.2 or r?
-0.2
Suppose -d - 4*m = -22, -2*d = -7*d + 5*m + 10. Let t = d + -1. Which is smaller: 9/2 or t?
9/2
Let w be (-13)/11 + (7 - 6). Which is bigger: w or 1?
1
Let j = 696 + -13221/19. Let f be (8/32)/((-2)/(-8)). Are f and j unequal?
True
Let k(o) = -o - 17. Let h be k(9). Which is smaller: h or -28?
-28
Let h be (-3)/(-22)*3/(45/10). Let c(l) = l. Let i be c(-1). Which is greater: h or i?
h
Suppose 4*s = s - 78. Is -26 greater than s?
False
Let f be (-10)/45 + 23530/(-144). Let w = 164 + f. Which is bigger: 1 or w?
1
Let d be (-4)/7 + 24/(-7) - -7. Is 11 > d?
True
Let l be (3/(-6))/(2/(-16)). Let g be (-3)/(1 + (-10)/l). Suppose -16 = 2*r + g*r. Are -4 and r unequal?
False
Let k be (2 + 1)/(3/(-2)). Let h(g) = 12*g - 6*g + 3*g**2 - 4*g + g**3. Let t be h(k). Which is smaller: t or -1/8?
-1/8
Let v be -2*(-3)/6 - -1. Let p be (v - (0 + 1))*2. Let j be (3/p)/((-3)/(-4)). Which is greater: j or 1?
j
Let b = -5 - -7. Do b and 9/5 have different values?
True
Suppose 5*i = 4*z - 61, 18 - 6 = 3*z + 3*i. Is 1 equal to z?
False
Let x = -38 + 62. Which is bigger: x or -1?
x
Let z be (-20)/50 + 9/35. Let u(i) = i + 7. Let w be u(-4). Suppose w*h = -2 - 1. Which is greater: h or z?
z
Let o be (-435)/12 + -3 + 4/16. Is -42 at most o?
True
Let z be 1/((-4)/2)*0. Suppose -11 = -5*u + 19. Let f be (-2)/4 + 3/u. Is f greater than or equal to z?
True
Let m = -30.9 + 31. Is -0.3 > m?
False
Let s = -3 - -2. Let g = -345 - -1721/5. Are s and g nonequal?
True
Suppose -o = -3*v + 8, -5*o - 2*v + 1 = -10. Is o greater than or equal to -0.2?
True
Let d = 129461/10 + -12963. Let v be 62/8*-2 + -1. Let u = d - v. Is u greater than 1?
False
Suppose 0 = 3*f - 3*i, -2*f + 0*f - 2*i - 4 = 0. Suppose -l + 5 = -0. Suppose l*k - 4*c - 1 = -3, 4*c = 4*k. Which is bigger: k or f?
f
Let c be 2/5 - 4/10. Let l be 4/(-14)*(c + -7). Let t be -1*1*l/6. Which is bigger: t or 0.4?
0.4
Suppose -1 = -i + 2*u + 9, 3*u - 7 = -4*i. Suppose -26 = -2*y + 2*c, -4*y = -9*y + i*c + 69. Suppose -5*w + 6 = 5*l - 9, 0 = -5*w + 3*l - y. Is -1 less than w?
False
Suppose 0 = -q - 11. Do q and -2/7 have different values?
True
Let t be (-3)/(-14)*304/(-78). Let a = 9/13 + t. Is a not equal to 0?
True
Let m be 15/(-12) + 1 + -1. Is m < -1/4?
True
Let l(m) = m**3 - m**2 + 2. Let y be l(-2). Let b be y/(-9)*(-12)/(-10). Is b smaller than 0?
False
Suppose -5*y - 7 = 2*z, 0 = 5*z - 5*y + 2*y - 29. Suppose -13 = n + f + z*f, -2*f - 1 = -n. Is n bigger than -1?
False
Let f = 112 + 222. Let o = f + -2348/7. Which is smaller: -1 or o?
o
Let i = -0.26 + 4.26. Which is bigger: i or 1?
i
Let m = 115 - 572/5. Let c = 61.9 + -58. Let b = -4 + c. Which is greater: m or b?
m
Let u(h) = 2*h + 15. Let m be u(-4). Is m at most as big as 8?
True
Suppose -b + 3*b = 2*m - 40, 2*b = -2*m + 28. Let u = m + -13. Which is smaller: 0 or u?
0
Let n = -16 - -8. Let j = -9 - n. Which is greater: j or -0.1?
-0.1
Let k(d) = 5*d - 1. Let p be k(-1). Let w be (2*1)/(2*1). Which is smaller: w or p?
p
Let d = -16.8 - -17. Which is smaller: d or 0.3?
d
Let w = -21 + 21.1. Is w less than or equal to 5?
True
Let c be (52*3/9)/(3/(-9)). Is c at most as big as -52?
True
Let p = -3.4 - -3. Let q = -59.1 - -59. Which is smaller: q or p?
p
Let f = 0 + 4. Suppose -3*w + 6*u + 23 = 2*u, -w + f*u = -21. Which is smaller: 1/3 or w?
1/3
Let r(b) = -b**2 + 8*b + 1. Let k = 6 - 6. Let q be k*(-4 - -3) + 9. Let l be r(q). Is l greater than or equal to -8?
True
Let y be 1/2 + (3 - (-15)/(-2)). Let f = 16 + -17. Which is smaller: f or y?
y
Let w = 0 - 0. Let l be w - ((0 - 2) + 1). Let r be l/(-3) - (-14)/78. Is -1 > r?
False
Let v = -0.6 - -0.9. Is v bigger than -5?
True
Suppose 2*n = -3*n - 4*n. Let w be (-12)/(-5) + (-2)/5. Is w > n?
True
Suppose 2*p = -g - 2*p + 16, -2*g + 3*p + 10 = 0. Let i = 5207/627 - -6/209. Is i at least g?
True
Let t(f) = f**2 + 4*f + 1. Let m be t(-5). Suppose m = -2*d - 0. Is d not equal to -5?
True
Let q(s) be the first derivative of -1/3*s**3 + 5*s + 2 + 7/2*s**2. Let d be q(7). Is 4 less than d?
True
Let v = 0.021 + -1.021. Which is bigger: v or -1/7?
-1/7
Let h be (-2)/3*(-30)/(-80). Is 0 >= h?
True
Let r = 0.39 - 0.29. Which is greater: r or -36?
r
Let w be (-4)/3*(-12)/8. Is w < -0.6?
False
Suppose -r - 3*m + 4 = -3*r, 5*r - 28 = -2*m. Suppose -3*b + 5*u = -r*b + 22, -5*b + 26 = 4*u. Let v be 12/(-45) - b/(-3). Is v != -1?
True
Let x = 3 - 3. Let i be (84/(-27) - -3)*-6. Is x > i?
False
Let r = -74 + 162. Which is bigger: 87 or r?
r
Let w = -6 + 4. Suppose 4*c = 0, -5*y + 0*y - 2*c = -15. Let g be -1 + w/(y + -1). Is g >= 0?
False
Let x(m) = -m**2 + 4*m + 4. Let a = 9 + -5. Suppose -a*p + 15 = -p. Let w be x(p). Is -1 at least as big as w?
True
Let x(q) = q**3 - 7*q**2 + 2*q - 13. Let l be x(7). Is 5/16 > l?
False
Suppose -a + 41 = -3*k, 0 = 5*k + a - 4*a + 71. Let z(v) = v**2 + 12*v - 19. Let w be z(k). Let h be (-7 - w)*1/3. Is 0.4 at most as big as h?
False
Suppose -5*p = -6*p - 55. Let l be (-170)/p + -3*1. Which is smaller: -1 or l?
-1
Let m(b) be the first derivative of -4 + 3*b + 1/2*b**2. Let w be m(-4). Which is smaller: 2/15 or w?
w
Suppose 0 = 16*r - 19*r - 12. Do r and 12 have different values?
True
Suppose 4*t = t - 5*d - 5, 4*t + 5*d + 5 = 0. Which is greater: t or 5?
5
Let y(i) = i + 3. Let r be y(-4). Let s = 12582 - 88622/7. Let u = -78 - s. Which is bigger: r or u?
u
Let h(c) = c**3 - 2*c**2 + 1. Let y be