 Let v = r - 148. Is 21 a factor of v?
True
Let m = -15 + 55. Suppose -3*g + 626 + m = 0. Let p = -39 + g. Is 27 a factor of p?
False
Suppose y + 4*p = 1074, 6*y + 2*p + 4314 = 10*y. Does 7 divide y?
True
Is 66 a factor of -4*(-19126 + 2) - 114/57?
True
Is 36*((-3 - -7) + 140) a multiple of 9?
True
Let h(s) = s + 3. Let y be h(-7). Is 34 a factor of (-21420)/135*(y + 1)?
True
Let p(w) = -6*w**3 - 11*w**2 + 6*w + 35. Let s be p(12). Is s/(-45) + 2 + (-2)/9 a multiple of 11?
False
Suppose 2*k - 117 = -3*j, 2178*k = 2183*k - j - 301. Does 4 divide k?
True
Suppose 5929 = 15*f - 7316. Suppose -1547 - f = -9*o. Does 21 divide o?
False
Let r = 407 - 395. Let i(m) = m**3 + 6*m**2 + 3*m - 1. Let s be i(-5). Let p = r - s. Is p even?
False
Suppose 0 = -8*n - 10381 + 28861. Is 7 a factor of n?
True
Let z be -8*(-4)/(-8) - -72. Suppose -z = b - 248. Is 18 a factor of b?
True
Suppose -2*s + 4*i = -0*i - 8230, 4099 = s - 4*i. Does 17 divide s?
True
Let f = 10173 - 16124. Is 14/(-63) + f/(-9) a multiple of 40?
False
Suppose 3*x - o + 1 = 2*x, -3*x + 22 = 2*o. Suppose 5*g + 142 + 58 = x*r, g = -4*r + 176. Is 6 a factor of r?
False
Let v(r) = -r**3 + 14*r**2 - 7*r + 32. Does 10 divide v(7)?
False
Is 91 a factor of 7/(1 + -50) + -14044*(-425)/70?
True
Let f(n) = -4*n + 9. Let q be -1*2*9/(-6). Let r be q - (17 - (-1 - -4 - 2)). Is f(r) a multiple of 14?
False
Suppose 2*m - 5*s - 4*s - 5642 = 0, 4*m - 11364 = -2*s. Does 29 divide m?
False
Suppose 102981 = 2*t + s, -547*t + 4*s + 154433 = -544*t. Does 8 divide t?
False
Suppose 14*t - 28032 = 45888. Is 33 a factor of t?
True
Let h(l) = 8*l - 16. Let i be h(-17). Let u = i + 167. Is 23 a factor of (-7427)/(-35) + (-3)/u?
False
Suppose -302*o + 10156 = m - 300*o, -5*o = 2*m - 20315. Is 10 a factor of m?
True
Suppose 30 = -1022*o + 1028*o. Is (4 - -467)/(5 - (9 - o)) a multiple of 23?
False
Suppose -10*m + 240 = 10*m. Suppose 0 = -11*t + m*t - 209. Is 19 a factor of t?
True
Suppose 199*m - 109350 = 154*m. Is 54 a factor of m?
True
Suppose -7*w = -6*w + 68. Let h = w + 104. Suppose -h*y = -41*y + 440. Does 11 divide y?
True
Let t(f) = -f**2 + 10*f - 6. Let m be t(7). Let a = 38 - m. Suppose -7*w - a = -149. Is w a multiple of 4?
False
Let q(i) = 3*i**2 + 4*i - 35. Let l be q(-16). Suppose 4*f + l = t, t + 20 - 523 = 3*f. Let r = f + 277. Is 29 a factor of r?
False
Let v be 8615/40 + 3*(-3)/24. Suppose -2*z - 53 = -v. Is z a multiple of 9?
True
Let v(z) = -4*z**3 + 5*z**2 + 8*z - 10. Let n = -46 + 41. Let g(a) = 7*a**3 - 10*a**2 - 15*a + 19. Let x(s) = n*v(s) - 3*g(s). Is 3 a factor of x(5)?
True
Let j be (1 + -3 - -1)/(-1)*-67. Let a = 27 - j. Is 12 a factor of a?
False
Let k(s) = s + 28 + 23 - 77 + 25. Let d(q) = -q**3 + 8*q**2 - 3*q - 22. Let i(g) = -d(g) + 2*k(g). Is 12 a factor of i(8)?
True
Suppose -5643 = -2*l - 3*n, 12*n - 16*n - 5608 = -2*l. Does 7 divide l?
True
Let m(t) = -277*t - 193. Let h be m(-6). Let k = h - 944. Is k a multiple of 21?
True
Suppose -41*h - 184500 + 111258 = -786724. Is 77 a factor of h?
True
Let d(x) = -6*x**3 + 19*x**2 - 8*x**3 + 15*x**3 + 7*x - 62. Is 8 a factor of d(-18)?
True
Let l = -135 + 224. Suppose u - l = 3*d, -5*d + 2*d - 93 = -3*u. Let z = d - -59. Is 10 a factor of z?
True
Let h = 281 + -153. Suppose 6*y - 484 = h. Does 13 divide y?
False
Let k = -1292 + 4613. Does 41 divide k?
True
Is 84 a factor of ((-14 - 11) + -6)*-155?
False
Let m = -1173 + 1806. Suppose 3*w = 3*z - 957, -m = -2*z - 0*w + 3*w. Does 18 divide (-1 + 2)/(3/z)?
True
Suppose 5*l = k + 16, -l + 11 + 1 = 2*k. Is 19 a factor of (-2 - 2) + (l - -19)?
True
Let k(h) = 653*h**3 - h**2 + 3*h - 2. Let p be k(1). Suppose 0 = -3*m - 5*t + p, 4*m + 2*t + 0*t = 852. Is m a multiple of 11?
False
Let x(h) be the second derivative of 57/2*h**2 - 10*h + 0 + 0*h**3 - 1/20*h**5 + 0*h**4. Does 19 divide x(0)?
True
Suppose g - 2 = -g. Let y be 119 - (-1)/(g - 0). Suppose -p - p + y = -4*f, -5*f = 25. Is 5 a factor of p?
True
Suppose -193*j = -749*j + 28722404. Is j a multiple of 223?
False
Suppose 2*h + 99 = -4*n + 1915, -5*h + 4508 = 2*n. Is h a multiple of 4?
True
Suppose 2*l = 3*u - 1677 + 12605, 10880 = 2*l + 3*u. Does 29 divide l?
True
Suppose 26*h - 2127 = 36535. Let s = h + -916. Does 19 divide s?
False
Let g = -38 - -45. Let l(x) = 165*x + 8. Is 27 a factor of l(g)?
False
Let b be (-94)/(119/21 - 6). Suppose m - b = -4*t, -22*t - 1435 = -5*m - 17*t. Is m a multiple of 26?
True
Is 130 a factor of (-15)/(-45)*1*37257?
False
Let v be (-16)/4 + -1*31. Let d = v + 68. Suppose -3*l + 873 - d = 0. Does 56 divide l?
True
Let d(r) = r**2 - 14*r + 7. Let v be d(14). Suppose -78 = -8*w + v*w. Suppose s + t - w = 0, 0 = -s - 3*s - 5*t + 317. Is s a multiple of 7?
False
Suppose -236*f - 404928 = -310*f. Is f a multiple of 30?
False
Let w be 13 - (0 + 3) - 5. Suppose -4*q = 20, -w*p - q - 211 = -1346. Is 75 a factor of p?
False
Suppose 0 = 3*k - 4*l - 1654, k - 2*l - 550 = -0*k. Let z = k - 127. Is z a multiple of 61?
True
Suppose -11 = -n - 10*n. Suppose -g = 2*q - 37, 3*g - n - 15 = -q. Suppose -20*f + q*f = -105. Does 21 divide f?
True
Suppose 0 = -2*m + 6, 10*i - m = 14*i - 2999. Is 11 a factor of i?
False
Let b = 3742 - 3164. Is 16 a factor of b?
False
Suppose -4*o + 2*f = -2*f - 56, 0 = 2*o - 3*f - 31. Suppose 37*v + o*v = 8208. Is v a multiple of 19?
True
Let b(g) = 29*g + 205. Let i be b(-7). Let p(u) = 2*u**3 - 3*u**2 + 3*u - 4. Does 6 divide p(i)?
True
Let w = 17279 - 13655. Is w a multiple of 34?
False
Suppose 159*p + 11925 = 3*o + 162*p, -3*o + 3*p + 11919 = 0. Does 24 divide o?
False
Let a(z) = -14*z**3 + 6*z**2 + 15*z + 3. Let o = 77 + -80. Let r be a(o). Suppose 0 = -5*x - d + 1030, 2*x - r = 4*d - 0*d. Is x a multiple of 41?
True
Let t(k) = -k**2 + 4*k + 1. Let j be t(2). Suppose 27 = 2*b + 2*b + j*g, 2*b - 4*g + 6 = 0. Suppose 4*a + 2*u - 61 = 25, a + b*u = 34. Is a a multiple of 19?
True
Let b = -102 - -98. Suppose 3*x = -2*z - 1 - 13, -3*z + x - 10 = 0. Does 10 divide (-2 - (b/z + 2))*-11?
False
Let g(o) = -o**3 - 56*o**2 - 155*o + 219. Does 36 divide g(-54)?
False
Let w = 297 - -36. Let c = w - -2. Is 27 a factor of c?
False
Let i(c) = -c**2 - 2*c + 16. Let t be i(-6). Let l be (-1)/(-3)*(-2 - t)*1. Suppose 91 = l*h - 123. Does 38 divide h?
False
Let j(c) = -c**3 - 7*c**2 - c - 2. Let f be j(-7). Suppose 0 = -10*k + f*k. Suppose -21 = -l - n - 2*n, l + n - 23 = k. Is 3 a factor of l?
True
Suppose m = 3*u - 25, 2*u + 6*m - 3*m = 24. Suppose 12 - 24 = -4*b. Suppose b*c + u*i = 12*i + 168, 5*c = 2*i + 274. Does 4 divide c?
False
Let v(o) = 349*o**2 + 52*o + 51. Is 2 a factor of v(-1)?
True
Suppose 122*v = -5*p + 121*v + 920, 2*p - 355 = -3*v. Does 4 divide p?
False
Suppose -4*k = 3*q - 4047, -5*k = -q + 1495 - 127. Let b = 2413 - q. Is b a multiple of 71?
False
Is 36/(-2) - -15321 - 3 a multiple of 18?
True
Suppose -4*n = -4*y - 34696, -4*n + 16*y - 15*y = -34681. Is 37 a factor of n?
False
Let r = 125 + -119. Suppose 1701 = 5*f - 3*x, r*x - x - 1041 = -3*f. Does 28 divide f?
False
Let d(u) = -u**3 + 14*u**2 - 9*u - 15. Let k be d(8). Let q = -238 + k. Does 20 divide q?
False
Let t(v) = -v**2 + v + 3. Let d be t(0). Suppose 3*c - 124 = -3*m - 34, -d*m + 90 = 5*c. Is 5 a factor of m?
True
Suppose -23*a + 10567 = 5*g - 24*a, 2*g - 5*a = 4213. Is 14 a factor of g?
True
Suppose 4*w + 67*l = 70*l + 1713, -3*l = -15. Is w a multiple of 2?
True
Let c(p) = -3*p - 21. Let o be c(-8). Suppose 3*d + 3 = 4*x, 0*d + d = -o*x + 12. Suppose -14 = x*q - 65. Is q a multiple of 7?
False
Suppose -32 = 7*g - 11. Does 33 divide g/(-6) + (-260)/(-8)?
True
Let z = -2 + 44. Suppose 13*f - z*f = -1160. Is f a multiple of 8?
True
Let v be 4/(-10) - (-4 + (-4455)/75). Suppose -2*g - 2*f + 197 = -v, 4*f - 142 = -g. Is g a multiple of 3?
True
Let t = 124 + -84. Is t/14 + (3 - (-20)/(-7)) a multiple of 3?
True
Suppose -8 = -3*y + 1. Suppose -o + 213 = -2*d, -5*o - d - 619 = -8*o. Suppose -2*w = -y*w + o. Is w a multiple of 28?
False
Let i(h) = -h**3 + 20*h**2 - 12*h - 37. Let u be i(19). Is ((-1600)/u)/(2/(-36)) a multiple of 10?
True
Suppose -t + 0*t - 26503 = -3*p, 0 = p + 5*t - 8861. Suppose -23*h = -249 - p. Does 39 divide h?
False
Let k = 2314 - -1726. Is 20 a factor of k?
True
Let x = 1270 - -188. Is 54 a factor of x?
True
Let p(q) = -