1 + 31. Let j = i - -12. Does 9 divide d(j)?
False
Suppose 2*k + 2 + 30 = 0. Let a = 10 + -16. Is (a - 1)/(4/k) a multiple of 22?
False
Let y(f) = f**3 + 7*f**2 + 8*f - 8. Let j be y(-4). Suppose -16*b + 384 = -j*b. Does 6 divide b?
True
Let r be (-2)/7 + (-12)/7. Let c(u) = -22*u**2 - u - 9. Let t(z) = -33*z**2 - z - 14. Let m(a) = -8*c(a) + 5*t(a). Is m(r) a multiple of 10?
True
Let j be 6*5/45 + (-12)/(-9). Suppose -4*u = -s - 234, 0*u + j*s + 114 = 2*u. Does 7 divide u?
False
Is ((-12)/6 + 1)*(-41 - 0) a multiple of 17?
False
Suppose 867 + 1443 = 7*c. Is c a multiple of 10?
True
Let x = 2350 + 702. Does 11 divide x?
False
Suppose 549 + 41 = -10*l. Let n = 68 + l. Is 3 a factor of n?
True
Let w = 11 + 4. Is 3 a factor of w?
True
Let s(u) = -24*u + 1. Let a(i) = -i + 14. Let j be a(10). Let n = j - 5. Is s(n) a multiple of 11?
False
Let z be (16 + 3)*(-1 - 4/(-2)). Suppose 55 - 435 = -z*t. Is 5 a factor of t?
True
Suppose -4*o + 2250 = -2670. Does 31 divide o?
False
Let g(w) = -w**3 - 4*w**2 + 9*w - 5. Let i(o) = -3*o + 3. Let c be i(4). Let r be 3/6*(c - 5). Does 16 divide g(r)?
False
Let s(j) = j**3 - j**2 - j + 6. Let m(t) = t - 14 + 3*t**2 + t + t - 2*t**2. Let u be m(-6). Is 25 a factor of s(u)?
True
Suppose 3*h - 12*k = -8*k + 832, 4*k = 8. Does 35 divide h?
True
Let h(u) = 109*u - 146. Let i(l) = 600*l - 804. Let x(a) = 28*h(a) - 5*i(a). Is 20 a factor of x(5)?
False
Suppose 3*r - 151 = 194. Is 5 a factor of r?
True
Suppose 8*b = 525 + 339. Is 12 a factor of b?
True
Let s be 1/4 - (-171)/36. Suppose -1 = 3*t - j, -s*j - 21 - 10 = 3*t. Does 23 divide (t - 62/(-8))*4?
True
Suppose -26*j + 8*j + 6174 = 0. Does 11 divide j?
False
Suppose 4*t - 8 = 0, -3*q + 14*t + 494 = 9*t. Is 28 a factor of q?
True
Let a = -491 + 724. Is 2 a factor of a?
False
Is 9 a factor of ((-90)/(0 - -5))/(-2)?
True
Let k = -73 + 117. Suppose 4*a = -4*h + k, h + 5*a = -3*h + 47. Does 5 divide -2*10/h*-6?
True
Let k = -6 - -8. Let q(n) = -n + 13. Let b be q(9). Suppose -k*t + 3*y = -28, 2*t - 3*y = b*t - 4. Does 6 divide t?
False
Let q be 2547 + 1 + 4/2. Is (-24)/(-42) + q/21 a multiple of 25?
False
Let s be (-12)/30 - (-28)/(-5). Let k be -2 + 0 - (4 + s). Suppose -90 = -5*g - 4*l, 5*g - 3*l - 69 + 14 = k. Is 10 a factor of g?
False
Suppose 9*y - 8*y = 0. Suppose 0 = -3*n + 5*n - 5*p - 67, -3*n + p + 81 = y. Is 13 a factor of n?
True
Let r = -21 + 17. Let o be 9/2*r/(-6). Suppose -2*l + 99 = -5*p, -5*p = o*l - 0*p - 86. Is l a multiple of 14?
False
Is (-3)/(-1) - -2*(-10 - -235) a multiple of 11?
False
Let g(s) = 3*s + 1. Let x be g(-3). Is x/(-52) - (906/(-26) + 2) a multiple of 4?
False
Let c be (-1 + 0 + 0)*-43. Let o = -101 - -127. Let u = c - o. Does 17 divide u?
True
Let d(h) be the first derivative of 0*h + 4/3*h**3 + 1/2*h**2 + 5. Is 9 a factor of d(2)?
True
Let s = 73 + -19. Is s a multiple of 21?
False
Let i be (10540/(-16))/(-1) - 1/(-4). Suppose -4*p = -i - 349. Does 37 divide p?
False
Let n be 4/(-8) + (-482)/(-4). Suppose 15*l = 19*l - n. Is l a multiple of 20?
False
Suppose 2*u - 10 = 14. Let t = 17 - u. Suppose -t*f + 25 + 0 = 0. Is f even?
False
Does 10 divide (42 - 44)*10*(-23)/4?
False
Suppose j - 285 = -4*j + 2*d, -j = 5*d - 30. Let a = -16 + j. Is 13 a factor of a?
True
Suppose 3*q = -q - 2*i - 94, -5*q + 4*i = 124. Is (1 + q + -3)*-3 a multiple of 26?
True
Suppose -5*a - 7 = c, -c - 3 = 5*a - a. Is 3 a factor of c?
False
Suppose -36 = -3*c + 81. Is 2 a factor of (-4*(-6)/(-36))/((-2)/c)?
False
Suppose 0 = 4*h, c - 2*h = -0 - 21. Let m(x) = 3*x + 30. Let l be m(-14). Let u = l - c. Is 9 a factor of u?
True
Let x(r) = -r + 9. Let i be x(4). Suppose 0 = 9*v - 4*v - 70. Let q = v + i. Does 4 divide q?
False
Let z(k) = -2*k**2 + 16*k + 14. Let w be z(12). Let u = w - -167. Is 17 a factor of u?
True
Is (-43)/(-1)*13/((-39)/(-69)) a multiple of 23?
True
Suppose 3*v - 36 = -9. Suppose -960 = j - v*j. Is 24 a factor of j?
True
Let j be (1 + 0)/(1/71). Let o = j - 50. Is o a multiple of 6?
False
Let o be 6 + -4 - -1 - 1. Suppose o = h - 0. Suppose -3*n + l + 8 = -8, -4*n - h*l + 28 = 0. Is 2 a factor of n?
True
Let n = 2714 + -894. Is n a multiple of 76?
False
Let f = -967 - -1015. Is 6 a factor of f?
True
Let w(h) = 25*h**2 + 17*h + 96. Is 8 a factor of w(-9)?
True
Let o = -298 + 114. Let f = o - -269. Does 17 divide f?
True
Let a(r) = -36*r + 4. Let o = -24 + 20. Let z be a(o). Suppose -6*p = -z - 32. Is p a multiple of 15?
True
Let p = 2 - 2. Suppose -4*q = -p*q - 44. Let m(d) = d - 2. Is 3 a factor of m(q)?
True
Let t(h) = 2*h**2 - 16*h + 10. Let y(l) = -4*l - 18. Let n be y(-7). Is 6 a factor of t(n)?
False
Suppose 24*c - 7421 = 379. Does 18 divide c?
False
Suppose 5*w + 12772 = 36*w. Does 37 divide w?
False
Let d(o) = -o + 29. Let m be d(8). Suppose -m*a = -18*a - 111. Is a a multiple of 7?
False
Let v(w) be the second derivative of -w**5/20 - 7*w**4/12 - 4*w**3/3 - 9*w**2/2 + 2*w. Let b be v(-6). Suppose -b*o = -7*o, 7 = y + 2*o. Does 2 divide y?
False
Let z(j) = -10*j**2 - 3*j - 1. Let a be z(-2). Let n = a + 23. Does 16 divide 72/((9/n)/(-1))?
True
Suppose h - 3*v - 182 = 0, 0 = -26*h + 28*h - 2*v - 372. Is h a multiple of 12?
False
Let k be (0/(-6))/(1*2). Suppose -5*z - l + 38 = -76, 0 = 4*z + 5*l - 108. Let i = k + z. Does 11 divide i?
True
Suppose 13*q - 3*w - 955 = 11*q, 3*q + 3*w = 1410. Is 9 a factor of q?
False
Let m(w) = 24*w**2 + 8*w - 8. Suppose 18 - 2 = 4*o. Does 24 divide m(o)?
True
Suppose -11*o - 12 = -14*o. Suppose o*j + 5*i - 79 = 0, -3*j - 2*i = j - 94. Does 3 divide j?
False
Suppose 3*i - 3591 = -2*t, i - 1526 = 4*t - 329. Does 7 divide i?
True
Let n be ((-6)/10)/(-2*(-5)/(-50)). Let h(w) = -w**2 + 4*w + 5. Let t be h(4). Suppose 0 = -3*i - 4*v + 105, n*v + 2*v - 180 = -t*i. Is i a multiple of 13?
True
Let c = -55 + 64. Suppose -4*a + c*a - 3*r = 694, 2*a = 5*r + 270. Does 35 divide a?
True
Suppose 24*m + 50 = 22*m. Let z = m + 42. Does 7 divide z?
False
Let k(t) = -5 + 0 + 7 + 186*t + 2. Does 21 divide k(2)?
False
Suppose 0 = 3*g - 4*g. Let j = g + 3. Suppose 0*y = 4*y + j*n - 43, 5*y + 4*n - 54 = 0. Is 10 a factor of y?
True
Let w(h) = -13*h + 29. Does 16 divide w(-12)?
False
Let y = -8 - -237. Let k = y + -135. Does 17 divide k?
False
Let x = -148 - -218. Is 14 a factor of 2/(-5) + 5908/x?
True
Suppose -4*v - 5*a = -699 + 262, -3*v - a = -336. Suppose -6*m = -v + 23. Is (192/m)/((-4)/(-20)) a multiple of 8?
True
Suppose 25 = -2*z + 7*z. Is 17 a factor of (3 + (z - 6))/((-2)/(-27))?
False
Let z(y) = 8*y + 19. Let u(o) = 2*o + 0*o - 6*o - 18 - 3*o. Let k(r) = 6*u(r) + 5*z(r). Is k(-11) a multiple of 9?
True
Let n(r) = 7*r**2 - 8*r**2 - 3 + 2*r**2 - 5*r. Suppose 3*w = -0*w - 5*o + 9, 0 = 3*w - 5*o - 39. Is 17 a factor of n(w)?
False
Suppose 0 = -7*x + 6*x + 3. Let l be 1/x - 20/(-30). Suppose 0 = s - 16 - l. Is 5 a factor of s?
False
Suppose 0 = -2*d + 2*o, 3*o - 8 - 1 = 0. Suppose -d*j + 182 = 4*j. Does 15 divide j?
False
Let i(u) = -u**2 - 5 - 3*u - 2 + 3. Let x be i(-3). Does 5 divide (-59)/x + (-3)/(-12)?
True
Does 24 divide (0 + -627)/((567/(-18))/21)?
False
Suppose 215 = o + 2*x, 5*x = 17*o - 14*o - 601. Is o a multiple of 4?
False
Suppose -5*u - 2273 = -3*x - 3*u, -3*x = 5*u - 2245. Is x a multiple of 13?
False
Let v(f) = f - 3. Let q be v(4). Let z(o) = 28*o**2 + q + 30*o**2 + 10*o**2 + 0. Is z(1) a multiple of 23?
True
Suppose -3*h + n + 0*n + 9 = 0, -2*h - 2*n = -14. Suppose 4*l + 4 = 24, -3*t + h*l = 14. Suppose -t*a + 11 = 5*u, u = 3*a - 0*u - 25. Is a a multiple of 2?
True
Suppose 8*i = 26 + 238. Let u = i - -22. Does 11 divide u?
True
Let l(s) = -s**3 + 7*s**2 + 7*s - 7. Let d be ((-112)/(-24))/((-4)/(-6)). Is l(d) a multiple of 21?
True
Suppose 7*t - 35*t + 3080 = 0. Is 11 a factor of t?
True
Let d(z) = z**3 + 8*z**2 - z + 5. Let f = 10 - 16. Is d(f) a multiple of 25?
False
Suppose -4*j = -5*k + 3 + 1, j + 4*k = 20. Suppose 2*g - 365 = -3*i + 91, 0 = 4*g - j*i - 932. Is 21 a factor of g?
True
Let y be -1*1 - 3/3. Let x be (8 + -2)*4/(-3). Does 12 divide -45*(x/(-12))/y?
False
Let h(z) = -4*z**3 - 4*z**2 + 8*z + 9. Suppose -5*o + 12 - 42 = 0. Let q be h(o). Is q/15 + 6/(-15) a multiple of 13?
False
Suppose -3*l + 8*l = 2380. Suppose -4*i = -5*z + l, 109 = 5*z - 3*i - 368. Let c = -64 + z. Is c a multiple of