354)/(-2 + 19/9)?
False
Let y = 117 + -1397. Let m = y + 545. Is 9 a factor of 6/(-27) + m/(-27)?
True
Let i = -12 + 14. Suppose -4*p = -h - 15, -5*p - 2*h + 7*h = -15. Suppose p*j = -2*k + 518, 0*j + i*k + 142 = j. Is j a multiple of 28?
False
Suppose 5*o = -t + 52, -5*t = -2*o - 3*o - 140. Is t/8 + 1 + 10 a multiple of 15?
True
Suppose 384 = 4*w + 2*j - 1178, 2*w = 2*j + 796. Is 24 a factor of w?
False
Is 24 a factor of ((-30)/(-25) - 2)/((-3)/1530)?
True
Does 6 divide 302*(-15)/(-50) + (-12)/20?
True
Let p(g) = 525*g - 919. Does 32 divide p(4)?
False
Suppose 0 = -5*h + 2*r - 224, -h - r + 10 - 59 = 0. Let s = h + 91. Is 5 a factor of s?
True
Let q = -1946 + 4550. Is 28 a factor of q?
True
Let o be (-7)/(-7) + (-123)/(-3). Suppose -2*h = -102 - o. Does 4 divide h?
True
Suppose 28 = 2*a - 86. Let i = a + -35. Does 5 divide i?
False
Is 19 a factor of (-135)/(-7) + 2/(-7)?
True
Suppose 0 = -2*w - 10, -w - 29 = -v + 4*w. Suppose -v*y - 5*g + 265 = 0, 0 = 2*y - 2*g - 56 - 54. Does 7 divide y?
False
Suppose 3*w - 2*p + 1 = 0, 4*w = 6*w - 5*p + 19. Is 3 a factor of w?
True
Let p be (-9)/6*(-16)/(-12). Let l = p - 1. Is 10 a factor of ((-20)/l)/((-26)/(-195))?
True
Suppose -21105 = 690*j - 699*j. Does 42 divide j?
False
Let l(z) = 364*z - 129. Is l(9) a multiple of 104?
False
Suppose 12*y + 51 = 9*y. Does 14 divide 39 - ((-4)/(-10) - y/(-5))?
True
Suppose 2*w - 12 = -4*w. Let t(h) = 34*h**2 + 5 - 29*h**w - 3 - 3*h. Does 8 divide t(2)?
True
Suppose 0 = 5*h - 4*t - 3, -h + t - 9 = -3*h. Suppose 0 = h*q + 14 + 52. Is 11 a factor of (70/(-20))/(1/q)?
True
Suppose -3410 = -4*m + 2*v, -3*m + 2386 + 194 = 3*v. Is 15 a factor of m?
True
Let l(d) = 2*d**2 + d + 1. Let y be l(-1). Suppose y*t + 0 - 4 = 2*h, -17 = -t - 2*h. Is 12 a factor of (132/(-21))/(-2)*t?
False
Let m = 95 + -96. Let a(w) = 144*w**2 + 4*w + 2. Does 7 divide a(m)?
False
Let j = -391 - -610. Is j a multiple of 16?
False
Let i be 1/(2 - (-50)/(-26)). Let m = i - -6. Does 19 divide m?
True
Let w be (3 + 0)*4/(-6). Is 8 a factor of (-392)/(-21)*(-3)/w?
False
Let f(y) = y**2 + y + 1427. Is 67 a factor of f(0)?
False
Suppose 23*k - 17888 = -9*k. Is k a multiple of 43?
True
Let u = -9 - 6. Let t = -11 - u. Suppose -t*s = s - 55. Is 3 a factor of s?
False
Let g be (8/10)/((-2)/(-1130)). Suppose 4*v = g + 40. Let p = v - 86. Is 7 a factor of p?
False
Let g(y) = y - 21. Let w be g(23). Suppose -33 = w*s - 245. Is 17 a factor of s?
False
Let h(y) = 5*y**2 + 8*y - 34. Is 49 a factor of h(-6)?
True
Let n(i) = 13*i**2 + 5*i + 4. Is n(3) a multiple of 30?
False
Does 15 divide ((3 - 3) + -12)/((-10)/25)?
True
Suppose 4*l = 16, -12*o + 15*o + 2*l = 2657. Is o a multiple of 10?
False
Let c(r) = r**3 - 6*r**2 - 8*r + 11. Is c(8) a multiple of 6?
False
Suppose -2*s - 2*s = -4*t + 72, 2*t - 62 = 4*s. Let k = -13 - s. Suppose 4*q - 4*g - 68 = k, 5*g - 2*g = -q + 9. Is 4 a factor of q?
False
Let z = -286 - -384. Is 31 a factor of z?
False
Let n = 320 - 291. Does 4 divide n?
False
Suppose -2*o - 4*o + 7*o = 0. Suppose 63 + 37 = 4*j + 4*k, 0 = 2*k - 10. Suppose 5*z - 4*z - j = o. Is 6 a factor of z?
False
Is 41 a factor of (-7802)/(-6) + 32/48?
False
Suppose -7*k = -5560 - 992. Does 27 divide k?
False
Let n(b) = -46*b**3 + 2*b**2 + 7*b - 7. Does 48 divide n(-3)?
False
Let w(a) = 2*a**2 + 2*a - 3*a + 4 - 1. Let b(x) = x**2 + 6*x - 4. Let y be b(-7). Does 9 divide w(y)?
True
Let b(l) = l**2 - 6*l - 17. Let o be (24/(-5))/((-12)/30). Let w be b(o). Let x = w + -35. Is x a multiple of 4?
True
Let k be 32 - (-1 + -3)/(-4). Let p = k + -28. Suppose -l + b = -17, -2*b = p*l - 7*l + 70. Is 9 a factor of l?
True
Let q(b) = b**3 - 23*b**2 - b + 23. Let t be q(23). Suppose 4*u = u - z + 763, -5*u + z + 1261 = t. Is 33 a factor of u?
False
Suppose -w = -z - 0*z - 128, 2*w - 3*z - 260 = 0. Let n = -100 + w. Does 6 divide n?
True
Suppose b + 4 = 3*b. Suppose -b*p = -6*p + 20. Suppose 75 = -p*y + 10*y. Is y a multiple of 6?
False
Let r = -70 - -70. Suppose 5*q - 85 = -r*q. Is 8 a factor of q?
False
Let a(h) be the second derivative of h**5/20 + 2*h**4/3 + 3*h**3/2 + 11*h**2/2 + 4*h. Let c be a(-7). Is 24 a factor of 60/(-3 - -1)*c?
False
Let s = 2486 - 1383. Is 55 a factor of s?
False
Let o(n) = n**2 + 4*n + 2. Let i be o(-5). Let d be (-748)/(-77) + 2/i. Let k = 0 + d. Is 5 a factor of k?
True
Let i = 58 + -53. Does 36 divide (3/i - (-22)/(-20))*-144?
True
Suppose 0 = 3*p - 76 + 25. Suppose p*q = 12*q - 445. Let u = 153 + q. Is u a multiple of 16?
True
Let t(q) = 2*q + 10. Let c(w) = 2*w + 9. Let a(g) = 5*c(g) - 6*t(g). Let i be a(-11). Let n = i + 10. Does 17 divide n?
True
Is 2/5 + 3277519/665 a multiple of 53?
True
Let w = -62 - -722. Does 22 divide w?
True
Let b(j) = 441*j**3 - 2*j**2 - j + 2. Is 5 a factor of b(1)?
True
Suppose 10*i + 5*x = 15*i - 1045, -5*x - 430 = -2*i. Does 41 divide i?
True
Suppose -2*x + 7*x + 5*u - 420 = 0, -x + 68 = -3*u. Is 14 a factor of x?
False
Let q be 223/(-2)*2*(0 + -2). Suppose q = 7*x - 394. Is 20 a factor of x?
True
Suppose 13466 - 936 = 35*l. Is l a multiple of 6?
False
Let z be (-2 - 3)/((-1)/45). Suppose 0 = y - 6*y + 2*p - 225, 3*p - z = 5*y. Does 7 divide (-42)/(-5)*y/(-18)?
True
Suppose 2*b = -0*b + 10. Suppose 5*u - 57 = -4*o, 5 - 22 = o - b*u. Suppose -f - o = -21. Is f a multiple of 10?
False
Let o = -16 - -24. Suppose 0 = n - l - 22 - o, -l + 130 = 4*n. Does 7 divide n?
False
Let s(k) = -k + 3. Let h be s(-5). Suppose -2*g + 2 = -h. Suppose f + 5*i = 25, g*i = 4 + 1. Is f a multiple of 10?
True
Is 10 a factor of 227 - (-8)/((-40)/(-15))?
True
Let l = -430 - -1022. Does 96 divide l?
False
Suppose 17*a - 123 = 14*a. Suppose 31 = h + 3*s, -a = -0*h - h - 5*s. Is h a multiple of 16?
True
Let y(g) = 27*g - 10. Let l be y(2). Let b = 10 + l. Does 8 divide b?
False
Let l be (-126)/(-5) + 15/(-75). Let a = -2 + l. Is 7 a factor of a?
False
Let u(f) = -f**2 + 5*f + 3. Let m be (-1)/((-3 + -1)/16). Is u(m) a multiple of 3?
False
Suppose -c = -2*r - 8 - 14, 4*r = c - 32. Suppose 4*q + c = 0, -6*h - 4*q = -5*h - 3. Does 15 divide h?
True
Suppose -5*x = -3*d + 128, 4*d + 2*x = 5*x + 189. Does 5 divide 86/6 + 34/d?
True
Suppose -2009 = 3*u - 4211. Is u a multiple of 49?
False
Suppose -4*d - 12 = y, -7 = -y + 2*d + 5. Suppose -5*p + 4*t - t = -12, -y*p = -5*t - 7. Suppose -c + 4*j = -0*c - p, 72 = 4*c - 4*j. Does 9 divide c?
False
Let n be (-96)/(-36)*(-6)/(-4). Suppose -2*u = n*q - 5*u - 10, -5*u + 10 = 0. Is 4 a factor of 4/(-2*q/(-32))?
True
Suppose -7 - 27 = 2*o - 4*n, 3*o + 75 = -2*n. Is 23 a factor of (o/3)/(2 - (-185)/(-90))?
True
Let p(v) = 59*v**3 - v**2 + 2*v - 1. Does 3 divide p(1)?
False
Let t(f) = -14*f + 89. Is 19 a factor of t(-18)?
False
Is (-5)/(1912/320 + -6)*7 a multiple of 50?
True
Suppose 4*p - 4486 = -2*s, 5*p - 4281 - 1328 = -3*s. Is p a multiple of 16?
True
Let f = -610 - -388. Let n = 457 + f. Does 47 divide n?
True
Let x(n) = -304*n - 209. Is x(-8) a multiple of 57?
True
Does 17 divide (4 - 7) + -1*(-1 - 138)?
True
Let p(i) be the third derivative of -i**6/120 - i**5/10 - 5*i**4/24 - i**3/3 - 5*i**2. Let f be p(-5). Does 10 divide (f + -1 - 0) + 23?
True
Let s(b) = -2*b**2 - 5*b + 14. Let m(n) = -3*n**2 - 6*n + 15. Let x(r) = -3*m(r) + 4*s(r). Is 7 a factor of x(0)?
False
Suppose 106*h - 127*h + 27930 = 0. Is 9 a factor of h?
False
Let p(g) = g**3 + 3*g**2 + 0*g - 3*g - 5*g**2 - 4*g**2 + 4. Does 2 divide p(7)?
True
Suppose -u = -242 - 94. Suppose 7*n - u = -0*n. Is n a multiple of 24?
True
Let z(h) be the second derivative of 1/2*h**2 + 2*h + 0 - 1/12*h**4 + 19/20*h**5 + 0*h**3. Is z(1) a multiple of 8?
False
Let i = -13 + 7. Let k be i*-6*(-2)/(-4). Is 23 a factor of -1 + 4/3*k?
True
Is 2 a factor of ((-36)/16)/3*624/(-12)?
False
Let p(v) = -2*v**3 + 8*v**2 + v + 13. Suppose -2*s - 9 = 5. Let m(c) = 5*c**3 - 15*c**2 - c - 25. Let u(i) = s*p(i) - 3*m(i). Is u(-11) a multiple of 14?
True
Suppose 4*g - 2*m = -16 + 532, -136 = -g + 4*m. Does 16 divide 60/8*g/20?
True
Let f be (-8)/(-12) - (-14)/(-3). Let x be 40 + 2*(-6)/f. Suppose -y = -4*y + t + x, -90 = -5*y - 2*t. Is 6 a factor of y?
False
Suppose -2*l = -3*i + 6, -2*l = -i + 3 + 7. Let r(t) = -t - 2*t - 7 - t. Is r(l) a multiple of 12?
False
Suppose 0 = w + 2 - 6. Suppose -w*x + 17 = 4*g + 1, 5*g = 5*x + 20. Sup