 z = j + 0.6. Is z not equal to -0.2?
True
Let a(m) = 2*m + 37. Let v be a(-17). Is v smaller than 0.2?
False
Let m be 1830/1179*(-4)/(-30). Let k = 2/131 + m. Let r be (-3)/9 - (-2)/(-3). Is r at most k?
True
Let t be (-3 + 4)/(1*-1). Is -2/31 at most t?
False
Let a be (-4)/((-6)/4 + 2). Let f be ((-58)/a)/(6/8). Let s = 10 - f. Is s greater than 0?
True
Let y = -5/2 + 0. Let v(q) be the third derivative of q**6/120 + 3*q**5/20 + q**4/24 + 7*q**3/6 - q**2. Let w be v(-9). Is y at least as big as w?
False
Let q = 30 - 44. Let v = q - -16. Which is bigger: -0.1 or v?
v
Let z(k) = -k + 7. Let u be z(7). Let h be (-3)/(-12) + -4 + 4. Which is greater: h or u?
h
Let n = -118/5 - -24. Suppose 0 = l - t - 1 - 0, 11 = -l - 2*t. Let d be (0/(-2 - l))/1. Which is smaller: n or d?
d
Let s = -0.08 + 0.18. Which is smaller: s or -0.4?
-0.4
Let d = 2.8 - 4. Let v = d + 1. Let b be (-10)/(-6) + 2/6. Is b < v?
False
Let x = 14 + -10. Suppose v - 12 = x*v. Which is greater: -5 or v?
v
Let t be 2*(-1 - 1/(-2)). Suppose 100 = -5*d + 30. Let c be 6/d*2/3. Is t at least as big as c?
False
Let i = 6 + -7. Let j = 1711/2 + -813. Let n = 1611/38 - j. Which is bigger: n or i?
n
Let p(t) = t**3 + 6*t**2 - 8*t - 10. Let i be p(-7). Let h = i - -1. Let f be (h/(1 - -1))/1. Is f <= -2?
False
Let z(t) = t - 4. Let g be z(7). Let k(h) = 0*h**2 - h**2 + 3*h + h. Let q be k(g). Which is smaller: q or 2?
2
Let m = -10 - -16. Let v = 7 - 1. Let l(b) = -b**2 + 9*b - 13. Let z be l(v). Which is smaller: z or m?
z
Let z = 942/172931 + 4/869. Is -1 greater than z?
False
Let k be ((-2)/(-64))/(3/(-19)). Let x = 6715/96 + k. Let n = 69 - x. Is n >= -1?
True
Suppose -3*s + 5*k = 12, s + 3*k - 8 = 2. Let x be 2/((-1)/(-1)*-2). Let m = 1 - x. Is s less than or equal to m?
True
Let j be (1*2/(-6))/1. Let c = -3 + 2. Let y be (3 - 3)/((-1)/c). Are y and j non-equal?
True
Let o(i) = -i**2 - 12*i - 22. Let m be o(-9). Let c be (-3)/((-2)/2) + 1. Is m not equal to c?
True
Let k = 6 - 10. Let f be (k/10)/((-3)/45). Let g be (4/f)/((-1)/3). Is g at most -1?
True
Let f be ((-8)/(-12))/(6/1). Which is smaller: -0.09 or f?
-0.09
Let y = 22 - 504/23. Let x = 1/14 + 3/7. Which is greater: x or y?
x
Let r = 2277 + -38649/17. Which is bigger: r or 4?
4
Let a be 210/(-24)*(-18)/55. Let q = 18/11 + a. Which is smaller: 5 or q?
q
Let k = -169 - -157. Which is bigger: -82/7 or k?
-82/7
Let w = -715 - -1395/2. Let z = w + 18. Which is greater: -0.2 or z?
z
Suppose 4 - 2 = -2*x. Which is greater: x or -1/15?
-1/15
Let i = 12.77 + -13. Which is smaller: -2/5 or i?
-2/5
Let a = 0.58 - 0.51. Is a < 1/4?
True
Suppose 7 = 4*u - q, -u + 2*q + 3 = -4. Is -1/30 bigger than u?
False
Let x = 40 - 34. Which is greater: x or 38/7?
x
Suppose 4*y + 1 = s + 18, 0 = 3*y + s - 18. Suppose 0*t = -y*t + 15. Suppose -4*k + 9*k - 20 = 0. Is k greater than t?
True
Let h be (0 - -2) + 0/5. Let m be 2 + 1*-2 + 2. Let j be (m/(-4))/(2/(-8)). Is j less than or equal to h?
True
Suppose 12*o - 74 + 242 = 0. Which is smaller: -17 or o?
-17
Suppose -y + 4 - 3 = 0. Let z = -1 + y. Which is smaller: z or 2/47?
z
Let r = 5 - 1. Let g be (2/5)/(r/10). Which is smaller: g or -2?
-2
Let m be ((-3)/(-27))/((-2)/(-16)). Is m greater than or equal to 2?
False
Let h be (6/9)/((-14)/12). Let d(f) = -2*f - 4. Let l be d(-2). Which is smaller: h or l?
h
Let c = -4 + 7. Let j = -2.9 + 3. Is c >= j?
True
Let l = 19 + -22. Let u be -2 - (2 + (-15)/6). Is l less than u?
True
Let t(f) = 2 + 0*f + 6 + f + 0*f. Let c be t(-8). Suppose -5*k + 25 = 0, -4*d = -5*k + 2 + 11. Is d less than c?
False
Let t = -2.8 + 2. Let c = t + 0.7. Is c smaller than -0.07?
True
Let t(v) = -v**3 - 13*v**2 - 26*v - 27. Let h be t(-11). Do h and 11 have the same value?
False
Let j = 75 + -1127/15. Let y be 3 + (1 + 1)*-1. Is j bigger than y?
False
Let b = 1 + 0. Which is smaller: 4/3 or b?
b
Let d be (106/28 + -4)/(6/16). Suppose 0 = 4*u + 4*w + 16, u + 4*u + 12 = -3*w. Is d greater than u?
False
Let l = -57 - -53. Suppose 4*r = 2*g - 0*g - 12, 28 = -2*g - 4*r. Is g equal to l?
True
Let b = -3 + 1. Let y(o) = -o**3 - 2*o**2 - o. Let n be y(b). Suppose -3*t = -2*a + 2, 0 = 2*a + n*t - 0 - 2. Is 0.2 equal to a?
False
Let g(i) = -7*i + 1. Let l be g(-2). Let q be (-6)/(1 + l/(-6)). Suppose 0 = q*h + 2 + 10. Is -3 greater than h?
False
Let z(a) = -a**3 - 4*a**2 - 2*a + 4. Let t be z(-3). Which is greater: t or -3/8?
t
Let l be (8 + 0)/(-4) - -3. Is 1 bigger than l?
False
Let v be (4/3)/(2/21). Suppose -5*s - k + 40 = -2*k, -s - k + v = 0. Suppose -2*o + s = -3. Is 5 at least o?
False
Let h(i) = -2*i + 24. Let g be h(12). Does g = 1/18?
False
Suppose -5*y - h - 5 = 0, -2*y = -0*y - 3*h + 2. Is -3/4 less than y?
False
Let c be 82/(-184) + (-12)/(-16). Is c greater than or equal to -1?
True
Let m = -7 + 11. Suppose m*b - 20 = -b. Suppose -9 = -5*n + 2*z - 1, -3*n = -2*z - b. Is n > 1?
True
Let g be (-51)/(-396)*27/(-3). Let x = g + 10/11. Suppose -2*c = -0*c. Which is greater: x or c?
c
Let o(a) = a**2 - a - 2. Let h be o(-2). Which is smaller: 6 or h?
h
Suppose -6 = 2*a - 0. Let r be 1 - (-3)/a*-11. Suppose 3*l + 2*d + d + r = 0, 0 = 5*l + d. Which is greater: 3 or l?
3
Let f be (-5 + 1)/(2/2). Let p be (6/(-5))/((-18)/(-60)). Let o(b) = b - 1. Let h be o(p). Which is smaller: h or f?
h
Let n = -1 + -2. Let a = -4 - n. Is a at most as big as 1?
True
Let i be -3*2/(-18) + 10/15. Which is bigger: i or -2?
i
Let r(q) = 2*q**2 - 3*q - 3. Let s be r(-2). Suppose 1 = -5*o + s. Let w be (-2)/4*o - 2. Which is bigger: -2 or w?
-2
Suppose 311 = 4*z + n - 357, -164 = -z - n. Let f = 2519/15 - z. Let o = -77/30 - f. Is o greater than 1?
False
Let y(m) = -m + 1. Let i be y(-1). Is i <= 0.1?
False
Let p be ((-4)/(-6)*3)/(-4). Is p >= 2/7?
False
Let i = 15 - 16. Let q be (6/68)/(3/4). Does q = i?
False
Let o(j) = -2*j**2 + 2*j - 1. Let v be ((-8)/6)/(1/(-3)). Let s = -3 + v. Let n be o(s). Which is greater: 1/3 or n?
1/3
Let i = 9 - 4. Let v = -4 + i. Which is smaller: -2/15 or v?
-2/15
Let a be 4/(-26) + 532/(-91). Let h(l) = l**3 + 6*l**2 - 3*l + 5. Let y(v) = v**3 + 6*v**2 - 4*v + 6. Let z(j) = -5*h(j) + 4*y(j). Let r be z(a). Is r >= 6?
False
Let t = -0.18 + -0.92. Let x = t - -1. Is x greater than -4?
True
Let p(g) = g**2 + 5*g - 4. Let y be p(-5). Let m be (0 - -1)/(y/(-12)). Let h(i) = i**3 - 3*i**2 + 2*i + 2. Let t be h(2). Which is greater: t or m?
m
Suppose a - 1 = -4*r, -2*r + 5*a = 2*r - 19. Which is smaller: 1/7 or r?
1/7
Let m = -16 + 16. Let z = -36 + 25. Let v(k) = -k**3 - 10*k**2 + 12*k + 11. Let o be v(z). Are m and o equal?
True
Let a = -11.8 + 11.8. Which is bigger: a or 0.22?
0.22
Suppose 0 = h - 2*l - 2 + 5, 2*l = -3*h + 7. Which is smaller: h or -1/18?
-1/18
Suppose z = 5*z + 12. Let y be z/(-6) - 2/4. Is 1 equal to y?
False
Let z be (-43)/(-9) - 2/(-9). Suppose -10 = -0*b - z*b. Suppose b*q + 3*o + 2*o = 16, 4*o = 8. Is 3 >= q?
True
Let f be 36/(-45) - 2/10. Let h be (-6)/(-10) - 65/25. Is h not equal to f?
True
Let y be 2/(-5) + (-208)/(-45). Which is bigger: 4 or y?
y
Suppose -19 = -5*y + 4*v, -y = -4*v - 5 - 2. Let n be 3*(-4)/(7 - y). Let d(z) = -z**3 + 5*z**2 + 4*z + 8. Let k be d(6). Which is greater: k or n?
n
Let c(x) = -2*x**2 - 7*x - 6. Let s be c(-4). Let r be (2/5)/((-8)/s). Let z = 82 - 84. Which is bigger: z or r?
r
Let f = -1.3 + 0.3. Let x = -1.482 - 0.518. Which is greater: f or x?
f
Suppose -5*v - 7 = -4*i + 3, 5*i = 2*v + 4. Which is bigger: -1 or i?
i
Let o = -19 - -26. Let p = o - 3. Is p > 2?
True
Let z = -0.08 + -0.22. Let w = z + 0.31. Let u = -0.09 - w. Are -0.1 and u unequal?
False
Let i be -2 - (-4 - -4) - -4. Let j(g) = g**3 - 8*g**2 + 6*g + 10. Let d be j(7). Which is smaller: d or i?
i
Let r = -22669/465 + 13/155. Suppose -3*k + 192 = k. Let w = k + r. Which is greater: -0.2 or w?
-0.2
Let f(y) = -y**2 - 3*y + 10. Let m be f(-5). Which is smaller: 2/117 or m?
m
Let a(b) = b**3 + 7*b**2 - 8*b - 6. Let y be a(-8). Let w be 15/(-12)*(5 - 1). Which is greater: y or w?
w
Let v = 0.28 - 2.08. Which is smaller: 2/7 or v?
v
Let p(b) = -b**2 - 2*b + 4. Let n be p(-3). Let t be 1/(-1) - -1*3. Are t and n equal?
False
Let y = 0 + -1. Let r be (-1)/(4 - 3/2). Is y at least as big as r?
False
Let g = 0.1 - 0.1. Let l = g - -0.8. Let j = 1 - l. Which i