 be (-2 + -1)/(4/1). Is j equal to 1?
False
Let x(z) = -1 - 7*z + 0 - z**2 - 2. Let k be 8/6*(-45)/10. Let p be x(k). Are 2 and p nonequal?
True
Suppose 4*y - 85 = -y. Suppose p + y = -j - 2*p, -j - p = 11. Is j at least as big as -7?
False
Suppose 6*u - u = 0. Let d = 29 - 35. Which is smaller: u or d?
d
Let p = 39 - 275/7. Is p greater than 2.3?
False
Let o = 6 + -2. Let c be 0 - ((-3 - -1) + -1). Suppose 5*i - 7 - 18 = -5*v, 3*i = c*v + 3. Which is greater: o or i?
o
Let p = 3166/7 - 453. Let y = p - -27/28. Do -0.1 and y have the same value?
False
Let b = -20 + 35. Suppose -3*n = b - 6. Is n greater than -2?
False
Let d(o) = o**3 + o**2 + o - 2. Let z be d(0). Let v = 26 + -26.3. Which is greater: z or v?
v
Let a(n) = -3*n + 4. Let g be a(3). Let q be 6 + g/(5/4). Are 1 and q unequal?
True
Let c(r) = r**2 + 2*r - 9. Let x be c(-4). Is 1/5 at most as big as x?
False
Suppose -2*s - 2*y = -2, -4*y - 43 = -3*s + y. Suppose -6*m + s = -7*m. Which is bigger: -7 or m?
m
Let b = -130 + 653/5. Is b equal to 1?
False
Let x(k) = 9*k - 63. Let b be x(7). Let f be (-6)/4*(-4)/(-45). Which is smaller: b or f?
f
Let b = -11 + 12. Which is bigger: 50 or b?
50
Let d = 2.4 - 2.8. Let z = -0.3 - d. Is 7 smaller than z?
False
Let l = -0.14 + 0.04. Let u = 0.2 + l. Let a = -0.03 - 1.97. Which is greater: a or u?
u
Suppose 7*i - 2*i = 0. Let z(r) = r**2 - 4. Let t be z(2). Is i > t?
False
Let q = -16 - -16.3. Let j = 0 + q. Which is greater: -0.1 or j?
j
Suppose 7 + 5 = 4*x. Suppose 3 = x*r - 6. Suppose 0 = 2*a - r*a - 1. Are 0 and a nonequal?
True
Let o = 63 - 36. Suppose 4*u - 15 - o = -2*g, 2*g + 24 = 2*u. Let w = u - 7. Which is bigger: 1 or w?
w
Let o = -0.13 - -0.13. Which is smaller: o or 14/5?
o
Let k = -3 + 4. Let x be 2*-1 + 2/k. Suppose -3*a - 2*b - 2 = x, b = -3*a - 0*b - 1. Is 3/4 bigger than a?
True
Let p be (-3)/(-1) + (-5)/3. Is 0 <= p?
True
Let g = 1.27 + -0.27. Do 0 and g have the same value?
False
Let m = 19 + -20. Let s be m - 147/(-29) - 4. Is 0 > s?
False
Suppose -6 - 10 = 2*w. Which is greater: w or -6?
-6
Let a = -3247/66 + 148/3. Which is greater: a or 1?
1
Let k(r) = -r**3 - 10*r**2 + 2. Let b be k(-10). Let c = -6 - -8. Let q be (-15)/(-21) + c/7. Which is bigger: b or q?
b
Suppose -7*q + 5*q = 2. Is -2/59 > q?
True
Let s = -17 + 17. Let h be (-2)/(-10)*(-5)/(-24). Let l = 5/8 + h. Do s and l have different values?
True
Let r = -233/4 - -58. Suppose -5*j = -j. Is r less than j?
True
Let f be 2136/(-3150) - 4/(-6). Let m = 127/175 + f. Is 1 equal to m?
False
Suppose -z = m - 0*m + 7, -3*z + 3*m - 3 = 0. Let d = -1 + z. Is -5 >= d?
True
Let y(s) = 8*s + 5. Let c be y(-4). Let a = -17 - c. Suppose -h = -5*z + a, 4*z + 4*h = -h - 21. Is 2 bigger than z?
True
Let n be 2*(1 + 0) + 120/(-57). Let d(x) = -x**3 + 2*x**2 + 4*x. Let a be d(3). Let g = a + -2. Is n != g?
True
Let q = 7 - 6.7. Let a = q + 0.7. Let v = a + -1. Is 1 bigger than v?
True
Let n = -8 - -8. Which is bigger: n or 1/6?
1/6
Let a = -3/13 + 54/65. Let f = 7 - 17. Let k = f + 10. Which is bigger: a or k?
a
Suppose 5*b = b + 5*j - 20, -2*j + 15 = -3*b. Which is bigger: b or -4?
-4
Let c = 180/11 - 17269/1056. Which is smaller: c or 1?
c
Let x = 2 + -7. Let b(p) = p**2 + 4*p. Let g be b(x). Let o be (-3 + g)*(-1)/5. Which is greater: -0.1 or o?
-0.1
Let w(n) = -n**2 + 5*n + 3. Let a be w(6). Which is smaller: a or -11/6?
a
Let i = -13.3 + 14. Let y = -1.3 - i. Is y > 1?
False
Let o be ((-20)/(-8))/(-5)*2. Let t(h) be the second derivative of -h**5/20 - h**4/12 + h**3/6 + h**2/2 - 2*h. Let g be t(o). Which is smaller: g or -1?
-1
Let a(u) = -u - 10. Let t be a(-7). Let y be (14 - 2)*t/6. Which is greater: -5 or y?
-5
Suppose -4*h - 2*x = 18, -x = h - 4*x + 22. Let r be h/((-7)/(-4)) - 3. Which is greater: -4 or r?
-4
Let k = -340 + 68679/202. Do k and 1 have different values?
True
Let u(a) = -3*a - 6. Let v(z) = -13*z - 24. Let o(s) = -9*u(s) + 2*v(s). Let w be o(-5). Which is greater: -2/29 or w?
w
Suppose 7 = l - 0*l + 3*k, -5*l = -k - 3. Let p be (1 - 0/2)*l. Let m = 277/6 + -46. Which is greater: m or p?
p
Let h be ((-12)/8)/(6/((-4)/(-2))). Are h and 0.027 equal?
False
Let g = 0.11 - -0.89. Is -28 > g?
False
Suppose -3 = -4*p + 2*d + 5, -5*p - d = -10. Suppose p*y - 3*m = 11, -4*y + 3*m - 4*m = -15. Suppose 1 = 3*n + 4. Does y = n?
False
Let b = 9 - 13. Let f be b/14 - (-16)/(-42). Is f bigger than 0?
False
Let h = -15 + 8. Let a be ((-2)/h)/(10/14). Suppose 0*q = 5*q - 10. Which is greater: q or a?
q
Suppose 6*w = 12*w. Let n = 397/38 + -21/2. Which is smaller: w or n?
n
Let w be (-2)/(-8) + 1/4. Is -4 > w?
False
Let f be (-76)/57 - 1/(-3). Which is bigger: 1/5 or f?
1/5
Let z = -0.1 - -0.2. Let o be 2/1*(-3 + 5/2). Is z at most as big as o?
False
Let c be ((-2)/4)/((-2)/24). Let k = -5 - -8. Suppose 4*w - w = 5*f + 35, k*f + 22 = 2*w. Which is greater: w or c?
c
Let t be 999/(-42) + (-20)/(-70). Which is smaller: -25 or t?
-25
Let s = -7 + 22. Let g = 15.7 - s. Let d = -1.7 + g. Is -1/2 greater than d?
True
Let h = 47 + -47. Which is bigger: 0.057 or h?
0.057
Suppose t - 122 = -0*t. Let s = t - 857/7. Let c = 0.3 + -0.3. Which is greater: c or s?
c
Let r be 4/16 - (-20094)/280. Let l = r - 508/7. Let z = 2/35 + l. Is 0.1 >= z?
True
Let v = 1 - 0. Let n be v/(0 + 1) + -1. Suppose n = -2*t + 2. Are -0.3 and t non-equal?
True
Let l = 5 - 4. Let t be 72/(-33) + l - -1. Which is smaller: t or 0?
t
Suppose -3*f - 8 = f. Let q be 1/2*6 + -5. Let z be q + (-3)/(-3)*2. Which is smaller: z or f?
f
Let q = 0 + 1. Let y be ((-2)/2 + 2)*1. Is y at least q?
True
Suppose -2*u - 1 = 7. Let t be 8/(-20) + u/(-35). Let z = -1 + 1. Which is bigger: t or z?
z
Let r be 6 + (-165)/25 - (-4)/(-10). Which is bigger: r or -1/17?
-1/17
Suppose 0*x = -2*x + 4. Let z be x/2 + 3/1. Suppose 1 = -z*c - 3. Are c and -2 non-equal?
True
Let i = 216 - -27. Suppose 43 = 2*q + i. Let k be (-5)/q + (-3)/(-4). Is k greater than 2?
False
Let d be (18 + -6)*(-10)/(-4). Suppose 5*o + 3*z = 43, z = -3*o - 5 + d. Let m(i) = -i**3 + 7*i**2 + 9*i - 7. Let c be m(o). Is c at most 1?
True
Let a = -3 - -13. Is a at least 9?
True
Let z = 14 + -12. Which is smaller: z or 1?
1
Let s(y) = -y**2 - 8*y - 6. Let o be s(-6). Let i be (2/(-6))/((-2)/o). Let g be ((-2)/3)/(35/15). Which is smaller: i or g?
g
Let z = 9 - 4. Let d = -5.6 + z. Let l = -0.4 + d. Which is smaller: l or -1/2?
l
Let i = 4 + -9. Are i and -0.1 nonequal?
True
Let m = 3220/3 - 1053. Let z = -21 + m. Which is greater: 0.8 or z?
0.8
Suppose -g + 3*y = -2*g - 8, 0 = -4*y - 12. Suppose 8 = 2*p - 0. Let s be (-2)/((p/1)/(-1)). Which is bigger: g or s?
g
Suppose 0 = -3*u + u. Let l = 14 - 10. Let y be (1/(-2))/((-2)/l). Which is greater: y or u?
y
Let c be (3 - 5) + 7/7. Let h = 0.3 - -2.7. Is c < h?
True
Let f = -2 + 2. Let d(h) = 5*h**3 + h**2 + h + 1. Let s be d(-1). Let k be s/(-22) + 55/363. Is k < f?
False
Suppose -2*i - 3*i + 4*k = -26, -4*i + 3*k = -20. Let r be (-3 - (-8)/5) + i. Which is smaller: r or 2?
r
Suppose -3*f - 3*n - 14 = -5*f, -2*f + 2*n + 10 = 0. Is 0 equal to f?
False
Let r = -11 + 8. Let s = -22.9 + 23. Which is smaller: s or r?
r
Let a = 1 + 1. Suppose 8*t = -3*j + 3*t - 21, -5*j - a*t = 16. Is j less than or equal to -1/2?
True
Let x = 109/310 - -3/62. Let z = 0.12 + -0.02. Does x = z?
False
Let w(z) be the first derivative of 5*z**2/2 - 2. Let a be w(2). Let f be 15/10*a/(-12). Which is greater: f or 0?
0
Let d(g) = 0*g - 3*g - 2 - 2*g**2 + 2*g - g. Let q be d(-2). Are -3 and q equal?
False
Suppose 0*g = -g. Which is bigger: g or 2?
2
Let i(t) = t**3 + 8*t**2 - t + 7. Let p be i(-8). Suppose -5*l + 5*r - 17 = -102, -r + 58 = 4*l. Are p and l non-equal?
False
Let q be (-2)/(-4)*13/26. Is -2/11 greater than q?
False
Let h(s) be the second derivative of -s**4/12 + s**3/3 - s. Let a be (16/(-10))/(-4)*5. Let n be h(a). Which is bigger: 2/3 or n?
2/3
Let s(w) = -w**2 + 2*w - 2. Let k(j) = j + 12. Let l be k(-10). Let f be s(l). Which is smaller: -1 or f?
f
Let g be ((-5)/12)/((-81)/216). Which is greater: g or 2?
2
Let k(w) = w**2 + 4*w - 7. Let d be k(-5). Do d and -5 have the same value?
False
Suppose -3*x + 5*x = 0. Suppose -5*i + 0*i = x. Let s = -1 + i. Are 0 and s unequal?
True
Let r = -102 - -100. Which is greater: 57 or r?
57
L