= -13*r. Is r a multiple of 3?
True
Is 12 a factor of ((-4230)/25)/(27/(-540))?
True
Let g = 4 + 4. Suppose 2 = -z - i, 4*z + g = 4*i - 16. Is 6 a factor of (z/(-5))/(6/165)?
False
Let w be (2/4)/(-1)*46. Let a = 25 + w. Suppose -4*d - d + 31 = a*x, 0 = 3*x - 5*d - 9. Is x a multiple of 8?
True
Suppose -6*f + 316 = -254. Does 5 divide f?
True
Let z(j) = -6*j + 12. Suppose 5*b = -s + 40, -s = -4*b - b. Let m = 12 - s. Does 30 divide z(m)?
True
Let s(p) be the third derivative of 7/24*p**4 - p**3 + 0 - 2*p**2 + 0*p. Is s(10) a multiple of 16?
True
Suppose 20216 = 30*z + 8*z. Does 19 divide z?
True
Let f = 893 - -2325. Is f a multiple of 15?
False
Suppose -3*j - 5*m = -794, -m + 6*m = -2*j + 526. Does 15 divide j?
False
Suppose 0 = -m + 16 - 0. Let z(i) = i**2 - 16*i + 19. Is 12 a factor of z(m)?
False
Let q be 4*4/48*-9. Let g = q + 6. Suppose -4*o + 80 = -2*p - 134, g*p - 15 = 0. Is 28 a factor of o?
True
Suppose 22*r + 114 = 25*r. Is r even?
True
Suppose 0 = 47*m - 42*m - 10, -5*m = 3*l - 2116. Is l a multiple of 9?
True
Let d = 1497 - -316. Does 37 divide d?
True
Let p(v) = 67*v**2 - 6*v + 24. Does 40 divide p(6)?
True
Suppose 4*x - 223 - 1457 = 0. Is 38 a factor of x?
False
Let x(c) = 12*c + 2. Let v be x(-1). Let j = 25 + v. Suppose 3*d - 30 - j = 0. Is 5 a factor of d?
True
Suppose -3*o + 59 = 2. Suppose a + i = -0*a + o, -a + 23 = 2*i. Does 15 divide a?
True
Let c(x) = -96*x + 1. Let q be c(-7). Suppose -q = 4*w + 2123. Does 22 divide w/(-15) + (-2)/(-5)?
False
Let c(x) = 6*x**3 + x**2 - x + 181. Let w(h) = 5*h**3 + h**2 - h + 180. Let y(t) = -4*c(t) + 5*w(t). Is 22 a factor of y(0)?
True
Suppose k = -4*k + 3*n + 408, -2*k + 4*n = -166. Suppose k*w - 85*w = -144. Does 4 divide w?
True
Let h(u) = -u**3 + 25*u**2 + 9*u - 4. Is h(25) a multiple of 17?
True
Let u = -1 - -3. Suppose d = -u*d + 4*r + 123, -d - r = -48. Let o = d + -21. Is 12 a factor of o?
True
Does 66 divide (-429)/182*-36*14/3?
True
Suppose -4 = 5*a - 4*b + 11, -2*a - 4*b + 22 = 0. Let x(d) = 17*d**3 - d. Let m be x(a). Let w(o) = -o**2 + 17*o + 5. Is 4 a factor of w(m)?
False
Suppose -2*p + 3*x + 1024 = 0, 2*p + 2*x = p + 498. Is p a multiple of 76?
False
Suppose 7771 + 5445 = 16*c. Is c a multiple of 22?
False
Suppose -3*c - u + 1973 + 2504 = 0, 0 = 2*c - 5*u - 2996. Is c a multiple of 12?
False
Let x(a) = -2*a**2 - 21*a - 3. Let d(s) = 3*s**2 + 21*s + 2. Let t(b) = -3*d(b) - 4*x(b). Is t(15) a multiple of 32?
True
Let l be 6*(-4 + 28/8). Let p(y) = 20*y - 4. Let b be p(l). Is ((-84)/(-16))/((-12)/b) a multiple of 7?
True
Let q = 104 + -61. Suppose 2*h = -0*l + 3*l + q, -4*l + 64 = 2*h. Does 13 divide h?
True
Let c(b) = -6*b**2 - 2*b. Let o be c(1). Let s(t) = -t - 5. Let j be s(o). Suppose -16 = -3*r - 5*w, -r - 5*w = -j*r + 44. Is r a multiple of 6?
True
Suppose 7 = -3*r + 19. Suppose r*c = -i + 5*i - 328, 5*c = 4*i - 332. Suppose 2*s - i + 30 = 0. Is 6 a factor of s?
True
Let h = 56 + -54. Suppose -210 = -w - h*w. Is w a multiple of 7?
True
Suppose 3*z + 0*z - 2*y = 88, 103 = 3*z - 5*y. Let o = z + -5. Is o a multiple of 7?
True
Let a = 614 - 461. Does 17 divide a?
True
Let t(o) = o**2 - 6*o + 7. Let x be t(-5). Suppose 436 + x = 6*n. Does 14 divide n?
False
Suppose 0 = 5*t + 2*q - 64, 10*t + 14 = 12*t - 5*q. Is 3 a factor of t?
True
Is 140 a factor of 336/(-5)*25*6/(-4)?
True
Does 12 divide 6 - (-1475 - -4) - -11?
True
Suppose -47502 = 39*s - 68*s. Does 117 divide s?
True
Let d(i) = 2*i**2 - 6*i - 6. Let s be d(5). Let g = s - 12. Suppose g*j + 2*b - 6 = 0, -j = -b + 4*b - 1. Is 3 a factor of j?
False
Let a(s) = 2*s**2 - 2*s + 160. Let n be 0/(-4)*((-8)/(-4))/2. Is 10 a factor of a(n)?
True
Suppose -6*w - 4*w + 180 = 0. Does 21 divide 105 + (2/9 - 4/w)?
True
Let u(c) = -c + 2. Let y = 4 - 7. Let h be u(y). Suppose -5*v + o + 85 = -o, -2*v - h*o = -63. Does 6 divide v?
False
Suppose -5*s - 5*h = -0*h - 140, 0 = -3*s + 2*h + 94. Let f be (-16)/6*s/(-8). Suppose 0*m = 5*m + f, -5*c + 191 = -3*m. Does 10 divide c?
False
Let z(g) = g + 18. Let k be z(-18). Suppose k = 25*l - 31*l + 204. Is 34 a factor of l?
True
Let x be 40/10*(-1 - 45). Let b = x + 298. Does 10 divide b?
False
Does 6 divide (-22015)/(-42) + (-114)/36 + 3?
False
Suppose 9 = 5*u - 11. Suppose 4*s - 766 = r, 0 = 4*s + u*r - 541 - 215. Is 17 a factor of s?
False
Let t = -6 - 0. Let d be 1/(-3) + 4/t. Let u(s) = -74*s. Does 29 divide u(d)?
False
Let p = -16 + 16. Suppose p = 6*b - 67 - 5. Is 11 a factor of 132/(-4)*(-8)/b?
True
Suppose 5*p + 89 - 34 = 0. Is 21 a factor of (-4 - p)*3*3?
True
Suppose -4*k - 1 = -33. Suppose 0 = k*d + 173 - 1181. Is 18 a factor of d?
True
Does 11 divide -6*(-77)/28*(-14)/(-3)?
True
Let t(j) = -j - 2 + 0*j + 4 + 7*j. Let z be t(5). Suppose 3*l = 4*l - z. Is l a multiple of 10?
False
Let i(d) = 16*d**2 + 3*d + 4. Does 32 divide i(3)?
False
Let w(d) = d**2 - 12*d - 14. Does 7 divide w(14)?
True
Suppose -w + 1752 = 5*y, 4*w + 1419 = 4*y - w. Let j = y - 177. Is 29 a factor of j?
True
Does 15 divide (-3 - (-5 + -34)) + -6?
True
Is (1 + 0)/((-440)/445 + 1) even?
False
Suppose -10*i + 6500 = 16*i. Does 5 divide i?
True
Suppose 12*o = 15*o + 2730. Let s be (-2)/(-3) + o/(-39). Suppose -f = -14 - s. Does 14 divide f?
False
Let c be 2/5 - 32/(-20). Let o = 60 - 48. Is 55/c*o/15 a multiple of 9?
False
Let j(i) = 2*i**3 + 2*i**2 + 7*i + 3. Is 50 a factor of j(6)?
False
Suppose -2*s = 3*s + 5*g, 4*g = 4*s. Suppose 5*o + k - 592 = s, 3*o = 7*o + 4*k - 464. Is o a multiple of 17?
True
Suppose -35 = 2*b - 87. Let i = -13 + b. Does 6 divide i?
False
Let d(y) = -y**2 + 12*y + 1. Let a be d(14). Let l = a - -29. Suppose -l*m = 2*m - 156. Is m a multiple of 13?
True
Suppose 5*k - 4*k = -a + 1, 0 = -2*k + 4*a - 4. Suppose o = 4*m + 10, k*m - 41 = -2*o + m. Is 20 a factor of o?
False
Let d be (-2844)/(-10)*400/60. Suppose -2*i + 7*b = 2*b + 746, -3*b - d = 5*i. Is 6 a factor of i/(-48) + 2/16?
False
Let r be 1*(0/(-1))/(7 + -9). Suppose r = -5*v - 233 + 1108. Is v a multiple of 14?
False
Let b(m) = m - 1. Let z be b(4). Suppose u = -z + 7. Suppose -3*p = -5*j - 0*j - 40, -p = -u*j - 25. Is p even?
False
Suppose -5*p + 0*p + 2*u = -3010, 2*p - 1220 = 4*u. Suppose -p = -11*f + 313. Is 23 a factor of f?
False
Suppose 7*j = 2*j - 5*r + 35, -j = -5*r + 23. Suppose -4*p - c - 4*c - 7 = 0, -2*p - j*c = 2. Does 8 divide 7 - 2/(-4)*p?
True
Suppose 0 = 5*s + 5*s - 5760. Does 72 divide s?
True
Suppose -3*r + 4*n = -23, -21 = -r - 4*r - 2*n. Let y be 4 + -4 + r + -2. Suppose 0 = -y*j + 108 + 36. Does 16 divide j?
True
Suppose z - 16 = -0*z. Is (-333)/12*z/(-6) a multiple of 23?
False
Let l = 219 + -95. Is l a multiple of 16?
False
Suppose 0 = 22*p - 9*p - 559. Suppose 2*f + 19 = -b + 3*f, 0 = b + 2*f + 25. Let v = p + b. Is 11 a factor of v?
True
Suppose -2*m + 3*t = -820, -38*t + 36*t = -3*m + 1235. Is 7 a factor of m?
True
Let v = -108 - -99. Let q be (-2)/8 + (-282)/(-8). Let x = q + v. Is x a multiple of 6?
False
Suppose 0 = -3*o + 4*f - 9, 5*f - 2 = 3*o + 10. Suppose 0 = -n - o, 0*q - 3*n = -q + 76. Does 17 divide q?
False
Suppose u + u - 8 = 0. Suppose 4*g - 263 = -d - 6, u*d = 2*g - 124. Suppose 0 = 5*h - 56 - g. Is h a multiple of 12?
True
Let l = 1267 + -1144. Does 18 divide l?
False
Is 15 a factor of 2 + 28*(-51)/(-6)?
True
Suppose 0 = 4*l - 320 - 1080. Is l a multiple of 7?
True
Suppose -4*j - 3*t + 1442 = 328, -3*j + 836 = 2*t. Is 20 a factor of j?
True
Suppose 15*m - 23*m + 4608 = 0. Does 72 divide m?
True
Let v(w) = -30*w - 15. Let x be v(-4). Suppose -2*m + x = -229. Is m a multiple of 18?
False
Let o = 293 - -336. Does 17 divide o?
True
Does 7 divide ((-1820)/80)/((-2)/24)?
True
Does 18 divide (-244)/(-61) - ((-16660)/4 + -1)?
False
Suppose 0 = 3*n - 3*a - 102, 0 = 2*n + a - 53. Is 9 a factor of n?
False
Does 37 divide (-5 - 20391/14)*-2?
True
Let j(b) = 4*b**2 - 3*b - 27. Is j(12) a multiple of 9?
True
Suppose 3*x - 6*x = -3*p + 2193, 0 = 2*p + 4*x - 1444. Does 13 divide p?
True
Let n(j) = -21 - 6*j - 4*j**2 - 3*j**2 + 10*j**2 - 2*j**2. Suppose 4*m = 57 - 13. Does 34 divide n(m)?
True
Let t(u) = u. Let h(r) = 7*r. Let c(y) = -h(y) + 6*t(y). Let g be c(-4). Suppose -g*o + 4*w + 39 = -w, 2*o - 23 = -w. Does 11 divide o?
True
Let k(a) = -24*a**2 - 2*a + 2. Let o be k(1). Let b be (o/(-9))/((-7)/(