j. Let o be p/6*9/(-30). Does 1 = o?
False
Let c(r) = -r**2 - 8*r - 3. Let s be c(-8). Which is greater: s or -9/5?
-9/5
Let d = -1.6 + 0.6. Is 26 not equal to d?
True
Let a be 62*4 + 0 + -1. Let i = a + -509. Let w = i + 2880/11. Which is smaller: w or 0?
w
Let x be 5/(-4) - (-1)/4. Let h be (-4 - -2)*(-3)/(-6). Let u = -2 - h. Is u at least x?
True
Suppose -7 - 3 = 5*h. Suppose -x + 2 - 24 = -5*d, 2*x = -d. Do x and h have the same value?
True
Suppose -4*w = -7 - 1. Let z be (-3)/(-9)*0 - w. Is z greater than -3?
True
Suppose -5*a + 3 + 7 = 0. Suppose 2*n + a*n = 16. Suppose 5 - n = -m. Is m at least as big as 1/3?
False
Let m = 4.4 - 0.4. Let i = 5 - m. Is 1 at most as big as i?
True
Suppose -4*b - o = -4, -3*o = 5 + 7. Let h = b + -1. Let v be (h/(-7))/(4/12). Which is greater: v or 0?
0
Let z = -3.75 + -0.75. Let a = -4.02 + 0.02. Let i = a - z. Which is bigger: 0 or i?
i
Suppose 0 = 3*r - 4*r + 3. Which is smaller: r or 0?
0
Let r be 1/((-81)/39 + 2). Let i be (7 + r)/((-6)/4). Is i less than 4?
False
Let m be ((-2)/(-5))/(9/225). Let x(a) = -a + 11. Let h be x(m). Which is bigger: -1 or h?
h
Let f be (0 + (-8)/(-6))/(-6). Let c(s) = s + 11. Let k be c(-8). Let v be 1 - 2 - (-4 + k). Is v not equal to f?
True
Let p(z) = -z**3 - 10*z**2 - 7*z + 4. Let b be p(-9). Let w = 124/9 + b. Let g = w + -4/9. Which is smaller: 1/3 or g?
g
Let y = -3 - -5. Let w(b) = b**3. Let c(s) = 2*s**3 + 8*s**2 + 7*s - 1. Let k(v) = -c(v) + w(v). Let x be k(-7). Is x not equal to y?
True
Let x(q) = -q. Let h(j) = 6*j - 4. Let t(m) = -h(m) - 5*x(m). Let w be t(3). Is 5 smaller than w?
False
Let b = -10 + 19. Let l = b - 5. Let f = l + -6. Which is bigger: -1/3 or f?
-1/3
Suppose -13*g + 64 = -53. Is g bigger than 9?
False
Let b be (-2187)/(-966) + (2 - 4). Let a = 1/46 + b. Is 1 less than or equal to a?
False
Suppose -4*v - 17 = 11. Which is smaller: v or -6?
v
Let c = -4/9 - -43/117. Let g be (-4)/35 + (-4)/14. Which is smaller: c or g?
g
Let v = -44 + 45. Let t be 2/(-1) - (-2 - -2). Which is bigger: t or v?
v
Let b be (-69)/(-21) + 4/(-14). Let v be 1/7*b*-1. Let k = 5 + -4. Which is smaller: k or v?
v
Let c be 1/(3/9*3). Suppose 4*s + 5*w = -31, 4*s - 4*w + 5 = c. Let k be s - -2 - 24/(-10). Which is greater: k or 4?
4
Let a = -17/2 - -8. Is 1/14 less than a?
False
Let m = -6 + 5.9. Is m >= 0.1?
False
Let k = -161/3 + 53. Are -1 and k nonequal?
True
Let j = 671/10 - 67. Suppose -2*a - 3*a + 5 = 0. Which is smaller: j or a?
j
Suppose 0*y + 11 = 2*y - 3*o, -3*y - 5*o + 7 = 0. Suppose 0 = y*w + w + 10, -5*w = -z + 13. Let m be (z - 4) + (-17)/(-15). Is m at least as big as -1?
True
Let c(b) = b**3 - 2*b**2 - 4*b + 3. Let r be c(3). Let q(x) = 3*x + 1. Let g be q(1). Let l be g/(-12) + 0/1. Which is smaller: l or r?
l
Let w = -27 + 11. Let v be (-5)/15 + w/6. Let c be v/(-18)*6/4. Is -1 bigger than c?
False
Let y = -8 + 1. Let q = 7.2 + y. Is q < -3?
False
Let p(b) = b - 9. Let d be p(7). Is -2 at least d?
True
Let v = 103 + -311/3. Is -54 greater than or equal to v?
False
Let z be 2/(-4) + 534/1980. Let b = 3133/66 + -95/2. Let v = z - b. Which is greater: v or -2/7?
v
Let v be (4/26)/((-50)/(-15)*-3). Which is smaller: 1 or v?
v
Suppose 4*t = 8*t + 2*v - 24, t - v = 0. Suppose -n - 2*n + 13 = -2*b, 0 = -3*n + 15. Is t greater than b?
True
Suppose -3*y = y - 12. Suppose -y*n + 5 = -4*n. Is n smaller than -7?
False
Suppose 0 = -17*v + 87 + 49. Is 12 greater than v?
True
Let o = -515/692 - 1/173. Is o at least 3?
False
Let k be (15/18)/(4/(-8)). Let h = -4 - 1. Let j = 4 + h. Which is smaller: j or k?
k
Suppose -2*b = -3*b + 5*k + 8, -2 = 3*b - 2*k. Which is smaller: b or -14/9?
b
Let s(x) = x - 6. Let q be s(5). Is -3 greater than or equal to q?
False
Let x be -9*(4 + -2)/(-6). Let s(o) = -o**x + 5 - o - 1 + 10*o + 8*o**2. Let n be s(9). Which is smaller: 3 or n?
3
Let k = 0.8 - 0.7. Which is bigger: k or 2/9?
2/9
Let m be ((-4)/(-4))/((-2)/(-6)). Suppose -15 = -3*d, -1 = t + 3*t + m*d. Let j be (1/(-2))/(1/t). Which is bigger: j or 3?
3
Let g be 2*(0 - (-9)/(-6)). Let h be 4 + 0*g/6. Suppose x = 5*i - 19, -3*i + h*x + 28 = 3. Is i greater than or equal to 2?
True
Let s = 22 - 23. Which is smaller: -0.3 or s?
s
Let t = 8/59 + 400/531. Is t greater than 2?
False
Suppose 0 - 11 = -i. Suppose 5*v = -2*y - 3 + 35, 0 = v + 5*y - i. Let q be (v/4)/((-1)/2). Is -3 smaller than q?
False
Let b = -1.9 - 0.1. Let s = b + 9. Let k = -6 + s. Which is bigger: k or -2/3?
k
Let c = 1.2 + 0.7. Let f = -2 + c. Which is greater: f or -0.08?
-0.08
Let o be ((-4)/((-16)/2))/(2/(-2)). Let x = 1 - 0.97. Is x != o?
True
Let x = -62 - -182/3. Is -2 >= x?
False
Let q(u) = -u - 3. Let p be q(-3). Let n = 161 - 719. Let i be (3 - p)*(-12)/n. Do 1 and i have the same value?
False
Suppose 0 = a - 6*p + 2*p - 24, -2*p = -2*a + 18. Let m be (-8 - -2)*a/(-12). Is 3 at least m?
True
Suppose -5*y + 2*l + 78 = 0, 7*l - 5*l - 2 = 0. Which is smaller: 3 or y?
3
Let m(t) = 4*t**2 - 3*t - 1. Let s(h) = 7*h**2 - 5*h - 2. Let o(a) = 5*m(a) - 3*s(a). Let r be o(1). Let i be ((-2)/6)/((-4)/6). Which is greater: r or i?
i
Let k be (21/28)/((-2)/2). Is k equal to -2?
False
Suppose -2*s = 3*p - 20, 22 = 5*p - s - 7. Is -3 bigger than p?
False
Let a(b) = -5*b. Let q be a(1). Let j(m) = -m**3 - 10*m**2 - 9*m - 5. Let s be j(-9). Is q bigger than s?
False
Let h = 1 - 3. Let x be 1/(-2) - 1/h. Let c be (-1)/12 + 38/(-228). Which is smaller: c or x?
c
Let r = 28 + -20. Let j = 11 - r. Is j smaller than 1?
False
Let y(w) = -2*w + 1. Let n be y(-3). Is n at least as big as 2?
True
Let u(x) = -x**2 + 5*x + 1. Let d be u(5). Suppose 6*k - 8 = 2*k. Let v = -1 + k. Is d <= v?
True
Suppose 5*w - 255 + 0 = 0. Which is greater: 50 or w?
w
Let d = -3642107 + 120201667/33. Let b = 158770/429 - d. Let k = 24/11 - b. Which is smaller: 1 or k?
k
Let k be 32/(-468) - (-2)/9. Let d(f) = -f**2 - 7*f - 6. Let a be d(-5). Suppose -m = -a*m. Which is greater: m or k?
k
Let y = -10 + 17. Suppose 3*d = 4*s - 6, s + y = 5*d - 0. Which is bigger: s or 2?
s
Let d be (5/20)/(15/12). Is 13 equal to d?
False
Let l be (0/1)/(-2) - -2. Suppose 0 = 3*g - 2*y + 4*y + 57, 2*g + l*y + 36 = 0. Let t be 6/8*(-8)/g. Which is smaller: t or 0?
0
Suppose -2*a = 3*a - 15. Suppose 7*o = a*o + 32. Let u be (-2)/o + (-2)/(-4). Which is bigger: u or -0.1?
u
Suppose 4*b + 0*w = 5*w + 16, 3*b + 3*w + 15 = 0. Are b and 1/72 unequal?
True
Suppose 2*h = -g + 12, 4 = g + 2. Suppose h*k + 5*n + 15 = 0, -5*k = n + n + 3. Let s be (2/10)/(12/(-10)). Which is bigger: s or k?
k
Suppose 5*y = -5*m + 60, 0*m + 2*m - 25 = -y. Suppose -5*o + 0*o + m = -j, 2*j = 3*o - 5. Suppose -8*t + o*t = 15. Which is bigger: 0.1 or t?
0.1
Let q = -0.5 - 0.45. Let o = q + -0.05. Is o > 1/4?
False
Let a be (18/927)/((-4)/(-6)). Is a != -1?
True
Suppose 0*z = -3*z - 3. Let y = -1 - z. Suppose -4*m + 8 = 3*o + o, y = -4*o. Is 3 > m?
True
Let b = -0.7 + -0.3. Let q = 23 + -24. Is b less than or equal to q?
True
Let l = 7.06 + -7. Let d = l - -0.04. Which is bigger: 1 or d?
1
Let t be ((-8)/(-54))/(4/6). Let g(c) = -8*c**2 + 13*c**2 + 2*c - 7 - 4*c**2. Let i be g(-4). Is i greater than t?
True
Suppose 2*h = -3*g + 5, -h + 7*g = 2*g - 9. Suppose -4*f - 28 = -2*o, o + h*o = 3*f + 35. Suppose -o*z - 5 = -s + 6, 5*z = -5*s - 45. Which is smaller: -3 or z?
z
Let z = 75 + -36. Let q be (-1 - z/(-9)) + -2. Is q bigger than 2?
False
Let l = -4.7 - -0.7. Let h = -4 - l. Let i = h - 0.1. Which is bigger: i or -0.2?
i
Let r(l) = l**2 + 5*l. Let m be r(-4). Let d = 7 + m. Is 3 at most as big as d?
True
Let b = 6 + -14. Suppose -4 = -5*j - 3*f, -3*j + 5*j + 5 = f. Let s be ((-12)/b)/(j/(-2)). Are s and 3 unequal?
False
Let m = -1977/7 - -283. Which is smaller: 1 or m?
m
Let r(z) = -2*z - 5. Let p be r(-5). Suppose 0 = 4*x - p*f + f - 20, 25 = 4*x - 5*f. Suppose x = -0*k + k - 1. Which is smaller: 0 or k?
0
Let f be 1/1 + -14 + 12. Is -4 at most f?
True
Let j(p) = -p**3 - 11*p**2 - 9*p + 7. Let y be j(-10). Do y and -3/2 have the same value?
False
Let a be (-2)/(-9) - 56/36. Is 2/3 greater than or equal to a?
True
Suppose -h - 2 = 0, -r = -3*r - h - 20. Is -0.06 not equal to r?
True
Let i(m) = m. Let g be i(-1). Is -2/73 equal to g?
False
Let c be 16/(-3 + 5 + 0). Suppose 4*l - 6*l = -c. Let d be ((-