4*t = -17*t + q. Is t a multiple of 12?
False
Let h = -21 + 25. Suppose -6 = -h*t + t, -3*x - 5*t = -31. Let y(d) = d**3 - 5*d**2 - 3*d - 10. Is y(x) a multiple of 23?
False
Let u(c) = c**2 - 7*c - 4. Let i be u(-6). Suppose 5*p + 4*q - 352 = 0, -6*p + 5*p + q + i = 0. Is p a multiple of 12?
True
Let f(q) = 11*q**3 + 17*q**2 - 11*q - 279. Let b(h) = 5*h**3 + 8*h**2 - 5*h - 139. Let y(a) = -13*b(a) + 6*f(a). Is y(0) a multiple of 19?
True
Suppose 2*l - 252 = -2*l. Does 7 divide l?
True
Let z be ((-63)/(-3))/(3/2). Let c = 51 + z. Does 34 divide c?
False
Is 2142/189*102/1 a multiple of 45?
False
Suppose 0 = 3*p - 109 - 146. Let x = p + -157. Is 10 a factor of 16/x + (-346)/(-18)?
False
Let p = 875 - 457. Is p a multiple of 38?
True
Let q(k) = k**3 - k**2 - 31*k + 504. Is q(0) a multiple of 21?
True
Suppose 4*j = -n + 161 + 101, 2*j = -5*n + 140. Suppose -5*a - 48 = c + 94, 4*a - 2*c = -108. Let q = a + j. Is q a multiple of 8?
False
Suppose 160*x = 171*x - 4719. Is x a multiple of 13?
True
Let v = -10 + 17. Let b(m) = m - 7. Let t be b(v). Suppose t = -o + 4 - 1. Is 3 a factor of o?
True
Suppose -42 = 5*n - 5*r + 53, 2*r = n + 23. Let x be -2 - (n + -4 - -2). Let j = 2 + x. Is 9 a factor of j?
False
Let b(h) = -18*h - 29. Let c be b(-10). Suppose -3*w = c - 778. Is w a multiple of 19?
True
Suppose -6*h = -4*h + 12. Let m(u) = -3*u**2 - 6*u**3 + 0*u**2 + u**3 + 4*u**3 + 1 + 8*u. Does 11 divide m(h)?
False
Suppose -7*m = -2*m. Let s(t) = 128*t**2 + 3*t + 2. Let l be s(-1). Suppose 5*a + k = l, m*a + 3*a + 5*k = 85. Does 5 divide a?
True
Let z(m) = -9*m**3 + 7*m**2 + 8*m + 1. Is z(-4) a multiple of 8?
False
Let a(b) = b**3 - 13*b**2 + b - 10. Let k be a(13). Suppose 0 = 15*q - k*q - 1056. Does 22 divide q?
True
Suppose 0*x + 5*x = 0. Is x/1 + -23 + 185 a multiple of 33?
False
Let v be 3 + (-1 - (-1 - -1)). Suppose 5*j + y - 50 = -3*y, -4*j = 5*y - 49. Suppose v*d - 20 = -j. Does 3 divide d?
False
Let a = -1176 + 1939. Is 7 a factor of a?
True
Suppose 4*w - 12 = -0. Suppose 2*h - w*k = 139, -2*h - 138 = -4*h + 2*k. Is 17 a factor of h?
True
Suppose p = -5, -4*n + 3*p + 11 = -16. Let z(w) = -w**3 + 2*w**2 + 2*w. Let d be z(2). Is (-1)/n*(d - 118) a multiple of 22?
False
Suppose -4*x + 3*h = -118, -x + 14*h = 9*h - 21. Is 2 a factor of x?
False
Let t(q) = 12*q**2 + 4*q - 17. Let k(l) = -8*l**2 - 3*l + 11. Let o(p) = -8*k(p) - 5*t(p). Let b(m) = 2*m. Let d be b(1). Does 11 divide o(d)?
False
Let y(o) = -32*o - 128. Let z(m) = -11*m - 43. Let c(j) = -6*y(j) + 17*z(j). Does 36 divide c(7)?
True
Let z = -127 - -313. Let i = z + -50. Suppose 0*o + i = 4*o. Does 16 divide o?
False
Suppose -2*i + 4*a = -7*i - 116, 68 = -3*i - 2*a. Let v = -5 + 3. Does 3 divide v/5 - 208/i?
False
Suppose 0 = 4*y, -l = -0*l + 5*y - 5. Suppose 9*d - 24 = l*d. Does 13 divide d/(-16) - 1602/(-48)?
False
Let v(u) be the second derivative of u**3 + 11*u. Is v(2) a multiple of 12?
True
Suppose 14*d = 15*d - 5*a - 161, -2*a + 182 = d. Is 21 a factor of d?
False
Suppose -y = 4*y - 25. Suppose b = 1, -1 = y*c - 3*c - b. Suppose -2*k + 3*k - 30 = c. Is 10 a factor of k?
True
Does 7 divide (-3)/4 + (3882/24 - -7)?
True
Let o be 3/15 + ((-2133)/15 - 0). Let t = -9 - o. Is 30 a factor of t?
False
Let h = -2100 - -4765. Is h a multiple of 13?
True
Suppose 11*n - 6590 + 2443 = 0. Is n a multiple of 16?
False
Is (-2 - (-12)/9) + 10460/30 a multiple of 58?
True
Let p(q) = -q**3 + q + 17. Suppose -3 = 4*h - 15, 2*a - 5*h = 1. Let v be (-16)/(-20) - a/10. Is p(v) a multiple of 8?
False
Let i = -16 - -15. Let n(o) = o + 1. Let k be n(i). Suppose z = 2*l + 44, z - 5*l - 3 - 38 = k. Is 23 a factor of z?
True
Let z(s) = 17*s + 3. Let j be z(-2). Is 0 + -3 - (13 + j) a multiple of 15?
True
Suppose 0 = -g - 3*v + 453, g - 18*v + 16*v = 468. Does 22 divide g?
True
Suppose t = -3*t - 4. Let f be -2 - ((t - -3) + -6). Is (-17)/2*(0 - f) a multiple of 4?
False
Let c be (8 + -11)*17/(-3). Suppose 5*w - 29 = 4*w. Let z = w - c. Does 10 divide z?
False
Let c = 133 + -73. Does 20 divide c?
True
Let m(c) be the third derivative of 13*c**5/30 - c**4/24 - c**3/3 + 3*c**2. Let a(k) be the first derivative of m(k). Does 17 divide a(1)?
True
Let h(o) = 1 + 4 - 11*o**2 + 13*o + 30*o**3 - 17*o**3 - 12*o**3. Does 3 divide h(10)?
False
Suppose -4*q - 67 = -3*m - 2*m, -2*m + 10 = 4*q. Suppose 4*r - 77 = m. Is r a multiple of 22?
True
Let i = 19 - 16. Suppose 0 = 5*a + 3*k + 1, -i*a + 2 = -2*k - 5. Is a - (0 + -4 - 6) a multiple of 2?
False
Suppose -g - 3789 = -3*y - 4*g, -2*y + g = -2517. Is 15 a factor of y?
True
Let h = -11 + 15. Let z(q) be the second derivative of q**5/20 - q**4/12 + q**3/6 - 2*q**2 + 17*q. Is 16 a factor of z(h)?
True
Suppose 4*c = 20 - 4. Suppose -54 + 8 = 5*m + 3*q, -c*q - 40 = 4*m. Let b = m + 16. Does 8 divide b?
True
Let s be (-3 + 3)/(-1) + 39. Is 13 a factor of s/(-6)*(-8 - -2)?
True
Let c(d) = -d + 18*d**3 - 58 + 63*d**3 + 0*d + 117 - 58. Let a be 2/4*0 - -1. Is c(a) a multiple of 14?
False
Suppose -1 = -0*g + g, -y - 2*g = -96. Let s be (-1)/((1/(-66))/1). Let u = y - s. Is u a multiple of 9?
False
Let k(q) = 5*q**2 - 76*q + 11. Does 11 divide k(29)?
False
Let r be 412/2*4/8. Let a(g) = g**2 + g + 3. Let j be a(-7). Let z = r - j. Is 16 a factor of z?
False
Is (2 - (-951)/21) + (-2)/7 a multiple of 6?
False
Let d(z) be the second derivative of z**5/20 - z**4/3 + 2*z**3/3 - 16*z**2 - 43*z. Does 9 divide d(5)?
False
Let j(b) = b**3 + 10*b**2 + 11*b + 19. Let i be j(-9). Suppose 0 = g - 4*q - 5, -3*g - 3*q + i + 14 = 0. Let m(l) = -l**2 + 8*l - 9. Is m(g) a multiple of 3?
True
Let c = -486 + 264. Is 32 a factor of (-8)/20 - c*1/5?
False
Let s be (-8)/8*(3 - 2). Does 14 divide (-1)/((-2)/(-80)*s)?
False
Let i(n) = 45*n - 63. Is 24 a factor of i(15)?
False
Let n be (-20)/8*(-1 - 1). Suppose n*h - 5*a = -45, 0 = 5*h - 0*a + a + 51. Does 13 divide (-516)/h - 51/85?
False
Suppose 3*b = 4*s + 32, s - b + 21 = 3*b. Suppose 5*i + 2*q - 48 = 0, -3*q + 28 = 4*i - 9. Let a = i + s. Does 2 divide a?
False
Let v = -256 - -368. Is 56 a factor of v?
True
Is 16 a factor of 6 - -329 - (0 + 4)/(-4)?
True
Let w = 297 + -229. Is 17 a factor of w?
True
Suppose -2*a - 656 = 5*p, -4*a - 4*p - 276 = 1036. Let x = 472 + a. Is x a multiple of 9?
True
Let t(s) = s**3 + 6*s**2 - 6*s + 11. Let x be t(-7). Suppose x*j - 82 = 198. Is 10 a factor of j?
True
Suppose 0 = 9*a + 2*a - 605. Does 8 divide ((-24)/(-20))/(166/a - 3)?
False
Suppose -2*v + 10236 = 5*j, -3*j + 4098 = -j + 2*v. Is j a multiple of 31?
True
Suppose 718 = a + 2*u, 158 - 1589 = -2*a - 5*u. Is 14 a factor of a?
True
Let r(z) = -z**2 + 13*z - 7. Let s be r(12). Suppose 5*g - 690 = s*o, 0*o + 3*o - 122 = -g. Let m = g - 59. Is m a multiple of 15?
True
Let c(s) = -s**2 + 12*s + 3. Let q(u) = -u**3 + 10*u**2 + u - 1. Let l(w) = w**3 - 6*w**2 + 3*w - 8. Let j be l(6). Let m be q(j). Does 15 divide c(m)?
True
Let g be 21/2*16/(-12). Let n be 18*(28/(-8))/(-1). Does 25 divide 76/(-3)*n/g?
False
Is (-101538)/(-252) - 5/(-70) a multiple of 5?
False
Suppose 0 = -11*k + 81 - 15. Suppose -415 = k*q - 11*q. Is 7 a factor of q?
False
Let b(x) = -x**2 - 14*x + 8. Is b(-8) a multiple of 14?
True
Let v(j) = -2*j**3 + 3*j**2 + 21*j + 62. Is 7 a factor of v(-4)?
True
Suppose -520 = -5*f - 2*j, 0*f + 112 = f + 2*j. Suppose u = 3*u - f. Is 17 a factor of u?
True
Let j(s) = 6*s**2 - 7*s + 12. Let v be j(3). Suppose -2*m + m + v = 0. Is 5 a factor of m?
True
Does 18 divide (-2)/((-1)/(12/(-14)))*-147?
True
Suppose -1649 = 7*a - 4757. Is 37 a factor of a?
True
Let v be 3 + (-3 - -3 - -1). Let u(j) = -2*j**2 + 8*j. Let d be u(v). Suppose 3*f + 2*z - 13 = 0, d = -0*f + 4*f - 4*z - 4. Does 3 divide f?
True
Let z(g) = 3*g**2 - 13*g - 114. Is 26 a factor of z(18)?
True
Let m(h) be the second derivative of -h**3/2 + 7*h**2 - 10*h. Let g be m(-6). Is 6 a factor of g/(-6)*(-99)/22?
True
Let k = 12 - 9. Suppose -2*h + k = 13. Is 2 a factor of h/15 - 7/(-3)?
True
Suppose -20 - 49 = 2*p + t, -3*p - 116 = -t. Let r = 23 - p. Is 30 a factor of r?
True
Let z(k) = -14*k + 19*k - 2 - 7*k. Let l be z(-2). Suppose -3*i - i + l*s = -164, -i + 5*s + 50 = 0. Is i a multiple of 20?
True
Let s(r) be the third derivative of 1/2*r**4 + 5/2*r**3 + 0 + 0*r - 11/60*r**5 - 1/120*r**6 + 3*r**2. Is s(-12) 