-6?
False
Let s = -5.93 + 1.03. Let z = s - -5. Is -2 less than z?
True
Let f = -14 - -13.9. Let m be (12/56)/((-9)/24). Is f equal to m?
False
Let s = -6 - -10. Suppose s*d + 3 = -0*d + 3*g, 5*d + 18 = -g. Are -3 and d equal?
True
Let a = 3 + -1. Suppose 2*d + a*d - 4 = 0. Which is smaller: 1/14 or d?
1/14
Let k = 13 - 9. Suppose -3 = -5*z + k*z. Suppose -7*d = -12*d + 10. Is z not equal to d?
True
Suppose 0 = 4*l - 13 - 19. Let r be ((-12)/(-9))/(l/12). Does 10/3 = r?
False
Suppose -20 = -o - 2*o - y, 4*y = -4*o + 32. Suppose -o*b + 2*b + 8 = 0, 0 = -4*q + 5*b - 1198. Let m be (-120)/q - (-2)/(-9). Which is bigger: 0 or m?
m
Let n be (-2)/(-6) + 5/(-15). Suppose 4*h = -n*h. Is h less than -1/18?
False
Let g(l) = l**3 - l**2 + l - 3. Let x be g(0). Let s = x + 9. Suppose -2*v + h + 2 = 0, -3*v + 3*h = v - s. Is v < 1/5?
True
Suppose 4 = -3*w + 25. Let j be w/(3/(3 - 0)). Suppose -j = 3*s - 4. Is 0 at most as big as s?
False
Let v be (2/10)/((-13)/26). Which is greater: v or -1/3?
-1/3
Let h be 6/(-24) - 7/4. Is h at least as big as -7?
True
Suppose -t + 0*t + 3 = 0. Suppose 0*z = 4*z - f + 3, t*f - 9 = 5*z. Which is smaller: z or -4/5?
-4/5
Let k(z) = -z + 1. Let x be k(4). Let p be (-3)/x + 14/(-10). Suppose 0 = -5*i + 3*h - 2, -5*i - 3*h + 0 = 8. Is p less than i?
False
Let l = 104/19 + -1721/304. Does 0 = l?
False
Suppose 12 = 4*q + 2*s, q + 4*s = -2*q + 19. Suppose -p + 2 = -q. Suppose -p*j = 2*j. Is -0.1 at least j?
False
Let c = 48 + -46. Let a = -2/61 - 53/244. Which is smaller: a or c?
a
Suppose 5*f + 0 = 10. Suppose 2*n + 4*d = -8, f*d - 4 = -7*n + 2*n. Let a = -0.2 + -0.8. Is a != n?
True
Let l = -2416/13 + 186. Which is bigger: l or -0.1?
l
Let d(p) = p**2 + 6*p - 4. Let x be d(-8). Suppose c = 2*q + 4, 4*q - 4*c + x = -4. Is q > 4/7?
False
Let x(q) be the second derivative of -q**5/20 + 7*q**4/12 - q**3/6 + 2*q**2 - 2*q. Let m be x(7). Is m bigger than -3?
False
Let r = -42 - -28. Is r <= -9?
True
Suppose 5*p - 33 = 2*g, 2*p + 4 = g + 18. Is -3 at least as big as g?
True
Suppose z + 2*z = 3*a - 102, -2*a - 3*z + 53 = 0. Is 33 at most a?
False
Let d be (-5)/10 - 6/(-4). Let o be 0/(-1)*d/(-2). Is -1 < o?
True
Let z be 2/(-11) - 338/(-44). Which is smaller: 9 or z?
z
Let w be 9/(-3) + -54 - 3. Let c be -1 + 3 + w/32. Which is bigger: 0 or c?
c
Let j(l) = l**2 - 13*l + 14. Let t be j(10). Let d be (-4)/t + (-18)/8. Suppose 3*r = -0*z - 5*z - 14, 0 = -5*r - 3*z - 18. Which is smaller: d or r?
r
Let h be ((-14)/6 + 1)*-3. Suppose 6*t = -w + 2*t + 3, h*w - 12 = -4*t. Suppose 4*d = 2 + 2. Are d and w non-equal?
True
Let v be 4 - 4*(-1)/2. Let n be v/9 - (-5)/(-3). Is n at least -2?
True
Let h(a) = -a**3 + 3*a**2 + 4*a - 5. Let i be h(4). Let z be (-2 + 4)*(1 - i). Let g be 4/z*(-1 - -4). Is -2/13 < g?
True
Let t be (4/(-65))/(38/95). Does -1 = t?
False
Let j = 8 - 8.11. Let g = -0.13 - j. Which is bigger: -2 or g?
g
Let v be 18/12 + 18/(-92). Is v > 0?
True
Let g = 0 - 1. Are 3/7 and g nonequal?
True
Suppose 5*z + 7 = -3*h, -4 = 3*h + 8. Let o = 2 - z. Let v = 0 - o. Is v greater than -2/3?
False
Let p be 2 + (1 - (-1 + 4)). Let v be p/3*1 + 1. Which is bigger: v or 4/3?
4/3
Let h = -2.2 + 0.2. Let q(i) = -i + 5. Let y be q(5). Suppose -3 = 3*o - y*o. Which is bigger: h or o?
o
Let o be (-4)/18 + 1474/1287. Is o bigger than 1?
False
Let d = 0.11 - -7.89. Let f = d + -9. Which is smaller: f or 0.2?
f
Let u = -64 - -63. Which is greater: -24/11 or u?
u
Let s(w) = -2*w**2 - 57*w + 9. Let l be s(-29). Is -22 at most as big as l?
True
Suppose -4*w + 2 = -18, 3*t - 49 = w. Is 17 less than or equal to t?
True
Let r be 9/(-2) - (-3)/6. Let v be 3 + 3 + 22/r. Is 1/4 at most v?
True
Let t be 24/(-64)*(-2)/3. Suppose -5*u = -0 - 5. Let x = u + -1. Is x >= t?
False
Let y = 3222 + -22920/7. Let x = 52 + y. Let v = 301 + -300. Is x not equal to v?
True
Suppose 5*h - 3 = 7. Let k = -6 - -6. Let q = 3 - k. Is q equal to h?
False
Let o be 2/(-10) + (-1528)/760. Is -1 at least as big as o?
True
Let b(r) = -r**2 - 7*r - 9. Let f be b(-6). Let v(t) = t - 4. Let u be v(f). Which is smaller: -6 or u?
u
Let p = 800917/10565 - 18/2113. Let q = p - 76. Suppose d - a = -d + 6, 4*a + 16 = 0. Which is smaller: d or q?
q
Let g = 12 - 12. Let r be g/(-2 + (-3)/3). Is r bigger than -1/4?
True
Suppose -5*x + 37 = -3*o, x = -x + 2*o + 18. Suppose -2*k - 2 = 0, -j - 5*k = j - x. Suppose -n = j - 3. Is -2 < n?
False
Let z = -3 - 2. Let g = 2 + -3. Which is greater: g or z?
g
Let j = -35 + 25. Let o = j + 9.58. Let k = o + 0.02. Is k equal to 2/5?
False
Suppose -10 = -5*m, -2*m - 1 = 3*x - 14. Suppose 5*g - x*g + 6 = 0. Let d(w) = -w - 4. Let z be d(-2). Is g < z?
True
Let r = 1 - 1. Suppose 8 = c + 3*c, 5*b + 2 = c. Is b > r?
False
Let m(y) = y**3 + y**2 - y + 2. Let v be m(0). Suppose v*h + 4 = -2*h. Is h greater than or equal to -1?
True
Suppose 0 = 6*l - 2*l. Let j be (0 + l)/(-1 + -1). Suppose -2*r - 2*r = -3*g - 12, 3*r = -4*g + 9. Is j less than g?
False
Let s = 36 + -35. Let j = -35 + 701/20. Which is smaller: j or s?
j
Let j = 0.043 - -0.007. Is 3 < j?
False
Let s(h) = -h**2 + 9*h + 6. Let b be s(9). Let i = -9 + b. Which is bigger: -1 or i?
-1
Let q = -30 - -26. Are q and -4 nonequal?
False
Let q be 1/(-2)*(4 - (10 - 4)). Which is bigger: q or -1/109?
q
Let d = 67 + -45. Suppose -d - 2 = -g. Let a = 47/2 - g. Is a at most -2?
False
Let c = 149/90 - -1/90. Is c greater than or equal to 3?
False
Suppose -1 + 11 = -5*n. Are n and -2 equal?
True
Let k = -1773/7 - -252. Let l(b) = b**2 - 9*b + 18. Let f be l(5). Which is smaller: k or f?
f
Let o(m) = m**2 + 3*m + 1. Let k be o(-2). Which is smaller: k or -2/15?
k
Let j = 3/38 - 85/114. Suppose -5*h - 10 = -0*h. Let u = -3 - h. Which is smaller: u or j?
u
Let d = -67 - -53. Is -15 <= d?
True
Let y be -3*1*18/(-27). Suppose 0 = -3*z + y*z + 4. Is z less than 5?
True
Suppose -4*a = 3*b + 233, -203 = -3*b + 6*b - 2*a. Are b and -72 equal?
False
Let i = -263789/29535 - 154/537. Let g = i - -47/5. Suppose 0*f = 2*f + 10, -5*o + 30 = -5*f. Is o != g?
True
Suppose -m = -3*m. Suppose 4*n - n = 6. Is n >= m?
True
Suppose -4 = 4*a - 2*a. Which is smaller: a or -1?
a
Let f = 18 + -18. Let j = f - -1. Is 0.05 < j?
True
Let m be 8/(-28) - 0/(-2). Which is smaller: m or -1.3?
-1.3
Let z(w) = w**3 - 5*w**2 - w + 3. Let o be z(5). Let n be 0 + (2 - (-3 - -3)). Let x = -2 + n. Is o equal to x?
False
Let w = 3 - 2. Suppose -4*l + w = -7. Let r be l/5 + 6/(-15). Is r < 1?
True
Let c = 42646034/1365 + -218676/7. Let m = -44/15 + c. Are -2 and m equal?
False
Suppose 12 = -a + 11. Are -2/5 and a nonequal?
True
Suppose -4*a + 21 = 2*x - 7*x, 3*x = 2*a - 13. Let y be (-1)/(-3) + 20780/90. Let g = y - 231. Is g >= a?
True
Let k = -14 - -21. Let t = -6.8 + k. Let g be (2/(-18))/((-1)/3). Are t and g nonequal?
True
Let g = 1858214489/1386 - 1340703. Let j = 1185/36344 + 3/472. Let f = j - g. Which is greater: f or 1?
1
Suppose 1 = -4*v - 3*x + 4, 5*x = -15. Do 2 and v have different values?
True
Let t = -5 - -3. Let q = 10 - 6. Suppose -5*n = -4*h + 10, 0 = -q*h + 2*h + 2*n + 4. Which is greater: h or t?
h
Let w be (-34)/12 + -20 + 22. Is w bigger than 0?
False
Let x = 0 + -3. Let u = -3 + 1. Is x <= u?
True
Let w be ((-1)/3)/((-5)/(-30)). Let q be (6 - w) + -2 + 0. Suppose -q*u = -u. Is 3/5 less than u?
False
Let c = -20 - -16. Which is smaller: 1/3 or c?
c
Let i(o) = -o**2 + 15. Let x be i(-4). Suppose 5*u + 13 = 3*u + 5*a, -5*u + 3*a = 4. Which is bigger: u or x?
u
Let a(q) = -q + 23. Let v be a(14). Are v and 9 nonequal?
False
Suppose 7 = -4*l + 3. Let d = l - -1. Are d and -1/6 non-equal?
True
Let z = 7 - 7.19. Let v = 3.81 - z. Is 1 equal to v?
False
Suppose -3*k = 4*w - 10, -k + 5*w = 4*k + 30. Is -28/13 at least as big as k?
False
Let s be ((-126)/(-33) - 1) + -3. Let t(x) = -7*x - 1. Let m be t(-1). Let v be (-9)/m*2/3. Which is greater: v or s?
s
Let y be (10/(-4))/(2/4). Let r be (-2 + 3)/(4/(-16)). Is r not equal to y?
True
Let d = -222 - -224. Is 16 != d?
True
Let r be (3/18 + 0)/1. Suppose -4*q - 3*j = -11 - 12, -q = 3*j - 8. Let t be 1 + q + -3 + -3. Which is greater: r or t?
r
Let q = -5 - -7. Let t(w) = -w**3 + 8*w**2 + 5*w + 38. Let h be t(9). Do h and q have different values?
False
Suppose -51 - 9 = -4*o. Let j = 13 - o. 