e -5 = -g*j - j. Is 5 not equal to j?
False
Suppose -h = h - 48. Suppose -2*o = -4*r - h, 0 = -r + 4*o - 0 + 1. Is -7 not equal to r?
False
Let t = -141 + 250. Let z = t - 6869/63. Which is greater: -1 or z?
z
Let t = 10 + 4. Which is smaller: 3 or t?
3
Let b = -614 + 7373/12. Which is smaller: b or 0.1?
0.1
Suppose 2*t = g + 7, 4*g = -3*t + 12 + 4. Is g at most -1/11?
False
Let n be 3 + (-2 - 2) + 4. Let i = 7 + -5. Which is bigger: n or i?
n
Let n = 0.77 - 15.77. Which is smaller: 3 or n?
n
Suppose -3*d - d = -8. Suppose 0 = p + d*p. Is p > 0?
False
Let i be ((-4)/(-58))/((-1)/2). Which is smaller: i or 0?
i
Let k = -66/35 - 2/5. Is k smaller than 0.1?
True
Let m = 66 - 58. Which is greater: m or 0?
m
Let w = 5 + 9. Let v be 68/70 + (-40)/70. Which is greater: v or w?
w
Let s be (70 + -4 - 3) + 2. Is 65 bigger than s?
False
Let a = 0.6 - 0.6. Is a at most as big as 0.1?
True
Suppose 4*r + 2*p - 23 = -3, 0 = r - 3*p + 9. Suppose 4*x = -5*z + 115, -r*x + 43 = -4*z - 20. Suppose 22 - 2 = -g + 4*t, 3*g + 5*t = x. Is g greater than -4/3?
True
Let c = -1.6 + 4.6. Which is smaller: 0 or c?
0
Let y(b) = -b**3 - 7*b**2 + b + 6. Let l be y(-7). Let t be (-15)/264 - (-2)/11. Is l less than t?
True
Let s(r) = r**2 + r - 2. Let m be (3 - 1)/1*-1. Let x be s(m). Let g be 4/28*-2 - 18/(-21). Which is smaller: x or g?
x
Let j = 1 - 0. Let w be (-1 - -3)/(j + -3). Let f be 2*w*4/(-52). Is f equal to -1?
False
Let q be 1/(-3) - 748/6. Let o = q - -1003/8. Let s = -23/40 + o. Is s at most as big as 0?
True
Let u(a) be the first derivative of a**4/4 - 8*a**3/3 + 4*a**2 - 9*a - 1. Let p be (-15)/(-2) + (-1)/2. Let f be u(p). Which is bigger: -3 or f?
f
Let j be 4 - (-2 + (-2 - -5)). Is j greater than or equal to -1?
True
Let p(l) = -2*l + 21. Let d be p(4). Is d > 14?
False
Let r be (-2)/(12/(-3)) - (-13)/6. Suppose -5*c - 2*d + 4*d + 11 = 0, 9 = 5*c - 3*d. Which is smaller: c or r?
r
Let u be -2*((-32)/11 + 3). Let d = 29 - 20. Let o be (3/d)/((-2)/6). Which is smaller: u or o?
o
Let m = -193 - -135. Let d = 291/5 + m. Suppose -3*s = -5*s. Is s < d?
True
Let a(r) = r**2 - 2*r + 1. Let i be a(2). Which is greater: i or -6/19?
i
Let f = 4.99 - 5. Let a = -0.01 - f. Which is bigger: 0.1 or a?
0.1
Let t be 2/(-12)*(-4)/(-2)*-8. Which is smaller: 3 or t?
t
Let o be 27/(-4) - 2/8. Suppose -3*d = 2*m + 2*m + 20, -2*d = 2*m + 14. Which is greater: d or o?
o
Suppose 3*t + 3*o - 7*o = -13, -4*o - 2 = 2*t. Let p = 13 - 18. Let f be 10*(p/4 - -1). Is t bigger than f?
False
Let r = -4 + 2. Let j = 30 - 30. Let a be j + 3 - (-4)/r. Is -1/7 less than a?
True
Let n be 14/21*6/4. Let s be 363/(-1491) + 4/14. Let z = s - -127/355. Is z equal to n?
False
Let w = -11 + 5. Let u = 1.9 - 2. Which is greater: w or u?
u
Suppose 2*m - 5 = -3. Which is bigger: 2/31 or m?
m
Suppose -3*h + 6 + 0 = 0. Let s be 1/(-2)*-4 - h. Let d = -3628/91 - -278/7. Is s at most as big as d?
False
Suppose -5*q + 46 = -5*x + 16, -5*q - 70 = 5*x. Is x at most -10?
True
Let g(f) = 10*f - 3. Let a(v) = -3*v + 1. Let r(x) = -7*a(x) - 2*g(x). Let q be r(1). Suppose -2 = -4*j - 0*n - 2*n, n - 1 = q. Which is smaller: j or -3?
-3
Let y(c) = -5*c**3. Let t be y(-1). Let a = t + -3. Which is smaller: 4 or a?
a
Let f = 0.1 - -0.08. Let u = -0.18 + f. Are u and 1/3 nonequal?
True
Let q(s) = 7*s + 11. Let j(z) = 11*z + 16. Let v(g) = -5*j(g) + 8*q(g). Let n be v(-6). Is n < 2?
False
Let g = 4 + -5. Let b = g + -2. Is b equal to -1?
False
Let q = 9 - 17. Let o be 1*2/(q/12). Is o less than -5/2?
True
Let z be (-2)/(-8) - (-45)/(-20). Suppose -i - 3*c = 3, 4*i + 3 = -4*c - 1. Suppose i = -2*l + 7*l + 5. Which is smaller: l or z?
z
Let c = 1 - 5. Suppose -5*k - 13 + 8 = 0. Which is smaller: k or c?
c
Let h be -6 - 2/(-6)*0. Let y be (-2)/h + (-28)/(-6). Suppose -2*d - 4*t = -2*t + 14, d = -y*t - 23. Which is greater: d or -4?
d
Let l = -7 + 3. Let c be (l/28)/(3/(-6)). Is c at most as big as -0.2?
False
Suppose -2*z + 4*z = 4*r - 8, 5*z - 19 = -3*r. Suppose r*f + 2*f + 60 = 0. Which is smaller: 0.1 or f?
f
Let r = -18.2 - 0.8. Let c = -18 - r. Is c >= 1?
True
Let z = 80 + -74. Suppose -12 = -4*j + o, 1 - 7 = -2*j - 4*o. Is z less than or equal to j?
False
Let n be 3/(-9)*1*15. Let c = 8 + n. Is 3 >= c?
True
Suppose 0 = 12*n - 11*n + 15. Is n >= -15?
True
Let w(q) = 3*q + 16. Let o be w(-6). Which is greater: -2/3 or o?
-2/3
Suppose -1 - 7 = -2*f. Suppose f*r + 10 = 3*t, 5*r = -4*t - 25 - 3. Let o be (t/4)/((-8)/48). Is 1 bigger than o?
False
Suppose -5*x + 4*t = -t - 110, -5 = -t. Suppose 2*l - 3*k = -7, 5*k + x = 2. Does l = -11?
True
Let r = 1 + -5. Let f be r/6*(-6)/(-14). Suppose -y - 3 = -2. Is f bigger than y?
True
Let w be 4/(-2)*(-2)/(-12). Let n(g) = -3*g**3 - g. Let y be n(-1). Suppose 2*j - 2*x + 4 = 0, 0 = y*j + 5*x + 4 - 14. Which is smaller: w or j?
w
Let o = 18 - 18.08. Let l = -21.22 - -21. Let b = l + o. Is b greater than -2/11?
False
Suppose 2*c + 20 = 2*v, -2*c + 11 - 27 = -3*v. Which is smaller: -16 or c?
-16
Suppose 5 = -4*i - p, 15 = 4*i - 3*p - 0*p. Suppose 5*u = 3*g + 3, i = -2*u - u + 9. Suppose 0 = g*n - 16. Which is smaller: n or 3?
3
Let i(g) be the first derivative of 7/2*g**2 - 1/3*g**3 - 3 + 8*g. Let t be i(8). Are 0 and t non-equal?
False
Suppose 0 = u + 2*u - 6. Let z(f) = f**3 - 4*f**2 + 2*f. Let y be z(4). Let x = y - 6. Is u < x?
False
Let o(d) = -d + 3. Let m be o(4). Let n = 3 + -9. Let r be 3/m*(-4)/n. Which is bigger: -1 or r?
-1
Let f be -1*(19 - 2 - -2). Let l = 20 + f. Which is bigger: l or -2/15?
l
Let m = 305/161 - -101/23. Do m and 6 have the same value?
False
Let b = -33 + 40. Which is smaller: b or -0.2?
-0.2
Let g(v) = 4*v. Let a be g(1). Let i(r) = 7*r + 14. Let h be i(-3). Let z be a/35 + (-2)/h. Do -2 and z have different values?
True
Let l be (-2)/(-85)*495/48. Let d = 2/17 - l. Which is smaller: -1 or d?
-1
Let b = 13 + -41/3. Suppose -q - 1 + 3 = 0. Suppose u - 4*j + 3 = 11, q*j = -4. Which is greater: u or b?
u
Suppose -3*r - 5 = 3*q - 11, 3*q + 3 = 0. Suppose 3*d + 16 = -u - d, -r*u = 5*d + 27. Let o be 8/(-30) + u/10. Which is smaller: o or 0?
o
Let x be (3/(-6))/(2/80). Do x and -20 have the same value?
True
Let i = -0.94 - -1. Which is greater: i or 1?
1
Let g(t) = -t**2 - 9*t + 11. Suppose -63 = 4*j - 23. Let n be g(j). Let z be 7/3 - (-1)/(-3). Is n at most z?
True
Let p = -3 + 2.8. Let j = -0.2 - p. Let q = 3 - 4. Is j less than or equal to q?
False
Let x be 0 - 0 - -1 - 9/7. Is 1 <= x?
False
Suppose -p - 2 - 7 = 0. Which is greater: -3/10 or p?
-3/10
Let u be (-86)/(-12)*100/(-75). Is u bigger than -9?
False
Let z = 18 + -10. Let y be (1/4)/((-18)/z). Let q = y - 2/9. Which is greater: q or 0?
0
Let k be ((-2)/(-3))/(573/(-9) - 5). Is k bigger than 1?
False
Let y(t) = 4*t. Let o be y(1). Suppose 0*i + o*x + 18 = 2*i, -i + 16 = 5*x. Is i greater than 10?
True
Let y = 1 - -1. Suppose 0 = -o, y*m + 6 = -o + 4. Which is smaller: m or 2/11?
m
Let l = 18 + -9. Let q = 63 - 54. Is l < q?
False
Let x = 2 - 2. Let g = -1 - x. Let p be (-3)/(-14) - (-2)/(-4). Is g greater than or equal to p?
False
Let m = -226 - -329. Let i = 821/8 - m. Which is smaller: i or -1?
-1
Let k = -10 + 10.05. Let a = 2.05 - k. Suppose q + 4*q + 5 = 0. Which is smaller: q or a?
q
Suppose 24 = -5*q - 2*k - 11, 4*q + 2*k + 26 = 0. Let w = 3 - q. Is 11 smaller than w?
True
Suppose 0 = -4*o + o. Suppose o*l = -2*l. Let u be ((-2)/20)/((-1)/(-4)). Do u and l have different values?
True
Let u = -0.05 - -0.15. Let o = -0.066 - 0.934. Is u less than o?
False
Let v = -3 + 1. Let s be (-2)/1*v/20. Let b(a) = 2*a + 3. Let g be b(-2). Do g and s have the same value?
False
Let w be ((-2)/(-20))/(2/5). Let v be 1/(-4) - (-2)/8. Let i = w + v. Which is smaller: 2/7 or i?
i
Let v be 2/(-16)*22 - 1. Is v less than or equal to -4?
False
Let n be 1*0*(-2)/(-8). Suppose 0*l + 20 = -5*l + 5*h, -3*h + 12 = -5*l. Let t be l + 2 - 3 - 1. Is t at least as big as n?
False
Let a(o) = -o**3 + 6*o**2 + o - 4. Let c be a(6). Suppose -3*u - u - c*s = 12, 0 = -2*u + 2*s. Suppose 0 = 4*b + 3 - 7. Is u at least b?
False
Let h = -1/73324 + 87915497/1539804. Suppose -x + 47 + 10 = 0. Let g = h - x. Which is greater: g or -1?
g
Let a be ((-4)/(-12))/((-1)/3). Let b(l) be the second derivative of -3*l**5/20 + l**4/12 - l**