ose 24 + t = 5*z. Is 4 a factor of z?
False
Is 6 a factor of 22*3/12*4?
False
Let c(f) = f**3 + 15*f**2 + 15*f + 18. Let k be c(-14). Suppose -2*t = w - 8 - 1, k*w - 76 = 2*t. Is w a multiple of 5?
False
Let h = 88 - 42. Is 22 a factor of h?
False
Is 18 a factor of ((-2)/4)/((-1)/180)?
True
Suppose 0*b + 83 = 2*a + 3*b, -4*a + 156 = 4*b. Is 34 a factor of a?
True
Is 15 a factor of (7 - -93)*(-6)/(-8)?
True
Suppose 3*x - l = 255, 0*x - 2*l + 92 = x. Let a = x - 60. Does 8 divide a?
False
Is 16*1*(-3)/(-6) a multiple of 4?
True
Let v(s) = -13*s - 1. Let j be v(-2). Suppose 0*x = 3*x - 12. Suppose -4*y + 19 + j = 2*a, -40 = -4*a + x*y. Is 7 a factor of a?
True
Let r = 4 - 12. Is 22 a factor of 8 + r + 30 + -1?
False
Let g(b) = b**3 - 15*b**2 + 18*b - 15. Is 14 a factor of g(14)?
False
Suppose 5 = -2*o - 5, 4*o = -4*c + 72. Suppose 3*m + 89 = 3*i + 2*i, -3*m + c = 2*i. Does 8 divide i?
True
Let a(h) = 11*h + 5. Is a(5) a multiple of 30?
True
Let n be (0/(-2))/2 - 4. Let b be 257/(-7) - n/(-14). Let m = b + 80. Is 16 a factor of m?
False
Let b be 40/4 + (-1 - 0). Let h be (72/(-10))/(b/(-30)). Let t = -14 + h. Does 10 divide t?
True
Let i(d) = d**3 - 12*d**2 + 6*d - 20. Is 43 a factor of i(14)?
False
Suppose 2*r = -3 - 1. Let q be 2/(r*(-2)/32). Suppose -4*h + 87 = -z - q, -3*z - 134 = -5*h. Is 9 a factor of h?
False
Is 19 a factor of 1 + 3 + (-30)/(-2)?
True
Suppose -2*q + 0*q + 4 = 0. Does 13 divide -9*((-28)/12 - q)?
True
Suppose -2*r + 239 = -17. Let a = r - 65. Is a a multiple of 21?
True
Suppose 5*k + 2*a - 5 = 0, 3*k + 5 - 8 = -5*a. Let l(s) = 7*s**2 - s**2 + 4*s - 3*s. Is 3 a factor of l(k)?
False
Is 5 a factor of 5/(1 - 12/15)?
True
Suppose 5*m - 56 = m. Does 18 divide 6/(-42) + 856/m?
False
Let g(i) = i**2 + 2*i - 3. Does 3 divide g(-4)?
False
Let x(g) = g**2 + 5*g - 7. Let o be x(-7). Suppose -o + 28 = b. Is 15 a factor of b?
False
Let g = 33 + -15. Is g a multiple of 3?
True
Suppose 5*a - 28 = a. Suppose -3*f - 2*m - 90 = -a*f, -4*m + 106 = 5*f. Is 9 a factor of f?
False
Suppose 5*t = -3*u + 12 - 2, -2*u = -t + 15. Suppose -t = s - 1. Is (-165)/(-25) - s/10 a multiple of 7?
True
Let q(w) = -2*w**2 - 2*w - 3. Let m be q(-2). Let k = 7 + m. Suppose k*z = -4*z + 64. Does 9 divide z?
False
Let b = -3 - -1. Let k be (-1 - (-5 + 2)) + b. Is 20 a factor of k/((-3)/1) - -20?
True
Let v(k) = -6*k**2 - 14*k + 1. Let x(r) = -r**2 - r. Let z(q) = -v(q) + 4*x(q). Let p be z(-9). Suppose p = 3*i - 7. Does 13 divide i?
True
Is (-2 - -1)/(6/(-468)) a multiple of 26?
True
Let m(q) = 5*q - 4. Let y(b) be the third derivative of -b**6/120 + b**5/20 + b**4/6 + 2*b**3/3 - b**2. Let s be y(4). Is 5 a factor of m(s)?
False
Suppose -4*p + 2*j + 40 = 0, -p + 2*j + 16 = p. Is 6 a factor of p?
True
Suppose 2*p + 0 - 18 = 0. Suppose 0 = 2*x - p - 7. Is 3 a factor of x?
False
Let b be 109*(-2)/(-2)*1. Let c = -72 + 7. Let x = c + b. Is x a multiple of 16?
False
Is 14 a factor of 28 + (-4)/(-4) + -1?
True
Let o(h) be the third derivative of -h**4/12 - h**3 - 4*h**2. Let z be o(-5). Suppose -4*m + 65 = z*w - 7, m = -4*w + 66. Is w a multiple of 8?
True
Let n = -37 - -127. Is n a multiple of 9?
True
Let r(y) be the first derivative of 3*y**4/2 + y**2 - y - 2. Is 7 a factor of r(1)?
True
Suppose 4*v - 3*v - 4*q = 77, 0 = -3*q - 3. Is 10 a factor of v?
False
Suppose -4*m + 297 = l, 4*l + 11 = -3*m + 224. Is m a multiple of 15?
True
Suppose -5*h + 27 = v, -3*h = -4*v - 4 - 3. Suppose a = 2*q + 30, 5*a - 95 = -3*q + v*q. Suppose 5*z - a = 100. Does 12 divide z?
True
Let u(k) = -3*k + 3 + 10*k - 2*k + k**2. Does 13 divide u(-7)?
False
Suppose 0 = -11*g + 8*g + 108. Is g a multiple of 9?
True
Suppose q = 3*d + 7, -2*d + 14 = 2*q + 2*d. Let s(n) = 2*n**2 - 2*n - 17. Does 21 divide s(q)?
False
Let d(a) be the first derivative of a**4/4 - 4*a**3/3 + 2*a**2 - a + 2. Let x be d(3). Suppose 0 = x*i - 2 - 4. Is 2 a factor of i?
False
Suppose -11 = k + 5*g, -2*k - 3*k - 34 = 4*g. Let a = 11 + k. Suppose 9 - 89 = -a*w. Is 16 a factor of w?
True
Let j = 91 + -68. Is j a multiple of 6?
False
Suppose 2*y = -37 + 7. Let n = -5 - y. Does 5 divide n?
True
Let d be (21/6)/7*0. Suppose 4*p + o - 399 = 2*o, -4*p + 2*o + 398 = d. Does 25 divide p?
True
Is 6 a factor of 16/(-72) + (-760)/(-18)?
True
Let n(i) = -i**3 - 7*i**2 - 2*i + 17. Does 27 divide n(-7)?
False
Let x(s) = 9*s + 11. Let y(m) = 10*m + 12. Let g(v) = 5*x(v) - 4*y(v). Is g(8) a multiple of 10?
False
Let i(x) = 8*x**3 + 1. Let k be i(-1). Is 11 a factor of 525/49 + (-2)/k?
True
Let w be 9 + -1 - (-12 - -15). Let n(a) = -a + 6. Let k be n(6). Suppose 0 = q - w, k = 2*v + 2*v - q - 55. Does 15 divide v?
True
Suppose 0 = 5*o + 67 - 217. Is 15 a factor of o?
True
Is (-2)/(-7) + 171/63 + 2 a multiple of 3?
False
Let z = 47 - 1. Is 46 a factor of z?
True
Let b = 75 - 43. Suppose -3*z + 2*r + 93 = 0, 2*z - 3*z + r + b = 0. Does 12 divide z?
False
Does 19 divide (541 - (3 + 1))/3?
False
Let u(h) = -h + 18. Does 4 divide u(9)?
False
Suppose 4*r = 4*c - 4, 7*c - 4*r = 4*c + 4. Suppose 14 = k - c*k. Suppose w - 3*b - k = 7, -28 = -4*w - 2*b. Does 9 divide w?
True
Let j = -191 + 335. Let x be -95 - (-4)/6*3. Let t = j + x. Is 17 a factor of t?
True
Let t(n) = -n**2 - 12*n + 15. Let v be t(-13). Suppose -4*c = -q - 104, -v*c - 3*c + q = -129. Let o = 43 - c. Does 14 divide o?
False
Let c = -135 - -390. Does 19 divide c?
False
Suppose -3*l = -7*l + 48. Is l - (1 + 1)*-1 a multiple of 7?
True
Let h(g) be the third derivative of 0 + 0*g + g**2 - 1/3*g**3 + 1/6*g**4. Is h(9) a multiple of 17?
True
Let m(t) = 3*t + 10. Is 3 a factor of m(5)?
False
Suppose 8*l = 2*l + 576. Is 16 a factor of l?
True
Let b(k) = k**2 + 4*k - 1. Let p be b(-5). Suppose p*c - 6*c = -6. Suppose c*u - 8*u = -70. Does 7 divide u?
True
Let v = 177 - 51. Is 14 a factor of v?
True
Suppose k + 4*k - 20 = 0, -421 = -5*x - 4*k. Does 27 divide x?
True
Let c(y) = y**3 - 23. Let b be c(0). Let p(w) = -w - 5. Let l be p(6). Let g = l - b. Is g a multiple of 10?
False
Suppose 2*i = 4*n - 3*n + 5, 0 = 3*n + 2*i + 47. Let l = n + 67. Does 10 divide l?
False
Let n(h) = 0 + h - 1 + 1 + 13. Is 3 a factor of n(-7)?
True
Let b = -10 + -4. Is ((-63)/b)/(2/16) a multiple of 9?
True
Let c = -33 + 52. Suppose -22 = -3*t - g, t + 2*g - c = 4*g. Suppose 3*j + 4*o = 29, 0 = -t*j + 4*j + 4*o + 27. Is j a multiple of 6?
False
Let l(x) = -x**2 + 29*x - 17. Does 5 divide l(28)?
False
Let g = 384 + -154. Does 10 divide g?
True
Let o be -4*(-1)/(-2) - -12. Suppose g - 4*r = -3*r + o, -4*r + 8 = 0. Is 6 a factor of g?
True
Let i be (-256)/(-6)*3/2. Let k = -38 + i. Does 13 divide k?
True
Let r = 36 + -6. Let w = r + -25. Is w a multiple of 5?
True
Let s = 9 - 7. Suppose 0 = -3*j + 9, 0*b + s*b - 31 = 3*j. Does 7 divide b?
False
Let j(v) = v**3 + 7*v**2 + 3*v + 8. Is j(-6) a multiple of 3?
False
Suppose 565 - 35 = 5*i. Does 11 divide i?
False
Let t = -16 - -26. Does 6 divide t?
False
Is 27 a factor of 15/20 + -1 + 1298/8?
True
Suppose -4*v - l + 42 = -3*l, -5*l = -2*v + 17. Suppose 1 = -d + v. Does 3 divide d?
False
Let q(w) = 0 - 2 - 2*w + 1 - 3*w. Is 2 a factor of q(-2)?
False
Let y(v) = 29*v - 3. Let f be y(2). Suppose -4*j + f = j. Is j a multiple of 8?
False
Let p(o) = -o + 7. Let x be p(5). Suppose 0 = -x*q + 4 - 0. Suppose -a + 4 = -3*c, -q*a + 2*c + 8 = -4. Is a a multiple of 7?
True
Let g = -5 + 10. Let k = 13 - 10. Suppose -3*u - k*m + 117 = 0, 0*m + 159 = 4*u + g*m. Does 18 divide u?
True
Suppose 5*m = -4*c - c + 190, -5*m + 3*c + 182 = 0. Does 21 divide m?
False
Suppose u - 40 = 1. Is 41 a factor of u?
True
Let r(x) = 2 - 6 + 9 + 25*x. Is 35 a factor of r(4)?
True
Let f(h) = -h + 2. Let z be f(-3). Suppose z*m + 3*v - 99 = 0, 0*m + 2*v = 3*m - 48. Suppose 0 = -o + m - 6. Is 6 a factor of o?
True
Suppose -11 - 34 = -3*n. Is n a multiple of 5?
True
Suppose -10 = 5*d - 0. Let m = d - -6. Suppose 0 = -m*a - 5*t - 78 + 250, -5*a = 3*t - 215. Does 16 divide a?
False
Let g(l) = -1 + 3 - 6*l + 2*l**2 - l**2. Suppose -6*n + n + 35 = 0. Does 9 divide g(n)?
True
Suppose 0 = -n + 4*n - 6, -2*n = -5*v + 201. Is v a multiple of 5?
False
Let i(y) = 3*y**2 + 4*y - 11. Let k be i(-11). Suppose -m - 8 = -3*c + m, 0 = 3*m - 6. Does 10 divide c/(-18) - k/(-9)?
False
Let l be 4 + -2 + 4 + -2. Suppose -l*g - 