 m?
True
Let z be (580/(-12))/((-1)/3). Suppose -l - 2*l = 5*d - z, -5*l = -3*d + 53. Does 13 divide d?
True
Suppose 4*u + 3*v - 12 = 0, v + 0 - 4 = 3*u. Let n = u + -29. Let h = 49 + n. Is h a multiple of 12?
False
Suppose -5*m - 91 = -12*m. Does 13 divide m?
True
Let k(j) = -j + 22. Suppose -56 = -5*w + 3*v, 2*v = 5*v + 6. Does 5 divide k(w)?
False
Suppose 4*b + 30 = 2*r, 4*b + 4*r + 5 = -b. Let g = 69 - 39. Is (-52)/b*g/12 a multiple of 7?
False
Let i(w) = 5*w**2 + w - 2. Let d(c) = -c**2. Let z(u) = 4*d(u) + i(u). Let n be z(-4). Does 4 divide ((-5)/n)/((-2)/28)?
False
Suppose 0 = -2*k - 3*y - y + 184, 0 = -2*k - 5*y + 185. Is k a multiple of 18?
True
Let b = -19 + 20. Let u(m) = 9*m**2 - 2*m + 2. Does 5 divide u(b)?
False
Let h(c) = 3*c - 7. Let b(y) = -y**3 - 8*y**2 - 5*y + 7. Let m be b(-7). Let a be h(m). Let p = a + 41. Does 13 divide p?
True
Suppose -4*p = 7 + 9, -2*i + 4*p + 472 = 0. Is 38 a factor of i?
True
Let o(a) = 7*a - 16. Let d be o(7). Is d/6 + 1/2 a multiple of 6?
True
Let q = 136 + -76. Does 8 divide q?
False
Let u = -364 + 520. Suppose 2*s + 2*s = u. Does 13 divide s?
True
Let o(s) = -5*s + 9*s - 2 + 3*s + 3*s. Is o(2) a multiple of 9?
True
Suppose -2*i + 3 = -1. Suppose i*x = 3*t - 2*t - 6, -2*x = -6. Is 5 a factor of t?
False
Let m = 16 + 20. Is 11 a factor of m?
False
Let f(w) = -w**2 + 6*w + 10. Let q be f(7). Suppose q*m - 117 = 3*n, -3*m = -5*m - 5*n + 64. Does 15 divide m?
False
Suppose 3*a - 7*a = -12. Suppose 2*i = r - 4, 5*i = -a*r + i - 38. Let m(h) = -3*h - 5. Does 9 divide m(r)?
False
Let u(h) = -5*h**3 + h**2 - h. Let a be u(1). Let p = 12 + a. Is 2 a factor of p?
False
Suppose -p + 7 = -0*b - 2*b, -14 = -4*p + b. Let m(f) = 5*f - 3 + 5 + p + 1. Does 14 divide m(7)?
False
Let j(p) = -p**3 + 5*p**2 - p + 4. Let g be j(5). Does 25 divide (-4 - -1) + (-53)/g?
True
Let n be 0/(-3)*2/(-4). Suppose 8 = 2*x - n. Does 3 divide x?
False
Suppose 3*l = -2*h + 35, 14 = 3*l - h - 27. Is l a multiple of 6?
False
Let c(v) = 117*v + 1. Let f be c(1). Suppose -2*p - 118 = -2*s, p - 3*s = -p - f. Let t = 110 + p. Is 25 a factor of t?
False
Is ((-12)/15)/((-8)/380) a multiple of 19?
True
Let z(g) = g**2 + 2*g - 15. Does 20 divide z(-7)?
True
Let z(d) = 11*d**3 - 4*d + 4. Is z(2) a multiple of 14?
True
Let k(h) = -h - 2. Let l be k(-6). Suppose 0 = -5*n + 5*g - g + 408, 0 = l*n + g - 339. Let c = -54 + n. Is c a multiple of 15?
True
Is 4 a factor of 2/3*(22 - 1)?
False
Let y = -4 + 10. Suppose -54 = 3*x - y*x. Is 18 a factor of x?
True
Let a = 9 + -9. Suppose a = -i + 3*i - 6. Is 20 a factor of (-1074)/(-18) + (-2)/i?
False
Is (-645)/(-6) + (-6)/(-4) a multiple of 6?
False
Let m = 3 - 0. Suppose 0 = -m*i + 4*i - 20. Is i a multiple of 4?
True
Suppose -4*v + p + 170 = 0, 0*v - 5*v + 214 = -2*p. Does 9 divide v?
False
Suppose 4*b = -5 + 1. Let i(g) = 29*g**2 - g. Is 15 a factor of i(b)?
True
Let n(r) = -r**3 - 7*r**2 - 5*r + 11. Is 14 a factor of n(-7)?
False
Let q(p) = 4*p**2 - 10*p + 3. Let n(t) = t**2 - t + 1. Let f(d) = 5*n(d) - q(d). Let s be f(-4). Is 55 - 4/s - -1 a multiple of 18?
False
Let b = 5 - 6. Is 18 a factor of b/(-1 + 2) - -55?
True
Let o be (1 + -4)*(-5)/15. Let r be (o - 1)/2 + 53. Does 16 divide (-4)/(-6)*(r + -5)?
True
Suppose -q + 7 = v - 24, 4*v + 86 = 2*q. Suppose -q = -5*b - 10. Does 2 divide b?
False
Let c(d) = 2 - 4 + d**2 + 0 + 13*d. Let f be c(-10). Let m = f + 59. Is 15 a factor of m?
False
Let t = 60 + -215. Let u = t - -247. Suppose 4*c - u = -0*c. Is c a multiple of 6?
False
Suppose 4*v + 8 = -y, 5*y = 2*v + v + 75. Does 2 divide y?
True
Suppose 4*o = 5*o + 2*l - 26, -3*o + 3*l + 114 = 0. Does 12 divide o?
False
Let w(z) = -9*z. Let p(n) = -2*n + 5. Let y(s) = -s + 3. Let b(i) = -3*p(i) + 5*y(i). Let r(d) = -33*b(d) - 4*w(d). Is r(10) a multiple of 15?
True
Let f be 2/3*27/6. Let d be (-6)/(6/f)*-1. Suppose d*v - 10 = 2*v. Is 5 a factor of v?
True
Let m be (-3)/(-5) - 56/(-40). Suppose m*v + 108 = -2*c + 7*c, -2*c + 42 = -2*v. Does 14 divide c?
False
Let z = 4 + 1. Suppose -z*a = -a - 72. Does 9 divide a?
True
Suppose 0 = -2*i - 5*q - 15, -35 = -8*i + 4*i + 3*q. Suppose 0*c - 365 = -i*c. Is 24 a factor of c?
False
Let j(g) = g**3 - g + 1. Let n be j(2). Suppose -5*b - n = 2*x, -b - 41 = -4*x - 0*b. Does 9 divide x?
True
Suppose 0 = 5*a - a - 60. Let d = 28 - a. Is d a multiple of 13?
True
Suppose -3*m + 6 = -4*h, -9 = 5*h - 2*h. Let g(f) be the second derivative of f**4/12 - f**3/3 + f**2/2 + 9*f. Does 4 divide g(m)?
False
Let f = 15 - 13. Suppose 32 = -f*j + 122. Does 15 divide j?
True
Suppose -3*h = -4*p - 9, 2*p + 12 = 4*h - p. Suppose 5*v - 253 = -4*d, -h*v - 270 = -d - 4*d. Suppose 0 = 6*y - 3*y - d. Is 19 a factor of y?
True
Let o(v) = -27*v**3 - 2*v**2 - 2*v - 1. Let s = -13 + 12. Does 13 divide o(s)?
True
Let i(a) = -a**2 - 8*a - 3. Let m be i(-6). Let h be 2/(-4) + (-21)/(-6). Suppose -m = -h*c + 18. Is c a multiple of 9?
True
Let z be -2*(21/(-6) - -2). Suppose 0 = -z*o + 2*b + 98, -2*o - o + 94 = 2*b. Does 14 divide (2 + 1)/(6/o)?
False
Let g be (6/(-4))/(5/(-10)). Suppose g*l + 5*a - 19 - 11 = 0, 0 = 3*l + a - 42. Is 5 a factor of l?
True
Suppose 0 = -4*j + 2*n + 58, -3*n = -2*j + 6*j - 63. Does 5 divide j?
True
Suppose 5*c + 94 = 3*a + 13, 0 = -2*a + 4*c + 52. Is a a multiple of 6?
False
Let c(x) = -34*x**3 + 2*x**2 - 1. Is c(-1) a multiple of 35?
True
Suppose 3*z = 3, 2*j - j = -z + 32. Is 12 a factor of j?
False
Suppose 0*l - 4*l = 44. Let p = -13 - -6. Let t = p - l. Is 4 a factor of t?
True
Let s(t) be the third derivative of t**5/60 - 5*t**4/12 + t**3/3 - 9*t**2. Does 7 divide s(12)?
False
Let k = -3 + 6. Suppose k*w - 25 = -2*w. Does 2 divide w?
False
Let w(l) = 13*l - 1. Is w(2) a multiple of 25?
True
Suppose 4*h + c = 104, c + 3*c = 5*h - 151. Let y = h + -18. Is 9 a factor of y?
True
Let q(b) = -8*b + 8. Does 13 divide q(-7)?
False
Suppose -28*o + 23*o + 15 = 0. Does 20 divide (897/(-52))/(o/(-8))?
False
Let y = 9 + 0. Is y a multiple of 5?
False
Is 10/45 - (-1614)/27 a multiple of 12?
True
Suppose 50 = 3*n - 40. Let o = n + -12. Is o a multiple of 6?
True
Suppose 6*v - 5*v = -3*n + 79, 0 = -3*v - 2*n + 223. Does 16 divide v?
False
Let m(s) = 8*s**2 - 6*s - 8. Is 15 a factor of m(-3)?
False
Suppose -1289 = -6*d + 1483. Does 34 divide d?
False
Let d(k) = k**2 + 36. Suppose 0*s - 4*s = 0. Is d(s) a multiple of 12?
True
Is 8 a factor of -1*3 + (-6 - (-65 - 5))?
False
Suppose -340 = 6*u - 2740. Is 25 a factor of u?
True
Let g(l) = -111*l. Let k be g(-2). Suppose m = -m + 3*y + 131, 4*m - k = -2*y. Does 20 divide m?
False
Let q(w) = -15*w - 9. Let d be q(-4). Suppose 12 = -n + d. Is 13 a factor of n?
True
Suppose -5*z + 3*y = -25, 0 = -z - 0*y - 2*y + 18. Let a be z/2 + 4/(-2). Is 4 a factor of a/7 - 225/(-21)?
False
Suppose -5*a + 6 = -3*a. Let d be (a/(-1) + 1)*-4. Suppose -2*j + d = -26. Does 17 divide j?
True
Let d(h) be the first derivative of h**4/2 + h**3/3 + h**2 - 2*h + 2. Does 9 divide d(2)?
False
Let a be (-2)/(-6) - 68/(-3). Suppose -4*p + 24 = m, p + 2*m - 6*m - 23 = 0. Let i = p + a. Is i a multiple of 15?
True
Is 4 a factor of 12/(-2 - 7/(-2))?
True
Suppose 0*o + o - 45 = 0. Does 7 divide o?
False
Let h(f) = 3 - 2 + 20*f + 0. Is 13 a factor of h(1)?
False
Let p be 4 - ((2 - 1) + -1). Suppose 4*l - 104 = r, -4*l + 2*l + p*r = -38. Is l a multiple of 9?
True
Suppose 4*y + 5*k - 15 + 6 = 0, -2*k = 6. Let i(b) = -b**2 + 8*b - 9. Let h be i(y). Suppose 5*m - 10 = -s + 2, m = -h*s + 22. Is 7 a factor of s?
True
Suppose 0*y + 3*y + 42 = 0. Let i = y - -31. Suppose 4*j - i - 19 = 0. Does 9 divide j?
True
Let t(s) = -31*s**3 + 3*s**2 - s + 2. Does 22 divide t(-2)?
True
Let s = -114 - -180. Is s a multiple of 22?
True
Let x(a) be the second derivative of -a**3/2 + a**2 - 3*a. Is 10 a factor of x(-14)?
False
Let h(n) be the second derivative of 7*n**3/6 - n**2/2 - 5*n. Let j = -12 - -17. Is 17 a factor of h(j)?
True
Suppose 2*j + 144 = 6*j. Does 7 divide j?
False
Suppose -2*o + 2 = k - 3*k, k = -5*o - 19. Let c(x) = x**3 + 5*x**2 - 4. Is c(o) a multiple of 14?
True
Let j(c) = 24*c - 33. Is j(5) a multiple of 29?
True
Suppose -3*d + 72 = -d. Is 8 a factor of d?
False
Suppose c - 6 = -2. Suppose 0*x - 188 = c*x. Let u = x + 73. Does 13 divide u?
True
Let k(d) be the third 