u - 2*u = -35, -35 = 5*j + 2*u. Which is greater: 0 or j?
0
Let v be 0/((-3 + 4)*-2). Suppose v*h = -2*h. Are -2 and h equal?
False
Let u = -6 - -5.96. Let a = u - -7.04. Let f = -6.5 + a. Is f != 0?
True
Let y(i) = -7*i + 26. Let k be y(7). Is k <= -22?
True
Let t be (1 - 4) + -9 + -4. Let b be (-8)/12 + t/12. Let r = 2.9 + -3. Which is bigger: r or b?
r
Let r(m) = -m**2 - 5*m + 8. Let s be -4 - (2 - (-1 - 0)). Let o be r(s). Let c be 9/(-12)*o/9. Is -0.1 equal to c?
False
Let o = 1098587/212 + -5182. Let s = o + 131/106. Is 2 equal to s?
False
Let p = -811 + 4074/5. Which is bigger: p or 5?
5
Let j be -42 - (1 - -2) - 1. Is -46 less than j?
False
Let w be 2*(1/2 + -2). Let i be (-8)/14*(-196)/(-56). Does i = w?
False
Let n = -169/801 + -1/89. Let c = -2.6 + 1.7. Let m = 1 + c. Which is bigger: m or n?
m
Let j = 520/3 - 175. Is j greater than or equal to -7?
True
Let i(h) = -h - 2. Let b be i(-6). Let m = 8 - 3. Are m and b equal?
False
Let l = -22 + 47.95. Let i = l + -28. Let q = 0.05 + i. Is 1/4 > q?
True
Let c(q) = q**3 - 7*q**2 + 5*q + 6. Let h be c(6). Suppose h = -l + 4*l + 3. Let m = -203/255 + -1/255. Which is bigger: m or l?
m
Suppose 0 = -m + 4*x - 21, 3*m = x + 2*x - 18. Which is greater: m or -9/26?
-9/26
Let b = 2 - 2. Suppose 0 = -w - b - 1. Which is smaller: w or 0?
w
Let z = -94 + 94. Are z and -2/261 unequal?
True
Let k be ((-4)/2)/((-84)/154). Which is smaller: 5 or k?
k
Let x(v) = v**3 - 6*v**2 - 6*v + 7. Let g be x(7). Is g greater than 15?
False
Let x(i) = -i**2 + i + 4*i - 6*i. Let u be x(-2). Which is greater: u or -3?
u
Let l(d) = 2*d - 1. Let w be l(1). Which is smaller: -7 or w?
-7
Suppose -45 + 9 = -3*h. Let m be (-4)/(-5 - -3 - h). Is 0 less than m?
True
Suppose a + 0*a = -2. Let l be (-150)/12*4/5. Which is smaller: l or a?
l
Suppose y = -v - 0*v + 5, 3*y - 7 = -v. Let n be (-4)/(-1) + (-1 - 0). Do v and n have different values?
True
Let l = 0 - -0.6. Let c = -0.5 + 1.1. Let g = c - l. Which is bigger: g or 3/8?
3/8
Suppose -5*w + 4*i = 12, -3*w - 3*i - 10 = -4*i. Let g = -10 - -6. Let c be 2*((-18)/g)/(-3). Is w at least as big as c?
False
Let j(t) = t**3 - 3*t**2 - t - 2. Let l be j(2). Which is smaller: -7 or l?
l
Let w = 14 + -11. Suppose -w*z + 7 = -11. Let c = 7 + -1. Is z at least as big as c?
True
Let n = -1 + -0.3. Let u = n - -1.65. Let j = 0.05 - u. Is -1/4 at most as big as j?
False
Suppose y - 7 = -2. Suppose 0 = j - y + 1. Suppose t - 6 = -2. Is j != t?
False
Let j be (-1)/(-2) - (-9)/(-18). Which is bigger: j or 2/17?
2/17
Suppose 22 = -4*y - 10. Let j be ((-2)/(-7))/(y/4524). Let k = j - -161. Is -1 <= k?
True
Let s be (2/(-4))/((-2)/12). Suppose 0 = -s*u + 16 - 1. Suppose 0 = -v - 4 + u. Is v equal to -5?
False
Let i = 44 - 62. Which is greater: 3 or i?
3
Let i = -38 + 35. Let n be ((-20)/6 + 2)*3. Let r(q) = -q**2 - 5*q - 5. Let h be r(n). Which is smaller: h or i?
i
Let x = -14 - -13.8. Let n = -2.2 + 1. Let p = n - x. Is p at least as big as -2/17?
False
Let l(q) = -q**3 - q**2 - q. Let c be l(-1). Let d = 1 - c. Are d and -2/11 equal?
False
Suppose -3 = -3*x + 2*m, -2*x = 3*x - 5*m - 5. Let f be (-1)/(-1)*1 - -1. Suppose -4*z + 5*z - 2 = -2*i, -2 = f*i + 3*z. Does i = x?
False
Let k = -1412 + 4342/3. Let x = k + -36. Is x <= 0?
True
Let y be ((-6)/152)/((-36)/(-32)). Which is smaller: 1 or y?
y
Let p be (-78)/(-270) - (-2)/18. Suppose 0 = -3*f - 0*f. Suppose 4*d + f*h + 3*h + 19 = 0, 4*d - h - 1 = 0. Which is smaller: d or p?
d
Suppose 25 = 5*t + b, -3*b + 6*b = -5*t + 15. Is t < 6?
False
Let l = 7.2 - 7. Let h = l - 0.4. Let a = h + 2.2. Does a = -0.1?
False
Let q be ((-40)/(-24))/((-2)/((-6)/(-13))). Is q bigger than 0.2?
False
Suppose 4*h + 3*z = 8863, 0 = -2*h - h - 4*z + 6656. Let g be h/66 + (-6)/33. Let y = 33 - g. Which is greater: -1 or y?
y
Let n be (-6)/(2 + 35/(-10) - 3). Which is smaller: n or 2?
n
Let z = -20425/33 - -619. Let s = -37/66 + z. Which is smaller: 0.2 or s?
s
Let f be (-2)/(-5) + (-2)/5. Let z = 99565/574 + 841/82. Let n = z - 184. Which is smaller: n or f?
n
Suppose -8 = -2*a, -3*p + 52 = a - 3. Is p < 17?
False
Let v(h) = 5*h**3 - h. Let u(d) = -d**3 + 4*d**2 - 2*d - 2. Let x be u(3). Let f be v(x). Suppose f*y - 8 = -g, 1 = -y + 6*y - g. Which is smaller: 2 or y?
y
Let p be (1/(-3))/(5/60). Which is smaller: -6 or p?
-6
Let l = 1.2 + -1. Let z = -1.3 - -0.7. Let p = z + 0.8. Is p smaller than l?
False
Let w = 118 - 118. Is w < 2/263?
True
Let u(p) = p**3 + 14*p**2 + p + 14. Let y(a) = a**3 - 6*a**2 + 4*a + 1. Let o be y(3). Let l be u(o). Is 3/10 less than or equal to l?
False
Suppose -4*p + 32 = 3*f, 2*f + 2 = 5*p + 8. Let a(s) = -2*s + 12. Let g be a(f). Which is smaller: -5 or g?
-5
Let f = 43 + -561/13. Let z be 24/4 + -2 + -3. Which is smaller: f or z?
f
Let s(l) = -l**2 + 4*l. Let p be s(4). Is p at most -1/2?
False
Let b be (12/9)/((-4)/6). Let d be 10*((-6)/(-39))/b. Let x = d + 7/26. Do 2 and x have the same value?
False
Let z(q) = -q - 5 - 7 - q**2 - 9*q. Let i be z(-9). Which is smaller: i or -1?
i
Let c = 2.5 + -3.5. Is -0.12 equal to c?
False
Suppose 3*i + 3 = -3*c + 6, -3*c = -5*i + 21. Let m(j) = -j + 10 - 10. Let l be m(c). Which is greater: 4/5 or l?
l
Suppose -2*h = -4 - 20. Let p = -0.5 - -0.5. Which is greater: p or h?
h
Suppose 4*t + 19 = 3*b, -4*b + 46 = -3*t + 16. Is 6 bigger than b?
False
Let p = -4534 + 13745/3. Let v = 87 - 39. Let x = p - v. Is 0 smaller than x?
False
Suppose 0 = -5*i + i + 12. Suppose 0 = -5*m + 2*x + 22, -2*x = m - 4*x + 2. Suppose s - 19 = 5*j, -j - m = i*s - 15. Is j > -3?
False
Let h be (-6)/3 + 10/8. Let q be (-2)/(-1) - (3 + -1). Is h greater than or equal to q?
False
Let n be (-2 + (-12)/(-4))/7. Let b = 2 + -2. Which is smaller: n or b?
b
Suppose 3*i + 2*g = -0*g - 4, 2*i - 2*g + 16 = 0. Which is smaller: -3 or i?
i
Let l(y) = -y**2 - y. Let d(c) = -2*c**2 + 1. Let f be d(1). Let x be l(f). Let o be -3 + 1 - (-1)/(38/72). Do o and x have the same value?
False
Let b(x) = x**3 - 7. Let r be b(0). Let p be (-1*4/r)/2. Let n = 0.1 - 0. Which is bigger: n or p?
p
Let w = 25 + -24. Is w less than -2/15?
False
Let i(a) = -a - 6. Let l be i(-7). Let o = 17/115 - 8/23. Is o less than l?
True
Suppose 7*a = -38 - 18. Let g = 14 - 23. Is a > g?
True
Suppose -4*f = -t, 3*f + 2*t = 3*t. Let v be 2/(2 + -1 + -2). Let g = v + 2. Is g at least as big as f?
True
Let i = 17/2 - 18. Let b = 17 + -27. Let t = i - b. Is 1 < t?
False
Let r = -1 - 2. Let n be (8/(-15))/(-4)*r. Suppose -2*g + 4 = 2*g. Which is greater: g or n?
g
Let g(n) = n**2 + 13*n - 38. Let t be g(-16). Which is smaller: 14 or t?
t
Let t(s) = -3*s - 10. Let b be t(-5). Suppose 0 = -3*j + 4*j - 4. Suppose 0 = 2*z + 2*x, -j*z + b*x - 3*x = -18. Which is smaller: z or 2?
2
Suppose k - 5*f - 5 = -2*k, -3*k = 3*f - 21. Suppose -4*t = -k*a - 20, -t = 2*a - 4*a - 5. Suppose 0 = -2*q - 3*s + 13, -5*q + 7*s - 2*s - 30 = 0. Is a < q?
False
Let b = 23 - 24. Which is smaller: -2 or b?
-2
Suppose 19*g - 1 = 18*g. Is 1/43 greater than g?
False
Let l(p) = p**2 + 7*p + 7. Let v be 3/(-4)*(7 - -1). Let m be l(v). Which is bigger: m or 3/5?
m
Let z = 8 + -7.94. Let s = -0.12 - -0.04. Let d = s + z. Is 1/2 less than or equal to d?
False
Suppose 0*y - 5*y = -10. Let s = y - 1. Let v be (s - (-3)/(-12))*2. Is 1 greater than v?
False
Let u = -3 - -12. Suppose -5 = -u*o + 4*o. Which is bigger: 2/11 or o?
o
Let j = -10.1 + 10. Are j and 3/2 non-equal?
True
Let z(u) = -4*u - 11. Let g be z(-3). Let q = 90950/93 - 3826664/2325. Let o = 668 + q. Is g < o?
False
Let r(d) be the second derivative of -d**4/12 - d**3 - 5*d**2/2 - 2*d. Let o be r(-5). Which is bigger: o or 4?
4
Let v be (38 - 6) + (-2 - -6). Is 38 greater than v?
True
Suppose 5*p + 14 = -2*q, 8*q = 5*p + 3*q. Let y be (-26)/(-28) - p/(-4). Let x be (2/3 + -1)*-3. Which is smaller: y or x?
y
Let b = -0.4 - 0.5. Let k = 1 + b. Is 2 less than k?
False
Let l = 1 - 0. Let w(p) = 6*p**3 - 2*p**2 + 2*p + 3. Let o(d) = -5*d**3 + 2*d**2 - 2*d - 2. Let k(i) = 7*o(i) + 6*w(i). Let z be k(-3). Is z not equal to l?
False
Let s = 0.639 + -0.039. Which is smaller: 3 or s?
s
Let x = 0.25 + -18.25. Let f = x - -18. Is 2/19 smaller than f?
False
Let i = -4.1 + 4. Is -4/3 less than i?
True
Suppose 4*m - v + 2*v = -57, -5*v - 5 = 0. Let o be (-