s a != t?
True
Let r = 11 - 8. Let d = r - 0. Let i = -4 + d. Is i <= 0?
True
Let t = 137/17 - 8. Which is smaller: 0 or t?
0
Let h = -37 - 16. Let g be h/95 - (-4)/10. Do 0 and g have the same value?
False
Let k = 0.2 + -0.6. Which is smaller: -3/4 or k?
-3/4
Let i = -0.4 + 0.6. Let h = -1 - -0.7. Let d = h - -0.2. Is d <= i?
True
Let c = -12 + 13. Let k be 27 + 2/(-1*2). Suppose 5*d + k = -r, 10 = -5*r + 3*d - 4*d. Is c >= r?
True
Let y = 4 + -2. Suppose 0 = 2*z + 4, y*h + 7 + 13 = -4*z. Is h != -5?
True
Suppose 0 = -2*u + 2*n + 2, -3*n - 2 - 3 = -5*u. Let h = -2.8 - -0.8. Let c = h - -2. Is c < u?
True
Let q be 242/(-55) - (-4)/10. Is -5 > q?
False
Let m = -0.1 - -0.1. Let v = -0.6 + m. Let d = v - -2.6. Which is bigger: -0.1 or d?
d
Let k = -0.26 + -0.74. Which is smaller: -11 or k?
-11
Suppose 0*w = -w + 2. Suppose w*j + 0 = 2. Let o be 1/(-3) + 4/4. Is j <= o?
False
Suppose 0 = 2*n + 2*n - 8. Suppose n*p + 22 = 3*l, p + 2*p = -l - 11. Is p at most as big as -4?
True
Suppose 5*h + 4*v + 3 - 6 = 0, 3*h + 3*v - 3 = 0. Let p(a) = a**3 + 15*a**2 - 1. Let c be p(-15). Do c and h have different values?
False
Let l = 0 - -3. Let i = -4 + l. Let v = 1/360 + -737/6120. Which is smaller: i or v?
i
Let q be (-4)/5*(-1)/4. Let o = 107 + -107. Which is greater: q or o?
q
Suppose -f + 2*v = 14, -4*f = -2*f - 3*v + 30. Let i = f - -35/2. Let n = 2 + -3. Which is greater: n or i?
i
Let g(x) be the second derivative of x**3/6 + 7*x**2/2 + x. Let d be g(-5). Let s = -41 - -43. Is d at least as big as s?
True
Suppose -4*f + 5 = 3*h - 5, -h + 3*f = 1. Let w = 29/35 + -1/35. Which is smaller: h or w?
w
Let b = 6.8 - 7.43. Let p = b - -0.6. Which is smaller: 2/5 or p?
p
Suppose 0 = 2*b - 0*b - 792. Let c = b - 2767/7. Which is smaller: c or 0?
0
Suppose 2*u = 2*s - 7*s - 150, 3*u + 155 = -5*s. Is s greater than -29?
True
Let h = 10 - 9. Let v = h + 0. Are v and -1 unequal?
True
Let f be (7/(-2) + 3)*18. Let q = f - -8. Is -1 at least as big as q?
True
Let j = 5.9 + -5.7. Is 62 greater than or equal to j?
True
Let n = 16 + -17. Which is smaller: 2/49 or n?
n
Suppose 4*b - b - 15 = 0. Suppose 4*u = -b*j - 24 - 4, 14 = -5*u - j. Which is greater: -3 or u?
u
Suppose -10*u + 25 = -5. Is u greater than or equal to 3?
True
Let h = 1513 - 7538/5. Let q = h - 179/35. Which is bigger: 0 or q?
q
Suppose 2*d = 5*i + 7, 4*d - 2*i + 7*i = 29. Let m be ((-8)/d)/((-5)/(-15)). Let u be (-2)/3*(m - -1). Which is smaller: u or 3/4?
3/4
Let s = 10 + -6. Let x be 3 - 20/s*1. Is x at most -2?
True
Let d = 1.6 + -1.5. Does d = 15?
False
Suppose -5*g = 2*u + 16, 4*u + 16 = 2*u + 4*g. Is u > -6?
False
Let t(b) = b**2 + 6*b. Let r be t(-4). Let o(f) = 2*f**2 - 36*f - 8. Let l be o(18). Is l smaller than r?
False
Let u = 5 + -4.8. Let a = u + -0.1. Which is bigger: a or -3?
a
Suppose 14*f + 0 = -14. Which is bigger: f or -2/55?
-2/55
Let o = -1331/10 + 649/5. Which is greater: -3 or o?
-3
Suppose -2*u = 4*f - 3*u + 5, 4*f - 4*u + 20 = 0. Which is greater: -1/9 or f?
f
Let k(a) = a**3 - a - 1. Let o be k(-2). Let l be (-44)/7 - 2/(-7). Which is bigger: o or l?
l
Let v(g) = g. Let t be v(2). Suppose 0*o - t*o = -10. Suppose -5*b = 2*d + 12, -4*d + b - o*b - 12 = 0. Are 1 and d nonequal?
True
Let f(i) = -i**2 - 8*i + 67. Let y be f(-19). Do -142 and y have the same value?
True
Let r be ((-2)/4)/((-2)/40). Let s be 17/3 - (-8)/(-12). Suppose -5*m = -r*m - s. Which is bigger: 0 or m?
0
Let o = 4 - 4. Let j be -1*(o + (0 - -1)). Which is smaller: j or -2?
-2
Let c(f) = -f**2 + 7*f + 10. Let m be c(8). Let d(a) = -3*a**2 - a. Let w be d(m). Let h be (-1 + -1)/(7/w). Which is bigger: -0.1 or h?
h
Suppose -12 = 4*h - 3*c + 4*c, 0 = -2*h + c - 12. Suppose -a = 5*l + 15, 2 = 4*l + a + 14. Is l > h?
True
Suppose -4*a - 35 = 5*g + 2, 5*a + 10 = g. Let q be a + 7 + 3/(-1). Which is greater: -3/5 or q?
q
Let n = 41 + -41.1. Is -2.6 less than or equal to n?
True
Let o = 12 + -2. Suppose 0*y - o = -5*y. Suppose -y*i + i + 1 = 0. Which is greater: 4/5 or i?
i
Let n be ((-4)/(-56))/((-1)/(-8)). Let v(o) = -o + 6. Let k be v(6). Which is bigger: k or n?
n
Let v(d) = d**2 - 8*d + 12. Let g(o) = 4*o - 6. Let t be g(3). Let x be v(t). Which is smaller: 9/8 or x?
x
Let d = -4 - -2. Let o(r) = -r**3 - 2*r**2 - r - 1. Let y be o(d). Let p be (-403)/(-130) + -1*3. Which is smaller: p or y?
p
Let k(t) be the third derivative of -t**4/24 - t**3/6 - 2*t**2. Let r be k(1). Let q be 1 - (-3)/(3/r). Is -2 at most as big as q?
True
Let o be 4/(-6) + (-17)/(-3). Suppose a = -o*f - 7, -11 = 2*f + 5*a + 1. Let n be 4/6 + 0 - 0. Is f bigger than n?
False
Suppose 2*g = -g - 27. Let r(o) = o + 6. Let a be r(g). Let b = -39/2 + 18. Which is greater: a or b?
b
Let q = -56 - -56. Which is smaller: -3/49 or q?
-3/49
Suppose -c + 5*c = 0. Which is smaller: -1/5 or c?
-1/5
Suppose 7*t = -5*z + 2*t, -t + 6 = -5*z. Are 7 and z equal?
False
Let f = 0.1 + 0. Let z = -22 - 0. Let i = -26 - z. Which is smaller: i or f?
i
Let c = -4.8 - -5. Let a = 2.03 + -0.03. Let q = -6 + a. Which is greater: q or c?
c
Let a be -1*(-4)/((-12)/(-9)). Let w be (a/(-2))/(1/12). Let j be (-2)/(-1) - (-40)/w. Which is smaller: j or 0?
j
Let v = 7 - 5. Let y = 15.9 - 2.9. Let c = 13.1 - y. Does c = v?
False
Let y = 3 + 1. Suppose -z = -5*n - 11, -2*z + 4*n + y = -0. Let f be 2/(-6) - z/3. Which is smaller: f or 2/5?
2/5
Let p = 1.39 + -1.2. Let d = 0.81 + p. Which is greater: d or -1.1?
d
Suppose 3*z = -z + 4. Which is smaller: z or 0.6?
0.6
Suppose 0 = m - 6*m. Suppose 2*r - 5*x + 18 = 0, 0 = 4*r - 5*x + 3*x + 4. Let l be (7 - 8)*2*r. Which is bigger: l or m?
m
Let z = 3 - 2. Let a = 16 - 10. Let s be ((-6)/(z*-3))/a. Which is smaller: s or -1?
-1
Suppose x = 5*t - 227, 3*x - 84 = -2*t - 0*x. Which is bigger: 47 or t?
47
Suppose -2*n - 2*n = 36. Let p(t) be the third derivative of t**4/24 + 7*t**3/6 - 5*t**2. Let l be p(n). Is l at least -2?
True
Let q = -8 - -9. Is 1/9 greater than q?
False
Suppose 0 = 2*j + 2*j - 24. Let f = 6 - j. Is f at most as big as 4/9?
True
Let t = -0.3 - -0.4. Let q = 0.1 - t. Let b = -198 - -198. Is b not equal to q?
False
Let p = -58 + 41. Let n = p - -16. Which is bigger: n or 2/15?
2/15
Let f(g) = 2 + 2 + 0*g - 2*g - 8. Let y be f(-3). Is y at least 2?
True
Let r = 17/48 - 5/12. Is r greater than or equal to 0?
False
Suppose -c = c. Let o(s) = 2*s**2 + 22*s - 4. Let q be o(-10). Let r be (-40)/q + (-2)/1. Is r > c?
False
Suppose 0 = 5*b + 15 + 5. Is -5 < b?
True
Let d(n) be the first derivative of -n**4/4 - 8*n**3/3 + n**2 + 11*n - 4. Let z be d(-8). Which is bigger: -3 or z?
-3
Let y be (-6)/8 - (-3)/12. Suppose 3*x - 6*x = -3. Let b be 1 - (12/5 - x). Are y and b non-equal?
True
Let s be (-2)/5 + (-3)/15. Let i = s + 26/35. Which is smaller: i or 0?
0
Let y(c) = -c**3 + 2*c - 4. Let z be y(-3). Let n = -18 + z. Is n greater than or equal to -1/7?
False
Let n = -2.82 - 0.18. Is -3 > n?
False
Let x be (7/2)/((-1)/(-2)). Let s = -3 + x. Let p = -3 + s. Is -2/5 at most as big as p?
True
Let j be 1*(48/(-21) - -2). Suppose -4*p = -2*p + 2. Which is bigger: j or p?
j
Let d = 57 + -56. Which is smaller: d or 12?
d
Let s be (-24)/60*2/58. Which is greater: s or -0.1?
s
Let g be 2/(-1) - (-52)/14. Let t = g - 43/21. Let v(p) = -p - 6. Let c be v(-6). Is c at most as big as t?
False
Let l(p) = p**2 + 6*p + 3. Let g be l(-4). Suppose 4*s + 20 = -0*s. Do g and s have the same value?
True
Let u = -119 - -164. Is 45 greater than or equal to u?
True
Let h(i) = -i**3 - 10*i**2 - i - 10. Let p be h(-10). Is -0.16 <= p?
True
Let z(h) = -3*h + 16. Let i be z(6). Which is smaller: i or 1?
i
Let s be 1*0/((-3)/(-1)). Which is smaller: s or 1/12?
s
Let d = 2.7 + 2.3. Which is smaller: 2/9 or d?
2/9
Let u be (-1)/(-10) - 54/90. Let k = -0.01 - 0.04. Which is bigger: k or u?
k
Suppose -172*t = -165*t - 7. Suppose 0 = 3*x - 3. Is x not equal to t?
False
Let p(h) = h**2 + 5*h - 10. Let s be p(-8). Let o = -12 + s. Which is bigger: 4 or o?
4
Let i(t) = 2*t**2 + 13*t - 10. Let q(p) = -p**2 - 12*p + 10. Let l(a) = 2*i(a) + 3*q(a). Let h be l(9). Let m be (6/9)/(15/(-9)). Is m at least h?
False
Suppose 5*u - 2*y = 9 - 26, -5*u = 2*y + 13. Let c(q) = q**3 + 3*q**2 - q + 1. Let n be c(u). Suppose -j = n*j. Is 2/3 smaller than j?
False
Suppose -3*t - 2