 10. Let d = a - 9. Is -4 at most as big as d?
True
Let z = 48 - 15. Let h be (-3)/(-3) - 27/z. Is 0 bigger than h?
False
Suppose 19 = -4*f + 27. Let m = -6.3 + 6. Which is bigger: m or f?
f
Let j = -0.1 - 31.9. Which is smaller: 2/7 or j?
j
Let w = -0.2 + -0.1. Let k = 1.3 + w. Are k and 0 non-equal?
True
Let l be 4 + -3 + (2 - -65 - -1). Which is smaller: l or 68?
68
Let k be (-2)/3 + (-84)/(-153). Let t(i) = i**3 - 5*i**2 - 1. Let l be t(5). Which is greater: k or l?
k
Suppose -4*m + 13 = g - 0, -4*g = 5*m - 19. Suppose 3 = -2*p + g. Suppose -5*r + 4*n = -21, -4*n = -5*r + n + 25. Is r >= p?
True
Let t = -1 - -5. Suppose -10 = t*k - 5*k. Let f(r) = -r**2 + 9*r + 11. Let y be f(k). Which is smaller: y or 3/2?
y
Let g = -1.7 - -1.8. Which is smaller: g or -3?
-3
Let o = 1 + 1. Let i = 281 - 531/2. Let y = i + -13. Which is smaller: o or y?
o
Let z(q) = -2*q**2 - 5*q + 8. Let h be z(-5). Is h < -17?
False
Suppose j - 3 - 1 = 0. Suppose -2*p - 9 = p. Let t = p + j. Is t at least as big as -1/4?
True
Suppose 0 = -n - 3*n + 5*r + 23, 0 = 3*r + 9. Suppose -n*w = 3*w. Do w and 5/4 have the same value?
False
Let g = -873/5 + 174. Do -2 and g have different values?
True
Suppose 3*u = -t - 21, -2*t + 0*u - 27 = 3*u. Suppose 221 - 21 = 5*y. Suppose -5*c = y - 10. Is c smaller than t?
False
Let s = -8 - 1. Suppose -j - 36 = 3*j. Is j >= s?
True
Let s = 0.2 + 0.3. Let d = s + -0.9. Which is smaller: d or 0?
d
Suppose -3*a + 12 = 3*t, 5*a - 4*a - t + 6 = 0. Let w be 4*a/(-2)*-3. Is w >= -6?
True
Let n = -0.3 + 0.1. Let f = 3.2 + 0.8. Is f at least as big as n?
True
Suppose -2*b + 16 = 4*p, 0*p + 4*p + 4 = 3*b. Suppose -b*y + 0*y = -3*q + 27, -q - 10 = 5*y. Let f be 1/((-9)/(q - 2)). Is f != 1?
True
Suppose -2*j + 2 = -4*j. Which is smaller: 2/39 or j?
j
Let j = 1088/5 - 220. Is j greater than -2?
False
Let u = 17 + -4. Let f = 14 - u. Is f smaller than 2?
True
Let d = 5.99 + 0.01. Let i = 6.06 - d. Let r = i + 0.04. Which is bigger: -0.4 or r?
r
Let h be (-7)/12 + (-2)/(-8). Is h at most as big as 0.11?
True
Suppose -3*b - t - 1 - 1 = 0, 4*b - 3*t = 19. Let p = -283/3906 + 1/126. Which is smaller: p or b?
p
Let x = -4 + 4.3. Let v = -0.3 + 0.2. Let n = v + x. Which is smaller: -1 or n?
-1
Let h(d) = d**3 - 3*d**2 + 2*d + 1. Let i be h(2). Let j be 4/(-3)*(-6)/(-108). Which is bigger: i or j?
i
Let j = -92 + 93. Which is bigger: j or 14/9?
14/9
Let t = -48 + 28. Are -1/3 and t unequal?
True
Let b be (3/9)/(3/(-18)). Let n be (-9)/6 - b - -3. Which is smaller: n or 3?
3
Let g = -3 - -2.9. Let k = 1.9 + 0.1. Let u = 1.9 - k. Is g >= u?
True
Let h(k) = k**2 + 7*k. Suppose 3*g + g + 28 = 0. Let p be h(g). Let x = -443/3 - -149. Which is smaller: x or p?
p
Let a = 0.95 + 0.05. Let z = 1.5 + -15.5. Let d = 12 + z. Which is greater: a or d?
a
Suppose 2*t - 4 - 6 = 0. Suppose t*s = s + 4. Is 0 > s?
False
Let j(u) = -u + 7. Let d be j(6). Does -2/37 = d?
False
Let z be (10/(-35))/((-12)/42). Which is greater: 1/28 or z?
z
Let p = -0.07 + 6.07. Let w = -4 + p. Let c = -2.22 + 0.22. Do w and c have the same value?
False
Suppose -6*q = -q + 20. Let l be (-9)/(-4) + 1/q. Let f = l + 1. Which is bigger: 4 or f?
4
Let b be (-11 + 10)/(1*(-2)/2). Are -1/107 and b unequal?
True
Let w = -0.09 + 23.09. Let d = w - 26. Which is smaller: 0 or d?
d
Let f be (-8)/32 - 1/(56/(-150)). Which is smaller: f or 2?
2
Let w = -7.53 - 0.67. Let c = w - -11. Let f = c - 3. Which is smaller: -2 or f?
-2
Let h = 228/23 + -4198/391. Is h != -2?
True
Let b = 355/11 - -5/22. Suppose 0 = -2*f - 6 + 70. Let n = b - f. Which is greater: n or -0.1?
n
Let g = -3 - -16. Let z(q) = 11*q**3 - q + 2. Let l be z(1). Is l at most g?
True
Let j(f) = -4*f - 1. Let s be j(-1). Suppose -7*b = -s*b. Do b and -1/4 have the same value?
False
Let q be (-6)/(-4)*8/(-14). Suppose -2 = -6*p + 4*p. Let z be 1/p - (5 + -2). Does q = z?
False
Suppose 2*q + 2*g = -12, -4*q - g = -3 + 18. Let s be q/(-5) + (-118)/230. Is s greater than or equal to -1?
True
Suppose 5*c + 1 = -5*v + 26, -3*c = 4*v - 16. Is v at least -2/7?
True
Suppose -4 = -2*v + 12. Suppose 0 = -2*z - v + 20. Let w(t) = -t**3 + 6*t**2 - t + 8. Let m be w(z). Which is smaller: m or 3/4?
3/4
Let a(q) = q - 7 - 2*q - q - 11. Let k be a(-12). Is 6 >= k?
True
Suppose -4*z - 20 = -0*z. Let t(h) be the first derivative of h**3/3 + 2*h**2 - 6*h + 2. Let k be t(z). Which is smaller: k or -2?
-2
Let b be (-3)/1 - 27/(-8). Are -1 and b unequal?
True
Suppose -s = -24 + 25. Which is smaller: s or 2/51?
s
Let t = -0.1 + 1.1. Let r = t - 1. Let d = r - 0.1. Is d smaller than 2/3?
True
Let v = -21 + 17. Is v at most as big as -2?
True
Let j be ((-84)/105)/(-2 - 0). Do 0.2 and j have the same value?
False
Suppose t = 1 + 6. Is t at most as big as 0?
False
Suppose 20 = u + 89. Which is smaller: u or -68?
u
Let z = 23 + -8. Let g = 11 - z. Which is greater: 0.2 or g?
0.2
Let s = -16 - -15.8. Let x = s - -1.2. Which is smaller: x or 8?
x
Let b = 2.43 + -0.13. Let h = 2 - b. Which is greater: -1/2 or h?
h
Let u = 5.9 - 7. Let y = u - 0.9. Are y and 3 non-equal?
True
Let l = 0.09 - -5.91. Let b = l - 4. Let w = b - 1.8. Which is smaller: w or -1?
-1
Suppose -5*s + 1 - 31 = 0. Let q = -4 - s. Is q at most 2?
True
Suppose r = -3, -5*v + 5*r = 2*r - 4. Do v and -2 have the same value?
False
Let d(z) = 4*z**2 + 2*z - 3. Let j be d(1). Which is bigger: j or 36/11?
36/11
Suppose -2*u - u - 5*k - 14 = 0, -7 = -u - 4*k. Let y = 16 + u. Are -1 and y unequal?
True
Suppose -6*y + 4*y = 20. Are -11 and y non-equal?
True
Let y = -0.35 + -0.05. Let f = -1.94 + -0.06. Which is smaller: f or y?
f
Let q(z) = -1 + 6*z + 0*z + z**3 - 2*z**2 - 4*z. Let o be q(3). Suppose 5*f = -3*c + 22, c + f = 5*c - o. Is 3 smaller than c?
True
Let n(l) = -l - 2*l + 1 + 2*l**2 + l**2 - 4*l**2. Let u be n(-4). Which is bigger: u or 0?
0
Let o = -12 + 14. Are 1 and o equal?
False
Suppose 2*j = 6*j + 16. Does 0 = j?
False
Suppose -2*l - 2*a = -4*a - 6, -5*a = -l + 19. Is -12/5 at least as big as l?
False
Let a(z) be the second derivative of -z**3/6 - 5*z**2/2 + z. Let v(s) = -7*s**2 - 2*s - 1. Let y be v(-1). Let h be a(y). Does h = 1?
True
Suppose -3*v + v + 24 = 0. Which is bigger: v or -0.2?
v
Let g be (-6)/(-15) + (-44)/10. Let t(j) = -j**2 - 9*j - 3. Let c be t(-9). Do c and g have the same value?
False
Let t = -1/26781 - -92257/303518. Let h be (-2)/4 + 8/17. Let r = h - t. Which is bigger: 1 or r?
1
Let v be -2 + (-12)/4*-2. Suppose -b - 3 = v. Let m be ((-4)/6)/((-6)/9). Which is smaller: b or m?
b
Let a = -6 + 5.7. Let t(j) = 9*j - 119. Let z be t(13). Which is smaller: a or z?
z
Let z = -66/5 + 13. Suppose 4*x = x. Which is smaller: z or x?
z
Let d = 33 + -100/3. Which is smaller: 1 or d?
d
Let x be (2/(-10))/(((-272)/(-30))/(-17)). Are x and 2/5 equal?
False
Let t = 2 - 1. Let j = -2 - t. Which is greater: 0.1 or j?
0.1
Suppose -o - o + 4*h - 16 = 0, -10 = 2*o - 2*h. Let w be o/(3/6*-2). Is w < -4?
False
Let o = 7.504 - 7.5. Which is smaller: 1 or o?
o
Let b = -2/5 + 9/10. Are b and 2/9 equal?
False
Let v(k) = -k**2 - 7*k - 2. Let a be v(-6). Suppose 0 = -2*y + a*f - 20, 0 = -4*y - f - 3*f - 16. Let s = 10 + -17. Do y and s have the same value?
False
Let z be (-49)/(-15) - 3/1. Is z smaller than 0?
False
Let d = 17 - 12. Suppose 0 = -d*m + 3*m. Which is bigger: m or -3?
m
Let v be 7/(-119)*4/(-4). Which is smaller: v or 0?
0
Let i = 477/2 - 234. Let u(b) = -b**2 + 3*b + 4. Let m be u(3). Is i less than m?
False
Let a = -0.396 + 0.096. Which is smaller: a or 1/8?
a
Suppose 0 = 3*t + 5*m - 23, -7 = -5*t - 2*m + 6. Which is smaller: t or 1/35?
1/35
Let g = 115/6 - 1271/66. Which is greater: 1 or g?
1
Let f = 368/543 + -2/181. Let a = -2 - 0. Which is smaller: f or a?
a
Let c(h) = -h - 2. Let t be c(-2). Suppose -12 = -q + 6. Let p be 4/q*4/4. Which is bigger: t or p?
p
Let h = 3 - -3. Let a = h + -4. Let y = -4 + a. Is 0 bigger than y?
True
Let q = 38.4 - 38. Which is smaller: q or -0.2?
-0.2
Let j = -150.09 - -151. Which is bigger: -2/3 or j?
j
Let s(m) be the second derivative of -m**7/2520 + m**6/240 + m**5/30 - m**4/12 + m. Let h(w) be the third derivative of s(w). Let p be h(4). Does 0 = p?
True
Suppose -2 = -4*a - 5*h, -2*h - 19 = -a - 4*a. Is a >= 4?
False
Let o be 46/8 + 2/8. Suppose 0 = -3*