/(-1) + 140466/(-60))?
True
Let r = 85 - -59. Let x be (-108)/r + -6*62/16. Is 23 a factor of ((-5)/((-15)/x))/(8/(-92))?
True
Let v be (-2)/10*-5*0. Suppose v = 6*b + 5*b - 4785. Is 17 a factor of b?
False
Let i(q) = -11*q + 3*q - 13 - 3*q - 2*q**2 - 9*q. Let h be i(-9). Suppose 232 = h*t - 58. Is t a multiple of 11?
False
Suppose 2*k = 7*y - 2*y - 2703, -2*y - 4*k = -1062. Let q = -385 + y. Is 18 a factor of q?
False
Let x be (-4)/(-8) + (1/2 - 0). Let j be x/(224/(-76) - -3). Let g = j + 15. Does 34 divide g?
True
Let d be 4/3*36/(-16)*6. Is 18 a factor of 462/(5*d/(-60))?
False
Let x(z) = 3*z**2 + 37*z - 22. Let c be x(-13). Suppose 2*l = -5*m + 715, m - c*m = -3*l - 450. Is 11 a factor of m?
False
Let g = 29 + -51. Let t be 8 + (-1)/4 + g/8. Suppose -v + t*a = -123 + 27, -2*v + 137 = a. Does 9 divide v?
False
Suppose -36 = -3*f - 48. Is 21 a factor of 123 + (f/2)/1?
False
Let d(s) = -s**3 + 20*s**2 - 38*s + 21. Suppose -3*i + 54 = -0*i. Let h be d(i). Does 42 divide (3 - (-87)/h)*-30?
True
Let p be (10 - (-4 - -8))*(-2 + 3). Suppose 3*i = -p, 3*i + 10 = 3*o + o. Does 36 divide (-22310)/(-207) + o + 14/(-18)?
True
Let n = 16059 - 11613. Is 19 a factor of n?
True
Let r = 746 + -744. Suppose -11*x + 8*x + 1484 = -z, 0 = -z - r. Is x a multiple of 38?
True
Suppose 0 = -3*d - d + 2*i + 224, -2*d - 5*i = -112. Let s = -36 + d. Is 4 a factor of s?
True
Let y(w) = 2*w + 9. Let f be y(5). Suppose -f*x + 102 = -16*x. Let z = 200 + x. Is z a multiple of 30?
False
Let p(r) = 1419*r - 916. Is 20 a factor of p(3)?
False
Suppose -6*x = -x - 290. Let o(t) = -t**3 - 14*t**2 - 34*t - 88. Let a be o(-5). Let s = x - a. Does 15 divide s?
False
Suppose 6*s - 3*s + 6 = 0. Let o be (1/s)/(3*1/(-24)). Suppose -z - z = 2*l - 434, o*z - 859 = -l. Is z a multiple of 16?
False
Is 6*8955/60*(-8)/(-3) a multiple of 2?
True
Let l be 375/(-3) - (-34 + 38). Let v = l + 737. Is v a multiple of 76?
True
Let a = -85 - -85. Suppose a = 4*p - 7 - 21. Suppose -p*t + t = -396. Is 11 a factor of t?
True
Let r be (-2)/(-2*5/120). Suppose y - r = 3*o - 94, -4*o + 5*y = -86. Does 3 divide o?
True
Let y be (7 + (-7)/5)/(4/(-1380)). Does 63 divide (y/4)/(1/(-3))?
True
Suppose -15*j + 21320 = -28*j. Is j/(0 + (-5 - -3)) a multiple of 50?
False
Suppose 935 + 265 = 5*m. Let c be m - (1 - 5/2)*-2. Suppose 2*b + c = 5*b. Is b a multiple of 23?
False
Suppose 49775 = -11*f + 13*f + 7*h, -4*f - 3*h + 99517 = 0. Does 34 divide f?
False
Suppose 0 = 4*g - 5*r - 46063 - 5728, 5*r = 3*g - 38847. Is 160 a factor of g?
False
Suppose -1 = h, -2*h + 52308 = -5*u + 10*u. Is 20 a factor of u?
False
Let g be (-5)/10 + 9/6. Let y be (0/(-3)*g)/1. Suppose -2*f + f + 60 = y. Is f a multiple of 12?
True
Let s(w) = 4*w**2 - 17*w - 9. Let g(k) = 5*k**2 - 17*k - 10. Let o(n) = -5*g(n) + 6*s(n). Is o(-14) a multiple of 4?
False
Let g = -11776 + 35178. Is g a multiple of 22?
False
Suppose 0 = 2*n + 2*a - 10, n - 5*a - 3 + 16 = 0. Let s(c) = 12*c**2 - 32*c**2 + 12*c**n + 9*c**2 - c + 4. Is 3 a factor of s(4)?
False
Suppose m = -5*y + 31, 3*m - 28 = -0*y - 2*y. Does 3 divide 7 - (-11 + m + 2)?
False
Let f(g) = -g**2 + 217*g - 142. Is f(48) a multiple of 10?
True
Suppose -5*p - 4*h + 3140 = 0, 3*p - 3*h - 1233 = p. Does 12 divide p?
True
Let c be ((-194)/(-8))/(((-10)/2)/(-20)). Let z = 108 - c. Let b = 155 - z. Is 16 a factor of b?
True
Is 80 a factor of (-300)/(-9)*(-3216)/(-335)?
True
Suppose -122238 = -37*c + 403162. Is 40 a factor of c?
True
Let q(x) = 1124*x - 776. Is 16 a factor of q(10)?
True
Let u(f) = -10*f**3 - 5*f**2 - 6*f - 4. Let d(s) = -28*s**3 - 14*s**2 - 17*s - 12. Let o(a) = 4*d(a) - 11*u(a). Let k = -9 + 5. Is o(k) a multiple of 29?
True
Let l be 63/6 + (-3 - (-10)/4). Suppose -7*w - 1512 = -l*w - 2*a, 2520 = 5*w + a. Does 14 divide w?
True
Suppose -t - 14 = -3*r, 0 = 3*r + 3*t - 9 + 3. Suppose 4*m + m - 20 = r*h, -16 = -4*m + h. Suppose -3*k + 2*q - q + 55 = 0, 48 = m*k + 5*q. Does 13 divide k?
False
Is 50 a factor of (2 + 214/7)/((-22)/(-539))?
False
Let j be 116/30 + (-48)/(-360). Suppose -j*r - 3*y - 69 = 0, -y + 32 = -3*r - 23. Is 33 a factor of 11/(-66) + (-2379)/r?
True
Suppose 0 = 4*a + 2*j - 17422, -25*a = -28*a - 3*j + 13065. Is 42 a factor of a?
False
Let f(y) = y**2 + 16*y + 29. Let z be f(-16). Suppose -35*x + z*x = -8520. Does 20 divide x?
True
Let o(i) = 124*i - 62*i - 61*i + 7. Is o(21) a multiple of 3?
False
Let q = -14601 - -22095. Is 3 a factor of q?
True
Let s be -64 + 15 + (3 - (2 + -1)). Let o = -44 - s. Suppose -2*y = -o*y + 29. Is y a multiple of 29?
True
Suppose 6*d + 7 + 5 = 0. Does 5 divide (33/d)/((-3)/10)?
True
Suppose -103*y = -706347 - 521722. Does 50 divide y?
False
Let u(p) = 28*p + 9. Let t(r) = -83*r - 29. Suppose -7*n + 28 = -11*n. Let b(i) = n*u(i) - 2*t(i). Does 27 divide b(-3)?
False
Let v(n) = n**3 + 9*n**2 - 19*n - 88. Let o be v(-10). Does 37 divide ((-894)/4)/(o/24*-2)?
False
Let u be -1 - 45*32/4. Let n = -40 - u. Is n a multiple of 40?
False
Let i(a) = a**2 - 4*a + 20. Let n(d) be the first derivative of -d**3/3 + 4*d**2 - 8*d + 16. Let f be n(4). Is 14 a factor of i(f)?
False
Suppose 0 = -b, 8*k - 3*b - 11016 = -0*b. Is 52 a factor of k?
False
Suppose 4*u - 7*u + 16191 = 1620. Does 117 divide u?
False
Suppose 471*x - 304328 = 122*x. Is 8 a factor of x?
True
Suppose 16*i + 24*i = 196560. Is 39 a factor of i?
True
Let g be 8/(-24)*2*3/(-2). Let m be g*4/(-10)*-10. Suppose 4*u - 3*n = 500, -u + m*n + 112 = -0*n. Is u a multiple of 6?
False
Suppose 1649*g - 1643*g - 56694 = 0. Is g a multiple of 11?
True
Let c be (-3)/4*(-6 + 2). Let b(g) = -7*g**2 + 11*g**2 - c*g**2 - 29 - 7 - 11*g. Is b(15) a multiple of 6?
True
Let c(m) = -m**3 + 5*m**2 + 12*m + 14. Let k be c(7). Suppose -73*j + 81*j - 456 = k. Is j a multiple of 19?
True
Let z be 8*((-2665)/(-20) + 6). Suppose -4*n + z = 54. Is n a multiple of 11?
False
Is ((-60)/40 - (-4)/24)*(-524 - -2) a multiple of 12?
True
Let b = -94124 - -154327. Is 14 a factor of b?
False
Suppose 76*d = 54*d + 19558. Is d a multiple of 7?
True
Let f = -241 + 247. Is 8 a factor of (-273)/f*-6 - (11 + -14)?
False
Suppose -5*i - 17 = -2*m + 3, -m + i + 16 = 0. Let q = -32 + m. Does 8 divide -129*3/q + 10/(-40)?
True
Let s(h) = -1043*h + 367. Does 3 divide s(-1)?
True
Suppose -3*x = -0*x - 6. Suppose x*j = -j + 6. Is 17 a factor of 808/12 + j/(-6)?
False
Suppose 12*l - 15*l + 1563 = 0. Let u = -312 + l. Is 11 a factor of u?
True
Suppose 4*s + 8 = 6*s. Let p(g) = g - 2. Let o be p(8). Suppose -5*w + 4*m = -78, -3*w = -s*w - 4*m + o. Is 7 a factor of w?
True
Suppose 0 = 21*k + 75*k - 417216. Is k a multiple of 22?
False
Suppose -4 = -2*j, -4*r + j - 4*j + 42 = 0. Suppose i - r = -2*i. Suppose 4*n = 5*n - 5*t - 24, -i*t + 6 = 0. Is 22 a factor of n?
False
Does 78 divide ((-9)/(-12))/(23/91448)?
False
Let y(z) = 4*z**3 + 26*z**2 - z - 76. Is y(-5) a multiple of 4?
False
Let t(g) = -45*g**3 - g**2 + g - 2. Let u(m) = 9*m + 16. Let i be u(-2). Is 24 a factor of t(i)?
False
Suppose 4*w - 292*b - 23040 = -294*b, 3*w + 3*b = 17274. Is 4 a factor of w?
False
Suppose -t - t - 22 = 3*h, -2*h + 5*t = 21. Let i(o) = -o**3 - 8*o**2 - 19*o. Is 8 a factor of i(h)?
True
Let v(h) = -h**3 + 13*h**2 + 3*h - 4. Let j be v(11). Suppose 0*d - q = -3*d + j, d + 4*q = 112. Let p = d + 43. Is p a multiple of 16?
False
Suppose 0 = -313*n + 314*n - 4*r - 1856, 0 = -5*n + r + 9185. Is n a multiple of 102?
True
Let c(v) = 2*v**2 - 13*v - 24. Suppose -5*k - 160 = -15*k. Is c(k) a multiple of 38?
False
Let s be 1/(-9) + (-11 - 236/(-18)). Is 305/s*(-480)/(-400) a multiple of 12?
False
Let j(c) = 231*c + 7494. Is j(38) a multiple of 9?
True
Suppose 0 = -f + 27 - 24. Suppose 0 = -0*j + f*j - 4*j. Suppose 94 = t - 0*m + m, 3*t - 5*m - 250 = j. Is t a multiple of 6?
True
Suppose -1 = -7*c + 13. Suppose -b = -4*l - 372 + 78, 0 = b - c*l - 304. Suppose 3*g - 4*w = -3*w + 188, 5*g = w + b. Is g a multiple of 21?
True
Suppose -28*z + 29*z - 4 = 0. Suppose 0 = 7*s - z*s - 5*s. Suppose 3*d - 333 - 195 = s. Is d a multiple of 11?
True
Suppose 2*h + 3780 = 14840. Is h a multiple of 47?
False
Let s(h) = h**3 + 17*h**2 + 11*h + 39. Let v be (-3009)/236 - 3/(-4). Is 9 a factor of s(v)?
False
Let p = -32 - -124. Let i be 5 + (-2 + 51 - 6)/(-1). Let t = i + p. Is 13 a facto