uppose -292 - 16 = -4*j. Let a = -456 - -398. Let c = a + j. Is c a multiple of 9?
False
Let z be ((-4 - -34)/5)/(4/370). Let t = 788 - z. Suppose 21 = i - t. Does 13 divide i?
False
Let l be 4/((-20)/(-15)) + -2. Let i be -21 - l/2*-10. Is 13 a factor of ((-507)/(-52))/((-3)/i)?
True
Let u = -966 - -10290. Is u a multiple of 14?
True
Let i be ((-1)/1)/(15/(-11955)) + 5. Suppose 0 = -5*o + u - 1567 + 5585, -o + u = -i. Does 21 divide o?
False
Let s(q) = 27*q**2 - 207*q + 271. Does 144 divide s(41)?
False
Let c(o) be the second derivative of 19*o**6/720 + o**5/40 + 5*o**4/12 - 12*o. Let z(p) be the third derivative of c(p). Is 22 a factor of z(1)?
True
Suppose 1 = -s + v, -s + 0*s + 5*v = 13. Suppose 5*y - 3276 = s*y. Is (2 - y/(-30))/((-3)/(-10)) a multiple of 20?
False
Let q(u) = -31*u + 142. Let b(n) = -6*n + 28. Let a(i) = 11*b(i) - 2*q(i). Is a(5) even?
True
Let x = -8240 + 11485. Does 17 divide x?
False
Let n(y) = -10*y + 1. Let p be n(-10). Suppose -24 = z - p. Suppose -6*g - z = -677. Is 25 a factor of g?
True
Suppose 532 + 1561 = 13*q. Suppose -807 = 21*m - 24*m. Let g = m - q. Is g a multiple of 13?
False
Suppose 20 = 5*i, -28*i + 12 = 5*n - 30*i. Suppose -w = n*u - 6*u - 422, 2097 = 5*w + 3*u. Does 20 divide w?
True
Let g be (-6)/(-36)*6*3. Suppose -1302 = -g*t - 2*q, 0*t + t = 3*q + 423. Does 16 divide t?
True
Let m be (-3 + 1)/(-2) - 1. Let g be 19/(-95) + (m - (-852)/10). Let c = g - 49. Is 9 a factor of c?
True
Suppose -7*d - 93243 = -109672. Is d a multiple of 33?
False
Suppose 48 = 4*o - 2*i + 14, -o + 4*i + 19 = 0. Suppose o*q = 2990 - 1093. Is 8 a factor of q?
False
Let l(o) = -o**3 + 7*o**2 + 8*o + 5. Let m be l(8). Suppose 2*r - 5*k - 52 + 2 = 0, -m*r + 4*k = -91. Let t = 28 - r. Does 9 divide t?
False
Let d = -20913 + 29996. Does 20 divide d?
False
Suppose 13*p + 0*p = 9*p + 70004. Is 17 a factor of p?
False
Let l(q) = -116*q - 1. Let g be l(2). Suppose 25 = -6*h + 11*h, -c = -4*h + 353. Let x = g - c. Does 25 divide x?
True
Let h be 2*(2 + (-2)/(-4)). Suppose -4*q - 4*f = 16900, -4141 = 3*q - h*f + 8558. Is 21 a factor of (1/4)/(1 - (-4221)/q)?
False
Let u be (-3)/(-6)*-2 + (-2 - -7). Suppose 4*x - 4 - 6 = -2*p, 8 = 2*x + u*p. Suppose 0 = 5*d + 3*t - 351, 219 = d + x*d - t. Does 17 divide d?
False
Let o be (-14 + 16)*(-6)/(-4). Let f(j) = -43*j + 44. Let q(d) = 23*d - 22. Let m(h) = -3*f(h) - 5*q(h). Does 5 divide m(o)?
True
Suppose -74 = -2*i + 530. Suppose 3*d - 5*c - 235 = 0, -4*c + i = 4*d - 5*c. Suppose -d = 10*l - 725. Does 13 divide l?
True
Is 107 a factor of (1276/(-110))/(2/(-15)*3)*321?
True
Let b = 16 + -10. Let n = 38 - b. Suppose -8*s + n = -6*s. Is 3 a factor of s?
False
Suppose 18672 = 4*n - 4*s, 3*n = -14*s + 12*s + 14024. Does 30 divide n?
False
Suppose -f - f = -72. Suppose -g + f = -39. Does 13 divide g?
False
Let l = -111 + 115. Suppose -f - 2 = -6*f + k, -l*f = 5*k + 10. Suppose f = -n + 16 - 8. Is n a multiple of 3?
False
Let r(v) = 117*v**2 + 63*v + 310. Does 14 divide r(-6)?
True
Let d(c) = -12 - 102*c**3 + 5*c - c**2 + 100*c**3 + 2*c. Let j be d(5). Does 20 divide (60/14)/((-54)/j)?
True
Suppose n + u = 6, 4*u - 11 = -2*n - 1. Suppose -a - 3*r = -4*r - n, a + 3*r - 23 = 0. Let g(l) = -l**3 + 13*l**2 - 12*l + 14. Does 31 divide g(a)?
True
Let p(c) be the first derivative of -7*c**2/2 + 90*c + 5. Does 9 divide p(0)?
True
Let j = 51 + -50. Let q be (-124)/(-2) + (-4 - (0 - j)). Suppose 4 = 9*c - q. Is c a multiple of 7?
True
Let k(a) = 7*a + 176. Let r be k(-16). Suppose -78*h = -r*h - 1092. Is 4 a factor of h?
False
Let v = -30 - -41. Let j(g) = 2*g**2 + 9*g + 7. Let f be j(v). Let b = f + -184. Is b a multiple of 39?
False
Let o(m) = m**2 - 28*m - 3498. Is o(-51) a multiple of 9?
True
Let v(o) = 5. Let n(p) = 20*p - 27. Let l(d) = n(d) - 4*v(d). Does 91 divide l(16)?
True
Let y(o) = o**3 - 5*o**2 + 40*o - 31. Does 11 divide y(10)?
True
Let i(c) = c**3 - 3*c**2 - 2. Let g be i(5). Suppose g*j - 38*j = 1740. Is 29 a factor of j?
True
Let f(d) = 2778*d + 4673. Is f(21) a multiple of 13?
True
Suppose -b = -2*p + 13569, -5*b = -p - p + 13581. Is p a multiple of 29?
False
Let w(f) = 3*f**2 - 67*f + 81. Let q be w(21). Let a(h) = 35*h**2 + 19*h + 55. Does 13 divide a(q)?
False
Suppose 21*y + 211052 = 21*y + 76*y. Is 16 a factor of y?
False
Suppose 3*b + 4*i + 14 = -0*b, -2*b + 5*i = -29. Suppose -4*g = 3*q - 33, 0*g - 3*q + 21 = b*g. Suppose n = -3*n + h + 90, 0 = -3*h + g. Does 23 divide n?
True
Suppose 2*m - 3*m = 2*h + 489, 5*h - 3*m = -1217. Let g = h - -374. Is 10 a factor of g?
True
Suppose -28*m = -381186 - 348494. Is m a multiple of 34?
False
Is 3 a factor of 65*(-4)/(-4)*(-5)/(-125)*2685?
True
Let a be 1519/35 + (-3)/(-15)*3. Let q = a - -303. Is q a multiple of 26?
False
Suppose -4*t + 10328 = 4768*p - 4767*p, 0 = 3*p + t - 30995. Is p a multiple of 12?
True
Suppose -n - 869 = w - 2937, -2*w = -2*n + 4112. Does 3 divide n?
False
Suppose 5*f + 0 = -k + 10, 5*f - k - 10 = 0. Suppose 4*n - 4207 = 3*g - 334, -3*n + 2583 = -f*g. Is (-2)/(-8) - g/36 a multiple of 21?
False
Let b(j) = 280*j**2 - 28*j - 96. Does 18 divide b(-6)?
True
Suppose a + a - 344 = 0. Let s be ((-2)/(-1) - 32) + (1 - 4). Let w = a + s. Is 20 a factor of w?
False
Suppose 60*g - 11*g - 59940 = 19*g. Does 50 divide g?
False
Suppose -5*k = z - 10388 + 2746, 23011 = 3*z - 2*k. Is 115 a factor of z?
False
Suppose -8*z = -43*z + 48545. Does 19 divide z?
True
Let y(i) = 786*i**2 - 49*i - 46. Is y(-4) a multiple of 63?
True
Let k be 8/((-32)/132) + 1. Let s be (-4)/(-1)*104/k. Let c(p) = -p**3 - 13*p**2 - 7*p - 16. Is 15 a factor of c(s)?
True
Let z(v) be the second derivative of 58*v**3/3 - 2*v**2 - 14*v. Does 46 divide z(4)?
True
Suppose m - 4*t = -488, 10*m = 11*m - 5*t + 488. Let q = m + 611. Does 51 divide q?
False
Let n(r) = -1636*r**3 + 2*r**2 - 2*r + 4. Let h be n(2). Is (10/(-4))/(300/h) a multiple of 5?
False
Suppose 7*k - 5*k - 22 = 0. Let s(h) = -10 + k - 9*h + 0*h + 14*h. Does 8 divide s(3)?
True
Let v be 2/(-4)*(13 - (-3)/(-3)). Let d(c) = c**2 - 8*c - 4. Let u be d(v). Suppose u = a + 5*b, -2 = -4*b + 6. Does 35 divide a?
True
Let n(x) = -x**3 - 4*x**2 - x - 2. Let z be n(-4). Let t be 0*(3 + (-11)/4). Suppose t = -z*o + 33 + 11. Is 2 a factor of o?
True
Let j = 3904 - -506. Is 70 a factor of j?
True
Suppose 0 = 2*s - 5*k - 35, 30*k = 3*s + 29*k - 20. Suppose -s*j = -7*y + 5*y - 244, 4*j + 2*y = 188. Is 4 a factor of j?
True
Does 11 divide -98068*(117/364 + 40/(-70))?
False
Let u(s) be the third derivative of s**7/840 - s**6/360 + s**5/60 + 13*s**4/24 - s**3 - 24*s**2. Let b(z) be the first derivative of u(z). Does 2 divide b(0)?
False
Is (8576/(-6))/(58/(-2175)) a multiple of 20?
True
Is (0 - -1) + (-25449)/187*-11 a multiple of 81?
False
Suppose 0 = -3*q + 5*q - 36. Let g(d) = -d**2 + 19*d - 16. Let v be g(q). Suppose 0 = -5*a + v*l + 3*l + 170, 4*l = -a + 54. Does 25 divide a?
False
Let w be 24/(-108) + 92/9. Let o be (-50)/w + -1*127. Let x = -88 - o. Is x a multiple of 4?
True
Suppose -6*q = -3 - 3. Let r be (3*q/(-4))/((-9)/(-36)). Let g(s) = -23*s + 7. Does 19 divide g(r)?
True
Let x(l) = -l**3 + 5*l**2 - 7*l + 5. Let y be x(3). Is ((-264)/(-5))/(y/10) a multiple of 6?
True
Let l(v) = -19440*v - 540. Is 10 a factor of l(-1)?
True
Let i = 5219 + -2261. Suppose -214 = 8*j - i. Is 11 a factor of j?
False
Let x = 117 + -219. Let v be 8/(-24) - (-517)/3. Let g = v + x. Does 7 divide g?
True
Is 206 a factor of (-69210)/(-4) + 29*(-114)/(-2204)?
True
Suppose 5*y - 41 = -3*k + 43, k = -2*y + 33. Suppose 0*x - y = -5*x. Suppose -x*i - 40 = -4*i. Does 8 divide i?
True
Let h = 3968 + -3956. Let a(r) = -2*r - 10. Let d be a(-7). Does 4 divide ((-108)/h)/((-1)/d)?
True
Let l(x) = -39*x + 41. Let r be l(10). Let m = 897 + r. Does 58 divide m?
False
Let k(b) be the first derivative of b**3/3 + 6*b - 7. Let m be k(-4). Is 11 a factor of m*((-19)/(-6) - (-2)/(-3))?
True
Suppose -6*t - 794 = -1106. Suppose t*f - 1664 = 44*f. Does 16 divide f?
True
Let b = 99 - 98. Is b/(1527/(-306) - -5) a multiple of 34?
True
Let s = -368 + 388. Suppose -s*o = -28*o + 4880. Is 10 a factor of o?
True
Let g(k) = k**3 + 3*k**2 + 4*k + 10. Let c be g(-7). Let u = c - -486. Is 17 a factor of u?
True
Is 55 a factor of (5 - -9)*(13 - 7272/(-16))?
True
