+ 13. Suppose 0 = -t + 19 - 26. Is 15 a factor of p(t)?
False
Let c = 7 + 207. Let z = -6 + c. Does 26 divide z?
True
Suppose -4*g + 180 = -4*s, -2*g - 2*s = -58 - 48. Suppose -j + 5 = -0, 2*i + g = -3*j. Let v = i + 55. Is v a multiple of 9?
False
Let c(j) = j**3 - j - 2. Let i be c(2). Suppose 3*d = 2*p + 122, -3*d + p + 134 = -i*p. Is d a multiple of 8?
False
Let u(c) = 2*c**2 - 2*c - 2. Let r be u(-1). Suppose -3*f - r*m + 26 = 0, 2*f + 0*m = -m + 17. Does 2 divide f?
True
Let i(y) = y**3 - 8*y**2 + 11*y - 4. Let z be (-1)/4 - ((-99)/12 + 0). Does 9 divide i(z)?
False
Suppose -19*f = -307 - 73. Does 5 divide f?
True
Let a(c) = -23*c + 137. Is a(-41) a multiple of 15?
True
Is 18 a factor of 273 + 0 + 18/(-6) + 4?
False
Let r(v) = v**2 - 14*v + 10. Let m be r(13). Suppose 0 = -c + 4*f - 92, 4*c = -5*f - 323 + 60. Is 30 a factor of (c/(-16))/(m/(-40))?
True
Let f(b) = b**2 + 10*b + 15. Let m(q) = q**3 - 5*q**2 + 2*q + 2. Let r be m(4). Let s be f(r). Does 5 divide 54*(15/s)/(-5)?
False
Let w be 120/(-2*(-3)/4). Suppose -x + 4*c = -3*x + 110, -2*x + w = -2*c. Is x a multiple of 17?
False
Let u(n) = 3*n**3 - 4*n - 1. Let q be u(-3). Let k = q + 178. Is 12 a factor of k?
True
Suppose 26*k - 2542 - 4530 = 0. Is k a multiple of 8?
True
Let t be -2 + (2 - 663*-3). Suppose 9*q - 26*q = -t. Is q a multiple of 39?
True
Let f = -116 - -118. Suppose -4*a + 5*r + 231 = 0, -f*a - 2*a = -4*r - 232. Does 4 divide a?
False
Suppose 3*z = -0*z + 312. Suppose 0 = -5*o + 4*o + z. Is 29 a factor of o?
False
Suppose 11*a = 6*a + 35. Suppose -a*w = -4*w. Suppose 5*b + 3*c - 6*c - 306 = w, 5*c = b - 70. Is 20 a factor of b?
True
Let x(t) = 2*t**2 + 5*t - 6. Let a be x(2). Suppose 5*f = -2 + a, 5*v = 4*f + 592. Is 12 a factor of v?
True
Let l = 1091 - 714. Is l a multiple of 29?
True
Let f = -22 - -22. Is 59 a factor of 6/(-24) - (f - 597/4)?
False
Let u be 2/11 - (-2133)/(-297). Let v(l) = l**3 + 11*l**2 + 16*l + 8. Let o be v(u). Suppose -4*h = -4*t + o, 2*t - 4*h - 117 = -3*t. Does 5 divide t?
True
Suppose 4*c + 294 = 5*w + 2*c, 176 = 3*w - c. Suppose -y + w = 13. Does 9 divide y?
True
Let u(s) = -s**3 + 3*s**2 - s - 9. Let t be u(4). Let y = -44 - t. Does 11 divide ((-5)/y)/(3/495)?
True
Let o = 10 + 1. Suppose m = -o + 5. Is 18 a factor of ((-162)/(-4))/(m/(-8))?
True
Suppose -3*j = -2*c + 75 - 13, -4*j = 4*c - 84. Is c - 2/(-2)*-1 even?
True
Suppose -5*d + 26 = h, 4*d + 5*h - 17 = 8*h. Suppose -o + 32 = g, 13 + 7 = d*g. Does 3 divide o?
False
Suppose 3*r = -d + 8, 6*d - 10*d + 47 = -3*r. Is 2 a factor of d?
False
Suppose -3 = 5*r - 3*u, 5 = r + r + 5*u. Let s(d) = 21 + d**2 + 0*d**2 - d - 16*d**3 + 18*d**3 - 3*d**3. Is 12 a factor of s(r)?
False
Let a be 4/((-12)/9) - -21. Let l = a + -18. Suppose -2*w = l, k - w = 2 + 4. Is k even?
True
Let y be (-30)/8 + 5/(-20). Let j be (y/(-8))/(2/(-260)). Let k = 116 + j. Is 17 a factor of k?
True
Suppose 3*f - 22 = -5*c, 5 = 4*c + 4*f - 11. Suppose -x + 0*i - 2*i + 112 = 0, -x + 120 = 4*i. Suppose -n - x = -c*n. Is 13 a factor of n?
True
Is (-2 - 3 - -5) + (1934 - 6) a multiple of 16?
False
Suppose 2*g = -4*g - 222. Let a = g + 91. Is 27 a factor of a?
True
Suppose o + 2*k = 875, 6*k = 3*o + 4*k - 2625. Suppose o = 5*b - 5*m, 5*b + 2*m = b + 682. Is b a multiple of 42?
False
Suppose -3*y = -5*y + 4. Suppose 30 - 6 = h + 2*l, -50 = -2*h - y*l. Is 6 a factor of h?
False
Let c(a) be the first derivative of a**3 + a**2/2 + a - 2. Let g be c(-1). Suppose -2*l + 164 = 5*j, g*j - l - l - 108 = 0. Does 17 divide j?
True
Does 4 divide (26 - 25)/(2 + 681/(-341))?
False
Let h(t) = 5*t**2 + 21*t - 35. Is h(6) a multiple of 10?
False
Let q = 236 - 56. Suppose -6*k + 54 = -q. Suppose c - k = -2*c. Does 5 divide c?
False
Is 15/10*37708/33 a multiple of 7?
False
Let m(y) = y**2 - y - 2. Let u be m(1). Let v = u + 59. Does 19 divide v?
True
Let p = 106 - -6. Does 7 divide p?
True
Let m be 402/14 + (-42)/(-147). Suppose 0 = -y + 119 - m. Is 15 a factor of y?
True
Let d be 80/15*(-9)/(-6). Let u be 3*d*4/24. Suppose -u*s + 97 - 21 = 0. Does 19 divide s?
True
Suppose -g + 4*x + 557 = 0, -6 = -3*x + 3. Is 12 a factor of g?
False
Let i be 0 + 1 - -1 - (4 + -12). Suppose 67 - i = j. Is 4 a factor of j?
False
Let o(p) = 6*p**2 + 2*p + 1. Let y be o(-2). Suppose j = -2*d - 38, 0*d = -d - j - y. Let h = 26 + d. Is h a multiple of 9?
True
Let a = 38 + -35. Suppose 4*q - 37 = a*f - 285, f + 5*q = 108. Does 32 divide f?
False
Let g(k) = k**2 + 4*k. Let q = 11 + -5. Let f(x) = x**3 - 6*x**2 - 2*x + 6. Let j be f(q). Is g(j) a multiple of 6?
True
Suppose -5*r - 17 = v + 428, 0 = 5*v + 4*r + 2330. Is 13 a factor of 94/v + -1 + (-416)/(-5)?
False
Let p(u) = u**2 - 2*u - 11. Let i be p(5). Suppose i*k = -2*g - 3 - 183, -2*k - 5*g = 89. Let d = 75 + k. Is d a multiple of 14?
True
Let y be 1*-28 - 16/4. Let v = y + 31. Is 22 a factor of v/(-3) - (-910)/42?
True
Let a be (-4 - 124/(-5))/(2/15). Suppose -44*w + a = -40*w. Is w a multiple of 7?
False
Suppose -9*p + 6*p + 48 = 0. Suppose p*q - 21 = 15*q. Does 20 divide q?
False
Let y be (-8)/(-32) - (-1182)/8. Let i = y + -100. Is 12 a factor of i?
True
Let s(m) = m**3 + 16*m**2 + 6*m - 14. Does 62 divide s(-6)?
True
Let z(k) = k**3 + 11*k**2 - 2*k - 8. Is z(-6) a multiple of 8?
True
Let x = 46 + -43. Suppose -5*b + 3*o = -0*b - 300, 120 = 2*b + x*o. Is 15 a factor of b?
True
Let u be (-36981)/(-84) - ((-3)/4 + 1). Suppose -j = 5*c - 149 - 291, 5*c - 2*j - u = 0. Is c a multiple of 22?
True
Let y = 38 + -36. Suppose -y*s = -o - 0*o + 47, 3*o + 4*s = 151. Does 7 divide o?
True
Suppose 4*h - 76 = 176. Let j be h/7 - 8/2. Let x(s) = 3*s + 11. Does 6 divide x(j)?
False
Let b be 1 + -1 + (-2 - -5). Suppose 2*k - k - 96 = b*z, 288 = 3*k - z. Is k a multiple of 8?
True
Let g = -1390 + 1826. Is g a multiple of 6?
False
Let w(a) = 0*a + 12*a**2 - 28*a**2 - 8*a + 15*a**2 - 10. Let l be w(-5). Suppose 12 = l*x - 5*h - 8, -4*h + 20 = 0. Is x a multiple of 2?
False
Let s be (6/5)/(1/(-10)). Suppose -211 - 185 = 22*p. Is 16 a factor of (183/2)/(p/s)?
False
Suppose 233 = -3*s + 1259. Does 57 divide s?
True
Suppose 1120 = -c - 9*c. Let y = c - -162. Is 25 a factor of y?
True
Suppose -o + 1 = -4. Let w(n) = -5*n**2 + 5*n + 14. Let x(v) = -5*v**2 + 7*v + 15. Let k(d) = -3*w(d) + 2*x(d). Is k(o) a multiple of 27?
True
Suppose 2*b + 5*d - 16 - 19 = 0, 10 = 2*d. Suppose -7*n + b*n + 216 = 0. Is n a multiple of 36?
True
Suppose -p + 16 + 4 = 0. Let q = p - 12. Suppose 0 = 2*k + q, 0 = -4*b - 0*k + 5*k + 164. Does 20 divide b?
False
Suppose 4*k - 2814 = b - 3*b, b - 1422 = k. Is 61 a factor of b?
False
Let q = 74 - -334. Is 15 a factor of (q/(-32))/((-3)/32)?
False
Let z be ((-8)/(-20))/(2/20). Suppose z - 6 = y + 2*a, 2*y = -2*a. Suppose 2*u = y + 12. Does 3 divide u?
False
Let t(r) be the second derivative of r**3/6 + 2*r**2 - 3*r. Is t(18) a multiple of 22?
True
Let s = -403 - -491. Is s a multiple of 88?
True
Let y = 5398 + -2263. Does 15 divide y?
True
Let t = -7 + -4. Let x = t - -42. Is 11 a factor of x?
False
Let y(q) = q**2 + 3*q + 259. Is 8 a factor of y(0)?
False
Is 3 a factor of (-9 - -3) + (357 - -6)?
True
Let m(y) = y**3 - y**2 + y - 192. Let i be m(0). Let s be (-18)/(-8)*i/(-18). Does 18 divide 4/(s/9)*24?
True
Let m be 1 + -2 - (-3 - -2). Suppose 0 = -3*d - 12, d = 3*o - m*d - 232. Is o a multiple of 10?
False
Suppose 247 = -2*f + 415. Does 28 divide f?
True
Let p = 1505 - 548. Is 33 a factor of p?
True
Suppose 0 = 13*c - 7669 + 1026. Is 21 a factor of c?
False
Let n = 39 - -1005. Does 58 divide n?
True
Is 6/24*-2*-1234 a multiple of 63?
False
Suppose 4 = 2*m + 2*g, 3*m + 4 = -4*g + 13. Is 23 a factor of -3 + (-1 - m - -72)?
True
Let g = 411 - 160. Does 10 divide g?
False
Let x(s) = s**3 + 21*s**2 - 36*s - 20. Is x(-22) a multiple of 18?
True
Suppose -3*r + 4*r = 2*p + 18, -2*p - 50 = -3*r. Let f = 245 - 101. Suppose 0 = 12*y - r*y + f. Is y a multiple of 18?
True
Let m(y) = -8*y**3 - 2*y**2 - 49*y - 8. Is 42 a factor of m(-6)?
False
Let w be (44/(-10))/(1/(-35)). Suppose -4*k + 174 = -5*i - w, -393 = -5*k + 2*i. Is k a multiple of 5?
False
Suppose 0 = -3*v - 3, -3*n - 3*v + 133 = -950. Let h = -227 + n. Is h a multiple of 27?
True
Let z = 18 + -10. Let d be ((-2)/3)/(z/(-24)). Suppose n = 0, d*q + 3*n - 20 = 6