?
False
Suppose 0 = -k - 3*h - 27 + 11, -k = -h + 8. Is -11 at most as big as k?
True
Let u = 3 - 0. Suppose 4*z = -5*d + 6, -u*z - d - 9 = -4*d. Which is bigger: z or 0.09?
0.09
Suppose -j = -4*m - 5, m = -5*j + 3*m + 43. Is 9 less than j?
False
Let q be (-6)/(-27) - 58/18. Let m(a) = -3*a**3 - a. Let y be m(1). Let c = 2 + y. Which is bigger: c or q?
c
Suppose 8*m = -m + 81. Is 49/5 > m?
True
Let f = -12 + -16. Is f != 0.1?
True
Let i be (3/2)/((-3)/(-8)). Suppose 0 = -i*a + a + 15. Suppose l - 12 = a*l. Is l <= -3?
True
Let f = 4.62 - 4.42. Let q = 18/13 - 67/39. Is f less than or equal to q?
False
Let p(m) = -m**3 + 3*m**2 + 7*m - 6. Let f be p(4). Suppose 0 = h - 3*h - f. Let o = -2 - h. Which is bigger: -2 or o?
o
Let k = -0.29 + 0.15. Is k <= 1?
True
Let d(w) = -w - 1. Let z be d(-10). Suppose 2*q - 2*o = -2, -3*o - z = 3*q - 4*o. Is -4 not equal to q?
False
Let b = -43/449 - 283553/2245. Let z = -126 - b. Which is smaller: z or -1?
-1
Let x = 4/95 + -226/855. Which is greater: x or -5?
x
Suppose -3*q - j - 3 - 8 = 0, -2*j - 10 = 0. Let g be (q - 1) + (-38)/(-10). Which is smaller: 2 or g?
g
Let r be -1*(-6)/8*16. Suppose -2*x - 26 = -4*x. Which is bigger: r or x?
x
Let h(v) = 2*v**2 - 3*v - 4. Let o be h(3). Suppose 0 = -4*n, 0 = 2*s - 0*n + n - 8. Is s at least o?
False
Suppose -2*i = -q + 40, 0 = i + 5*q - 2 - 0. Is -20 equal to i?
False
Let b be ((-6)/7)/(1/7). Let k be ((-2)/b)/(3/27). Let x = -65 + 69. Are k and x equal?
False
Let s be (-6)/(-4)*(-1)/9. Let y(z) = z**2 - 11*z + 1. Let i be y(11). Is i <= s?
False
Let m = -44 + 45. Is -2/31 at least m?
False
Let m be ((-45)/(-2))/((-6)/(-11)). Let v be (-4)/(-6)*861/(-14). Let f = m + v. Which is bigger: -2 or f?
f
Let w = -1017 - -2079/2. Let f = 22 - w. Is -1/3 > f?
True
Let u = -4141/40 + 905/8. Which is bigger: -1 or u?
u
Suppose 20 = -3*a + 77. Is a greater than 19?
False
Let x = -76/123 + -2/41. Let l = -21.2 - -19. Let j = l - -2. Is x at least j?
False
Suppose -5*f = -4*a + 1, f - a = -f + 2. Suppose 3 = f*t - 0. Which is smaller: -1/12 or t?
-1/12
Let u(z) = -z**3 - z**2 + z + 2. Let s be u(-2). Let j be (-6)/(-56)*s/(-12). Is 0 equal to j?
False
Let h = 21 + -21. Is h != -11?
True
Let r = -3.96 - -4. Let z = -1.94 + 2. Let o = r + z. Is -1/4 smaller than o?
True
Let d = -17148/35 + 490. Which is bigger: 1 or d?
1
Let h = -76.94 - -77. Is 7/5 > h?
True
Let l = 1.4 - -6.6. Which is smaller: l or 2/11?
2/11
Let o(f) be the first derivative of f**3/3 + 5*f**2/2 + 2*f + 1. Let n be o(-4). Let s be n - ((-46)/24 - 0). Is s > 0?
False
Let l = -307411/9 + 33928. Suppose 232 = r + m, -2*m - 910 = -2*r - 2*r. Let n = l + r. Is n greater than or equal to -1?
True
Let m be (-1)/((-24)/(-14))*(-9)/14. Which is greater: m or -1/2?
m
Let y = -8 - -14. Is 1 greater than y?
False
Let m(l) = -l**3 + 7*l**2 - 9*l + 9. Let t be m(5). Is 14 less than t?
False
Let n = 3 - 1. Suppose n*o + 5*a = -0 - 12, 2*a = -3*o - 7. Let v be (0 - 0 - 0)/1. Are o and v unequal?
True
Let m = 127/7 + -18. Is 0 smaller than m?
True
Suppose -5*k + 4*y - 12 - 92 = 0, 4*k = -3*y - 108. Let d be (-3)/4 - (-54)/k. Is -5 less than or equal to d?
True
Let n be 5/(-12) + (-17)/68. Let r be ((-1)/3)/(1/3). Which is greater: n or r?
n
Suppose -4*o - 7 = 3*l, 2*l - 1 = 5*o + 2. Which is greater: l or 1/9?
1/9
Let x(o) = -2*o**2 + 17*o - 1. Let s be x(8). Is 15/2 <= s?
False
Let l be (-5)/(5/(-2)) + -1. Suppose -o + 2 = -l. Let m be o + 1 + 6/3. Do m and 6 have the same value?
True
Let o be (-150)/(-154) + 6 + -7. Which is greater: o or 1?
1
Let h = -233 - -4195/18. Is h > 0?
True
Let w be 322/(-210) - (-1)/3. Let x be 1/(-4) + (-1)/(-4). Does w = x?
False
Let y be (-1724)/(-18) - (-2)/9. Let r be y/20*110/(-9). Let d = 58 + r. Is d > -1?
True
Let g be (0 + 6)*(-2)/(-4). Suppose 0 = 3*d - g*i - 24, -i - 1 - 1 = d. Let u = 0.03 - 0.13. Is u at most as big as d?
True
Let b = -0.2 - -0.09. Let m = 0.69 - b. Let x = -0.2 - m. Is 1 equal to x?
False
Let y = -28 - -23. Which is greater: y or -7?
y
Let t = 214 - 402. Are t and -188 equal?
True
Let j be (0 + -2)*(-3 - -1). Let k = -1.1 + 0.3. Let y = k + 0.7. Are j and y equal?
False
Let y = 8.13 + -0.13. Let b = 8.1 - y. Are -14 and b non-equal?
True
Suppose 0 = 5*q - 3*q - q. Which is bigger: -10/7 or q?
q
Let c be ((-10)/(-4))/(5 - (-86)/(-24)). Is c < 1?
False
Let h be (3 + 28 - 4) + (5 - 8). Is 3 greater than h?
False
Let j(i) = i**3 + 7*i**2 + 2*i - 4. Let n(r) = r**3 + 8*r**2 + 3*r - 4. Let t(p) = 4*j(p) - 3*n(p). Let b be t(-4). Is -3/4 less than b?
True
Let a = 5.6 - -2.4. Which is bigger: -1 or a?
a
Let k = -1072/7 - -154. Which is smaller: k or 0?
0
Let r be (-2 - -4) + 18/(-3). Let l(n) = -n**2 + 3*n + 1. Let h be l(4). Which is bigger: r or h?
h
Let k = -39 - -38. Which is bigger: k or 0.1?
0.1
Let q = 81.8 + -82. Is 2 greater than q?
True
Let p(l) = -l**3 - 2*l**2 + 5*l + 3. Let q be p(-3). Which is smaller: q or 6?
q
Suppose -2*d = -7*d + 10. Which is smaller: -2 or d?
-2
Suppose -2 + 20 = 3*h. Is h bigger than 4?
True
Let f = 6 + -2. Suppose -f = -g - 3. Is g at least 0?
True
Let b be (-6)/4*(-70)/21. Suppose 4*j = 3*j + 2*q - b, -3*j - 2*q = -25. Suppose i - 12 = j*i. Is i less than -4?
False
Let w be (-7)/(-21) - (-11)/3. Let j = 4 - w. Which is smaller: j or -2/5?
-2/5
Let n = 0.6 - 0.61. Let i = 4.01 + n. Let t = i - 5. Is t less than or equal to -2/19?
True
Let o = 1.2 - 2. Let p = -5.8 - o. Is p >= 1/3?
False
Suppose 6*a - a + 23 = 3*r, -a = -r + 5. Suppose -5*l = 8 + 7. Let z = l - a. Which is smaller: 0 or z?
0
Let i be (1 - (3 + -5))*1. Let t(z) = -2*z - 2. Let k be t(-2). Suppose -r + 2 = -k. Which is bigger: i or r?
r
Let l be 2 - (2 - 1)*1. Suppose -2*b - 3 + l = 0. Let k be 4*(21/(-18) - b). Which is smaller: k or -1/3?
k
Suppose 3 = 3*b - 4*u, u + 2*u + 2 = 2*b. Is 22 bigger than b?
True
Let u be (-18)/10 - 1/5. Let d be 3/(u - -14)*3. Suppose -4*j = -2*a, 3*j - 3*a + 10 = a. Is j greater than or equal to d?
True
Suppose -b = 3*i - 4, 0*b = 3*i - 4*b + 16. Is 3/34 >= i?
True
Let u = -1.4 + 0.4. Let a = u + 3. Let z = a + -2.2. Do z and 3 have the same value?
False
Let g = -9 - -9. Suppose -2*c - 2*c - 72 = 0. Let u be (-4)/c - (-22)/(-18). Is g <= u?
False
Let d be 1917/(-36) + (1/(-4))/(-1). Does d = -54?
False
Let j(l) = 5*l + l - 5*l - 2*l + 2. Let t be j(5). Is t > -2?
False
Let d = 12.03 - 12.1. Which is smaller: -0.1 or d?
-0.1
Suppose -2*q + 14 = 3*f - 6*q, -3*f + 3*q + 15 = 0. Is f greater than 46/7?
False
Let a(y) = y**3 + 4*y**2 - 10*y + 13. Let c be a(-6). Suppose -5*j = -5*d - 10, 2*j + 4 = 4*j - 3*d. Let o be (1 - -1) + (-2)/j. Is c less than o?
False
Let q = -444295/24 - -18509. Let u = -27/8 - q. Are u and -1 unequal?
True
Suppose 5 = -r + 4. Let i = 3/14 + -1/2. Which is smaller: i or r?
r
Suppose -8 + 28 = 4*w. Let t(j) = -2*j - 1. Let u be t(-3). Is u bigger than w?
False
Suppose -2*w - 35 = -3*a, -2*a - 2*w + 50 = 2*w. Is 15 >= a?
True
Suppose 3*n = n + 10. Which is smaller: n or 9/2?
9/2
Suppose 47 = 4*o - 213. Do 66 and o have the same value?
False
Let f(j) = j**2 + 3*j - 4. Suppose -y - 20 = 3*y. Let k = -9 - y. Let w be f(k). Which is greater: 4/7 or w?
4/7
Let l = 0.2 + -0.1. Let j = l + -0.2. Let u = 3 - 2.9. Is j greater than u?
False
Let m(t) = -2*t**2 - 4*t - 20. Let i be m(0). Is i > -20?
False
Let g(m) = -2*m - 13. Let o be g(-16). Do o and 18 have different values?
True
Let y(o) = o**3 - 10*o**2 - 13*o + 8. Let w be y(11). Let u = w - -14. Let v be (-34)/42 - 4/(-6). Does u = v?
False
Let t = -3 + 1. Suppose -3*w = -2*w + 5. Is t not equal to w?
True
Let p = 50.38 - 49. Let m = -0.08 + p. Is m <= -0.1?
False
Let x(g) = g - 25. Let k be x(16). Do -7 and k have the same value?
False
Let g = -15 + 12. Let k be (2 - 20/6)*3. Does g = k?
False
Let i = -19 - -15. Let z be 13/4 - (-1)/i. Let b(j) = j**3 - 6*j**2 - 5*j - 9. Let s be b(7). Does s = z?
False
Let j = -91.4 - -17.4. Let i = 67.9 + j. Let w = i - -6. Is w at most as big as -0.1?
True
Let j = -56 - -131. Which is greater: 0 or j?
j
Let a = 1 + -2. Let n(x) = -x - 6. Let p be n(-4). Is a at most p?
False
Suppose 4*b = 5*x - 19, 0 = 5*x + 2*b - 5*b - 18. Let o = -4 - -8. Let v be ((-2)/(-4))/(o/12). Which is bigger: v or x?
x
Let w be 1/((4/(-42))/2). Let v be 14/w