
False
Suppose 2*x - 8*x = -114. Let u = x - -51. Does 36 divide u?
False
Let h = 56 + -44. Let f(y) = 17*y**2 - 57*y + 64. Let g(l) = -6*l**2 + 19*l - 21. Let q(o) = 4*f(o) + 11*g(o). Does 18 divide q(h)?
False
Suppose 2*b - 8 = 0, 620 = -4*d - b + 4*b. Let l = 48 - d. Is 6 a factor of l?
False
Suppose 10 = 29*u - 48. Let c be -5*-3*(-352)/(-60). Is -2 + u - c*-2 a multiple of 22?
True
Let m = 282 + -1. Let u = 431 - m. Is 50 a factor of u?
True
Suppose 0 = -90*r + 73*r - 77*r + 590508. Does 73 divide r?
False
Let q be (16/10)/((-10)/25). Let f be 2 + -3 + q + 3. Is 7 a factor of 13 - f - (-1 + 5 - 2)?
False
Suppose -3*c + 3*p + 69477 = 0, 0 = -5*c + 12*p - 7462 + 123236. Is 74 a factor of c?
True
Suppose 0 = -2*c - 10, -4*c - 3 - 2 = 3*u. Suppose 6*y - 2*y = 16, 0 = 4*q + u*y - 200. Is 5 a factor of q?
True
Let y(t) = -4958*t - 28. Does 58 divide y(-1)?
True
Let l = -19411 - -20636. Does 49 divide l?
True
Is 4 a factor of (-250988)/(-14) + ((-51)/(-119))/((-18)/(-12))?
True
Suppose -2*i - 2417 = -7593. Suppose -6*o + i = -2*o. Suppose 3*d - 4*c - 454 = 0, 4*d - o = 3*c - 6*c. Is d a multiple of 10?
False
Let d(p) = p**3 - 28*p**2 - 96*p + 149. Is 142 a factor of d(49)?
True
Let p(s) = -19*s - 51. Let y be p(-5). Is (6/15)/(y/55330) a multiple of 8?
False
Let g(z) = 3636*z**3 - 4*z**2 - 10*z + 14. Does 18 divide g(1)?
True
Suppose 4*q + 149898 = 5*p - 57114, -165591 = -4*p - 3*q. Is p a multiple of 200?
True
Suppose i = n - 0*n + 8, -5*i + 46 = n. Suppose -13*j + i*j = -1012. Is j a multiple of 34?
False
Let x(j) = 18*j**2 - 19*j + 7*j**2 + j**3 + 3 + 4*j - 9*j + 85. Is x(-24) a multiple of 54?
False
Let p be 4*(-4 - (-28)/8). Is 39 a factor of (p + 11)*3458/114?
True
Let l = 68 + 62. Let o = l + -125. Suppose -o*n - 1608 = -13*n. Is 13 a factor of n?
False
Let w = -704 + 1383. Is 30/10*w/3 a multiple of 13?
False
Let m(w) = 11*w + 58. Let z(d) = -30*d - 174. Let s(v) = -10*m(v) - 3*z(v). Is 22 a factor of s(-4)?
True
Let h(x) = -10*x + 13. Let w(r) = 5*r - 6. Let s(k) = -4*h(k) - 7*w(k). Is 9 a factor of s(4)?
False
Suppose -3*x + 2857 + 7465 = 2*o, 4*o + 2*x = 20652. Is o a multiple of 13?
False
Suppose -19*b = -5 - 52. Suppose -8*a = -s - 6*a + 218, -b*s = a - 647. Is s a multiple of 24?
True
Suppose 6*t - 2*t + 48 = 0. Suppose 0 = -q - w - 15, 5*w + 7 = -q - 20. Is 10 a factor of 3/t - 483/q?
True
Suppose 0*x - x = -43. Suppose 144 + 197 = -11*u. Let o = u + x. Is o a multiple of 12?
True
Suppose 3*y - 17 = a + 8, 3*y - 5*a - 29 = 0. Does 53 divide 2*(-1425)/(-24) - 6/y?
False
Suppose -r - 13 = 4*i - 38, -2*r - 15 = -5*i. Suppose 3*w - 29 = -4*g - i, 0 = g + 4*w - 6. Does 6 divide (-208)/(-5) + 13/(195/g)?
True
Suppose -38*w = -33*w. Suppose -2*r + 32 = 3*z + z, r + 3*z - 21 = w. Suppose -108 = -2*p + r. Does 7 divide p?
False
Does 78 divide ((-6)/102*34)/((-2)/42432)?
True
Let b = 8604 - 134. Does 51 divide b?
False
Let p(r) = 7*r**3 + 2*r + 520. Does 26 divide p(0)?
True
Let l = -52 - -38. Let u = l + 17. Suppose -u*b = -0 - 72. Is 12 a factor of b?
True
Suppose 28*r + 28*r + 3864 = 63*r. Is 4 a factor of r?
True
Let l = 106 - 58. Suppose -3*b + 0*b = l. Does 10 divide (-156)/(-16) - 4/b?
True
Let z(n) = 2*n**2 - 85*n - 877. Let s(b) = -b**2 + 57*b + 585. Let c(v) = 7*s(v) + 5*z(v). Is 12 a factor of c(-12)?
False
Is 12/(-2) + 35/((-700)/(-394480)) a multiple of 109?
False
Is (-6866)/(-14) + (-270)/630 a multiple of 28?
False
Let k be (18/9)/(((-9)/6)/(-3)). Suppose 0*c - k*c = 2*r - 1174, -879 = -3*c - 3*r. Does 14 divide c?
True
Suppose 2*h = -13*b + 11*b + 1588, 0 = 5*h - 5*b - 3940. Let n = 139 + h. Does 5 divide n?
True
Let j = -18 - -20. Let n be (-4 + -4)*(-1)/j. Suppose -n*p = 3*p - 105. Is p even?
False
Let l(n) = -n**2 + 4*n - 1. Let h be l(3). Suppose 0 = h*j, 13 = g - 0*j + 2*j. Suppose 0 = -2*f + g + 291. Is 21 a factor of f?
False
Suppose -21*w + 2494 = -4478. Is w a multiple of 83?
True
Suppose 0 = m + 7 - 2. Let s(r) = 26*r. Let o be s(1). Let v = o - m. Is v a multiple of 17?
False
Let q be (-37 + -2)*(-128)/32. Suppose -8*j + q = -6*j. Is j a multiple of 26?
True
Let c = -449 - -370. Let g = 233 - c. Does 12 divide g?
True
Let q = -33231 + 44396. Is q a multiple of 77?
True
Suppose -9*b + 11*b + 6104 = 2*i, 3*i - 9160 = -b. Does 43 divide i?
True
Let h(p) = -1123*p + 10 - 139*p - 598*p + 2. Let w be h(3). Does 11 divide w/(-132) + 4/(-22)?
False
Suppose o = 3*j - 0*o - 17, -5*o = -4*j + 30. Let v(h) = h**3 - 2*h**2 - 34*h + 5. Let f be v(-5). Suppose -j*b + 180 = -f*b. Is b a multiple of 13?
False
Let q = -77 + 143. Let y = q - 61. Suppose -a = 3*a + 5*o - 634, -y*a = 4*o - 797. Does 17 divide a?
False
Suppose 0 = -3*v + 4 + 20. Suppose v*y - y - 238 = 0. Let i = y - 18. Does 16 divide i?
True
Let u = 943 + -391. Let t = u - 374. Does 7 divide t?
False
Let x(b) = -b**3 + 23*b**2 - b - 2. Let o be x(18). Let z be 3 + o/14 + (-12)/42. Does 15 divide (z/(-15))/(1/(-25))?
True
Let n(c) = -7*c - 119. Let u be n(-16). Let f(g) = -71*g - 31. Is 17 a factor of f(u)?
False
Suppose 2*m = -5*n + 38991, -2*n = m - 10938 - 4658. Is n a multiple of 11?
True
Let b(z) = -248*z - 378. Is b(-3) a multiple of 5?
False
Let w(g) = -2*g - 3. Let i be w(-4). Suppose 0 = -0*c - 2*c - 6, i*d = -5*c. Suppose -85 = -d*v + 104. Is v a multiple of 21?
True
Suppose -9*u + 3*g - 20 = -10*u, 0 = u - 3*g - 2. Suppose 0 = -u*d - 3*d + 4032. Is d a multiple of 9?
True
Let h(c) = 3*c - 11. Let s be h(4). Let b be -9 + ((-9)/(-6))/(s/(-2)). Does 18 divide 3/b - ((-2961)/(-12))/(-3)?
False
Suppose -5*v + 16 + 4 = 0. Suppose -v*s = 3*s + 49. Is 4 a factor of 4 + s - -4 - -19?
True
Let w be (26/(-2))/(9/(-45)). Suppose 2*q - 143 = w. Suppose 0*h - 2*h + q = 0. Is 11 a factor of h?
False
Suppose -2*s - 32 = -5*s - 4*o, 4*o - 8 = 0. Does 4 divide (1804/10)/(378/45 - s)?
False
Let g = 1333 - -3176. Is 168 a factor of g?
False
Let l be -2 - -3 - (-2 + 1). Let n be (-75)/2*l*(-5)/(-3). Let f = 323 + n. Is f a multiple of 22?
True
Let t = -2373 + 3457. Is t a multiple of 23?
False
Let d(q) = 4*q**2 + 17*q + 9. Let c = -66 - -70. Suppose -u + c = 9. Does 4 divide d(u)?
True
Is 14395/(-4 - (-210)/40) a multiple of 188?
False
Let b(y) = -6*y - 1. Let j be b(0). Let z(x) = -5*x - 2. Let a be z(j). Suppose 0 = -a*t - 1 + 145. Is 24 a factor of t?
True
Suppose -13*r + 9655 + 3445 = w, 2*r = -2*w + 2008. Is 48 a factor of r?
True
Suppose 0*u + u = 1. Let h be 70/6 - u/(-3). Suppose -h*n = -4*n - 480. Does 11 divide n?
False
Let k(s) be the second derivative of -37*s**6/720 - s**5/24 - 5*s**4/3 - 24*s. Let i(d) be the third derivative of k(d). Does 15 divide i(-3)?
False
Let t be (6/(-2))/(36/(-324)). Does 56 divide (-642 - t)*(-3)/3?
False
Let v(g) = -55*g + 10. Let f(a) = a - 3. Let j(u) = 2*f(u) + v(u). Is 4 a factor of j(-1)?
False
Let q be 45/2*1/((-5)/(-8)). Does 3 divide ((-14)/2)/(4/q*-3)?
True
Suppose 5752 - 36512 = -40*n. Does 4 divide n?
False
Let g(j) = 12*j**2 + 157*j + 7. Is 11 a factor of g(-26)?
True
Suppose 17 = 4*n + 5. Suppose -2*a - 154 = -2*h, n*h + 58 = -3*a + 265. Is h a multiple of 4?
False
Suppose 3*a = -2*o + 6844 + 39310, 0 = 5*o - 2*a - 115366. Is o a multiple of 55?
False
Let t be 214/30 + (-5 - (-584)/120). Suppose -5*c + 2*z + 5665 = 0, -5*c + t*c - 2247 = -3*z. Is 29 a factor of c?
True
Let v be 1/(-6) + (-250)/(-60). Suppose -2*b + 172 = i, -v*i + b = -2*b - 732. Does 14 divide i?
False
Let x(b) = 2*b**2 + 13*b + 44. Does 23 divide x(-3)?
True
Does 82 divide (-138726)/(-10) - 6/(-90)*6?
False
Suppose 3253 - 1196 = 11*q. Suppose 98*a = 99*a - q. Does 3 divide a?
False
Let f = -2216 - -4912. Suppose 0 = -328*p + 320*p + f. Does 33 divide p?
False
Suppose -22*z + 85393 + 422742 = -922723. Is 14 a factor of z?
False
Suppose 137*s - 484850 + 138651 = 0. Is 13 a factor of s?
False
Let c = 4044 + -2957. Is 29 a factor of c?
False
Let q(l) = -198*l**3 - l**2 - l - 7. Is 53 a factor of q(-2)?
False
Suppose 192*y - 5*q - 47287 = 189*y, 2*y - 3*q - 31524 = 0. Does 61 divide y?
False
Suppose 4 = 3*v + 4*p, -2*v + 0*v - 4*p = 0. Let l be 246*(-2)/v + -1. Let f = l + 139. Is f a multiple of 4?
False
Let a = -130 - -367. Let u(n) = -n**2 + n + 14. Let p be u(0). Suppose -s - a = -2*f, -f + p = 3*s - 122. Is 8 a factor of f?
False
Suppose -2*h - 610 