k?
False
Let n = 10 + -7. Suppose 827*m + 32 = 831*m. Suppose 0 = -3*l, -m*y + n*y + 2*l + 125 = 0. Is 3 a factor of y?
False
Let w = -32533 + 69493. Is w a multiple of 20?
True
Let l(a) = 319*a + 6782. Does 104 divide l(62)?
False
Is (6/(-5))/3 - 1262568/(-620) a multiple of 7?
False
Suppose 0 = -33*k + 34*k + h - 1486, h - 1 = 0. Is 13 a factor of k?
False
Let h(a) = 2. Let o(p) = 8*p - 68. Let q(j) = 4*h(j) + o(j). Is q(29) a multiple of 12?
False
Suppose -16 + 12 = 2*s. Is 28 a factor of 3 + 537 + s + 5/5?
False
Suppose 40*m - 36*m = 19388. Suppose -m = -12*r - 767. Is 31 a factor of r?
False
Suppose -p - 135*u + 5023 = -132*u, -2*u + 5026 = p. Is 74 a factor of p?
True
Suppose -4*w + 6173 + 2797 = 22*w. Is 15 a factor of w?
True
Suppose -3092089 - 1991111 = -353*q. Is q a multiple of 90?
True
Let y(f) = f**2 - 84. Let v be y(11). Suppose -3*w - 672 = -7*w - 3*s, -s = -4. Let m = w - v. Is 20 a factor of m?
False
Suppose 0 = 2*z - 4*i - 200, 117 = -5*z + 2*i + 633. Suppose -100*p = -z*p + 1652. Is p a multiple of 9?
False
Let a(j) = 9*j**3 + 80*j**2 - 89*j - 82. Let p(t) = 4*t**3 + 40*t**2 - 44*t - 41. Let i(r) = 3*a(r) - 7*p(r). Is i(-41) a multiple of 7?
False
Suppose 5*l = 45, -177156 = 3041*r - 3045*r - 4*l. Is 82 a factor of r?
True
Let s be 1505/30 - (-1)/(-6). Let i = -242 + 216. Let w = s + i. Is w a multiple of 8?
True
Let z(x) = x**2 - x + 60. Let h be z(0). Suppose -38 = -2*g - 22. Let r = h + g. Is r a multiple of 21?
False
Suppose 0 = -50*d + 61*d - 22. Suppose -6*i + 154 = -4*i - d*a, 142 = 2*i + a. Is 23 a factor of i?
False
Let a be 10 - (-143)/(-22) - 1/2. Suppose 28*k - 4526 = -a*k. Is 5 a factor of k?
False
Suppose 2*o + 4*l = -1 - 1, 0 = 3*o - 4*l + 33. Let r(p) = -2*p**2 - 3*p - 20. Let d(a) = 9*a - 1. Let i(s) = d(s) - r(s). Is 13 a factor of i(o)?
False
Suppose 15*n = 12*n + 18. Suppose 5*s + n*u = 5*u + 1232, -973 = -4*s - 5*u. Is 23 a factor of s?
False
Suppose -601 = -q + 4*l, 855*l - 853*l = -14. Does 3 divide q?
True
Let b be 10*5/(-20)*(-22)/5. Is 3 a factor of b/(66/(-18))*(-94)/6?
False
Is (532 - 239)/(2/94) a multiple of 27?
False
Suppose 4*o + 47365 = 3*k - 15269, -20898 = -k - 2*o. Is k a multiple of 118?
True
Suppose 12*w + 71904 = 54*w. Is 4 a factor of w?
True
Is (-6)/((-34)/(-7225)*(-30)/136) a multiple of 34?
True
Let u = -2674 + 4144. Is 30 a factor of u?
True
Let v = -103 - -105. Is ((-11)/11)/(v/(-42)) a multiple of 7?
True
Suppose -39 + 11 = -14*i. Suppose -i*c - 2*t + 676 = 0, t + 1026 = -3*c + 6*c. Does 10 divide c?
False
Let f(a) = -49*a**3 - a**2 - 2*a - 2. Suppose -4*x + 5*p - 207 = 0, -4*x - 15 = -4*p + 189. Let t = 47 + x. Does 8 divide f(t)?
True
Let x be 6 + (-133)/56 - 3/(-8). Let c(k) = 3*k**2 + k - 23. Is 2 a factor of c(x)?
False
Let l = -50 + 52. Suppose l*q - 29 = -3. Let s(j) = -j + 30. Is s(q) a multiple of 17?
True
Suppose -8 = -3*r + r. Suppose -5*q - 33*d + 29*d = -483, 0 = 3*q + r*d - 293. Is q a multiple of 10?
False
Suppose 89*g + 36 = 98*g. Suppose -3*z + 3216 = 4*o + 964, -4*z + 3004 = g*o. Is z a multiple of 47?
True
Let u be (-5625)/(-40)*14 - (-2)/8. Suppose u = 6*x + 25. Is x a multiple of 12?
True
Suppose -17*b = -6*b - 484. Does 15 divide (3355/b)/((-2)/(-24))?
True
Let f(h) = 47*h - 1. Let s be f(1). Suppose -s*p = -55*p + 252. Is p even?
True
Does 115 divide (-11 - -19) + (-7 - -2759)?
True
Suppose l + 11*l = -84. Let i(o) = -o**3 - 8*o**2 + 5*o - 4. Let c be i(l). Let f = -37 - c. Is f a multiple of 17?
True
Suppose -2*x - 65138 = -3*z + 8526, 0 = -5*x - 20. Is 66 a factor of z?
True
Let b(q) = 3*q**2 - 13*q - 14. Let x be b(5). Is x*(-6)/6 - -65 a multiple of 23?
True
Let m = 41 + 157. Suppose -4*j = 2*j + m. Let f = j + 54. Is 3 a factor of f?
True
Suppose 29*l = -19*l - 6*l + 158598. Is 36 a factor of l?
False
Let s(o) be the first derivative of 13*o**2/2 + 600*o - 284. Is 50 a factor of s(0)?
True
Suppose 5*i + 2*i - 28 = 0. Suppose 9*y - 13*y = -i*r + 252, 2*y = 4. Is 65 a factor of r?
True
Suppose 8*r - 11621 = 11219. Does 38 divide r?
False
Let s(o) = 5*o - 35. Let p(q) = -q + 1. Let b(k) = 10*p(k) - s(k). Is 50 a factor of b(-9)?
False
Let q(w) = 510*w + 4341. Is 117 a factor of q(61)?
True
Let b = 117 - 117. Suppose y + u - 3 = 0, -u + b*u - 9 = -2*y. Is (0 + 40/6)*66/y a multiple of 7?
False
Let i(r) = -44*r - 1178. Does 89 divide i(-40)?
False
Let z = 3075 - 2976. Does 33 divide z?
True
Let y be -112 + (-1)/(-1) - 4/(-1). Let n = -27 - y. Suppose 17*c = 19*c - n. Is 12 a factor of c?
False
Suppose -4*k = 15*k - 76. Suppose 2*o = 2*y + 780, 3*y + 1232 - 448 = 2*o. Suppose 4*r - o = 3*b + 184, 0 = -k*b + 8. Is r a multiple of 32?
False
Suppose -4*b = -18*b - 140. Is 22 a factor of (115/3)/(b/(-30))?
False
Suppose -4*w = -3*o + 19, -2*o + 4*w = -o - 9. Suppose 4*s - 2*s - o*z = 21, s - 3*z = 10. Is 9 a factor of (-2)/s - (-5310)/39?
False
Suppose x = -x. Suppose -4*c + 0 + 12 = x. Suppose 5*p = c*f + 552, 0 = -2*p + 4*f + 87 + 145. Does 27 divide p?
True
Suppose -3*m = -4*z - 8728, 0*z - 5*z = 4*m - 11658. Suppose 10*n + m = 23*n. Is n a multiple of 16?
True
Suppose -5*p + 0*k + 6423 = -2*k, -5*k = -30. Is 2 a factor of p?
False
Suppose 4*i - 19 = 37 - 16. Is i even?
True
Suppose 5*v = -2*r + 887, 0*v - 3*r = -v + 174. Let k = -438 + 857. Let q = k - v. Is 22 a factor of q?
True
Suppose 0 = 2*o + 4*y - 78, y = 2*o + 2*y - 81. Suppose -10*t - 222 + 112 = 0. Let b = t + o. Is b a multiple of 10?
True
Let c(b) = b**3 + 42*b**2 - 139*b - 44. Does 16 divide c(-44)?
False
Let h be (-11)/(330/(-18)) - 8384/(-10). Suppose 10 = 5*a - 3*a, -h = -4*d + 5*a. Is d a multiple of 27?
True
Let z(s) = -2875*s**3 - 2*s**2 + 7*s + 5. Does 3 divide z(-1)?
True
Suppose 3*k - 5*r = 2*r + 52446, -3*k - 5*r = -52446. Is k a multiple of 19?
False
Let q(h) = h**3 + 37*h**2 - 18*h - 310. Is q(-33) a multiple of 80?
True
Suppose 156816 = -95*d + 107*d. Does 66 divide d?
True
Let q(v) be the third derivative of -121*v**6/40 + v**5/30 + v**4/24 + 2*v**2 - 67*v. Is q(-1) a multiple of 11?
False
Suppose -110*t + 1301094 = 13*t. Is t a multiple of 28?
False
Suppose -2*p + 8 = 2*p. Suppose u = -p*x + 7*x - 587, 4*u + 125 = x. Is 3 a factor of ((-4)/6)/((-26)/x)?
True
Let n be (-62)/2 + 1*0/4. Let r = -29 - n. Suppose r*b + 3*b - 260 = 0. Is b a multiple of 13?
True
Let b(h) be the third derivative of -h**5/60 + 3*h**4/4 - 31*h**3/6 - 149*h**2. Let t(j) = j**3 - 2*j**2 + j - 4. Let w be t(3). Is 7 a factor of b(w)?
True
Let m = 63 - 69. Let b be ((-4)/m)/(1/6*4). Does 33 divide (-9)/((-27)/156) + b + 1?
False
Let k(o) = -35*o + 30. Is 31 a factor of k(-4)?
False
Suppose -u - 12 = 3*u. Let h be (18/(-10))/(u + 27/10). Suppose -2*g + 166 = 2*c, 0 = h*g - g - 4*c - 415. Is g a multiple of 12?
False
Suppose 0 = -10*g + 13*g + 18. Let o(v) = -67*v + 45. Is o(g) a multiple of 47?
False
Let o be 54 - (-4 + 15/5). Let c = -97 + o. Does 7 divide c/(-9)*12*4/8?
True
Suppose 19*z - 34*z = -19*z + 19672. Is z a multiple of 5?
False
Suppose 4*u = 3*s + 34097, -5*u = -5*s + 23956 - 66571. Does 164 divide u?
True
Let c = -25 + 44. Let v = 13 - c. Is 9 a factor of 182*((-9)/v)/3?
False
Suppose 4*u - 5*z + 8*z - 252 = 0, 16 = 4*z. Let r = 76 + u. Is 11 a factor of r?
False
Suppose 3*s + 2*x = -213, -s - 2*x = -2*s - 71. Let u = 153 + s. Suppose u = 3*q - 5*d, 5*d - d = 16. Is q a multiple of 16?
False
Let l(f) = -12*f + 2*f**2 + 3*f**2 + f**2 + 2*f**2 + f**3 - 21. Suppose -4*p - 67 = y - 27, -49 = 5*p + y. Is 3 a factor of l(p)?
True
Let r = 11185 - 4543. Is r a multiple of 82?
True
Let y be 1*(-1 + 7 - 1). Suppose 0 = -2*s - 2*i + y*i - 5, 4*s - 40 = -4*i. Suppose -2*x = 2*x + 3*h - 599, 3*x - s*h = 471. Does 19 divide x?
True
Let j be ((-185)/10 + 9)/(2/(-12)). Let i = j - -4. Does 7 divide i?
False
Let q = -4162 - -11256. Is 122 a factor of q?
False
Suppose -4*t + 7840 = 16*z - 14*z, 5*t + 11705 = 3*z. Is z a multiple of 23?
True
Let b be (5/(-20)*4 - 3) + -15. Let u(x) = x + 267. Does 4 divide u(b)?
True
Let m = 712 + -709. Suppose 3*c = -5*a + 1705, -2*c + 1105 = m*a - 6*a. Is c a multiple of 20?
True
Let m = 27 + -36. Let s be 12/8*10/3*m. Let n = 82 + s. Is n a multiple of 19?
False
Let v(b) = 299*b**2 + 59*b - 190. Is v(3) a multiple of 36?
False
Suppose -51*r = -58*r + 4*a + 93644, a + 26755 =