8*v + 1160. Let h = v - -581. Suppose h + 27 = 4*r. Does 13 divide r?
True
Is 12 a factor of 2*-4 + 20*(-8672)/(-80)?
True
Let c(f) = 7*f**2 + 180*f - 149. Is c(-43) a multiple of 3?
False
Let z(n) = n**2 - 5*n + 2. Let a be z(-6). Let l = -53 + a. Is (5 + -3)*l/2 a multiple of 3?
True
Let r(h) = 6143*h + 8916. Is 6 a factor of r(2)?
False
Let j(c) = -18*c**3 + 6*c**2 + 6*c. Let r be j(-1). Is -17 + r - (-1 - 30) a multiple of 3?
False
Suppose 64 = 1099*s - 1083*s. Let j(x) = 6*x**2 + 2 - 3*x + 1 - 4. Does 25 divide j(s)?
False
Suppose 3*h = -3*q + 21729, 4*h - 14658 = 3*q + 14300. Does 26 divide h?
False
Suppose 93*j - 90*j + 2*i - 5717 = 0, -j - 4*i + 1879 = 0. Is j a multiple of 21?
True
Suppose -5*z - 3*w = w - 76, 5*z - 3*w - 48 = 0. Suppose 5*u - 3 - z = 0, 2969 = 5*h + 3*u. Is 37 a factor of h?
True
Suppose 0 = 3*f + 5*p + 163, -3*f = -3*p - 108 + 279. Let w(u) = u**3 - 25*u**2 - 25*u - 55. Let h be w(26). Let t = h - f. Is t a multiple of 6?
False
Let n be (-2)/(-10)*2 + 6/10. Let w = -26 - n. Let g = 42 + w. Does 6 divide g?
False
Let w(v) = -6545*v - 490. Is 35 a factor of w(-1)?
True
Let t(h) = -8*h**3 - 8*h**2 + 14*h + 1. Let u be t(-7). Suppose 5*y + u = 5*a, 0 = -2*a - 8*y + 5*y + 907. Is a a multiple of 44?
False
Let b(r) = -r**3 + 6*r**2 - 6*r + 7. Let k be b(5). Does 7 divide 110/(-11) + 237 - (-1 - k)?
False
Let s = 161 - 165. Is 50 a factor of (-385 - (1 + -2))*-1 - s?
False
Let x(i) = i**2 - 5*i - 9. Let h be x(7). Suppose -259 + 9 = -h*m. Suppose -m = -4*k + 46. Is 2 a factor of k?
True
Suppose -6*a = -11*a + 7565. Suppose p - a = -l - 2*l, -5*l - 3*p + 2515 = 0. Suppose 0 = 14*s - l - 166. Does 8 divide s?
True
Let s = 1878 - -4044. Is 126 a factor of s?
True
Let g be 66*6 + (-30)/6. Let d = -351 + g. Is 20 a factor of d?
True
Let s = -326 + 642. Suppose -5*f = 3*z + s, -z - 215 = 3*f - 27. Let b = 84 + f. Is b a multiple of 2?
True
Let y = 25 + 3. Let b be (-2)/(-3) + (-510)/(-18). Suppose y*j - b*j = -23. Is j a multiple of 7?
False
Let q(a) = -3*a**2 + 32*a - 62. Let k be q(8). Let p = 20 + -12. Suppose -k = -r + p. Is 10 a factor of r?
True
Let w = 81 + -42. Let h = w - -47. Does 42 divide h?
False
Suppose 0 = 7*k - 9 + 44. Let y(b) = -4*b**3 - 11*b**2 + 5*b - 11. Is 10 a factor of y(k)?
False
Let x(f) = -f**2 - 12*f - 9. Let g be x(-11). Suppose 38 = g*p + 4*j - 70, -p + j = -51. Let a = p - 15. Does 16 divide a?
False
Suppose 28*s + 462 = 546. Suppose 5*f = 4*f - 3*j - 9, 3*j + 15 = f. Suppose -s*c + 6 = 21, -f*x = 5*c - 41. Is 2 a factor of x?
True
Let l = -136 - -196. Let j = l + -55. Does 32 divide 23/(4 - j)*-5?
False
Let i(x) be the first derivative of -1/2*x**2 - 14*x - 12 + 7/3*x**3. Is 26 a factor of i(5)?
True
Suppose 12756*w = 12761*w - 8425. Is 47 a factor of w?
False
Let n(c) = c - 20. Let u be n(20). Suppose -14*t + 5387 + 381 = u. Is 24 a factor of t?
False
Is 28 a factor of 98/42 - 116728/(-24)?
False
Suppose -2129090 - 1239550 = -72*u - 8*u. Does 22 divide u?
True
Does 172 divide (614/921)/(-1*2/(-40764))?
True
Suppose 3*a - 14 = -x, -4*x + 4*a + 68 = -x. Let r be (-5)/((-75)/(-18))*x/(-4). Does 5 divide 28 + 4 - r/(-3)?
False
Suppose -4*r = 3*w - 101, -2*r - 2*w = w - 43. Let i be (52 + 15/(-3))*1. Let h = i - r. Does 3 divide h?
True
Let k(s) = -s**3 - 28*s**2 + 46*s + 33. Let o be k(-25). Is 34 a factor of (o/55)/(1/(-5))?
True
Let s be (-270)/63*(-70)/15. Does 18 divide 6*((-10)/25 - (-2638)/s)?
False
Suppose 26*x - 3248 = 23*x + 4*w, 4*x + 3*w = 4364. Is x a multiple of 10?
False
Let v = -110 - -1314. Does 44 divide v?
False
Let u be 5/2 + ((-8799)/14 - 0). Let n = u + 1133. Is n a multiple of 8?
False
Let z(r) = 3*r**2 + 5*r - 78. Suppose -36*v - 29 = -5*f - 39*v, 0 = 3*f + v - 19. Is z(f) a multiple of 26?
True
Suppose 0 = 42*g - 517491 - 948196 - 74369. Is g a multiple of 170?
False
Let h be ((-72)/(-10))/(8/40)*18. Let u = h - 448. Does 10 divide u?
True
Suppose 0 = -23*h + 22*h + 5. Let f(n) = 14*n + 3 + h - 9 + 2*n**2. Does 14 divide f(-11)?
False
Let m = 11 + -22. Let y be 1*18*((-4)/(-1) + -3). Let q = m + y. Does 7 divide q?
True
Let y(m) = -5*m - 42 + 50*m - 27*m. Let x be (531/(-236))/(6/8 - 1). Does 15 divide y(x)?
True
Suppose -9 = -4*u + 15. Let k = 3934 + -3860. Suppose 4*s - 5*i = k, -58 = -4*s - u*i + 3*i. Is s a multiple of 10?
False
Let x = 443 + -321. Suppose -5*v - x = -s, 3*v = -3*s + 133 + 305. Is s a multiple of 19?
False
Suppose -20*o + 25*o - 620 = 0. Is o/31 + (-406)/(-2) a multiple of 14?
False
Suppose -5*s + 0*s = 5*d, s = -3*d. Let y(w) = -33*w**2 - 10*w - 240. Let p(b) = 4*b**2 + b + 2. Let u(o) = -8*p(o) - y(o). Does 28 divide u(s)?
True
Let k(f) = -3*f**2 + 4*f - 16. Let m be k(4). Let x = 146 + m. Is x a multiple of 9?
False
Let b(x) = -x - 7. Let g = -196 - -135. Let u = g + 47. Is b(u) a multiple of 3?
False
Let n(t) = t**2 - 4*t + 5. Let i be n(5). Let f = -98 - -110. Is 2 a factor of 6*25/15*f/i?
True
Suppose 5*i = 10*i + 500. Let q = i + 236. Is q a multiple of 17?
True
Let z(k) = -19744*k - 2701. Is z(-1) a multiple of 4?
False
Let q(y) = -y**3 + 19*y**2 + 47*y - 48. Let d be q(21). Suppose 3*k - 22*k = -d. Is 2 a factor of k?
False
Let l(x) = -2*x**3 - 25*x**2 + 71*x + 981. Is 34 a factor of l(-18)?
False
Let m = 139 + -137. Is (-86)/(m/((-1)/1)) a multiple of 31?
False
Let f(x) = 5*x**2 - 10*x - 3. Let z be f(-6). Let n be z*(-1 + (-5)/(-3)). Suppose -2*k + 8 = -h + n, 10 = -2*k. Is 20 a factor of h?
True
Let s = 126 - 55. Let x = s + -67. Is 25 a factor of ((-12)/54 - 3460/(-18)) + x?
False
Suppose 89*h - 16 - 251 = 0. Suppose -4*j - 5*n + 135 = j, 2*j - 5*n = 19. Suppose 3*x - 5*l - 27 = -2*l, -j = -h*x + 4*l. Is x a multiple of 4?
False
Let n(t) = -674*t + 3*t**3 - 12 - 2 + 665*t + 15*t**2 + 0*t**3. Is n(-5) a multiple of 2?
False
Let m = 29 + -31. Let x be (m/(-3) + 115/(-15))*-1. Let c = x + 11. Does 18 divide c?
True
Let z be 17448/120 - (-3)/5. Let f = 73 + z. Suppose -2*q + f + 251 = 0. Does 31 divide q?
False
Suppose 21879 = 3*c + 5*z, -c - 3*z + 7364 - 67 = 0. Does 6 divide c?
False
Let h(d) = -10*d - 186. Let f be h(-19). Suppose f*i - 114 = -2*k + 2792, -3*i - 1473 = -k. Does 17 divide k?
False
Let l be ((-34)/3)/(((-24)/(-27))/4). Let p be (-170)/l*(-6)/(-4). Suppose p*j - 87 = -17. Is 14 a factor of j?
True
Let r be 309*(-15)/(315/(-28)). Suppose 3*z + 250 = r. Is z a multiple of 6?
True
Let d = 8 + 3. Let v(u) = 1 + 2432*u - 2426*u + 7. Is v(d) a multiple of 29?
False
Let k = -12118 - -12737. Is k a multiple of 18?
False
Suppose -1224 = -21*b + 4*b. Let k = 0 + b. Is 8 a factor of k?
True
Is 3 a factor of 2310/(-84)*(72/(-5))/2?
True
Suppose -4*l + 60849 + 4151 = 0. Does 84 divide l?
False
Let s(u) = 13*u**3 + 2*u**2 - 9*u. Suppose -2*j - 11 + 3 = -4*g, 0 = 2*j - 4. Is s(g) a multiple of 19?
True
Let u = -4081 - -5809. Does 12 divide u?
True
Let s be 5 + 4 + -6 - (5 - 203). Suppose q = 649 - s. Is q a multiple of 44?
False
Let u = -5 - -24. Let g = -12383 - -12396. Suppose g*b + 84 = u*b. Is 7 a factor of b?
True
Suppose -f - f + 142 = 0. Suppose -24 - 9 = -3*v. Suppose -12*q + f = -v*q. Does 4 divide q?
False
Let a(o) = -109*o + 382. Is a(-8) a multiple of 3?
True
Let i(j) = -236*j + 556. Does 70 divide i(-19)?
True
Suppose c = -3*m + 63868, 0 = 3*c - 4*m + 22314 - 213892. Is c a multiple of 74?
True
Suppose 0 = -3*t + f + 57624, -2*f - 76828 = -6*t + 2*t. Is 113 a factor of t?
True
Suppose 5*p + 550 = -2*y, -2*p + 2*y + 124 - 358 = 0. Let n be (-3)/1 + (-1 - p). Let v = n - -6. Does 19 divide v?
True
Suppose -127 = w - 119. Let u(t) = 5*t**2 + 3*t + 24. Does 20 divide u(w)?
True
Let y be ((1 - 1) + 15)*(-8 + 25). Suppose 4*f + f + y = 0. Let r = f + 69. Is r a multiple of 14?
False
Let i = -333 - -333. Suppose i = c - 0*c - 314. Is c a multiple of 46?
False
Let m(j) = -j**3 + 12*j**2 + 21*j + 19. Let k be (8/(-3))/(12/36)*1. Let r = k - -21. Is m(r) a multiple of 11?
False
Let a(m) = -m**3 - 9*m**2 + 23*m + 11. Let d be a(-11). Suppose -44 - 3 = -3*x - 4*o, d = 5*x - 3*o - 88. Suppose 0 = -8*l - x + 729. Is l a multiple of 13?
False
Let c(v) = 21*v**2 + 5*v - 16. Does 5 divide c(6)?
True
Let h(s) = -2*s**3 + 14*s**2 - 9*s + 7. Let c(z) = -11*z - 9. Let l be c(-4). Let k = 41 - l. Does 2 divide h(k)?
False
Let d = -146 + 177. Suppose