 0, 3*a - 10*b - 926 = -9*b. Let f = a + -49. Is 12 a factor of f?
False
Let m(f) = -18*f - 37. Is m(-7) a multiple of 2?
False
Let o = 122 - -86. Does 26 divide o?
True
Let i(t) = t**2 - 48*t - 292. Does 8 divide i(-15)?
False
Does 11 divide (-1)/(-4) - (-11625)/300?
False
Suppose -4*q - 4*x = 324, -2*q + x = q + 259. Is ((-2 - q) + 3)*6/4 a multiple of 22?
False
Suppose 33 = -3*r + 6*r. Let i = r + -8. Suppose -4*s - 4*u - 4 = -52, 0 = -i*s + 5*u + 20. Is 5 a factor of s?
True
Let q(x) = -20*x**3 - 2*x**2 - 6*x - 4. Let t be q(-2). Suppose 4*g + 20 = -0*g, 5*m - t = 4*g. Is 5 a factor of m?
False
Let u be (6/3)/(-3 - -2). Let l be 3/u*72/(-27). Suppose -60 = -l*o - o. Is 3 a factor of o?
True
Let n = -269 + 718. Is n a multiple of 10?
False
Suppose -3257 = -5*i + 4*q - 2*q, -2 = 2*q. Is i a multiple of 41?
False
Let w = -83 - 47. Let o = w + 187. Does 29 divide o?
False
Let d = -3 + -2. Let k be (-258)/(-5) - (-3)/d. Suppose 4*v - k = -x + 2*x, 0 = -3*x + 3. Is v a multiple of 13?
True
Let a be (-1)/6 + (-4916)/24. Let o = 92 + a. Let k = 206 + o. Does 31 divide k?
True
Let r(o) = o**3 - 10*o**2 + 17*o - 7. Let j be r(8). Suppose 0 = -10*i + 91 - j. Is 3 a factor of i?
True
Let i(s) = s**3 - 12*s**2 + 1. Let f be i(12). Let p(z) = z - 10. Let c be p(5). Does 25 divide c/(3*f/(-15))?
True
Suppose 3*c + 28 = -o, -4*c - c + 5*o = 60. Let k = 28 - c. Let s = k + -23. Is 15 a factor of s?
True
Suppose -58*z + 250587 = -64121. Does 32 divide z?
False
Let l = 4330 + -2120. Is 34 a factor of l?
True
Let n(v) = v**3 - 8*v**2 + 19*v - 4. Let t be n(8). Suppose -t = -u - 3*u. Is 3 a factor of u?
False
Suppose -5*w = -77 - 633. Suppose 0 = 4*i - 3*i - 76. Let v = w - i. Is 22 a factor of v?
True
Suppose -y - 753 = -4*o, -3*y + 0 - 3 = 0. Let s = 282 - o. Is s a multiple of 47?
True
Let f = -149 + 283. Does 45 divide f?
False
Let z be (-13)/39*(0 + 0). Suppose 4*n + 6 - 150 = z. Is 6 a factor of n?
True
Let r(i) = i**3 + 13*i**2 + 14*i + 2. Suppose 6*z + 40 = z. Is 14 a factor of r(z)?
True
Suppose 0 = 5*h - 4*a - 37, -5*a - 5 = h + h. Suppose -4*o + 176 = 4*p, h*o = 5 + 5. Is p a multiple of 14?
True
Let n(x) = x**2 + 5*x. Let l(s) = 4*s - 1. Let a(b) = -2*l(b) + 3*n(b). Is a(-5) a multiple of 21?
True
Suppose 31*k = 34*k. Suppose k = -5*j - 4*b + 1403, 4*j - 24 = 2*b + 1114. Is 19 a factor of j?
False
Let l(b) = -b**3 - 23*b**2 - 28*b - 97. Let d be l(-22). Let c = -2 + 6. Suppose 29 = c*i + 4*o + 9, -2*i + d = -3*o. Is i a multiple of 9?
False
Let w = -53 - -33. Let s = -18 - w. Suppose 177 - 67 = s*j. Does 15 divide j?
False
Let s = 51 + -16. Let l = 145 - s. Let c = -64 + l. Is 23 a factor of c?
True
Suppose -3*o = 2*u - 2516, -4*o - 405 = -2*u - 3769. Does 24 divide o?
True
Let d = 65 + -62. Is 0 + (2 - 0) + d a multiple of 5?
True
Let k(d) = -d - 3. Let w be k(-3). Suppose w = 5*o - 4*o - 117. Suppose 31 = -0*q + q + 3*y, -3*q - y + o = 0. Does 7 divide q?
False
Does 5 divide -1 - (164 + 8)/((-6)/3)?
True
Suppose 0 = -2*l + 6*l - 624. Suppose -2*m = -4*z + m + 148, 4*z - m = l. Is z a multiple of 20?
True
Let s be 2/13 + 26308/26. Suppose -3*d - 5*m = -2*m + 1020, 3*d + s = -m. Is 28 a factor of (d/18)/(2/(-6))?
True
Let n = 65 + -63. Is (n - (-432)/10) + (-1)/5 a multiple of 5?
True
Let f = -60 + 62. Is 17 a factor of f + (2 - 4) + 136?
True
Let u = 0 + 30. Suppose -g + 6 = 3*j - u, 2*g + j = 52. Is g a multiple of 4?
True
Does 39 divide (-137440)/(-192) - 1/(-6)?
False
Suppose -q - 2 = -4*c, -5*c = 5*q - 0*q - 40. Suppose -q*s + 153 + 99 = 0. Is 7 a factor of s?
True
Suppose -21*y + 2760 = 660. Is 10 a factor of y?
True
Let h = 381 + 187. Does 12 divide h?
False
Let i = 21 - 18. Suppose -21 = -4*n + i. Is (n/(-4))/(3/(-6)) even?
False
Suppose 2*g + r - 29 = 0, 1 = g + 2*r - 12. Let h = g + -21. Does 19 divide (-264)/(-9) - 4/h?
False
Let l be 1 - (7 + -3)/(-2). Suppose c = -l*c. Let q(n) = n**3 + n**2 - n + 27. Is 27 a factor of q(c)?
True
Suppose p + 3*p = -d + 1134, 0 = 3*d + 4*p - 3378. Does 6 divide d?
True
Let m = 902 - 548. Is m a multiple of 7?
False
Suppose 5*h + 46 = 4*o, 0 = -7*h + 12*h + 10. Let i(v) = 4*v - 4*v + 4*v + 3. Does 13 divide i(o)?
True
Let w = 463 + -155. Is 11 a factor of w?
True
Suppose 3*i - 5*a - 132 = 0, 10*i - 9*i = -3*a + 30. Is 3 a factor of i?
True
Suppose 2*c - 2640 = -5*o, -2*c + 5*o = -2633 - 27. Is c a multiple of 10?
False
Let s(i) = i**3 - 5*i**2 - 8*i + 16. Let c be s(6). Is 29 a factor of -2*c/6 - (-2120)/24?
True
Let p(c) be the third derivative of -7*c**4/12 - 4*c**3 - 10*c**2. Is 11 a factor of p(-8)?
True
Let m be (-13)/((-234)/60)*24/10. Let b = m + 49. Is b a multiple of 3?
True
Suppose 1162 = 7*i + 322. Does 34 divide i?
False
Suppose 3*b + 3*s = -42, -4*b - 21 = 9*s - 12*s. Does 12 divide (b/6)/((-1)/14*1)?
False
Let k(u) = 3*u**2 + 17*u - 20. Let g(v) be the second derivative of -v**4/12 - v**3 + 7*v**2/2 - 3*v. Let p(z) = 17*g(z) + 6*k(z). Is p(3) a multiple of 8?
True
Let i be 1/(-2)*(-32)/8. Let h = i - -3. Suppose -4*d = 0, t + 24 = h*t + 2*d. Does 2 divide t?
True
Let a = -4 + 9. Suppose 75 + 135 = 4*l + 2*x, -2*x = -a*l + 240. Is 34 a factor of l?
False
Let p(z) = -z**2 + 52*z + 237. Is 62 a factor of p(39)?
True
Let x(c) = -c**2 + 8*c - 7. Let n(v) = v**2 - 5*v + 1. Let l be n(6). Suppose 2*m - l - 3 = 0. Is x(m) even?
True
Suppose -4*d + 20 = 0, 0 = -5*t - 5*d + 44 + 1. Suppose 4*x + 3*b - 530 = -137, -b = t*x - 395. Is 16 a factor of x?
False
Let u(c) = -c**3 - 17*c**2 + 6*c + 39. Let j(f) = -4*f**2 + f - 4. Let x be j(2). Does 39 divide u(x)?
False
Let v(k) = -5*k - 10. Let b be v(-2). Suppose -5*y - 5*u + b*u = -160, 2*u = 5*y - 160. Is y a multiple of 16?
True
Let c(t) = 16*t - 9. Let x be c(-11). Let a = x + 365. Is a a multiple of 30?
True
Suppose 2*m + 4*s + 37 = -3*m, -2*s + 14 = -4*m. Is 5 a factor of 5/(m/2) + 22?
True
Let t(s) = 2*s**2 + 7*s - 13. Let b(l) = -4*l**2 - 15*l + 26. Let m(x) = 6*b(x) + 13*t(x). Does 34 divide m(5)?
False
Suppose 3*q + 21 - 84 = 0. Suppose 0*m = m - q. Is 7 a factor of m?
True
Let h = -40 + 76. Suppose 143 = k + h. Does 19 divide k?
False
Let m(p) = -30*p - 1. Suppose 6*y + 8 = 10*y. Let w be 25/(-30) - y/12. Is 4 a factor of m(w)?
False
Let s(z) = -6*z - 18. Let y be s(12). Let m = -34 - y. Is m a multiple of 7?
True
Suppose n = -5*v - 3*n + 45, 5*v - 30 = -n. Suppose -v*y = -2*j + 309, 3*j + y - 498 = -3*y. Suppose 5*r + j = 8*r. Is 18 a factor of r?
True
Let k = -24 + 26. Suppose k*n - 14 = 58. Is n a multiple of 14?
False
Let p(h) = 8*h**2 - 7*h + 8. Let b be p(2). Let v = b + 1. Is 14 a factor of v?
False
Does 23 divide (0/5 + -3)/(12/(-644))?
True
Let b(m) = m**2 + 5*m - 3. Let i be b(-6). Does 3 divide (-8)/6 - (-49)/i?
True
Suppose -76 = -g - g. Let q = g - 32. Does 6 divide q?
True
Let p(o) = 4*o**2 + 4*o - 24. Let b be p(6). Suppose -4*y = -l - 177, 6*y - 3*l = 3*y + b. Is y a multiple of 15?
False
Suppose -4*j + 4*s = -28, 0 - 45 = -3*j - 5*s. Suppose -3*g + j = 2*g. Suppose g*l - 4 = 12. Does 4 divide l?
True
Let n(c) = 6*c + 8. Let o be n(5). Suppose -6*p + 5*p = -o. Is 19 a factor of p?
True
Suppose 0 = -2*j + 4*x + 30, 4*j - 5*x = -0*j + 45. Suppose j*r + 7 = 6*r. Suppose 3*s + r*b - 2*b = 7, -3*b = 2*s - 6. Does 3 divide s?
True
Let s = -3 + -20. Let h be (-3)/9*-1*-117. Let w = s - h. Is 8 a factor of w?
True
Let y(x) = -24*x + 40. Let w be y(7). Let n = w + 224. Is 12 a factor of n?
True
Let x(s) = s + 5. Let y be x(-7). Is (-50)/(-1) - (-2 + y) a multiple of 9?
True
Suppose -f + 49 + 9 = 0. Let a = 104 - 68. Suppose -2*p + a = -f. Does 34 divide p?
False
Let y = 42 + 349. Is y a multiple of 37?
False
Suppose 4*d - 385 = 43. Suppose 5*k + d = m, 0 = -k + 6*k + 10. Is 13 a factor of m?
False
Let i(b) = -b**2 + 7*b - 7. Let f be i(4). Let t(y) = 4 - f + 9*y - 4 + y. Does 15 divide t(5)?
True
Let b = -1075 + 1705. Is b a multiple of 70?
True
Let b be (-70)/(-40) + 2*(-1)/(-8). Suppose z - 12 = -b*z. Is 3 a factor of z?
False
Does 5 divide (-36 + -21)*33/(-9)?
False
Let h(z) = -10*z**3 - z**2 + z + 1. Let j be h(-1). Let d = -199 + 198. Let c = d + j. Is 8 a factor of c?
True
Let j(a) = -a**3 - 4*a**2 + 11*a + 14. Let u be -1 + -12 + 6 + 2/(-2). Does 14 divide j(u)?
True
Suppose 0 = -2*i - 2*i + 1444. Suppose i = -6*c + 1279. Does