of 2*s**3/3 + 93*s**2/2 + 181*s + 75. Does 6 divide m(-49)?
True
Suppose -299*v + 15984 = -148*v - 143*v. Is v a multiple of 18?
True
Is 12 a factor of (1/3)/((-264)/1386)*-6892?
False
Let z(j) = 13*j**2 - 545*j + 112. Is 22 a factor of z(53)?
True
Suppose 0 = -31*f - 36*f + 397176. Is f a multiple of 180?
False
Let s = 18548 - 12012. Is s a multiple of 86?
True
Let d(z) = 14*z - 7. Let j be d(7). Let c = 159 - 148. Let p = j + c. Is p a multiple of 30?
False
Suppose -454815 = -270*v + 3613005. Does 22 divide v?
False
Suppose -109*y + s = -104*y - 2463, 5*s + 1447 = 3*y. Is y a multiple of 3?
False
Let d(n) = 23*n**2 + 83*n + 12. Is d(12) a multiple of 36?
True
Suppose -g - 5*r = g + 15, -5*g = r - 20. Suppose g*t + 927 = 3*m - m, 3*m = 2*t + 1374. Is m a multiple of 9?
False
Suppose -70*v + 1516 + 536364 = 0. Is v a multiple of 12?
False
Let g be 3*(((-50)/(-15))/5 - 0). Suppose -202 = -2*t + g. Is t a multiple of 5?
False
Suppose i + 240 = 2*w, 4*w + 12*i - 8*i = 468. Suppose 7*q - 4109 = w. Does 44 divide q?
False
Suppose 19*h - 73175 = -50*h + 1571647. Is 97 a factor of h?
False
Suppose 53993 + 16343 = 14*o. Is 17 a factor of o?
False
Let m = 4116 - -12494. Is m a multiple of 10?
True
Let j = 10 - -122. Suppose -23*z = -19*z - j. Does 33 divide z?
True
Let x(z) = 1. Suppose -4*s = f - 1, 3*s + 2*s = -2*f + 5. Let b(k) = -33*k + 34. Let n(j) = s*x(j) - b(j). Is n(5) a multiple of 10?
True
Suppose -17*p - 3 = -20*p, 3*y = -3*p + 10713. Is 14 a factor of y?
True
Suppose -88*t + 78*t = 910. Let g = t - -160. Is g a multiple of 69?
True
Suppose -38*q = 43*q - 121176. Does 4 divide q?
True
Let s(n) = -597*n - 80. Does 33 divide s(-3)?
False
Let k(x) = -4*x - 6. Let a be k(-2). Suppose l - 9 = -0*n + 2*n, a*l + 3*n = 25. Let i = 11 + l. Does 16 divide i?
False
Let r(t) = t**3 - 5*t**2 - 9*t + 11. Let h(k) = -k**3 - 7*k**2 + 8*k + 5. Let n be h(-8). Let l be r(n). Let u = l - -43. Is u a multiple of 3?
True
Suppose i + 14 = 3*h, i - 34 = -3*h - 3*i. Let v(y) = -2*y**2 + 11*y + 6. Let j be v(h). Suppose 2*d = -j*r + 4*r - 288, 5*r = 3*d + 358. Does 10 divide r?
False
Let q = 66 + -45. Suppose -7*g + q + 14 = 0. Suppose -7*h + 208 = -g*h. Does 26 divide h?
True
Let b = 399 - 383. Let i = b - -248. Is 12 a factor of i?
True
Suppose -12*o + 140 = -2*o. Let q be 161/o - 7 - 2/4. Does 5 divide -10*(-18)/8*q/3?
True
Suppose -21*f - 318 = -18*f. Let o = 135 + f. Does 22 divide o?
False
Let c = 680 + -301. Is c a multiple of 104?
False
Let s = -80 - -76. Let l(a) = -a**2 - 5*a. Let m be l(s). Suppose 106 = y - 2*t, -m*y - 5*t + 321 = -155. Does 19 divide y?
True
Let c = -99 + 141. Let j = -26 + c. Suppose -g + 18 = -j. Does 21 divide g?
False
Let f(n) = 11*n**2 - 18*n - 42. Let d(g) = -5*g**2 + 9*g + 21. Let y(z) = 13*d(z) + 6*f(z). Suppose -k = 3*q - 55 + 95, -5*k + 10 = 0. Does 13 divide y(q)?
True
Suppose v = -v + 162. Let n(q) = -125*q**3 + 4*q**2 + 3*q. Let w be n(-1). Let d = w - v. Is 17 a factor of d?
False
Is ((-2)/6*(13 - 16))/((-1)/(-76)) a multiple of 6?
False
Let y = 20824 - 11864. Suppose y = 15*q - 7*q. Suppose -7*i - q = -11*i. Is i a multiple of 56?
True
Let q(b) be the third derivative of b**5/60 + 11*b**4/24 + 44*b**3/3 - 97*b**2. Is 10 a factor of q(19)?
False
Suppose 256*d = 1203750 + 1626586. Does 18 divide d?
False
Let f(a) = 8*a**2 - a - 6. Let s = -111 - -113. Is f(s) a multiple of 12?
True
Let t = 3374 - 211. Suppose -5*g = w - 1565, -7*g = -2*w - 6*g + t. Is w a multiple of 27?
False
Suppose 0 = -4*x - 2*n + 2078, -5*x + 4*n + 0*n + 2578 = 0. Let a = x - 217. Is a a multiple of 14?
False
Let g = 2934 - 990. Is g a multiple of 12?
True
Let n be 33/(-6)*(2 - (-4)/2). Is (4/6)/(n/(-12573)) a multiple of 20?
False
Let m(c) = c**2 - 7*c + 3. Let y be m(7). Let v(q) be the second derivative of q**5/10 - q**4/3 + q**2 - 205*q. Is v(y) a multiple of 4?
True
Let v(s) be the first derivative of s**5/60 + 3*s**4/4 - 13*s**3 - 23*s**2 + 18. Let f(a) be the second derivative of v(a). Is f(-23) a multiple of 31?
False
Suppose 8*r + 759 - 1111 = 0. Suppose -5184 = -r*i + 35*i. Does 48 divide i?
True
Suppose -30 = -5*b - 5*t, 4 = 5*b - 2*t + 9. Is (-3 + 1)/(b/(-176)) a multiple of 22?
True
Suppose 5*c = -s + 3833, -2*s + 31*c + 7591 = 26*c. Does 88 divide s?
False
Let z(l) = -40*l - l**3 + 14 + 21*l**2 - 4 + 16*l + 28. Is 19 a factor of z(19)?
True
Let m = -181 + 203. Suppose -m*n + 1399 = -1417. Is n a multiple of 12?
False
Let u = -48 - -52. Suppose -5*m = -u*y, -m = y - 0*y. Does 8 divide 486/10 + ((-3)/5 - y)?
True
Suppose -18*x + 547 = k, 2*x + 3011 = -6*k + 11*k. Is k a multiple of 114?
False
Suppose 4*c = 5*v + 19, 0*c + 2*c + 5*v = -13. Let j(g) = 385*g**3 + 2*g - 3. Is j(c) a multiple of 12?
True
Let j = 26 - 24. Suppose -2*b - 54 = 2*f, -j*f = f + 6. Is 18 a factor of (b/10)/((-1)/10)?
False
Let c(g) = -g**3 - 40*g**2 - 2*g - 80. Let d be c(-40). Let l(w) = 7*w**2 + 3*w + 23. Is 13 a factor of l(d)?
False
Let v(g) = -5*g**2 + 0*g - 10 + 10*g - 6*g**2 - g**3. Let w(k) = k**2 - 12. Let r be w(0). Is v(r) a multiple of 11?
False
Let w = 34 + -34. Suppose 5*q + w - 31 = -3*z, 0 = 4*z - q - 3. Does 5 divide (8/12*3)/(z/13)?
False
Suppose -m = -4*q - 29, 4*m - 60 = -m + 3*q. Suppose 4*p - m*b - 277 = -4*b, -p + 68 = -b. Is p a multiple of 10?
False
Let r(s) = 1083*s**2 - 26*s + 131. Is 40 a factor of r(4)?
False
Suppose -6*h + 34 = 16. Suppose -448 - 38 = -h*m. Suppose -m = -9*n + 648. Is n a multiple of 10?
True
Suppose 4*z = 5*c - 38512, -166*z = 4*c - 169*z - 30810. Is 330 a factor of c?
False
Let q be (-2)/3 + 8 + 2756/(-6). Is 1/((-2)/q) - (31 - 32) a multiple of 15?
False
Let b(l) = -700*l + 888. Is 8 a factor of b(-7)?
False
Suppose -4*z + 16 - 8 = 0. Suppose -t - 2*t + 754 = -5*r, -z = r. Let m = t - 126. Does 41 divide m?
False
Let p(j) = 858*j - 430. Is p(5) a multiple of 10?
True
Let y(v) = -18*v**3 + 2*v + 2. Let f be y(-1). Suppose -24*c = -f*c - 1776. Does 33 divide c?
False
Suppose 3 = 2*c - 5. Suppose 40 = -5*f + 25, -5*f - 927 = -c*x. Does 19 divide x?
True
Suppose -3*p - 5*z + 3792 = 0, -p - 265 + 1529 = -3*z. Is 4 a factor of p?
True
Let m = 35 + 353. Let v = 670 - m. Does 47 divide v?
True
Let t(j) = 23*j**2 + j. Let b(a) = a + 1. Let z be b(-3). Let i be t(z). Is 3 a factor of 2/(-9) + 2990/i?
True
Let n = 15946 + -9152. Is n a multiple of 5?
False
Let w(l) = 1922*l - 532. Is w(6) a multiple of 53?
False
Suppose -3*n + 209 = 5*c - 197, -5*n = -5*c + 390. Suppose 0 = -9*g + 19 + c. Does 4 divide g?
False
Suppose 0 = -164*c - 13*c - 976 - 9113. Let a(y) = y**3 + 7*y**2 - 5*y + 3. Let n be a(-6). Let q = c + n. Is q a multiple of 3?
True
Let i = -712 + 2689. Let l = -1319 + i. Is l a multiple of 14?
True
Let j = -577 + 578. Is 4 + 4 + -9 + (j - -710) a multiple of 63?
False
Let d = 4228 + 3740. Is d a multiple of 24?
True
Let c(h) be the first derivative of -3*h**4/2 + 10*h**3/3 + 7*h**2/2 + 25*h - 144. Is c(-5) a multiple of 22?
True
Suppose -z + 4*i = 2*z + 4, 5*z = -3*i + 32. Suppose 0 = 3*j - z*j + 22. Let q = j + 12. Does 17 divide q?
True
Let a(f) = -f**3 - 56*f**2 - 513*f + 102. Is 57 a factor of a(-45)?
True
Suppose 0*z - 11*z = 11. Is ((2 + -3)/1)/(z/121) a multiple of 11?
True
Let v(q) = -2*q**2 + 290*q - 612. Is v(109) a multiple of 54?
True
Let h(z) = -35*z + 10. Let f be h(3). Let q be 0 + f/(-4) + 14/56. Suppose -d + q = -5*i - 21, 5*i = -4*d + 305. Is 7 a factor of d?
True
Let y(o) = 3*o - 3. Let z be y(1). Suppose z = x + 14 + 14. Is 7/(x/10 - (-1 - 2)) a multiple of 3?
False
Let z(v) = v**3 + 12*v**2 + 6*v + 13. Suppose 12*h + 55 + 29 = 0. Is 9 a factor of z(h)?
True
Suppose 4*g + 4 = 0, 0 = -5*o + 10*g - 5*g + 32695. Is o a multiple of 22?
False
Let p be (6/4)/(3*(-4)/(-160)). Suppose -3*i + p = 14. Suppose -i*g + 6*g - 4*b - 544 = 0, -g - 3*b = -152. Is 14 a factor of g?
True
Let v(b) = -b**3 - 18*b**2 + 17*b - 27. Let r be v(-19). Suppose u = h - r, h + 3*u + 1 = -0. Does 21 divide (h/(-20) + 1)*135?
False
Let s = 5302 - -590. Is s a multiple of 11?
False
Let p(z) = 11*z**2 - 43*z + 71. Let m(b) = 5*b**2 - 21*b + 36. Let x(v) = 9*m(v) - 4*p(v). Is x(17) a multiple of 10?
True
Let d(v) be the first derivative of 10*v**3/3 + 11*v**2/2 - 30*v - 64. Does 25 divide d(5)?
True
Let m = 35 - 25. Let b be 78