Let v(a) = -30*a**2 - a. Let r be v(l). Let i = r + 40. Is 3 a factor of i?
True
Suppose 2*k - 10*t - 446 = -12*t, -t + 659 = 3*k. Is 10 a factor of k?
False
Let t(g) = g**3 + 6*g**2 + 13*g + 8. Let s be t(-6). Let v = s + 159. Is 13 a factor of v?
False
Let s(k) = 2*k**3 - 18*k**2 + 13*k - 1. Is 19 a factor of s(9)?
False
Let v = 433 + 623. Is v a multiple of 24?
True
Suppose -4*b - n = -23, 27 = 3*b - 0*b + 4*n. Suppose b*r + 2*o + 121 = 0, -3*o = 5*r - 0*r + 124. Let j = 43 + r. Is j a multiple of 4?
True
Is 35744/13 + 144/312 a multiple of 55?
True
Let u be 38/(-2) + (-5)/5. Let v be u/50 - 107/(-5). Does 10 divide (-29)/(-3) - (-7)/v?
True
Suppose 3*h = -4*z + 9, 0 = 5*z + 4*h - 5*h + 3. Suppose z = -5*o - 58 + 363. Does 11 divide o?
False
Let c be -1 + 6/(-2) + -2. Suppose 11 = -l - 3. Is 7 a factor of 6*l/c*1?
True
Let c(b) = 2*b**3 - 7*b**2 - 8*b - 15. Let m be c(7). Let d = -148 + m. Is 20 a factor of d?
False
Let b be (-20)/((0 - -1) + 0). Let q = -43 + 60. Let n = q - b. Does 33 divide n?
False
Is 66 a factor of (30/(-8))/5 + 3027/4?
False
Suppose 0 = 4*r + v - 40, -4*r + v = -0*r - 32. Let b = 88 + r. Does 31 divide b?
False
Let u = -41 + 986. Does 35 divide u?
True
Let h(j) = j**3 + 10*j**2 + 4*j - 9. Let o be (0 + -2)/(-8) - (-42)/(-8). Does 16 divide h(o)?
True
Is (21/(-3) - 1842/(-6)) + 6 a multiple of 4?
False
Is 5 a factor of 784 + 8 + 12 + -10?
False
Let z(m) = m**3 + 14*m**2 + 2*m + 31. Let n be z(-14). Suppose 0 = n*l, 4*l = -w + 3*w - 166. Is 11 a factor of w?
False
Suppose -124 = -k - 2*q + 6*q, 5*k - 2*q - 548 = 0. Is 36 a factor of k?
True
Suppose 4*p + 3*w - 167 = 0, 13 = -3*p - 2*w + 139. Does 2 divide p?
True
Suppose 2*j = j + 34. Let u = 49 - j. Suppose u = -2*c + 3*c - 5*k, -4*c = 5*k - 10. Does 2 divide c?
False
Suppose 788 - 32 = 3*g. Is g a multiple of 36?
True
Suppose 8*c - 14*c = -504. Is 2 a factor of c?
True
Let z be 3*4/4 - -1. Let a = 21 + z. Suppose m = -2*d + a, -4*m + 76 = 3*d + 26. Is d a multiple of 10?
True
Let g(p) = -4*p**2 + 3*p - 22 + 2 + 5*p**2 + p. Does 3 divide g(4)?
True
Let d(n) = -n**3 - 10*n**2 - n - 10. Let i be d(-10). Let a be -1*1 + -1 + 4. Does 13 divide (i + -2)/a - -40?
True
Is 3*(-1302)/(-12)*2 a multiple of 21?
True
Let g = 1566 + -1116. Does 25 divide g?
True
Suppose 4*f = -3*y + 29, 4*y = 2*f - f + 26. Let i(b) = b - 2. Let g be i(y). Is 19 a factor of 57*(-3)/(-15)*g?
True
Suppose -3*n = -0*n - 6. Suppose 5*m - 2*l - 39 = 0, -4*l = -n*m - 3 + 9. Is m a multiple of 3?
True
Suppose 0 = -3*r - 2*q + 672, 447 = 2*r + 6*q - 5*q. Is r a multiple of 2?
True
Suppose 9 = -i - 1. Let y = i - -38. Is y a multiple of 7?
True
Let v be (-8)/(-20) - (-14748)/5. Let h be (-4)/6 - v/30. Let y = h - -209. Does 35 divide y?
False
Let g(r) = r**2 + r - 1. Let h be g(-3). Suppose 2*u + h = 157. Is 23 a factor of u?
False
Let r = 26 + -49. Does 3 divide 4/8*(-1 - -2 - r)?
True
Let g(m) = -2*m - 2. Suppose -2*d = -4*w + 4, -d = 3*w - 7*w. Let v be g(w). Let f(t) = -t**3 - t + 82. Is 34 a factor of f(v)?
False
Let m = 33 + -22. Suppose m - 1 = 5*n. Is (-1368)/(-27) - n/3 a multiple of 13?
False
Let v = 53 - 32. Suppose 0 = 3*u - 105 + v. Is 7 a factor of u?
True
Let n = 927 - 642. Does 15 divide n?
True
Let g = -140 - -919. Is 109 a factor of g?
False
Suppose p + 3*b = 4058, -5*b = 265*p - 266*p + 4090. Is 55 a factor of p?
True
Let f be (-53)/2 - 1/(-2). Suppose -89 = -2*t - w, -t + 225 = 4*t + 2*w. Let g = t + f. Is g a multiple of 10?
False
Let d(x) be the second derivative of x**3/6 + 3*x**2/2 - 19*x. Does 4 divide d(5)?
True
Suppose 1312 = 58*i - 57*i. Is i a multiple of 8?
True
Let o(n) = 5*n - 4*n + 2*n + 8 - 3*n**2. Let s be o(9). Does 12 divide 2/(s/(-100) + -2)?
False
Let z = -77 - -440. Is z a multiple of 20?
False
Let m(q) = 3*q - 64. Let r(j) = -2*j + 43. Let h(s) = -5*m(s) - 7*r(s). Is h(-13) a multiple of 8?
True
Suppose -31 - 29 = 4*m. Let j(a) = -a - 4. Let t be j(m). Suppose 0 = t*s - 5*s - 48. Is s a multiple of 3?
False
Let i(g) = g**3 - 7*g**2 + 15*g - 7. Let s be i(3). Suppose 4*q + 2*m - 36 = -2*m, -4*q + 36 = s*m. Is q a multiple of 3?
True
Let o(l) = 3*l**2 - 8 - 6*l + 2*l + 5*l. Suppose -22*c = -14*c + 32. Is o(c) a multiple of 10?
False
Let d be 260 + (-4 - -5)*-3 - -2. Suppose -9*w + 1087 = d. Is w a multiple of 12?
False
Let k(i) = -i**3 + 6*i**2 + i - 5. Let o be k(6). Let m be (-2*(3 - o))/1. Let h(q) = -q**3 - 4*q**2 - 3*q + 3. Is 15 a factor of h(m)?
True
Suppose 22*a + 5*n = 17*a + 8850, -4*n - 8832 = -5*a. Is 104 a factor of a?
True
Let z be (-38)/247 + (-6244)/(-26). Suppose 0 = -5*m - m + z. Is m a multiple of 10?
True
Let h(d) = -20*d + 16. Does 16 divide h(-17)?
False
Let c = -75 + 915. Is c a multiple of 4?
True
Is 6/42 + -3 + 837/21 even?
False
Suppose 0 = -30*k + 22*k + 448. Does 25 divide k?
False
Suppose 7*l + 557 - 1579 = 0. Suppose n = 6*g - 8*g + 104, 3*g + 4*n = l. Does 9 divide g?
True
Let z(v) = -89*v - 1. Let n(h) = 20*h**2 + 8*h - 32. Let w(k) = 7*k**2 + 3*k - 11. Let c(u) = 6*n(u) - 17*w(u). Let d be c(4). Is 12 a factor of z(d)?
False
Let x be (0/9)/(4/2). Suppose 5*v + x*o - 89 = -o, 2*o = -2. Let b = 25 - v. Is 7 a factor of b?
True
Let l = -14 + 8. Let o be -2*(-3)/l - -3. Suppose j = -o*j - 5*p + 35, -32 = -2*j + p. Does 10 divide j?
False
Suppose 4*w + 5*f = 4, f + 9 - 1 = -3*w. Let o = 23 + w. Is o a multiple of 6?
False
Suppose -4695 - 1263 = -2*z. Does 33 divide z?
False
Suppose -4*u - 4 = -0, -u + 1399 = r. Does 35 divide r?
True
Let o be 1 + (-295)/5*-2. Let x = o - 103. Does 2 divide x?
True
Suppose -r - r + 64 = 0. Let c = 14 - -22. Suppose 0 = -4*u + c + r. Is u a multiple of 17?
True
Let t = -465 + 711. Is 20 a factor of t?
False
Let o(d) = 4*d**2 + 29*d + 172. Does 39 divide o(-11)?
False
Does 2 divide (-79)/(-7) + 80/(-280)?
False
Let q be 2316/21 + 16/(-56). Suppose 0 = -4*g + z + q, -2*g = -3*z + 2*z - 56. Suppose -g = -w + 17. Is 22 a factor of w?
True
Let k(t) = -80*t**3 - t**2. Let b(d) = d**3. Let i(a) = -2*b(a) + k(a). Let q be i(-1). Suppose -59 = -4*j + q. Does 12 divide j?
False
Suppose 2*x = -11 + 1. Let o = x - 9. Is 10 a factor of (-8)/(-28) - 276/o?
True
Let s be (-1 - 2/(-4))*0. Suppose -z - 60 = 3*b, -3*b + 3*z + z - 75 = s. Let f = -9 - b. Is 12 a factor of f?
True
Suppose -3*o - 37 = 4*m - 1426, 2*m + 2289 = 5*o. Let l = -254 + o. Does 10 divide (-2)/4 - l/(-10)?
True
Suppose 5*v - 4*v - 19 = 0. Suppose u - 5*m + v = 0, -5*u + 29 + 6 = m. Let g = 13 + u. Does 5 divide g?
False
Is (-5 + 13)*(29 - (1 + 2)) a multiple of 16?
True
Let o(s) = -s**3 - 5*s**2 - s. Let n be o(-5). Suppose -l + 2 = -2*y - 7, 29 = n*l - 2*y. Suppose -3*i + l*u = -64, u + 15 = i - 5. Is 6 a factor of i?
True
Suppose 24 = -3*l + 5*r, 0 = 3*l + 4*r - 0*r + 24. Let c(y) be the second derivative of -y**3 - 5*y**2 + 13*y. Is c(l) a multiple of 19?
True
Suppose -s - 15 = -6*s. Suppose -5*y = 7 - 17, s*z - 7 = 4*y. Is (z/(-2))/((-1)/2) a multiple of 2?
False
Suppose -3518 = -34*u + 5050. Is 23 a factor of u?
False
Suppose 4121 = 5*q + 8*q. Is 10 a factor of q?
False
Let t(w) = 11*w**2 - 15*w + 4. Is 10 a factor of t(-11)?
True
Let i(g) = 7*g**2 - 3. Suppose -5*n + 12 = -4*n. Suppose -18*c - n = -14*c. Is i(c) a multiple of 10?
True
Let v(u) = -u**2 - 16*u + 14. Let n be v(-17). Does 5 divide (108/10)/(n/(-15))?
False
Suppose -6*b + 9*b - 261 = 0. Suppose 2*h - 294 = -4*a, a + 24 = 3*h + b. Is 17 a factor of a?
False
Is 8/(-6)*504/(-12) a multiple of 8?
True
Let s(l) = -l**2 - l - 1. Let b be s(-2). Let y be (-3)/b - 1 - 0. Suppose 0 = -5*o + 4*u - u + 172, -o - 2*u + 24 = y. Does 16 divide o?
True
Let p = 18 - -11. Let i = p - 19. Is (-472)/(-40) + 2/i a multiple of 3?
True
Suppose 3*y = -2*o + 1060, -5*o + 10*y = 15*y - 2655. Is 13 a factor of o?
True
Let u = 1091 - -1249. Is u a multiple of 36?
True
Let m(l) = -81*l**2 - 28*l - 11. Let p(q) = -41*q**2 - 13*q - 5. Let k(b) = 6*m(b) - 13*p(b). Let s = 0 - -1. Is k(s) a multiple of 26?
False
Suppose 2265 = 5*n - 5*i, 1375 = 3*n + 5*i - 4*i. Does 29 divide n?
False
Let p = 296 + -261. Does 7 divide p?
True
Let m be 108/8*(-8)/(-12). Let y(w) = 2*w + 3*w - 5*w**2 - 3*w - 13 + m*w**3 + 11. Is 8 a factor of y(2)?
False
Let g = 879 - 483. Does 13 divide g?
False
Suppose -11*y = -7*y - w - 173, 170 =