x/6 a prime number?
False
Suppose 0 = -n - 113 - 109. Let q = n + 489. Is q prime?
False
Let q = 258 - 224. Is q composite?
True
Let b = 15 + -13. Suppose -10 = d - b*r - 40, 3*d + 4*r = 110. Is d/(-4)*(-6 + 2) prime?
False
Suppose 5*b - 6345 = 5*o, 5*b - 6341 = -9*o + 15*o. Is b a prime number?
False
Let v(p) = 10*p + 13 - 110*p - 38*p. Is v(-8) prime?
True
Let n(w) be the third derivative of w**6/120 + w**5/60 - 7*w**3/3 - 5*w**2. Let b be n(0). Is ((-1730)/3)/(b/21) prime?
False
Let x be ((-11442)/(-10))/3 - (-2)/(-5). Is x - 5/((-5)/(-4)) composite?
True
Let g(m) = -104*m - 5. Let k be (-1 + -2 + 3)*1. Suppose -5*h + b + 2*b - 19 = 0, k = 5*h - 4*b + 22. Is g(h) composite?
True
Let u(q) = -5*q**3 + 5*q**2 + 3*q + 4. Let s be u(-3). Let r = -80 + s. Suppose 0 = -5*l - 5*g + 395, 5*l - g = -r + 490. Is l composite?
False
Let g(l) = l + 29. Let z be g(-16). Suppose z*c + 423 = 16*c. Is c a prime number?
False
Let n(p) = -3*p**2 + 7*p + 6. Let q be n(7). Let g = q - -402. Is (-2)/4 + g/4 composite?
True
Suppose 5*j + 69 - 49 = 0. Is 141 - (-12)/(-1 - j) composite?
True
Suppose 0 = -5*s + 2*r + 6813, -2*s = -0*r - 4*r - 2738. Is s prime?
True
Suppose 3*l + 73 - 1834 = 0. Is l a prime number?
True
Suppose 0 = 56*v - 52*v + 16. Suppose -2*y + 2 + 12 = 0. Is v/y - 2925/(-35) prime?
True
Suppose 304 = -m + 101. Suppose 5*v = 1520 + 450. Let l = v + m. Is l prime?
True
Is -28562*6*(-5)/60 composite?
False
Is ((-1476575)/(-20))/((-15)/(-12)) prime?
True
Suppose 0 = 3*k - k. Suppose -3*r - 14 = -4*c, -3*c - 11 = 2*r - 6*c. Suppose 4*a - 342 = 5*t - 3*t, k = r*a - 3*t - 181. Is a a composite number?
False
Suppose 5*x - 67 = -2*y, -8 = -x + 2*y + 3*y. Suppose -5*z = -5*p + 5, -5*z - 5*p = 32 + 23. Let j = x - z. Is j a prime number?
True
Suppose -37855 = -4*x + 2037. Is x a composite number?
False
Let k(w) = 1225*w**2 + 6*w - 5. Suppose -8*o - 28 + 44 = 0. Is k(o) a prime number?
False
Suppose 0 = 229*r - 233*r + 13732. Is r a composite number?
False
Let p(g) = -8*g**2 + 5*g + 10. Let i be p(-6). Let z = i - -5569. Is z composite?
False
Suppose -19*o = -15*o + 8. Is (99 - (-1 + o))/2 prime?
False
Let a(v) = v**2 + 16*v + 24. Let x be a(-16). Is 10/(-3)*(-4)/(x/7443) prime?
False
Suppose 0*n + 15 = 5*n. Suppose -m - 92 = x - 340, -774 = -3*m + n*x. Is m a prime number?
False
Suppose -7930 = 9*l - 22843. Is l a prime number?
True
Let d(y) = y**2 + 5*y - 19. Let u be d(-8). Suppose 2*l - 3241 = -u*l. Is l a composite number?
False
Suppose 3*p + 5*l - 9327 = 0, -2*p + 10*l - 12*l + 6218 = 0. Is p prime?
True
Suppose -5*h + 15 = -z, -5*z + 5*h = -7 + 2. Let y = 16 - 13. Suppose y*l - z*g - 2575 + 87 = 0, g - 3325 = -4*l. Is l a prime number?
False
Is (3/(24/8))/((-1)/(-27611)) composite?
False
Let o(g) = 34*g**3 + 5*g**2 - 4*g - 2. Let p be o(6). Let y = p + -4893. Is y a composite number?
True
Let t(z) = -z**3 + 7*z**2 + 2. Let u(q) = q + 7. Let n be u(0). Let r be t(n). Suppose r*g = 240 + 158. Is g a composite number?
False
Suppose -9 = -4*h + 11. Suppose -3*q + 8*q - h*u = 2500, q - 506 = -u. Is q a composite number?
False
Let j = -57 + 80. Let w be j/((-1 - 0)/3). Let m = w - -124. Is m a composite number?
True
Let z be (-3 - (-4 - -1))/1. Suppose -d - 2*d = -h - 5639, z = -5*d + 4*h + 9403. Suppose -d = -8*f - 575. Is f a prime number?
True
Suppose 10 = -2*h + 4. Is (0 - (-1506)/h)/(3 - 5) a prime number?
True
Suppose 2*d - 7*d + 405 = 4*k, -221 = -3*d + 2*k. Suppose 4*w + d = 25. Let a = 306 + w. Is a prime?
True
Suppose -3*o + 12 = -0*o. Suppose -492 = -4*v + o*a, -3*a = 5*v - 7*a - 620. Suppose 0 = 5*u - 887 - v. Is u a composite number?
True
Suppose f = 0, -5*f - 345 + 120 = -5*a. Suppose -15*z + 12*z + a = 0. Is z composite?
True
Suppose -3*v + 2*s = -217, -2*v - 5*s = -28 - 85. Let p = 564 + v. Is p prime?
False
Let s be (-31280)/6*69/(-46). Suppose 4*w + x - 8686 = 1739, -x + s = 3*w. Is w composite?
True
Let v(b) = -4*b**2 - 5*b - 2. Let n be 74/(-12) - 3/(-18). Let u(j) = -j**2 - 1. Let g(y) = n*u(y) + v(y). Is g(-5) prime?
True
Let z(n) = n**2 - 2*n - 1. Let k = 0 + -1. Let s be z(k). Suppose 0 = s*w - 6*w + 92. Is w a prime number?
True
Let f(b) = -b**3 + 63*b**2 - 59*b + 14. Is f(55) a prime number?
False
Suppose -2*f = -901 - 57. Is (2/(-6)*f)/((-15)/45) composite?
False
Suppose 0 = -4*o + 24411 + 44953. Is o a prime number?
True
Suppose -4 = -f, -2*w - 4274 = -4*w - f. Suppose -7*v + w = -2*v. Is v a prime number?
False
Suppose 19*l - 17*l - 2954 = 0. Is l composite?
True
Suppose 0 = -2*b - 23 + 31. Suppose -1710 = -v + 5*h, h + 3485 = 2*v + b*h. Is v a prime number?
False
Suppose -22457 = -11*k - 3669. Let z = k - -139. Is z a composite number?
False
Suppose 5*o - 4*j - 80827 = 0, -1 = -j - 4. Is o a composite number?
True
Let t = 16 + -19. Let l be -1 - (-2521 - (t + 2)). Suppose l = 4*v + 27. Is v composite?
True
Suppose -6*u + 4814 = -16468. Is u a prime number?
True
Suppose 2*j - 3*u - 11541 = 0, -3*j - u + 17292 = u. Let c = -3919 + j. Is c a composite number?
False
Suppose 0 = -8*w + 4*w - 56. Let u be (-9)/21 + (-20)/w. Is u + (-2)/2 + 19 prime?
True
Let j(a) = a**3 + a - 1. Let f(n) = -4*n**3 + 13*n**2 - 10*n - 31. Let r(d) = -f(d) - 3*j(d). Is r(15) a composite number?
True
Suppose 29512 = 5*f + 1617. Suppose 3*v = 10*v - f. Is v prime?
True
Let q(l) = -138*l**3 + 13*l**2 + 11*l - 1. Is q(-5) a composite number?
False
Let c(t) = t**3 - t**2 - 5*t + 2. Let y be c(3). Suppose -8*k = -7*k - y. Suppose 3*r = -r - k*b + 321, -2 = -2*b. Is r a composite number?
False
Let z = 11208 + 2497. Is z a composite number?
True
Suppose -k + 5082 = c, 3*c + 32*k - 15228 = 35*k. Is c composite?
True
Let k = 237 - -272. Suppose o = 2*o - k. Is o composite?
False
Let i(v) = 2 - 1 + 0 - 11*v. Let d(k) = -k + 1. Let h(n) = 2*d(n) + i(n). Is h(-10) prime?
False
Suppose 17491 = 3*i + 2*h, -3*h - 1483 + 24806 = 4*i. Suppose -4*a = -k + 1965, 3*a + 2*a = -3*k + i. Is k a prime number?
True
Let c = -52 - -54. Suppose -c*v = -4*r - 1610, 2409 = 3*v - 4*r - 0*r. Is v prime?
False
Is (-3)/12 - (-1092063)/76 a prime number?
True
Suppose -3*u + 2*l = -11705, 20*u - 22*u - 2*l = -7800. Is u a composite number?
True
Let i = -14536 - -25751. Is i composite?
True
Let m(i) = -11*i - 1. Let w be m(-1). Let u be 4/18 - w/45. Suppose 4 = 5*n - 2*f - 419, -3*n + 5*f + 250 = u. Is n a composite number?
True
Let c(i) = 30*i**2 - i + 5. Is c(10) a prime number?
False
Let p be -1 + 5/(5/2). Is p + -2 + 0 + 1482 prime?
True
Let q(s) = 3*s**2 - 3*s - 21. Let b(l) = l - 1. Let f(j) = -2*b(j) + q(j). Is f(9) a prime number?
True
Let k = -161 + 316. Let v be -10*5/(50/28). Let z = v + k. Is z prime?
True
Suppose 2*s = 4*n - 113378, -42455 = 3*n + 3*s - 127475. Is n a composite number?
True
Suppose -2*v = 2*r - 26892, 5*r - 18248 = 4*v + 48937. Is r a prime number?
True
Suppose 0*c - 10928 = -4*y + 4*c, 0 = -3*y - 2*c + 8206. Is y/4*9/((-54)/(-12)) a composite number?
False
Suppose -8 = -l - l, 19880 = -3*m - l. Let c be (14/8 - 2)*m. Suppose 0 = -4*g - 85 + c. Is g composite?
True
Let d be 36/(-10)*(-15)/6. Let z = d - -10. Suppose -177 = 18*a - z*a. Is a a prime number?
False
Suppose 6*x - 7*x = 1386. Let w = x + 2032. Is w*1/2 + -2 prime?
False
Let p = 45488 + -25441. Is p prime?
True
Suppose 2*y = 4*h - 28, 0*y = -h + 4*y + 21. Suppose -18 - 7 = -h*k. Suppose k*d = 343 - 78. Is d a prime number?
True
Suppose -v + 614 = 4*r, r + 4*v + 145 = 2*r. Is r - (-1 - 0)*-4 a composite number?
False
Suppose 5*k + 4*q - 6757 = 0, 5384 = 4*k - 4*q - 0*q. Is k prime?
False
Is 6/(-2)*8/48*-18346 a composite number?
False
Let c = -4 + -3. Let r(m) = -3*m - 16. Let w be r(c). Suppose 194 = -w*h + 7*h. Is h a prime number?
True
Suppose 0 = 2*u + 4, 2*d - 547 = -2*u - 77. Suppose 4*i = -3*j + d, 5*j + 4*i = i + 395. Is j a composite number?
False
Suppose -9*s = -182 - 169. Suppose 2*j + f - 2*f - 113 = 0, -s = -j + 4*f. Is j composite?
False
Suppose -2*s - 90 = 254. Is 7/(2 - (-340)/s) composite?
True
Suppose 23 = 4*h - s, -3*s = -3*h + s + 1. Let u(l) = l**2 - 6*l - 5. Let z be u(h). Is 412/z + (7 - 10) a composite number?
True
Let g = -3781 + 7724. Is g a prime number?
True
Let i = 553 - 208. Suppose 8*s = 151 + i. Is s prime?
False
Let d = -498 + 2251. Is d a composite number?
False
Le