r of q(o)?
False
Let j(v) = 13*v + 9 + 9*v + 17*v + 14*v + 2*v - 4*v**2. Is 4 a factor of j(11)?
False
Let q be (7 - -1)/((-3)/(-1728)). Suppose -2*g + q = 10*g. Is 46 a factor of g?
False
Suppose -5*r + 432 = -t - 6793, r + t - 1439 = 0. Does 38 divide r?
True
Let k be ((-2)/(-8))/((-4)/(-16)) + -116. Let n = k - -70. Does 12 divide 8*(-99)/n*(-10)/(-4)?
False
Let z = -32 + 90. Suppose -z*u + 3996 = -57*u. Does 19 divide 22/(-77) + u/21?
True
Suppose -123 = -4*f + 4*k + 1, -3*f + 95 = -5*k. Suppose 11*j + 106 = 139. Suppose -3*b + f = j*r, 5*r - 3*b = -0*b + 82. Does 14 divide r?
True
Let f be 35/21 - (-1 + 2/3). Suppose 3 = -f*o + 5. Suppose -o - 107 = -3*a. Does 12 divide a?
True
Let w be 1/((-1)/4) + 7 + 1. Is (-520)/39*(-135)/w a multiple of 30?
True
Suppose -m = -1 - 1. Let r(x) = 48*x + 299. Let q be r(-4). Suppose 0 = m*g - 61 - q. Does 14 divide g?
True
Is 55 a factor of (-1 + (27 - 1))/((-78)/(-1111968)*48)?
True
Is (176/(-28))/(-11) - 10064/(-28) a multiple of 36?
True
Suppose 4*v = -5*i + 189, 2*i + v - 14 - 61 = 0. Let n = 40 - i. Suppose 3*w - u - 437 = 0, n*w - 5*u - 189 = 268. Is w a multiple of 16?
True
Let b(y) = y**2 + 10*y - 36. Let s be b(-13). Suppose -l = 3*r - 594 + 41, -s*r = 15. Does 71 divide l?
True
Suppose 2*b - 74 = 590. Let d = b + -106. Suppose -3*u + d = 2*p - 284, 2*p = u - 162. Is 21 a factor of u?
True
Let v be 18/(-15)*(-8)/((-80)/25). Is 4 a factor of 158 - 0*v/(-6)?
False
Does 11 divide (5/10 - 107080/(-16)) + 6?
True
Suppose -3*s - 42 = -2*z + 703, 2*s + 746 = 2*z. Let n = 166 + z. Does 45 divide n?
True
Let a(u) = -29*u + 53*u - 14 - 27*u. Let o be a(-5). Is ((-12)/o)/(-4) - -75 a multiple of 13?
True
Let z(f) = -6*f + 50. Suppose 5 - 45 = -4*j. Let h be z(j). Does 34 divide (h + 7)*68/(-6)?
True
Suppose 3*h = -4*c + 2*h + 1319, 1316 = 4*c + 4*h. Let o(j) = 2*j - 86 + 98 + c. Is 16 a factor of o(0)?
False
Suppose 0 = a - 6. Let h(y) = -y**2 - 23*y - 183. Let k be h(-6). Does 8 divide (k/(-6))/9*76/a?
False
Suppose 2*i - 959 + 363 = 0. Suppose -3*b - 2*j = -0*j - 467, 2*b - 2*j = i. Is 6 a factor of b?
False
Let o(p) = -1500*p - 1512. Is o(-3) a multiple of 9?
True
Let o be 3/12 + ((-9)/(-12) - 0). Let s = -53 + 38. Let g = o - s. Is 8 a factor of g?
True
Let c be 90/(-21) - -3 - (-2)/7. Does 8 divide -4 + 1 + 0 + (c - -86)?
False
Let r = -17 + 23. Suppose -r*w - 4*w + 880 = 0. Suppose 29*s + w = 33*s. Is s a multiple of 11?
True
Let y(h) = -h**2 - 54*h + 158. Is y(-10) a multiple of 11?
False
Let s(b) = b**2 - 32*b + 15. Let p be s(27). Is 9 a factor of (-21)/2*880/p + -1?
False
Let p = -23691 + 49767. Does 82 divide p?
True
Let k(j) be the first derivative of -j**3 - 19*j**2 + 32*j - 38. Let v(m) be the first derivative of k(m). Does 2 divide v(-7)?
True
Let t = -1978 - -3501. Does 62 divide t?
False
Let p = -20 + 53. Is p/11 + -1 + 17 even?
False
Let d(c) = 151*c - 1236. Does 81 divide d(50)?
False
Suppose -85*d + 127156 = -128*d + 474295. Is d a multiple of 6?
False
Let j(k) = 11*k + 17. Let i be j(-1). Is ((-56)/6)/(i - 1152/189) a multiple of 11?
False
Suppose -5*b = 3*c - 0*c - 31, 59 = 3*c - 2*b. Let d = 27 - c. Is (1/(d/8))/((-42)/(-4725)) a multiple of 15?
True
Let z = 24900 - 13650. Is z a multiple of 25?
True
Let k(n) = n**3 - 2*n**2 + 5*n - 3. Let q be k(3). Let y = -17 + q. Suppose b = y, f + 3*f - 592 = b. Is f a multiple of 18?
False
Suppose 14*x = 4*x + 450. Let u = x - 38. Is 4 a factor of u?
False
Let i be (-4)/(-8) - 15/(-6). Suppose -i*b - 25 + 19 = 0. Is 3 a factor of (6/8)/(b/(-24))?
True
Is -429*(110/(-15))/((-8)/(-12)) a multiple of 19?
False
Let n(q) = -35 - 13*q**2 + 7*q + q**3 + 6*q - 7*q. Let a be n(14). Let r = a + -90. Is r a multiple of 26?
False
Let u be (-12)/5 - (-8)/20. Let n be (-1)/(-2)*29*u. Let s = n + 54. Is s a multiple of 10?
False
Let r = -895 - -1266. Let n = r - 107. Suppose 0 = 4*h + 4*s - n, 8*h - 306 = 3*h + s. Is 31 a factor of h?
True
Let j = -9279 + 11190. Is 49 a factor of j?
True
Suppose 0 = 10*q - 1376 - 3274. Suppose -12*s = -q - 111. Is 4 a factor of s?
True
Suppose 0 = -12*h - 48. Let r = 8 - h. Is 3 a factor of r?
True
Let m be (-840)/(-135) + 1/((-18)/4). Suppose -5*d = -m*d + u + 15, 0 = 4*d - u - 75. Let l(w) = 7*w + 34. Does 12 divide l(d)?
False
Suppose 2*t - 4*v + 45 = 5*t, -3*t + 27 = -2*v. Suppose t*x - 328 = 9*x. Is 15 a factor of x?
False
Let j = -2629 + 4505. Is 67 a factor of j?
True
Suppose 3*h + 962 = -5*x, -2*x + 3*h - h = 372. Let g(q) = -2*q**3 - 5*q**2 + 2*q + 1. Let m be g(-7). Let y = m + x. Is y a multiple of 34?
True
Let l(c) = c**2 - 18*c - 25. Let g be l(20). Let h be ((-42)/g - -2)*-5. Suppose 2*u - t - 3*t = 418, -h*u - 3*t + 869 = 0. Is 9 a factor of u?
False
Let k = -2023 + 4281. Let g = -802 + k. Is 112 a factor of g?
True
Let f(w) = 6*w**2 - 149*w - 21. Let r be f(25). Suppose 3*b - 3*g = 1878, -r*b - 31*g + 34*g = -2508. Does 42 divide b?
True
Is 13 a factor of (135/(-54))/(1/(-3)*(-27)/(-13266))?
False
Let g(y) = -2*y**3 - 20*y**2 + 94*y + 442. Does 36 divide g(-22)?
False
Suppose 15*i - 33944 = 7*i - 2*w, 0 = 3*i - 2*w - 12718. Is 72 a factor of i?
False
Suppose 5*p + 463 + 3042 = 5*x, -5*p - 20 = 0. Is x a multiple of 7?
False
Let q = 10877 - 3419. Does 11 divide q?
True
Let b(d) = 4*d**2 + 251 + 417*d - 463*d - 2 + 7. Is b(7) a multiple of 65?
True
Let k(w) = 5*w - 19. Let d be k(10). Suppose -5*t = -d - 29. Suppose -t = -3*j - 4*p, 0*j + 2*j + 5*p - 1 = 0. Does 4 divide j?
True
Suppose -m + 10*m - 2133 = 0. Suppose 2*d - 287 - m = 0. Let z = d + -180. Is 16 a factor of z?
False
Suppose 54*j - 56697 = 77979. Is j a multiple of 9?
False
Does 5 divide 7*(-170)/(-14)*1*43524/2790?
False
Let o(a) = 209*a + 37. Let y be o(6). Suppose 16*x - 261 = y. Is x a multiple of 14?
False
Is 5 a factor of 26 + -31 - 2145/(-1)?
True
Suppose -4*n = -5*h + 27, 3*h + n = 3 + 3. Suppose 4*j - 3*v = -0*v + h, -5*j = -v - 1. Suppose 0*k = -a + 3*k + 21, j = -4*a + 3*k + 84. Is 21 a factor of a?
True
Let r(c) = -85*c**3 - 12*c**2 - 44*c - 97. Does 18 divide r(-5)?
False
Let b = -18 - 1584. Let q = b - -2290. Is q a multiple of 44?
False
Suppose 33*f - 24*f + 1971 = 0. Let u = 34 - f. Does 23 divide u?
True
Is 3991 + 9*(-12)/24*2 a multiple of 26?
False
Let f(x) = 121*x + 1596. Does 4 divide f(23)?
False
Let m = 86 - 83. Let a be (m + 2619/6)*2. Suppose -a + 3015 = 6*k. Does 52 divide k?
False
Suppose 15*m + 83543 = 329558. Does 26 divide m/126 - (-2)/(2 + -14)?
True
Suppose -172*o + 184*o + 12 = 0. Is 5 - (-895 - -8) - o a multiple of 63?
False
Let u = 9556 + -5250. Does 55 divide u?
False
Suppose -2*c = -2*k + 3030, 2*k = -124*c + 121*c + 3070. Is k a multiple of 4?
False
Suppose -126*v = -128*v - s + 4091, 5*v - 10211 = 3*s. Is 146 a factor of v?
True
Let r = -1371 + 3013. Is r a multiple of 6?
False
Let b = 948 + -633. Suppose -3*o + 2*k + 194 = 8, 5*o - 5*k - b = 0. Let t = o + -52. Is t a multiple of 4?
True
Suppose -10*d - 35*d + 79605 = 0. Suppose 3671 = 16*t - d. Is 3 a factor of t?
False
Let r = -17206 - -29189. Does 23 divide r?
True
Suppose -3*o + 1778 = 5*k, 2*k - 358 = k - 3*o. Suppose -u + 85 = c, -4*c + 4*u = 3*u - k. Does 3 divide c?
False
Let b(f) = 33*f**2 + 63*f - 616. Is 36 a factor of b(13)?
False
Suppose -4*j = -5*j - 2*r + 43, 0 = 3*j - r - 164. Let g = j + -44. Suppose 3 = h - g. Is 6 a factor of h?
True
Let z(a) = -5*a**3 + 4*a**2 - 40*a - 466. Is 7 a factor of z(-13)?
False
Let l(m) = m**3 + 62*m**2 - 141*m - 34. Is l(-63) a multiple of 20?
True
Suppose -425*p + 420*p + 1840 = 0. Let c = p - -136. Is 28 a factor of c?
True
Is 148 a factor of 1/(-6 + (-6 - 146029/(-12169)))?
False
Let y = 66 - 70. Let k be (-66)/10 + y*6/60. Does 6 divide (-587)/k - 3/(-21)?
True
Let y(r) = 3*r**2 + 28*r - 45. Suppose -18*h - 203 = 175. Is 23 a factor of y(h)?
True
Suppose 4*h = 12 - 8. Let f be (h + 177/(-6))*(-12)/18. Suppose -f + 339 = 8*c. Is 5 a factor of c?
True
Let a(g) = 3*g**3 - 14*g**2 - 58*g + 23. Let j(b) = -4*b**3 + 13*b**2 + 57*b - 21. Let p(h) = -3*a(h) - 2*j(h). Is p(19) a multiple of 10?
True
Suppose 4*q + 33 = 5*h + 2*q, 0 = -5*h - 5*q + 5. Suppose h*w - 2575 = -5*u, -u - 2473 = -5*w + 72. Is 17 a factor of w?
True
Suppose 0 = 3*d - 2*d - 6. Let m(z) = z**3 - 4*z + 60 - 69 + d*z**2 - z. Is 8 a factor of m