+ -31. Suppose 5*p - o + 7 = 0. Is p a multiple of 5?
True
Let q(w) = -3745*w**3 - 3*w**2 - 51*w - 49. Is 32 a factor of q(-1)?
True
Suppose 138*v + 54860 = -150*v + 301*v. Is v a multiple of 9?
False
Let w(y) = y**3 + 16*y**2 - 11*y - 15. Let x(g) = g**2 + 12*g - 29. Let b be x(-13). Is 14 a factor of w(b)?
False
Suppose 3454*w - 12 = 3448*w. Let d(z) = -2*z**2 + 4*z - 2. Let x be d(2). Does 10 divide 38 + x/((-2)/w)?
True
Suppose 0 = -5*v + d + 250701, v - 50136 = 18*d - 22*d. Does 46 divide v?
True
Let t be ((-545)/(-5))/(-3 - 22/(-7)). Suppose 52*u = r + 54*u - t, -3*u = 0. Does 53 divide r?
False
Let t(y) = -2*y**2 + 2*y - 2. Let r(l) = l**3 + 15*l**2 - 7*l - 10. Let k(g) = r(g) + 4*t(g). Does 3 divide k(-6)?
True
Suppose 0 = -8*y - 3 + 163. Let l(o) = 5*o**2 + 7*o + 2. Let h be l(10). Suppose -y*j = -7*j - h. Does 4 divide j?
True
Suppose -49*a = -52*a + 12. Suppose -2*q = -j + 7, 0*j - a*j = 5*q - 41. Does 17 divide 1/j - 1131/(-27)?
False
Suppose f + 23 = 5*f - 3*n, 2 = f + 3*n. Suppose 285 = b + l, 539 - 1964 = -5*b + f*l. Is 8 a factor of b?
False
Suppose -345 - 12 = -3*h. Let v = h - -216. Is v a multiple of 14?
False
Suppose 2*j - 26*q = -30*q - 568, -576 = 2*j + 2*q. Let v = j - -796. Is 42 a factor of v?
True
Let f = -308 + 312. Is 4 a factor of ((-4 - f) + 0)*-10?
True
Let j(i) = 14*i + 224. Let c be j(3). Is 5 a factor of (c/(-152))/((-1)/16)?
False
Let k be 6*((-25)/(-10))/(-5). Let w be (1 - -1)/(k/(-3)). Let c(f) = 12*f**2 - 8*f - 2. Does 15 divide c(w)?
True
Let a be 10/2*(28/(-10) + 3). Let n be 2 + -6 + (a - 3) + 3. Let h(s) = -11*s**3 - 2*s**2 - s + 4. Is 50 a factor of h(n)?
False
Let v = 9995 + -5067. Is 64 a factor of v?
True
Let d = -27 + 30. Suppose -d*o = 3*o - 4848. Suppose 0*q = -4*q - s + o, q - 202 = -4*s. Does 53 divide q?
False
Let q = -564 - -910. Does 2 divide q?
True
Suppose -z = n - 16282, -3*n = -40*z + 44*z - 48842. Does 41 divide n?
False
Suppose 48647 = 449*i - 445*i + u, 2*i - 2*u - 24306 = 0. Is i a multiple of 32?
True
Let r be ((-3)/7)/((-156)/1092). Suppose 2*h = 6*h - 2*l - 10, 0 = -5*h + 3*l + 13. Suppose -q = 1, 0*k - h*q - 107 = -r*k. Is k a multiple of 21?
False
Is (-5441)/(11/(-110)*5) a multiple of 14?
False
Let q = -22193 - -22247. Is q a multiple of 2?
True
Let k(f) = 38 - 54 - 117*f + 32 - 30*f. Let p(d) = d**3 - 19*d**2 + d - 21. Let z be p(19). Does 21 divide k(z)?
False
Suppose -3*x - x + 2*r + 38500 = 0, 190*r = 192*r. Does 26 divide x?
False
Suppose -5*m + 193 = 2*o, -3*o + 4*o - 78 = -2*m. Let z = m - -14. Does 2 divide z?
False
Suppose 14*b = 4*b + 2480. Let f = 351 - b. Suppose 2*k - 3*v - f = 0, -k - 3*v = 4*k - 310. Is k a multiple of 23?
False
Suppose -5*x + 4*a + a = -10, 5*x - 4*a = 12. Let i(t) = 47*t + 10. Is 18 a factor of i(x)?
True
Let k(j) = -8*j**2 + 66*j - 14. Let g be k(8). Suppose -g*f = -4*v - 184, 4*f - 338 + 20 = -2*v. Does 4 divide f?
False
Suppose -5*n + 20 = -3*n. Suppose -65 = -4*c + 2*c - u, 25 = c - u. Let h = n + c. Is 40 a factor of h?
True
Suppose 10*w - 4*w = -1506. Let v = w - -517. Is 7 a factor of v?
True
Let x = -10467 - -22779. Is x a multiple of 94?
False
Let a(f) = -43*f - 1229. Does 11 divide a(-69)?
True
Let q(l) be the first derivative of -13*l**3/6 - 21*l**2/2 - 32*l + 26. Let x(m) be the first derivative of q(m). Is x(-5) a multiple of 22?
True
Let a(x) = -1087*x - 1184. Does 96 divide a(-8)?
False
Let o = 58 - 31. Suppose 31*j = o*j + 1504. Suppose 12*a - 4*a = j. Is 15 a factor of a?
False
Let r(w) = 4882*w**2 - 46*w + 75. Does 4 divide r(2)?
False
Suppose 3*f = 4*m + 20, -2*m - m = -5*f + 26. Suppose f*s = 8, -s - 1 + 18 = 5*x. Suppose -208 = -x*j - 5*j. Is j a multiple of 5?
False
Let q = -14 + 28. Let w(u) = -21*u + 10 - q*u + 11*u - 7*u. Is w(-2) a multiple of 12?
True
Suppose -66*y + 8 = -64*y. Suppose -645 - 39 = -y*j. Suppose -2*u - 5*p = -j, 4*u - 439 = -u - p. Does 6 divide u?
False
Let g = -16 - -15. Let o be (-30)/12 + -3 - g/(-2). Let l(i) = -2*i + 12. Is l(o) a multiple of 6?
True
Let m(i) = -i**3 + 10*i**2 - i + 4. Let o(c) = c**3 - 9*c**2 + 8*c + 5. Let k be o(8). Let h be m(k). Does 5 divide ((-15)/(-45))/(h/123 + -1)?
False
Let q(n) = -2*n**2 + 34*n + 18. Let d be 0/(1 + -2 + 2) - -17. Is q(d) a multiple of 6?
True
Let c = 15118 - 14403. Does 10 divide c?
False
Let u = 26960 - 641. Is 142 a factor of u?
False
Let d = -45 - -53. Does 28 divide (d/3)/((-34)/(-1071))?
True
Suppose -5*t + 5*q + 5113 = -2212, 4380 = 3*t + 2*q. Does 4 divide t?
False
Is 119 a factor of 219960/24 + 2*1/(-1)?
True
Let c(t) = 2*t + 76. Let h be c(-37). Suppose -h*q + 840 = 12*q. Is q a multiple of 27?
False
Suppose 73 + 587 = 6*v. Let w = v + -235. Let q = w - -240. Does 12 divide q?
False
Let d be 6 + -76 + -3*(-4)/(-6). Let a = -60 - d. Is 11 a factor of 4*(5 + 417/a)?
False
Let b = -205 - -206. Is (54/(-21))/(b/(-14)) even?
True
Is (1*1/(-2) + 2)/(8/4176) a multiple of 4?
False
Suppose -24203 = -5*o + 3*b + 34553, -5*o = b - 58748. Is 94 a factor of o?
True
Let l be (-1098)/(-7) + (-1)/(-7). Suppose -143 = -3*o + l. Suppose 9*k = 4*k + o. Is 19 a factor of k?
False
Suppose 0 = -15*b - 707 + 3542. Suppose -b + 60 = -3*u. Is 3 a factor of u?
False
Suppose 0 = 3*g + 5*m - 32, -7 = 4*g + 4*m - 39. Suppose 0 = d - g*p - 41 + 6, -2*d + 85 = -5*p. Is 26 a factor of d?
False
Let d be (-31)/93*(-147)/(-1). Let c be 2188*d/(-112) + (-1)/4. Suppose -1143 = -15*v + c. Does 10 divide v?
True
Suppose -218*v + 552610 = -1669764 - 477338. Is 48 a factor of v?
True
Let d(u) = -20*u. Let x(j) = j**3 - 5*j**2 + 2*j + 3. Suppose -2*v = -0*v - 8. Let s be x(v). Does 20 divide d(s)?
True
Suppose -3*s = 2*s - 2070. Suppose -28*f = 7*f - 12635. Suppose -5*l + s = -f. Is l a multiple of 31?
True
Suppose -j = -2 + 5. Let s(g) = -581*g + 1 + 2 + 4*g**2 + 1145*g - 567*g. Does 16 divide s(j)?
True
Let f = -36 - -41. Let q be 1/f + (-22475)/(-125). Suppose 2*i - q = -i. Is 30 a factor of i?
True
Let d(p) be the third derivative of -1/3*p**3 + 0*p + 7/20*p**5 - 5*p**2 + 0 + 0*p**4. Is 13 a factor of d(2)?
False
Let l = 58802 + -22507. Is l a multiple of 17?
True
Suppose -4*p - 502 = -3*u, 631 = -33*p + 28*p + 2*u. Let l = 364 + p. Is 38 a factor of l?
False
Suppose 1 = 5*o - 9. Suppose -g + 0 + 13 = -o*n, -3*g + 19 = -2*n. Let r(y) = 2*y**3 - 5*y**2 + 8*y - 12. Is 3 a factor of r(g)?
True
Suppose -10*g + 249620 = -0*g + 25*g. Is g a multiple of 14?
False
Let l(a) = 304*a**2 + 535*a + 10. Does 121 divide l(5)?
True
Let w = -81078 + 124640. Suppose 32*r = w + 3350. Is 73 a factor of r?
False
Let q(k) = 11*k**2 - 11 + 32 - 3*k + 13*k**2 + 11*k. Let c be q(-4). Suppose 5*o + 52 = 4*j + c, -3*j = 3*o - 171. Does 20 divide o?
False
Let s(t) = 3374*t + 364. Is 75 a factor of s(2)?
False
Suppose 46*l = 131*l + 410367 - 2031742. Is 175 a factor of l?
True
Let v be (-1 + 2)/((-1)/(-653)). Let u = 1124 - v. Does 10 divide u?
False
Suppose -j = -3*f + 561, -561 = -36*f + 33*f - 4*j. Let s = 957 - f. Does 10 divide s?
True
Let a(q) = 13*q**3 - 65*q**2 + 91*q - 211. Let d(z) = -3*z**3 + 16*z**2 - 23*z + 53. Let c(t) = -2*a(t) - 9*d(t). Does 14 divide c(14)?
False
Is ((-590)/40)/(23/(-2484)) a multiple of 16?
False
Suppose 6*j - 47555 = -h + j, -3*h - 5*j = -142675. Is 11 a factor of h/480 + (-1)/12?
True
Suppose -2*c - 2*n - 250 = 0, -3*n = -13*c + 9*c - 528. Let g = c - -272. Is g a multiple of 13?
True
Suppose b + 4*i = 11388, 4*b + 121*i - 123*i = 45642. Is b a multiple of 62?
True
Suppose -170*i + 177*i = 44091 + 16235. Does 21 divide i?
False
Suppose -40*u + 2*g + 49140 = -38*u, -4*u - 5*g = -98262. Does 37 divide u?
True
Let w be (-1422)/(-10) + (-2)/10. Let l = w + -23. Suppose 0 = -3*g + 4*h + h + 133, l = 3*g + 2*h. Does 15 divide g?
False
Let c(v) be the first derivative of 5*v**2/2 - 43*v + 15. Let o be c(9). Suppose 3*g = 2*l + 134 + 208, o*g - 221 = -l. Is 14 a factor of g?
True
Let u = 5773 + -2018. Does 5 divide u?
True
Suppose -3*z - 4 = 229*u - 231*u, 3*u - 24 = 0. Suppose -2*v + 3 = -1. Suppose -v*c + 126 = 4*q, 2*q - 3*q = z*c - 287. Is c a multiple of 5?
False
Suppose 203*l + 22328460 = 797*l. Is l a multiple of 14?
True
Let q = 173 - 138. Suppose q*w - 58*w + 4508 = 0. Is 15 a factor of w?
False
Suppose -73*d + 110849 = -174598 - 43929. Is d a multiple of 10?
Fa