5 - (-18872)/70. Suppose 0 = -6*o + 5*o + i. Is o a multiple of 9?
True
Suppose -19*m = -6*m - 936. Suppose -m = 4*i - 252. Is 2 a factor of i?
False
Suppose -12651 - 253 = -12*u + 54104. Does 14 divide u?
False
Suppose 3*o + 2643 = -x, -5*x + 2661 = -0*o - 3*o. Is (o/2)/((-9)/6) a multiple of 49?
True
Let z(t) = 7*t - 8. Let d be (-49)/(-7) - (1 - -1). Let w be z(d). Suppose 12*l = 9*l + w. Is l a multiple of 3?
True
Suppose -23*u = -7*u. Suppose s + r - 93 = u, 0 = 31*r - 35*r + 12. Is 3 a factor of s?
True
Suppose -5*q + m = 3*m - 9, m = 5*q - 18. Let x be 6/(-3)*(-2 - q). Suppose -102 = x*g - 312. Is 21 a factor of g?
True
Suppose 18 = 3*m + 39, f - 3*m - 11937 = 0. Is 36 a factor of f?
True
Let t(o) = -2*o**3 + 4*o**2 + 4*o - 9. Let n be t(4). Let p = 19 - n. Does 4 divide 5/(-15)*p*-3?
True
Let j be 445 + 9 + (2 - 12/3). Let f = j + -317. Does 7 divide f?
False
Suppose -3*q - 5*t - 21727 = -115208, 8 = 4*t. Does 45 divide q?
False
Suppose -103 = -4*v - 67. Let j = v + -8. Suppose 0 = 3*o - 238 + j. Does 11 divide o?
False
Let j = 6646 - 3606. Is j a multiple of 46?
False
Let i(q) = 55*q**2 - q + 2. Let g be i(-2). Let a(t) = 2*t**2 - 16*t - 9. Let v be a(8). Does 2 divide 3/v + 1 + g/24?
True
Suppose k = 4*u + 58, -5*k - 14*u + 16*u = -254. Suppose d = -d + 6. Suppose -5*g = -5*h - k, d*h = g + h - 8. Is g a multiple of 4?
True
Let q(g) = 170*g**2 + 94*g - 828. Is 84 a factor of q(12)?
True
Let q = -160 - 41. Let p = -172 - q. Does 7 divide p?
False
Suppose -u - 2 = p, -5*p + 9*p = -5*u - 12. Suppose 3*g + 1731 = p*j, -2*j + 709 = -4*g - 1023. Is j a multiple of 54?
True
Suppose -5*z + 15*z - 380 = 0. Let l = z - -220. Is l a multiple of 43?
True
Does 12 divide (-192)/((-13)/(-1365)*-10)?
True
Suppose 68040 = -18*h + 46*h. Is 5 a factor of h?
True
Let f(h) = 4*h + 40. Let g(t) = -t**2 + t + 3. Let c be g(-3). Let l be f(c). Let w(n) = 3*n**3 - 5*n**2 + 3*n - 7. Does 13 divide w(l)?
True
Suppose -31*a + 130796 + 149014 = 80170. Does 56 divide a?
True
Suppose -i - 18 + 14 = 0. Let v be (((-192)/10)/i)/((-14)/(-245)). Let y = v - 22. Does 31 divide y?
True
Suppose -b = -69 + 65. Suppose -k + 162 = 2*z, -b*z + 2*z = 3*k - 162. Is z a multiple of 9?
True
Suppose -3*l + 8 = -16. Suppose -10 = -3*k + l*k. Is 7 a factor of k/4*-14*3?
True
Let c be (-90)/24*(-36)/15. Suppose -2*k - k - c = 0, -14 = -2*b - 2*k. Is b a multiple of 10?
True
Let b = 12005 - 2957. Does 116 divide b?
True
Suppose -9*s + 5*s + 456 = 0. Let l = s + -4. Does 37 divide l?
False
Let u(g) = -197*g - 1548. Is 55 a factor of u(-14)?
True
Suppose -7624*k - 36180 = -7634*k. Is 18 a factor of k?
True
Let c be (-6 - -444)*(-2)/(-3). Suppose -4*x = -a + 5 - c, -3*x = -2*a - 214. Does 6 divide x?
True
Let u(d) = d - 3. Let j be u(-1). Let k be 2 + (-27)/12 + (-393)/j. Let b = k - -57. Does 31 divide b?
True
Let r(x) = -17*x**3 + 3*x**2 + 2*x - 2. Let a be r(-1). Suppose 0*y + 2*y - a = 5*k, -y - 3*k = -8. Is 2 a factor of y?
True
Suppose 416892 = 20*l - 251048. Does 28 divide l?
False
Let n(m) = -m**2 - 5*m - 7. Let s be n(-5). Let i = s - -129. Does 13 divide i?
False
Let g(r) = 124*r + 2 - 249*r + 2. Let n be g(-4). Suppose 321 = 4*v + 3*w, -w - 89 = 5*v - n. Does 7 divide v?
True
Let j be -3*6/30*1*5. Let y be (-1*3)/(4/(-12)). Is 9 a factor of y*(j + (-78)/(-9))?
False
Let q(l) = -19*l + 1. Let v be q(-1). Let h be 3644/v + 1/(-5). Let o = h - 118. Is 19 a factor of o?
False
Let y = -14179 - -51633. Does 122 divide y?
True
Suppose -4*o + 4*s + 13964 = 0, -817*s + 3463 = o - 822*s. Is 137 a factor of o?
False
Is 71 a factor of 5/135 + (-10428400)/(-2160)?
True
Let y(x) = -x**3 + x**2 + 4*x - 3. Let q be y(2). Let f be ((-2)/(-6))/(q/6). Is (-494)/(-3) + f/(-3) a multiple of 41?
True
Let i be (-3)/4 - 1/4. Let r(w) be the second derivative of -79*w**5/20 + w**4/6 - w**3/3 - w**2 - 323*w. Does 9 divide r(i)?
True
Is 80 a factor of (10 - -2270)/3*2?
True
Let q = -57 - -56. Let i be 1/(35/28)*(-145)/q. Suppose -64 = -4*x + i. Does 5 divide x?
True
Let c(m) = 8*m + 5. Let d be c(-4). Let f be 2*(-3 + d/(-6)). Suppose x = -f*i + i + 131, -4*x + 524 = 4*i. Is x a multiple of 10?
False
Let f(y) = 2*y**2 - 11*y + 5. Let h be f(5). Let j(m) = m + 70. Let v be j(h). Let o = v - 38. Is 8 a factor of o?
True
Let h(w) = w**3 - 9*w**2 - 41*w - 35. Let p(d) = 2*d**2 + 8*d + 7. Let q(j) = -2*h(j) - 11*p(j). Let t be q(-3). Is 13 a factor of (-1518)/(-8) - (7 + t/(-4))?
False
Suppose 14275 = 2*y + 5*m + 4271, 5*m = 0. Is y a multiple of 41?
True
Suppose 2*x - 17 = b, 4*x - 14 = -5*b + 13. Suppose 65*t - 67*t + x = 0. Is 26 a factor of (-4)/(3/((-222)/t))?
False
Let g(c) = -c**3 + 9*c**2 - 7*c - 8. Let l(b) = -b - 7. Let p be l(-11). Suppose 0 = -p*w + a + 20, -5*a + 15 + 5 = 0. Is g(w) a multiple of 9?
False
Let o(l) = 97*l**2 + 36*l + 140. Is 51 a factor of o(-7)?
True
Suppose 0 = 43*g - 47*g - 5*f + 2920, 4*f = 16. Is g a multiple of 103?
False
Let h be (-5 + 3 - 0)/(6/147). Let a = h - -46. Is 19 a factor of 1/a + -2 + 1336/12?
False
Let g = -1525 + 2685. Is 14 a factor of g?
False
Suppose -3558 = -u + m, 8*m - 4*m + 10677 = 3*u. Let l be u/75 + 4/(-10). Suppose -5*h = -13 - l. Does 4 divide h?
True
Let y = -27 + -43. Suppose 4*d - 468 = 4*z, 3*d + 3*z = -2*d + 545. Let v = d + y. Is v a multiple of 10?
False
Let l(k) = 21*k**2 - 7*k + 37. Is 9 a factor of l(5)?
False
Suppose -r = -0*r - 16. Let i be 5100/r + 0 + (-1)/(-4). Suppose -i - 101 = -3*y. Is y a multiple of 14?
True
Is (-20)/8 - (286329/(-18) - (-10)/15) a multiple of 28?
True
Suppose 0 = 5*h - 2*m - 485, 0*h + 170 = 2*h + 4*m. Is 11907/57 - (-10)/h a multiple of 5?
False
Let m = -70 + 58. Let w = m - -15. Does 21 divide -3*2/w - 384/(-3)?
True
Suppose 0 = -3*m + 2*y - 968, 11*m + 2*y = 7*m - 1286. Let a = m - -448. Is a a multiple of 8?
False
Suppose 4*a + 3*c - 25 = 0, -2*c = 5*a - 44 + 4. Suppose a*n - 11302 = -3802. Is 50 a factor of n?
True
Let j = 7699 + -1339. Is 20 a factor of j?
True
Suppose -2*f - 75*f + 1550422 = 585381. Is 157 a factor of f?
False
Let l(o) = -o**2 - 17*o + 18. Let k be l(-18). Is -5 + 263 - (-3 - k) a multiple of 8?
False
Let u(z) = z**2 - 10*z + 11. Let a be u(9). Let t(f) = 7*f - 14. Let v be t(a). Suppose v = -8*c + 149 - 37. Is 7 a factor of c?
True
Does 7 divide ((-18)/(-54))/(1/4950)?
False
Let s(q) = 4*q - 8. Let j be s(5). Suppose j*n - 3504 = 1608. Is 23 a factor of n?
False
Let w = 577 + -575. Suppose 0 = -15*q + w*q + 6877. Is q a multiple of 24?
False
Let m(b) = b**2 + 11*b + 38. Let z be m(-8). Suppose z*w = -23*w + 27676. Is 22 a factor of w?
True
Let a(k) = 2*k + 42. Let w be a(-11). Suppose -w*c + 15 = -17*c. Does 2 divide c?
False
Suppose -104 = -4*j + q, -2*q = 2*j - 4*q - 58. Let h(t) = t**3 - 23*t**2 - 28*t + 122. Does 12 divide h(j)?
True
Let x(f) = -f**3 - 11*f**2 + 13*f + 14. Let q be x(-12). Suppose 4 = q*k, 2*k - 192 = -3*j - 26. Is j a multiple of 5?
False
Let v = -42 + 47. Suppose 4*f - l + 878 = 0, 0 = 5*f + v*l + 1481 - 371. Let w = 352 + f. Is 7 a factor of w?
False
Suppose -29*q + 34*q = -35. Let s(r) = -r**3 - 10*r**2 - 5*r + 17. Let l be s(q). Let c = -64 - l. Is 4 a factor of c?
False
Suppose 7*o + 5534 = -4665. Let f = o - -2155. Does 20 divide f?
False
Suppose -2 = -9*d + 8*d. Suppose -d*j + 37 + 21 = 0. Does 4 divide j?
False
Let w be ((-4)/(-12))/(30867/(-6174) + 5). Let a = w + -329. Is a a multiple of 14?
False
Suppose -2*m = -5*m + 738. Let z(h) = 2 + 247*h - m*h - 9. Is 2 a factor of z(20)?
False
Suppose -4*f + 913 = -5*g, 0*g - 3*f = -g - 176. Suppose 0*i + 375 = -3*i - b, i + 2*b + 125 = 0. Let a = i - g. Is a a multiple of 21?
False
Is 137 a factor of (14 - 11)*(6 - 119439/(-27))?
True
Let d(r) = 20*r - 14. Suppose -v = 4*w - 6*v - 27, 3*v + 15 = 2*w. Suppose 5*m = w*c - 31, 23 = 4*c - c - m. Is 38 a factor of d(c)?
False
Let m(t) = 11*t - 4*t**2 + 12*t + 5*t**2 - 8*t + 33. Suppose -51 - 238 = 17*u. Is 8 a factor of m(u)?
False
Let l be 263 - -2 - (-1 + 7 + -3). Let w = l + -61. Does 6 divide w?
False
Suppose 3*r = -12, -2*r + 63132 = 8*w - 3*w. Is 82 a factor of w?
True
Let x = 140 + -65. Suppose 0 = x*q - 82*q + 371. Is q even?
False
Let b be -47*1 - (-4 - 0). Let f = -34 - b. Does 17 divide ((-6)/f)/(-1) - (-355)/3?
True
Let q = -3745 + 4824. Does 5 divi