4/24)/(o/(-6)) a multiple of 21?
False
Suppose 280 = 3*a + 2*u, 0 = -3*a + 4*u + 75 + 193. Is 32 a factor of a?
False
Suppose w = -w + 3*k + 127, -3*k - 186 = -3*w. Is 12 a factor of w?
False
Is 34 a factor of (-16)/12*(-51)/2?
True
Suppose -3*t = -2*t - 5. Let i(b) = b - 2. Let z be i(t). Suppose -5*c - 4*a + 27 = -101, -93 = -3*c + z*a. Is c a multiple of 14?
True
Suppose -6*m + 7*m = -78. Does 7 divide ((-30)/(-45))/((-4)/m)?
False
Let m be 1*-2 + 1 + 151. Let v be (-4)/(-14) - m/(-14). Suppose v = i - 24. Does 16 divide i?
False
Let m(a) = -a**2 - 3*a. Let b be m(-3). Suppose -4*f - 25 = -9*f. Suppose b = f*p + 19 - 99. Does 16 divide p?
True
Suppose -5*d + 241 = -4*m, -4*m + 16 = -4*d + 212. Is d a multiple of 15?
True
Suppose 4*x - 24 + 4 = 0. Suppose a = -4*i + 43 + 60, -x*i + 2*a + 145 = 0. Does 14 divide i?
False
Let h be -1 + 0/1 + -1. Let u = h - -2. Suppose 0*m + 3*m = 2*y - 31, u = y + m - 8. Is 11 a factor of y?
True
Suppose r + 2*z - 452 = -142, r - 2*z = 290. Is 57 a factor of r?
False
Let q = -4 + 2. Let g = 3 + q. Does 14 divide g*(-3)/((-9)/42)?
True
Suppose -2*c = -3*c, 5*c = u. Let m = 5 + u. Does 2 divide m?
False
Suppose 2*b + 2*b = 16. Let c(x) = -x**3 + 4*x**2 + 4*x + 3. Let d be c(b). Suppose 0 = 5*y - 6 - d. Does 5 divide y?
True
Let o(v) = 3*v**2 - 5*v - 10. Does 29 divide o(-4)?
True
Is (-273)/(-12) + 3/12 a multiple of 8?
False
Let q(t) = -9*t - 6. Does 22 divide q(-8)?
True
Suppose 0*g - 41 = -3*m - 4*g, -2*g = 4*m - 48. Is 7 a factor of m + 10 - (0 - 0)?
True
Suppose -3*a + 10 = 2*a. Is 11 a factor of a/4 + (-258)/(-12)?
True
Suppose -l = -n + 15, -4*l = 5*n - 27 - 12. Let i = n - 7. Suppose 32 = 5*y + u, 0 = 2*y - i*u - 7 + 3. Is y a multiple of 6?
True
Suppose -5*v = d - 100 - 104, -v = -3*d - 28. Suppose -y - 3*y = -v. Is y a multiple of 10?
True
Suppose -2*u + 1 = -1. Let i be (-8)/(u*(-2 + 1)). Suppose -w + 11 = -i. Is 11 a factor of w?
False
Is 310/13 - 4/(-26) a multiple of 8?
True
Let g = 331 + -226. Is 15 a factor of g?
True
Suppose -l + 28 = 8. Is l a multiple of 5?
True
Suppose 4*n - 16 = 52. Let s = n + -10. Suppose 0 = 2*k + 4*o - s - 15, 21 = k - 3*o. Is k a multiple of 7?
False
Suppose 3*c + x = -41, -2*c - 4*x + 9 = 43. Let u = 6 + c. Does 16 divide 1*31*(-7)/u?
False
Suppose -2*x - 3*x + 630 = 0. Is x a multiple of 14?
True
Let u(t) = -2*t. Let f be u(-2). Let c(l) be the second derivative of -l**4/12 + l**3 + 3*l**2/2 + l. Is 11 a factor of c(f)?
True
Does 11 divide (-43 - (4 - 3))*-1?
True
Let c = 122 + 64. Does 31 divide c?
True
Let c(i) = i**2 + i - 2. Let z be c(6). Suppose x = 5*o - x - z, o - 31 = 5*x. Suppose 1 + o = h. Is h a multiple of 4?
False
Suppose u + x = 95, x + 199 = 2*u - 0*x. Suppose w - 15 = -j - 4*j, -u = -5*w - 2*j. Does 16 divide w?
False
Let o(h) = 238*h - 2. Is o(1) a multiple of 43?
False
Let k be (-23)/(-3) - (-4)/12. Let t be (-3)/(-6) - (-20)/8. Let p = k - t. Is 5 a factor of p?
True
Let q(s) = 6*s - 11. Let m(y) = y**2 + y + 2. Let j be (-8)/20*1*-5. Let o be m(j). Does 15 divide q(o)?
False
Let j(q) = q + 1. Let a be j(-1). Suppose -d + 5*z = -58 + 14, 3*z + 9 = a. Is 12 a factor of d?
False
Let d = 13 - -1. Suppose g - 16 = -0*n + 2*n, d = n + 5*g. Let j(a) = a**2 + 4*a + 4. Is 8 a factor of j(n)?
True
Let y = 127 - 79. Is 12 a factor of y?
True
Let k be (0 - (-9)/(-6))*4. Let j = k - -12. Let q = 5 + j. Is 8 a factor of q?
False
Let q(u) = -u**3 + 18. Let l = -1 + 2. Let r = -1 + l. Is q(r) a multiple of 9?
True
Let y = 90 - 147. Let v = -34 - y. Is 23 a factor of v?
True
Suppose -2*f = 3*f - 20. Suppose -3*k = -8*k + f*y + 1, -2*k - 5*y = 26. Does 4 divide (-11)/(-3) + k/(-9)?
True
Suppose m = 5*f + 131, -685 = -m - 4*m - 5*f. Is 17 a factor of m?
True
Suppose 0 - 15 = 5*t. Is -2 - (-1 + t)*4 a multiple of 8?
False
Let n be (-5)/(5/2) + 2. Suppose 4*i - 2*i - 4 = n. Suppose -i*v = 6*u - u - 25, 0 = 5*v + 5*u - 40. Is v even?
False
Suppose -480 = 2*w - 7*w - 5*o, 0 = -4*w - 5*o + 384. Is w a multiple of 32?
True
Suppose 70 = m + 2*o, -119 - 45 = -2*m + 4*o. Suppose 3*p - 101 = m. Is p a multiple of 11?
False
Suppose 5*x + 9 = -4*q, 2*x + 33 = 2*q - 3*x. Is q even?
True
Let o be 1 - (0/(-2) + 0). Suppose 0 = 2*z - 11 - o. Does 6 divide z?
True
Let v(n) = 48*n - 2. Let k be v(4). Suppose 5*y - k - 10 = 0. Does 20 divide y?
True
Is 34/3 - (-6)/9 a multiple of 12?
True
Suppose 5*k - w - 781 = 0, -5*k - 2*w + 310 = -3*k. Does 26 divide k?
True
Let q = 371 - 181. Is q a multiple of 17?
False
Let b = -135 + 226. Is 12 a factor of b?
False
Let h(y) = y + 23. Is h(10) a multiple of 23?
False
Let y be (46/3)/((-10)/(-45)). Let u = y - 49. Does 9 divide u?
False
Suppose 4*m - 480 = -m. Let i = m - 24. Is 18 a factor of i/3*6/4?
True
Let u(g) = 3 - 7*g**2 + 2*g + 16*g**2 - 8*g**2. Does 6 divide u(-3)?
True
Let q(u) = -5*u + 4. Let s be q(-5). Let x = s + -15. Does 14 divide (48/x)/((-1)/(-7))?
False
Suppose -8*r = -2*r - 168. Is 7 a factor of r?
True
Let k(d) be the second derivative of d**5/20 - 5*d**4/12 - d**3/3 - 4*d**2 + 9*d. Is k(6) a multiple of 8?
True
Let n = 41 + -26. Is n/(-120) + 130/16 a multiple of 8?
True
Suppose 5*n = 10*n - 165. Is n a multiple of 33?
True
Let g(b) = b**3 - b**2 - b + 2. Let x be g(2). Let c(t) = t**3 + t**2 - 5*t + 2. Let l be c(3). Suppose -k + x*y = -l, y = 5*y + 16. Is 6 a factor of k?
False
Let x = 0 + 2. Suppose -5*z = -x*z - 138. Is z a multiple of 17?
False
Let i(m) be the second derivative of -3*m + 2*m**2 - 3/2*m**3 + 0. Is i(-4) a multiple of 15?
False
Let k(d) = -4*d**3 + 2*d**2 + 1. Let o be k(-3). Suppose 2*i = 3*u + 4*i - o, -2*u = 3*i - 78. Does 9 divide u?
True
Suppose 2*f - v + 9 = -2*f, 4*v = 2*f + 8. Let p be 96 - (f - (2 + -2)). Does 19 divide ((-18)/(-21))/(2/p)?
False
Let r = -113 - -204. Is 28 a factor of r?
False
Let n = -4 + 6. Suppose -a + 0*i = 5*i - 59, -113 = -n*a - 5*i. Does 18 divide a?
True
Let g = -10 - -22. Does 4 divide g?
True
Let w = 14 - -10. Does 8 divide w?
True
Let z(s) = -5*s + s - 6 + 5*s - 5*s. Is 13 a factor of z(-7)?
False
Let b = -4 - -2. Let x = b + 6. Suppose x*m - 2*m - 14 = 0. Is 3 a factor of m?
False
Let p = -6 - -10. Suppose 24 = j + 3*d - 6*d, p*j - 66 = -3*d. Is 6 a factor of j?
True
Let a = -381 + 167. Let k = -137 - a. Does 24 divide k?
False
Let u be -3*-5*(-4)/6. Let m = u + 17. Does 2 divide m?
False
Suppose 471 = 4*b - 5*q, 5*b - 112 - 473 = 5*q. Is 18 a factor of b?
False
Let w = 160 - 225. Let n = w - -156. Suppose 4*q = m + 2*m - n, -3*m - 5*q + 109 = 0. Is 10 a factor of m?
False
Let o(i) = i**2 + i. Let z be o(-2). Is 2 a factor of z*((-22)/(-4) - 2)?
False
Suppose -5*o + 4*h = -15, o - 5*h - 1 - 2 = 0. Suppose o*v - 19 = -4. Suppose -v*w = -2*w - u - 58, -3*u + 99 = 4*w. Is 7 a factor of w?
True
Let g be 5/(-3)*(-1 - -4). Let u(j) = -j**3 - 3*j**2. Is u(g) a multiple of 25?
True
Let s = 253 + -129. Is 35 a factor of s?
False
Suppose k + 15 = -5*m, -5*m - 5 = 3*k - 0*k. Suppose 3*h + 55 + 237 = k*p, 0 = -3*p + h + 172. Does 15 divide p?
False
Let m(c) = -41*c - 1. Let l be m(1). Suppose -4*d - 6 = 2*z - 256, -6 = -2*z. Let i = l + d. Is 8 a factor of i?
False
Let r(n) = 5 + 17 - 10 + n. Let t be ((-7)/3)/((-2)/(-6)). Is r(t) a multiple of 5?
True
Let v(a) = a + 3. Let c be v(-3). Let o be (-86)/6*(c + -3). Let u = o + -29. Does 5 divide u?
False
Let c(j) = -60*j - 2. Is c(-2) a multiple of 29?
False
Let a = 20 - 9. Suppose k - 2 - 3 = 2*q, -q + a = 4*k. Suppose -k*x - 12 = -r, -2*r - 1 + 47 = 5*x. Is r a multiple of 6?
True
Suppose 5*g + 27 = w, 2 = -4*w - 4*g + 62. Suppose -w = -p + 5. Does 11 divide p?
True
Let h(t) = t**3 - 4*t**2 - 5*t + 3. Let f be h(5). Suppose 0 = f*d - 8 - 79. Does 7 divide d?
False
Suppose -3*d - 3 - 12 = 0, 0 = -5*w + d + 115. Does 22 divide w?
True
Let y = -115 + 258. Is y a multiple of 6?
False
Let f = 532 - 317. Does 29 divide f?
False
Is (2/(-6))/((-12)/792) a multiple of 11?
True
Is 15 a factor of (630/(-27))/((-4)/6)?
False
Suppose -3*m + 10 = 1. Suppose -7 = -c + q, 0*c + q + 15 = 5*c. Does 8 divide c/6 - (-23)/m?
True
Suppose -6*w + 7*w - 3 = 0. Let o(x) = -x**3 + 2*x**2 + 3*x + 4. Is 3 a factor of o(w)?
False
Let w(r) = 3*r - 6. Suppose 4*g = 5*b - 23, -3*b - 3*g + 39 = 9. Let c = -3 + b. Is 3 a factor of w(c)?
True
Let s(d) = -d**3