pose s - 3614 - 2312 = -2*q, 4*q + s - 11848 = 0. Does 63 divide q?
True
Let v(x) = -120*x + 20. Let d(g) = 24*g - 4. Let s(p) = 16*d(p) + 3*v(p). Does 11 divide s(2)?
True
Let f(w) = -2*w**3 + 12*w**2 - 5*w + 9. Does 2 divide f(5)?
True
Let s = 175 - 98. Suppose -4*b + 427 = -2*c - s, -4*b + 518 = 5*c. Is b a multiple of 15?
False
Suppose 25 = 9*k - 20. Let y(h) = 7*h - 15. Is y(k) a multiple of 10?
True
Let s(t) = -150*t. Is s(-4) a multiple of 8?
True
Suppose 5*t - 8*t - 9 = 0. Let x be -4 + 2 - t - 0. Is 12 a factor of (-12)/(-16)*(41 - x)?
False
Let k be ((-1)/2)/((-8)/(-128)). Let r(s) = s**2 + 7*s - 2. Let p be r(k). Let y(o) = -o**3 + 8*o**2 - 10*o + 6. Is y(p) a multiple of 6?
True
Suppose -5*j - 3*v = -1232, -v - 4 = -2*v. Is j a multiple of 83?
False
Suppose -17*d + 33*d - 8880 = 0. Does 5 divide d?
True
Let m = -147 - -149. Suppose m*f = 0, 2*c - 2*f = 11 + 21. Is 4 a factor of c?
True
Suppose 5*g + 2*z + 7 = 26, -z = -2. Suppose -g*l = 166 - 472. Does 12 divide (-16)/6*l/(-8)?
False
Let o(m) = 11 - 6*m - 23 - 30. Does 20 divide o(-17)?
True
Suppose 5*y - 2367 = 2038. Is 9 a factor of y?
False
Suppose 0 = -4*y + 5*w + 1069, 0*y + y = -5*w + 286. Suppose y = 13*i - 67. Is i a multiple of 5?
False
Let q be 5 + (-1 - (-1 - 2)). Let a be ((-54)/81)/((-2)/(-105)). Is 14 a factor of (-51)/15*a/q?
False
Let r be 2/(-8) + 981/(-12). Let a = -46 - r. Is a a multiple of 12?
True
Let k(o) = -o + 11. Let d be k(11). Suppose d = -y - 0*y + 7. Suppose 416 = y*b + b. Does 26 divide b?
True
Suppose q - 3*q = 0. Let x(j) = 2*j**3 - 2*j + 3. Let d be x(0). Suppose d*k - 2*u - 57 = q, 5*k - 5*u - 128 = -33. Is 6 a factor of k?
False
Let z = 331 - 552. Let u = z - -386. Does 19 divide u?
False
Suppose -4*g + a = -19510, -15*g + 4871 = -14*g + 3*a. Is 14 a factor of g?
False
Suppose n = -4*z + 23, 4*n - 5*z = -8*z + 144. Does 3 divide n?
True
Let x(j) = -j**3 + 8*j**2 + 11*j - 13. Let k be x(9). Suppose -k = -3*l + 4. Is l even?
False
Let z = 238 - 58. Suppose 53*c - z = 48*c. Is 9 a factor of c?
True
Suppose -5*f + 6*z = 4*z - 15963, f + z = 3187. Does 25 divide f?
False
Let d be -3 - (-5)/((-20)/(-16)). Let v = d + -4. Is 15 a factor of v + (1 - -1) + 46?
True
Suppose 2*c + 36 - 42 = 0. Let k(d) = -d**3 + 2*d + 1. Let g be k(-1). Suppose g = c*q - 8*q + 135. Does 27 divide q?
True
Let x = -5 + 9. Suppose x*t = v - 19 + 3, 2*v - 20 = 5*t. Suppose -s + 3 = -v*s. Is s a multiple of 3?
True
Suppose -2315 = -14*f + 10*f - 3*n, 4*n = 4*f - 2308. Does 14 divide f?
False
Suppose -7*n = -9*n + 572. Is 22 a factor of n?
True
Let d(m) be the first derivative of 5*m**3/3 + 5*m**2/2 + 12*m - 5. Let n be d(-5). Suppose -3*f - 4*u + n = 0, -2*f + 36 = 2*u - 42. Does 13 divide f?
False
Suppose 5*z = -5*q - 50, 0*z = 2*z - 3*q + 5. Suppose -u - 5 = -3. Is u - z - (4 - 7) a multiple of 4?
True
Let t = -336 - -491. Suppose -3*s + 2*s + 121 = 4*o, -5*s + t = 5*o. Does 6 divide o?
True
Let c(w) = -w**2 + 18*w - 33. Let z be c(16). Is z/4*-2*2 + 7 a multiple of 6?
False
Let r(h) = h**2 - 9*h - 3. Let z be r(16). Suppose -3*w + 69 = 2*c, -w - 4*w - z = -2*c. Is 27 a factor of c?
False
Let o(m) = 3*m**2 - 12*m + 2. Let z(f) = -6*f + 8. Let x be z(2). Is 7 a factor of o(x)?
True
Let l(q) = -3*q**2 + q. Let t be l(-5). Let p be t/(-60)*(-51)/(-2). Suppose b - p - 1 = 0. Is b a multiple of 7?
True
Let o(l) = -7*l**2 + 14*l - 17. Let t(p) = 3*p**2 - 7*p + 8. Let a(g) = 2*o(g) + 5*t(g). Is 13 a factor of a(-7)?
True
Let z(p) = 50*p - 2. Let x be 44/36 + 6/(-27). Suppose 5*g = 6*g - x. Is z(g) a multiple of 23?
False
Let c(j) = j**2 - 4*j. Suppose -r = -2*r + 3. Let y = r + 4. Is 4 a factor of c(y)?
False
Let c = 880 + 1500. Is c a multiple of 76?
False
Let o = 12 + -13. Let r be (-5 - o) + 68/2. Does 6 divide (24/r)/((-4)/(-30))?
True
Let u be (-175)/10 - 2/4. Let q = u - -21. Is q even?
False
Suppose 303 = -3*z - 312. Let x = z - -333. Is 9 a factor of x?
False
Let b(k) = -36*k + 1. Let l be b(-1). Suppose 3*z - 5*d - l = 60, 0 = -d - 5. Suppose -j + 4*y = -24, 0*j + 3*y - z = -j. Is 6 a factor of j?
True
Let l(t) = -t**3 + 4*t**2 + 4*t + 4. Let i be l(5). Is 6 a factor of (0/(-1) - i) + 980/28?
True
Let d(a) = -9 - 6 - 15 + 13*a. Is d(6) a multiple of 4?
True
Let f(z) = -5*z - 9. Let q be f(10). Let j = q - -119. Let m = j + -36. Is 24 a factor of m?
True
Let c = 39 - 23. Suppose 2*y - 46 = -c. Suppose i = -8 + y. Is 5 a factor of i?
False
Suppose -k - 2*m + 4 = 0, m = 3*k - m - 12. Is (-1)/(k/(-13*8)) a multiple of 8?
False
Let u(d) = -d**2 - 16*d + 29. Is 12 a factor of u(-17)?
True
Suppose 3*s + 3*s - 30 = 0. Let k(p) = 15*p - 5. Does 27 divide k(s)?
False
Let w(o) = o**3 - 2*o**2 + 115. Does 8 divide w(0)?
False
Let q be -85 + 0 - (-5 - -6). Is 25 a factor of (-3 + 6 - q)*1?
False
Suppose 5 = 2*c + 3*h + 4, 2*c = -2*h + 6. Let f be (-26282)/(-9) - c/36. Is 22 a factor of 8/(-52) + f/52?
False
Let x = -6 + 18. Let q be (-16)/((x/(-16))/3). Suppose -2*v + q = -2. Is v a multiple of 15?
False
Suppose -4*b = 0, -4*p + 0*b = -3*b - 292. Let s be (-16)/(-24) + (-32)/(-6). Suppose 4*y = s*y + 5*i - p, 0 = -y + i + 40. Is 16 a factor of y?
False
Suppose -31 = -5*v - 186. Let x = -21 - v. Is -4*(225/x)/(-9) a multiple of 4?
False
Does 12 divide (-2 + 5 - 3)/1 + 698?
False
Suppose -4*h = a - 10 - 11, -h - 11 = -3*a. Is 30/9*24/a a multiple of 6?
False
Let x(c) = -2*c**2 + 48*c + 49. Does 7 divide x(23)?
False
Let q = 11 - -5. Let y = 19 - q. Suppose -y*o + 6 = -3, -v + 41 = -o. Does 15 divide v?
False
Let w = -1008 + 1427. Is 51 a factor of w?
False
Suppose h = -10*h + 1452. Does 12 divide (-10)/55 - (-200)/h*111?
True
Suppose 12*o - 9264 = -4*o. Does 49 divide o?
False
Let n(d) = -d**3 + 34*d**2 - 62*d - 62. Let p be n(32). Let u = 211 + -93. Suppose 0*l + p*l + u = 3*o, 2*l + 160 = 4*o. Is 17 a factor of o?
False
Let t = 36 - -76. Suppose 0 = -0*y - y + t. Suppose 0*m - y = -m. Is 26 a factor of m?
False
Let w be (1400/(-49))/((-4)/14). Suppose -h = -4*f - w, 0*f - 5*f + 5 = 0. Is 10 a factor of h?
False
Is 10 a factor of 4130/15*((-51)/(-7) + -3)?
True
Let u = 36 + -41. Suppose -4*z = 2*k - 7*k - 51, 3*z - 40 = 2*k. Let v = z + u. Is v a multiple of 5?
False
Let b(s) = -2*s**3 - 23*s**2 - 2*s - 93. Is 16 a factor of b(-17)?
True
Let h(p) = -p - 21. Let f be h(-11). Is 2/2*5/(-5)*f a multiple of 3?
False
Let f(q) = 17*q**2 + 22*q + 252. Does 29 divide f(-12)?
True
Let x = -10 - -1287. Is 21 a factor of x?
False
Let s = 316 + -148. Suppose 6*v = -2*v + s. Is v a multiple of 7?
True
Suppose 3*l + 198 = 4*d, 0*l + 45 = d - 3*l. Suppose -55*v = -54*v - d. Is 17 a factor of v?
True
Suppose -14*r + 500 = 122. Let i = 75 - r. Does 12 divide i?
True
Suppose -586 = -5*t + 3*d, 418 = 5*t + 3*d - 156. Is t a multiple of 9?
False
Let y be 8*(-4)/(-8) + -1. Suppose 0 = -2*w + 2*t + 17 - y, 0 = w + 5*t - 1. Is 13 a factor of (-3)/9*-26*w?
True
Is 766*((-105)/(-14) - 5) a multiple of 54?
False
Let l(t) = 4*t + 42 - t**2 + 4*t - 46. Let m be l(7). Suppose -5*j - 2*o + 156 = 0, -2*j + m*j - 5*o - 15 = 0. Does 10 divide j?
True
Suppose -46530 = 6*a - 36*a. Is 140 a factor of a?
False
Let v be (4/(-6))/((-1)/3). Let r = -472 + 477. Suppose 7*c - 220 = 2*c + r*b, v*b = -5*c + 185. Is 10 a factor of c?
False
Suppose 0 = 2*r + 7*r + 45. Is 17 a factor of 139 + 5/r*3?
True
Suppose 0 = 5*w - 2174 - 926. Is 20 a factor of w?
True
Let t be (36/(-10) + 0)*(-30)/12. Does 16 divide -3 + (3/t)/(1/105)?
True
Let f = -19 + 586. Is 21 a factor of f?
True
Let z = -6 - -16. Suppose -468 = 88*y - 3812. Suppose -b + z = -y. Is 10 a factor of b?
False
Let w be 3/12 + (-45)/(-12). Suppose -t + 3*x = -6, -w*t + 10 - 3 = 5*x. Suppose 0 = -l + 3*m + 32, -l - 5*m = t - 19. Is 26 a factor of l?
True
Let z(j) = -13*j**3 + 6*j**2 + 14*j + 1. Is 7 a factor of z(-3)?
True
Suppose 8*b = 25*b - 2992. Does 18 divide b?
False
Let h = -47 - -49. Suppose 4*u - 168 = -h*u. Is u a multiple of 14?
True
Suppose -3 = 7*b - 24. Let v(s) = 51*s - 8. Is 29 a factor of v(b)?
True
Let j be ((-9)/12)/(1/(-20)). Does 5 divide 4/(-6) - (-610)/j?
True
Suppose d - 802 = 992. Does 46 divide d?
True
Suppose -4*u + 12 = 0, 14 - 2 = 5*t - u. Suppose -8*f - 2*o = -t*f - 1090, -4*o = -20. Is 18 a factor of f?
True
Let z(a) = 9*a - 31. Let f be z(5).