
Suppose -3*w + 0 + 3 = 0. Is 7 a factor of (399/(-38))/(((-3)/8)/w)?
True
Suppose -20*u - 260 + 1160 = 0. Is 5 a factor of u?
True
Suppose -915 = -3*j + 2*l, 0 = 7*j - 9*j - 2*l + 610. Does 61 divide j?
True
Suppose -5474 - 1252 = -19*h. Is 59 a factor of h?
True
Let f = 537 + -251. Is f a multiple of 12?
False
Let z = 1477 - 138. Is 76 a factor of z?
False
Let c = 238 + -157. Suppose -3*l + 22 + 13 = -q, -c = -5*l - 4*q. Is 2 a factor of l?
False
Suppose a + 5*c = 5, 3*a - 2 = a - 2*c. Suppose a = 2*p - j - 88, 5*p + 5*j - 258 = -23. Suppose n = 4*n - p. Is 8 a factor of n?
False
Let f be (-1)/(((-3)/(-6))/1). Let u be f - (-216)/2*-2. Let w = u - -308. Does 18 divide w?
True
Suppose -80 = 8*c - 16*c. Suppose 4*p = -6*s + c*s - 180, 4*s + 4*p = 140. Is 4 a factor of s?
True
Let o = -443 - -295. Let x = -87 - o. Is 16 a factor of x?
False
Suppose -31*z = 3*j - 34*z - 936, 0 = z. Is 26 a factor of j?
True
Suppose -11*z + 200 = -z. Let b = 0 + z. Does 5 divide b?
True
Let n = -29 + 33. Let s(c) = -3 - 1 + c + c + 5*c**2 - c**3. Does 14 divide s(n)?
False
Let z(a) = -a**3 - 10*a**2 - 7*a - 14. Let b be z(-9). Is 2/(b/(-4)) - 71/(-4) a multiple of 9?
True
Suppose 2*u - q - 2*q = 61, 5*u - q - 120 = 0. Let j = u - -3. Does 7 divide j?
False
Let p(a) = -5*a**3 + 6*a**2 - 5*a - 4. Let o be p(4). Let t = -38 - o. Is t a multiple of 30?
True
Let w(h) = 5*h**3 - 11*h**2 + h + 1. Let c(b) = -b**2 + b - 1. Let t(d) = 5*c(d) - w(d). Is t(-3) a multiple of 18?
False
Suppose -6*c + 720 + 1116 = 0. Does 9 divide c?
True
Suppose -894 = -4*t + 3*y, -2*y - 10 = -6. Does 57 divide t?
False
Suppose 86 = -3*h - 5*d, h - d - 114 = 6*h. Let k = h + 11. Let p(x) = x**3 + 12*x**2 + 7*x - 8. Is p(k) a multiple of 36?
True
Suppose -2795 - 6034 = -9*x. Does 11 divide x?
False
Let o(w) = 3*w**2 + 34*w + 37. Does 42 divide o(-17)?
False
Let v = -79 + 13. Let q = -83 - -181. Let u = q + v. Is u a multiple of 11?
False
Is 2*1625/10 - -9 a multiple of 17?
False
Let d be (6970/22 - -4) + (-2)/(-11). Let p = 482 - d. Is p a multiple of 27?
False
Suppose -2*g - 8456 = -5*p, -243*g - 9 = -240*g. Does 5 divide p?
True
Let l(g) = g**3 - 9*g**2 - 10*g + 3. Let i be l(10). Suppose 0 = -5*t - i*a + 345, -2*a + 0*a = -t + 82. Suppose 0 = -4*h + 16 + t. Is 4 a factor of h?
False
Let b = 236 - 217. Is 2 a factor of b?
False
Let r(j) = 3*j**3 - 4*j**2 - 10*j + 11. Is 9 a factor of r(4)?
True
Suppose -3*k = -4*g + 8*g - 35, -5 = -k. Let i(o) = g*o - 11 - 5*o - 6*o. Does 19 divide i(-9)?
False
Let v be (4 - -1)*(1 - -9). Suppose 0 = -2*o - 4, 3*p - v = -5*o - 3. Does 4 divide p?
False
Suppose -3*a + 5052 = 5*m, -4*m = -4*a + m + 6701. Does 73 divide a?
True
Suppose -5370 = -32*v - 90. Is v a multiple of 3?
True
Is 52 a factor of 9 + 1236/(13 + -7)?
False
Let k(r) = 11*r + 12. Let x be k(7). Suppose 3*a - x - 55 = 0. Let f = -3 + a. Is f a multiple of 15?
True
Let j = 4045 + -2323. Is j a multiple of 15?
False
Suppose 4*s + 2*v = 67 + 55, 3*v - 117 = -4*s. Suppose -4*q - s + 93 = 0. Is q a multiple of 3?
True
Let m = 45 - 41. Let j = -1 - -8. Suppose -a = 2*q - 4*a - 4, -m*a = -3*q + j. Is q a multiple of 5?
True
Suppose -5 - 4 = 3*x. Is 13 a factor of 10 + 175 - x*1?
False
Suppose v = 3*d + 1005, -v + 1045 = 6*d - d. Does 20 divide v?
True
Let n be (-5)/(-10 - -5) + (0 - -41). Suppose -180 = -6*x + n. Is x a multiple of 37?
True
Let n = 1 + 4. Suppose 0 = -5*u - 4*x + 951, 0 = 2*u - 2*x + n*x - 386. Suppose 5*y - 68 = u. Does 17 divide y?
True
Let g(n) = -n**3 - 28*n**2 + 42*n - 75. Does 55 divide g(-30)?
False
Let l(m) = 12*m**2 - 9*m + 40. Is 10 a factor of l(5)?
False
Suppose 0 = 2*b + 7 - 1. Let u(n) = -94*n - 96*n + 2 + 170*n. Is 11 a factor of u(b)?
False
Is -1922*(-9 + 2 - -6) a multiple of 31?
True
Does 34 divide 1695/27 + -2*(-4)/36?
False
Let p(x) = 11*x - 104. Let u(k) = 4*k - 35. Let m(h) = -6*p(h) + 17*u(h). Does 7 divide m(-10)?
False
Let p(m) = 7*m - 6*m - 2*m + 0 - 1. Let u be p(5). Is (1 - 3)*51/u a multiple of 17?
True
Let c(i) = -i**2 - 8*i + 3. Suppose -2*f + 12 = 2*f. Suppose -5*y - 9 = 4*b, -f*b + 0*b - 27 = -3*y. Is 4 a factor of c(b)?
False
Is (-4)/(-14)*(-7)/4*-364 a multiple of 14?
True
Let y(t) be the third derivative of 14*t**5/15 - t**4/12 + t**3/6 + 10*t**2. Is 17 a factor of y(2)?
True
Does 75 divide 1782/4 + ((-1)/2)/(-1)?
False
Let q = -469 + 535. Is q a multiple of 24?
False
Suppose a + 71 = 129. Let r = -4 + a. Is r a multiple of 9?
True
Let x(f) = 7*f**2 - 3*f. Let p be x(-6). Let t = -192 + p. Is 13 a factor of t?
True
Let q(z) = -24*z. Is q(-13) a multiple of 52?
True
Let l = 30 - 31. Let d(x) = 36*x**2 - 4*x - 5. Is d(l) a multiple of 14?
False
Let a(c) = 2*c**2 + 29*c + 16. Is a(-26) a multiple of 14?
False
Suppose 10 = 3*i - 5*i. Let d(l) be the first derivative of -l**4/4 - 2*l**3 - 5*l**2/2 + 2*l - 13. Is d(i) even?
True
Let b(z) = z**2 - 7*z + 10. Let h = 22 - 13. Is b(h) a multiple of 14?
True
Let f be (0*5/(-15))/(-2). Suppose f = 8*j + 108 - 508. Is j a multiple of 3?
False
Is (-3 - 57/(-18))*4*63 even?
True
Let s be 3/(-4) - (-55)/20. Suppose -4*m - m = u - 84, -s*u = 5*m - 163. Suppose -3*z + u = -4*i, 0*i + 4*i = -5*z + 185. Is z a multiple of 11?
True
Let f be (20/50)/((-2)/(-60)). Suppose -6*x + f = -3*x. Suppose -4*o + 4*j = -240, -x*j - 43 + 216 = 3*o. Is 17 a factor of o?
False
Let a(y) = 2*y**2 + 79*y + 19. Does 58 divide a(13)?
False
Let r(i) = -6*i - 8. Let c be r(-13). Suppose b - c = -4*b. Is 7 a factor of b?
True
Suppose -10*t = 1669 - 5029. Is 48 a factor of t?
True
Suppose -5*s = 2*f + 3*f - 15, 2*f = s - 3. Is f + -3 + 7 + -2 even?
True
Let y(s) be the third derivative of 7*s**4/24 - s**3/6 - s**2. Let a(g) = g**3 - 7*g**2 + 5. Let x be a(7). Is 11 a factor of y(x)?
False
Suppose -7*u + 9*u = 4*k + 266, -5*u + 590 = 5*k. Is 19 a factor of u?
False
Is 64 a factor of 138/5*1210/33 + 2?
False
Let j be 7029/(-22)*(-4)/6. Suppose 6*v - j = 99. Suppose m = -i + v, i + 3*i = -m + 64. Is 12 a factor of m?
True
Let f(x) = 3*x**3 - 39*x**2 - 5*x + 41. Does 20 divide f(15)?
False
Let l be -2 + 1 + -1 + 4. Suppose -2*o + l*z = -22, 5*o + 0*z = -2*z + 76. Suppose 0 = -c + 23 - o. Is c a multiple of 9?
True
Suppose 0 = -7*j + 437 + 2531. Is 32 a factor of j?
False
Let b be (-3)/1*(-327)/9. Let g = b - 68. Let u = -5 + g. Does 9 divide u?
True
Let q(t) = 4 + 3 - 6*t + 2*t. Let z = -15 - -4. Is 17 a factor of q(z)?
True
Suppose 33*s - 30534 + 7434 = 0. Is 35 a factor of s?
True
Let m = 168 - 164. Let r(c) be the third derivative of -c**6/120 + 7*c**5/60 - 7*c**4/24 + 2*c**3/3 - c**2. Is 12 a factor of r(m)?
True
Suppose -4194 - 3398 = -8*q. Is q a multiple of 73?
True
Is (-1440)/56*-1*308/8 a multiple of 18?
True
Let t = -331 - -470. Let x = t - -15. Is 11 a factor of x?
True
Suppose -9 = 2*m - 61. Suppose m = -2*c - 46. Is 4 a factor of (10/6)/((-4)/c)?
False
Let y(t) = -4*t - 14. Let g = 3 - 12. Does 11 divide y(g)?
True
Let m = -123 - -409. Is m a multiple of 11?
True
Suppose 84*t - 36 = 78*t. Is 12 a factor of (2 - (-3)/t)*(-1976)/(-65)?
False
Suppose 0*l = l + w - 37, -5*l + 187 = 3*w. Is 19 a factor of l?
True
Is 44 a factor of (1/(4 - 5))/((-2)/1816)?
False
Let t = -29 + 11. Let a = t - -74. Is a a multiple of 14?
True
Suppose 5*b - 2580 = v, 0 = -b - 2*v + 29 + 476. Does 5 divide b?
True
Suppose -1726 = -8*x + 122. Is x a multiple of 33?
True
Suppose 259 = 3*r - 2*u - 369, 1048 = 5*r - 4*u. Is 6 a factor of r?
False
Let i = -13 - -13. Let m(a) = -3*a - 5. Let k be m(i). Is 3 a factor of 10/(-1)*5/k?
False
Does 55 divide 16/168*-7*-606?
False
Does 43 divide -86*(6 + (2 - 10))?
True
Suppose u - 2756 = -4*l + 5*u, -2*l + 1375 = u. Is 16 a factor of l?
True
Let n be ((-3)/6)/(2/(-20)). Let l(y) = 17*y - 4. Does 9 divide l(n)?
True
Let s be 4/(8/(-6)) + 3. Suppose -y = -s*y - 23. Does 23 divide y?
True
Let g = 71 + -17. Suppose t - 2*q + 35 = -5, 5*q = 5. Let r = g + t. Is 7 a factor of r?
False
Let w be 2/(-5) - 120/(-50). Suppose -2*f - w = -6. Suppose -2*s - 19 = -z + f, -5*s = -3*z + 64. Does 23 divide z?
True
Let i be (-1 + -1)/(-9 - -8). Let n be 5/i + 42/28. Suppose -54 = -2*s - n*b, 5*s + 3*b + 89 - 231 = 0. Does 17 divide s?
False
Is (-650)/20*132/(-15) a multiple of 9?
False
Let u(i) = -2*i**3 - 5*i - 4. Does 13 divide u(-4)?