e
Let f be (4/(-12))/((-1)/243). Suppose 0 = 3*c - 0*c - f. Does 11 divide c?
False
Is ((-24)/11 - -2) + (-1605123)/(-1287) a multiple of 23?
False
Let h = 415 - -428. Does 7 divide h?
False
Let j(c) = -26*c - 8. Suppose 0 = -4*t - 40 + 8. Let l be ((-16)/(-6))/(t/12). Does 19 divide j(l)?
False
Suppose 0 = 2*r + 8, o + 0*o - 4*r - 22 = 0. Suppose 9*h = o*h + 132. Is h a multiple of 13?
False
Suppose 8*l - 553 = -v + 3*l, -3*v + 1643 = -l. Is 32 a factor of v?
False
Suppose 12*u + 1677 = 15309. Does 16 divide u?
True
Suppose 5*l + 0*d = 4*d + 288, l - 46 = -5*d. Is 2 a factor of l?
True
Let u(l) = 5*l**2 - l - 5. Let i be u(3). Let t = 7 + i. Does 11 divide t?
True
Let z = 1587 - 1545. Does 4 divide z?
False
Suppose 4*t - 3*i = -16013, 158 = -3*t + 3*i - 11851. Does 7 divide 4/(-18) - t/117?
False
Suppose -39*b + 3010 = -25*b. Is b a multiple of 8?
False
Let q = -39 - -33. Let w = q - -20. Does 14 divide w?
True
Suppose 14*b - 95403 = -19*b. Does 59 divide b?
True
Let k(j) = 29*j - 3. Let p be k(2). Suppose -p = 4*u - 19. Is -1*3/(u/84) a multiple of 7?
True
Let r(u) = -u**3 + 22*u**2 - 4*u - 28. Let d be r(22). Let h = -54 - d. Does 10 divide h?
False
Let p = -572 - -806. Is 26 a factor of p?
True
Suppose -4*r + 26 = 2. Suppose -4*v - 2*t = -3*t + 213, 0 = -2*t - r. Let x = 116 + v. Is 31 a factor of x?
True
Let k(j) = -3*j - 5. Let s(g) = -10*g - 15. Let y(t) = 11*k(t) - 4*s(t). Let x be y(5). Suppose -4*i = -104 - x. Is 12 a factor of i?
True
Suppose 1291 = 7*n + 535. Does 36 divide n?
True
Let p be 258/4*(-16)/(-24). Let j = p - 26. Suppose l + 2*h = 11 + j, -2*l = 3*h - 60. Does 22 divide l?
False
Suppose 3*r = -0*r. Suppose 3*l - 4 = -x, r = 2*x + 2*x + 2*l - 26. Suppose -x*j + 3*j + 32 = 0. Does 7 divide j?
False
Let q(h) = 10*h - 12. Let m(x) = -11*x + 11. Let k(v) = -5*m(v) - 6*q(v). Is k(-15) a multiple of 11?
False
Suppose 0 = -2*o + o + 5. Suppose -o*f = -q - 5 - 9, 5*q = 3*f - 48. Let j = 26 + q. Does 11 divide j?
False
Suppose 4*y = -20, -4*l + 0*l = -2*y - 10. Suppose -96 = -5*x + 4*w, l = -4*x + 6*x - w - 36. Does 12 divide x?
False
Suppose -7*a - 7 = -0*a. Is 40 a factor of ((-320)/12)/(a/3)?
True
Let r = 3551 - -418. Is 12 a factor of r?
False
Let n = -35 - -58. Suppose -f = -n - 67. Is 9 a factor of f?
True
Let r = -854 - -1419. Let p = r - 325. Is p a multiple of 12?
True
Let y = -2 - 4. Let k be (-81)/y*28/6. Let m = -41 + k. Is 11 a factor of m?
True
Let j(t) = -2*t**3 - 9*t**2 - 8*t - 3. Let g be j(-4). Let y = 8 + g. Is 21 a factor of y?
True
Let o be 718/8 - (-2)/8. Is 3800/o - -2*(-1)/9 a multiple of 6?
True
Suppose 5*k + 35 = i - 2, -25 = -5*k. Is 9 a factor of i?
False
Suppose 235*r - 832 = 251*r. Suppose 3*s - 294 = 5*s. Let d = r - s. Is d a multiple of 31?
False
Let a(k) be the first derivative of k**4/4 + k**3 - k**2/2 + 87*k - 9. Does 29 divide a(0)?
True
Let s(m) = 23*m**3 - 29*m**2 + 2*m + 5. Is 7 a factor of s(3)?
True
Let v be 417470/(-110) + 4/22. Suppose 0 = 5*y + 68 + 152. Is v/y - (-6)/8 a multiple of 20?
False
Is (141 - -6)/((-24)/(-32)) a multiple of 3?
False
Let k = 363 + -88. Is 55 a factor of k?
True
Let l(z) = -7*z. Let i = 19 - 11. Let q = i - 14. Is l(q) a multiple of 14?
True
Suppose -3*k - 8 = -4*b + 131, 4*k = -4*b + 104. Let g(h) = -h**2 + 1. Let s be g(1). Suppose -4*c + b + 1 = s. Is 8 a factor of c?
True
Suppose -v + 152 = -2*m, 2*v + 7*m = 2*m + 268. Suppose 2*n = 5*z - 451, -51 = z + n - v. Does 52 divide z?
False
Let y(u) = 23*u + 2*u - 41 + u. Is 23 a factor of y(9)?
False
Let r(x) = -14*x - 37. Let w(d) = -6*d + 11. Let t be w(3). Is 29 a factor of r(t)?
False
Is 105798/(-28)*20/(-30) a multiple of 19?
False
Suppose 5*g + 10 = -55. Let x = 12 + g. Is 9 a factor of (-4)/x - 2 - -25?
True
Let w(b) = b**3 + 10*b**2 - b - 3. Suppose 21 + 19 = -4*m. Let i be w(m). Suppose i*k - 52 = 5*k. Is k a multiple of 9?
False
Suppose 2846 = 3*d - 2737. Is 82 a factor of d?
False
Let t(g) = -10*g + 10. Is 14 a factor of t(-6)?
True
Let y = 30 - 28. Let c be y/3 - 884/39. Is 14 a factor of 4/c - 10036/(-143)?
True
Is 2/(-8) + ((-224532)/(-16))/9 a multiple of 132?
False
Does 99 divide 3/2*922 - -3*1?
True
Let i(g) = 35*g + 6. Suppose 0 = t - 3*k - 0 + 4, 0 = -t + k. Let a be i(t). Suppose 6*j = -22 + a. Does 9 divide j?
True
Let p(s) = -s**3 + 2*s**2 - 2. Let i be p(3). Let h = -7 - i. Suppose -3*t - t + 164 = 3*f, -3*f + 124 = -h*t. Does 12 divide f?
True
Let f = 29 + -25. Suppose 86 = f*c - 22. Is 8 a factor of c?
False
Let s = 22 - 18. Let g = s + -1. Suppose -g*p = 2*p - w - 365, 5*p - 340 = -4*w. Does 36 divide p?
True
Let w(l) = -l**3 + 9*l**2 - 7*l - 1. Let v be w(8). Suppose v = 2*y - 3. Is y even?
False
Suppose -52382 = -18*a - 17228. Is 9 a factor of a?
True
Is 7 a factor of (5/(15/(-12)) - -354) + 0?
True
Let z be -1 - (4/8 + 117/(-6)). Suppose -6072 = -z*m - 5*m. Is 41 a factor of m?
False
Suppose -2*a - 47 = -21. Let u = 1 - a. Is 7 a factor of u?
True
Suppose 31 - 551 = 5*b. Does 4 divide 336/13 + 1 + (-16)/b?
False
Let r = -16 - -13. Let v(a) = a + 7. Let m be v(r). Suppose -2*s + p + 189 = -m*p, -3*s + 5*p + 276 = 0. Is s a multiple of 23?
False
Let l(d) = -5*d - 37. Let m(z) = -z - 1. Let o(n) = -l(n) + 4*m(n). Is o(-13) a multiple of 5?
True
Let h(f) = -f**2 - 10*f - 12. Let q be h(-8). Let k = q - 15. Is (-2)/k + (-705)/(-55) a multiple of 13?
True
Suppose -8*i - 27 = -5*i. Let a be i + 109 - (-1 - -1). Suppose -2*b - 5*y = -a, 2*b - 5*y - 250 = -3*b. Does 10 divide b?
True
Suppose 4*w - a - 1261 = 0, a = -w + 5*a + 319. Is 35 a factor of w?
True
Suppose 5*w = j - 141, 5*j = -w + 6*w + 625. Is 9 a factor of j?
False
Let m(u) = -34*u - 1. Let c be m(-2). Let l = 151 - c. Does 12 divide l?
True
Let a be -1 + -4*4/(-16). Suppose -b = 3*d - 4, 0 = -2*b - a - 4. Suppose -3*n + 147 = 5*u, 3*u - 2*n = -d*u + 152. Does 15 divide u?
True
Suppose -1320 = 1443*c - 1448*c. Is c a multiple of 12?
True
Let b(k) = 4*k**2 - 5*k + 12. Let a be b(8). Let n = -118 + a. Is n a multiple of 10?
True
Let a be -3 - ((-10)/15)/(2/21). Let o(v) = 2*v**3 - 4*v**2 - 3*v - 5. Is o(a) a multiple of 11?
False
Suppose -5*t + 13 = 4*q, 5*q - t - 29 = -3*t. Suppose -q*o + 48 = -4*o. Does 8 divide o?
True
Suppose -227 = -5*x - 3*s, 0 = 5*x - x - 5*s - 189. Is 30 a factor of (28/4)/7 - (1 - x)?
False
Suppose -12*d + 35*d = 19297. Does 15 divide d?
False
Suppose -3*l + 3*r - 26 = 5*r, 4*l + 16 = 2*r. Let c(b) = -74*b**2 + 13*b + 7. Let u(q) = -37*q**2 + 7*q + 4. Let j(d) = l*c(d) + 11*u(d). Does 10 divide j(1)?
False
Let y be 5/(-10)*(-2 - (-1 + -1)). Suppose -3*i + 3*s + 81 = y, 3*s + 8 + 17 = i. Does 14 divide i?
True
Let d(r) = 79*r + 2. Does 10 divide d(1)?
False
Let j = 122 + 178. Is j a multiple of 15?
True
Suppose 0 = -2*f, -n - f - 3*f + 21 = 0. Let l = -7 + n. Is 10 a factor of l?
False
Let q be (-4 - -1) + 5/5. Does 9 divide (-1)/(q*(-1)/(-126))?
True
Let v(g) = g**3 + 13*g**2 - 2*g - 17. Let t be v(-13). Let d(k) = -6*k - 12. Let f be d(-6). Suppose -3*u + f + t = 0. Is u a multiple of 11?
True
Suppose 0 = 3*y + 12, 2*y - 3124 = 8*f - 11*f. Does 18 divide f?
True
Let a(g) = g**2 - 19*g + 96. Is a(17) a multiple of 2?
True
Let q(m) = 2*m - 8. Suppose -2*b + 2 = 0, -2*f + 3*b + 58 = b. Suppose w + l - 5*l = 22, 2*w - l - f = 0. Is q(w) a multiple of 10?
True
Suppose -54 = -5*o + 1. Let t be (-7)/(-35) - o/5. Let f = t + 6. Is f a multiple of 2?
True
Suppose -555 = -4*q + q. Let k = q + 55. Suppose -k = -x - 3*x. Is 12 a factor of x?
True
Suppose -4*n - 202 = 2*z, -3*n + 4*z + 0*z = 179. Let d = n - 69. Does 6 divide d/(-14) + (-4)/(-14)?
False
Suppose -2*c = 4*l + 16, -2*c + c + 12 = -3*l. Does 4 divide 96/4 + c/3?
True
Is 4 - 6 - (3 - 221) a multiple of 18?
True
Does 18 divide (7560/49)/(12/56 + 0)?
True
Let d(h) = 6*h**3 - 12*h**2 + 4 + 10 + 2*h - 5*h**3. Is 11 a factor of d(12)?
False
Suppose -5*a - 4*h = -41, -3*h - 6 = -a + 6. Is 21 a factor of (-210)/(-3)*(a/5 - 1)?
False
Let z(b) = -33*b - 23. Let m be z(-6). Is 17 a factor of (7/(m/(-30)))/((-1)/120)?
False
Suppose 26 = w + 5*f, 5*w - 2*f + 1 + 4 = 0. Suppose -5*d - 6 = -w. Let z = 40 + d. Does 9 divide z?
False
Suppose w + 8 - 6 = 0. Let o = 35 - w. Is 4 a factor of o?
False
Let t(j) = 72*j**2 + j - 1. Suppose -8*o - 5*o + 13 = 0. Is 24 a factor 