8.99 + h. Is n smaller than -1/4?
False
Let t = -12 - -21. Let x = 6 - t. Does -5 = x?
False
Let j = -88 - -18. Which is bigger: j or -71?
j
Let a be 2/(-6) - 132/(-18). Is a < 7?
False
Let d = 30 + 35. Is d > -2/5?
True
Suppose 3 + 1 = 2*o. Suppose -5*c + 71 = 3*h + 9, c = -h + 14. Suppose 0 = 4*u + u - c. Does o = u?
True
Suppose -3*o + 0 = 21. Let x = o + 11. Let z = x + -4. Does 0.1 = z?
False
Suppose -5*z + 4*j = -93, 3*z + j - 49 = -0*j. Is 33/2 <= z?
True
Let l = -3 - -7. Suppose -6 = -l*q + 4*n - 2, -3*q + 5*n + 3 = 0. Which is smaller: 1/13 or q?
1/13
Suppose 2*h - h = -2*d - 2, 3*d - h = -3. Is 2/23 greater than or equal to d?
True
Let s = 2257/9 + -251. Which is greater: 0 or s?
0
Let x = -154738/11 + 14099. Let z(r) = -r**2 - 2*r + 3. Let w be z(5). Let l = x + w. Is l > 1?
False
Let d = -99.2 + 99. Which is smaller: d or 28?
d
Let k = -13 + 10. Is k <= 0.1?
True
Let b be 15/(-6) - (-2)/(-4). Let f = 6 + b. Let u be 5/15 + 1/f. Is u greater than 4?
False
Let y(o) = -o**3 + 7*o**2 - 6*o - 1. Let c be y(6). Let s(i) = -i**3 - 8*i**2 - 1. Let b be s(-8). Is b at most as big as c?
True
Let w be ((-2)/6)/((-16)/(-144)). Let a be (21/(-14))/(w/(-8)). Is a >= -4?
True
Let s be -1 - -4 - (-19)/(-3). Let p = -3 - s. Let v = -3 - -2. Does p = v?
False
Suppose 4*g - 19 + 69 = -3*l, -2*l - 4*g - 40 = 0. Is l > -10?
False
Let s = -0.79 - -0.09. Let z = 9.2 + -10. Let t = z - s. Which is smaller: -4 or t?
-4
Let c = 8/5 - 1. Suppose 5*v = 5*k + 17 + 48, -3*k = v - 9. Suppose -8*s + v = -4*s + 4*z, 4*z - 12 = -2*s. Which is smaller: c or s?
s
Let h(v) = -v + 7. Let d be h(-8). Let j = d - 10. Suppose -5*t + 0 - 2 = -3*c, j*t + 3*c = -8. Is -2/7 at most as big as t?
False
Suppose 0 + 16 = 2*r. Is r not equal to 8?
False
Let t = 35 - 34.4. Which is greater: -0.6 or t?
t
Suppose 4*x - s = -0*x - 1, -4*x - 5*s = -29. Which is smaller: x or 7/37?
7/37
Let w(p) = -p**2 + 8*p + 9. Let g be w(8). Let k be (g + 0)*(-2)/2. Is -8 smaller than k?
False
Suppose 3*l = -2*j - 25, 0*j + j = -4*l - 40. Is -12 not equal to l?
True
Let h(g) = g + 32. Let s be h(-15). Which is greater: s or -4?
s
Let z be (14/4)/(6/(-13 - -1)). Which is bigger: z or -8?
z
Suppose -2*p + 16 = 6. Let d = 7 + -3. Is p < d?
False
Let m(g) = -g + 12. Let b be m(0). Suppose -5*u + 5*s = 20, 0*s - 3*s + b = 3*u. Let f = 0 - -2. Which is smaller: u or f?
u
Let j be ((-9)/(-30))/((-8)/250). Let x = j - -81/8. Which is smaller: 2 or x?
x
Let r be (-4)/(-2) + -11 + (-1 - -1). Which is smaller: 2 or r?
r
Let j = -0.051 - 0.249. Is -1/7 smaller than j?
False
Let n = 8 - 9. Let p(f) = 3*f**2 + f + 1. Let y be p(n). Which is bigger: y or 2?
y
Let v = 155/4 + -39. Let p be 0/4*2/6. Suppose o + o - 5*g + 21 = p, -2*o + 2*g - 6 = 0. Is v less than o?
True
Suppose -5*r = -4*n - 7, -n - 17 = 3*n + 5*r. Let p be 8/4*1/n. Let f = -2 - -1.5. Is f greater than p?
True
Let y be 53/(-2)*(2*-2 + 2). Which is bigger: -0.1 or y?
y
Let q be 1/(3 - 5/2). Let c be q - 1/(-4)*-9. Is -1/9 equal to c?
False
Suppose -t = 3*t + 3*t. Which is smaller: t or 1/79?
t
Let j be 2/6 + (-7)/3. Let f = j - -2. Let s be ((-3)/3 + f)/(-1). Which is bigger: -2/11 or s?
s
Let q(t) = t**2 + 8*t + 9. Let g be 3 + (-4 - 0) - 6. Let n be q(g). Are 3 and n non-equal?
True
Let o be 1/(-2)*(1 + -13). Suppose 3*i - l + 9 = -6, -2*l = -o. Is i <= -9/2?
False
Let h = 37/36 - -2/9. Is h greater than or equal to 0?
True
Let j be (-11)/(-5) - 1/5. Suppose -4*w + 4*v + 4 = 0, -10 = -j*w - 4*v + 2*v. Suppose 3*r - 6 + 3 = w*h, -3*r = 4*h + 18. Is h greater than or equal to -3?
True
Suppose 5*r + 2*j + 2 + 5 = 0, -3*r - 6 = 3*j. Let a be 3 + 0 + 2/r. Let g = 3.8 + -4. Which is smaller: a or g?
g
Suppose 3*y - 5*m - 26 + 10 = 0, -20 = 4*m. Suppose 0 = h + 2 - 3. Let u(i) = -5*i**2 + i. Let f be u(h). Does y = f?
False
Let d(u) = -u**3 - 18*u**2 - 76*u + 7. Let n be d(-7). Let r = 0.1 - -0.04. Is r at most n?
False
Let z = 2.41 - 2.4. Let q = z - 0.81. Is 1/2 greater than q?
True
Suppose s + 39 = -k, 0 = s - 2*k + 24 + 18. Is -39 greater than or equal to s?
True
Let f = 2.23 + -2.1. Let z = -0.14 + f. Is 2/7 <= z?
False
Let c = -22 - -22. Which is smaller: -2/19 or c?
-2/19
Let z = -125 - -74. Is z bigger than -51?
False
Let z be (-1 + 59 - 2) + -2. Let l be (z/15 + -3)*-5. Which is greater: l or -11/4?
-11/4
Let m = -55 - -447. Let g be (-1)/4 + m/32. Let l be 14/(-40) + g/(-30). Which is smaller: l or 0?
l
Suppose 4*h - 8 = -0*u + 4*u, -24 = 4*u + 4*h. Let m = 1.1 + -0.1. Is m at most u?
False
Let f = -4 - 0. Let p be (-3)/2*f/21. Suppose -3*s - 5*x + 3 = 0, -2*s = 2*s - x - 4. Which is smaller: s or p?
p
Suppose 9*y = 44 + 19. Is 8 equal to y?
False
Let z = 96 + -94.9. Which is smaller: -2/5 or z?
-2/5
Let n be 10/50*(-10)/(-33). Is n less than or equal to 0?
False
Let c be (1 - -1)*1/(-1). Let y be (8/60)/((-552)/(-3145)). Let b = 2/207 - y. Are b and c non-equal?
True
Suppose 4*j = -63 + 15. Let r = j - -11. Let g = 13 + -27/2. Is r at least as big as g?
False
Let q be (0 + 16/3)*(25 - 18). Suppose -3 - 71 = 2*l. Let k = l + q. Is -2 at least k?
False
Let n = -58022/4605 - 1/4605. Let o = 1696/135 + n. Which is bigger: o or -1?
o
Let v = -10.22 - -0.22. Let s = 11 + v. Are 0.2 and s non-equal?
True
Suppose 3*v = -10 + 16. Is -1.3 equal to v?
False
Let f = -1.9 + -0.1. Is f at least as big as -2/7?
False
Let w be (-3)/6 + (-3)/6. Is 6/13 >= w?
True
Suppose -1 + 11 = -2*t. Let w = t + 2. Do -3 and w have different values?
False
Let v be (4/32)/((-3)/(-15)). Let r = v - 1/8. Suppose 2*j - 3*j + 5 = 2*d, 5*d = 3*j - 15. Are d and r equal?
False
Let h be (3 - 5)/((-2)/(-6) + -1). Is 7 smaller than h?
False
Let y = -17 - -16. Suppose 0 = -0*r - 4*r. Do r and y have the same value?
False
Let w = 3/5 - -1/15. Let x(m) = m + 14. Let j be x(-13). Which is bigger: j or w?
j
Let s(x) = -x**2 - 5*x + 2. Let v be s(-5). Let j(a) = a**3 + 9*a**2 - a - 9. Let y be j(-9). Suppose y = -5*w + 2 - 7, -4*l + 5 = 3*w. Is v at least l?
True
Let t = -5 + 4.95. Let h = t + 0.15. Let k(m) = m**2 - 6*m + 6. Let l be k(4). Which is smaller: l or h?
l
Let b = 71 - 69. Which is bigger: -22 or b?
b
Let s be 6*(2 - 1) + 0. Let g = s + -8. Is -2 < g?
False
Suppose 4*g + b + 9 = 0, -4*g + 4*b = b + 5. Let m = -119/8 - -1753/120. Let r = m - 7/30. Is r bigger than g?
True
Suppose 10 + 0 = 5*a. Suppose -9*u + 3*u = -12. Is a less than u?
False
Let z = 0.25 - 1.35. Let m = 0.2 - 0.3. Let s = m - z. Do s and 0 have different values?
True
Suppose 0 = 12*f - 0 - 0. Which is smaller: f or 10/23?
f
Let q = 78 - 157/2. Which is greater: 1 or q?
1
Let s be ((-20)/30)/((-4)/(-6)). Which is smaller: 3/22 or s?
s
Let k = 0.4 + -1.4. Let d = -3 + 6. Which is bigger: k or d?
d
Let o = 4.6 + -5. Which is bigger: o or 0.21?
0.21
Let t = 7 + -5.8. Let i = t + -1. Let w = 6 + -16/3. Is i bigger than w?
False
Let f(k) = k**3 - 13*k**2 - 15*k + 4. Let a be f(14). Is a < -12?
False
Let v = -0.01 + -1.99. Is 0.1 <= v?
False
Suppose 2*d + 46 = 4*y, -4*y + 48 = -5*d - 37. Is -14 > d?
False
Suppose 0 = 5*m - 10 - 5. Suppose 0*t - m*t = 0. Which is smaller: t or -3/4?
-3/4
Let r be 5/(-12) - 0 - (-8)/32. Which is bigger: 0 or r?
0
Suppose 4 = 4*d + 4*p, 2*d - 3*p + 7 = 6*d. Is 4 > d?
False
Let x = -20 + 20.04. Do x and 2/7 have the same value?
False
Let m(t) = -5*t - 11. Let g(f) = 14*f + 32. Let i(x) = -6*g(x) - 17*m(x). Let n be i(4). Does n = 2?
False
Let x = -0.4 + -0.6. Let k = x - -1. Suppose 16 = -4*b, -5*w - b = -2 + 1. Which is greater: k or w?
w
Let h be (-9)/3*(-4 - (-3 + -4)). Let s be 2/(-5) - 129/15. Is s at most h?
True
Let u = 197 - 202. Let l(z) = -8*z + 5. Let b be l(4). Let j = 53/2 + b. Are u and j unequal?
True
Let m(j) = -j**2 + 7*j + 4. Let p(t) = -t. Let o(q) = m(q) + 3*p(q). Let c be o(5). Which is greater: -2/11 or c?
-2/11
Let n = -10 - -7. Let o = 5 + n. Which is smaller: o or 2/5?
2/5
Suppose 0 = -5*a + 4*m + 38, 2*m - 7*m + 8 = 3*a. Let d be 1/4*(-8)/a. Which is greater: -0.3 or d?
-0.3
Let s(k) = -k**2 + 5*k. Let z be s(3). Let m be 4*(-1)/(4/(-7)). Which is smaller: z or m?
z
Let w = -64.1 + 64. Let k = -339/22 - -899/66. Let d = 4/33 + k. Which is greater: w or d?
w
Let l = -1 - -1. Let w = 0 - l. Let o = -488/5 - -98. Which is smaller: w or o?
w
Suppose 3*p - 5 = 5*