False
Suppose 0 = -0*a - 3*a + 2*p + 82, -2*a + 58 = -2*p. Let x = a - -114. Does 14 divide x?
False
Let n = 94 + 36. Suppose 140 + n = 9*x. Does 6 divide x?
True
Suppose -57*t + 7840 = 13*t. Is 3 a factor of t?
False
Let z(w) = 3*w + 5. Let h be z(-3). Does 7 divide (126/(-15))/(h/20)?
True
Let j(d) = -82*d + 69. Is j(-6) a multiple of 20?
False
Suppose -2*n + 15 = 39. Does 22 divide 12 + n + 199 + -1?
True
Let l be (14/28)/(1/(-4)). Let i(v) = -67*v + 6. Is i(l) a multiple of 20?
True
Let s be 1/2 + 3/(-2). Let a be s/(-2) - (-16)/32. Is 8 a factor of (-8)/((-24)/63) + a?
False
Suppose 0 = -7*d + 5*d + 4. Suppose d*u + 3*k - 414 = -0*k, -3*u + 618 = 3*k. Is u a multiple of 34?
True
Suppose 3*i + 31 = 5*w, -24 = 2*i - 0*w - 5*w. Let p(j) = -21*j - 17. Is p(i) a multiple of 10?
True
Suppose 43*w = 40*w - 1611. Is 26 a factor of (-1 + 2/(18/w))*-3?
True
Suppose 2*q + 5*b - 23 = 0, 0*q - 3*b + 25 = 4*q. Suppose -q*u + 360 = u. Suppose 3*d - 61 - u = w, 3*d = -w + 137. Does 16 divide d?
False
Let w = 10 + -8. Suppose 4*i + 4*a + 10 = w*i, 2 = 2*i + a. Suppose -i*t = -5*k + 18, -k = 4*k + 3*t - 42. Is 3 a factor of k?
True
Let l be -2*-7*3/6. Suppose 5 = 2*j - l*j. Does 10 divide (-10 - j)/((-17)/34)?
False
Suppose -5*t = 4*i - 1530 + 322, -478 = -2*t + i. Suppose 0 = -8*a + 1088 + t. Is 9 a factor of a?
False
Suppose 12 = -i + 4*i. Suppose 5 = i*m - 3. Suppose -j - 3*l = -46, 2*j - 37 = -m*l + 7*l. Is 14 a factor of j?
False
Is (39/3)/((-3)/(-146 + -1)) a multiple of 18?
False
Suppose -h = -x - 17, -3*x + 0*x = -h + 23. Let t = 15 + h. Let y = t + -10. Is y a multiple of 9?
False
Suppose -1344*a + 1337*a + 9884 = 0. Does 15 divide a?
False
Let n(v) = -2*v + 96. Does 8 divide n(14)?
False
Let v(k) = k - 1. Let y(w) = 10*w - 37. Let q(j) = -6*v(j) + y(j). Is 9 a factor of q(10)?
True
Suppose 2*o - 331 - 18 = -w, -o = -3*w - 157. Is 3 a factor of o?
False
Let r(a) = 65*a**2 + a - 11. Let n be r(-4). Suppose 5*j + 0*j = n. Is 41 a factor of j?
True
Suppose -2*j = -0*x - 4*x - 1960, 2*j - 1981 = -3*x. Does 22 divide j?
False
Let t = -13 - -13. Suppose t*r - 39 = -r. Suppose -4*s + 5*g = -r, -3*s + 95 = 2*s + 3*g. Does 8 divide s?
True
Let q(p) = -50*p**2 - 11*p - 7. Let z be q(-7). Does 24 divide (z/(-25))/((-8)/(-20))?
False
Let g be ((-8)/(-24))/(1/2172). Suppose 4*y = g + 40. Is y a multiple of 44?
False
Let l be (2 - (4 - -1)) + 390 + 2. Is l/5 - 5/(-25) a multiple of 13?
True
Let k be (-2)/(-5) - 26/(-10). Let f = -403 + 375. Does 4 divide f/((-4)/6*k)?
False
Suppose -y - 3*j - 199 = 0, 2*y - 5*j + 123 = -275. Let k = y + 369. Is 23 a factor of k?
False
Let g(a) = -101*a - 26. Does 32 divide g(-7)?
False
Suppose 20 - 2 = -6*f. Let w(v) = -5*v + 6. Is w(f) a multiple of 13?
False
Let w(l) = -200*l - 142. Does 17 divide w(-7)?
True
Suppose -24 = -5*i - 3*b, -4*i - i + 27 = 4*b. Suppose -30 - 23 = -f + 2*j, i*f = 3*j + 153. Is 14 a factor of f?
False
Let p(m) be the third derivative of 1/3*m**3 + 0*m + 1/60*m**5 + 1/6*m**4 - 2*m**2 - 1/120*m**6 + 0. Is p(-3) a multiple of 13?
True
Let h = 95 + -100. Is 10 a factor of (-412)/(-5)*1 + 2/h?
False
Let t be (-1)/3 - 20/(-60). Suppose -2*q + 4*g - 2*g = t, 6 = 2*g. Is q even?
False
Let w = 42 + 357. Does 21 divide w?
True
Suppose -5 = -5*n - 3*o, -n = -4*n + 2*o + 22. Suppose -4*s + n*z + 148 = 0, 2*z + 3*z + 145 = 4*s. Does 10 divide s?
True
Let l(w) = 4*w**2 + 5*w + 4. Let j(a) = a - 12. Let h be j(7). Let r be (-2)/h - 48/20. Is l(r) a multiple of 5?
True
Suppose -5031 = -10*b + 10949. Does 17 divide b?
True
Suppose 214 = 5*p + 49. Does 4 divide p?
False
Suppose 8*u - 19 = 709. Is 13 a factor of u?
True
Let v(t) = -t**3 - 12*t**2 - 6*t + 5. Let x be v(-5). Let w = 40 - x. Is 33 a factor of w?
False
Suppose w + d + 5 = -2, -2*w + 4*d = -4. Is 5 a factor of (3*(-2)/6)/(w/20)?
True
Suppose 78*a = 104*a - 1976. Is a a multiple of 16?
False
Suppose 0 = -g - 3*g. Let y = g + 3. Suppose y = o - 6. Does 3 divide o?
True
Suppose 7475 = 6*n + 7*n. Is n a multiple of 19?
False
Let l be 111/12 - (-2)/(-8). Is 6/l - (-49)/3 a multiple of 5?
False
Let t(l) be the second derivative of -l**5/10 - l**4/4 + l**3/3 - 3*l**2/2 + 2*l. Let z(a) = a**3 + 6*a**2 + a + 3. Let n be z(-6). Is t(n) a multiple of 9?
True
Suppose -7*q + 2*q + 88 = 4*t, -5*t + 81 = -q. Suppose 2*w - 36 = 4*i, -4*w = -3*i - 0*w - t. Let v(r) = -5*r. Is 26 a factor of v(i)?
False
Let k be -2 + 4 + -3 + -1. Is ((104/(-12))/(-2))/(k/(-72)) a multiple of 39?
True
Let n = 11 + -38. Let s be (2/17 + 380/238)*-28. Does 32 divide s/((n/24)/3)?
True
Let f(n) = -128*n - 112. Does 19 divide f(-8)?
True
Let c(s) = s**2 - 2*s - 5. Let d(i) = i - 9. Suppose 8*y + 24 - 80 = 0. Let z be d(y). Is c(z) a multiple of 2?
False
Let a(x) = -x**2 + 16*x + 2. Let h(z) = -5*z**2 + 64*z + 7. Let j(v) = -9*a(v) + 2*h(v). Is 17 a factor of j(-11)?
True
Let y = 218 + 17. Is 47 a factor of y?
True
Let s = -39 - -41. Suppose 13 = l - s. Is l a multiple of 15?
True
Does 43 divide ((-2322)/(-45))/(8/20)?
True
Let a be 2/12*3*-22. Let q(o) = -o**2 - 12*o - 12. Let u be q(a). Is 5 a factor of 22/(1 + -2)*u?
False
Is (-20)/(-3)*36/30 a multiple of 3?
False
Suppose -2*r = 5*n + 51, 21 = -3*n + n - r. Let l be 7/14*(1 - n). Suppose l*b - 190 = 4*k, -251 = -4*b - 3*k - 68. Does 14 divide b?
True
Let i(r) = r**3 + 9*r**2 - r - 10. Let b be i(-9). Let n be (0 + b)*(44 - 5). Let q = n - -67. Does 7 divide q?
True
Let s(t) = -t**3 + 7*t**2 + 8*t. Let w be s(8). Suppose -8*d + 12*d - 128 = w. Is 5 a factor of d?
False
Suppose j - 2*l = 6*j + 9, 0 = -5*j - l - 12. Is 9 a factor of (8/(-20))/(j/270)?
True
Suppose -8*h - 25 = -3*h. Let f = h - 0. Is 4 a factor of 6*(-2)/(-4) - f?
True
Suppose 428 = -8*c + 6*c. Does 12 divide 1/3 + c/(-6)?
True
Suppose 10*p = 41*p - 2356. Is p a multiple of 4?
True
Let y(t) = t + 3. Let m be y(12). Let r = 26 - m. Is 453/r - (-14)/(-77) a multiple of 33?
False
Let d = -48 + 108. Is 4 a factor of d?
True
Let a be 51/(-7) - (-4)/14. Let v be -28 + 2 + (-21)/a. Is 19 a factor of 2 + 0 + -3 - v?
False
Suppose -4*l - h + 3 = 0, -5*l + h = -2*l - 11. Suppose -5*u - 6*n = -l*n + 152, 3*u - n = -98. Is 5 a factor of (u/(-12))/((-3)/(-36))?
False
Let q = 502 - -161. Is q a multiple of 103?
False
Let x be 4/(-6) + 3108/(-9). Let y be 8/(-48) + x/12. Let j = y + 61. Does 16 divide j?
True
Suppose 4*s - 3444 = -5*c, -15*s = -16*s - 2*c + 864. Is s a multiple of 48?
False
Let g be (12/5)/(12/(-320)*-4). Is 7 a factor of (-1 - g/(-4)) + 143?
False
Let r = 50 + 22. Let u = -16 + r. Does 11 divide u?
False
Let m be 73 - 8/(4 + 0). Let i = -4 + 7. Suppose -f + d + 0*d = -21, -m = -i*f - 5*d. Does 11 divide f?
True
Suppose 0 = -x + 2583 - 645. Does 117 divide x?
False
Let q = 0 - -2. Suppose 0*c = -2*c + 3*o + 85, q*c - 67 = -3*o. Suppose -14 = -3*s + g + 14, -c = -3*s - g. Does 7 divide s?
False
Let m be 14/42*(1 - 1). Suppose -3*k - 4*w - 8 = 0, m*k = k + 3*w + 6. Suppose 6*a - a - 190 = k. Does 19 divide a?
True
Let b(w) = 3*w**2 + 46*w + 1. Is 5 a factor of b(-18)?
True
Let i(n) = n**3 + 10*n**2 - 11*n + 18. Let g be i(-9). Suppose 3*a - g = -3*a. Does 11 divide a?
True
Let i(t) = -28*t - 10. Suppose s = 4*z - 7, 0*s + 5*z = -2*s + 25. Let p(v) = 11*v + 4. Let o(w) = s*i(w) + 12*p(w). Is 15 a factor of o(-4)?
True
Suppose -231 = 3*a - 771. Does 60 divide a?
True
Suppose i - 3*y - 57 = 0, i + 3*y + 5 - 62 = 0. Suppose k - i = -0*o - 2*o, 0 = 5*o - 20. Is k a multiple of 12?
False
Suppose 5*o + 152 + 165 = 2*q, 574 = 4*q + 2*o. Does 5 divide q?
False
Let l = -85 - -165. Let a = l - -46. Is 8 a factor of a?
False
Let s = -288 - -326. Is s a multiple of 3?
False
Suppose m + 4 = -6*g + 3*g, -2*m + 2*g + 16 = 0. Let z = 11 - m. Suppose -n + z = -7. Is 13 a factor of n?
True
Let o = -25 - -13. Let n be 222*((-4)/o - 0). Is 19 a factor of (n - -2)/(-2 + 3)?
True
Let k(a) = a**3 + 10*a**2 - 7*a - 19. Let s be -5 - -7 - -1 - 3*4. Does 25 divide k(s)?
True
Suppose 17 = 3*k - 4*f, 16 = 4*k - 5*f - 8. Let q = k + 119. Does 26 divide q?
True
Let j(o) = o**2 - 19*o - 64. Suppose -5*l = -4*p + 76, -2*l - 16 = 2*p - 3*p. Is j(p) a multiple of 14?
True
Let h(x) = x**3 - 9*x**2 + 20*x - 12. Is 21 a factor of h(9)?
True
Let r = 12 + -4. Let j(f) = -3 + 15*f**2 + r + 2 - 16*f + f**3. Is j(-16)