 j?
True
Let a(d) = -2*d - 9. Suppose -4*u - 45 = 4*j + j, 4*j = 5*u + 5. Let q be a(j). Does 4 divide (-1)/(q/3) - -17?
False
Let w(x) = -x**3 - 6*x**2 + x + 5. Let o be -4*(-6)/32*-8. Let c be w(o). Is (-15)/5 + (20 - c) a multiple of 7?
False
Let m(h) = -6*h**3 + 6*h**2 + 8*h + 8. Does 38 divide m(-4)?
True
Let h = -125 + 235. Suppose -5*c = s - 35, -s + 5*c = -5*s + h. Is s a multiple of 3?
False
Is 5 a factor of (2 - (-32)/14)/(3/42)?
True
Let i = -391 + 371. Let d(s) = -47*s**3 + s**2 + 2*s + 1. Let w be d(-1). Let g = w + i. Is 9 a factor of g?
True
Let l(v) = 132*v + 3. Is 44 a factor of l(6)?
False
Let q(y) be the third derivative of -y**5/60 - y**4/2 - 5*y**3/6 + 7*y**2. Suppose 0 = 2*j + j + 30. Does 5 divide q(j)?
True
Let m(o) = 2*o**3 - 9*o**2 + o + 53. Is m(5) even?
False
Let t(h) = 2*h**2 + 6*h - 5. Let l be t(-5). Let z = l + -10. Suppose -v = -z*b + 99, -4*b + v = -9*b + 91. Is 19 a factor of b?
True
Suppose -4797 = -16*k + 3747. Is 15 a factor of k?
False
Suppose 220 = -24*p + 580. Is p a multiple of 7?
False
Let q(z) = z**3 + 18*z**2 - 22*z - 30. Let p be q(-19). Is 966/27 - (-6)/p*1 a multiple of 9?
True
Let n = 23 + -14. Let j = n + -6. Suppose -2*w - 38 = -j*w. Does 15 divide w?
False
Let r = -19 - -28. Suppose -r*d + 13*d = 20. Is 5 a factor of d?
True
Let y(p) = p**3 - 2*p**2 + 2*p + 8. Let n be y(0). Does 6 divide n/(4/1) - -32?
False
Let t = -72 - -85. Suppose -47 - t = -5*s. Is s a multiple of 3?
True
Let m be (1 - 4/12)/(4/384). Let r = m + -8. Does 17 divide r?
False
Let x = 3181 + -1833. Is x a multiple of 39?
False
Let r be (-4 - -2)/((-1)/(-2)). Let s(m) be the third derivative of -m**4/3 - m**3/3 + 71*m**2. Is s(r) a multiple of 7?
False
Let t be (4/10)/((-19)/(-285)). Suppose -578 = -t*x + 298. Does 42 divide x?
False
Let t(l) be the first derivative of l**3/3 - 5*l + 1. Let k = 2 - 6. Is t(k) a multiple of 4?
False
Let l = -75 - -144. Let i = -30 + l. Is i a multiple of 6?
False
Let n be 4 + -3*(-2 + 570/(-9)). Suppose 0 = -4*j - 5*w + n, 0*j + j - 53 = -2*w. Does 5 divide j?
True
Suppose -6 - 6 = -3*z, 0 = -2*p - 5*z + 536. Does 23 divide p?
False
Let g = -191 + 390. Does 8 divide g?
False
Let y(u) = 155*u**3 - u**2 + 2*u - 2. Let j be y(1). Let t = j + -84. Does 14 divide t?
True
Let j(u) = -u**3 + 10*u**2 + 15*u - 14. Let q be j(11). Suppose 6*n - q = 5*n. Is 15 a factor of n?
True
Suppose 2*q - 3*q = 0. Suppose 4*m + q*r - 180 = 4*r, 4*r = -20. Is m a multiple of 8?
True
Suppose -2 - 2 = -2*i. Suppose -u = -5*c - 97, 0 = -0*u - 2*u + i*c + 170. Let b = -32 + u. Is b a multiple of 10?
True
Suppose 117 = 5*f + 4*o, 5 = -3*o - 1. Let a(n) = 9*n + 21. Let u be a(-2). Suppose -2*w + f = -5*j, -w - u*w - 2*j = -14. Does 3 divide w?
False
Let n be (-5)/(-1)*(-2 + (-1460)/(-25)). Suppose -5*r + r = -b + 117, 4*r - n = -2*b. Is 16 a factor of b?
False
Let s = 469 - -231. Is s a multiple of 7?
True
Let z(g) = -g**2 - 50*g - 149. Is z(-46) even?
False
Let q(a) = 6*a**2 + 7*a - 4. Let h be q(3). Suppose -68*x + h*x = 168. Is 28 a factor of x?
True
Let b = -34 + 25. Let d = b - -22. Is d a multiple of 13?
True
Suppose -3*p + 69 = u, 2*u - 21 = p + 138. Suppose -4*m + 54 = -u. Does 11 divide m?
True
Suppose -24*l = s - 26*l - 4826, 3*s = 4*l + 14472. Is s a multiple of 13?
False
Suppose -11*i - 4185 = -20*i. Does 65 divide i?
False
Suppose -308 - 1513 = -4*s + 3*p, 4 = 4*p. Is s a multiple of 24?
True
Let b(c) = -c**2 - 19*c + 17. Suppose 0 = -4*y - 106 + 46. Is b(y) a multiple of 11?
True
Suppose -52 = -3*p - p. Let i = p + -8. Suppose i*l - 108 = l. Does 9 divide l?
True
Let o = -289 - -458. Is o a multiple of 33?
False
Suppose 5*f = 5*t + 20, 3 + 13 = -2*f - 4*t. Suppose f = -4*n + n + 423. Does 16 divide n?
False
Let v = 33 + -32. Is (168 - 3)*(1/3)/v a multiple of 5?
True
Let o(f) = 2*f - 6. Let y be (-2 - -1)*(4 - 11). Let r be o(y). Does 3 divide ((-20)/r*4)/(-2)?
False
Let g = 30 - 31. Let y = g - -8. Is 3 a factor of y?
False
Let m(f) = 10*f - 71. Is m(16) a multiple of 3?
False
Let z be 0*(4 + 36/(-8)). Suppose z*r = -r + 72. Is 14 a factor of r?
False
Suppose -5*i + 2304 = -2*g - 2821, -i + 1013 = 2*g. Is 111 a factor of i?
False
Let p be 0 - (-4 - -1) - -2. Suppose 206 + 314 = p*o. Suppose 4*a + o = 4*w, 0 = -3*w + 5*a + 9 + 65. Is w a multiple of 17?
False
Let f(d) = 2*d**2 + 6*d + 56. Is f(-15) a multiple of 52?
True
Suppose -6*q - 8 = -38. Suppose 4*c - q = 11, c - 102 = -u. Does 20 divide u?
False
Suppose 5*t = -3*d - 5, 0*t + 7 = 3*d + 2*t. Let l be (-2)/d - 44/(-10). Suppose -o = -4*y - 42, 2*o + 19 = l*o + 5*y. Is o a multiple of 11?
True
Is 269 - 20 - (3 + -7) a multiple of 23?
True
Let l = 359 - 278. Is 9 a factor of l?
True
Let l(z) = 2*z - 2 + 0*z + 3*z + 23. Does 22 divide l(9)?
True
Suppose -2 = -3*g + 4. Suppose g*t = -5*t + 14. Suppose 5*i - t*k - 68 = -5*k, -92 = -5*i + 3*k. Does 8 divide i?
True
Let a be -2*(-4)/12*-6. Let c be 0/(20/a) + 169. Suppose 0 = 2*k + 4*n - 98, -n = 4*k - 2*n - c. Does 10 divide k?
False
Suppose -4*k - 3*m + 432 = m, 4*k - 438 = 2*m. Is k a multiple of 5?
False
Let t = -8 - -3. Let j be 46/((2/(-2))/(-1)). Let q = j - t. Does 17 divide q?
True
Let f = 191 + -26. Is 5 a factor of f?
True
Let w = -491 - -1365. Is 24 a factor of w?
False
Let d(h) = h + 11. Let m be d(-8). Suppose -2*c + m*c = -13. Let i = -5 - c. Is i a multiple of 4?
True
Let h = 231 - 71. Is 10 a factor of h?
True
Let k = 1610 + -945. Is 12 a factor of k?
False
Suppose 0*h - 12 = -6*h. Does 6 divide 34 + 2/h*-3?
False
Let m = -7 + 13. Is ((-4)/m)/((-4)/264) a multiple of 22?
True
Is 55 a factor of (-1848)/(-7)*-1*(-10)/4?
True
Let j(l) = 68*l - 5. Let k be j(2). Suppose 4*c = -a + k, -c + 49 = 5*a + 21. Does 33 divide c?
True
Let i(u) = -2*u**3 - 4*u**2 + 4*u + 1. Let x be i(-6). Suppose -3*d + 77 = -x. Is 19 a factor of d?
True
Is 29 a factor of (4959/(-57))/((-2)/34)?
True
Let a be (0 + (-396)/16)*4. Let g = 145 + a. Is (-1)/((-4)/(2 + g)) a multiple of 5?
False
Suppose 4 = 3*i + 10. Let v(w) = -29*w**3 + 2*w**2 + 7*w + 5. Is v(i) a multiple of 19?
False
Suppose -3*p - 21 = -3*b, 0 = -7*p + 2*p - 15. Suppose -3*h + 414 = -s, b*h + 186 = s + 738. Suppose -h = -4*n - 2*j, -n + 5*j - 1 + 8 = 0. Is 32 a factor of n?
True
Let h(m) = -m**2 - 18*m - 6. Let l(j) be the first derivative of -j**2/2 + j + 1. Let k(z) = h(z) - 6*l(z). Is 5 a factor of k(-9)?
True
Suppose -3*c = 2*c - 415. Suppose 3*d - 3*k + 2*k - 37 = 0, 0 = -5*k + 10. Let y = c - d. Is 13 a factor of y?
False
Let c = 10 - -12. Let w be 2/(-6) - c/(-66). Suppose -2*b + 65 + 51 = w. Does 18 divide b?
False
Let d(a) = 41*a - 84. Let k be d(9). Let r = k + -173. Does 7 divide r?
True
Let u(p) = -12*p - 6. Let t be u(6). Let o = t + 133. Does 10 divide -2 + o - (1 + 2)?
True
Let m(k) = k - 4. Let y be m(9). Suppose 5*u + 160 = y*b, u - 21 = -4*b + 122. Does 7 divide b?
True
Let w(c) = 9*c + 2. Suppose 2*a = 8 - 6. Let d(o) = -o**3 + o**2 + o. Let g be d(a). Is 11 a factor of w(g)?
True
Let t = -26 + 191. Is t a multiple of 37?
False
Let b = 18 - 4. Suppose 4*t - 17 - b = 5*i, -22 = -4*t + 2*i. Suppose -278 = -t*f - f + w, 5*w = -f + 66. Does 7 divide f?
True
Let t be (9/(-4))/(6/(-16)). Let u be t/4 + (-2)/(-4). Suppose 0 = 5*s + u*b - 157, -s + 2*s - 4*b = 49. Is 7 a factor of s?
False
Suppose 3*p - 1216 = 1211. Does 24 divide p?
False
Let p(b) = -b**3 + 11*b**2 + b - 7. Let o be p(11). Suppose -o*x - 6 = -2, 3*x = -f + 70. Suppose -f = -t - 13. Does 20 divide t?
True
Let h(z) = -15*z - 5. Suppose t - 42 = 4*t. Does 15 divide h(t)?
False
Let x(p) be the second derivative of -5*p**2 + 0 + 5*p + 1/2*p**4 - 5/6*p**3 + 1/20*p**5. Does 4 divide x(-6)?
True
Let z(g) = g**2 - 5*g + 3. Let n be z(5). Suppose -4*k - 6 = -2, 0 = 3*b + n*k - 69. Is 10/2*b/5 a multiple of 6?
True
Is 10 a factor of 300*(42/98 - 29/(-14))?
True
Let i = 3 - -4. Suppose -a = 5 - i. Suppose -a*b + 3*b = 54. Is 23 a factor of b?
False
Suppose 3*b - 482 + 188 = 0. Does 10 divide b?
False
Let c be -4 - (-24)/6*1. Suppose c = 3*j - 7*j + 48. Does 12 divide j?
True
Let d = -456 + 1480. Does 64 divide d?
True
Suppose -2*x = -122 - 10. Does 33 divide x?
True
Suppose -o = 1 + 4, 2*j - 39 = o. Suppose -2*f + j = -13. Does 8 divide f?
False
Let p = 14 + -13. Suppose -p = l + 1. Is