4*d = -3*d - w*r + 12, -c = 5*d - r. Is 2 equal to d?
False
Let j be 2/16 - 1/2. Is j less than -1?
False
Suppose -3*l + 1 = 28. Let v = -6 - l. Suppose d - 3 = -2*n + v, 0 = n. Which is greater: d or 1/2?
d
Let p = 1.5 - 1.7. Let a = -2 - -3. Is a > p?
True
Let l = -0.13 - 1.87. Let h = 2.42 + -0.32. Let q = h + l. Is 3/4 greater than q?
True
Let d(f) = 4*f**2 + f. Let s be d(-1). Let z = -77/3 - -53/2. Let b = z + 2/3. Which is smaller: s or b?
b
Let u(a) = -a**2 - 4*a + 5. Let q be u(-5). Let b = q - 6. Let v be -2*(15/b)/(-1). Is v at most as big as -4?
True
Let t be 6/5 - 2/2. Let q(s) = -7*s**2 + s. Let m be q(1). Let o(g) = g**2 + 7*g + 5. Let i be o(m). Does t = i?
False
Let h be (-19)/(-4) + (-9)/12. Is 5 bigger than h?
True
Let v(p) = -2*p**3 - 6*p**2 + 9*p + 5. Let u be v(-4). Is -2/217 greater than or equal to u?
False
Suppose 19*k - 18*k + 7 = 0. Suppose 0 = -0*w - 3*w. Suppose w = -2*h + 1 - 13. Which is smaller: h or k?
k
Let y be (-6)/12*(-4)/13. Which is smaller: 0 or y?
0
Suppose z - 30 = 6*z. Let m be 2*(-4)/z*3. Suppose m*a - 3*a = -1, -2*a + 8 = 2*j. Are 3 and j unequal?
True
Let d = 19 + -4. Let s = d - 21. Is s bigger than -0.1?
False
Let j be (150/39 - 4) + (-41)/(-13). Which is smaller: j or 13/7?
13/7
Let n(q) = -2*q - 6. Suppose 0 - 6 = x - 5*o, -5*o = 4*x + 24. Let j be n(x). Suppose t = 5*d + j - 39, t + 4*d = 12. Is t < -7?
True
Let d(b) = -4*b**2 - b - 1. Let v be d(-1). Let z be (705/12)/(1/v). Let f = z - -2587/11. Which is smaller: f or -1?
-1
Let y = 611/12212 + -1/284. Do 1 and y have the same value?
False
Let t = 0.3 - 0.4. Let q(a) = -a**2 - 2*a - 1. Let o be q(-3). Let i be 2/o - (-2)/4. Which is smaller: t or i?
t
Let x = -3 - -3. Let s = 25 + -11. Let a be 2/(-4)*8/s. Are x and a non-equal?
True
Let g = -3 - -4. Let f be (-340)/315 - 2/(-9). Let v = -4/7 - f. Is g at most as big as v?
False
Let h = 6 - 6. Let b be (-24)/(-28)*7/(-5). Which is bigger: b or h?
h
Let s = 4.99 - 4.8. Which is smaller: 1/3 or s?
s
Let o = 0.72 + 0.28. Let m = 1.8 + -2. Is o not equal to m?
True
Suppose -3*v + 5*o + 37 = 0, -3*v + 6 = v + 2*o. Suppose 16 = 2*t - v*g, 2*t - g = -2*t + 11. Is 2 at least t?
True
Suppose -4 + 10 = 3*p. Suppose 0 = p*c - 6*d + 2*d - 32, 0 = 2*c - 5*d - 37. Suppose c - 23 = -4*l - 5*n, -n = 4*l - 13. Are 3 and l non-equal?
False
Let d(p) = -14*p - 16. Let c be d(-6). Which is smaller: c or -0.2?
-0.2
Let s be (0 + 13)/1 + -4. Which is smaller: s or 8?
8
Let f = 43 + -44. Which is bigger: 1/30 or f?
1/30
Suppose -u = -5*u + 24. Let h be u/(-4)*4/(-6). Let l be 2/(-11) + (-17)/55*2. Is h not equal to l?
True
Suppose -6*q = -3*q + 12. Let n be 6/q + 4/8. Which is smaller: -4/9 or n?
n
Let f = 5 - 0. Let q = -5.2 + f. Let n = q - -0.6. Does n = -2/7?
False
Let h(s) = -s**3 - 2 + 3*s + 4 + 2*s + 0 + 3*s**2. Let j be h(4). Suppose 0 = -2*t - t - j. Is t not equal to 1?
True
Let w = -27.1 + 27. Is w less than or equal to 3/4?
True
Suppose 2 = 2*a - 4*a. Let u be (a - -2)/((-1)/15). Let x be (-5)/(-6)*(-6)/u. Which is smaller: x or 0?
0
Let d(l) = l**3 + 5*l**2 + 3*l - 1. Let y be d(-4). Suppose -5*h + y*h + 12 = 0. Which is greater: 5 or h?
h
Let g be 1*-16 - (-1 - 0). Let u be ((-1)/(-3))/((-1)/g). Suppose -u*c - 5 + 0 = 0. Is 2/9 greater than or equal to c?
True
Let c = 1.4 - 1. Let j = 0.07 + 4.93. Let h = j + -4. Is h bigger than c?
True
Let g be (-1 - 0 - -8) + 0. Suppose -3*p + 2 + g = 0. Suppose 3*s + 8 = n, -6*s + p*s - 16 = -5*n. Which is smaller: n or 5/4?
5/4
Let d = 0.27 - -12.73. Let o = d - 9. Let a = o - 4. Is a bigger than -0.4?
True
Let l(c) = c**2 + 7*c + 8. Suppose 0*b = 2*b + 12. Let q be l(b). Suppose q*z + 2*x = -3*z + 7, 4*z + 5*x = -8. Which is smaller: z or -2?
-2
Let h be 1706/(-1974) + 0 - -2. Let s = 1959 + -276218/141. Let k = s + h. Is -0.1 greater than k?
False
Let d = -12 - -6. Let b(y) = -3*y - 3. Let l be b(d). Suppose 0*v + l = 5*v. Which is greater: v or 2?
v
Suppose -2*s - 4 = 8. Let t be (8/(-78))/(s/(-9)). Let q be 5*(76/(-20) + 4). Which is bigger: q or t?
q
Let r(a) be the second derivative of -a**4/24 - 2*a**3/3 - a**2/2 - 2*a. Let x(w) be the first derivative of r(w). Let h be x(-7). Is h less than or equal to 3?
True
Suppose s + 1 = -2*j, 5 = 4*j - s - 2. Which is smaller: j or -2/23?
-2/23
Let s = -2155/13 + 166. Is s greater than or equal to 0?
True
Let t be (0 - (-24)/9)*6. Suppose -2*z + 6*z = -t. Let j be (-4)/18 - z/18. Is j less than or equal to -3/4?
False
Let k = -5 - 0. Is -2 != k?
True
Let o = 1 - 1. Let g = 17 - 14.2. Let n = 0.2 + g. Which is bigger: o or n?
n
Let c be ((-12)/10)/(12/(-80)). Is c <= 8?
True
Let s = -748/13 - -58. Let h(z) = z**3 - 5*z**2 - 7*z + 5. Let l be h(6). Is s at least l?
True
Let n(q) = 10*q**2 - 3*q + 3. Let j be n(2). Let u = j - 627/17. Which is bigger: 1 or u?
1
Let z = 1.93 + -0.23. Let n = z - 3.7. Are -1/5 and n nonequal?
True
Let c = 3 + -3. Let d = 0 + c. Suppose -3*z - 13 = -4*o, -5*o - 3*z + 3 - 7 = d. Which is bigger: o or 2/15?
o
Let j = -10 - -9. Let f be (3/j)/3 + 3. Let h = 17 + -12. Which is smaller: h or f?
f
Suppose 6*x = 20*x - 14. Which is smaller: 1/44 or x?
1/44
Let z be (4 - (-2)/(-1)) + -2. Let b(c) = c**3 - 3*c**2 + 2*c - 1. Let g be b(2). Which is smaller: z or g?
g
Let w = -338/115 + -6/23. Let s = -89/20 - w. Which is smaller: s or 0?
s
Suppose 9*w - 4*w - 2*x + 5 = 0, 4*x - 22 = -2*w. Let s be 1*(1 - (-24)/(-33)). Which is greater: w or s?
w
Let d(i) = -i**3 - 5*i**2 - 2. Let a be d(-5). Is -3/4 equal to a?
False
Let u be 2/((-22)/155) - 2. Let c = u - -16. Suppose 0 = -0*z + 3*z + 8*z. Is z less than or equal to c?
False
Suppose 2*x + 4 = 4*g, 3*x = -3*g - x + 3. Suppose -1 = 2*s + g. Which is bigger: s or -2/5?
-2/5
Let i = 103 + -100. Are 25/7 and i non-equal?
True
Suppose 0 = -h - 3*c + 29, -4*h + 168 - 17 = 5*c. Which is bigger: 2/7 or h?
h
Let v = 30 - 30. Which is bigger: v or -0.2?
v
Suppose -2*g + 6*g = 12. Which is bigger: 0 or g?
g
Let j be (-62)/(-4) - (-2)/(-4). Let v be 2/(-4) + j/6. Which is bigger: 0 or v?
v
Let f = -9.06 - -0.06. Let h = f - -8. Is 0 >= h?
True
Let z be 6/(-6) + (16/10)/4. Is -2 at least as big as z?
False
Suppose -u + 12 = 2*u. Let l be 0*1*(3 - u). Which is smaller: l or 1/6?
l
Suppose 3*f + 189 = -3*w, -2*f - f = -5*w + 189. Let k = f - -442/7. Which is greater: 0 or k?
k
Let r be (0 + 0)/(0 + 2). Suppose 0*n + n + 32 = r. Let g be (-2)/8 + (-8)/n. Which is smaller: -2 or g?
-2
Suppose -6*o + 10 = -o. Let d be -1*o*2/4. Let c = 0 + 0. Which is smaller: d or c?
d
Let y(n) = n**3 + 10*n**2 + 10*n + 4. Let s be y(-9). Let d = -12 - s. Are -7 and d non-equal?
False
Let p = -2.6 + 0.6. Suppose 0 = -g - g + 4. Suppose 4*q = 6*q + g. Is q equal to p?
False
Let b = 6/437 - 17055/874. Let d = 20 + b. Let n(y) = -y + 7. Let g be n(6). Which is smaller: g or d?
d
Let w be 4/6 - (-15)/(-9). Which is greater: -2/67 or w?
-2/67
Suppose 0 = 3*u - 8 + 2. Which is greater: -8 or u?
u
Let v be -3 + 14 + (3 - 6). Let l = 11 - v. Let u = 4 - 2. Is l < u?
False
Let v be 10/(-15) + 148/6. Which is bigger: v or 25?
25
Let u = -15 + 11. Let g = u + 4.1. Do 0 and g have the same value?
False
Let d be (-48)/(-10)*5/10. Which is greater: d or 3?
3
Let a = 30 + -389/13. Which is greater: a or -1?
a
Let z = 6 - 7. Let g be ((-8)/6)/z - 2. Is g greater than or equal to -1?
True
Let p(m) = m**3 + 5*m**2 - 7*m - 7. Let j be p(-6). Which is smaller: -2/31 or j?
j
Let t be 294/(-385) + 4/10. Are t and -1 unequal?
True
Let k be 1/(-4) - 6/(-24). Does -1/39 = k?
False
Suppose 3*s - 4*l - 4 = -0, 3*s = -2*l - 2. Let w = -7/9 + 4/9. Let b = s + w. Is -1 at least as big as b?
False
Let a = 3 + -4. Let z = -185/28 - -48/7. Which is bigger: a or z?
z
Let c = 2 - -8. Let p be 6/c + 2/(-5). Let b be 2 - (6 + -1 - 2). Which is bigger: p or b?
p
Let v = 1.4 + -1.33. Let h = -0.27 + v. Is h > -0.2?
False
Suppose 4*r = -5*t + 25, 4*r + r - 25 = 0. Which is bigger: 1/31 or t?
t
Let h(l) = 4*l**2 + 3*l + 2. Let v be h(-2). Suppose -3*q + 2*j = -v, -4*q + j + 9 = -q. Do 3 and q have the same value?
False
Let z be 8/(-36)*(2 + 1). Suppose 0 = 2*t + 9 + 3. Let l be (t/4)/(3/(-6)). Which is smaller: l or z?
z
Let w(g) = 10*g**2 - 3*g + 2. Let a be w(7). Let j be (-2)/((-936)/a + 2). Let o = j + 1411/9. Wh