e of 30?
True
Let v = 1462 - 1460. Suppose 0 = 5*a - 3*r + 12, -4*a - 1 - 3 = -r. Suppose v*y - 87 = -j, 5*j + 6*y - 2*y - 405 = a. Does 7 divide j?
True
Let o(m) = 2420*m**3 + 10*m**2 - 12*m + 16. Is o(3) a multiple of 62?
True
Is 39 a factor of (30296 - -2) + (15 - 50/5)?
True
Suppose 0*h - 64 = -4*c + 2*h, -2*c - 4*h + 12 = 0. Suppose q + 55*d - 53*d = 42, 4*d = 4*q - 156. Suppose 0 = t - q - c. Does 18 divide t?
True
Let w = -9802 - -15898. Does 25 divide w?
False
Suppose 3*q - 161369 = -17*q - 4509. Does 31 divide q?
True
Let x be (1 + -584)*(-1 - 0). Let g = x + -433. Does 5 divide g?
True
Suppose 1563*x - 1570*x + 295526 = -188804. Is 11 a factor of x?
True
Let t = -93 - -103. Let j = t - 29. Is 15 a factor of 2 + 1 - (j - -7)?
True
Suppose -3*z = -4*s + 444, 0 = -4*s - z - 4*z + 444. Let y = 135 - s. Suppose 10*d - 6*d - y = 0. Does 2 divide d?
True
Let y(k) = 14*k**2 - 60*k - 3278. Is 98 a factor of y(-46)?
True
Let f(u) = 7*u**3 - 3*u**2 + 5*u - 23. Let s(n) = 13*n**3 - 7*n**2 + 10*n - 45. Let l(v) = 11*f(v) - 6*s(v). Is l(8) a multiple of 19?
False
Suppose 0 = 2*o - 4, -4*n - 100 = -2*o + 100. Is 7/(n/4) + 15804/21 a multiple of 25?
False
Suppose 18*b = -0*b + 2628. Suppose 4*j = 6*j - 1300. Suppose -5*c - j = -5*w, -3*w + 5*c = -2*w - b. Is 18 a factor of w?
True
Suppose 0 = -52*b + 6558222 - 2050446. Is 18 a factor of b?
True
Let y = -5322 + 11737. Is y a multiple of 84?
False
Let q(g) = 6*g. Let w(x) = 56*x - 27. Let j(t) = 6*q(t) - w(t). Does 38 divide j(-6)?
False
Let c = -9 + 16. Suppose c*z - 16 = -z. Suppose -3*t - 347 + 79 = -z*s, 2*t = -3*s + 428. Is s a multiple of 26?
False
Let g = -8711 - -13955. Is g a multiple of 4?
True
Is 41 a factor of 2/14 + 22 + (-71565)/(-21)?
False
Is 13 a factor of (2/(-10) + (-2610)/(-50))*(-6)/(-4)?
True
Suppose 6 + 246 = -21*k. Does 13 divide (-2)/k - -3*(-238)/(-36)?
False
Let y = -445 + 452. Suppose 3*r - o + 859 = y*r, 3*r + 5*o = 657. Is r a multiple of 30?
False
Suppose -3*a - 9 = -0*a, -3206 = -5*i + 2*a. Let g = -449 + i. Is g a multiple of 14?
False
Let p = 3 - 12. Let s be ((-3)/p + (-57)/(-18))*-8. Let h = 158 + s. Is 13 a factor of h?
True
Let f = 81 - 66. Suppose 2*r = 2*d - 2*r - 52, 0 = r. Let a = d - f. Is 2 a factor of a?
False
Let b(w) = -23*w**2 - 3*w + 3. Let o be b(1). Let z = -21 - o. Suppose 3*l + 267 = 2*t + z*t, -5*l = -t + 88. Is 28 a factor of t?
False
Suppose 0 = -8*z - 293 + 1189. Let i = z - 108. Suppose 4*k + i*m - 168 = 0, -2*k - 2*m + 69 = -3*m. Is 10 a factor of k?
False
Suppose 2*x - 4*b - b = 363, 0 = -3*x + 3*b + 549. Suppose 2*w = -4*o + x, 2*w - 3*o - 131 - 46 = 0. Is 3 a factor of w?
True
Let z be (-2*238/12)/((-1)/3). Let q = -169 + z. Let y = q - -58. Is y a multiple of 5?
False
Suppose 0*a = 5*o - 2*a - 16, -3*o - 3*a + 18 = 0. Suppose 5*g = 3*d + 1, -o*d + 6 = -5*g + 2*g. Does 28 divide (-278)/(-1 + (-2)/g)?
False
Suppose -101*o + 96*o + 75 = 0. Suppose -5*j = 5*n - 1910, 7*j + o = 4*j. Is 50 a factor of n?
False
Let o(j) = -17 + 353*j**2 + 2*j**3 + 0 + 16*j - 712*j**2 + 347*j**2. Does 7 divide o(6)?
False
Suppose -20482 + 216 = -7*y + 1490. Is 12 a factor of y?
True
Let l(b) = 912*b - 4429. Is l(5) a multiple of 2?
False
Let k(d) = -4*d**3 + 8*d**2 - 3 + 7*d**3 - 51*d - 4*d**3 + 12*d**2 - d**2. Is 58 a factor of k(13)?
True
Let x = 17606 - 4419. Does 183 divide x?
False
Let g be (-36)/6*(8/(-6))/2. Does 8 divide 1922/15 - g/30?
True
Suppose -2*z = -288*c + 289*c - 13349, z - 4*c - 6652 = 0. Does 13 divide z?
False
Is (86 - 144)/(((-24)/(-645))/(-4)) a multiple of 43?
True
Let p(f) = 16*f**2 - 4*f + 150. Does 5 divide p(-18)?
False
Suppose 0 = -4*a + u + 11, 1 = 2*a - 3*u - 2. Suppose -a*n + 5*t = 3*t - 676, -n + 234 = -5*t. Is n a multiple of 28?
True
Let y be (0 - -1 - (-2 + 3))*1. Suppose y = 2*b + 2*x, 2*b - 3*x - 27 = -2. Suppose -34*k + b = -33*k. Is k even?
False
Let o = 24681 + -17106. Is 150 a factor of o?
False
Is 22 a factor of ((-660)/80)/(2/(-464))?
True
Suppose -l + 2*d = -63, 46 = l - d - 17. Suppose -3*i + s + 95 = 0, 2*s = -2*i + 3*s + l. Suppose 3*z - i = 4*k - 5*k, k = 5*z - 8. Is k a multiple of 17?
True
Let b be (0/(-1))/(8/((-24)/(-6))). Suppose 0 = 3*h - 2*f - 273, 2*h + b*f = 2*f + 180. Is 31 a factor of h?
True
Suppose 4*b - 568 = -5*j, j = -15*b + 20*b + 102. Let h = -205 + 143. Let d = j + h. Is d a multiple of 9?
False
Suppose 120 = p - 4*g, 0*g = -5*p + 5*g + 540. Is p a multiple of 2?
True
Suppose 5*z = -5*u - 160, u - 4*z + 9*z + 52 = 0. Let i = u + 31. Let g(d) = 18*d - 9. Is 9 a factor of g(i)?
True
Suppose 10*j = 7*j + 15. Suppose -j*r = -4*g - 27 + 70, -g - r = -4. Suppose -g*a + 0*a + 252 = 0. Is a a multiple of 13?
False
Let u(p) = 6*p**2 + 288*p - 12. Does 6 divide u(-51)?
True
Let j(v) = 5*v**2 + 6*v - 68. Let b be j(6). Let k = 252 - b. Is 4 a factor of k?
True
Let h = 2647 - 1399. Suppose 2*w - h = -2*w. Is 8 a factor of w?
True
Suppose -5 = -4*t + 15. Suppose -49 = -113*r + 64. Does 10 divide r/((t/(-35))/(60/(-14)))?
True
Let t be 35/(-14) + 7145/10. Suppose 0 = r + k - 726, -5*k + 734 = 2*r - t. Is 13 a factor of r?
True
Suppose 5*v + 3*u - 457 = -0*u, 5*v - 2*u = 437. Suppose 0 = 4*z + 3*q - 163, 4*z + q = 6*z - v. Does 6 divide z?
False
Let p = -26 + 40. Let y be 9/(-3) + 3 + (-9 - 7) + -3. Let v = p - y. Is v a multiple of 27?
False
Let q(d) = -7*d**2 + 6*d**3 - 4 - 3*d**3 - 7*d**3 - 10*d + 3*d**3. Suppose -5*t = 48 - 8. Does 35 divide q(t)?
True
Let c(r) = 3*r**2 + 26*r + 167. Let q be c(-18). Let v = -428 + q. Does 28 divide v?
False
Suppose -28*r - 1331 + 17347 = 0. Is 22 a factor of r?
True
Suppose -a + 108 = 5*n, -4*n = -a - a + 174. Let h = -60 + 102. Let k = a - h. Does 9 divide k?
False
Let n = -5496 + 10056. Is 77 a factor of n?
False
Let x(m) = 5*m**2 - 18*m - 418. Is x(63) a multiple of 96?
False
Let n(y) = -28*y**2 + 16*y**2 - y**3 + 4*y + 13*y**2. Let w be n(-3). Let v = 32 - w. Does 4 divide v?
True
Suppose 18*v + 177 = 19*v. Suppose -v = -4*k + 171. Is 29 a factor of k?
True
Let o(s) be the third derivative of -s**5/60 + 13*s**4/24 - 3*s**3/2 - s**2. Let f = 1799 - 1792. Is 11 a factor of o(f)?
True
Let h = 19515 + -13331. Does 38 divide h?
False
Let n(j) = 2*j**2 - 3*j + 2. Let d be n(21). Suppose -2*c = k - 129 - 44, -c - d = -5*k. Does 32 divide k?
False
Let l(k) = 143*k**2 + 6*k - 3. Suppose -96*z + 10 = -91*z. Is l(z) a multiple of 16?
False
Suppose 354 = 5*z - 5*i - 36, 4*i + 230 = 3*z. Suppose g - z = 374. Is g a multiple of 19?
True
Is (-3058068)/(-220) + 47/517 + (-3)/(-5) a multiple of 19?
False
Let i(b) = 2*b - 28. Let d be i(6). Let n be 8/(-2) - d/1. Suppose -340 = -n*u - 40. Is u a multiple of 5?
True
Let j(x) = -15*x**2 - 268*x - 220. Is j(-9) a multiple of 4?
False
Let g = 3170 - 1072. Does 6 divide g?
False
Suppose 170 = 4*h - 5*k, -3*h - k = -109 - 9. Suppose -8*i + h = -3*i. Is 138/(-3 - (-36)/i) a multiple of 20?
False
Suppose 8*i - 17224 + 16192 = 0. Is 3 a factor of i?
True
Let w = -577 - -1450. Let z = w + -840. Is z even?
False
Let x be 2 + (-7 - -5 - (-1392)/4). Suppose 0*z = 3*z - 3*a + 6, 3*a - 6 = 5*z. Suppose z = -7*w + 4*w + x. Does 28 divide w?
False
Suppose 5*v = 17*v - 240. Suppose v*f - 6480 = -7*f. Is f a multiple of 56?
False
Suppose -4*c = -5*q + 194, -2*c - 5*q = 32 + 80. Let r = c - -153. Does 13 divide r?
False
Suppose -4*x + k + 4999 = 0, -41 = -5*k - 36. Is 125 a factor of x?
True
Let b be ((13120/15)/(-8))/((-8)/(-204)). Is b/(-28) - 4 - 8/14 a multiple of 19?
True
Suppose r + 4*r = 25. Let m be -12 + (24 - 5 - 5). Suppose m*g - r = 3. Does 2 divide g?
True
Let h(f) = 9*f + 84. Let o be h(-9). Suppose 0 = 3*l + 9, 2*u + l + o*l = 78. Is 5 a factor of u?
True
Let v = -60 + 11. Does 11 divide v/((-3 + 1 - -3)*-1)?
False
Let d = 654 + -681. Is (-14193)/d + 9/27 a multiple of 4?
False
Let p(l) = 173*l + 357. Let m be p(6). Let t = 2151 - m. Is t a multiple of 42?
True
Suppose -5*a + 0*v - 35 = 5*v, 4*v = 0. Let f be ((-2)/2 + (-5 - a))*92. Suppose 5*w - f = 3*s, 5*w - 6*s + s - 90 = 0. Is 3 a factor of w?
False
Suppose 5*d - 45 = 5*f, 5*f + 20 + 5 = 0. Suppose 158 = -d*k + 926. Is 8 a factor of k?
True
Let b = 41 - 39. Suppose -3*r = -2*f + 9, -2*f = -2*r + b*f - 14. Is (1*r)/(8/(-32)) a multiple of 4?
True
Let o = 206 - 67. Suppose 4*f + o = 5