ultiple of 20?
True
Is 4 - 6/3*-54 a multiple of 2?
True
Let g = -30 - -37. Let y be (2*-1)/((-37)/5 + g). Suppose 2*s - 110 = -0*s - y*d, -5*s + 258 = 4*d. Is s a multiple of 10?
True
Let t(g) = 201*g**2 + 53*g + 339. Is 66 a factor of t(-7)?
False
Suppose -5*y + 128 + 37 = 0. Suppose 0 = 8*q + y - 537. Does 9 divide q?
True
Let p be 8 + 389 - (0 - 4). Let i = p + -52. Suppose -109 = 4*r - i. Is r a multiple of 12?
True
Let o = 327 + -539. Let l = o - -437. Is 42 a factor of l?
False
Suppose -9*x + 695 = -2140. Suppose 0 = 186*f - 195*f + x. Does 26 divide f?
False
Does 80 divide ((-11)/(308/(-72)))/(54/327600)?
True
Suppose -5*f - 32*f + 175750 + 145595 = 0. Is 53 a factor of f?
False
Let l(z) = z**2 - 30*z + 94. Let i be l(40). Let u = i + -448. Does 5 divide u?
False
Let c be (-1 - -10)/((4/6)/(-2)). Let i be 15/2*(-18)/c. Suppose -5*j - 3*t + 11 = -i*t, -4*j - 3*t = -18. Is 2 a factor of j?
False
Let j(f) = -f**3 + 8*f**2 - f + 12. Let n be j(6). Is 6 a factor of (n + 0)/((-3 - -7) + -3)?
True
Let t = -7 - 37. Let w = t + 20. Is 4 a factor of w/84 + 228/14?
True
Let r(g) be the third derivative of -g**5/60 + g**4/2 - 11*g**3/3 - 6*g**2. Let u be r(10). Let o = u - -17. Is o a multiple of 7?
False
Suppose 102*x = 60*x - 3192. Suppose -3*q - 23 = 16. Let a = q - x. Is a a multiple of 6?
False
Let w(h) = -779*h + 217. Does 6 divide w(-1)?
True
Let c be (330 - 2)/((-10)/(-20)). Let q be (c/(-12))/(5/225). Is q/(-12) + 5/(5/(-4)) a multiple of 20?
False
Is 98 a factor of (27/(891/8877))/((-2)/(-2))?
False
Let u be (1*(-12)/16)/(1/8). Is 14 a factor of ((-448)/u - 0)*3?
True
Suppose -113*l = -226*l + 57*l + 129864. Is l a multiple of 19?
False
Let n(x) = -x**2 + 2*x. Let y be n(0). Suppose -3*g - 2*v = 0, -4*g + 5*v = -y*g. Let j = 70 + g. Does 14 divide j?
True
Let p = -34 + 36. Let x be (3 - (44/20 + p))*-5. Suppose q = x*q - 550. Does 8 divide q?
False
Let q(l) = -l**2 + 9*l - 9. Let d be q(7). Let h be (-6 - -4) + 2*d*3. Let m = h - 11. Does 4 divide m?
False
Let j(v) = -4*v**2 + 2*v + 10. Let s be j(-5). Let i be (45/(-2))/(-3*(-3)/18). Let o = i - s. Is 7 a factor of o?
False
Let a(s) = 5*s**2 + 75*s - 1286. Is a(17) a multiple of 10?
False
Let y = -3819 - -6367. Is y a multiple of 28?
True
Let w = 46 + -39. Let f(b) = -b + 10. Let n be f(w). Does 12 divide 93/4 + n/4?
True
Let a(y) = 5*y - 32. Let x be a(8). Let v(g) = 12*g**2 - 6 + x*g - 1 + 6 - 10*g**2. Is v(-11) a multiple of 29?
False
Let c(f) = -f**3 - 9*f**2 + 2*f + 22. Let a = -8 - 1. Let d be c(a). Does 25 divide (d/8)/(1/300)?
True
Let a(g) = g**3 + 9*g**2 + 3*g + 8. Let q be a(-6). Let y = -371 - -328. Let c = y + q. Is c a multiple of 11?
True
Suppose -15*k + 1878360 = 50*k - 10*k. Is k a multiple of 24?
True
Suppose 11247 = 5*t - 6678. Suppose -8*j + t = 7*j. Does 10 divide j?
False
Suppose 0 = q - 43 + 41. Let h(y) = 80*y + 4. Let p be h(q). Let z = p + -53. Does 23 divide z?
False
Let s be ((-1)/(4 + -1))/(28/(-336)). Suppose 0 = -5*k + 3*c + 3425 - 777, -s*k = 5*c - 2111. Is 14 a factor of k?
False
Let u(i) = 54*i**3 - 4*i**2 + 14*i - 161. Does 13 divide u(6)?
False
Let z be (-980)/10 - (2 - (5 - 4)). Does 57 divide -2*(z + -15)*(-6)/(-4)?
True
Let z = 2609 - 238. Suppose -z + 2287 = -6*w. Is w a multiple of 7?
True
Let o(h) = -23*h + 3. Suppose 22 = -36*n + 34*n. Is 8 a factor of o(n)?
True
Suppose 0 = 2*a + 12 - 44. Let r(j) = -j**3 + 16*j**2 - 5*j + 36. Let p be r(a). Let t = 64 + p. Is t even?
True
Let r(i) = i**3 + 50*i**2 + 313*i - 202. Is 86 a factor of r(-42)?
False
Suppose 4*j - 11036 = -2*s, -7*s - 17 - 11 = 0. Is 251 a factor of j?
True
Let j(v) = -23*v + 3 + 24*v + 4 + 0. Let t be j(-3). Suppose 4*h + 152 = -3*r + t*r, -r = 4*h - 168. Is 40 a factor of r?
True
Let c(k) = -2*k**3 - 86*k**2 - 720*k - 40. Is 31 a factor of c(-39)?
True
Let n be (12/21)/(6/21). Suppose n*f + 3*z = 38 + 3, 24 = f - 2*z. Does 5 divide f?
False
Suppose -23*v + 4*x - 41818 = -26*v, 0 = -5*x - 40. Is 225 a factor of v?
True
Let c(y) = -y**2 + 227 - 105 - 104 - 11*y**2 + 9*y - y**3. Let x be ((-13)/(-3))/((-2)/6). Is 35 a factor of c(x)?
True
Suppose 0 = 4*w + 5*z + 69 - 554, w = 5*z + 90. Let b = w - 64. Is (-392)/(-3) - 85/b a multiple of 9?
False
Let a be (-142990)/25 - (3 + 72/(-20)). Is -1 + a/(-57) + (-4)/(-6) a multiple of 25?
True
Let i(j) = 9*j**2 + 231*j - 8409. Is 99 a factor of i(50)?
True
Let w(p) = -p**3 - 2*p**2 - p - 297. Let j be w(0). Let i = j + 351. Is 27 a factor of i?
True
Suppose -k - 2*g - 201 = 0, 5*k + 4*g + 1005 = 18. Let x = k - -359. Does 6 divide x?
False
Let h = -3910 + 4080. Is 2 a factor of h?
True
Let s = -1043 + 487. Let a = s + 993. Is a a multiple of 11?
False
Suppose -162 = -w + 75. Suppose 2*t = q - 67, w = -q + 4*q + 3*t. Does 47 divide q?
False
Suppose 7*d = -3*b + 55309, -5*d = -d + 3*b - 31609. Is 23 a factor of d?
False
Suppose -14 = 583*u - 585*u. Let j(k) = 32*k - 59. Does 55 divide j(u)?
True
Let i(u) = 12*u + 28. Let t be (5 - (-13)/(-2))*2. Let w be i(t). Does 18 divide 1*w/10 + (-594)/(-5)?
False
Let n(y) = -11*y**3 + 36*y**2 + 30*y - 29. Is 11 a factor of n(-8)?
True
Let i(o) be the first derivative of -o**4/4 - o**3 + 4*o + 18. Let r be i(-2). Is 11 a factor of (-110)/(-40)*(r + 52)?
True
Let k = 267 + -463. Is (k - 0)*(-2)/4 a multiple of 14?
True
Suppose -678 = t + 3*b - 96, 2834 = -5*t + 4*b. Let a be 8/(t/(-566) - (3 + -2)). Suppose g - a = -5*i, 2*i + i - 3*g = 672. Is i a multiple of 18?
False
Let w(i) = -15*i**3 - 28*i**2 + 19*i - 6. Is 79 a factor of w(-7)?
True
Let o = 8208 + -4680. Is 168 a factor of o?
True
Suppose 5*y - 25 = -3*o, 5*o + 3*y - 25 = -10. Suppose 4*i - 280 + 60 = o. Does 3 divide i?
False
Suppose -150 = -26*a - 4*a. Suppose a*i - o = 762, i - 142 = -o - 4*o. Does 9 divide i?
False
Let c(z) = 3*z**2. Let d be c(-1). Let t be ((-6)/48)/(2/(-16)). Suppose -t = -d*g - 2*y, y = 2*g + g - 13. Does 2 divide g?
False
Suppose -3*a + 4*c = 2*a - 36, -2*a + 5*c + 28 = 0. Suppose -a*i = 4, -3*u = 5*i - 4 - 0. Suppose u*n - 208 - 32 = 0. Is 13 a factor of n?
False
Let w be 11050/26 - (-8)/(-1). Let l = w + -362. Is l a multiple of 5?
True
Let q(d) be the second derivative of -d**5/20 + 2*d**4/3 - 2*d**3 + 5*d**2/2 - 7*d. Let m be q(6). Suppose -5*u + 30 = f, -m*u = -2*f + f. Does 5 divide f?
True
Let w = -94 - 48. Let j = 76 - w. Is j a multiple of 23?
False
Suppose 32 = -8*u, 105*c - 104*c - 3*u = 862. Does 10 divide c?
True
Let x(g) be the third derivative of -157*g**4/24 - 14*g**3/3 - 35*g**2. Does 20 divide x(-4)?
True
Is 327 a factor of (117/(-9) + 19 - 2863)*-10?
False
Suppose 16 = 5*p - 14. Suppose -5*m = 5*v - 460, 0 = 2*v - p*v + m + 388. Is 8 a factor of v?
True
Suppose 3*q + 7*o - 3*o - 4 = 0, -q - o + 1 = 0. Let i be (0 - q)/(-2 + 2 + 2). Suppose i = -7*h + 58 + 26. Is 4 a factor of h?
True
Let i = 5638 + -3746. Is 44 a factor of i?
True
Let u = -30 - -30. Suppose c + 12 = 7*h - 4*h, -2*c + 4*h - 16 = u. Suppose c = 4*m - 7 - 69. Does 12 divide m?
False
Let q be 12 + -12 - (1/1 - 99). Suppose -4*o = -q - 74. Does 4 divide o?
False
Is (-5417 - -97)*(-12)/10 a multiple of 28?
True
Suppose 118*t - 90*t - 182428 = 25472. Is 11 a factor of t?
True
Suppose 68*w + 54*w - 430697 = 494673. Is w a multiple of 14?
False
Let f(c) = c**3 + 77*c**2 - 12*c - 8. Does 27 divide f(-11)?
False
Suppose x + 65 = 69. Suppose 4*a - k - 1069 = x*k, 3*k - 9 = 0. Suppose 2*u + 4*s - 602 = 0, u - a = -0*u + 4*s. Is u a multiple of 35?
False
Let a be 6*(-1)/(3/(-17)). Suppose -4*w + 7*v = 12*v - 27, 0 = w - 3*v + 6. Suppose w*q + a = 2*c - 0*c, 34 = 2*c + 3*q. Is c a multiple of 9?
False
Let k = -98 + 98. Suppose -3*j - 3*d + 12 = k, -8 = -j - 3*d - 2*d. Is (134/10)/1 - j/(-5) a multiple of 10?
False
Let j = 170 - 53. Suppose 0 = -3*b + 6*b + 234. Let x = b + j. Is x a multiple of 13?
True
Is 12 a factor of (20/(-25))/(8/(-8140) + -3 - -3)?
False
Let p(x) = 40*x**3 - 5*x**2 - 7*x. Is p(3) a multiple of 13?
True
Suppose -v - 3 = -17. Suppose 13*t + 6 = v*t. Suppose 805 = t*i - i. Is i a multiple of 19?
False
Let f(k) = -3419*k**3 - 2*k**2 - k. Is 2 a factor of f(-1)?
True
Suppose 9*r + 22 = -3*w + 7*r, -6*w + 4*r = 4. Let s(v) = -20*v + 18. Let y(l) = 1. Let z(a) = s(a) + 5*y(a). Is z(w) a multiple of 15?
False
Suppose -45320 = -5*o - 