
False
Let f(t) = 4*t**2 + 2*t - 2. Let o be f(-2). Let d = 14 - o. Let j = 2 + d. Is 3 a factor of j?
True
Let i be (3/(6/(-4)))/1. Let x(n) be the third derivative of -n**4/12 + n**2. Is x(i) a multiple of 3?
False
Let l = 5 - 3. Suppose -3*h + 36 = l*x - 21, -60 = -3*x + 4*h. Does 13 divide x?
False
Let f = -8 - -9. Is 12 a factor of 15 - (4 - 1/f)?
True
Let h(g) = -g**3 + 4*g**2 - 5*g - 2. Let d(w) = w**3 - 4*w**2 + 6*w + 3. Let s(c) = -2*d(c) - 3*h(c). Is 6 a factor of s(4)?
True
Suppose -14*u + 273 = -21. Does 3 divide u?
True
Suppose -4*m + 10 = -18. Is 4 a factor of m - (-6)/(-2 - 0)?
True
Let a(x) = x**3 + 11*x**2 + 12*x - 13. Let k be a(-9). Suppose 0 = -5*g + 4*r + 135, 72 = 3*g + 4*r - k. Does 8 divide g?
False
Suppose 4*j = -5*t - 2, 0*t = -5*t + 10. Let k(x) = -7*x**3 - 3*x**2 + x - 3. Let s be k(j). Is (s/30)/(2/10) a multiple of 13?
True
Let i be -2*(9/6 - 3). Suppose -4*a - 5*z + 154 = 0, i*a - 5*z + 118 = 6*a. Is a a multiple of 12?
True
Is 22 a factor of ((-660)/45)/(1/(-6))?
True
Suppose -3*q - q + 160 = 0. Suppose j = 6*j - q. Is 4 a factor of j?
True
Let u(f) = -702*f**3 - f - 1. Let i be u(-1). Is 13 a factor of (-2)/3*i/(-12)?
True
Let k(r) = -r + 6. Let j be k(4). Is 4 a factor of ((-2)/(-2))/(j/18)?
False
Let m be (-4)/(-16) + (-1)/4. Suppose 4*l - 12 + 4 = m. Is l even?
True
Let u = 215 - 207. Does 8 divide u?
True
Suppose 274 + 176 = 3*l. Suppose -2*r = 3*r - l. Does 15 divide r?
True
Let j be 1/(((-2)/(-5))/2). Suppose 5*d - 93 = -2*h, -7*d + 3*d + j*h + 81 = 0. Is 6 a factor of d?
False
Suppose -16 = a + a. Is (-30)/a + (-2)/(-8) a multiple of 4?
True
Let l(c) = 12*c - 42. Is l(9) a multiple of 17?
False
Let f(g) = -4*g - 1. Let j(p) = 12*p + 4. Let b(i) = -10*f(i) - 3*j(i). Let o be b(-2). Let d = 8 - o. Is 12 a factor of d?
False
Suppose 0 = 2*z - i - 120 + 7, -z - 5*i + 29 = 0. Is z a multiple of 27?
True
Let f = 135 - -12. Suppose 3*s - f = -0*s + 4*u, 5*s - u = 245. Let k = 71 - s. Is k a multiple of 13?
False
Suppose -4*r - 8 = 4*p + p, 4*r + 8 = 0. Suppose p = f + 29 + 9. Is (-4)/(-10) - f/5 a multiple of 4?
True
Let z be (15/(-30))/(1/(-64)). Suppose 4*f + z = 6*f. Is 8 a factor of f?
True
Suppose -2*g - 6 = 2*n, g - 3*g = 6. Suppose -5*b + 6 + 4 = n. Does 3 divide b/(-10) - (-26)/5?
False
Suppose -3*u + 50 = 2*u. Does 5 divide u?
True
Suppose 0*w - 4*w - 3*v = -17, w + 4 = 2*v. Suppose 7 = w*y - 3. Suppose -4*c + 0*p + 5*p = -86, -122 = -y*c - p. Is c a multiple of 10?
False
Suppose -6*z = -2*z, -99 = -3*j + 5*z. Suppose -5*w + j + 42 = 0. Is 6 a factor of w?
False
Is 15 a factor of 5 - -29*(2 + 0)?
False
Let x = 4 - 1. Suppose 12*l + 50 = 17*l. Is 8 a factor of ((-32)/l)/(x/(-15))?
True
Let i(l) = 8*l + 6 + l**2 - 1 + 2. Let a be i(-5). Let f(v) = -v + 2. Is f(a) a multiple of 4?
False
Suppose -b = 3*z - 100, 70 = 2*z + b - 2*b. Let u = z + -22. Is 12 a factor of u?
True
Suppose -7*u = -1491 - 126. Is u a multiple of 33?
True
Let w be ((-192)/(-18))/((-2)/(-6)). Suppose y = -y + w. Is y a multiple of 16?
True
Suppose 3*y + 0*y = 33. Suppose -13 = -j + y. Is 12 a factor of j?
True
Let a = -1 + -1. Let l be (a/5)/(1/(-10)). Let v = l + 5. Does 9 divide v?
True
Is 19 a factor of (67/3)/((-4)/(-12))?
False
Let p = 29 - -222. Is 45 a factor of p?
False
Suppose -9 = -2*x - p, 7*p - 2*p = -2*x + 13. Let o(n) = -3*n - 9. Let k be o(-9). Let a = k - x. Is 7 a factor of a?
True
Suppose 0 = 7*w - 0*w + 14. Does 13 divide ((-8)/20)/(w/230)?
False
Let k(g) be the first derivative of -1 + 3/2*g**2 + 5/3*g**3 + 1/4*g**4 + 4*g. Is k(-4) a multiple of 6?
False
Let m(z) = -z**2 - 4*z - 4. Let k be m(-3). Let x(v) = -9*v**3 + v**2 - 8*v**3 + 6*v**3. Is 6 a factor of x(k)?
True
Suppose -1 - 8 = -3*j. Suppose t = j*w - 5, -2*t + 5 = w - 6. Suppose -m + o = 6*o - 32, o = t*m - 23. Does 7 divide m?
True
Let d = 5 + -9. Let r = -218 + 378. Does 6 divide r/9 + d/(-18)?
True
Suppose -5*n = -4*n. Suppose n*w + 1 = w. Is w/(-4) + (-53)/(-4) a multiple of 5?
False
Let l(t) = 14*t - 7. Is l(15) a multiple of 26?
False
Suppose 0 = -m + 3*x - 5, 0*x + 3*x = 9. Is 2 a factor of m?
True
Suppose -5*d = -0*d + 15. Let w(i) = 5*i**2 + 7. Does 10 divide w(d)?
False
Let i(p) = -p**3 + 8*p**2 + 6. Let a(b) = b + 3. Let m be a(5). Is i(m) even?
True
Let z be ((-23)/1)/((-10)/10). Let p = -11 + 38. Let q = p + z. Does 19 divide q?
False
Suppose -x - 3*x = -36. Suppose 2*r - x + 3 = 0. Suppose 99 = 3*p + n, 132 = r*p + p - 4*n. Does 13 divide p?
False
Let v = 55 - 31. Is v a multiple of 11?
False
Suppose -3*n = n + 4, -11 = -4*j - n. Let q(d) = d**3 + 2*d**2 - d - 2. Is q(j) a multiple of 18?
False
Let h = -12 - -6. Is 2 a factor of (-4)/6*h/1?
True
Suppose -a + b = -42, -a + 3*b + 84 = a. Does 24 divide a?
False
Let u be (-5 - 5)/((-2)/20). Let x = u - 71. Is x a multiple of 19?
False
Suppose 5*j + 14 - 34 = 0. Suppose -r + j*r = 0. Suppose r = -q + 5 - 0. Does 2 divide q?
False
Suppose 3*t = -5 + 29. Suppose -2*d = -5*q + 47, -5*q = d - t - 36. Is q a multiple of 3?
True
Let f = -11 - -26. Is (f/(-6))/(1/(-6)) a multiple of 15?
True
Let s(m) be the third derivative of -m**4/24 + 2*m**3/3 + m**2. Let f(z) = -z**2 + 5*z + 6. Let k be f(6). Is s(k) a multiple of 4?
True
Suppose 0 = -4*r - h + 12, -4*h = -2*r - 6 - 6. Suppose -r*k = 4 - 16. Is 6 a factor of k?
True
Suppose -3*t - 342 - 114 = 0. Let v = t - -219. Is 20 a factor of v?
False
Suppose -6*f + 3*c = -2*f - 692, -2*f + 346 = 2*c. Is f a multiple of 25?
False
Let a = -83 + 134. Is 43 a factor of a?
False
Let t = -77 + 133. Let l = -19 - t. Let h = -51 - l. Is h a multiple of 12?
True
Let k(b) = -b**3 + 3*b**2 + 4*b - 6. Let l be k(4). Let z(q) = -5*q - 10. Is z(l) a multiple of 11?
False
Let z be (-57 + 1)*(-2)/4. Suppose -u + 5*u = z. Does 7 divide u?
True
Let n(i) = -58*i + 4. Let w be n(-6). Suppose 6*q = q + 4*p + w, q = 4*p + 80. Does 27 divide q?
False
Suppose -4*h + 5*i + 161 = 0, 50 + 33 = 2*h - 3*i. Does 6 divide h?
False
Is 10 a factor of (-188)/3*(-3 + 12/8)?
False
Let t(n) = n**3 - 10*n**2 - 13*n + 6. Let z be t(11). Let v = z + 62. Does 23 divide v?
True
Suppose -3*q + 40 + 44 = 0. Does 7 divide q?
True
Let q = 40 - 14. Is 10 a factor of q?
False
Suppose 78*w - 79*w + 306 = 0. Does 34 divide w?
True
Let b(a) = -2*a + 0*a - a**3 + 0 + a**2 + 0*a - 1. Does 9 divide b(-2)?
False
Let s(h) = 5*h**2 - h. Is 16 a factor of s(-3)?
True
Let v = 201 - 99. Does 26 divide v?
False
Let u(x) = -x + 2. Let d be u(0). Let z be (1 - d - 0) + 18. Let v = z - 9. Does 3 divide v?
False
Suppose 4*q = u + 24, -37 = -0*q - 5*q + 3*u. Is q a multiple of 3?
False
Is 9 a factor of (72/(-14))/(6/(-42))?
True
Let x = 138 + -40. Is 50 a factor of x?
False
Let y(t) = 23*t - 3. Does 22 divide y(3)?
True
Suppose -2*x + 5*l + 628 = 0, l = 5*x - l - 1528. Is x a multiple of 61?
False
Let i = 534 + -359. Suppose 5*f - 25 = i. Suppose -z + 19 = -4*g - 5, -4*z = -2*g - f. Is 8 a factor of z?
True
Suppose 5*j - q - 103 = 0, 0*q = 3*j + q - 57. Let p = -8 + j. Is 12 a factor of p?
True
Let z be 1*(3 + -2 + -1). Suppose 5*w = -z*k + 2*k - 68, -2*k = -2*w - 62. Does 17 divide k?
False
Suppose -2*i - 30 = 3*i + 3*t, -65 = 5*i - 4*t. Let y = 21 + i. Is 8 a factor of y?
False
Let x = -3 - -9. Is 5 a factor of x?
False
Suppose 30*k - 33*k + 54 = 0. Does 18 divide k?
True
Let u(m) = 24*m + 1. Does 24 divide u(2)?
False
Suppose 6*s - 28 = 152. Is s a multiple of 16?
False
Let w = 3 + -1. Suppose 0*t - 2*t + 75 = -b, -5*b = -t + 51. Is w/(-9) + 908/t a multiple of 11?
False
Let v(w) = -18*w + 2. Does 28 divide v(-3)?
True
Is 28 a factor of (-10)/45 - 46*(-11)/9?
True
Let p(s) = -s**2 + 15*s - 5. Does 15 divide p(10)?
True
Suppose 0 = -0*f - 5*f - 2*m + 79, 3*m = 6. Does 5 divide f?
True
Let s(i) = -11*i**2 + 35*i - 51. Let v(d) = 4*d**2 - 12*d + 17. Let b(c) = -3*s(c) - 8*v(c). Is b(8) a multiple of 5?
False
Let t(r) = 0*r + 0*r + 2*r + 1 + r. Suppose -2*m + 6 = -m. Is t(m) a multiple of 9?
False
Let n = 203 - 118. Is 3 a factor of n?
False
Let g(i) = 13*i**2 - 2*i + 1. Let h be g(1). Suppose 9*n - h = 8*n. Is n a multiple of 12?
True
Suppose -24 + 154 = 2*x. Let a = x - 40. Is 10 a factor of a?
False
Suppose 4*o - 15 = -u, -u - 9 = -2*o - 0*o. Does 15 divide 30*(5 - (u - -5))?
True
Let f(s) = -9*s - 1. Let q be (12/(-1