2 + 2*v + 3. Let y(t) = 4*t**2 + 2*t + 3. Let l(h) = 3*d(h) - 2*y(h). Let z be l(-3). Is 10 a factor of (-46)/(-3) - z/18?
False
Suppose -3 = 3*l - 9. Let a(q) = 18*q**3 + 2*q**2 + 2*q - 4. Is a(l) a multiple of 19?
True
Let p(u) = -218*u + 2. Let q(y) = -218*y + 1. Let b(f) = -6*p(f) + 5*q(f). Is b(1) a multiple of 11?
False
Suppose 19 = -4*t + 15. Is 2 + (-270)/3*t a multiple of 24?
False
Let f be 1345/25 - (-3)/15. Suppose -l + 6*l - 20 = 0. Suppose -m - 1 = l, -2*m = -2*v + f. Is v a multiple of 8?
False
Let w(o) = o**2 - 4*o + 5. Let j be w(3). Suppose 1 = -j*q + 17. Does 2 divide q?
True
Suppose -285 = -5*g + 765. Is g a multiple of 21?
True
Let f = 114 - 70. Let x(l) = 2*l**2 - 2*l + 5. Let o be x(4). Suppose -o - f = -q. Is 27 a factor of q?
False
Suppose 3*t = -t - 608. Let v = 213 - t. Does 14 divide v?
False
Let h(q) = 7*q**2 - 4*q - 4. Let o be h(-6). Let s = o - 35. Is s a multiple of 34?
False
Let a = -75 - -24. Let x = a + 87. Suppose 5*s + x = 5*t - 79, 2*t + 5*s = 60. Does 5 divide t?
True
Suppose 565 = 20*l + 45. Is l a multiple of 13?
True
Suppose 2*z - 3*v - 1489 = 0, -46*v + 2980 = 4*z - 50*v. Is z a multiple of 30?
False
Let z be 4/4 + -1 + 2. Suppose 0*v - 127 = -z*v - 3*k, -3*k + 295 = 5*v. Is v a multiple of 14?
True
Let p(x) = 29*x + 479. Is 63 a factor of p(-10)?
True
Let t(o) = o**2 + 4*o + 5. Let g be t(-4). Let n(w) = -w**3 + 6*w**2 - 4*w - 1. Let m be n(g). Let a(l) = l**3 - 4*l**2 + 3*l - 7. Does 5 divide a(m)?
True
Let h(k) = 2*k**3 + 18*k**2 + 10*k - 6. Does 12 divide h(-7)?
True
Does 13 divide ((-1220)/6)/((-116)/174)?
False
Suppose 1062 = c + 2*a, 0 = -4*c + 5*a - 958 + 5167. Is c a multiple of 33?
True
Let x = -283 + 332. Is x a multiple of 7?
True
Let z(m) be the second derivative of -m**5/20 + 11*m**4/12 - 4*m**3/3 - 3*m**2 - 14*m - 1. Is z(6) a multiple of 18?
True
Let k(s) = 2*s**2 + 10*s - 31. Is k(-9) a multiple of 2?
False
Suppose 0 = -49*k + 44*k + 1325. Is k a multiple of 45?
False
Let t(f) = 10*f - 3. Let w = -21 + 23. Suppose -m + 5*j + 6 = 0, w*m - 8 = 2*j + 4. Is 19 a factor of t(m)?
True
Let f = 3979 - 1944. Is 55 a factor of f?
True
Is (-582063)/(-452)*(-8)/(-6) a multiple of 101?
True
Is 21 a factor of -420*((-9)/3 - -2)?
True
Let t = -218 + 359. Let s = -104 + t. Is s a multiple of 7?
False
Let j = 7 - -20. Suppose t + 8 = j. Is 15 a factor of t?
False
Let i(q) = 66*q - 207. Does 15 divide i(7)?
True
Suppose -5*n = n - 1158. Let q = n + -109. Does 14 divide q?
True
Let d = -12 - -14. Suppose -5*w - 211 = -3*r, 0 = r + d*w - 12 - 51. Let k = -25 + r. Is 21 a factor of k?
True
Let o(c) = -c**3 - c**2 - 13*c - 7. Does 51 divide o(-6)?
False
Let z = -197 - -308. Let n = z - 55. Does 14 divide n?
True
Suppose 13 = 4*k - 4*f - 7, -25 = -4*k + 3*f. Suppose -2*x + 2*o = x - 12, -3*x - 3*o + 27 = 0. Suppose -40 = -k*a + x*a. Is 3 a factor of a?
False
Let g be 0 - (-1 + -7)/2. Suppose -6*d + 16 = g. Is ((-72)/(-60))/(d/15) even?
False
Suppose 13*y - 10*y - 504 = 0. Is y a multiple of 29?
False
Suppose 3*q = -3*k, 0 = 2*q + k - 6*k + 14. Let l = q - -4. Suppose b - 2*u - 60 = -b, 2*b = -l*u + 40. Is 11 a factor of b?
False
Let s(m) = m**2 - m - 4. Let h be s(3). Let a(z) = z + 3*z - h*z - 5*z. Is 2 a factor of a(-2)?
True
Let g be 3*1/3*127. Let r = g - 47. Is 24 a factor of r?
False
Suppose 3*g - 5*m - 6 = 0, -2*g + 8 = 3*m + 4. Let f = -256 - -258. Suppose 6*d = 3*d - f*j + 22, -j = g*d - 14. Is d even?
True
Suppose 1312 = -20*i + 7672. Does 14 divide i?
False
Let c(a) = -8*a + 4. Let v be c(-4). Suppose 0 = -q - 3*q + v. Is 3 a factor of q?
True
Let x = -76 + 174. Suppose 0 = 3*o + 2*h - x - 20, -4*o - 2*h = -158. Is 13 a factor of o?
False
Let y(s) = -2*s - 8. Let o be y(-4). Let p = o + 3. Suppose -20 = -p*a + 7. Is a a multiple of 2?
False
Suppose -5 = -f + 16. Suppose -3*u = -f + 3. Let d(x) = 7*x - 9. Is d(u) a multiple of 10?
False
Suppose -7*c + c = 78. Let f = c - -13. Suppose -3*k - 12 = 0, f = -2*r - 4*k + k + 34. Is r a multiple of 6?
False
Let k = 550 + -779. Let b = k - -455. Is b a multiple of 24?
False
Let h = -2 - 6. Let t = h + 12. Suppose 0 = -n + s + t, -14 = -5*s + 11. Does 6 divide n?
False
Suppose 5 = -2*u + 51. Suppose -5*f + c - u = 0, 0*f + f + 7 = c. Is 8 a factor of (-415)/(-10) + 2/f?
False
Suppose -4*s + 4080 = 4*n, -2*n - 4075 = -4*s - 7*n. Does 41 divide s?
True
Let t = -2225 + 4052. Does 89 divide t?
False
Let u = 309 - 183. Let p = -3 + u. Does 6 divide p?
False
Suppose 3*c - 47 = -6*z + 2*z, 4*z + 5*c - 49 = 0. Let w = 24 - z. Is w a multiple of 3?
False
Let h(l) = 3*l**2 - 2*l + 4. Let u be (-44)/(-10) - ((-168)/30 + 6). Does 9 divide h(u)?
False
Let h(b) be the third derivative of -1/120*b**6 + 2/3*b**3 + 0 + 0*b + 1/8*b**4 + 3*b**2 - 1/30*b**5. Does 4 divide h(-3)?
True
Let b = -209 - -243. Is 10 a factor of b?
False
Suppose -13*c - 53 = -14*c. Let z = c + -21. Is 9 a factor of z?
False
Let z(t) = t**3 - 12*t**2 + 5*t + 26. Does 30 divide z(12)?
False
Let g(s) = 11*s**2 + 50*s + 129. Does 128 divide g(-17)?
False
Let v be (3/((-3)/2))/((-4)/(-80)). Let z = 131 + v. Does 14 divide z?
False
Suppose 43*y + 2625 = 58*y. Is 6 a factor of y?
False
Suppose -3*b = -20 + 5. Suppose -40 = 5*z - 10*a + b*a, 0 = -4*a + 8. Is -3 - (z - -3) - -56 a multiple of 14?
True
Let r(o) = 126*o**2 + 67*o + 137. Is r(-2) a multiple of 13?
True
Let u = 523 - 489. Is u a multiple of 34?
True
Let y be -2 + 4*(-3)/(-12). Does 17 divide (27*y)/((-3)/4)?
False
Suppose -4*x = -33 - 23. Let n(g) be the second derivative of g**3/2 - 10*g**2 + 2*g - 12. Does 12 divide n(x)?
False
Let h(c) = c**3 + 3*c**2 - 2*c - 4. Let f be h(-3). Let k = -222 + 262. Suppose 0 = s, 4*x - k = -f*s - 3*s. Is 5 a factor of x?
True
Let y(n) = 12*n**2 - n - 1. Let w = 7 - 3. Let p be -4*(0 - w/(-16)). Is 4 a factor of y(p)?
True
Let u(k) = 428*k**2 - k - 2. Does 129 divide u(-2)?
False
Let j(g) = g + 8. Let i(b) = -b**3 + 9*b**2 - 9*b + 2. Let z be i(8). Let q be j(z). Is 13 a factor of (-1*q)/(12/(-168))?
False
Is (-31 + 88)*1*3 a multiple of 24?
False
Is 14 a factor of (0 + -528 + -4)/(6/(-42))?
True
Suppose 2*n = -2, -5*u - 33 = -n + 26. Let p be ((-39)/((-143)/11))/(1/6). Does 10 divide p*(1 + u/(-9))?
False
Let m(a) = -47*a - 9. Suppose 5*x - 13*x = 24. Is m(x) a multiple of 33?
True
Let h(w) = w**3 - 5*w**2 - 11*w - 18. Let j be h(7). Suppose -j*q = -6*o + 8*o - 83, 118 = 4*q - o. Does 12 divide q?
False
Let j(h) = 4*h**2 + h - 2. Let d be j(5). Suppose 0 = 3*t - b - d, -4*b - 72 = 4*t - 220. Is t a multiple of 11?
False
Suppose 0 = 5*r + 11 - 1, -741 = -3*p + 3*r. Does 44 divide p?
False
Let r = -2 - -4. Suppose -2*p + 88 = p + 5*z, -3*p - 4*z = -92. Suppose 2*d - p = -r*d. Does 5 divide d?
False
Let x(m) = m + 2. Let y be x(-11). Let s = 9 + y. Does 19 divide (2 + 1)*(19 + s)?
True
Suppose 90 = 18*t - 0*t. Is 2 a factor of t?
False
Let a = 99 - -58. Is a a multiple of 55?
False
Let y(d) = 37*d + 67. Let t be y(8). Let m = t + -53. Does 31 divide m?
True
Let u = -582 - -684. Is 27 a factor of u?
False
Let y be ((-2 - 2) + 2)*-5. Suppose -16*b = -y*b - 1200. Is b a multiple of 10?
True
Suppose 0 = -20*g + 3723 + 9557. Is g a multiple of 28?
False
Let g be 30/((45/10)/(-3)). Let x = 42 + g. Is x a multiple of 6?
False
Let s(g) = 313*g**2 + 4*g. Is s(-2) a multiple of 52?
False
Let u(x) = x**3 + 13*x**2 - 3*x - 7. Let r be u(-13). Suppose 2*h - 3*h = -r. Does 8 divide h?
True
Let l be 1 - (21/3 - -2). Let n = l + 10. Suppose 4*q = -4*g + 46 + 50, 2*q - n*g - 68 = 0. Is q a multiple of 16?
False
Let f(h) = -26*h + 5. Let m be f(-8). Suppose d - m = -76. Suppose 6*s - 128 = -2*g + 2*s, 2*g - 5*s - d = 0. Does 22 divide g?
True
Let z be -14*(1 - 2) + 0. Let c be z + (-2)/(-1) + 0. Let u = -12 + c. Is 2 a factor of u?
True
Let x be (-6)/3 + 100 + -1. Suppose 3*y - x - 2 = 0. Does 11 divide y?
True
Suppose 2*j + 538 = 5*o + 6*j, o = -3*j + 112. Is o even?
True
Let i(n) = -335*n - 339*n + 32*n**2 + 671*n + 4. Let z = 3 - 1. Is i(z) a multiple of 37?
False
Is 37 a factor of (3 + 90)/((-26)/(-676))?
False
Let y(z) = z**3 + 12*z**2 - 8*z - 8. Let r be y(-10). Let g = -101 + r. Does 19 divide g?
True
Let k = -30 - -28. Let y(x) = -24*x - 8. Is y(k) a multiple of 8?
True
Let g be (3/4)/(1/4). Let z(i) = i**2 + 4*i - 2.