of 3?
False
Let b(q) = 1002*q**3 + 8*q**2 - 7*q. Is b(1) a multiple of 59?
True
Suppose -7*w + 455 = 63. Suppose -53*h + w*h = 735. Is h a multiple of 35?
True
Let u = 733 - 358. Is 22 a factor of u?
False
Let q = 155 - 252. Let c = 220 + q. Is c a multiple of 45?
False
Suppose 4*o - 2*x - 286 = 1054, 4*o - 4*x - 1332 = 0. Is o a multiple of 4?
False
Let f(p) = -p - 3. Let l be f(-8). Let b(y) = -y**2 + 4*y + 10. Let i be b(l). Let c(t) = t**3 - 3*t**2 - 2*t + 7. Does 16 divide c(i)?
False
Suppose -2*u - 2*v - 208 + 36 = 0, -5*u - 2*v = 421. Let p = u - -173. Is p a multiple of 6?
True
Let a be 0/(-3) - -4 - -5. Suppose -9*k = -6*k - a. Suppose 0 = 3*f + 2*y - 28, 4*y + k - 9 = -f. Does 5 divide f?
True
Let f(c) = -7*c - 129. Does 2 divide f(-19)?
True
Suppose 369 = 3*l - j, -6*j + 3*j - 611 = -5*l. Suppose 3*y + 126 = 3*q, 4*q - l = q + y. Does 3 divide q?
False
Let p(r) be the first derivative of r**2 + 7*r + 1. Is 7 a factor of p(16)?
False
Is 64/(-12)*6/(-20)*305 a multiple of 61?
True
Suppose -2*l + 3*z = 2*l - 4, 0 = l + z - 1. Suppose -a + 19 - l = 0. Is a a multiple of 12?
False
Suppose -2*m = m + 3*x - 333, 5*x = 3*m - 293. Let c(v) = -16*v**2. Let h be c(1). Let p = m + h. Is p a multiple of 30?
True
Let a be 5 + (7 + -1)/(-3). Suppose a*v - 2*v = -2*u + 34, 4*v = -u + 3. Let r = u + 7. Is 8 a factor of r?
False
Let b = -595 - -1405. Is b a multiple of 45?
True
Let j = 7 - 7. Suppose j = 4*u + u - 4*v - 472, -286 = -3*u + v. Does 24 divide u?
True
Suppose -5*k + 21 = 3*v, 6*v - 3*v + 6 = 4*k. Suppose 19 = -h - 5*z - 18, k*h - 2*z + 94 = 0. Let d = h + 42. Is 3 a factor of d?
False
Suppose 0 = 5*i + k - 986, -92 = -i + 3*k + 118. Is 11 a factor of i?
True
Suppose -n = -754 - 516. Is 127 a factor of n?
True
Let c(h) = h**3 - 2*h**2 + 4. Let m be 10/55 + (-62)/(-22). Is 13 a factor of c(m)?
True
Let q(i) be the first derivative of 2*i**3/3 + 4*i**2 - i + 1. Let m = -21 + 14. Is 14 a factor of q(m)?
False
Let k = 52 + -122. Is 13 a factor of 50*(k/(-25) - 0)?
False
Let i be (-14 + 11)*-1*1. Suppose i*t + 0*t - 6 = 0. Suppose a + t*a - 186 = 0. Is 13 a factor of a?
False
Suppose -t - 12 = -2*t. Let w = t - 10. Suppose -3*p + 6*p + w*z - 21 = 0, 0 = -5*p + 4*z + 35. Does 6 divide p?
False
Suppose -17*h = -21*h + 12. Suppose -4*d + 975 = 5*a + d, a + h*d - 189 = 0. Is a a multiple of 22?
True
Suppose 299 = 2*k + 5*f, -3*f + 590 = 4*k - f. Does 49 divide k?
True
Suppose 4*w - 4*b - 4 = -0*w, 2*b = w - 2. Let g be (-4)/12*w - -2. Suppose 24 = g*q - 108. Is 22 a factor of q?
True
Let g(l) = 259*l + 916. Is 14 a factor of g(8)?
False
Suppose 3925 = 33*d - 8*d. Is d a multiple of 3?
False
Suppose 158 = 4*x + 2*n, -x + n = 3*x - 155. Suppose 507 = 4*d + 3*y, 3*d - x - 345 = -y. Is 23 a factor of d?
False
Let k = 350 - 305. Is k a multiple of 3?
True
Suppose 0 = -5*j - 5*q - 15, -j + 4*q = 3*q - 7. Let p = j - 1. Suppose -3*x + p + 17 = 0. Is 6 a factor of x?
True
Does 19 divide 5*350 + (47 - 40)?
False
Let l be (20/4)/(-5) - (1 - 4). Suppose -l*j = 2*j + 4*r - 184, 3*r = -2*j + 97. Does 11 divide j?
False
Let h be (828/4)/(-1 + 0). Let i = -431 - h. Does 19 divide (-2)/(i/(-76) - 3)?
True
Let s(d) = d - 17. Let q be s(0). Let k = q - -16. Is (-4 - 0)/k + 3 a multiple of 3?
False
Suppose 0*u + u - 5 = 0. Suppose 10*j + 3*z - 260 = u*j, 0 = 5*j + 5*z - 260. Is j a multiple of 32?
False
Let m(y) = y**2 - 5*y + 8. Let r be m(-7). Suppose r = -4*z + 376. Does 20 divide z?
False
Let u = -4354 + 6894. Is u a multiple of 20?
True
Let w(d) = -6 + 96*d - 93*d + 3. Let v be w(-3). Does 21 divide 19/((-3)/v*2)?
False
Is 78 a factor of 2702/(-4)*(-228)/133?
False
Let f(r) = -r**3 + 12*r**2 - 14*r + 16. Let b be f(11). Let k = b - -2. Let t = -2 - k. Is 13 a factor of t?
True
Let s(g) = 2*g**3 - 5*g**2 - 11*g - 4. Let d be ((-18)/(-12))/((-3)/(-10)). Does 33 divide s(d)?
True
Suppose -50*u + 276 = -47*u. Is 4 a factor of u?
True
Let z(l) = -l**3 + 6*l**2 + 7*l + 4. Suppose i + 3 = 10. Let x be z(i). Suppose -3*q = -x*d + 44, q + 0 - 4 = 0. Does 4 divide d?
False
Suppose -2*v - p = -83, 3*v = -0*v + 4*p + 130. Suppose v = 7*y - 14. Suppose -m + 4 - 2 = j, m - j = y. Does 3 divide m?
False
Let z(d) = 30*d - 2. Let b = -26 - -35. Let i be z(b). Suppose f = -3*f, -f - i = -4*h. Does 15 divide h?
False
Let j = -153 - -155. Suppose -2420 = -13*x + j*x. Is x a multiple of 55?
True
Does 37 divide 1038 - 5/15*6?
True
Let d(q) = q - 33. Let o(k) = 11. Let l(i) = -3*d(i) - 8*o(i). Let f(c) = -c - 6. Let x be f(3). Is 14 a factor of l(x)?
False
Suppose -2*q = i + 3*q - 230, 465 = 2*i + 5*q. Is 16 a factor of i?
False
Let t(k) = k**2 + k + 1. Let o be -2 - (0 - -3 - 3). Let d be t(o). Suppose 291 = d*j + 3*h, -5*h = -j - 3*j + 379. Is j a multiple of 14?
False
Suppose 5*k - 45 = -0. Let n(x) be the third derivative of -x**5/60 + x**4/3 + 11*x**3/6 - 14*x**2. Is 2 a factor of n(k)?
True
Suppose -6*m = -274 - 98. Is 3 a factor of m?
False
Let y(f) = 20*f + 4. Let b be y(16). Suppose -5*t - 99 = -b. Does 9 divide t?
True
Suppose 2*d - 10 - 14 = 0. Suppose 14*a - 12 = d*a. Suppose -a = y - 10. Does 2 divide y?
True
Suppose 20 = -4*s, -3*w - 2*s - 3*s = 31. Let y = 0 - w. Does 3 divide 14/(-7)*(-3)/y?
True
Suppose 5*y = y - 8, 5*f + 3*y + 61 = 0. Let q = 8 + f. Is (-126)/4*4/q a multiple of 17?
False
Let q(g) = -g**3 + 16*g**2 - 9*g + 20. Does 26 divide q(14)?
True
Let z = -857 + 1046. Does 9 divide z?
True
Suppose 2*y = 671 + 459. Does 19 divide y?
False
Let u(k) = -k**3 + 19*k**2 - 40*k + 72. Does 4 divide u(16)?
True
Suppose -4*m + 8 = 2*w - 14, 0 = -3*m + w + 19. Suppose 0 = -c + m + 2. Suppose -r - d + c = r, 10 = 3*r + 2*d. Is r a multiple of 6?
True
Let q = 331 + 644. Is 65 a factor of q?
True
Let r = 1583 - 995. Is r a multiple of 21?
True
Let m = 51 + -48. Suppose -189 = -m*s + 225. Is 23 a factor of s?
True
Let p(w) = w**3 - 8*w**2 + w + 2. Let n(u) = -u**3 - 10*u**2 - 10*u - 1. Let l be n(-9). Is p(l) a multiple of 3?
False
Is 34 a factor of (-5 + 3)/(-2 - -4) + 1871?
True
Suppose 3 = 5*y - 22. Let s(r) = 0*r + 24*r**2 + 3 - 3*r - y. Is 25 a factor of s(-1)?
True
Let o(r) = -294*r. Is 6 a factor of o(-3)?
True
Suppose 0*x - 3*x = 0. Suppose -5*q + 17 + 53 = x. Is 6 a factor of q?
False
Suppose -2*a + 2*t = -18 - 82, -5*t = a - 20. Does 6 divide a?
False
Let i = 226 - -195. Let y = i + -298. Is 14 a factor of y?
False
Suppose -22*a + 376 = -20*a. Is 7 a factor of a?
False
Let w be (-70)/175 - 287/(-5). Suppose -485 = -2*s + w. Is 28 a factor of s?
False
Let l(s) = -56*s + 31. Does 14 divide l(-14)?
False
Suppose -20 = -4*a, -2*w - 4*a = -0*w - 20. Suppose -5*v + 4*p + 0*p + 33 = w, p = -2. Suppose -3*k = -v*b - 19, 2*b + 0*b + 38 = 5*k. Does 4 divide k?
True
Let d(g) = g**3 - 10*g**2. Let t be d(10). Let r be (1/2 - 0)*t. Suppose r = 6*a - 3*a - 117. Is a a multiple of 13?
True
Suppose 26*a - 30*a + 288 = 0. Does 5 divide a?
False
Let r(i) be the second derivative of 0 - 3*i**2 + 4*i + 1/2*i**3. Does 18 divide r(8)?
True
Suppose -5*t + 55 = 15. Suppose -i - 3*m = t, 3*m + 14 = 2*i - 6. Is 4 a factor of i?
True
Let o(g) be the second derivative of -3*g**5/20 - 5*g**3/6 - g**2 + 2*g. Let l be (2 - (-5 - -1))/(-2). Is 30 a factor of o(l)?
False
Suppose 619*z - 13587 = 612*z. Does 38 divide z?
False
Suppose 5 = 5*h - w, 0 = -4*h + w - 0*w + 4. Let f be h/7 - (-6)/(-42). Let c(m) = -m**3 + 52. Is 15 a factor of c(f)?
False
Let g = 632 - 885. Is 4/6*(g/(-2) + 1) a multiple of 28?
False
Let n be (-49)/28*4/(-1). Let f(m) = -m**3 + 7*m**2 + 6*m + 4. Is f(n) a multiple of 8?
False
Let f = 62 - -19. Suppose 0 = 2*c + c - f. Is 27 a factor of c?
True
Suppose -22*j - 5 = -23*j + 2*i, 3*j - 3*i = 30. Is j even?
False
Suppose 0 = -5*b + 4*j + 1039, 4*b - b - 617 = -4*j. Suppose b = 4*u - 249. Is u a multiple of 16?
False
Let z(o) be the first derivative of o**4/4 - 16*o**3/3 - 24*o**2 + 25*o + 23. Is 28 a factor of z(19)?
True
Let g = -200 + 437. Suppose 13*l - 231 - g = 0. Does 6 divide l?
True
Let h(t) be the first derivative of -t**2 + 12*t + 9. Is h(0) even?
True
Suppose 14*s = 16*s + 8. Let p(l) = l**2 + 2*l + 4. Let r be p(s). Let b = r + -6. Is b a multiple of 5?
False
Let u = -4 - 68. Let c = u + 108. Does 9 divide c?
True
Let l be (-45 - -4) + -2 + 5. Does 4 divide -3