5 - (-10)/45?
False
Suppose o + 33 = -2*a, -4*o + 2*o - 2*a - 66 = 0. Let d = o - -43. Suppose -4*f + d = -5*i + 155, -4*f = -20. Is 14 a factor of i?
False
Let k = 35 - 31. Let r be (-3)/k + 11/4. Suppose r*x + 45 = 279. Is x a multiple of 18?
False
Let p = -8 - -23. Suppose -3384 = -p*w + 1446. Is w a multiple of 14?
True
Suppose 52*k = 122*k - 232330. Does 56 divide k?
False
Let o be ((-190)/8)/(2/(-24)). Let d = 3697 + -3848. Let q = o + d. Is 25 a factor of q?
False
Suppose -48 = o - 53. Suppose -44 = -n - o*j + 40, 2*n - j - 168 = 0. Is 2 a factor of n?
True
Let w = 1795 + -193. Is 9 a factor of w?
True
Let f(b) = -40 + 16*b + 33*b + 83*b - 8*b. Does 44 divide f(6)?
True
Suppose -b + 0*b - 2 = 0. Let f(y) = 36*y**2 + 2*y. Let p be f(b). Let d = -80 + p. Is 10 a factor of d?
True
Suppose -660 = -c - f + 7714, -c = -4*f - 8349. Does 134 divide c?
False
Does 7 divide (-132)/396*(-1)/3 - (-93490)/18?
True
Suppose 8*k - 243 = 3*k - h, 3*k - 138 = 2*h. Let c = k - 56. Does 15 divide (153/6)/((-4)/c)?
False
Let j = -2414 - -13703. Is j a multiple of 71?
True
Let a(d) = -8*d - 1. Let u be ((-2)/10)/(10/50). Let k be a(u). Does 14 divide (k/2)/((-4)/(-16))?
True
Let h = -4572 - -6462. Suppose 10*k - 4*k = h. Is 35 a factor of k?
True
Does 134 divide 4/(-22) - (218103/(-33) + -5)?
False
Let n = 310 - 161. Suppose -131 = -4*t + n. Is 10 a factor of t?
True
Let g(f) = 19*f**2 - 124*f + 1495. Is 86 a factor of g(31)?
True
Let y = -19 - 0. Let h(i) = -i + 11. Let r be h(y). Suppose 0 = -2*t + 32 + r. Is 31 a factor of t?
True
Let g(b) = 7119*b + 5676. Is g(8) a multiple of 307?
True
Let c(j) = 2*j - 91. Let u(f) = -3*f + 183. Let v(s) = 14*c(s) + 6*u(s). Is v(29) a multiple of 13?
False
Let r(k) = -k**3 + k**2 + 8. Let c be r(-6). Suppose 1216 - c = -4*j. Let z = j + 419. Does 18 divide z?
True
Let a(d) = 2 + 489*d - 608*d + 7 + 6. Is a(-9) a multiple of 44?
False
Suppose 20*s - 177 = 3. Let d(c) = 12*c - 93. Is 5 a factor of d(s)?
True
Suppose -2*v + 3*r - 22443 = -110355, 5*r = 4*v - 175818. Is 9 a factor of v?
True
Is 8 a factor of (577/3)/(-3*(-35)/315)?
False
Let s(q) = -8*q**3 - 7*q**2 - 7*q - 8. Let v be s(-4). Suppose -19*f = -14*f - v. Suppose x + f = 2*l, -2*l - 2*x = -4*l + 86. Is l a multiple of 8?
False
Suppose -149 + 51 = -4*m - 2*p, 5*m - 136 = 2*p. Let i = m - 22. Suppose -2*n - n = -i*d + 147, -2*d + 3*n = -75. Does 9 divide d?
True
Suppose 7*l + y = 11*l - 20, 3*y = -5*l + 25. Suppose a = -5*q + 3146, -l*q = -3*a - 1920 - 1242. Is 30 a factor of q?
True
Let m(i) = i - 3. Let w be m(7). Suppose -5*l = -r - 6567, -5244 = -w*l - 2*r - 2*r. Is 43 a factor of l?
False
Let s(x) = -120*x + 1427. Is 12 a factor of s(-8)?
False
Suppose 15*q - 23*q = 184. Is ((-4)/5)/(((-253)/(-6380))/q) a multiple of 29?
True
Let m = -26505 + 44365. Is m a multiple of 275?
False
Suppose 0 = -21*v - 60*v + 25617 + 1723983. Is v a multiple of 160?
True
Is 50/32*4612 + 1 + 12/16 a multiple of 53?
True
Let x = 13783 + -8207. Does 8 divide x?
True
Let a(v) = -2*v**2 + 22*v + 4. Let d be a(11). Suppose -d*s + 0*s = 180. Let r = s - -52. Does 5 divide r?
False
Is 66 a factor of 0 + (-2784127)/(-92) - 2*1/8?
False
Suppose 39*q = 44*q + 3*p - 1443, -p = 2*q - 577. Suppose 70*o = 73*o - q. Is o a multiple of 24?
True
Is 103 a factor of (-18)/(-6)*(-38 - -13803)?
False
Let g(q) = -q**3 - 15*q**2 - 23*q + 44. Let k be g(-13). Suppose 5*y + 5*z = 530 + 475, -605 = -3*y - k*z. Is y a multiple of 43?
False
Let n(f) = -14*f - 44. Let m be n(-11). Suppose 6*l = 854 - m. Does 31 divide l?
True
Suppose 47*v - 49*v - 909 = -k, -3*v = -6. Does 7 divide k?
False
Let f = 197 - 330. Let p = f - -186. Suppose 3*v - 283 = -5*u, -2*v - 1 - p = -u. Does 14 divide u?
True
Let g(n) = 2*n**3 - 6*n**2 - 8*n - 2. Let d be g(6). Suppose -6*w + 313 = -5*w + 4*h, -4*w = -3*h - 1290. Let m = w - d. Does 31 divide m?
True
Suppose -3786 + 3741 = -9*c. Let h(q) = 7*q**2 - 7*q - 7. Let r(g) = -20*g**2 + 21*g + 21. Let n(v) = 17*h(v) + 6*r(v). Is n(c) a multiple of 15?
False
Suppose -40007 = 133*c - 421584. Is c a multiple of 7?
False
Let v = -32633 + 48957. Is v a multiple of 53?
True
Let n be 4*((-1 - 2)/6)/1. Let s be (5 + n)/(3/(-87)). Let g = -50 - s. Is 37 a factor of g?
True
Let f = 69 + -67. Suppose 0 = 3*i + i + 2*p - 580, 0 = -f*i - 4*p + 296. Is 12 a factor of i?
True
Let b(f) = -3*f**3 - 8*f**2 - 3*f + 4. Let l be b(-3). Let o(v) = v**2 - 23*v + 54. Is o(l) a multiple of 20?
False
Let y = 9394 - 5134. Is 142 a factor of y?
True
Suppose 0 = 2*q - 0*q, -10 = -2*f - q. Suppose l - 114 = -5*s, l - 124 = 2*s - f*s. Does 11 divide l?
False
Let d(n) = 132*n**2 - 6*n + 32. Is d(8) a multiple of 53?
False
Suppose 4*l + 14*q - 12*q - 26 = 0, 4*l = 2*q + 6. Suppose 3*z = l*b + 670, b = 6*z - 2*z - 902. Suppose 9*s - z = -46. Does 20 divide s?
True
Let s(m) = -m**3 - 7*m**2 + m + 10. Let o be s(-7). Suppose 0 = o*k + 4*x - 37, -4*k - 2*x = -3*x - 81. Does 3 divide k*(0 + (-3 - -4))?
False
Let y be (-16)/10*70/(-28). Let x be 3*y/(8/622). Is 13 a factor of ((-30)/(-35))/(-3) - x/(-7)?
False
Let p = -84 - -82. Let c be (p*94/(-8))/(1/(-2)). Let s = c - -161. Is 38 a factor of s?
True
Suppose 2*q + 12 = -4*a, -6*a - 12 = -5*q - 2*a. Suppose 0 = -5*l - 20 - q, -l = -2*y + 142. Is y a multiple of 18?
False
Let j(q) = -q**3 - 8*q**2 - 9*q - 7. Let d be j(-7). Suppose -d = a - 10. Suppose a*r = 88 + 44. Is r a multiple of 22?
True
Suppose 9*y - 8 = 19. Suppose y*b = x + 83, 0*x - x + 47 = 2*b. Is b a multiple of 12?
False
Suppose -6*m - 499 = 305. Let w = -134 - m. Does 22 divide (4 - (w/2 + -172))/1?
True
Is 14 a factor of 1514 + -2 + (6 - (4 - -2))?
True
Let j(r) = r**3 + 4*r**2 - 2*r + 2. Let w be j(7). Let l = -247 + w. Is 14 a factor of l?
True
Let g = -24452 - -44164. Does 14 divide g?
True
Let q = 54 - 54. Suppose 3*n - 5*n + 20 = q. Is 352/n - (-24)/30 a multiple of 9?
True
Let b(y) = -66*y - 64. Let a(i) = 33*i + 33. Let q(m) = -5*a(m) - 3*b(m). Is 38 a factor of q(13)?
True
Let i(j) = -162*j + 167*j - 47 - 9. Is 4 a factor of i(20)?
True
Suppose 0 = -2*x + 6*x - 48. Suppose 4*f - x = -1140. Is 7 a factor of (f/12)/((-3)/6)?
False
Suppose -5*f - 3 = 3*z - 2*z, 5*z + 5*f - 45 = 0. Suppose -z*o + 5*o + 1890 = 0. Is o a multiple of 10?
True
Let n(u) = -u**3 + 7*u**2 + 6*u - 12. Let k be n(5). Let p = k + -216. Does 19 divide 4/((-16)/p)*1?
False
Let a be (-45)/(-10) - ((-3)/6 - -1). Suppose 2*h = -4*t + 12, a*h = -4*t - h + 6. Is 8 a factor of (-270 - 18)*(-2)/t?
True
Let o(t) = 288*t - 45. Let v(w) = -9*w - 266. Let k be v(-30). Is o(k) a multiple of 13?
False
Let m(v) = -4*v**3 + 20*v**2 - 57*v - 102. Does 66 divide m(-10)?
True
Let l be (-4)/38 + 179191/(-703). Let d = l + 516. Is 21 a factor of d?
False
Let s(g) = -g**3 - 5*g**2 + 2*g - 13. Suppose 0*d = -5*d - 30. Let h be s(d). Suppose -4*u = -h*u + 294. Does 5 divide u?
False
Let l(x) = -x**2 + 136*x + 1737. Is 3 a factor of l(94)?
True
Let w = -1831 + 2153. Is 46 a factor of w?
True
Let v(o) = -185*o - 1. Let q be v(-1). Suppose -4*n + q = 9*b - 4*b, 0 = 2*b. Is n even?
True
Let z = 6166 + -5299. Does 51 divide z?
True
Does 26 divide (2820/160 - 18) + (-47427)/(-8)?
True
Let t = 111483 - 79145. Is t a multiple of 37?
True
Let t be 44/66 + 40/(-6). Is 9 a factor of t/(61/21 - (12 + -9))?
True
Suppose 52*h + 312 = 416. Suppose -m - 3*t + 1236 = 2*m, -2064 = -5*m - t. Suppose -5*k - h*k = -m. Is 6 a factor of k?
False
Suppose -2*d - 4*t - 8 = 0, t = 5*d - 2*t + 72. Does 10 divide -8 + (-5 - d) - -21?
True
Let o(f) = 3*f**3 - 16*f**2 - 2*f + 37. Let c be o(-6). Let b = 1840 + c. Is b a multiple of 19?
True
Suppose -5*i + 10*i + 4*m - 334 = 0, 5*i = -3*m + 338. Let a = i + -40. Suppose 18 = -24*d + a*d. Is d even?
False
Suppose -5*j = -3*a + 1974, -12*a + 5*j + 658 = -11*a. Does 47 divide a?
True
Let m = 3468 + -1105. Is 139 a factor of m?
True
Suppose 1482*o + i = 1486*o - 150623, -2*o + 75309 = -i. Is o a multiple of 318?
False
Suppose -200 = 7*z - 3*z. Let d = z + 55. Is -2*d/(-15) + (-380)/(-6) a multiple of 16?
True
Let t = -32557 + 37639. Is 2 a factor of t?
True
Suppose 4*a = -2*f + 810, 0*a - 3*f = 3*a - 612. Suppose -y + 0*y = 4*c - 105, -c - a = -2*y. Does 12 divide y?
False
Let s be 22/(-77) + 4/14. Suppose -2*o = -0*q + 3*q + 16, -