 -s*z, 2*i + 3*z = -y*z - 3. Which is smaller: 1 or i?
i
Suppose -4 + 0 = -c. Suppose 0 - 12 = c*q. Let d be 6/9 - (-2)/q. Is d < -2/7?
False
Let f = -7 + 8. Suppose -3*u = 4*r - 10, -5*r + r + u + 2 = 0. Is f bigger than r?
False
Suppose -2*d - 2*a = -a + 9, -d - 4*a = 15. Let f = 3 + d. Is -1 >= f?
False
Suppose -3*s - 1 = -3*a - 19, 5*a + 28 = 3*s. Let k be ((-1)/(-4))/(s/4). Let d = -754/7 - -108. Is d less than k?
True
Let l = 88 + -101. Is -16 at most as big as l?
True
Suppose -3*p - 37 = -1. Which is smaller: p or -11?
p
Suppose -30 = 3*z - 3*v, -2*z - 4*v + 2*v - 8 = 0. Which is smaller: z or -25/3?
-25/3
Let k = 2 + -2.05. Let w = k - 0.25. Let h = -0.4 - w. Is 0 at most h?
False
Let f = 12 - 11. Is f equal to 1?
True
Suppose -6*h = -2*h + 12. Let c = h + 12. Suppose -4*d = -3*z - c + 3, -2*z - d = -7. Is z != 3?
True
Let p = -0.18 + -0.92. Let l = p - 1.84. Let s = l - 0.06. Which is bigger: -1 or s?
-1
Let a = 12.7 + 4.3. Does a = 0.2?
False
Let k = 163/5 + -164/5. Is k equal to -12?
False
Let a = 4 + 1. Suppose 0 = 2*f - a*f - 27. Let y be (-6)/(-4)*4/f. Is -3 > y?
False
Let a(r) = r**2 - 11*r + 10. Let f be a(11). Let y be (-21)/(-12)*f/7. Let k be (12/(-10))/((-6)/20). Which is greater: y or k?
k
Let b = -0.16 + 0.06. Is -0.6 > b?
False
Let x be 0 - 0 - 6/(-3). Let u be ((-2)/(-5))/(4/5). Is x less than u?
False
Let f = 11.05 + -11. Do f and -2/7 have the same value?
False
Let p be 1934/4*24/9. Let k = p - 1301. Let w = k - -12. Is w bigger than -1?
True
Let s = 4/91 - 363/6188. Which is greater: 0 or s?
0
Let m be ((-3)/9)/(2/(-18)). Suppose -5*f + 23 - m = 0. Let i be (-1)/(22/(2 - f)). Is 0 less than i?
True
Let x = 1.09 + -0.29. Which is smaller: x or -1/4?
-1/4
Let u = 36 - 36. Is 2/27 > u?
True
Let l = -7 + 11. Suppose 11 = l*g - 1. Which is greater: 4 or g?
4
Let a(s) = -s**2 + 7*s + 6. Let c be a(7). Let g be (2/(-20))/(c/36). Is 0 >= g?
True
Let v(z) = z - 1. Let j be v(5). Suppose -d + j*d = -6. Which is greater: d or -4/5?
-4/5
Let z = 1/2 - 4/3. Is 2/3 <= z?
False
Let u = 43/15 + -11/5. Is -5 smaller than u?
True
Let q(l) = 8*l + 5. Let m be q(-1). Are -5/2 and m nonequal?
True
Let w be -4 - 14 - (4 + 0). Let k = w + 27. Which is smaller: -1 or k?
-1
Let a(p) = p**3 + 3*p**2 - 4*p + 5. Let k be a(-4). Let d = k + -2. Are d and 3 nonequal?
False
Let q(h) = -4*h**2 + h**3 - 2*h**2 + 0*h**2 + 2. Let f be q(6). Let j = -16 - -19. Which is bigger: j or f?
j
Let l = 92 + -92. Which is bigger: -11/4 or l?
l
Let i(u) = -u**3 - u**2 - u. Let y be i(-1). Suppose 2*c - 3*l = -16, -4*l + 0*l = -3*c - 24. Let t be (1/2)/((-12)/c). Which is greater: y or t?
y
Suppose 5*v + 2*k = -4, v + k + 2 = -4*v. Let i(w) = 3*w + 7. Let b be i(-5). Let u be 2/b - (-3)/(-36). Which is smaller: v or u?
u
Let l = 2 + 3. Suppose -4*o = v + 21, -v + 0*v - l = 0. Let g = -680/3 - -224. Which is greater: g or o?
g
Let s be 1236/(-580) - (-2)/1. Let f = s - 2/29. Which is smaller: f or -1?
-1
Let t(i) = i - 11. Let v be t(8). Let m be 6/4*7/v. Is -1 >= m?
True
Let z be 3/(-6)*-10 + -1. Suppose 5*u + 24 = z*u. Let a = 49/2 + u. Which is bigger: a or 0?
a
Let s = 6 - 10. Let j = -4 - s. Is j bigger than 1?
False
Suppose -2*r = -r - 8. Suppose -4*u - 4*o = 8, r = 2*u - 3*u - 4*o. Suppose -3*z = -u*z. Is 2/9 less than z?
False
Let c = -13 - -8. Let a = c + 5.3. Which is bigger: 0 or a?
a
Suppose -4*q + 110 + 2 = 0. Let t be ((-24)/(-15))/(q/10). Is 0 equal to t?
False
Let f = -82 + 59. Which is smaller: f or -24?
-24
Let g be 445/275 + (-3)/(-15). Which is smaller: g or 1?
1
Let s be (-2)/10 - (-227)/60. Let p = 1/234 + 779/234. Let t = s - p. Which is greater: t or 2/7?
2/7
Let z = 0 + 1. Let o = -15.9 - -15. Let f = z + o. Which is bigger: -0.1 or f?
f
Let p = 0 + -1. Let q = 85 - 85. Which is smaller: q or p?
p
Let r = 159 + -163. Do -4 and r have different values?
False
Let k be -3*(2 - 15/9). Let w = -619/18 - -209/6. Is w not equal to k?
True
Let o = 7 - 1. Suppose -p = 3*z - 2*p + 5, 3*z + 5*p - 7 = 0. Which is smaller: o or z?
z
Let b = -3 - -2.8. Suppose 4*o + 240 = 2*o. Let x be (-42)/o + 6/(-8). Which is greater: x or b?
b
Let g(b) = -b**2 + 7*b - 9. Let a be g(4). Suppose -4*d - y + 3 = d, 0 = -a*d + 2*y + 7. Which is smaller: d or 7/6?
d
Suppose -4*s + 2*s + 0*s = 0. Is s > -9/14?
True
Let b = 11 - 7. Suppose 5*n = 4*x + 45, b*x = -2*n - 4 - 6. Suppose -2*i + 3 = -n*i. Is i greater than -3/8?
False
Let l(r) = 8 - 2 + r**2 - 5. Let t be l(1). Suppose -2 = t*f - 0*f. Is f at least as big as -2/17?
False
Let g = -4 - -7. Let o be 2/(-7) + 37/7. Suppose 4 = 2*b + 2*p - 4*p, o*b = 4*p + 10. Does g = b?
False
Suppose 0*z - 2*z - 2*x = 0, -4*z - 5*x = 0. Let j = 235 + -1641/7. Which is bigger: j or z?
j
Let v be -1 - 3*-1 - 2. Suppose v = -3*p + 3. Let w be 1 + p/(-8)*5. Is w >= 1?
False
Let h = -124 + 49. Is h greater than -76?
True
Let w(n) be the first derivative of n**5/120 - 5*n**4/24 + n**3/3 - 2. Let o(y) be the third derivative of w(y). Let h be o(4). Which is smaller: h or 0?
h
Let b = -994.9 + 1042. Let a = 45 - b. Is a at most as big as -0.1?
True
Suppose -5*q - 8 - 2 = 5*n, -n - 8 = -2*q. Let i = 0.9673 + 0.0327. Do q and i have different values?
True
Let d = 0 + -4. Let f = 10 + d. Are 6 and f nonequal?
False
Let t be -1*7*(-6)/(-7). Suppose -3*r + 12 = -3*z, -5*r - 2*z = -4*z - 17. Suppose r*h + 1 = -14. Which is smaller: t or h?
t
Let k(g) be the first derivative of g**3/3 + 5*g**2/2 + 2*g + 1. Let v be k(-5). Suppose 0 = -v*b - 4 + 2. Is b smaller than -1?
False
Suppose 0*u = -3*i - 3*u - 9, -u - 6 = 4*i. Is 4/11 > i?
True
Let p = 23 + -15. Is 7 > p?
False
Let f be 140/44 + 2/(-11). Suppose f*n = -s - 4 + 20, 12 = 2*s + n. Is s <= 4?
True
Let r be (-1)/4 + (-54)/8. Let c be ((-6)/r)/(12/21). Are 2 and c non-equal?
True
Suppose h + 3 - 1 = c, 0 = -2*c - h + 4. Suppose 0 = 5*k + 3*a - 22, -c*k - 3*k - a = -14. Is 2 smaller than k?
False
Suppose 0*w = w - 25. Suppose -w = -5*z, 0 = 2*s + s + 5*z - 28. Which is bigger: -0.07 or s?
s
Suppose 5*m + 12 - 2 = 0. Suppose -3*s + 41 = 44. Which is smaller: s or m?
m
Let c(y) = -y**2 - 6*y + 10. Let n be c(-7). Suppose -n*d = -d + 2*j, 2*d + 3*j = -5. Suppose d*t - 3 = l - 0*t, 0 = 4*l - 5*t + 12. Is -4 <= l?
True
Suppose 0 = -5*k + 4*k - 1. Is -1 > k?
False
Let m = 0.085 + -42.085. Let k = m - -50.4. Let i = k - 8. Which is smaller: i or 0?
0
Let d(z) = z - 2. Let w be d(-2). Let h = w + 4. Let c be (-2)/2*1 + h. Is c smaller than 2/5?
True
Let a be 1/(-1) - (-6)/(-1). Let b be 4/a - 40/(-28). Let j(s) = s**2 - 4*s + 4. Let p be j(3). Is p bigger than b?
True
Suppose 2*w + 36 = -u, 0 = -w - 0*w + 3*u - 4. Is w greater than -17?
True
Let t = 1475984/243 + -6074. Which is smaller: t or -1?
-1
Let t be (-1)/2 - (-6)/4. Let c be (t - (-1 + 1))/(-1). Let s = 236 - 3066/13. Which is smaller: c or s?
c
Let g(x) = 2*x - 8. Let z be g(6). Let i be 1 + -2 - (-1)/z. Let k be 0*1/2 - 1. Which is bigger: i or k?
i
Let p = -0.2 - -1.2. Let z = 38222/5 - 7688. Let x = z + 44. Do p and x have the same value?
False
Suppose y = 4*s + 2 - 17, -4*s - 3*y = -19. Is 5 at least as big as s?
True
Let h = -5.24 + 5.5. Is -2/3 at least as big as h?
False
Let c be 1205/(-360) - 3*8/(-108). Is -3 not equal to c?
True
Let u = 0.06 + -0.16. Which is greater: u or 0.3?
0.3
Let z = 100 - 87. Does z = 38/3?
False
Suppose l + 0*l = 5*g + 11, 0 = 4*l + 4*g + 28. Which is smaller: 1 or l?
l
Let w = 0.11 + -0.21. Which is smaller: w or 1.11?
w
Let i = -12 + 7. Let a = i - -9. Is 2 >= a?
False
Let b(k) = 4*k**2 - 6*k - 10. Let r(z) = z**2 + z. Let g(p) = -b(p) + 3*r(p). Let q be g(10). Is 4/3 != q?
True
Let z be (-6)/(-9) + 39/135. Let c = -5/9 + z. Let g = 1 - 0.8. Which is greater: g or c?
c
Let o = -5 + 9. Suppose -3 = o*k - 3*k, 8 = -h - 2*k. Is h at least as big as -2/3?
False
Suppose 0 = -5*u - 3*s + 2, 5*u + 2*s - 7 = 4*s. Let o = -122789/819 - 118/91. Let j = o + 151. Which is smaller: u or j?
j
Let z = -0.6 + 1.3. Let h = 0.5 - z. Let f = 0.1 + -0.1. Is f not equal to h?
True
Let c(g) = -g**2 + g. Let h be 8/(-10)*(-11 + 6). Suppose 0*b - h*b = 0. Let x be c(b). Is 1/4 at least x?
True
Let b(o) = o**3 + 5*o**2 - 7*o - 4. Let n be b(-6). Suppose -3*q - 4*m = -m - 3, q + 4*m = 1. Are q and n equal?
False
Let q be (-4)/(-