-12985 = -2*h + 116*v - 101*v. Is h a multiple of 130?
True
Let q = 447 + 136. Suppose -2*v = 4*s - 602, 4*v - 625 - q = -4*s. Suppose -3*h + v = -9. Does 13 divide h?
True
Suppose 4*n + 51 = 21*n. Does 4 divide ((-56)/(-10))/(n/165)?
True
Let l be (-159)/(-5) + (-26)/(-130). Is (-46845)/(-18)*(l/12 - 2) a multiple of 13?
False
Suppose -7*u - 15*u = 28160. Is 6 a factor of (-228)/190*u/6?
False
Suppose 4*f + t - 10739 = 0, -96*f - 8043 = -99*f - 2*t. Is f a multiple of 150?
False
Let a(g) = -27*g + 9. Let j be a(5). Let f = j - -232. Let c = f + -22. Does 28 divide c?
True
Let g(h) = -h**2 - 8*h + 4. Let z be g(-8). Let d be 7/z - (-8)/32. Suppose -34 = -d*x - 0. Is 3 a factor of x?
False
Suppose 103 = 11*f - 73. Suppose f*v - 6368 - 1792 = 0. Is v a multiple of 17?
True
Let s(j) = -5*j - 33. Let g(m) = 4*m + 32. Let h(n) = 3*g(n) + 4*s(n). Let a(b) = 23*b + 339. Let r be a(-15). Does 2 divide h(r)?
True
Let b = 3694 - 1414. Is 19 a factor of b?
True
Is (26598/(-104))/(3/(-12)) a multiple of 31?
True
Let h be ((-8)/8)/(1/13). Let l = -10 - h. Suppose -4*s = -2*j - j - 202, 143 = l*s + 2*j. Is s a multiple of 7?
True
Suppose 2*z + 2723 = 4*y + 5*z, z - 12291 = -18*y. Does 20 divide y?
False
Suppose 6 = -2*h, -7*h - 21238 = -5*w - 6*h. Suppose -28*s + 14607 = w. Is s a multiple of 4?
False
Is 68/136*(0 - 1)*-6278 a multiple of 10?
False
Suppose i - 81 = 10*i. Let g be 1 - (i/(-3) + -2). Suppose -w = 3*c - g*w - 182, -5*w = -3*c + 206. Does 7 divide c?
False
Is 2615 - ((6 - 13) + 6/9*3) a multiple of 5?
True
Suppose -30*w - 44927 = -144*w + 39319. Is w even?
False
Let q(c) = 15*c**2 - 2*c - 4. Let x(y) = 1. Let u(i) = q(i) + 3*x(i). Let z be u(2). Let b = z + -35. Does 7 divide b?
False
Suppose 29*a - 3*h = 28*a - 4, 4*h = -a + 3. Is 72 a factor of 348/((a + 0)*(8 - 10))?
False
Let c = 573 + -555. Suppose -2*o + 2*u = -2878, -c*o = -13*o + 2*u - 7216. Does 14 divide o?
True
Let g be 60/(-25)*(-2875)/10. Let v = -518 + g. Is 15 a factor of v?
False
Let q(a) be the second derivative of a**3/6 + 13*a**2/2 - 30*a. Let g be q(-13). Suppose g = -3*b - 4*j + 230, -b + 309 = 3*b + 3*j. Is 10 a factor of b?
False
Let u = 48 + 45. Suppose u = 17*b + 25. Suppose -2*t - 849 - 127 = -3*h, b*h = t + 1298. Is 51 a factor of h?
False
Suppose -33869 = -4*t - 5*r, 5*r = 9*t - 6*t - 25428. Does 43 divide t?
True
Suppose x - 4 = -z, -6 = -4*x + 2*z - z. Suppose w = q + 48, 216 = x*w + 2*w + 2*q. Suppose -3*a = -a + 2*i - w, 0 = -4*i - 4. Is a a multiple of 9?
True
Let s be 0/(-6) - 2*43. Let t = 131 - s. Is 31 a factor of t?
True
Is 37 a factor of 11 + -22 + 27 - -21039?
False
Let u = -30333 + 55452. Suppose 63*x = 30195 + u. Is x a multiple of 41?
False
Let i = -333 + 4564. Is i a multiple of 19?
False
Suppose 44*f = 40*f - 2*u + 49532, f = 5*u + 12372. Is f a multiple of 19?
False
Let k be (-36)/9 - 6*(-16)/(-12). Let d(g) = g**2 + 7*g + 11. Is d(k) a multiple of 16?
False
Suppose 2*f + 34 = 4*n, -4*n + f - 18 = -49. Suppose -n*t = 3*t + 20. Is (17/(-4))/(t/48) a multiple of 34?
True
Let l = -11401 + 13361. Does 5 divide l?
True
Let a(b) = -76*b - 2101. Is 147 a factor of a(-41)?
False
Let j be (8*(-2)/(-24))/(4/42). Let p be 2 + (0 - 2/(-2)). Suppose j*t - p*t = 40. Does 10 divide t?
True
Let y = -11 - -17. Let h(o) = 5*o + 14 + 14*o + y. Is h(8) a multiple of 14?
False
Let y = 4 - 1. Suppose -4*u - 2*q + 2 = 0, y*u + 5*q + 9 = -0*u. Is 10 a factor of u + 146 - (-1 - (-2 - -3))?
True
Suppose 0*t + 1156 = 5*p + 2*t, 2*p - 448 = 4*t. Suppose -3*i - 29*h = -28*h - 14, 0 = 5*i + 6*h - 6. Suppose i*j - p = -80. Does 5 divide j?
True
Is (-282796)/(-9) - (-3 - 425/(-153)) a multiple of 19?
False
Let n = -139 + 1576. Suppose -683 - n = -8*v. Does 15 divide v?
False
Suppose -5*t - 772*d + 770*d = -3838, -2290 = -3*t + 2*d. Is t a multiple of 13?
False
Suppose -311561 - 82183 = -13*w. Is w a multiple of 9?
False
Let j = -749 + 780. Suppose a = -4*a + 25. Suppose 0 = 4*m + a*t - 303 + j, -2*t = -4*m + 272. Is m a multiple of 17?
True
Suppose 53*y + 84372 = 93*y - 350628. Does 29 divide y?
True
Suppose -19*m + 13771 = -55142. Is m a multiple of 13?
True
Let b(g) = -g**3 - 5*g**2 - 2*g - 6. Let r be b(-5). Suppose 4*m = r*h - 3*h, -5*m = 3*h. Suppose 4*j + 6*j - 40 = h. Does 2 divide j?
True
Let t(o) = -o**2 + 22*o + 8. Suppose -38 = -0*v - 2*v + 4*x, -4*v + x = -55. Is 23 a factor of t(v)?
False
Does 22 divide (-78124)/(-10) + -2 + ((-896)/80)/28?
True
Let k = 9 - -5. Let h = k + -11. Let q = 81 - h. Is q a multiple of 13?
True
Let c = -6835 + 7926. Does 7 divide c?
False
Let a(y) = 24*y**2 - 11*y - 10. Let m be a(-1). Is ((-10)/m*1)/(1/(-205)) a multiple of 5?
False
Let f be (-15676)/(-3) + (-45)/(-27). Suppose -29*m + f = -3937. Is m a multiple of 7?
False
Let q(b) be the first derivative of b**3/3 - 5*b**2 + 60*b - 28. Let i be q(24). Suppose -u - i = -5*u. Is 11 a factor of u?
True
Let a(g) = 3*g**3 + 2*g**2 + 2*g + 1998. Let q be a(0). Let k = q - 1386. Is 69 a factor of k?
False
Does 3 divide 18*(-70)/84*-2?
True
Let f(v) = -8*v - 6. Let g be f(3). Let c = g - -33. Suppose 144 = -c*b + 417. Is b a multiple of 16?
False
Is (5 - ((-1774)/(-8) - -7))*-24 a multiple of 6?
True
Suppose 3*w = -5*w + 11*w. Suppose w = p - 139 - 27. Is p a multiple of 7?
False
Let o(s) = 5*s + 89. Let d be o(-17). Is 29 a factor of (12 - -3840)/6 - 1*d?
True
Let g be (16/(-3))/(-1)*(-144)/32. Let p = 99 + g. Is 15 a factor of p?
True
Suppose -3*z + 50720 = -120*b + 118*b, -5*b + 84600 = 5*z. Does 67 divide z?
False
Suppose 0 = -r - 0*r - 5, -4*u - 2*r + 4146 = 0. Suppose -u + 139 = -6*x. Is x a multiple of 50?
True
Let s(t) = -2*t + 22. Let y be s(8). Does 5 divide 83 - (-3 + y - 10)?
True
Suppose 5*s = -0*s - 5. Let i be 2 + 4 + (-62)/s. Suppose 0 = -p + 3*g + 34, 2*p - 2*g = -3*g + i. Is 17 a factor of p?
True
Let r = -4646 - -1466. Is 3/9 - r/45 a multiple of 71?
True
Suppose 11*r - 9 - 13 = 0. Suppose -r*d = 2*d - 4, d - 107 = -j. Suppose -4*z = -5*h + 655, 0 = 2*h + z - j - 169. Is h a multiple of 15?
True
Suppose -45*t + 6612 = 12*t. Let c be ((-57)/2)/((-2)/(-8)). Let q = c + t. Is q even?
True
Let l = 14 + -6. Let g = 4830 - 4842. Is -2 + l/g*-90 a multiple of 11?
False
Let a(v) = 84*v + 98. Suppose 110*w + 88 = 118*w. Is 73 a factor of a(w)?
True
Let a = -5797 - -21040. Is a a multiple of 19?
False
Let h be 13 + -11 + -6 + 1. Let x be (-1)/(-12)*h + (-15)/(-12). Does 6 divide (x + -2 - 29)/(-4 - -3)?
True
Suppose 0 = p - q + 9179, -3*p - 2*q - 22294 = 5228. Is (3/6)/((-31)/p) a multiple of 8?
False
Let i = 19 - 12. Let u(z) = z**3 - 7*z**2 - 10. Let y be u(i). Let d = y + 15. Is d a multiple of 5?
True
Let i be -3 + 383 - (-3)/(-1). Suppose 3*x - 2*p + i - 1351 = 0, 0 = -3*x - p + 971. Is x a multiple of 36?
True
Suppose -19749 = -2*a + c + 35086, 6*a - 164554 = -4*c. Is a a multiple of 38?
False
Let u be (-4)/8*0 - 111/(-3). Suppose 0 = i + 5*o - u, -12*i + 2*o - 70 = -17*i. Is i a multiple of 4?
True
Suppose -r = -0*r - 3*x - 29, -r - 3*x = -35. Let n = -726 + 782. Let m = n - r. Does 8 divide m?
True
Let i = -272 + 604. Suppose -2*s = -4*s + i. Does 3 divide s?
False
Let x(a) = -a + 7. Let g(p) = -p + 8. Let t(k) = 5*g(k) - 4*x(k). Let v be t(5). Suppose -4*l - 126 = -v*l. Does 14 divide l?
True
Let s(w) be the second derivative of -5/6*w**3 + 9*w + 0 - 29/2*w**2. Is 11 a factor of s(-8)?
True
Suppose -7*c = -9*c + 3*p + 32153, c - 16084 = -p. Is c a multiple of 129?
False
Does 62 divide -62*(-114 + 16 + -12)?
True
Let h be 2*2/10 - 1586/65. Is 24 a factor of (8 + (-2672)/h)*3?
False
Suppose -5*b + 473 + 2 = 0. Let f = -65 + b. Is f a multiple of 18?
False
Let c be 976/40 + 9/15. Let q be -1*-2*4/(-8). Is 17 a factor of (-5)/c*0 - (q - 84)?
True
Suppose 0 = -5*r + 3*a + 15, -6 = -r - r + a. Suppose 4*m - r = 3*m. Does 2 divide 4*m*2/8?
False
Suppose j + 5*j - 24 = 0. Suppose 0 = -5*x - j*z - 171, 5*x = 7*z - 4*z - 178. Does 20 divide x/14 + 615/6?
True
Suppose -51*n + 26*n = 626775. Does 47 divide n/(-27) + (-12)/(-27)?
False
Let t(h) = h**3 + 11*h**2 - 5*h - 48. Let i be t(-11). Suppose 5*b = -4*x + 650, b + i*x = 9*x + 130. Is 10 a factor of b?
True
Let q = -67117 + 117538. Is 21 a factor of q?
True
Let p = 101 - 25. Let d be (-10)/6*9/(-15). Let y = p + d. Is y a multiple o