
False
Does 136 divide (-1022)/(-2) - (-143 - -141)?
False
Let s(m) = m**2 + 24*m + 3257. Is 5 a factor of s(-58)?
False
Let n(i) = 385*i - 1791. Is 48 a factor of n(15)?
True
Suppose b + 2688*n - 2689*n = 12005, 2*n - 60060 = -5*b. Is b a multiple of 93?
False
Let p be (1628/(-6))/(-1) + 6/9. Suppose 19*g - 21*g = -p. Suppose -2*d = -g + 32. Does 32 divide d?
False
Let b(g) = 3*g - 4. Let m be b(3). Suppose 0*p - m*p = -6*p. Let o = 24 - p. Is o a multiple of 15?
False
Suppose 0 = 5*m - 3*m - 3*l - 35650, 3*m - 2*l = 53460. Does 32 divide m?
False
Let f be 6290/(-306) + (-8)/18. Let j(o) = -24*o - 132. Does 40 divide j(f)?
False
Let k(s) be the second derivative of 23*s**4/12 + s**3/3 + 3*s**2/2 + 41*s. Let u be k(-1). Let l = u - 13. Is 10 a factor of l?
False
Let o(c) = 26*c**2 + 34*c - 400. Does 10 divide o(16)?
True
Let u be (1/((-3)/(-105)))/((-1)/(-6)). Is 6/12 + (u/4 - 1) a multiple of 5?
False
Suppose 0 = -2*i - 3*i + 880. Let f(d) = -2*d**2 - 26*d + 17. Let r be f(-12). Suppose -r = y - i. Does 27 divide y?
True
Let k(t) = -t**3 - 18*t**2 + 14*t - 7. Let r be k(-19). Suppose -8 + r = 5*y. Suppose -y*v + 14*v = -140. Is 10 a factor of v?
True
Let o(m) = 323*m - 13. Is 18 a factor of o(5)?
True
Let n be (-6)/30*-1 + (-92)/10. Let o(m) = m**2 + 6*m - 3. Let l be o(n). Is 15 a factor of 45*(-4)/l*-2?
True
Suppose -48*b + 56*b = 0. Suppose b = -6*p + 835 + 893. Does 16 divide p?
True
Suppose b + b = 132. Let r be 87/1479 - (-50)/17. Is (10/10)/(r/b*2) even?
False
Suppose -111*d - 144*d + 812052 = -49*d. Does 8 divide d?
False
Let a be (1 - (-4)/(-8))*(2 + 6). Suppose -10*l - 336 = -a*l. Let p = 67 + l. Does 11 divide p?
True
Let a(u) = 15*u**2 - 5*u + 6. Let j be (3 - 1*0/(-1)) + -2. Suppose -5*g - j = d + 2, 0 = g + 1. Is 14 a factor of a(d)?
True
Does 28 divide -114*(-7 + 5)*7/3?
True
Let n(h) = -30*h - 11 - 40*h**2 - 35*h**2 - 32*h**2 + 144*h**2 - 38*h**2. Let x be 9/2*28/(-6). Does 27 divide n(x)?
False
Let h(o) = -23*o + 161. Let s be h(7). Suppose -5*j - 2 = -3*u - 1, -2*j + 2 = 0. Suppose 72 = -s*g + u*g. Is g a multiple of 18?
True
Let c(x) = -3*x - 8. Let f(z) = z + 1. Let b(d) = c(d) + 4*f(d). Let m be b(3). Let y(u) = 62*u**2 + u - 1. Does 5 divide y(m)?
True
Let w be 0 - -3 - (-7 - 787). Let g = w + -432. Is g a multiple of 10?
False
Is 9336/(-2)*((-6)/(-9))/((-8)/3) a multiple of 11?
False
Suppose -4*l + 5*m = -5840 + 1495, -4325 = -4*l + m. Is 18 a factor of l?
True
Let p(z) = z**3 - 4*z**2 - 60*z. Let g be p(-6). Suppose n + c = -0*n + 1188, g = -c - 5. Is 11 a factor of n?
False
Let u be -3 - (-2)/4*4. Let s be 2 - 0 - (1 + (u - -4)). Is 10 a factor of (18 - s)/((-6)/(-33))?
True
Suppose -2*y = 5*f - 17, -4*y - 21 = -5. Suppose -546 = -2*c - 2*i + 3*i, 0 = f*c + 3*i - 1354. Does 5 divide c?
False
Suppose 106 = -5*t + 81, -3*w + 37574 = -4*t. Is 253 a factor of w?
False
Is 64 a factor of (-5 - (-219 - -6))*44?
True
Suppose -6*c + 592 = -68. Let l = -66 + c. Suppose 4*i = -4*z + l, i = -z + 2*i + 1. Is z a multiple of 3?
True
Let l(h) = -583*h**3 + 17*h**2 - 4*h. Does 48 divide l(-2)?
False
Suppose -3513 - 7979 = -13*r. Is 24 a factor of r?
False
Suppose -1671*g = -1653*g - 52704. Does 8 divide g?
True
Is -1 - 0 - -14747 - (-11 + (-54)/(-6)) a multiple of 12?
True
Let x(c) = c**3 + 10*c**2 + 7*c. Let v be x(-5). Let j be v - ((-4)/6)/(10/15). Does 14 divide (-3)/1 + j + -4?
True
Is 81 a factor of -54*(-7 - (-6 + 83))?
True
Let b = 2009 + -3041. Let y = -506 - b. Is 17 a factor of y?
False
Suppose -l + 2*y = 3*l + 24, -13 = 3*l - 4*y. Is 27 a factor of -197*l/(-21)*-3?
False
Suppose 94*x = 202*x - 3027024. Is x a multiple of 28?
True
Let j = -5395 + 6977. Is j a multiple of 7?
True
Suppose 0 = -j + 4*w + 9596, 0 = -22*j + 18*j + w + 38444. Is j a multiple of 36?
True
Suppose -138*i + 107185 = -42269. Does 20 divide i?
False
Let v(n) = 3*n - 4. Let d be v(6). Suppose 2*w + 2*x = 7*x + d, -w - 4 = 3*x. Is 512/36 - w/9 a multiple of 14?
True
Suppose 0 = 4*k + 4*k - 24. Suppose -5*b = -k*b - 76. Suppose 2*x - 82 = -b. Is 19 a factor of x?
False
Let t(n) = -24*n + 58. Let v be t(2). Let y(i) = i**2 + 2*i - 16. Is 12 a factor of y(v)?
False
Let n(h) = h**3 - 6*h**2 + 7*h - 7. Let a be n(5). Suppose -a*k - 8 = -7*k. Suppose 31 = j - 5*v, k*j + 2*v - 34 = -2*v. Does 20 divide j?
False
Let r = 726 - 722. Suppose -j - 5*c + 215 = 0, -5*j = -0*c - r*c - 959. Does 39 divide j?
True
Suppose 0 = -2*m - f + 5, 0 = 16*f - 13*f - 3. Does 72 divide (8*m)/(1/47)?
False
Let r(l) = 139*l**2 - 36*l - 365. Is r(-7) a multiple of 17?
True
Let l be 6/(-10) + (-196)/(-35). Suppose -64*k = -65*k + 242. Suppose -l*f = 92 - k. Does 4 divide f?
False
Does 19 divide ((-15)/(-18) + 1/(-3))/(7/264502)?
False
Suppose 0 = 5*x - 4*p - 4351 - 1973, x = 3*p + 1278. Is 14 a factor of x?
True
Let k(x) = -9 + x**2 - 4 - 34*x + 37. Let d be k(25). Let s = 288 + d. Is s a multiple of 25?
False
Let n = -163 + 427. Let d = -148 + n. Is 29 a factor of d?
True
Let i = -445 + 447. Suppose 0*c = -i*j + 2*c + 1904, -2*j + 1903 = -c. Does 12 divide j?
False
Let x be 135/72 - 3/(-24). Is 8 a factor of 52 + x + (-1 - -3)?
True
Let p(w) = 21*w**3 + 51*w**2 - 10*w - 10. Is p(5) a multiple of 60?
True
Let t(g) = -33*g - 45. Let x(k) = 6*k - 34. Let p be x(5). Is 9 a factor of t(p)?
False
Suppose -5*k + 37389 - 128272 = -3*c, -151449 = -5*c - 3*k. Does 25 divide c?
False
Does 23 divide (103152/196)/(-6 - (-1265)/210)?
False
Let f = 54 - 35. Let c(o) = o**3 - 20*o**2 + 21*o + 26. Let l be c(f). Suppose 234 + l = 2*g. Does 8 divide g?
False
Suppose -n + 588 = 3*p, 48*p + 966 = 53*p - 3*n. Is 13 a factor of p?
True
Let g(r) = -r**3 - 12*r**2 + 8*r - 20. Suppose 2*w - 7*w + 2*v = 55, -3*w + 2*v = 29. Is g(w) a multiple of 27?
False
Let z(i) = -5*i**3 - 4*i - 4. Suppose -27 = 14*g + 1. Let d be z(g). Suppose 52 + d = 3*v. Does 32 divide v?
True
Suppose -7*l - 6920 + 26177 = 0. Is 72 a factor of l?
False
Is 44 a factor of (55/(-22))/(((-5)/(-3830))/(-1))?
False
Let i(v) = 216*v + 45 - 70 + 49. Is 38 a factor of i(2)?
True
Let a be (28/(-21) - 1/(-3))*-92. Suppose 7*o - a = -8. Let v = 17 + o. Does 6 divide v?
False
Let a = 8157 + 9872. Is a a multiple of 19?
False
Let a be 12/(-48) + 2/(-8)*-29. Suppose 2*w - a = 1. Does 2 divide 6 - (w/(-4) - 2)?
False
Let f be (-2)/(-4) + 14/4. Suppose 15*q = 19*q - k - 23, -q - 2*k - 1 = 0. Suppose -4*g + 3*d - q*d = -320, f*d = 3*g - 240. Is 10 a factor of g?
True
Suppose 0 = -3*j - 3*q + 37143, 5*j + 37*q = 35*q + 61887. Does 9 divide j?
True
Let g(j) = 3154*j**2 + 18*j + 18. Does 59 divide g(-1)?
False
Let l be (30/(-4))/(-12 - 146/(-12)). Is 3*-3*415/l a multiple of 12?
False
Suppose 0 = -3*k - 2*j + 11223, 228*j - 230*j = 6. Does 145 divide k?
False
Let i = -5406 + 10487. Is 58 a factor of i?
False
Suppose -303*c + 723450 = -198*c. Is c a multiple of 15?
False
Is (-102062)/(-60) + 89/(-2670) a multiple of 27?
True
Let q = 21122 + -9926. Does 6 divide q?
True
Let b(q) = 7*q**3 - 155*q**2 + 89*q - 18. Let p(d) = 4*d**3 - 88*d**2 + 44*d - 9. Let m(s) = 3*b(s) - 5*p(s). Let x = -29 + 52. Is 14 a factor of m(x)?
True
Suppose -77*j = 153546 - 1227619. Is 29 a factor of j?
True
Let p = 0 + 4. Suppose 6*x - 123 - 81 = 0. Suppose -s - 3*s + x = 2*w, -5*w + 91 = p*s. Is 17 a factor of w?
False
Let s(h) = h**2 - 6*h - 36. Let a be s(6). Is (-328)/12*54/a a multiple of 4?
False
Let c be (-1)/9 - 37/(-9). Let m be (c + -9)/((-2)/172). Suppose -6*y + 5*v = -y - m, 0 = 3*y + 3*v - 264. Is y a multiple of 9?
False
Is 66 a factor of 23499/14*288/162?
False
Let d = -1020 + 1120. Let k be 57/4 - 4/16. Suppose -d = -19*w + k*w. Is 10 a factor of w?
True
Let h(s) = 16*s + 2. Let r be h(-1). Let o = r - -10. Let b(a) = -2*a**3 - 3*a**2 + 6*a + 6. Is b(o) a multiple of 13?
False
Let y be (-42)/(-56)*((-112)/2)/2. Is (504/(-80))/y - 13668/(-40) a multiple of 10?
False
Suppose 1103*s = 1115*s - 3672. Is s a multiple of 30?
False
Suppose -5*o + 26 = -3*g, o - 5*g = 2*o + 6. Let y be -2*(2/(-12) + o/(-3)). Suppose -2*m + 6*m + 246 = 2*i, -y*m - 120 = -i. Is 43 a factor of i?
True
Let f(i) = 5*i**2 - 21*i + 28. Let d be f(15). Suppose 4*z + p = d, 0*z + 2*z = -4*p + 412. Suppose 4*n - 22 = z. Does 10 divide n?
False
Let q(m) = -m**2 + 21*m - 49. Let a be q(18). Suppose