- 295 - 685. Is 15 a factor of p?
True
Suppose 0 = 2*i + z - 8, 3*z = -2*i + 4*z + 8. Suppose 0 = i*j - 6*l + l - 121, -l - 1 = 0. Does 29 divide j?
True
Suppose 7*d + 237 = -92. Let p = d + 99. Is p a multiple of 4?
True
Suppose 6*w - 637 = 107. Is w a multiple of 25?
False
Suppose -4*g - 2*h + 4 = 0, -2*h - 4 = -h. Suppose -g*d = 4*n - 116, 0*n - 3*n = 4*d - 94. Does 13 divide n?
True
Suppose -10*w + 1934 = -7*w + d, -3*d = 4*w - 2582. Is 46 a factor of w?
True
Suppose 17 = 2*w - 173. Suppose 6*k = k + w. Does 5 divide k?
False
Suppose -6435 = -121*n + 112*n. Is n a multiple of 11?
True
Let n = -197 - -559. Does 4 divide n/8 + (-3)/12*1?
False
Does 13 divide (8 + 430/(-40))/((-2)/40)?
False
Let d(w) = 2*w**2 + 19*w + 296. Is 74 a factor of d(0)?
True
Let d(s) = -6*s - 6. Let f = -5 - -22. Let c = f - 23. Is 10 a factor of d(c)?
True
Does 33 divide ((-70)/8 - 2)/((-2)/96)?
False
Let g be 261/58 - (-3)/2. Is 18 a factor of ((3584/6)/(-7))/((-2)/g)?
False
Suppose -4*r = -3*r - 4. Suppose 12 - 4 = r*z. Suppose z*i - 7*i - 5*l = -160, -15 = -5*l. Does 6 divide i?
False
Let l(m) = m**3 - 28*m**2 + 18*m + 140. Does 41 divide l(28)?
False
Suppose -2*y + 1165 = -4*m + 9557, 0 = 3*m + y - 6304. Does 12 divide m?
True
Suppose f = -2*m + 20 - 0, 0 = -3*m + 3*f + 30. Suppose 5 = -5*h - m. Is 2 a factor of (6 + h)/(-1 - -2)?
False
Suppose 0 = -3*i + 3*h - 8*h + 492, 3*i - 4*h = 519. Is 25 a factor of i?
False
Suppose w + 0*w + 5 = 0. Let i be (-27)/w - 4/10. Suppose 3*l = i*n - 25, 4*n + 3*l = -n + 25. Does 2 divide n?
False
Let d(h) = h**2 - 12*h + 11. Let p be (-1)/((-1 - -5) + -3). Let a be (-3)/6*26*p. Does 16 divide d(a)?
False
Suppose -60*x = -116352 - 77448. Is 38 a factor of x?
True
Let i = 66 - 61. Is 85 - (-4 - (-6 + i)) a multiple of 8?
True
Let t = 1564 - 1213. Is 27 a factor of t?
True
Let y(q) = 18 + 2*q**2 - q**2 + 22 + 0*q**2. Does 5 divide y(0)?
True
Suppose 6*q - 48 = -0*q. Let h be 234 + q - (1 + 0). Let z = h - 133. Does 27 divide z?
True
Suppose 0 = 5*j + 46 - 366. Does 4 divide j?
True
Let i = 81 + -44. Let n = i - 24. Is 8 a factor of n?
False
Let p(n) = -9*n - 15. Let c be p(-5). Let d = 43 - c. Is d a multiple of 9?
False
Suppose 5*o - 5209 = -4*j, -14*o = j - 17*o - 1281. Is j a multiple of 24?
True
Suppose u = -3*a + 2*u - 24, a + 4*u + 21 = 0. Let j(h) = h**2 + 5*h - 1. Let p be j(a). Suppose 3*y - 17 = -2*c, 3*y = -2*y - 2*c + p. Is 8 a factor of y?
False
Suppose -2*n - n = -5*y + 178, y - 3*n - 38 = 0. Suppose 3*s = 2*s. Suppose s = 2*f - y - 13. Is 24 a factor of f?
True
Does 106 divide 77*(-8 - (-494)/7)?
False
Suppose z - 5*z + 668 = -4*s, -4*z - 4*s + 660 = 0. Is 15 a factor of z?
False
Let d(k) = -7*k + 21. Suppose 2*h - 4*m + 24 = 0, 4*h - m + 5*m + 72 = 0. Is d(h) a multiple of 19?
True
Let t(f) = 23*f**2 + f + 3. Let j be t(-2). Let i = j - 22. Is i a multiple of 12?
False
Suppose 4*b = 6*v - 2*v - 36, -54 = -4*v - 5*b. Let j(t) = t**2 - 6*t - 20. Does 3 divide j(v)?
False
Suppose -72*t + 21*t = -11475. Does 103 divide t?
False
Let x be 30/20*(6 - -2). Suppose 0*d + 432 = x*d. Is d a multiple of 8?
False
Suppose -16 = v - 0*m + m, 3*m - 3 = 0. Let c = v - -16. Is 90/24 - c/4 a multiple of 2?
True
Let c(f) be the second derivative of 5*f**2 + 3/2*f**3 - 1/20*f**5 - 5*f + 0 - 2/3*f**4. Does 5 divide c(-9)?
True
Let g(t) = 16*t**2 - 26*t + 106. Does 15 divide g(5)?
False
Let y(s) = -2 + 15*s**2 + 2 + 0 - 5*s. Is 7 a factor of y(2)?
False
Let g be (10 - 1)*4/6. Is 32 a factor of (-2 + 1 + -7)/(g/(-72))?
True
Let c(j) = j**3 - j**2 - 4*j. Let r(t) = -t**3 + 3*t**2 - 2*t + 3. Let a be r(2). Let q be c(a). Is 6 a factor of (-88)/2*q/(-24)?
False
Let a = 16 + 0. Suppose -4*g + 96 - a = 0. Does 5 divide g?
True
Let j(r) = r**3 - 2*r**2 + 2*r - 11. Suppose -4*q + 3 = -1. Suppose -3*s + 14 = -q. Does 16 divide j(s)?
False
Let u = -750 + 1102. Does 55 divide u?
False
Let g(r) = 16*r**3 + r. Let q = -5 - -7. Let x(a) = a**2 - 2*a + 1. Let o be x(q). Does 7 divide g(o)?
False
Is 42 a factor of (0 - 1108/(-6))/(286/429)?
False
Let i = 299 + 1863. Is 62 a factor of i?
False
Suppose -j = -0*j - 2. Let q be ((-51)/j)/(12/16). Let t = q - -65. Is 9 a factor of t?
False
Let h(n) = -37*n + 41. Is h(-7) a multiple of 25?
True
Suppose 2*m - 20 = -0*m. Let a be m/(4/(-4*1)). Let s = a + 24. Is s a multiple of 7?
True
Let n = 4 - 4. Suppose 11*u - 57 + 13 = n. Is 2 a factor of u?
True
Suppose -4*q - 3*f + 4598 = -5*f, -2*q + 2324 = 4*f. Is q a multiple of 8?
True
Suppose 0 = -4*i + 8*i - 8. Let g(r) = 3*r**3 - 3*r**2 + 2*r. Does 8 divide g(i)?
True
Let y(r) = 53*r**2 - 126*r + 1. Is 23 a factor of y(4)?
True
Suppose -2055 = 11*c - 15*c + d, c = -d + 520. Does 25 divide c?
False
Let g(r) = r**3 - r**2 + 3*r + 884. Does 33 divide g(0)?
False
Let j(s) = 1276*s**2 + s. Is 5 a factor of j(-1)?
True
Let x be 4/22 - (-64)/11. Does 6 divide (6 + (-52)/3)/((-4)/x)?
False
Suppose 5*k = 3*k + 336. Suppose 3*v + 3*q = -v + k, 0 = -4*q + 16. Suppose -12 = -3*m + v. Is m a multiple of 17?
True
Suppose -362 + 72 = -5*f. Let z = 63 + f. Does 8 divide z?
False
Does 8 divide 12*80/12 - 0/(-1)?
True
Let z(x) = 19 - x + 2*x + 9*x + 14*x**2 + x**3. Let n be z(-13). Suppose 2*m + 65 = 3*v - 0*m, n = 2*v - 5*m. Does 13 divide v?
False
Let i(o) = 33*o - 14. Suppose 3*r + 18 = 3*t - 0*r, 3*t + r = 18. Let l be i(t). Let f = l - 104. Does 16 divide f?
True
Let n be 2 + 0/(5/(-1)). Is (-117)/(-6)*n/3 a multiple of 3?
False
Suppose -h - c = 2*h - 2103, 0 = -2*h + c + 1407. Let k = h + -500. Is k a multiple of 36?
False
Suppose -3*k + 40*y + 983 = 45*y, 1625 = 5*k + 5*y. Does 107 divide k?
True
Let a(w) = w**3 + 13*w**2 + 12*w - 14. Let s be a(-12). Is (s/(-3) + -1)*3 a multiple of 11?
True
Let h = -760 - -394. Let p be (-7)/(70/h)*5. Suppose -3*x + p = -2*w + w, -3*x = w - 177. Is x a multiple of 30?
True
Let p = 1737 + -1216. Is 48 a factor of p?
False
Is (-26 + 19)*2004/(-14) a multiple of 20?
False
Let m(i) = 4*i**2 + 10*i + 3. Let a(v) = 2*v**2 + 5*v + 2. Let t(k) = 5*a(k) - 2*m(k). Does 14 divide t(5)?
False
Let g(r) = 2*r**2 + 3*r + 3. Let o be g(-1). Suppose -o*s + 263 = -111. Is s a multiple of 11?
True
Let o(z) = -2*z + 16. Let y(t) = t - 17. Let h(m) = 3*o(m) + 2*y(m). Does 19 divide h(-6)?
True
Let z = 1389 + -1244. Is z a multiple of 4?
False
Suppose 0 = 14*b + 85 - 1. Is -19*(b/(-21))/(1/(-7)) a multiple of 16?
False
Let t(z) be the first derivative of -19/3*z**3 - 19/2*z**2 + 4 + 1/4*z**4 - 8*z. Is t(20) a multiple of 4?
True
Let k be (-1)/(15/36)*(-2 - -7). Is 26 a factor of (k*12/(-10))/(4/50)?
False
Suppose -6*o + 360 = -o. Suppose h = -3*h - o. Is 15 a factor of h/(2 + 16/(-6))?
False
Suppose 45 = -5*c + 5*w - 10*w, -3 = 2*c - 3*w. Let p be 1 + 7 + -3 + c. Is 5 a factor of (p - 8)*25/(-15)?
True
Suppose -2*n + 20 = -n - h, 4*h = -5*n + 82. Does 10 divide ((-26)/3)/((-4)/n)?
False
Does 75 divide (5 + 3 + -6)*(-453)/(-3)?
False
Let g = -576 - -591. Suppose -4*z - 2 = 2, -2*y + 4*z = -10. Suppose -4*j - 4 - 15 = -l, -y*l = 2*j - g. Does 3 divide l?
False
Suppose 5*v = o - 2, 2*o = -v - 2*v + 4. Let u be (16/o)/(8/56). Suppose 0*q = -4*q + u. Is 6 a factor of q?
False
Is 49 a factor of (10/(-4))/(9156/(-1144) + 8)?
False
Is (459/(-34))/(6/(-8)) a multiple of 9?
True
Let p = 329 - 248. Is 27 a factor of p?
True
Let c = -3606 - -5119. Does 10 divide c?
False
Let y be 548/3 + (-20)/(-60). Let v = -120 + y. Does 20 divide v?
False
Suppose -96*u - 64991 = -286655. Is u a multiple of 47?
False
Suppose 2*i + 326 = 4*q - i, 4*i = -8. Is q a multiple of 61?
False
Suppose -4*b + 5*y + 12 - 3 = 0, -15 = -5*y. Suppose -2*i + b + 6 = 0. Is 6 a factor of i?
True
Suppose -l + 8 = -v - 4*l, -2*v = 3*l + 1. Suppose -2 = -5*c + b, 3*b - 1 = -4*c - v. Suppose c = -p - 10 + 14. Is 4 a factor of p?
True
Suppose k = -4*l + 2*l + 2, 3*k = -l + 1. Suppose -4*u + 2*u + 18 = k. Is u even?
False
Suppose -2*f = -3*m - 6283, -4 = 3*m - 13. Is 13 a factor of f?
True
Let i = 385 + -235. Is i a multiple of 75?
True
Let k = 63 - 61. Suppose 6*d = -k*d + 56. Is 7 a factor of d?
True
Let r(l) = -119*l - 1065. Is 16 a factor of r(-15)?
True
Let d = 140 + -30. Is 21 a factor of d?
False
Let j(y) = y**2 + 25*y + 169. Is j(-24) a multiple of 20?
False
Suppose 5*a + 0*r = -r + 2049, -5*a = 