 (1 + -1783)*(-6)/(90/25) a multiple of 30?
True
Suppose 0 = -128*n + 131*n + 960. Let m = 378 + n. Is 40 a factor of m?
False
Suppose -44*t = -48*t. Suppose -5*o + 3341 - 326 = t. Is 15 a factor of o?
False
Suppose 460*n = 339*n + 1429494. Does 11 divide n?
True
Let h(d) = 19*d - 18. Let i be h(4). Suppose 6*s - 850 = -i. Does 44 divide s?
True
Let f be (-9)/(-3) - (240/(-4))/3. Suppose -f = -3*t + 4*q + 2, 2*t - 11 = -3*q. Is 13 a factor of (3 + -4)/(t/(-1281))?
False
Suppose 10*x - 6*x = 16*x - 76596. Is 63 a factor of x?
False
Let i(r) = -r**3 + 9*r**2 - 2*r - 6. Let j = 190 + -183. Is 13 a factor of i(j)?
True
Suppose -r + 26 = -4*q, 0 = 3*r + 6*q - 5*q - 13. Let i(x) = 80*x. Does 40 divide i(r)?
True
Let h = 75 - 72. Let u be (1*2)/(2/h). Suppose 2*z - 308 = -c + 5*c, -2*z + u*c + 311 = 0. Is z a multiple of 16?
True
Let t be (6 - (-65)/(-10))*-62. Let g(v) = v**2 - 26*v - 119. Is 12 a factor of g(t)?
True
Let u be (-1064)/(-5) + 14/70. Let f = 42 + u. Does 67 divide f?
False
Let b = -304 + 295. Is 4 a factor of (456/(-10))/(-1*b/(-45))?
True
Suppose -19*y - 57*y + 13984 = 0. Is 4 a factor of y?
True
Let x(k) = -17*k + 9. Let u be x(-4). Suppose -u = -4*v + 1771. Is v a multiple of 66?
True
Let v = 220 + -220. Is 4*7/(-84)*(-558 + v) a multiple of 3?
True
Suppose 8*n = 11*n. Suppose -2*d = -n*d - 106. Let f = -24 + d. Does 29 divide f?
True
Let w = -289 - -465. Let a = -56 + w. Does 17 divide a?
False
Suppose 2*m + 5*m = -84. Let q = m - -17. Suppose -5*g + a = -393, q*a + 139 + 188 = 4*g. Is 13 a factor of g?
True
Suppose 23819 = 4*v - 22705. Suppose 0 = 54*y - v - 18825. Is y a multiple of 20?
False
Is -9 + (-4)/(-7) + (-427414)/(-182) a multiple of 26?
True
Suppose -358 = -2*h + 4*d, -2*h + 14*d - 12*d + 350 = 0. Let y = h + -3. Is y a multiple of 12?
True
Let t(y) = y**2 + 5*y - 51. Let x(v) = v**2 - 8*v - 21. Let p be x(8). Let m be t(p). Let w = m + -122. Is 23 a factor of w?
False
Let n(g) = -g**3 + 4*g**2 + 5*g - 4. Let f = 19 + -15. Let z be n(f). Suppose z = 3*c - 5. Is 4 a factor of c?
False
Suppose 4*i - 21028 - 1462 = -i. Is i a multiple of 22?
False
Suppose 78*l = 80*l + i - 2266, 0 = 3*l + 2*i - 3402. Is l a multiple of 42?
False
Suppose 4*n + 6 = -2*n. Let c be (((-25)/10)/(-5))/(n/(-30)). Does 3 divide ((-9)/c)/((-1)/10)?
True
Is -1 + (-178)/(2/9 - (-16)/(-54)) a multiple of 103?
False
Let o be 9/27*18 + 11427. Suppose 18*s - 12021 = o. Is s a multiple of 15?
False
Let s(j) = 16*j**3 + 22*j**2 - 18*j + 76. Is 13 a factor of s(5)?
False
Does 6 divide 748 - ((-30)/25)/(6/(-20))?
True
Let r = 452 + -398. Suppose 0 = -t, 4*c - 59*t = -r*t + 1200. Is c a multiple of 20?
True
Let r(i) = -266*i - 11. Let a be r(-1). Does 75 divide (-462910)/a*12/(-14)?
False
Suppose 19*b = 25*b + 54. Let w(h) = -27*h - 28. Is 55 a factor of w(b)?
False
Let q = 3562 - 1532. Suppose k - 409 = d - 2*d, -5*d - 2*k + q = 0. Is 39 a factor of d?
False
Let w(v) = 4*v**2 + 4. Let q be w(-3). Let x = -38 + q. Suppose -5*g + 3*o + 78 = 0, -3*o + x*o = -3*g + 50. Does 6 divide g?
True
Let d = -14937 - -32381. Is 128 a factor of d?
False
Let c(l) = 3*l**2 + 7*l - 3. Let a be c(-3). Suppose a*b = p - 24, 19*b - 14*b + 110 = 4*p. Does 10 divide p?
True
Suppose -14*j - 77 - 7 = 0. Is 47 a factor of 393*1/j*-20?
False
Let a = 64 - 54. Suppose -144 = a*z - 564. Does 3 divide z?
True
Let g = -6239 + 16549. Is g a multiple of 5?
True
Suppose -17996 = -13*v + 30676. Does 36 divide v?
True
Let u(a) = a**2 - 18*a - 9. Let m be u(19). Let t = -17 + m. Let d = t + 25. Is d a multiple of 9?
True
Let j = -23 + 26. Suppose 9 = j*v + 3*u - 0, 4*v + u - 9 = 0. Suppose v*k = 3*y - 86, 3*y - k = -0*y + 85. Is 4 a factor of y?
True
Suppose 4590 = 16*s - 7*s - 6*s. Is s a multiple of 10?
True
Let f(x) = -13 - 37 + 22 - 22 - 7*x - 6*x. Does 57 divide f(-10)?
False
Suppose 459660 = 82*d + 12*d. Does 127 divide d?
False
Let m(y) = y**2 - 14*y - 7. Let u(r) = -2*r**2 + 29*r + 13. Let l(d) = -5*m(d) - 3*u(d). Let b be l(16). Let o = 7 - b. Is 11 a factor of o?
False
Let o(b) = 25 - 6 - 8*b + 4*b + 8. Let k be o(15). Does 13 divide -4*5/(-20) - k?
False
Let c = 58 - 55. Let w(i) = -14 + c*i**2 - 2*i**2 + 13 + 47*i**3 + i. Is w(1) a multiple of 5?
False
Let s = 2454 + 2730. Is 81 a factor of s?
True
Suppose -3*w - 3*z + 30 = 0, -15*w - 15 = -16*w - 2*z. Suppose 4*x = 4*b - 748, w*x = 2*b + 9*x - 392. Does 19 divide b?
True
Let b be (-47 - -21)*-2*1. Suppose -3*p - 8 = -3*r + 1, 19 = -3*r - 4*p. Is r/(-3 - b/(-18)) a multiple of 3?
True
Let q = 32632 - 29852. Does 8 divide q?
False
Suppose -7*p + 8*p = 7. Let a(m) = 79*m + 20. Let w be a(10). Does 29 divide w/p + 4/14?
True
Let s(q) = -2*q**2 - 4*q**2 + 13*q + 249 + 38*q - 65 + 5*q**2. Is 78 a factor of s(53)?
True
Does 5 divide -40*8/64*-406?
True
Suppose -4*c - 95 - 137 = 0. Let s = c + 60. Suppose -251 = -4*x - n, s*n + 32 = 2*x - 106. Is 11 a factor of x?
False
Let t(d) = d**3 + 5*d**2 - 6*d - 12. Let f(v) = -15*v + 3. Let w be f(-1). Suppose -2*n - 4*h - w = 0, 2*n + 4 = 4*h + 2. Is t(n) a multiple of 12?
False
Suppose 121*g + 55800 = 139*g. Suppose -g = -4*n - 1172. Is 18 a factor of n?
False
Is (-6 - (-140972)/16) + -6 + (-3)/4 a multiple of 106?
True
Let i be 380 + (5 + -1 - 1). Suppose 85 = 9*v - i. Is 4 a factor of v?
True
Suppose -42375 = 4*u - 25*u + 66. Does 195 divide u?
False
Is -12 - (4480/(-7) + -2) a multiple of 9?
True
Let j(q) = q**3 - 17*q**2 - 24*q + 129. Let k be j(18). Does 4 divide -136*(-7)/k*3?
True
Let b(d) = -2*d + 50. Let u be b(9). Suppose u = 8*t - 16. Is t even?
True
Let k(v) = 6*v + 24. Let u(b) = 9*b - 2*b - 2*b + 23. Let f(p) = -3*k(p) + 2*u(p). Is f(-8) a multiple of 5?
False
Suppose -5*v = -l + 11930, 0 = 8*l - 3*l + 5*v - 59470. Is l a multiple of 100?
True
Suppose 5*y + 6577 = q - 7824, -4*q + 57670 = 2*y. Is 136 a factor of q?
True
Let q(i) = -140*i - 280. Let s(k) = -7*k - 14. Let n(l) = 6*q(l) - 119*s(l). Let z be ((-200)/400)/(2/32). Is 3 a factor of n(z)?
True
Let m be 6 - (-2 - (-9 - -2)). Is (-2)/m - (-181 - -39) a multiple of 20?
True
Suppose -15*c + 92 = 32. Suppose -2*y + 904 = 5*x, -1838 = -0*y - c*y + 5*x. Suppose 5*a - 3*r + 178 = y, -3*r = a - 63. Is a a multiple of 8?
False
Suppose 8 - 10 = 4*i - 2*a, 2*a - 6 = 2*i. Suppose -17*k = i*k - 76. Is 4 a factor of (k/(-10) - 3016/(-40)) + -4?
False
Let z(r) = -1579*r + 2252. Does 123 divide z(-5)?
False
Let x = 57 - 82. Let a = -27 - x. Is (124/8 - 2)*a/(-3) a multiple of 6?
False
Let m = 10 + -25. Is 21 a factor of (549/6)/(m/(-10))?
False
Let u be -2 - 60/(-27) - (-319)/(-99). Let h = u + 72. Suppose 4*n = -5*i + h, 2*i = -n + 15 + 3. Is n a multiple of 2?
True
Let f = 94 + 38. Suppose 12 - f = 6*j. Does 18 divide 15/j + (-559)/(-4)?
False
Suppose 19*y = 17*y - 16. Let b be -2 + y*(-16)/(-2). Let i = -33 - b. Is i a multiple of 15?
False
Suppose 5*c - 3*c - 46 = -h, -3*h + c + 152 = 0. Suppose -5*s - h = -5*r + 20, 5*s - 15 = 0. Does 2 divide r?
False
Suppose 0 = 20*m - 17*m - 384. Let w = m + -71. Suppose -2*r = -5*y + 285, -3*r - w = -y - 7*r. Is 19 a factor of y?
True
Suppose -2*m + y - 6*y = -20267, -4*y = -5*m + 50717. Is m even?
False
Let g = 18283 - 7878. Does 20 divide g?
False
Let t = 4058 - 2462. Does 14 divide t?
True
Is 1920/(-16)*(637/(-14) - (-1)/(-1)) a multiple of 20?
True
Let h = -53 - -53. Suppose h = 4*f - 500 - 148. Suppose 3*y - 3*d - f = 0, -y - d - 4*d = -72. Does 9 divide y?
False
Let m be 7*(1 - -2)/(-3). Does 14 divide 328 + m/(14/12)?
True
Let y = -189 + 192. Suppose -79 = -2*r - 0*k - k, -y*r - 5*k = -122. Is r a multiple of 7?
False
Suppose 4*k + 4*o + 4 = 0, -2*k + 2*o + 1 = -13. Suppose -5*t + 48 = k. Let x = t + 51. Does 12 divide x?
True
Suppose 0 = -4*c + 3*c - 5*t + 2854, -7*t = -4*c + 11308. Does 30 divide c?
False
Let u be ((-2)/1 - 3)*(-2)/5. Let s be 11/((0 + u)/(-4)). Is 4 a factor of (1 - s)/(1 + 0)?
False
Let k = -4725 - -11389. Is k a multiple of 28?
True
Suppose -23*k - 26*k + 2293368 = 17*k. Is 146 a factor of k?
True
Let i(g) = 2*g**2 + 91*g + 984. Is i(-48) a multiple of 9?
True
Let n(d) = -11*d + 1. Let u(y) = 126*y**2 - 62*y**2 - 16*y - 6 + 29 - 63*y**2. Let o be u(14). Is 11 a factor of n(o)?
False
Let c(r) = r**2 + 2*r - 12. Let h be c(-5). Let t be 747/15 + h/15. Let l = t - -79