f 36?
True
Let m = 36 - 33. Suppose 13 = -5*k - 3*q, m*k = -q - 3*q - 10. Is 12 a factor of ((-9)/3 - -99) + 0/k?
True
Let y(m) = 55*m + 155. Let h(a) = 7 - 85*a + 19 + 94*a. Let d(t) = 25*h(t) - 4*y(t). Is d(10) a multiple of 10?
True
Let u(q) = 139*q**2 - 3*q - 13. Let x(g) = 555*g**2 - 13*g - 58. Let b(z) = 9*u(z) - 2*x(z). Let r be 6/(-4)*(-4)/(-6). Does 32 divide b(r)?
False
Suppose 0 = u - 2*h - 120, u - 2*h - 456 = -3*u. Suppose 0 = -5*x - 5*t + 460, x - t + 26 = u. Let y = 15 + x. Is y a multiple of 13?
True
Let a(c) = c**2 + 4*c + 5. Let q be a(-3). Suppose 0*w = q*j + w - 134, 0 = -3*j - 3*w + 201. Is j a multiple of 17?
False
Suppose -5046 = 17*g - 29713. Suppose 11*h - 6447 - g = 0. Does 9 divide h?
False
Let f = 3339 - 2339. Suppose -7*y + f = -1268. Suppose 6*w = -54 + y. Is w a multiple of 9?
True
Suppose 53*p + 8 = 45*p. Is 40 a factor of -3*36112/(-108) - p/(-9)?
False
Let l be (-3)/(-2)*(-3)/(3/(-2)). Suppose f + l*k = 3*f - 11, 0 = -3*f + k + 13. Is (1*(-22)/f)/((-1)/12) a multiple of 7?
False
Suppose -1111*d - q + 121901 = -1107*d, -5*q + 25 = 0. Is 80 a factor of d?
False
Let s(i) = 580*i - 1605. Is s(16) a multiple of 19?
False
Let o = 2055 - 1089. Let z = 1848 - o. Does 63 divide z?
True
Let g be 0 + 34/(-2) + 10/(-5). Let u = 16 - -23. Let o = g + u. Is 20 a factor of o?
True
Let u(b) = 35*b**2 + 14*b + 37. Does 8 divide u(10)?
False
Let d(v) = -2*v**3 - 9*v**2 - 8*v + 7. Let b be -7 + ((-6)/(-18))/(2/12). Let w be d(b). Is 6 a factor of w/(-16)*(-10)/1?
False
Is (4*120729/336)/(-1 + 15/12) a multiple of 14?
False
Suppose 174 + 81 = 17*a. Let m = -13 + a. Let t(i) = 85*i**2 - 7*i + 1. Does 21 divide t(m)?
False
Suppose -5*t + i = -69132, 0 = 2*i + 8 + 6. Is t a multiple of 35?
True
Let w be 12/(-10)*(-105)/14. Let q(p) = -34 - 2*p**3 + 0*p**3 - 11 + 20*p + 17*p**2 + 27. Is q(w) a multiple of 13?
False
Is 4 a factor of 7 - (-11 - 19492/11)?
False
Let v(m) = -12*m - 42. Let j be v(-4). Let n(f) = 2*f + 7. Let s be n(-7). Is 11 a factor of 54/1 - (j + s)?
True
Let y(a) = 0*a - 8*a**2 + 37*a**2 + 10 - 2*a. Is 16 a factor of y(-3)?
False
Let o = -18536 - -27176. Does 15 divide o?
True
Let i be 486/108*(-6)/9. Let h(z) be the first derivative of -20*z**2 + 1. Is h(i) a multiple of 15?
True
Let j be 3289/91 + (0 - -1)/(-7). Let i = j - 25. Let t = 46 - i. Does 5 divide t?
True
Suppose 0 = 8*z - 13*z + 5. Suppose -3*w + z = -8. Is 3 a factor of w?
True
Let h be 2 + -1 - 9*(0 + 3). Let n = -30 - h. Is (-22)/((-2)/(-44)*n) + -2 a multiple of 17?
True
Suppose -4*x + 3*x = 11. Let t be (-5 - (-1 - (-11)/(-2)))*54. Let b = t + x. Is b a multiple of 14?
True
Let f(g) be the first derivative of g**5/10 - g**4/6 - g**3/6 - 7*g**2/2 - 27. Let h(n) be the second derivative of f(n). Is h(3) a multiple of 9?
False
Let h be (1 + -1)/((-30)/20*-2). Suppose h = -f + 567 - 494. Is 4 a factor of f?
False
Let q(i) = 2*i**2 + 7*i + 1. Let a be q(2). Suppose a*d - 930 = -7*d. Does 2 divide d?
False
Let d(n) = -3*n - 13. Let z be d(-2). Let q be (8 + -2 + z)*(-2 + -1). Suppose 153 = g - 2*j, q*g + 8*j - 450 = 5*j. Does 31 divide g?
False
Suppose 6411 = 11*q + 801. Let s = q + -1. Is 34 a factor of s?
False
Let q = 29 + -20. Let u be (-1 - -59) + (-36)/q. Let z = u - 18. Is z a multiple of 3?
True
Suppose -4*u = -0*u - 40. Let q(k) be the second derivative of k**3/2 - 17*k**2/2 + 1562*k. Is 3 a factor of q(u)?
False
Suppose -46*c = -87*c + 190281. Does 21 divide c?
True
Suppose 10*w - 119 = -39. Suppose -864 - 216 = -w*v. Is 3 a factor of v?
True
Is (((-1)/(-2))/1)/(114/4854804) a multiple of 9?
False
Let v(k) = -6*k - 29. Let b be v(-6). Suppose b*d - 10*d + 498 = 0. Is d a multiple of 39?
False
Suppose 0 = w - l - 712, -60*l - 766 = -w - 65*l. Is w a multiple of 5?
False
Let s = 414 + -408. Suppose -7*m + 271 = -s*m + 2*i, -3*m + 785 = -i. Does 17 divide m?
False
Is 6 + 49880/72 - 2/(-9) a multiple of 12?
False
Let m(t) = 2*t**2 - 3*t - 4. Suppose 5*p - 2*p - 4*x = 49, 4*x + 87 = 5*p. Let k = 32 - p. Is m(k) a multiple of 25?
False
Let i(n) = 6*n**2 - 9*n + 3. Let m = 88 + -84. Let o be i(m). Let y = 91 - o. Does 16 divide y?
False
Suppose 207*d - 205*d + u = 23168, -2*d + u = -23176. Is d a multiple of 153?
False
Is (-2 + 30)*(50337/(-34))/(-21) a multiple of 42?
True
Suppose 5502 = 4*v + 2*h, -293*v + 5499 = -289*v + 3*h. Is 17 a factor of v?
True
Suppose -27*g + 17*g = -9990. Suppose 2*s = -8, g - 220 = 3*v - 5*s. Is v a multiple of 40?
False
Let o(f) = 49*f - 775. Is 17 a factor of o(63)?
True
Suppose -i + 6*i + 505 = 3*c, 3*c + 2*i = 512. Suppose 5*m - c = -50. Let n = m + -15. Is n a multiple of 4?
False
Let w be -8*1/(-5)*(-45)/(-18). Let z(o) = 5*o**3 + 3*o + 9. Is 11 a factor of z(w)?
True
Let k(s) = -s**3 + 9*s**2 + 10*s + 11. Let h be k(10). Suppose -b - 5*f - 7 = 0, h = -0*b - b - f. Let p = 10 - b. Is p a multiple of 22?
True
Suppose -4*m = 5*k - 4*k - 1760, 2*k - 3510 = -3*m. Is 73 a factor of k?
True
Let a = -122 - -132. Suppose -576 = -a*z + 3894. Does 32 divide z?
False
Let u = 3059 + -1682. Is u a multiple of 24?
False
Suppose -5*t = 2*g - 6*t - 21598, 3*t + 43194 = 4*g. Is g a multiple of 120?
True
Suppose 0 = -4*k + i + 32, 2*k + 0 - 2 = -3*i. Suppose -k*n = -8*n + 43. Suppose 20 = p - a, 3*p - 3*a = p + n. Is 17 a factor of p?
True
Let i = 549 + -348. Let a = 1 - 3. Is (i/(-2) + 1)*a a multiple of 25?
False
Let g(a) = -2*a + 28. Suppose 3*z - 12 = -2*s + 2, z = -4. Let w be g(s). Suppose -3*i + 627 = -2*m + 147, -4*i + w*m = -640. Is i a multiple of 16?
True
Let u(o) = 229*o**3 - 11*o**2 + 11*o - 9. Let t(r) = -114*r**3 + 5*r**2 - 5*r + 4. Let n(g) = -7*t(g) - 3*u(g). Let v be n(1). Let a = v - 29. Does 9 divide a?
True
Suppose -4*d = 5*a - 95, 2*a = 4*d + 17 - 7. Suppose 4*w - 15 = -a. Suppose 3*t - 5*r - 23 = w, -3*t + 5*r = -t - 7. Does 16 divide t?
True
Suppose 95 + 385 = 40*v. Let b(x) = 12 - 5*x - 6*x - 3*x**2 + x**3 - 8*x**2. Does 4 divide b(v)?
True
Suppose -4*s = -2*y - 4, 4*s - y + 0 = 6. Suppose -s*c = -2*a + 28, 2*a - 48 + 4 = 3*c. Let p = c - -27. Is p a multiple of 7?
False
Let z be 0 + (11 + 0 - -4). Let h(t) = 17 + 38 + z + 138*t - 143*t. Is 13 a factor of h(0)?
False
Suppose 938 = 5*s + 2*j, 0 = j - 69 + 70. Suppose 4108 - s = 16*z. Is z a multiple of 35?
True
Suppose -3*z - 5*n = 82, 5*z + 72 = n - 46. Is (1470/z + 2)*(-16)/6 a multiple of 14?
False
Suppose 297605 = 43*p - 548807. Is p a multiple of 11?
False
Suppose 0 = 17*u - 2000 - 1128. Suppose 4*s + 2*g - u = 0, -5*s - 5*g + 10*g = -230. Is 34 a factor of s?
False
Let z = -6511 + 9871. Suppose -10*k + 17*k - z = 0. Suppose 3*h - 7*h = -k. Is 40 a factor of h?
True
Let w(d) be the first derivative of -38*d + 14 - 7/2*d**2. Is 11 a factor of w(-7)?
True
Is (-143510)/(-19) + 399/(-2527) a multiple of 13?
True
Suppose 0 = 2*v - 4*c - 28892, c + 86695 = 5*v + 14546. Does 14 divide v?
False
Suppose -13*w - c = -11*w - 399, 3 = -3*c. Let f = 284 - w. Is 28 a factor of f?
True
Let n = -309 - -2561. Does 60 divide n?
False
Let y(i) = 3*i - 29. Let o be y(10). Let g be (7 + (-210)/18)/(o/(-3)). Is 33 a factor of (24/g)/(17/1071)?
False
Let m be 2/11 + (-22)/121. Suppose 13*s - 8*s - 1110 = m. Suppose 5*c - 2*c - s = 0. Is c a multiple of 37?
True
Suppose -s - 3*q - 10 = 0, -q - 2*q - 14 = -s. Is 8 a factor of (-12285)/(-70) - 5/s?
False
Suppose 4*p + 19 = 7. Let m be -3 + -67 - p/3. Let l = 1 - m. Does 14 divide l?
True
Let s be (-22 + 27)*(-31)/1. Let q = -130 - s. Does 5 divide q?
True
Suppose 5*d = -6 - 9, 2*x + 5*d = -901. Let m = x + 518. Is 15 a factor of m?
True
Let a be -4 + 9 + 0 + 1. Let j be ((-27)/(-18))/((-1)/a*-3). Suppose -4*w + 210 = 2*q, -w - 85 = -j*w + 3*q. Is 25 a factor of w?
True
Let d(p) = 4*p - 40. Let t be d(12). Suppose 0 = -j + t*j - 1547. Suppose 5*x - 3*v = j, 3*x - 203 = -5*v - 50. Is x a multiple of 17?
False
Suppose 14*q - 7*q - 686 = 0. Suppose 0 = -2*k + q + 110. Does 26 divide k?
True
Suppose -d - 4*p = 9, -4*p - 21 = -5*d - 2*p. Suppose 0 = -d*m + 28 + 17. Suppose -56 = -19*i + m*i. Does 2 divide i?
True
Suppose 6*g - 8*g = -4. Let o be 8/10*5/g. Suppose 10*u = o*u + 128. Is u a multiple of 5?
False
Suppose 3 = 374*m - 371*m. Is 25 + 948 + m + 3 a multiple of 30?
False
Let t(y) = -3*y - 19. Let l be t(-7). Suppose 4*w - 2*s