4 + r). Suppose q = m*q - 272. Is 17 a factor of q?
True
Let u(m) = -3*m + 5. Let b be u(0). Suppose b*p - 46 = 59. Is p a multiple of 6?
False
Let x = 2 + 4. Suppose -x*l = -8*l + 216. Is l a multiple of 23?
False
Let g(o) = -o**3 - 3*o**2 + 2*o - 4. Let c be g(-4). Suppose 1 - 5 = -c*v. Is 9 + 84 - (v - 0) a multiple of 26?
False
Let m(i) = -4*i**2 - i - 1. Let c be m(-1). Let h(r) = -r**2 - 5. Let o be h(c). Let a = -2 - o. Does 12 divide a?
False
Let p(f) = -f - 3. Let r be p(-6). Suppose r*g - 2*g = 3. Suppose 0 = -g*c - 2*m + 28, 4*c = 3*m + m + 44. Does 10 divide c?
True
Suppose 0 = 2*x + 5*j - 2*j - 258, -5*j + 258 = 2*x. Let k = -38 + x. Is 18 a factor of k?
False
Let f(h) = -h - 5 + 4*h - 4 + 2 + h**2. Let i be f(-6). Let s = i + 41. Does 13 divide s?
True
Let b(h) = 4*h**2 - 35*h - 6. Let k be b(9). Suppose -10 - 98 = -k*d. Is 7 a factor of d?
False
Suppose 1 = -5*u + 11. Suppose 3*f - 14 = -u*x + 8*f, 0 = -x + 3*f + 5. Is x a multiple of 17?
True
Suppose -11*i = 4*q - 13*i - 728, -716 = -4*q + 5*i. Is q a multiple of 23?
True
Let o(k) = k**2 + 17*k + 23. Let f be o(-16). Let a(h) = -6*h + 78. Is a(f) a multiple of 12?
True
Suppose -h - 16 = -56. Suppose h = 2*m - 6*m. Is 1 - 2*m/1 a multiple of 8?
False
Let s = -46 - -84. Let h = s - -12. Is 25 a factor of h?
True
Let i = 17 - 17. Suppose 0 = -i*f + f + 3*q - 11, -8 = -4*q. Is f a multiple of 2?
False
Let s(h) be the second derivative of h**5/120 + h**4/24 + 2*h**3/3 + 6*h. Let w(v) be the second derivative of s(v). Is 6 a factor of w(10)?
False
Let l(c) = c**2 - 33*c - 18. Let h be l(19). Let t = -93 - h. Is 13 a factor of t?
False
Suppose -j = -4*j - 3*h - 309, 3*j + 289 = h. Let p = j + 208. Is p a multiple of 22?
True
Let p = 218 - -54. Is 16 a factor of p?
True
Suppose -6 + 57 = f - 5*i, 2*i - 187 = -3*f. Let d = f - 37. Is 15 a factor of d?
False
Let i(h) be the third derivative of h**4/8 - h**3 - 59*h**2. Suppose -t + 0*p + 2*p = -4, t + 2*p = 4. Does 2 divide i(t)?
True
Let i(r) = 4*r - 2. Let v be i(2). Let o(k) = k**2 - 2*k + 10. Let z be o(v). Let y = 62 - z. Is 6 a factor of y?
False
Suppose -5*a - 17 = -192. Suppose -2*i = -i - 4. Suppose -c - i*c = -a. Is c a multiple of 5?
False
Suppose h = 3*i + 39, -3*i + 123 = -0*h + 2*h. Is 9 a factor of h?
True
Suppose 0 = -5*k - 57 - 33. Suppose -2*d + 80 = 4*j + j, -76 = -2*d - 4*j. Let f = d + k. Is f a multiple of 4?
True
Suppose -2 = 5*m + 2*z + 14, -2*m - z = 7. Does 50 divide (264/(-42) - m)/(1/(-77))?
False
Let b(m) = -m**2 + 10*m + 192. Let a be b(20). Let t(d) = -5*d - 21. Let z(v) = 15*v + 64. Let w(n) = 7*t(n) + 2*z(n). Is w(a) a multiple of 13?
False
Let q = 48 + -43. Does 16 divide (35/3)/q*39?
False
Let u(v) = -21*v - 19. Let a(j) = -11*j - 9. Let y(g) = -13*a(g) + 6*u(g). Does 9 divide y(1)?
False
Let s be 5/20 - 54/(-8). Suppose -3*l + s*l = -236. Let f = 42 - l. Does 14 divide f?
False
Suppose 9*v + 2355 - 7791 = 0. Does 31 divide v?
False
Let j = 7745 + -4584. Is j a multiple of 20?
False
Suppose -2*f = 5*c - 14, -2*f + 4*c + 2 = 3*f. Let i be (-6)/((-1)/f*3). Suppose i*b - b = 126. Is 11 a factor of b?
False
Suppose 0 = 4*g - 5*y - 1161, -2*y + 870 = 3*g - 5*y. Suppose 5*v + 5*k = 395, g = 5*v - v - 5*k. Does 8 divide v?
False
Suppose 12 = 2*z + 2*z - k, 0 = 4*z - 5*k - 28. Suppose z*m + m = 387. Let g = m - 45. Does 13 divide g?
False
Suppose 0 = 266*y - 268*y + 312. Is 6 a factor of y?
True
Let a = -84 - -79. Is (4 - a)*((-30)/(-9) - 3) even?
False
Let i(v) = -v**3 - v**2 - 5*v - 18. Is i(-7) a multiple of 18?
False
Suppose -60 = 4*i - 9*i. Let w(y) = -y**2 + 20*y - 19. Is 11 a factor of w(i)?
True
Let a = 17 - 13. Suppose -15 + 0 = 5*f - i, -a*f - 3*i - 31 = 0. Does 8 divide ((-48)/f)/((-9)/(-12))?
True
Let m(h) = -h**2 + 6*h - 17. Let o be m(5). Is 41 a factor of 984/o*1/(-2)?
True
Let s(f) = f**2 - 16*f + 39. Let h be s(16). Suppose h - 179 = -c. Does 24 divide c?
False
Suppose -40 = 15*f - 20*f. Is f a multiple of 3?
False
Suppose 2*b + 44 = -16. Let c = b + 39. Does 9 divide c?
True
Suppose 28*s + 13338 = 55*s. Does 115 divide s?
False
Let c(o) = 4*o**2 - 19*o - 15. Does 17 divide c(18)?
False
Let r = 69 - -753. Is r a multiple of 12?
False
Is 42 a factor of (-216)/(-3) - (10 + -16)?
False
Let q = 22 - 21. Let l be 24 - 4 - (-4)/q. Is 6 a factor of (l/40)/((-2)/(-40))?
True
Suppose 0*q = 3*q - 6. Suppose q*n + 5 = 7*n. Is 27 a factor of (2 - n)*-1 - -55?
True
Let c = 83 + -59. Is c a multiple of 6?
True
Let f(q) = -96*q - 44. Is f(-2) a multiple of 5?
False
Let m(h) = h**3 - 6*h**2 + 5*h + 4. Let w be m(5). Suppose 0 = 2*n + 4*t - 116, 2*n = n - w*t + 60. Does 14 divide n?
True
Let c(x) = 8*x - 4. Let j = 79 - 72. Does 13 divide c(j)?
True
Let y = 27 + -25. Suppose y*q = 42 + 138. Does 11 divide q?
False
Suppose 7*c = 10*c - 15. Suppose i = 2*f - 54, 3*i + c + 12 = f. Is f a multiple of 29?
True
Let d = 17 + -11. Suppose -2*p - 288 = -d*p. Is p a multiple of 10?
False
Let r = 45 - 41. Suppose 5*u - s - 434 = -84, -350 = -5*u - r*s. Does 10 divide u?
True
Let v = -1334 + 1437. Does 13 divide v?
False
Let v(k) = -k**3 + 8*k**2 + 9*k - 9. Let s be v(9). Let t(r) = -r**2 - 12*r - 16. Is 11 a factor of t(s)?
True
Let c = -5 + 17. Suppose c = 2*t + 14. Does 2 divide (0 - -2)*-2*t?
True
Let b = -2669 - -4157. Is 124 a factor of b?
True
Let v = 37 - 36. Is 425/10 + v/(-2) a multiple of 14?
True
Suppose -2*g + v + 1 = -2, v = 3*g - 6. Suppose -4*q - g*q + 1001 = 0. Does 38 divide q?
False
Let r(s) = s**2 + 6*s - 18. Let m be r(-8). Let t be (3/6)/(m/(-72)). Does 16 divide (-240)/18*t/(-15)?
True
Let o be ((1 - 1) + 1)/((-1)/4). Is 13 a factor of 0 + o - (-4 - 113)?
False
Is 86 a factor of (-344)/14*(18 - 39)?
True
Suppose 0 = 5*t - 10. Suppose 0 = t*w - 5 - 45. Let d = 40 - w. Does 9 divide d?
False
Let b = 443 + -434. Let v(j) = 10*j + 0 - j**2 + 3 + 8. Is 10 a factor of v(b)?
True
Suppose -11*t + 5334 = -5039. Is 41 a factor of t?
True
Let y(b) be the third derivative of -b**4/24 + 23*b**3/6 - 7*b**2. Does 2 divide y(17)?
True
Suppose -9*g + 7*g = -396. Suppose 0 = 3*h, 2*h = 2*x - h - g. Is x a multiple of 11?
True
Let u be 0 - (2 - -1) - -39. Suppose -7*i = -10*i + u. Is i a multiple of 12?
True
Let q(f) = f**3 - 3*f**2 - 4*f + 10. Let g be q(4). Let k(w) = w**2 + w - 10. Is 22 a factor of k(g)?
False
Suppose -35 = -4*i - 11. Suppose 356 = 6*q + 104. Suppose -2*d - q = -p + i, -2*p + 5*d = -92. Does 23 divide p?
False
Let o = -997 + 1246. Is o a multiple of 7?
False
Let j(w) = -w - 7. Let z be j(-17). Let i = z + 1. Is 11 a factor of i?
True
Suppose 4*q = 5*n + 3*q - 14968, 3*n - 8990 = -4*q. Is 35 a factor of n?
False
Let a be 3*(25/15 - 1). Is 12 a factor of ((-5)/15)/(a/6) + 25?
True
Let b(z) = 224*z**2 + 5*z - 18. Does 11 divide b(4)?
True
Suppose 2*t = t + 20. Suppose 2*y - 3*x = x + 16, -5*x - t = 0. Suppose 0 = 5*k + 2*g - 263, y = g + 2 - 6. Is k a multiple of 16?
False
Suppose -22 = -4*i - 5*q, -2*q - 3 + 1 = -2*i. Let k(o) = 2*o - 4. Let s be k(i). Suppose -a - 15 = -s*a. Is 8 a factor of a?
False
Is 14 a factor of (5 + -2 + -243)*7/(-3)?
True
Suppose 0 = -3*r - p + 600, -2*r + 4*p + 600 = r. Is r a multiple of 4?
True
Let k = -10 - -14. Suppose -k = 2*r + 4. Is 17 a factor of (-3)/r - (-1590)/24?
False
Let a be 4/(-6) + 14/3. Suppose a*v = 2 + 2. Suppose v + 17 = i. Is i a multiple of 6?
True
Suppose -200*r + 196*r + 600 = 0. Is r a multiple of 21?
False
Let x(d) = -d**2 - 31*d - 12. Is 36 a factor of x(-28)?
True
Let t = -20 - -110. Suppose 0 = -10*g + 7*g + t. Is 8 a factor of g?
False
Let b = -22 + 25. Let s = b + 15. Does 9 divide s?
True
Let i(s) = s**2 - 17*s + 8. Let v(o) = -o + 1. Suppose -5*d + 36 - 11 = 0. Let h(a) = d*v(a) - i(a). Does 4 divide h(11)?
True
Suppose 7 = x - 3. Suppose 0 = 4*i - 7*i + n - 30, -x = i + 4*n. Is 24 a factor of (-5)/(i/6) - -45?
True
Let q be -10*-52*9/30. Suppose 5*i - q = 3*i. Is i a multiple of 26?
True
Suppose -2*o - 5*b + 1191 = 0, -b + 3*b - 2406 = -4*o. Is 24 a factor of o?
False
Is 15714/51 - 4/34 a multiple of 44?
True
Suppose -16 = -4*k, 0*k + 3*k = l + 9. Suppose -l*a + a = -40. Is 7 a factor of a?
False
Let l(k) = -k**3 - 4*k**2 + 4*k - 1. Let u(x) = 2*x + 1. Let j be u(-3). Let t be l(j). Suppose 4*b = -3*s + 175, 4*b - t*s = 163 - 23. Is 10