- 19 = -2*y, x + y - 2*y = -8. Which is smaller: x or -5?
-5
Let w(t) = -t**3 - 4*t**2 + 8*t + 6. Let a be w(-5). Let p be (2 - 16/6)*a. Suppose 6 + p = 4*u. Is u at most 0.1?
False
Let a(j) = -j**3 - 5*j**2 + 4*j - 2. Let i be a(-6). Let v = i + -5. Which is smaller: v or 6?
v
Let x be (3/6)/(1/2). Is x >= 2?
False
Let q = 70/9 + -487/63. Is -1 at least q?
False
Suppose -y + 3 - 1 = 0, b - y = 68. Does b = -0.1?
False
Let x = 0.1 + 0. Let g = x + -0.1. Let u = 0 + -1. Is g at most as big as u?
False
Suppose -4*j + 2 = -2*q, -2*q - q - 3 = 0. Suppose 2*w + 12 = -3*i, 3*w + j*w - 5*i = 1. Is w equal to -3?
True
Let r = 5/12 - 1/4. Let l(j) = j**2 + 5*j + 5. Let h be l(-4). Is r not equal to h?
True
Let w be (2 + -4 + 4)*-4. Let p be ((-2)/18)/(4/w). Which is smaller: p or 0?
0
Let y = -170899/26 - -238393991/36270. Let r = -14/45 - y. Let h = 36/155 + r. Which is smaller: 0 or h?
0
Suppose y + 2*h = 6, -2*y - 3*h = -0*y - 8. Let o be 26/6 - y/3. Let c = 8 - o. Do c and 2 have different values?
True
Let p = 10.12 + -10. Let j = p + -0.52. Is 2/15 > j?
True
Let u be 136/56 - 2/(-7). Is u <= 2?
False
Let d(g) = g**2 + 9*g + 8. Let b be d(-8). Do b and -2/77 have different values?
True
Suppose -3*m + t = -24, 3*t + 39 = 4*m + 4*t. Suppose -5*b - m = 11. Which is smaller: 1 or b?
b
Let k(g) = g**2 - 5*g - 1. Let i(m) = 6*m**3 + m**2 - m. Let t be i(1). Let c be k(t). Suppose -c*a + 16 = -a. Is a > 4?
False
Let c(m) = m**3 - 5*m**2 - m + 3. Let v(g) = 2*g + 5. Let t be v(-6). Let i = -2 - t. Let h be c(i). Which is greater: h or -3?
h
Suppose -5*b - 3*l = -24, -3 = 3*b - b - 3*l. Is b at most 3?
True
Let q = 16 - 10. Is 6 != q?
False
Let x(o) = -o + 4. Let t be x(5). Let z = 330 - 4288/13. Is z >= t?
True
Let f be 0 - (13/(-9))/(-1). Is f less than 0?
True
Let h = 605 - 4243/7. Is h at least as big as 0?
False
Let s(n) = -n**2 - 2*n + 8. Let p be s(-4). Which is smaller: p or -2?
-2
Let n = 48 - 49. Let o(r) = -r**2 + r + 2. Let j be o(2). Suppose -2*b - x + 3 = 0, j*b - 2*b - 2*x + 4 = 0. Is n != b?
True
Let a be 20*3*(-2)/(-15). Let u = 7 - a. Which is greater: u or -2/5?
-2/5
Let j = -0.2 - 0.2. Let z = -3398/21 - -771/7. Let f = z - -51. Which is smaller: j or f?
f
Let w be -4*1 - (-1 + -7). Is w >= 4?
True
Suppose -3*h - 15 = 3*a, -10 = -5*a + 3*h - h. Is 1/13 smaller than a?
False
Let h = 5 + -3. Suppose -8 = 2*v + h*v. Is v bigger than -2?
False
Let w(t) = -t**3 + 5*t**2 - 3*t - 1. Let o be w(4). Let a = 19 - 18. Let i be a/(30/9 - 3). Is i not equal to o?
False
Let n(w) = w + 3. Suppose 3*b = 3 - 15. Let r be n(b). Which is bigger: 1/10 or r?
1/10
Let s = 1 + 2. Suppose s*m = -2*m + 5. Which is smaller: -1/3 or m?
-1/3
Let g be (6/(-20))/(2/(-4)). Let q = 1/5 - g. Does 2 = q?
False
Let f be 14/56*(0 - -4). Is 1/9 at least f?
False
Let z = -16 - -12. Let c be 3/z + 42/56. Is -2/19 greater than c?
False
Let a be 156/(-189) - (-8)/(-28). Is -2 > a?
False
Suppose -2*c + 2*n + 4 = 0, -5*c - 21 = 3*n - 7. Let p be 14/4 + -2 - 1. Which is smaller: p or c?
c
Suppose -8 = 10*x - 6*x. Which is smaller: -4/5 or x?
x
Let x = -16 + 17. Let b = 3 - x. Which is smaller: 7/5 or b?
7/5
Let v be 6/(-9)*36/8. Let s be v + 1 + (-7)/(-4). Is s < -5?
False
Let z(h) = h**2 - 7*h - 9. Let n be z(8). Let k = -7/5 - n. Are k and 0.04 unequal?
True
Let n(k) = 4*k**2 - 4*k + 8. Let i(d) = d**2 + d. Let r(x) = 3*i(x) - n(x). Let f be r(6). Let w(j) = j + 2. Let v be w(f). Which is smaller: 2/5 or v?
v
Let c = -5.1 + 0.1. Let d = 5 + c. Let q = -5 + 4. Which is bigger: q or d?
d
Let j be 3/4*(-2)/(-5). Which is bigger: j or -5/2?
j
Let h = 36/25 - 2711/1900. Which is smaller: h or 1?
h
Suppose -2*i - 40 = -42. Is -3/29 greater than or equal to i?
False
Let j be 3 - (4 - 4) - -49. Suppose 3*z = -2*i - 3*i + j, 3*z - 12 = 0. Are 2/7 and i equal?
False
Let w = -0.1 + 0.1. Let i be ((-56)/6)/(6/(-18)). Let j be (2/3)/(i/18). Is j > w?
True
Let i(y) = y**3 + 6*y**2 - 8*y. Let u(g) = -6*g**2 - 2*g + 1. Let n be u(1). Let p be i(n). Let a = p - 15/2. Which is smaller: a or -2?
-2
Let x be ((-75)/(-30))/((-1)/(-30)). Let d be (-60)/x + (-134)/(-180). Which is smaller: d or 0?
d
Let o = 1 - 0. Let a = o - 3. Let r be (a/(-4))/(1/2). Is 1 <= r?
True
Let d = 412 + -230. Let q be 2/7 + (-80)/d. Let a = -400 - -400. Is q <= a?
True
Let r = -19567/48954 + 7/398. Let c = -2/41 - r. Which is greater: c or 2?
2
Suppose 4*c = -0*c. Let z be (c/(-10))/(1*-3). Which is greater: z or -1?
z
Suppose -a - 4*b + 8 = -3*b, 5*b - 25 = 0. Let c be -1 + 3/a - 0. Let d = -1 + c. Which is smaller: 0 or d?
d
Suppose 41 = -2*k + 5. Let x = -3 - k. Let b be x/(-6)*(-4)/5. Is b > 4/3?
True
Suppose -4*a = -j + 20, -2*a - j = 1 + 3. Let q be (a/8)/(2/(-4)). Which is bigger: 4/11 or q?
q
Suppose 3*i - 7*i = 4. Is i < 1/25?
True
Let z = 135 - 809/6. Suppose 5*a + 2 = -2*d, -1 - 4 = 3*a + 5*d. Is z greater than a?
True
Let x be 2/11 - 536/44. Let b = x + 15. Which is smaller: b or 5?
b
Let h be -4 + 1*(-310)/(-65). Do 0 and h have the same value?
False
Let d = 0.4 - 0.2. Let g = 2 + -1. Let k = -1.1 + g. Is k greater than d?
False
Let c(k) = -k - 7. Let r be c(-8). Do r and -1/9 have different values?
True
Suppose 0 = -4*i + 2*i. Let h = 99.24 - 91. Let m = h + -0.24. Which is bigger: i or m?
m
Let g = 107778/85 - 1268. Let y = 89/170 + g. Which is greater: 4/3 or y?
4/3
Let n be 9/(-3) - (-1 - 0). Let r = -5 - n. Let b(o) = o**3 - 5*o**2 - o + 3. Let z be b(5). Which is greater: r or z?
z
Let a be 9/(-12) + 11/4. Suppose 6*s = a*s. Which is smaller: 1 or s?
s
Suppose -5*g - s = 2, 0 = 2*g - 2*s - 3*s + 17. Let w be g + 10 - (2 + 2). Are 4 and w equal?
False
Let a be 3 - 2 - (3 + 9). Let c be ((-4 - -5) + a)/(-4). Which is greater: c or 3?
3
Let w = -7 + 7. Suppose -3*u = 2*r + 17, 2*r - 4 = 5*u - u. Which is greater: u or w?
w
Let j = -69 + 482/7. Suppose 5*p + 5*w + 4 = 34, 17 = 2*p + 3*w. Which is bigger: p or j?
p
Suppose -5*q + q + 2*u - 36 = 0, 2*u - 15 = q. Is -4 less than q?
False
Let y(t) = t**2 - 4*t - 5. Let z be y(5). Suppose a + 2*u = u - 16, 0 = 4*u - 4. Let j = -151/9 - a. Which is greater: z or j?
j
Suppose -3*z - 4*o = -1 - 2, 4*o = 2*z + 18. Is -1 bigger than z?
True
Suppose -6 + 2 = -t. Suppose w - t*w + 3 = 0. Let v be (0/(-2) + 0)*w. Which is bigger: 2 or v?
2
Let p = -14 + 31. Which is smaller: p or 1?
1
Let z(h) = 3*h**2 - h - 9. Let v be z(3). Is v not equal to 12?
True
Let c = -47 + 48. Let i be ((-1)/(-10))/((-1)/(-2)). Which is bigger: i or c?
c
Suppose 0 = 4*s - n + 48, 2*n = -4*s + 4*n - 44. Is -13 at least as big as s?
True
Let s = 3207 + -16097/5. Let y = -13 - s. Let x be ((-2 + 3)*0)/2. Is x at least y?
True
Let v be (-2)/(-3)*(-15)/10. Which is smaller: v or 0.07?
v
Let w = 0.03 + 0.17. Let k = 42/5 - 8. Which is smaller: w or k?
w
Let g = 195 - 2536/13. Which is smaller: g or 1?
g
Let i = 0.1 - -0.3. Let l = 1 - i. Let y = -2.4 - l. Which is smaller: y or -2/7?
y
Let w = 1.5 + 5.5. Are 3/2 and w nonequal?
True
Suppose 0*a - 16 = -4*a. Suppose 75 = -5*h - 30. Let n be (4/3)/((-14)/h). Is n at least a?
False
Let p(l) = l**2 + 10*l + 17. Let t be p(-7). Which is bigger: -30/7 or t?
t
Let d = 5 - -7. Let k be 2/d - 2/(-6). Suppose 17*i = 3*i + 14. Which is greater: k or i?
i
Let z = 6 - 4. Suppose 0 = z*s - s - 4. Are s and 4 nonequal?
False
Let q be (25/(-4))/(3/12). Let d be (20/q)/(1/5). Suppose 3*v + 0*v = -9. Which is bigger: d or v?
v
Let f be 3/6*(-12)/33. Is -9 < f?
True
Let d = 139/91 + -18/13. Suppose -14 = 3*t + 4*s, -2*t - 4*s - 16 = -0*t. Suppose 3 = 3*f, -2*z + 3*f = -t + 5. Which is smaller: d or z?
z
Suppose 5*p + 33 = 2*k + 10, 3*p + 10 = 5*k. Let q be 4*((-9)/(-78))/(-3). Is q at least k?
True
Let h be (-6)/(-4)*(-16)/(-36). Let a = 4 - 2. Which is bigger: h or a?
a
Let x = 16 + -22. Let c be 0/3 + x/(-7). Are c and 0 equal?
False
Let h = -80 + 68. Which is bigger: h or -56/5?
-56/5
Let v(j) be the first derivative of -j**3/3 + 3*j**2 + 3*j - 2. Let f be v(6). Let o be -1*((-3)/(-2))/f. Which is bigger: 0 or o?
0
Let o be (507/252 - 3) + 1. Which is smaller: 0 or o?
0
Suppose -3*b + 0*b = 3*s - 9, -11 = -5*b - 4*s. Which is greater: 1/8 or b?
1/8
Let a = 5 - -1. Let j = -52 + 58. Is j equal to a?
True
Let d(q) = -q**3 + 4*q**2 + 4*q + 1. Let g be d(5). Let m