0*c + 4*d. Is c a multiple of 43?
False
Suppose 14 = c + w + 5, 3*w - 17 = -c. Suppose 0 = c*i - 1 + 11, -36 = -t + 3*i. Does 6 divide t?
True
Let d(n) = n**3 - 10*n**2 + 2*n - 15. Let u be d(10). Suppose 0 = -u*b + 6*b - 72. Is b a multiple of 18?
True
Let b(q) = -q**3 - 16*q**2 - 3*q - 9. Let k(c) = 2*c**3 + 35*c**2 + 6*c + 18. Let u(g) = -7*b(g) - 3*k(g). Let v = -16 + 10. Is u(v) a multiple of 9?
True
Suppose -3*s - 2*s = 10. Let t(k) = -k**3 + 4*k + 3. Let p be t(s). Suppose -2 = -p*i + 34. Does 8 divide i?
False
Suppose 3*o - 3*z - 66 = 0, 2*o - z = -2*o + 79. Let a = -431 + 425. Let m = a + o. Does 6 divide m?
False
Let w(v) = -16*v**2 - v. Let l be w(1). Let g = l + 51. Is 34 a factor of g?
True
Let s(d) = 2*d**2 + 19*d - 71. Is 12 a factor of s(15)?
False
Suppose 0 = -h - 2*p, 0 = -h - p - 3*p - 6. Let r(t) = -10*t - 8. Let o(l) = -5*l - 4. Let a(k) = 11*o(k) - 6*r(k). Is 17 a factor of a(h)?
True
Let t = 103 + -247. Does 18 divide t/90*190/(-4)?
False
Let y be 2/(-4)*(-488)/1. Suppose -4*u + y = -36. Does 7 divide u?
True
Is 55 a factor of 1328/13 + (-78)/507?
False
Let w be 207*3*(-50)/(-45). Suppose -1845 = -15*d + w. Is d a multiple of 34?
False
Let n be ((-33)/(-2))/(21/28). Let r = n - 30. Let o = r + 17. Is 9 a factor of o?
True
Let m be 2/((-4)/6) - -1. Is (6*m/(-30))/((-1)/(-615)) a multiple of 11?
False
Let n be (-4)/(-10) - 1092/(-20). Suppose -4*q - n = -5*q. Let s = -12 + q. Does 27 divide s?
False
Let m = -161 - -512. Is m a multiple of 27?
True
Let s = -10 + -6. Let k be s/(-2)*(-24 + 23). Let h = 23 + k. Is h a multiple of 11?
False
Suppose 5*p - 2*d = 11246, p + 96*d - 2246 = 98*d. Is 15 a factor of p?
True
Let f = -6 - -358. Suppose f = 13*v - 9*v. Is v a multiple of 22?
True
Suppose 0 = -3*y + 3, -b + 0*y - 5*y + 9 = 0. Suppose 3*d = 2*c + 9, -b*c - 15 + 42 = 3*d. Is 10 a factor of 24 + (-1)/(-3)*c?
False
Let i = -2293 - -3973. Does 48 divide i?
True
Suppose -y - 16 = -18. Suppose 0 = h + y*h - 201. Let m = h + -37. Is m a multiple of 10?
True
Is 10*459 + (-48)/(-8) a multiple of 21?
False
Suppose -2*i - 2*i - 4 = 0. Let s be (18/(-24))/(i/(-8)). Is 0 - (-3 + 3 + s) a multiple of 2?
True
Suppose 55*u + 39 = 56*u. Let n = 54 - u. Is 8 a factor of n?
False
Let n = -619 - -2523. Is n a multiple of 56?
True
Suppose 117*s - 115*s = 56. Is 7 a factor of s?
True
Suppose -25*a + 8*a + 7021 = 0. Does 59 divide a?
True
Suppose -j - 4*u + 8 + 11 = 0, 0 = -4*j - 3*u + 89. Does 4 divide j?
False
Is (4 + (-3100)/(-35))/((-1)/(-7)) a multiple of 9?
True
Suppose 5*h - 2 = 3*q + 19, -4*h = -5*q - 22. Suppose 4 = 2*s, -h*k = -0*k - 3*s - 345. Suppose -2*w + k = -3*f, -5*f = -0*w - 5*w + 295. Is w a multiple of 16?
False
Let d = 2265 + -2244. Is d a multiple of 9?
False
Let x(o) = 14*o**2 - o. Let u be x(-1). Let d(w) = w**2 + 15*w - 11. Let v be d(-16). Let k = v + u. Is k a multiple of 10?
True
Suppose -858 + 6458 = 7*g. Does 80 divide g?
True
Let z(l) be the third derivative of -l**7/840 - l**6/60 + l**4/3 + 3*l**3/2 + 6*l**2. Let i(y) be the first derivative of z(y). Is i(-6) even?
True
Suppose 196*s - 135*s = 65026. Is 41 a factor of s?
True
Let r(v) = 12*v**2 - 115*v + 7. Does 20 divide r(13)?
True
Suppose -g - 3*g + 5*c - 274 = 0, -365 = 5*g + 5*c. Let s = g - -204. Is s a multiple of 16?
False
Let f(r) = -r**3 + 21*r**2 + 20*r - 10. Let c be f(22). Let g = c - -93. Is g a multiple of 13?
True
Suppose -3*s - s + 1799 = 5*d, 0 = -s - 2*d + 449. Is 11 a factor of s?
True
Let p(q) = q**3 + 43*q**2 + 79*q - 66. Is p(-41) a multiple of 21?
False
Suppose 22 = t - 5. Let c = 75 - t. Is 15 a factor of c?
False
Let s = 2797 - -83. Does 36 divide s?
True
Let p = 160 + -65. Does 5 divide p?
True
Suppose -5*o = 3*a - 168, -2*o + 0*a + 64 = -2*a. Suppose 0 = 4*c - 129 + o. Suppose -5*b + c = -36. Is 6 a factor of b?
True
Suppose 0 = 3*t - 881 + 359. Does 10 divide t?
False
Let w be (0 + 0)/(2 - 4 - -3). Does 9 divide (3 + -2 + w)/(1/17)?
False
Let i = 30 + -20. Let l be (-1)/(-1) - (-30)/i. Suppose 5*r = 15, x - 20 = -x + l*r. Is x a multiple of 8?
True
Suppose 65*r - 12267 = 16333. Is r a multiple of 110?
True
Is 5 a factor of ((-56325)/275 + 4/(-22))*-4?
True
Suppose -4*s = -2*r - 1178, 5*r + 609 = -s + 3*s. Is 17 a factor of s?
False
Suppose 137 = 23*d - 323. Is d a multiple of 10?
True
Let p(o) = 518*o + 1. Let x be p(1). Let d = -215 + x. Suppose 8*z = d + 16. Is z a multiple of 20?
True
Does 7 divide 71 + (-7 - -8)*(-4)/2?
False
Let p(a) = -2*a + 3. Let f(b) = -2*b + 3. Let i(u) = 7*f(u) - 6*p(u). Let z be i(-10). Suppose -j + 7 = 2*y, 5*y - j = z + 12. Does 3 divide y?
True
Suppose 0 = 5*r + 403 - 2318. Is r a multiple of 17?
False
Suppose -j + 17 = 2*j - 4*s, 0 = -5*j - s + 36. Let a(c) = 2*c**2 - 12. Let i(x) = -x**2 + 6. Let h(m) = j*i(m) + 4*a(m). Is h(6) a multiple of 10?
True
Suppose -d + 355 = 4*a, 5*a - 425 = 20*d - 25*d. Is a a multiple of 45?
True
Let k(u) = -2*u + 1. Let z(n) = -10*n + 6. Let o(p) = -11*k(p) + 2*z(p). Let g be o(-7). Let f = -8 - g. Is 3 a factor of f?
False
Let y(w) = 84*w - 108. Does 15 divide y(13)?
False
Suppose 4*t + 12*t = 3120. Is t a multiple of 15?
True
Suppose -5*x + 3 = 3*p + 5, -5*x + 3*p + 22 = 0. Suppose -b + 5*y + 1 = -5, -4*b + x*y = 12. Does 22 divide -30*4*b/10?
False
Let y = 342 - 159. Is y a multiple of 61?
True
Suppose -4*k - 2*n + 40 = 0, 5*k + 30 = 3*n + 91. Suppose -k*o = -15*o + 608. Is o a multiple of 16?
False
Suppose 5*u - 93 = 102. Is u a multiple of 13?
True
Let o(j) = 4*j + 745. Does 27 divide o(80)?
False
Suppose 19*y - 837 = 17*y - o, 5*y + 3*o - 2091 = 0. Is y a multiple of 12?
True
Let r(f) = -f**2 + 4*f + 7. Let q be r(5). Suppose -5*t + 155 = 5*u, -61 - 32 = -3*u + q*t. Does 10 divide u?
False
Let v be ((-1)/(-1))/(4/(-16)). Is 698/7 - v/14 a multiple of 25?
True
Suppose b - 10795 = -5*k, -12*k = -16*k + 2*b + 8650. Is 18 a factor of k?
True
Let s = 1 + -7. Let u be (s + -1)*18/(-21). Does 17 divide (-4)/u + (-930)/(-18)?
True
Suppose 514*i - 5250 = 507*i. Does 30 divide i?
True
Let w(j) = j**3 + 16*j**2 + j - 13. Is w(-7) a multiple of 11?
False
Is 62 a factor of -11 + -2 + 62 + 2217?
False
Suppose 4*j = -3 - 5. Let h be ((-156)/(-24))/((-1)/j). Let o = h + -4. Is o a multiple of 6?
False
Is 4 a factor of (-28)/(-126) + 1015/9 + 1?
False
Suppose -330*m - 15768 = -339*m. Does 16 divide m?
False
Let x = 1641 - 505. Is 16 a factor of x?
True
Let d = 8 + 2. Is 2*(-15)/d + 88/2 a multiple of 9?
False
Let s = 1109 - 961. Is 4 a factor of s?
True
Let g(s) = 9*s - 32. Let t be g(8). Let k = t + -7. Is 3 a factor of k?
True
Let t = 475 + -210. Is t a multiple of 25?
False
Let w(g) = 18*g. Let q be 10*4/(-40)*-6. Suppose v + k - q = -3, 2*k - 4 = -v. Is w(v) a multiple of 12?
True
Let x be ((-3)/9)/((-20)/12 - -2). Let w(l) = -80*l**3 + l**2 + l. Is 16 a factor of w(x)?
True
Let c(k) = -607*k - 456. Does 17 divide c(-7)?
False
Suppose -26 = -4*l - 14. Let f(u) = 13*u - 35. Let j(k) = -7*k + 18. Let h(d) = l*f(d) + 5*j(d). Is h(9) a multiple of 21?
True
Suppose -10*t - m - 203 = -11*t, -5*t - m + 1021 = 0. Does 10 divide t?
False
Suppose -2*d - i = -30, -5*d + 0*d + 3*i = -86. Suppose -d*p = -23*p + 2079. Is 27 a factor of p?
True
Suppose 0 = 5*x - 27 - 193. Let b = -9 + x. Suppose -4*y = -b - 29. Is y a multiple of 3?
False
Suppose 5080 = 2*y - 5*m, -17*y + 18*y - 2518 = -3*m. Is y a multiple of 55?
True
Suppose 11422 = 9*s - 1934. Is s a multiple of 45?
False
Let d(t) = -2*t**3 + 6*t**2 + 10. Let o be d(8). Does 7 divide (-2*(-2)/(-2))/(20/o)?
True
Does 12 divide ((-54)/189)/(0 + (-8)/111076)?
False
Let i(b) = 127*b**2 + 14*b - 48. Is 51 a factor of i(4)?
True
Suppose -19 = -b - 4. Suppose -23*q + b = -22*q. Is 5 a factor of q?
True
Let s(j) = 2*j**2 + 2*j + 1. Let f be s(-2). Suppose 3*r - 43 = -i, f*i + 8 = 3*r - 47. Does 5 divide r?
True
Let y = -31 + 35. Suppose 4*f = -y*m + 152, 0*f + 6 = 2*f. Is m a multiple of 8?
False
Suppose 4 = -6*m - 2. Is 45 a factor of ((-8)/(-2) + m)*(54 + 6)?
True
Let z = 40 + 77. Let a = 181 - z. Let r = -38 + a. Is 10 a factor of r?
False
Suppose -241 = -2*t + f, -2*f = 5*t - 288 - 310. Suppose 6*x - x = t. Is x a multiple of 4?
True
Let x = -229 - -334. Let c = -67 + x. Does 19 divide c?
True
Suppose -3*m + 354 - 42 = 3*h, -2*h - m + 212 