
Let c be (2/1)/6*0. Suppose -4*q + 14 + 154 = c. Is q a multiple of 6?
True
Let f = -11 + 3. Does 14 divide 584/6 - f/12?
True
Suppose 3*q + 12087 = 5*x - 0*x, x - 2*q - 2416 = 0. Is 26 a factor of x?
True
Suppose -5796 = 1178*t - 1182*t. Is t a multiple of 69?
True
Let a be ((-60)/(-50))/((-2)/(-5)). Suppose -3*i + 26 = -r + a*r, r = -i + 12. Suppose 36 = 2*v + r. Is 7 a factor of v?
False
Let g = 385 - 217. Is 56 a factor of g?
True
Suppose -2*n + 2*z = 3*z - 9, -n + 22 = 4*z. Suppose 2*p + 58 = 2*c - 18, -c + 35 = n*p. Is c a multiple of 3?
False
Let f(u) = 6*u - 14. Let s(v) = -v + 1. Let t(h) = -2*h + 2. Let x(d) = 3*s(d) - t(d). Let c(i) = -f(i) - 5*x(i). Is 21 a factor of c(-12)?
True
Let k = -14 + 17. Suppose u = 6 - k. Suppose -6*a = -2*a + 2*q - 38, -u*q = 4*a - 41. Is a a multiple of 3?
False
Let b be (-1 + 1)/((-1)/1). Suppose 16*l - 15*l - 7 = b. Suppose -l = -2*a + 3*p + 23, 2*p = 2*a - 26. Is 2 a factor of a?
False
Suppose -13*i + 4774 + 2142 = 0. Let f = i + -334. Is 11 a factor of f?
True
Suppose -2*w - 2312 = -6*w. Suppose -3*d + 343 + w = 0. Suppose 0 = 5*j + 82 - d. Does 9 divide j?
True
Suppose 4*y = -3*r - 158, -3*y + 3*r + 16 = 145. Suppose 36 = -4*n - 0*n. Let q = n - y. Is 16 a factor of q?
True
Let a = 952 + -111. Does 18 divide a?
False
Suppose 0 = 5*z - 196 - 159. Let m = 83 - z. Is 4 a factor of m?
True
Suppose 4*l = 3*o + 1792, -2*l - 3*o + 515 + 381 = 0. Is 4 a factor of l?
True
Let a = 260 - 131. Let q = a - 59. Is 14 a factor of q?
True
Suppose s - 52 = -0*s. Suppose 2*p - 3*p + 28 = -2*i, 0 = 2*p - 3*i - s. Is (p/(-6))/((-1)/3) a multiple of 5?
True
Let m(b) = 3*b**3 + 156*b - 4*b**3 - 4*b**2 - 155*b + 3. Let o be m(-4). Does 3 divide o/4 - (-1098)/72?
True
Suppose y = 3*o + 1, 0*y + 5 = 3*o + 5*y. Suppose 4*k + 0*k - 216 = o. Suppose k = 3*c - 54. Does 15 divide c?
False
Let u be -2 + 239 + (-6 - -3). Let r be 2/7 - u/(-63). Suppose -223 = -7*h + r*h - 5*l, -2*l = 5*h - 340. Is 18 a factor of h?
False
Does 107 divide (136 - 2 - 2) + (14 - 19)?
False
Suppose -4*l + 110 = -5*d, 2*l - 88 = 4*d + 5*l. Let r = d - -31. Is 4 a factor of r?
False
Suppose -2*q = -2*v + 242, v + 20 - 125 = -3*q. Is v a multiple of 13?
True
Let q(i) = 13*i - 31. Let z be q(7). Suppose 27 = b - z. Is b a multiple of 14?
False
Let f(r) = r - 4. Let x be f(4). Suppose -3*m - 10 + 76 = x. Suppose 5*b - 103 = m. Does 16 divide b?
False
Suppose 3*k + 2*k - 2105 = b, 5*b = -k + 395. Is k a multiple of 12?
True
Let s be 67 + (4 + 4)/4. Suppose s*z - 67*z - 150 = 0. Is 14 a factor of z?
False
Let w(r) = -172*r + 74. Is w(-3) a multiple of 10?
True
Let q be 3 - (-2)/(-4)*-6. Suppose q*i - 300 = 2*i. Does 15 divide i?
True
Let v(o) = -o - 7. Let c be v(-9). Suppose c*y + 2*y = 400. Suppose 2*a = t - 50, -y = -t - t + 5*a. Is 14 a factor of t?
False
Suppose 4*f = f + 15. Let d be ((-2)/f)/(8/(-80)). Suppose 3*o - d = 86. Is 8 a factor of o?
False
Suppose 0 = -3*y - 0 + 6. Suppose -2*c + y = -c. Is 19 a factor of (-37)/(-2*1/c)?
False
Suppose m - 5*t = 31, 5*m - t + 0*t - 83 = 0. Let x = m - 9. Let w(z) = -z**2 + 9*z - 4. Does 5 divide w(x)?
True
Let x(w) = -9*w**3 + 4*w**2 - 5*w + 5. Let o be x(3). Let i = o + 317. Is 10 a factor of i?
True
Let q(r) = -14*r - 5. Let i be q(-1). Let z(y) = -y - 5. Let p be z(-8). Let f = i - p. Is 5 a factor of f?
False
Let c = -148 - -305. Let v = c + -77. Is 8 a factor of v?
True
Let c = -440 + 824. Is c a multiple of 16?
True
Let p(h) = -3*h + 7. Let y be p(-8). Suppose k = 4*c - 89, 4*k = 2*c - y - 17. Is c a multiple of 13?
False
Suppose 24 = 4*z - 0. Suppose z*u = 4*x + 5*u - 546, -5*u + 398 = 3*x. Does 12 divide x?
False
Suppose 0 = -5*y + 4*q + 298, -15*y + q - 230 = -19*y. Does 3 divide y?
False
Let z(w) = -2*w + 3. Let q be z(1). Let c(t) = t**2 - 1. Let x be c(q). Let b(o) = o**2 + o + 35. Is b(x) a multiple of 13?
False
Let b(l) = -2*l + 2. Let w be b(0). Suppose 2*s - 340 = w*x - 4*x, 0 = -3*x + 5*s + 494. Is 42 a factor of x?
True
Let m = -346 + 373. Is 2 a factor of m?
False
Suppose -7*v = -19*v + 2592. Is 12 a factor of v?
True
Suppose -4*t = h + 419 - 1249, 0 = -2*t + 3*h + 422. Suppose -t = -4*y + 2*v, -v + 63 = y + 4*v. Is y a multiple of 10?
False
Suppose 68 = 2*m + 2*m. Let i(h) = 5*h - 25. Does 13 divide i(m)?
False
Suppose n - 85 = -2*i, i + 5*n - 29 = -0*i. Suppose -2*t = t + 6, 3*y + 2*t - i = 0. Is 4 a factor of y?
True
Let t = 149 - 16. Is t a multiple of 9?
False
Suppose 358*d = 362*d - 2536. Does 15 divide d?
False
Suppose d - 5*u = 4*d, 0 = -d - 2*u + 1. Let t = -1 - d. Suppose -2*i = t - 40. Is 18 a factor of i?
True
Suppose 2*b = -2*t - 23 + 229, -2*b = t - 208. Is 3 a factor of b?
True
Suppose -4*q = 5*i - 8, 3*i - 5*q = -i + 31. Suppose -10 = -i*u + g + 12, -5*u + 23 = g. Suppose 142 = u*t - 8. Does 30 divide t?
True
Let q be -2 - (0/(-2) - 8). Let s be (-6)/(-4)*(-16)/(-12). Let d = q - s. Is 4 a factor of d?
True
Let u(h) = h**3 - 9*h**2 - 25*h - 33. Is u(14) a multiple of 8?
False
Let m = 968 - 376. Does 16 divide m?
True
Is 25 a factor of ((-864)/(-64))/(4/(-2624)*-6)?
False
Suppose 2109 = 3*w - 3*v, 69*w - 71*w + 1400 = 4*v. Is w a multiple of 46?
False
Is 14 a factor of 3867/6 + 4 - 60/(-24)?
False
Let l = -617 + 281. Let y = -211 - l. Suppose 3*i - y + 41 = 0. Does 14 divide i?
True
Let h be (-3 + 4)*(0 + 2). Suppose n - 3 = h. Suppose 188 = n*p - 347. Is p a multiple of 19?
False
Let v(r) = -186*r - 10 + 174*r + 3. Is v(-6) a multiple of 10?
False
Suppose -1 = 3*o + 5, -5*o - 26 = -4*n. Suppose 3*s - 38 + 7 = -n*y, -2 = -2*y. Is 9 a factor of s?
True
Let i(y) = y**3 - 13*y**2 + 3. Let o be i(13). Suppose o*w - 471 = -3*k, -3*w + 481 = -0*w + k. Suppose -42 + w = 4*j. Does 15 divide j?
True
Let p = 0 - -2. Suppose 4 = -2*n - p*n. Is n/(-1*(-2)/(-112)) a multiple of 14?
True
Suppose 0*y - 6*y = 0. Suppose 3*l - 85 = -y*v - v, -2*l - 354 = -4*v. Is v a multiple of 28?
False
Suppose u = -u + 80. Suppose 40 = -4*w - u. Let l = w - -44. Is l a multiple of 8?
True
Suppose 3*b = -p - 4*p - 6, -b - 2 = -5*p. Suppose 5*c - 4*c - 2*s - 1 = p, 4*c + 2*s + 16 = 0. Is c/(-6)*62 - -3 a multiple of 17?
True
Suppose 2*p + 38 = 2*y, 1 - 4 = 3*p. Let n = 69 - y. Does 16 divide n?
False
Let y(d) = 31*d**2 + 11*d - 17. Does 12 divide y(-6)?
False
Let y be 270/50 + (-2)/5. Suppose -3*g - 4 = 4*w, 3*g - y*g = -w - 12. Does 4 divide g?
True
Let x = -10 - -10. Suppose x = l - 5*b - 33, -2*l = l + 4*b - 118. Does 19 divide l?
True
Is 4 a factor of 31438/143 - (-2 + 72/39)?
True
Suppose 4*k + 10*p - 540 = 9*p, -4*p + 405 = 3*k. Is k a multiple of 9?
True
Let d(n) = 132*n**2 + 3*n + 3. Is 82 a factor of d(-1)?
False
Let h(g) = -g**3 - 16*g**2 + 16*g - 15. Let l be h(-17). Suppose 5*m + 2*k = 270, l*m - 119 + 11 = 2*k. Does 25 divide m?
False
Suppose -2*m + 916 = 5*b, -2*b + 1123 = 4*m - 677. Is m a multiple of 14?
True
Suppose -21*b + 50470 = -1400. Is 65 a factor of b?
True
Suppose -3*x = -16 + 10. Suppose -p - 40 = -x*s + 23, 4*s - 123 = 5*p. Is 12 a factor of s?
False
Let s = 832 + -668. Is 15 a factor of s?
False
Let j = -248 + 479. Does 11 divide j?
True
Suppose -s + 7*a - 4*a - 37 = 0, -2*a - 148 = 4*s. Let t = -9 - -68. Let w = s + t. Is w a multiple of 11?
True
Let k(d) = -2*d - 26. Let w be k(-10). Let o(j) = -j**3 - 4*j**2 + 6*j - 1. Is o(w) a multiple of 8?
False
Suppose -4*d - 22 = -z, 4*z - 8*z - 2*d = -106. Let k = 52 - z. Is k a multiple of 10?
False
Suppose 11*q + 19 = 63. Suppose 2*v = i - 359, q*i - 688 = v + 720. Is i a multiple of 41?
False
Suppose 0 = -33*j + 49501 + 12407. Is j a multiple of 32?
False
Suppose 5*c - 484 - 241 = 0. Is c a multiple of 5?
True
Let a = 45 + -45. Does 5 divide 45/2*(2 + a)?
True
Suppose -6640 = -12*y - 71*y. Is y a multiple of 8?
True
Let y(n) = 1804*n - 13. Is y(1) a multiple of 59?
False
Let t(i) = -6*i + 1. Let o be t(-4). Suppose -n + 6*n = o. Is 12 a factor of (n - -7)*(0 + 2)?
True
Let b = -22 - -25. Suppose h + 303 = o, 913 = b*o - 0*h - 5*h. Does 54 divide o?
False
Let a(b) = -3*b - 7. Let k be a(-4). Suppose -5*t = 3*d - 142, -d + k*t = -46 - 8. Does 13 divide d?
False
Let y(i) = 137*i**3 - i**2 + 4*i - 12. Does 32 divide y(2)?
True
Let k = 909 - 485. Is k a multiple of 53?
True
Let s(v) be the first derivative of 5*v**3/3 - v**2/2 + 6*v