p. Suppose -85 = -2*y + p. Is 22 a factor of y?
False
Suppose 0 = -28*l + 31*l - 264. Is 5 a factor of l?
False
Let k be (2*(-12)/(-20))/((-7)/105). Let f(z) = 37*z**3 - z**2 - z - 1. Let v be f(-1). Let i = k - v. Is 8 a factor of i?
False
Let h = -294 - -523. Does 21 divide h?
False
Suppose 2*c + 5*p - 240 = 0, 373 = 5*c + 4*p - 227. Suppose 0 = -20*s + 28*s - c. Is s a multiple of 3?
True
Let k be (1 - (-1)/(-2))*12. Let y = k + 27. Suppose -2*b = b - y. Is 7 a factor of b?
False
Let n(x) = x**2 + 4*x + 1. Let l(z) = z**2 - 5*z + 3. Let d be l(3). Let m be n(d). Does 15 divide -2*(0/m - 45)?
True
Let l = 6 + -12. Let f(x) = -20*x - 12. Let o(a) = 30*a + 18. Let q(s) = 8*f(s) + 5*o(s). Is q(l) a multiple of 13?
False
Suppose -2*m = -4*j + 3 - 31, 30 = 5*m - 2*j. Suppose -t = m*p - 33, -4*p + 2*t = -2*p - 24. Is 8 a factor of 174/p + (-3)/9?
False
Suppose 5*r + 971 = 11231. Is 38 a factor of r?
True
Is 39 a factor of (-132*4/(-28))/((-1)/(-7))?
False
Suppose 2*d + 1 = -a, 2 = -d + 3*a + 5. Suppose y - 6*y + 180 = d. Suppose -3*z - f = -38, -3*f - y = -z - 8*f. Does 8 divide z?
False
Suppose 4*j - z = 10, z = 2*j - 6*j + 6. Suppose 12 = j*s - 6. Is s a multiple of 9?
True
Let y = 44 - 24. Let z = -16 + y. Does 17 divide (34/(-4))/(z/(-24))?
True
Let x(u) = u**2 + 7*u + 11. Let f be (0/(-1) - 1)*6. Let p be x(f). Suppose 2*k + 16 = 4*k + p*h, -h = -2. Is k a multiple of 2?
False
Let s be ((-52)/(-12) + 1)*(-9)/(-3). Suppose -11*t - 90 = -s*t. Does 9 divide t?
True
Let k(i) = 70*i - 91. Does 9 divide k(7)?
False
Let y(m) = 78*m**2 + 14*m + 18. Let u(l) = -26*l**2 - 5*l - 6. Let k(d) = 11*u(d) + 4*y(d). Is k(-2) a multiple of 25?
False
Suppose 5*o = 4*w + 5 + 51, w + 14 = 5*o. Let j = w + 160. Let p = j + -82. Is p a multiple of 16?
True
Suppose 2 + 11 = 4*x + 5*b, 2*x = 4*b. Suppose -4*v + w + 336 = -w, v = -x*w + 84. Is v a multiple of 6?
True
Is 109 a factor of 3707 - ((-50)/10 - -6)?
True
Let w be -4*4/(-16) + 1122 - -4. Suppose 175 = -7*o + w. Does 17 divide o?
True
Let h = 28 + 30. Let c = h - 22. Is 9 a factor of c?
True
Let q(m) = 2*m**2 + 3*m - 38. Does 6 divide q(-12)?
False
Suppose 4*r + 3*y - 8*y - 2572 = 0, -2*y = 2*r - 1304. Is r a multiple of 18?
True
Suppose -165 = 3*n - g, -g - 254 = 5*n + 13. Suppose 0 = 2*t + 40 + 176. Let a = n - t. Does 14 divide a?
False
Let n = 1240 + -830. Is 19 a factor of n?
False
Let h = -72 + 76. Is 10 a factor of (2 + 40 - 3) + h?
False
Let d(y) = 2*y**2 - 37*y + 72. Is d(32) a multiple of 8?
True
Let c be 3956/(-10) - (-4)/(-10). Let d = 556 + c. Is (-9)/6*d/(-6) a multiple of 20?
True
Let h(r) = -2*r**3 + 2*r**2 - r. Let c be h(-2). Let v = c - -43. Does 18 divide v?
False
Suppose c - 16 = -3*c. Suppose c*y = -2*w + 28 - 10, -2*y + w = 1. Suppose -3*d = -y*d - 22. Does 11 divide d?
True
Suppose 0 = 5*w - 3*r - 585, 9*w - 215 = 7*w + 5*r. Is 23 a factor of w?
False
Suppose 1655 = 3*w - 3016. Is 99 a factor of w?
False
Let p be 48/10 + 9/45. Suppose p*c - 146 = 119. Is c a multiple of 45?
False
Let j(p) = -p - 9. Let r(b) = -b. Let y(k) = -j(k) - 2*r(k). Is 9 a factor of y(6)?
True
Suppose 0 = 3*k + l + l + 77, 3*k + l + 76 = 0. Let m = -14 - k. Suppose m = 4*r - 13. Does 2 divide r?
True
Let k(q) = 49*q + 168. Is 22 a factor of k(6)?
True
Suppose -12*f + 13*f - 2 = 0. Suppose -f*j - 2*c = -122, 94 = 2*j + c - 24. Is j a multiple of 17?
False
Let k = 34 - 16. Suppose -42 = -3*w + k. Does 13 divide w?
False
Suppose 4*v + u = -3*u + 44, 0 = 2*v + u - 17. Suppose v = p + 5. Suppose -2*g = s - 112, -p = -5*s - 11. Is 16 a factor of g?
False
Suppose -3*n - 138 = -6*n. Let u = 5 + 59. Let y = u - n. Does 18 divide y?
True
Suppose 4*t + 2*a = 1548, 3*t + 65*a = 69*a + 1161. Is t a multiple of 3?
True
Suppose -5*c + 3238 = 4*j, -9*j + 7*j = -c - 1626. Is j a multiple of 16?
False
Suppose -2049*a + 2058*a - 7884 = 0. Does 32 divide a?
False
Suppose 2*j = 4*p - 3*p - 201, 5*p + 3*j - 1005 = 0. Suppose -12*d + p + 2331 = 0. Does 13 divide d?
False
Suppose -13 + 8 = 5*a. Is (-14 - -13)*(a - 90) a multiple of 9?
False
Let x = 578 + -383. Suppose 0 = -3*i - 4*b + b + x, b = -2*i + 127. Is i a multiple of 32?
False
Suppose 5*p = 5*v - 6805, -1302 - 61 = -v + 3*p. Is 7 a factor of v?
False
Suppose -3*d = 2*g + 25 - 248, 0 = 3*g + 2*d - 347. Is 20 a factor of g?
False
Let x = 43 + -34. Let y = -1 + x. Is y a multiple of 3?
False
Let y be (-2 + 3)/(-2 - -1). Let x(h) = 314*h**2 + 1. Let z be x(y). Is 4 a factor of 6/(-10) - z/(-25)?
True
Let t(j) = -12*j**3 + 4*j**2 - j - 4. Let q be t(-3). Suppose -2*f = k - 2*k - q, 4*f - 725 = -5*k. Is 31 a factor of f?
False
Let a = 34 + 344. Is 54 a factor of a?
True
Suppose -3*o - 3*m - 218 - 3415 = 0, -3*o - 4*m - 3636 = 0. Is ((-2)/(-4))/((-4)/o) a multiple of 20?
False
Let i(l) = 15*l - 21. Let s be i(9). Let y = -49 + s. Is 13 a factor of y?
True
Let i(p) = 5*p**2 - 9*p + 2. Let s be i(-7). Suppose -5*z - 2*u = u - s, 2*z - 4*u - 124 = 0. Is z a multiple of 12?
False
Let c be ((-39)/26)/(6/376). Let o = -45 - c. Is o a multiple of 12?
False
Let q(o) = -3 + 3*o**3 - o**2 - 2*o**3 - 2*o**2 - 2*o**3. Let c be q(-3). Is 15 a factor of 3*((-245)/c)/5?
False
Suppose 3*b + 3*k = 4*k, 0 = 5*b - 2*k - 1. Let r(v) = -143*v**3 + v**2 - v - 1. Let s be r(b). Suppose -3*w = -5*w + s. Does 24 divide w?
True
Let a = -952 + 1402. Does 30 divide a?
True
Let s be 4 + 6/(-2) + 0. Let u be (-50)/40*(-3 - s). Suppose 3*p + 493 = 4*q, -1020 = -u*q - 2*p - 421. Is q a multiple of 33?
False
Let g = -11 - -15. Suppose -2*n - 8 = 2*n, -r + g*n + 12 = 0. Suppose -3*t = -r*t - 3*d + 15, -d + 33 = 5*t. Does 3 divide t?
True
Let w be 5/2*(10 - 8). Let t = -3 + w. Suppose -t*v + v = -38. Is 11 a factor of v?
False
Let l = 3 + -1. Suppose 4*j + 190 = l*r, -r = -j - 26 - 22. Let g = j + 72. Is g a multiple of 25?
True
Suppose -13 = -5*u + 17. Let d = 1 + u. Suppose 2*s + 4*t = 36, -4*s - d*t = -3*t - 68. Is 8 a factor of s?
True
Let u be (4 - 0)*(6 - 2 - -2). Let i(g) = g**2 - 9*g - 58. Does 31 divide i(u)?
False
Let j(i) = -i**2 - 8*i - 9. Let y be j(-6). Suppose -y*g + 2 = 2*d + 3, 0 = 2*d - 5*g - 23. Suppose 0 = d*p - 19 - 61. Is 4 a factor of p?
True
Let x(v) = 11 - 4*v**2 - 9 - 6*v**3 + 2*v**2. Does 21 divide x(-2)?
True
Is 11 a factor of -6*2/(-3) + -5 - -311?
False
Suppose 141 + 149 = 2*w. Let j = w + -109. Does 19 divide j?
False
Suppose 5*g + 8*u - 11*u - 6309 = 0, -g + 1257 = u. Does 18 divide g?
True
Let h(t) = t**3 + 18*t**2 - 20*t - 17. Let q be h(-19). Suppose -4*r + 60 = 3*i, -q*i - 3 = 5. Suppose r = -3*a + 4*a. Does 9 divide a?
True
Does 32 divide ((-135)/25)/(24/(-2560))?
True
Suppose -2*v - y + 4592 = 0, -6*v - 2287 = -7*v + 4*y. Does 5 divide v?
True
Let q(l) = -l + 2. Let y be q(0). Suppose 0 = -y*g + 276 + 30. Is 9 a factor of g?
True
Suppose 21 = u - 4*u. Let j = u + 10. Is 3 a factor of j?
True
Let n(s) = 6*s**2 + 0*s + 0*s**2 - 13*s + 5 - 7*s**2. Is n(-12) a multiple of 17?
True
Let d = 3338 + -1263. Does 25 divide d?
True
Suppose -35*d + 14594 = -6476. Does 86 divide d?
True
Let z(c) = c**2 - 4. Let q be z(2). Suppose 16*k - 432 - 160 = q. Does 18 divide k?
False
Let u(j) = 3*j + 12*j**2 - 28*j**2 + 2 + 14*j**2. Let l(r) = 4*r**2 - 5*r - 3. Let s(c) = -6*l(c) - 13*u(c). Is 12 a factor of s(8)?
True
Let y(q) = q**3 - 8*q**2 - 16*q - 7. Suppose -5*n + 7 = -0*p + 2*p, 0 = -2*n - 6. Does 30 divide y(p)?
True
Let d = 35 - 37. Is 208/36 + d/(-9) even?
True
Let h be 26/4 + 6/(-4). Suppose 0 = h*v - 11 - 19. Is 15 a factor of (100/(-6))/((-2)/v)?
False
Suppose -23 = -3*j + 1. Suppose q = j + 2. Is q a multiple of 5?
True
Suppose -n = -6*n + 25. Suppose 11 = -n*z + 41. Suppose z*j - 55 = j. Is j a multiple of 8?
False
Let i(m) = -m**3 - 33*m**2 + 28*m - 195. Does 51 divide i(-35)?
True
Let l(m) = -2*m**3 + 20*m**2 - 17*m - 11. Let d(k) = -k**3 + 10*k**2 - 9*k - 5. Let f(c) = 13*d(c) - 6*l(c). Is 11 a factor of f(6)?
True
Let a(q) = -q**3 + 6*q**2 + q + 1. Let k be a(6). Let v be k - (0 + 1)*2. Suppose -v*l = 0, -j + 5*l + 210 = 4*j. Is j a multiple of 24?
False
Suppose 55 + 17 = 4*i. Suppose i = -5*m + 88. Does 3 divide m?
False
Suppose 2*p = 4*y + 2, 6 - 3 = -p - 2*y. Let s(h) = -19*h + 5*h - 14*h. Does 7 divide s(p)?
True
Let p = -13 + 8. Let o(z) = -9*z + 15. Does 10 divide o(p)?
Tru