 of 35?
True
Suppose 20*l = 15*l + 275. Is 5 a factor of l?
True
Let t(v) = 4*v**3 + 5*v**2 - 8*v + 5. Does 6 divide t(3)?
False
Suppose 3033 - 48069 = -27*k. Does 4 divide k?
True
Let l = 841 + -467. Is 17 a factor of l?
True
Let i = 14 + 1. Suppose -i*f + 13*f = -216. Is f a multiple of 12?
True
Is 19 a factor of 47/(-188) - 1186*15/(-24)?
True
Suppose -i + 11*i = 1480. Is i a multiple of 11?
False
Let q(v) = -v - 2. Let w be q(-7). Suppose o + 0 = w*n - 1, -o + 2*n = -2. Suppose o*u = 2*x + 7 - 23, 0 = -5*u + 20. Does 8 divide x?
True
Let f(u) = -u**2 + 29*u - 37. Is f(27) even?
False
Suppose -3*z = 9 - 3. Let x(y) = 6*y - 3. Let b be x(z). Does 12 divide (-670)/b*6/4?
False
Suppose 10 = 5*r - 5*b + b, 40 = 5*r + 2*b. Suppose 0 = -n + r + 2. Is 4 a factor of n?
True
Does 14 divide (-1 + -9)/((-5404)/(-1358) + -4)?
False
Suppose 2*i + 741 = -257. Let j = i - -863. Suppose 5*h = 2*y + 483, -4*h = -0*h + 4*y - j. Does 14 divide h?
False
Suppose 0 = 3*k - 53 - 406. Suppose 3*x - 4*a - k - 43 = 0, 0 = -3*x + 5*a + 191. Is x a multiple of 36?
True
Let w be 64/12 - 1/3. Suppose -w = -p + 5. Does 3 divide 15/p*(0 + 2)?
True
Let k(x) = 2*x**3 + 4*x. Is k(4) a multiple of 6?
True
Let x(j) = j + 9. Let o be x(-7). Suppose -o*t = 3*t + 240. Is 10/4*t/(-40) a multiple of 3?
True
Let h(i) = -i**3 - 5*i**2 + 5*i - 4. Let m be h(-6). Suppose -5*f - 183 - 52 = -5*x, 2*x = -m*f + 74. Does 9 divide x?
False
Let j = 27 - 21. Let o be (429/j - 3)*2. Let z = o - 75. Is z a multiple of 10?
False
Let v be -1 - -2 - -20 - 0 - -3. Is 240/v + (-1)/1 a multiple of 9?
True
Suppose 4*k + 54 = h, 0 = 56*k - 60*k + 16. Is 15 a factor of h?
False
Suppose 0 = -2*t - 18 + 24. Suppose t*i + 4*d - 105 = 173, -3*i + 3*d + 264 = 0. Does 15 divide i?
True
Is 26/((-7)/(-1148)*8) a multiple of 16?
False
Let o = -351 + 249. Let i be ((-1)/(-3))/((-17)/o). Suppose -i*c + 6*c = 120. Is 9 a factor of c?
False
Let d = 2455 - 1872. Is d a multiple of 30?
False
Suppose 1064 = 589*n - 588*n. Is n a multiple of 9?
False
Suppose 2*n - 2*j + 18 = -68, -2*j - 4 = 0. Let c = 30 - n. Does 15 divide c?
True
Let j = -364 - -609. Does 35 divide j?
True
Let a = 13 - 5. Let t = a - -145. Suppose -5*i - 3*c + 186 = 0, 3*i + i + c = t. Does 13 divide i?
True
Let f(n) = -5*n**3 - 16*n**2 + 10. Let q(l) = -4*l**3 - 15*l**2 + 9. Let t(i) = -3*f(i) + 4*q(i). Let c be (18/21)/(2/(-28)). Does 2 divide t(c)?
True
Let n be 4 - -10*4/(-5). Suppose -3*p + 1244 = 65. Does 11 divide n/6 - p/(-9)?
False
Is 403 - (2 - 4) - -8 a multiple of 15?
False
Is 10 a factor of ((-24)/(-48))/(3/3960)?
True
Let p(f) = -f**3 + 4*f**2 + 1. Let u be p(2). Let m be (-27)/u - (-17)/1. Suppose m - 69 = -4*v - 3*s, v = 3*s + 10. Does 4 divide v?
False
Let l = -35 + 45. Is (-5)/2*(-304)/l a multiple of 19?
True
Suppose 3*v = -4*h - 101, 4*v - h + 138 = -3*h. Let d = -33 - v. Let p(n) = 13*n + 6. Is p(d) a multiple of 8?
True
Let f(a) = -13*a + 6. Is 9 a factor of f(-12)?
True
Let t = -24 - -26. Suppose 2*f = t + 2. Let a(x) = 4*x**3 - 3*x + 2. Is a(f) a multiple of 4?
True
Let r(l) = -5*l - 50*l**3 - 2*l**2 - 2 + 0*l**2 - 187*l**3 - l**2. Does 48 divide r(-1)?
False
Let g be ((-70)/(-25))/((-2)/(-70)). Suppose 0 = 3*o + 4*m - 12 - g, -5*o - 4*m + 170 = 0. Suppose -5*p + 10*p = o. Is p even?
True
Let t = 21 + -18. Is (t - -4)/((-1)/(-2)) a multiple of 7?
True
Let v(l) = l - 37. Let d be v(30). Let t(q) = 4*q**2 + 0 - 5*q**2 + 6 - 8*q. Is 8 a factor of t(d)?
False
Suppose -2*b + 8 = 0, b + 88 = -4*t + 1852. Is 22 a factor of t?
True
Let u(n) = -n**2 + 10*n + 9. Let h be u(-6). Let f = h + 93. Is f a multiple of 6?
True
Let c(u) = u**3 - u**2 + 2*u. Let j be c(4). Suppose x = -3*v + 4*v - 6, -3*x - 20 = -4*v. Suppose -v*h - j = -6*h. Is 12 a factor of h?
False
Suppose -3*z + 2*z = 0. Suppose z = -3*y + 1 + 5. Suppose 0 = -x - x + y, 0 = -5*c - x + 636. Is 32 a factor of c?
False
Let a(k) = -27*k + 7. Let j(b) = 26*b - 6. Let r(s) = -4*a(s) - 5*j(s). Is r(-3) a multiple of 17?
True
Let c(k) be the second derivative of k**4/4 + k**3/3 + 2*k**2 - 3*k. Let u be -5 - 2 - (1 + -5). Is c(u) a multiple of 18?
False
Let n = 745 + -275. Suppose 6*q = q + n. Let g = q + -22. Does 16 divide g?
False
Suppose 3*o + 69 = 54, -j + o + 7 = 0. Let f(i) be the third derivative of i**5/3 + i**4/8 - 2*i**3/3 - 2*i**2. Does 20 divide f(j)?
False
Let p(a) = -a**2 - 7*a + 5. Let h be p(-7). Let t be 23/h + 12/(-20). Suppose 0*o + 2*o - 2*z - 140 = 0, 4*o + t*z - 248 = 0. Does 22 divide o?
True
Is 160 - (-5 + -1 + 1) a multiple of 33?
True
Is 344/430 + 3921/5 a multiple of 19?
False
Let o be (354/(-8))/(11/132). Let u be o/6*4/(-6). Suppose 3*s - 3*q - 171 = 0, -s + 0*s + 3*q + u = 0. Is s a multiple of 14?
True
Let n(o) = -o**3 - o + 3. Let b(v) = -v**3 + v**2. Let j be b(1). Let a be n(j). Suppose -4*q = -s - 40, s + 19 = a*q + 3*s. Is q a multiple of 5?
False
Let a be 2 - 2 - -4 - -1. Suppose 5*g - 152 = 2*g + 2*y, 0 = a*g + 2*y - 280. Is g a multiple of 14?
False
Let x be -2 + 8/5 + (-46)/(-115). Suppose p + 189 = 3*k, x*k + 3*k - 171 = -5*p. Is 4 a factor of k?
False
Let x be (-1 + 7)*-4*(-6)/72. Suppose 3*g + 6 = 4*a - 7, 0 = a - 2*g - x. Is 3 a factor of a?
False
Suppose 3*m - m - 2 = 0, 0 = x - 5*m - 39. Suppose 0 = v - 3*u - 2, -4*u = 6*v - 4*v - x. Is v a multiple of 7?
True
Suppose -30*z = -175 - 785. Is 16 a factor of z?
True
Let q = 28 + -23. Suppose -q*h + 21 = 1. Suppose 3*c = 15, -3*c - 85 = -h*y + 116. Is 16 a factor of y?
False
Suppose 2*m + 1232 - 3132 = 0. Suppose -u + 0*u + m = 4*i, i - 5*u - 248 = 0. Let p = i - 153. Is p a multiple of 23?
False
Let p = 3020 + -2774. Does 35 divide p?
False
Let d(v) = 3*v + 71. Does 15 divide d(14)?
False
Suppose 0 = 35*g - 30*g - 1095. Does 27 divide g?
False
Let q = -3 - -7. Suppose -q*m + 80 = 2*j, -3*j - m + 91 = -34. Is (j/(-3))/((-1)/1) a multiple of 7?
True
Suppose 0 = -4*w + 3*w - 3*v + 423, -5*v + 413 = w. Does 18 divide w?
False
Let i(p) = -2*p**2 + 3*p**2 - 3*p + 2 + 2*p**3 + 0*p**2 - 3*p**2. Let f be i(2). Suppose -f*h + 27 = -145. Does 14 divide h?
False
Suppose -r - 3*a + 3 = 0, 3*r + r = -3*a + 12. Suppose 0 = 5*v - 25, -3*z - 2*v + r*v = 32. Does 12 divide z/(-27) + 166/6?
False
Let i = -77 - -581. Is i a multiple of 30?
False
Let s(w) = -2*w**2 + 62. Suppose -l - 22 = -0*i - 5*i, -5*i + 19 = -2*l. Suppose -5*b - 4*o + 12 = 0, -b - b = l*o - 9. Is 16 a factor of s(b)?
False
Let x = 25 + 4. Suppose 0 = -3*j - 3*m + 24, -2*j - 3*m - m + 20 = 0. Suppose q + k = x, -145 = q - j*q + 3*k. Does 29 divide q?
True
Suppose -11 = -3*f - 4*g, -2*f + 4*g = 6*g - 8. Suppose 3*h - 3*b = 861, 1 = f*b - 4*b. Does 12 divide h?
True
Let i be ((-6)/(-12))/(2/(-124)*-1). Suppose 262 - i = 3*f. Is f a multiple of 11?
True
Let b(g) = 50*g**3 + g**2 + g - 1. Let u be b(1). Let s be 63/57 + (-14)/133. Let a = u + s. Is 15 a factor of a?
False
Let g(h) = 21*h - 2 + 0 - 27*h. Let f be g(1). Let d(x) = 3*x**2 + 7*x - 4. Is d(f) a multiple of 24?
False
Let a(p) = -p + 14 - 2*p**2 + 3*p**2 + 4*p - 15*p. Let h be a(11). Suppose h*g + 242 = 5*k, -3*k + 3*g = -57 - 87. Is 17 a factor of k?
False
Let v(k) be the second derivative of -k**5/20 + 13*k**4/12 - 13*k**3/6 + 7*k**2 + 10*k. Let q be v(12). Suppose -6*j + q*j = -344. Is j a multiple of 25?
False
Let s = -5 + 14. Suppose -5*j - 5*x = -10, 2*j = -3*x - 0*x + s. Is -1 - (-43 + j)/2 a multiple of 22?
True
Let p = 398 - 274. Is 62 a factor of p?
True
Let a(y) = -y**2 - 9*y - 8. Let r be a(-9). Does 9 divide r + 6 + (57 - 1)?
True
Let y(g) = 36*g - 3. Suppose 4*h - 15 = 1. Let b be y(h). Suppose 3*f - b = -4*p, -p - 3*p = -f + 47. Is 14 a factor of f?
False
Does 21 divide (490/20)/((-3)/((-198)/1))?
True
Suppose d - 36 = 5*u, d + 3*u - 108 = -2*d. Does 12 divide d?
True
Suppose -17 + 67 = 5*i. Let a be (4/i)/(5/75). Let f(n) = 12*n + 4. Is f(a) a multiple of 19?
True
Let a(o) = 14*o**2 + 16*o - 46. Does 16 divide a(10)?
False
Suppose 0 = 8*u - 39*u + 5952. Is u a multiple of 16?
True
Suppose -n - 3*w = -21, -6*w + 2*w + 8 = 0. Let z(j) = -j**3 - 9*j**2 + 11*j + 5. Let h be z(-10). Let u = n - h. Is 4 a factor of u?
True
Suppose 8*l = 4*l + m + 41, 5*m + 52 = 3*l. Does 2 divide l?
False
Suppose -f = -5*f + 16. Suppose -t = -5*t + 4*n + 20, 0 = -2*t - n + f. Suppose -5*c