 - 3. Let b be o(2). Suppose 4*p + 5*d - 16 = 0, 14 = -2*p + d + 2*d. Let q be (4/(-8))/(p/(-4)). Are q and b equal?
False
Suppose -4*w + 2*s - 10 = -0*s, -7 = 3*w - s. Let n be ((-12)/10)/((-3)/(-10)). Do n and w have different values?
True
Let g = 4 - 3. Suppose -2*x + 0*x - 126 = 0. Let n = x + 253/4. Which is smaller: n or g?
n
Let d = 24 + 2. Suppose -n = -2*n + 4, 5*n = -l + d. Let w be (-9)/l*8/(-9). Which is smaller: w or 0?
0
Let w be ((-2)/3)/((-10)/15). Is -1/5 greater than w?
False
Let j = -7 - -10. Suppose 2*p + j*p + 15 = -3*m, -3*p - m - 5 = 0. Let l be (-56)/90 + (-2)/(-9). Which is smaller: p or l?
l
Let f = -4/471 - -1952/8007. Is 1 >= f?
True
Let n be 2*2/(-18) - 0. Let y = -1.5 - -1. Let k = y + 1.5. Is k greater than or equal to n?
True
Let w = -2 + 2. Let i = 0.5 + -0.6. Let x = i - w. Is x < -0.2?
False
Let x = -44 - -45. Does 1 = x?
True
Suppose -3*u + 0*o - 4*o - 10 = 0, 0 = -4*u + 2*o - 28. Is u at most as big as 0?
True
Let m = -13 + 13.07. Is 2 < m?
False
Suppose -2*x - 18 = -4*x. Let f(z) = z**3 - 8*z**2 - 10*z + 8. Let y be f(x). Are 0 and y unequal?
True
Let y = 24/7 + -3. Suppose 2*o + 0*o = -2. Is y at most o?
False
Suppose 7 - 23 = -2*y. Let k be y/(-132) - (-2)/6. Which is smaller: 0 or k?
0
Let z = -16 + 8. Which is smaller: z or 2/5?
z
Suppose 0 = 4*g - 6*g + 2. Are g and -1/5 non-equal?
True
Let y(x) = x + 6. Let s be y(-9). Suppose 4*t + 5*u = -3, 3*t - 4 = 5*u + 20. Let k = s + t. Is k greater than 0?
False
Let c = 1 - 2. Which is greater: c or -13?
c
Let x(g) = g**2 + 8*g. Let v(j) = j**2 + 6*j - 1. Let q be v(-5). Let p be x(q). Let b be (-2 + 1)/((-4)/p). Is -2/3 less than or equal to b?
False
Let n(s) = -s + 4. Let c be n(2). Let i be c/(-5)*(-15)/51. Which is smaller: i or 0?
0
Suppose 4*c + 4 = -0. Which is smaller: -3/14 or c?
c
Let x be -3 + 10 + -1 + -2. Let g(q) = 2*q - 2. Let y be g(x). Is y bigger than 6?
False
Let v(j) = -j**3 - j**2 + 2*j + 3. Let z be v(-1). Let t be 44/10 - 2 - -2. Let p = -4 + t. Which is greater: z or p?
z
Let k = -20 + 19.8. Is -6 greater than or equal to k?
False
Let i(c) = -3*c**2 + 10*c + 8. Let a(x) = 5*x**2 - 15*x - 12. Let r(y) = 5*a(y) + 8*i(y). Suppose 4*w = -16 - 0. Let v be r(w). Is -2/7 greater than v?
False
Let v be 38/24 + 4/(-12). Let c(j) = -j**3 + 4*j**2 + j - 3. Suppose -9 + 25 = 4*f. Let y be c(f). Which is bigger: v or y?
v
Let h be 14/10 - (-6)/(-15). Let z = h + -1. Let v be ((-6)/4)/((-6)/8). Which is bigger: v or z?
v
Let q(o) = -o**2 + 5*o - 2. Let g be q(4). Suppose -g*t - 2 = -0*t. Is -3/4 equal to t?
False
Let x = 2 - 5. Suppose -1 + 0 = d. Are d and x unequal?
True
Let n = -30 - -47. Let s be -5 + 2 + 2 + n. Which is smaller: s or 15?
15
Let o = 20 + -21. Which is smaller: -5/8 or o?
o
Let f be 0 + -2*15/(-6). Suppose -l - 5 = -f*z, -l - 2 = l - 2*z. Are 0 and l non-equal?
False
Let g = -15 + 37. Let n = 22 - g. Are n and 2/15 equal?
False
Let c = 7 + -3. Suppose c*i + 0*i - 4 = 0. Which is smaller: -2/29 or i?
-2/29
Let v = -51.9 + 52. Which is greater: -2/35 or v?
v
Let l = -17 - -16.9. Which is greater: l or 0?
0
Let j = -14.8 - -15. Is 17 less than j?
False
Let h = 174569729/482768 + -75249/208. Let x = -2/211 + h. Is -1 >= x?
False
Let c(r) be the third derivative of -r**6/60 - r**5/60 + r**4/24 + r**2. Let s be c(1). Let d = 4 + s. Which is bigger: d or -1/2?
d
Let t be (-1309)/(-121) - 4/(-22). Which is greater: 8 or t?
t
Let q = -46 - -78. Is q greater than 31?
True
Suppose -h = -x - 2*x + 262, 0 = -2*x - h + 173. Suppose x = 3*i - n + 27, -4*i - 5*n + 80 = 0. Let v be 5/i - 7/12. Which is greater: v or -0.1?
-0.1
Let p = -3.1 - -3. Let n = 16 + -26. Let x = 13 + n. Which is greater: p or x?
x
Suppose -h = -6*h - 15, -4*a - 4*h - 8 = 0. Suppose -2*y - 3 = -a. Suppose -x - 20 = 5*l - 5*x, 3*x = -5*l + 15. Is l at least y?
True
Let t be 33/36 - 1 - 0. Which is bigger: 0 or t?
0
Let x(u) = u**2 + 4*u - 4. Let z be x(-5). Suppose 2*k - 4 + 1 = 5*n, z = -k. Is -9 >= n?
False
Let v(j) = j**2 + 7*j + 7. Suppose -s - 3 - 1 = b, 3*s + 5*b = -8. Let l be v(s). Which is smaller: 2/23 or l?
2/23
Let g = 2.8 - -0.2. Let d = 1 - g. Let u be (6/8)/(162/48). Which is smaller: d or u?
d
Let b(a) = a**3 - 3*a**2 - 5*a + 2. Let g be b(4). Let v(j) = 9*j - 27. Let o be v(3). Which is smaller: g or o?
g
Let l be -2*2/(-8)*0. Suppose i - 5 + l = 3*w, i = -5*w + 5. Let h(g) = -g + 1. Let a be h(2). Are w and a non-equal?
True
Suppose -5*o + 1 = -19. Let d be ((-18)/14)/((-2)/7). Is d less than o?
False
Let k(y) = 6*y + 11. Let d be k(-2). Which is greater: 2 or d?
2
Suppose -3*h - 19 + 1 = 0. Let v be (42/(-9))/((-2)/h). Let d be 10/v*(-4)/(-10). Do d and 1 have different values?
True
Let p be 7/(98/(-12))*-42. Suppose 2*l - 5*l + p = 0. Let m be 2 + l/(-27)*6. Are -0.1 and m unequal?
True
Let i be (-9)/(-15) - 285/100. Which is greater: i or -1?
-1
Let t = 1368/637 + -60/49. Do 2 and t have the same value?
False
Let j(m) = -m - 6. Let a be j(-2). Which is smaller: a or -3?
a
Let u be 0/2 - (2 + -24). Let h be u/(-16) - (-3 + 2). Suppose -5*z = -l + 4, -l + 2*z = -0*l - 1. Which is greater: l or h?
h
Let v = 1.7 - 1.9. Let x = 0.1 - 0.1. Which is bigger: x or v?
x
Let m = -6 + 6. Suppose 2*y = -5*p - 2 - 4, 2*p - 3*y - 9 = m. Which is greater: p or -2/9?
p
Let b be (-3 + 26/8)*-3. Suppose -2*y - 9 = -5*y. Suppose -y*c = -0*s - s - 16, 5*s = -c. Is b greater than s?
True
Let v = 14.5 - 12.5. Is v less than -3?
False
Let p = -291/994 - -1/142. Is p greater than or equal to -33?
True
Let c = -3/913 + -243741/9130. Let u = -116/5 - c. Is 5 equal to u?
False
Suppose -5*w + 15 = 0, 5*p + 5*w + 27 = -28. Let y be (-4)/63 - 4/p. Which is greater: y or 0?
y
Let g be ((-2)/(-6))/(2/6). Let l(s) = 6*s - 3. Let k be l(2). Let u be k/(-21)*3/9. Is g at least as big as u?
True
Let c = -1605 - -373967/233. Is 0 <= c?
True
Let j be -2 + (1 - -7) + -2. Let l(k) = -2*k - 7. Let g be l(-5). Suppose g*i = -i + j. Is -2/11 at most as big as i?
True
Let z = -1/35 + -13/35. Is z greater than or equal to -83?
True
Let r(j) = -j**3 + 4*j**2 - 2*j - 2. Let q be r(2). Suppose 4*f = -0*f + 12. Suppose f = 3*g - 0*g. Which is smaller: g or q?
g
Let z = 74 + -73.8. Which is smaller: 9/2 or z?
z
Suppose 2 = -4*t - 14. Is t < -4?
False
Suppose -2*i - 2*b + 42 = 32, 0 = 4*i + 3*b - 17. Let l = 0 + 0. Let c = l - 0. Which is smaller: c or i?
c
Let i = -12 - -4. Let v = 8.3 + i. Is v smaller than 1?
True
Let c = 523 + -527. Let a(t) = t**3 - 3*t**2 - 6*t + 6. Let v be a(4). Is v smaller than c?
False
Let q = 12 - 7. Let d = 7/2 - q. Is 2/5 at most d?
False
Let w = 8 + -6. Which is smaller: w or -4?
-4
Let c = -7 + 7.03. Let g = c - -2.97. Is g smaller than -2/13?
False
Let x(t) = -t**2 - 7*t - 4. Let g be x(-5). Which is greater: g or 5?
g
Let v be 8/(-20) + (-5464)/90. Let z = -61 - v. Suppose 4*i = -5*s + 6*i + 6, 4*s + i = -3. Do s and z have different values?
True
Suppose -3*k + u + 9 - 22 = 0, 2*k = 4*u - 22. Let m be (k/18)/((-2)/(-32)). Which is smaller: -4 or m?
-4
Let q be 12/4*(-8)/(-42). Let b = q - 29/14. Is b greater than -1?
False
Let o = 0 + -6. Is -6 smaller than o?
False
Suppose -o + 3*j - 3 = 1, 4*o + 3*j = -1. Let m be (o/(-3))/((-1)/(-3)). Let c = -35/2 - -19. Are c and m equal?
False
Suppose 5*u - 2*x = 9 + 20, -3*u + 9 = 3*x. Suppose 0 = 3*i - 6, 2*i = -5*t + u*i - 41. Let o be ((-4)/(-14))/((-4)/t). Which is greater: 4/7 or o?
4/7
Let p(v) = v**2 + 6*v + 4. Let s be p(-4). Let q be ((-12)/(-9))/(s/(-6)). Suppose q*m + m = 9. Which is smaller: 3/2 or m?
3/2
Suppose 2*t + 4*t = -18. Let d = -9 - -6. Let w = t - d. Which is smaller: 0.1 or w?
w
Let i = -10 - -10. Let m = 570/77 - 72/11. Which is smaller: m or i?
i
Let d = 2.9 - 3. Suppose 169*y = 183*y. Is y not equal to d?
True
Let k(v) = -v**3 + 3*v. Let g be k(-2). Are g and 2 non-equal?
False
Suppose -c - 3*c = 0, 4*c - 4 = 2*x. Is -0.3 >= x?
True
Let v be 410/25 + (-4)/10. Which is bigger: 50/3 or v?
50/3
Let o = -8 - -8.03. Let k = o - -0.97. Let u = 1 - k. Is 0.1 greater than u?
True
Let z = 153/5 + -3208/105. Is 0 less than or equal to z?
True
Let t = 371/176 - 33/16. Let g(r) = 5*r. Let f be g(0). Which is bigger: f or t?
t
Let z be 0/(-3 + 10/2). Suppose -2 = -4*j - 10. Let q be j/(-20)*(2 - 5). Which is s