se 2*z + 171 = 3*a, -2*a + 2*z = -85 - 27. Does a = 59?
True
Let w(z) = z - 6. Let g be w(4). Let o = 38 - 39. Let v be (o - 2)*7/35. Are g and v nonequal?
True
Let z = 3 + -1. Suppose -z*t + 7 - 1 = 0. Let a = 2 - t. Which is smaller: a or 2/5?
a
Suppose -5*v - 283 = 2*l, 5*v - v + 716 = -5*l. Let q be -2 + l/(-75)*1. Is q at most 1?
True
Let s be -5 + (-616)/(-120) - 13/75. Is s != 1?
True
Let b = 0 + 0. Let s = 130/3 - 44. Is b at most s?
False
Let q be 1 + 52/(-10) + 3. Is q at least as big as 0?
False
Let v be 4*-1*6/8. Let s(h) = h**3 + 3*h**2 - 3*h - 1. Let l be s(v). Suppose -l*k + 4*k = 0. Which is smaller: -1/3 or k?
-1/3
Let a(f) = -f - 7. Let b be a(-5). Let o(y) = -2*y. Let w be o(b). Let d = 6 - w. Is d at most 0.2?
False
Let b be -3*3/((-18)/4). Let l be -4 + (-256)/(-56) - 16/(-21). Is b greater than or equal to l?
True
Let b = 13 - 8. Let o = b + -5.03. Let p = 1.97 - o. Which is greater: p or -1?
p
Let n(o) be the third derivative of 37*o**5/60 - o**4/12 - o**3/6 + o**2. Let v be n(-1). Let c = -188/5 + v. Is c bigger than 1?
False
Let z be 2/(-10)*(-6)/(-3). Let t = -2 + 3. Is t greater than z?
True
Let f = 40 + -39.9. Let j = -1 - -4. Which is bigger: f or j?
j
Let v be 30/8*8*(-5)/10. Is v smaller than -15?
False
Let p(k) = -14*k - 8. Let r(a) = -41*a - 24. Let n(t) = -17*p(t) + 6*r(t). Let s(q) = q + 1. Let o(m) = 2*n(m) + 18*s(m). Let x be o(-2). Are -2 and x equal?
True
Let s = 60 + -64. Which is bigger: 5 or s?
5
Let m be 10 + -11 + (-25)/1. Let r = -25 - m. Do -6/17 and r have the same value?
False
Suppose -8 = 4*i + 16. Let l = -2 - i. Suppose 4*r = -0*r + 12. Is l >= r?
True
Let q = -2 - -1.8. Let o = q - -0.3. Let g = -31 + 33. Is g bigger than o?
True
Let v be (-545)/(-20)*(-54)/5. Let t = -294 - v. Are -1 and t unequal?
True
Let x(k) = k**3 + 3*k**2 - 4*k + 1. Let a be x(1). Are a and 26/21 nonequal?
True
Suppose -3*v + 5*f + 22 = 0, 0 = -5*v - 4*f + 8*f + 15. Suppose -75 = 4*g + g. Let q be g/(-4) + 6/(-8). Is v equal to q?
False
Let m = -13.01 + 13. Let r = m - 0.99. Which is smaller: r or 3/2?
r
Suppose -5*o + 143 = d, d - 4*d + 529 = -5*o. Let s = d - 1171/7. Is 0 < s?
True
Suppose -4*i = 4*h + 32, 0*h - 5*h - 34 = 3*i. Is 0 equal to i?
False
Let o = -147 - -153.7. Let v = -7 + o. Let y = v + 0.3. Which is smaller: y or -1?
-1
Let v(p) = 2*p**2 + 6*p - 7. Let x be v(-5). Which is smaller: x or 35/3?
35/3
Let t = 48 + -47. Which is greater: 2/95 or t?
t
Let l = -19 + 24. Which is greater: l or 6?
6
Suppose 3 = y - 4. Suppose -4*c - 2*r + y = r, -4 = -2*c - 2*r. Suppose 0 = -x - 3*x + 5*f + 9, x + 4*f + 3 = 0. Is c less than x?
False
Suppose 4*y = -4*z + 16, 3*z + z + 12 = 3*y. Is y at most 5?
True
Let s be (-12)/(-54) + 200/(-9). Which is smaller: s or -0.1?
s
Let u = 11 - 15. Let v(t) = t**3 + 5*t**2 + 4*t - 1. Let q be v(u). Is 2/29 > q?
True
Let t(d) = -d**3 + 7*d**2 - 11*d - 3. Let o be t(5). Is 2 < o?
False
Let w = -54522/145 + 376. Which is bigger: 1 or w?
1
Let j(w) = -11*w - 5. Let h be j(-1). Is 19/4 at most as big as h?
True
Let s = 3.4 + -6.1. Let r = 0.3 - s. Which is greater: -1 or r?
r
Let m = -1 + 1/4. Is -0.3 at most as big as m?
False
Let b = -0.6 - -0.7. Is b <= 4?
True
Let f = 119 + -118.96. Are f and 2/3 unequal?
True
Let l(w) = -w + 1. Let c be l(1). Let m = 76/315 - -2/45. Do m and c have different values?
True
Let l(w) = -w**2 + 2*w. Let n be l(2). Let i be (4/32)/((-2)/(-20)). Which is smaller: i or n?
n
Let z be 34/6*(-15)/40*4. Which is greater: z or -9?
z
Let s(c) = -3*c - 19. Let x be s(-6). Is 1/29 < x?
False
Let y = 9 + -5. Let p = -1.1 - -0.8. Which is smaller: y or p?
p
Let o(u) = 2*u + 8. Let z be o(-9). Let m be ((-4)/z)/(2/443). Let x = m - 88. Which is smaller: x or -0.1?
-0.1
Let d(z) = z**3 - z**2. Let g be d(0). Suppose -5*t = 5, 0*k + t = -k + 2. Suppose 15 = -5*u - 5*l, 7*l - k*l = 2*u - 12. Does g = u?
True
Let j be (9 - -4)/(16/138). Let r = j - 112. Is r <= 1?
True
Let a(h) = 2*h - 15. Let z be a(9). Is z < 0.1?
False
Suppose 2*f - 25 = -3*f. Is -2 != f?
True
Let w(r) = -r**3 + 8*r**2 - 7*r. Let b = 7 + 0. Let c be w(b). Let k = 64 + -319/5. Is k > c?
True
Suppose -3*h = -2*h - 4. Let b = -20/29 - -515/116. Let r = h - b. Is r greater than or equal to 0?
True
Let o(d) = -3*d - 21. Let t be o(-9). Let u = -12 + 18. Is u >= t?
True
Let w = 19.8 + -19. Which is greater: 2 or w?
2
Let w = 4 - 6. Suppose -5*m - 4 = 1. Is w > m?
False
Let x = 9.3 + -10. Let f = -0.5 - x. Is f at least -1/2?
True
Let m = -4 + 7/2. Let w(o) = o**3 - 5*o**2 + o - 1. Let c be w(5). Suppose j - 2*i = 1 - 7, -14 = c*j - 3*i. Is j >= m?
False
Let s = -3 + 11. Let l = 3 - 7. Let k = s + l. Which is smaller: -1/3 or k?
-1/3
Let f = -41 + 50. Which is greater: f or 2/3?
f
Suppose 0 = 3*x - s + 24, 4*x - 3*s + 21 = 2*s. Is x != -10?
True
Suppose -4*b - 63 = 33. Which is smaller: -25 or b?
-25
Let h be (-4)/3*(-30)/4. Suppose -h*r + 14*r = 0. Which is bigger: r or 1?
1
Let q = -95 + 96. Do q and 2/31 have the same value?
False
Let o = -6 - -9. Let w be (-6)/(-3 + 0 + 1). Is w > o?
False
Suppose 8 = 4*i - 2*r, -i + 0*r - 16 = 4*r. Suppose 0 = -4*t - i*t. Suppose 4 = -2*v - 4*x, t*v + 5*x + 5 = v. Which is smaller: -2 or v?
-2
Suppose -3*z - 2*c - 3*c - 3 = 0, -3*c + 5 = -5*z. Let l be 4 + 2 + (-124)/20. Is z > l?
False
Suppose 0 = t - 5, -4*u + 5 - 50 = -5*t. Suppose -13 = -c + 6*j - j, -14 = -2*c - 2*j. Let l = -12 + c. Is u at most as big as l?
True
Suppose 0 = 5*t + g - 523, 5*t + 0*t - 4*g = 508. Is t at least 103?
True
Suppose 4*x = -3*s - 6, x = 2*x + 3. Let w be ((-3)/36)/(1/s). Which is smaller: 0 or w?
w
Suppose 6 = -4*r + 2. Let z(h) = -h. Let n be z(-1). Let q be (n/4)/(-1) - 0. Which is smaller: r or q?
r
Suppose -12*t + 10 = -10*t. Suppose -23 = -2*k - 5*j + 9, -t*j = -20. Is 6 < k?
False
Let v = -3 - -5. Suppose 0 + 5 = k - h, -4*h = -v*k + 18. Are 2/13 and k equal?
False
Suppose 5*u = 2*u - 15. Let f = u + 8. Let t be 1 + 0/(2/(-1)). Which is greater: t or f?
f
Let p = 4 + 0. Suppose -4 - p = -3*l - x, 5*l = 4*x - 15. Is -1/3 <= l?
True
Let m be (6/(-99))/((-8)/18) - 0. Is m at most 1?
True
Let r(c) = -2*c**3 - 2*c**2 + 2*c + 2. Let n be r(-2). Is 7 < n?
False
Let l = -36 + 56. Let g be (-2)/8 - 35/l. Suppose 5*f = 8*f + 3. Is g at most as big as f?
True
Suppose 10 = -6*x + x. Let z be (-3)/9 + x/(-6). Is z < -2/9?
False
Let x(u) = -2*u**2 + u. Let z(h) = -h**3 + h**2 + 2*h - 1. Let n be z(2). Let k be n*2/(-1) - 1. Let w be x(k). Are -1/3 and w equal?
False
Let x = -1/132 - 127/660. Which is smaller: 19 or x?
x
Suppose 3*f - f + 8 = 0. Let l be (-1 + (-6)/f)/(-1). Let w = 0.207 + -0.107. Which is bigger: l or w?
w
Let c(o) = -o**2 + o + 3. Let w be c(3). Let p = w + 1. Is -2 at most p?
True
Let k(v) = 7*v - 1. Let g(f) = 15*f - 1. Let o(p) = -6*g(p) + 13*k(p). Let a be o(5). Let u be (-8)/(-12)*(-1)/a. Is u at least 1?
False
Let p(y) = y**2 + 13*y - 10. Let z be p(-14). Let q be ((-1)/z)/((-1)/4). Are 11/6 and q equal?
False
Let h = -34 - -28. Is h greater than -5?
False
Let i be 21/(-14)*(3 + -1)*1. Which is greater: 1 or i?
1
Let j(d) be the first derivative of d**4/24 + 5*d**3/6 + d**2 - 3. Let i(c) be the second derivative of j(c). Let l be i(-5). Which is smaller: -1/14 or l?
-1/14
Suppose -4*r = 2*j - 16, 2*r - 12 = 4*j - 7*j. Let q be 4/(-3)*(-783)/6. Let k = q + -1220/7. Which is bigger: r or k?
r
Suppose -3*s + 4 = 7. Which is bigger: -1/13 or s?
-1/13
Suppose 0*i = 2*v + i - 3, -3*v = -3*i. Let d = -18 + 10. Let w be (-2)/((d/6)/v). Which is bigger: 1 or w?
w
Let a(j) = -j**3 - 8*j**2 + 8*j - 5. Let m be a(-9). Suppose 0 = -m*k + k + 9. Is k > 3?
False
Let v = 99/20 + -15/4. Which is smaller: -0.5 or v?
-0.5
Let w be (-558)/(-10) + 2/10. Let k be 46/w + (-15)/20. Which is greater: 1 or k?
1
Let x = -5 - -4.5. Let q = x + 0.4. Do q and -2 have the same value?
False
Let d(t) = -t**2 + 13*t - 9. Let x be d(12). Let l(v) = 2*v - x*v + 3*v. Let s be l(2). Is 5 at most as big as s?
False
Let u be (1/(-18))/(-1*1/(-2)). Let s be 2/24 - 4/18. Let o = s + u. Do -0.6 and o have the same value?
False
Let q(g) = g**3 + 11*g**2 - 12*g - 4. Let s be q(-12). Is s smaller than -8/3?
True
Let b = -2 - -1. Let y = b + 0. Which is greater: y or -2?
y
Let m be (-1 + 3)*(1/(-2) + -1). Which i