- (-15)/135)*435?
True
Let q(v) = -2*v**3 - 7*v**2 - 6*v - 7. Let j be q(-5). Let t = j - 9. Does 6 divide t?
False
Let u(l) = -4*l + 81. Does 97 divide u(-4)?
True
Let j be (-2 - -2)/3 + 2. Suppose 2*f + f - 297 = 0. Suppose 2*p - 150 = -3*g, 0*g + f = j*g + p. Does 12 divide g?
True
Suppose 0*y = y - 3*p - 37, 5*y - 195 = 5*p. Let w = -8 + y. Does 32 divide w?
True
Let c(j) = -46*j - 78. Is 26 a factor of c(-8)?
False
Let c(i) = -i**3 - 22*i**2 + 36*i - 23. Does 42 divide c(-24)?
False
Suppose -5*d = r + 2, -4*d = -4*r + 22 - 6. Suppose -3*l = -r*c - 30, -5*l + 28 = -c - 2. Is 5 a factor of l?
True
Suppose 0 = -562*h + 551*h - 88. Let y(s) = -1 - 2*s - 3*s - 3. Is 18 a factor of y(h)?
True
Let a(y) = 336*y**3 - 11*y + 11. Is 10 a factor of a(1)?
False
Let m = -579 + 272. Let f = 511 + m. Is f a multiple of 34?
True
Let p(f) = -7 - 10 - 4 - 1 - 3*f. Does 6 divide p(-17)?
False
Let d be 0/((0 + 4)/4). Does 3 divide (d + (-22)/3)*(-57)/38?
False
Is -6095*(1 + (-35)/25) a multiple of 55?
False
Let n(h) = h**2 + h. Let a be n(0). Suppose a*t + 16 = 4*t. Suppose -6*x = -t*x - 102. Does 13 divide x?
False
Let t = 20 + -15. Suppose -r + t*s = 14, -r - 3*s = 2*s - 6. Does 4 divide ((0 - 3) + -1)*r?
True
Suppose z - 2*f = 312, -1257 = -4*z - 0*z + 5*f. Is 24 a factor of z?
False
Is -5*(3 - (7 + (-2058)/(-6))) a multiple of 9?
False
Let t = -176 - -272. Is t a multiple of 2?
True
Let n = 498 + -316. Does 7 divide n?
True
Let q be 2/(-3)*90/3. Let n be ((-1)/(-2))/((-2)/q). Suppose -2*j - 4*k + 94 = 0, -n*k = 5*j - 3*j - 94. Is j a multiple of 10?
False
Let a(j) = -j**2 + 9*j - 14. Let x be a(13). Let z be (-1)/(-4) - x/24. Suppose 0 = z*s, -4*c + 2*s = s - 32. Is c even?
True
Let y be (-11 - -8) + 7 + 0 - 0. Suppose -196 = -y*b - 5*f, 5*b - 5*f + 3*f - 212 = 0. Is 27 a factor of b?
False
Suppose 6*p = 10*p + 12. Is 30 a factor of -1 + p + (-782)/(-23)?
True
Let s be (-9)/(-6)*12/18. Is (-3 + s + 121)*1 a multiple of 27?
False
Let o = 20 - 21. Suppose 4 = -h - 5. Is o*1*(-41 - h) a multiple of 16?
True
Let t = 7 + -3. Let k = -81 - -95. Suppose -25 = -5*x, -2*m = -4*x - t + k. Is 4 a factor of m?
False
Let s = -14 - -30. Suppose t - s = 5*t. Does 11 divide ((-528)/(-9))/t*-3?
True
Suppose -239*f + 248*f - 315 = 0. Does 9 divide f?
False
Suppose -3*a - 7 = -3*l + 8*l, -2*a + 3*l + 8 = 0. Is 7 a factor of -1 + (-3 - -2) + 31/a?
False
Suppose 0*j + 4*j - 80 = 0. Suppose 2*h - 15 = 5*g, 2*g - 3*h - 3 = -20. Let c = g + j. Is c a multiple of 19?
True
Suppose 325*x - 327*x - 4 = 0. Let m(q) = -q**2 - 5 + 6*q**2 - 2*q + 2. Does 15 divide m(x)?
False
Let l(s) = s**2 + 8*s + 9. Suppose 4*r + 39 = 3. Let o be l(r). Suppose 0*c = -3*c + o. Does 5 divide c?
False
Suppose 5*p - 1270 = -2*i, 4*p - 4*i - 537 = 451. Does 9 divide p?
True
Let t be 60/(-18)*3/2. Let q(r) = -r**3 - 5*r**2. Let b be q(t). Suppose 0 = -b*h + 5*h - 180. Is h a multiple of 12?
True
Let u(m) = -m**2 + 41*m - 180. Does 6 divide u(35)?
True
Let b = 6929 + -4901. Is b a multiple of 13?
True
Let g = 1 + 6. Suppose -5*u - 3 - g = 0. Is 22 a factor of (1/3)/(u/(-486))?
False
Suppose 0 = -3*s + s - p + 42, 3*s - 41 = 4*p. Is 3 a factor of s?
False
Suppose 0 = 3*t - 211 - 431. Suppose 0 = 5*q - d - t, -112 = -2*q - 2*d - 36. Does 14 divide q?
True
Let a be 4/6*(-1 + 4). Suppose a*u = -u + 4*s + 3, 3*s + 16 = 5*u. Is (-5)/2*(-6)/u a multiple of 3?
True
Suppose 2*f - 3936 = -22*f. Is 10 a factor of f?
False
Suppose 3*i + 2*n = 1071, 2*n - 1427 = -4*i - n. Is i a multiple of 12?
False
Let l(s) = 3 + 20*s - 2 + 3. Is 12 a factor of l(1)?
True
Let v = -380 + 1676. Is 48 a factor of v?
True
Let t = 52 + 138. Does 3 divide t?
False
Let m = -842 + 1192. Is m a multiple of 5?
True
Is 14 a factor of ((-47)/(-2)*-1)/(9/(-126))?
False
Suppose 104 = -6*a + 368. Does 22 divide a?
True
Let y(s) = -28*s - 5. Let d be y(-2). Let l = d + -42. Is l a multiple of 2?
False
Let j = -77 + 51. Let m = 80 - j. Is m a multiple of 53?
True
Is 12 a factor of 1054/(-5)*(-335)/134?
False
Let f(k) = 35*k - 58. Does 37 divide f(8)?
True
Is (-2 - 2) + 24 + 2 a multiple of 22?
True
Let s(p) be the second derivative of p**7/420 - p**6/72 + p**5/120 + 5*p**4/24 - p**3 - 5*p. Let m(l) be the second derivative of s(l). Is m(3) a multiple of 5?
False
Let v(n) = -n**3 + n**2 + 2*n + 1. Let k(y) = -y**3 + y**2 - y - 1. Let r be k(0). Let s be v(r). Is 10 a factor of (s + -4)*-1 + 25?
False
Suppose -9*x = -14*x + 20. Suppose -l = -4*b + x*l + 128, 0 = 3*l + 12. Is b a multiple of 9?
True
Let v(z) = 4*z - 33. Let u be v(-3). Let l = u + 100. Is l a multiple of 16?
False
Is 725 + 1 + 10 + -10 a multiple of 33?
True
Let i(m) be the second derivative of -m**5/20 + m**4/2 - m**3/2 + 31*m. Let a = 3 + -1. Is 10 a factor of i(a)?
True
Let p(n) = n**3 - 9*n**2 + 10*n - 8. Let w be p(8). Suppose 4*k - 116 = z, 2*z = w*k - 3*k - 145. Suppose 2*f - 7 - k = 0. Is 18 a factor of f?
True
Let o = -18 + 18. Let y(f) = 2*f**2 + f + 320. Let b be y(o). Suppose h + 2*d = 5*h - b, 5*h - 3*d = 399. Is 19 a factor of h?
False
Suppose 4*q - 61 = 3*y + 2*q, -q - 1 = 0. Let d be ((-8)/6)/(7/y). Suppose 0 = 9*c - d*c - 20. Does 3 divide c?
False
Let p be 10*3/6 + -2. Suppose 182 = p*o - 217. Suppose 5*g - 7 = o. Does 14 divide g?
True
Is 8 a factor of (-45)/(-30) - -19*17/2?
False
Suppose -23*r = -3808 - 1850. Is 17 a factor of r?
False
Let d(y) = -95*y**2 + 2*y - 1. Let x be d(-2). Let w = -140 - x. Does 49 divide w?
True
Suppose 5*q + 4*b + 312 = -0*q, 0 = 3*q - b + 194. Let s be (12/16)/(2/q). Does 7 divide ((-16)/s)/((-1)/(-36))?
False
Let o be ((-20)/50)/(1/10). Does 6 divide 112/(-6)*6/o?
False
Is 28 a factor of ((-16)/(-112) - 608/42)*-84?
True
Suppose -13011 = -4*k - 8067. Is 6 a factor of k?
True
Suppose -3*c + 26 = -5*n + n, -3*n = 5*c + 5. Suppose -5*y + 2*o = -625, -4*y + 250 = -2*y - c*o. Does 36 divide y?
False
Let r = -1325 - -1633. Is r a multiple of 22?
True
Suppose 6 = -3*p + 18. Suppose 2*h - 4*x - 120 + 18 = 0, -p*h + x + 183 = 0. Is 7 a factor of h?
False
Suppose -26 = 7*f - 12. Is 2 a factor of (55 - f)*(-3)/(-1 + -8)?
False
Let d = -81 + 241. Let p = 250 - d. Is 28 a factor of p?
False
Let h(k) = 77*k**3 - 2*k**2 + 1. Let x be 4*(-2 + 1)/(-4). Is h(x) a multiple of 38?
True
Suppose -4*v + 10*k - 9*k = -536, 278 = 2*v + 2*k. Is 45 a factor of v?
True
Suppose 4*m - 3*m + 1 = 5*q, 0 = m + 1. Suppose q*y - 156 = -2*y. Does 13 divide y?
True
Let k = -831 - -3405. Is k a multiple of 80?
False
Let k(z) = 5*z**2 + 3*z + 5. Suppose -5*m - 41 + 16 = 3*c, -3*m - 5*c = 31. Does 19 divide k(m)?
True
Let k(q) = 3*q**2 + 9*q - 4. Let j(r) = -3*r**2 - 10*r + 3. Let g(m) = -6*j(m) - 5*k(m). Does 45 divide g(-12)?
False
Suppose 0 = 3*c - c - 4. Suppose c*j - 41 - 127 = 0. Is j a multiple of 28?
True
Let t(n) = -n**3 + 13*n**2 + 27*n + 1. Is 51 a factor of t(12)?
False
Let a(n) = -n**3 + 6*n**2 + 9*n - 12. Is 2 a factor of a(3)?
True
Suppose 5*z + s - 272 = 0, -9*s + 14*s - 10 = 0. Does 18 divide z?
True
Let n = 36 - 33. Let k be (12/8)/(n/8). Does 4 divide (2/6)/(k/72)?
False
Let j be (-86)/(((-24)/20)/(-3)*-5). Suppose -2*v + 22 = -4*b, 2*v + 2*b = 7*b + 24. Let m = j - v. Is m a multiple of 11?
False
Suppose 2*f + f - 87 = 0. Suppose -131 = -2*o - f. Suppose -4*s = s - 4*r - 48, 4*s = -r + o. Is s a multiple of 12?
True
Suppose 3*q = -12, -4*o + 84 = -5*q + 3*q. Let x = o + 1. Is x a multiple of 12?
False
Suppose 29*k = 33*k - 12. Suppose 319 = k*p + a, 2*p + 5*a = -3*p + 515. Is p a multiple of 18?
True
Suppose 0 = -5*x + 2104 + 46. Does 86 divide x?
True
Let t(h) = -3*h**3 - 10*h**2 + 5*h - 7. Let k(i) = i**3 + 5*i**2 - 3*i + 4. Let g(f) = 5*k(f) + 2*t(f). Is g(4) even?
True
Let r = -25 - -159. Let n = -53 + r. Is 22 a factor of n + 3 + (1 - 3)?
False
Suppose 4*x - 11 = 1. Let l(w) = 3*w**2 + 2*w - 1. Is l(x) a multiple of 4?
True
Let o = -3735 + 7617. Is o a multiple of 114?
False
Let n = -59 + 64. Suppose 0 = -4*c + 2*b + 290 - 84, -4*c - n*b + 213 = 0. Does 3 divide c?
False
Suppose -5*t = p - 171, 32*t - 30*t - 69 = -p. Does 2 divide t?
True
Let p = -376 + 558. Suppose 13*a - 14*a = -p. Is a a multiple of 14?
True
Suppose 11*w - 53 = 2. Suppose -18 = f - 3*f - 4*d, -36 = -4*f + w*d. Is 3 a factor of f?
True
Let r(u) = 4*u - 1. Let z be r(2). Let a be