d be f(n). Suppose d = 5*k + 112. Does 14 divide k?
True
Is 48 a factor of 31420 + 24 + 4*-1?
True
Is 81 a factor of (1 + -21690)/((-10)/10) - -3?
False
Let h = 52 + 1. Let b = h + -22. Let t = 103 - b. Is 18 a factor of t?
True
Let h = -358 + 365. Suppose h*i - 358 - 426 = 0. Is i a multiple of 14?
True
Suppose -h = 3*h + 20, 0 = 2*c - 2*h - 58. Suppose -3*z + 0*z = -c. Suppose z*j = 2*j + 420. Is 10 a factor of j?
True
Suppose 2*q + 3*o + 753 = 0, -11*o + 7*o = -q - 349. Let a = q - -833. Does 16 divide a?
True
Suppose 0*p - 3640 = -4*i - 3*p, -3*i - p + 2725 = 0. Is 123 a factor of i?
False
Suppose 18*p = 36801 - 11943. Is 4 a factor of p?
False
Let q = -130 - -224. Suppose 3*r - s - 410 = -q, s = -4*r + 419. Suppose i - 6*i + r = 0. Does 3 divide i?
True
Suppose i + 14 = -3*i + 5*a, 20 = -3*i - a. Is (i + (-21)/(-4))*-144 a multiple of 2?
True
Let s = -28 - -36. Suppose -2*q = 3*n - 217, 5*n = s*q - 12*q + 439. Is q a multiple of 6?
False
Suppose 5*m - h - 570 = 0, 4*m + 0*h + 5*h = 427. Suppose m + 282 = 3*d + 5*a, 545 = 4*d + 3*a. Is 14 a factor of d?
True
Let l = 123 + -121. Suppose 28 = c + 2*r, l*c + c - 3*r - 48 = 0. Is c a multiple of 4?
True
Let f(s) = -4*s + 45. Let q be f(10). Is 4 a factor of 0 - -4 - q - -49?
True
Suppose 8*h - 14*h + 24 = 0. Suppose -h*m = -5*z - 682 - 462, 1156 = 4*m - 2*z. Is 6 a factor of m?
False
Let j be (-3 + 1)*(-2149)/(-14)*-1. Suppose p = -p - 398. Let u = p + j. Does 12 divide u?
True
Let x(u) = u**2 + 10*u - 11. Let a = 18 + -32. Let o be x(a). Suppose -9*w + 10*w - o = 0. Does 16 divide w?
False
Suppose -3*i - o = -5398, -4*i + 3*o = -5*i + 1778. Is i a multiple of 60?
False
Let p = -27319 - -29083. Is 12 a factor of p?
True
Suppose 23 = 8*g - 9. Suppose 5*k - 62 + 27 = g*y, k - 2*y - 13 = 0. Let a(t) = 47*t + 3. Is a(k) a multiple of 24?
True
Suppose 1156*c = 1184*c - 646968. Is c a multiple of 59?
False
Let j be (-14 - (-70)/(-7))/(1/31). Let s = 1056 + j. Is 5 a factor of s?
False
Suppose -9*g = 4110 + 1308. Let x = -424 - g. Is 40 a factor of x?
False
Let s(w) = 1135*w + 119. Is s(11) a multiple of 29?
False
Suppose 0 = -5*x - 1 + 21. Suppose 7*j - 479 = x. Suppose 73*z = j*z + 352. Is z a multiple of 22?
True
Let h(s) = -238*s**3 + s**2 - 1. Let g be 3/(-9) + 2/(-3). Let p be h(g). Suppose y = -3*y - 2*l + p, -4 = 4*l. Is 12 a factor of y?
True
Let l be 0 + (-20)/4*-1 + -59. Let h(m) = -78*m**2 - m - 1. Let k be h(-1). Let g = l - k. Is g a multiple of 3?
True
Suppose 0 = -241*o + 193*o + 882768. Is o a multiple of 32?
False
Let g = 1 + 4. Suppose g*f - 22 = 3. Suppose -10 = -2*s, 0*s = f*o + 2*s - 45. Is o even?
False
Let y be 2*(90/4)/9 - 4. Is 16 a factor of (y + 239)/(-36 - -37)?
True
Let f = 7860 + -4173. Does 103 divide f?
False
Let k(f) = -2*f**2 + f + 3. Let m be k(-1). Suppose -p - 146 = -4*l, 4*l + 5*p - 152 + 18 = m. Is 4 a factor of l?
True
Suppose -13*c = -c + 51*c - 443394. Is c a multiple of 141?
False
Let w = -732 - -2091. Suppose 0 = -29*g + 2121 + w. Is g a multiple of 30?
True
Suppose -40*n = -2*d - 36*n + 13206, -5*d + 5*n + 32985 = 0. Is 13 a factor of d?
True
Let m(d) = -4*d**2 + 8*d + 7. Let r be m(4). Let p = r - -29. Suppose 762 = h + p*h + j, -450 = -3*h - 3*j. Does 30 divide h?
False
Suppose -10*t - 3*o = -6*t - 1590, -3*t - o + 1185 = 0. Does 7 divide t?
False
Suppose -11*h + 18 = -5*h. Let u be (9 + -2 + h)/(1 - 2). Is 29 a factor of (-1756)/(-20) - (-8)/u?
True
Let x(c) = c**3 + 9*c**2 - 8*c + 11. Let g be (-65)/7*1 + 6/21. Let p be x(g). Let j = p + -41. Is j a multiple of 6?
True
Suppose -3*b + 0 - 21 = -3*s, -2*b + 10 = 4*s. Let w(r) = -4*r**2 - r. Let n(g) = g. Let h(j) = 3*n(j) - w(j). Is 6 a factor of h(b)?
True
Let c be -1*(0 + 1)*154/(-14). Suppose -c*o = -2*o - 990. Does 11 divide o?
True
Let p(y) = 1. Let s(k) = -20*k**2 - k - 1. Let n(l) = -p(l) - s(l). Let q be n(-1). Let f = q + 48. Is f a multiple of 10?
False
Let u(t) = 238*t**2 - 14*t - 119. Is 55 a factor of u(-6)?
False
Suppose 127701 = 97*y + 28041 - 271656. Does 8 divide y?
False
Suppose -55945 + 1456575 = 55*m. Does 14 divide m?
True
Suppose 92*p - 112431 = 50409. Is 59 a factor of p?
True
Let m(k) = 6*k - 42. Let x be m(7). Suppose 0 = v - 3*q + 4*q + 89, x = 2*v + q + 181. Is (-7 + 4)/(3/v) - -4 a multiple of 21?
False
Is 13 a factor of (-2)/6*2*30/4 + 16788?
True
Suppose -3*c + 5*t + 0 + 9 = 0, -c + 5*t + 3 = 0. Suppose 5*h - 117 = -3*p + 811, 606 = 2*p - c*h. Is p a multiple of 5?
False
Let y(m) = -405*m**3 + 21*m**2 + 89*m - 4. Is y(-4) a multiple of 83?
True
Let a(p) = 4421*p - 330. Is a(8) a multiple of 31?
False
Let y = -53 + 61. Does 14 divide -21*6/(-36)*y?
True
Suppose -15 = 4*s + k, s - 11 = 4*s + k. Let y be 0*-2*2/s. Suppose 7*x - x - 276 = y. Is 23 a factor of x?
True
Suppose 5*y - 20 = y - d, -2*d + 15 = 3*y. Suppose 0 = -3*h, 2*h - 5*h + 1890 = -y*l. Let f = -253 - l. Is f a multiple of 25?
True
Does 20 divide ((-40)/32)/((3 - 5)/3616)?
True
Let v(y) = 414*y**2 + 277*y - 557. Is 9 a factor of v(2)?
False
Suppose j = 5*c - 0*j - 61, -3*c = j - 35. Suppose -2 = c*y - 13*y. Suppose 51 + 55 = y*x - 4*s, -s - 5 = 0. Is 7 a factor of x?
False
Let m(p) = 14*p + 6. Let i be m(1). Suppose 12*g = i*g - 80. Suppose 1320 = -0*o + g*o. Does 23 divide o?
False
Let z be (2/3)/((-788)/(-132) + -6). Is 14 a factor of (-140)/(-40)*(-1 - -1 - z)?
False
Let t(a) = 2*a**3 - 7*a**2 + 4*a + 4. Let w(q) be the second derivative of -q**4/12 + 4*q**3/3 - 11*q**2/2 - 8*q. Let j be w(4). Is t(j) a multiple of 32?
False
Let q = 1430 - 1215. Is 43 a factor of q?
True
Let p(f) = 3*f**2 - 7*f + 7. Let n be (10/3)/(20/30). Let m be p(n). Suppose m*s - 48*s = -133. Is s a multiple of 19?
True
Let q = 12088 - -1084. Does 37 divide q?
True
Let i = 7 + -40. Let h = 46 + i. Let n(p) = p**3 - 13*p**2 + 10*p + 5. Is n(h) a multiple of 45?
True
Let h = -35 - -72. Let u = h - 35. Suppose 4*m + u*m = 24. Does 2 divide m?
True
Let g(s) = -98*s**3 + 4*s**2 + 17*s - 44. Is g(-6) a multiple of 38?
True
Let t = -371 - -384. Is (78/(-9))/t*(-558)/2 a multiple of 16?
False
Let b(w) = -4*w**2 + 72*w - 8. Let l(i) = -i**2 + 24*i - 3. Let q(n) = 3*n + 15. Let c be q(-6). Let z(v) = c*b(v) + 8*l(v). Is z(7) a multiple of 23?
False
Suppose 26*q - 21*q + 10 = 0, -4*l + 3*q = -14. Let i be 2/5 - (-2484)/15. Suppose -l*m = -6*y + 4*y + 80, -4*y + i = -m. Is 7 a factor of y?
True
Let i = 2093 + -1190. Does 15 divide i?
False
Let k be (-3)/5 - (6 + (-169)/65). Let f(q) = 5*q**2 - q + 3*q + 0*q**3 + 7 - 3*q**3. Is f(k) a multiple of 43?
False
Let a = 20578 + -11514. Is 103 a factor of a?
True
Let y(x) = 3*x**2 - 23*x - 17. Let a be y(11). Suppose -5*n + 4*c = -15, n = -2*n + 5*c + 9. Suppose -4*g + w = -88, -7*g + 2*g + a = n*w. Is 5 a factor of g?
False
Let k = 10078 - 9249. Does 10 divide k?
False
Let v = 19 - -127. Let y = 168 - v. Does 11 divide y?
True
Let c = -2267 + 3816. Is c a multiple of 18?
False
Let h(g) = 2*g**3 + 5*g**2 - 14*g - 33. Is h(12) a multiple of 25?
True
Suppose 0 = 22*h - 746 + 7148. Let m = h - -808. Is m a multiple of 47?
True
Suppose m - 6*o = -3*o + 388, 0 = -5*m + 2*o + 1901. Suppose -m*l = -378*l - 42. Is 22 a factor of l?
False
Let z = -2746 - -3775. Is z a multiple of 63?
False
Let v(g) = -109*g. Let z be v(3). Let y = -171 - z. Does 14 divide y - ((-8)/6)/((-4)/6)?
True
Let t = 181 + -174. Suppose -y + 0*y + 4*k - 8 = 0, -2*y + 4 = 2*k. Suppose t*p - 6*p - 23 = y. Does 16 divide p?
False
Let c be (2/(-4))/(4/(-16)) + 94. Suppose c = -k + 4*k. Let z = 63 - k. Is 15 a factor of z?
False
Let c = -337 + 626. Is 25 a factor of (-24)/(-6) + c + 7?
True
Let y = -99342 - -152042. Is y a multiple of 9?
False
Let j(q) = 4*q**2 + 6*q - 6. Let r(a) = -7*a**2 - 13*a + 11. Let d(v) = 10*j(v) + 6*r(v). Let w be d(-9). Is (-8 - -12)*57/w a multiple of 20?
False
Let p(s) = -2*s**3 - 72*s**2 - 92*s - 3. Is 3 a factor of p(-36)?
True
Let v be 37/(27/(-72)*4 - -2) + -6. Let m = -51 - -30. Let g = v - m. Is 49 a factor of g?
False
Suppose -2*f = 2*a - 11982, 1383*f + a = 1389*f - 35974. Does 50 divide f?
False
Let w(b) = 8*b**2 - 9*b + 40. Let x be w(11). Suppose -x = -9*d + 162. Does 11 divide d?
False
Suppose 57*r + 2911 = 7984. Does 5 divide r?
False
Let d(a) = -3*a + 28. Let i be d(9). Does 19 divide (-44)/(-11) + 