alse
Let y = -92790 + 150359. Is y prime?
False
Let v = -9363 + 20614. Is v composite?
False
Let b(p) = 279*p - 3. Let m be b(1). Let v = m + -53. Is v a composite number?
False
Suppose -5*r = -5*f + 37135, -r = 3*f + r - 22281. Is f a composite number?
True
Let v(o) = o**2 - 6*o - 10. Suppose 18*r + 21 = 21*r. Let j be v(r). Is (j/2 + 1)*-106 prime?
True
Is (-2)/(-3) + 1/(-6)*-410 a prime number?
False
Suppose -w + 5 + 5 = 0. Suppose -14*o + w*o = -1780. Is o a composite number?
True
Let a be 524*(6/4 + 0). Suppose a = 5*o - 149. Let n = -108 + o. Is n a prime number?
True
Suppose 4*v + 132 = -8. Let h = v - -15. Is (-12685)/h - 3/(-4) prime?
False
Let c = 42 - 39. Suppose 0*g - 879 = -c*g. Is g prime?
True
Let k(o) = -o**2 - 13*o + 2. Let j be -1 + -13 + 5/5. Let w be k(j). Suppose -5*y - 2*f - w*f + 98 = 0, -5*f = 5*y - 95. Is y composite?
True
Is (-4)/(-7) - -485*(-20)/(-28) composite?
False
Suppose -3*k = 3*a + 276, -4*a = 3*k + 108 + 173. Let f = k + 164. Is f composite?
True
Let d = -40 - -45. Suppose d*n - 1913 = -3*g, -754 = -g - n - 119. Is g prime?
True
Suppose -2*y - y + 3244 = -2*c, -y + 5*c + 1090 = 0. Let p = y + -698. Suppose 0 = 3*r - r - p. Is r a prime number?
True
Suppose 2*k + 16 = 3*g, -14 = 2*g + g + 4*k. Let h be 8/12*15/g. Suppose -5*n + h*d + 1130 = 2*d, -n + d = -228. Is n a composite number?
False
Suppose 2*h - 4980 = -5*z + 18540, 2*z - 4 = 0. Is h composite?
True
Let g(z) = 2*z**3 - 13*z**2 - 8*z + 9. Let k be g(7). Suppose 0 = k*y - 6, -3*y + 242 - 780 = -d. Is d composite?
False
Suppose 0 = 12*n - 19615 - 121709. Is n prime?
True
Suppose -1961 = -l + p + 1148, -12432 = -4*l + 5*p. Is l a prime number?
False
Suppose 1736931 = 9*x + 42798. Is x a composite number?
True
Let b = -40 + 40. Suppose b = -12*a + 7*a + 1910. Is a composite?
True
Suppose -20 = 8*h - 3*h. Is (-1114)/h*(5 + -3) a prime number?
True
Suppose 3*n = 4*h, 5*n - 2*n - h = 0. Suppose n = -o - 3, r + r - 3577 = -3*o. Is r a prime number?
False
Let k be 0/(1 + (4 - 3)). Let z(s) = -s**3 + 5. Let x be z(k). Suppose -2*r - 3*r = -3*u + 361, -20 = -x*r. Is u composite?
False
Suppose -79 + 27 = 4*f. Let b = f - -16. Is (-531)/(-6) - b/(-6) a prime number?
True
Let i(j) = 16*j**2 + 5*j + 3. Let h(t) = -81*t**2 - 24*t - 14. Let a(k) = k - 4. Let z be a(6). Let s(n) = z*h(n) + 11*i(n). Is s(-4) composite?
True
Suppose -8*g + 13*g = 8*g. Suppose 0 = v + 5*u - 2*u - 541, g = -4*v + 2*u + 2108. Is v a composite number?
True
Let o = -654 + 1268. Let v = 1503 - o. Is v a composite number?
True
Let h = -27 + -282. Let a = 532 + h. Is a a composite number?
False
Suppose -235 = -f + 2789. Suppose -4*l = -6*l + f. Suppose -484 + l = 4*x. Is x composite?
False
Suppose z + 105 = -4*z. Let j be ((-14)/z)/(4/978). Suppose -135 = -2*w + j. Is w composite?
False
Suppose -5*x - 6*x = -407. Is x a composite number?
False
Suppose -2*r + 3*y + 7711 = 0, 2*y + 3838 = r - 3*y. Is r a prime number?
True
Suppose 11*t - 23716 = 26455. Is t a composite number?
False
Suppose x - 4*d = 4*x - 830, -4*d + 1104 = 4*x. Let a = 1167 - 562. Let o = a - x. Is o composite?
False
Let b(y) = -y**2 - 1. Suppose 0 = -3*q - 0*q - 3. Let d be b(q). Is (4/12)/(d/(-42)) a prime number?
True
Let m = 1 - -1. Suppose -m*k - 3*s + 4 = 0, -s = -3*k - 2*s - 1. Is (k - -234) + (-2)/(-1) a composite number?
True
Let l = -8724 + 12670. Is l prime?
False
Let d(f) = 175*f - 40. Let s be d(8). Suppose 4*p + 6 = 2*h, -2*h = -3*p - 8 + 1. Suppose -s = -h*z + 105. Is z prime?
True
Is 70094/(-4)*(8 - (-7 - -17)) prime?
False
Suppose 0 = -9*b + 4*b + 20. Let q(h) = 104*h - 3. Is q(b) composite?
True
Suppose 14*y - 10*y - 254588 = 0. Is y composite?
False
Suppose 7*m = 21235 - 2489. Let v = m - 901. Is v composite?
False
Suppose 0 = -12*i + 9*i - 4557. Suppose 0*k + j = 5*k + 10989, j + 4397 = -2*k. Let f = i - k. Is f prime?
False
Suppose 0 = -6*j + 3*j + 912. Suppose 4*f - 924 = j. Is f composite?
False
Let m(v) be the first derivative of 283*v**2/2 + 18*v - 10. Is m(13) a prime number?
True
Let f = -460 + 167. Let l = -506 - f. Is 5*-2*l/15 a prime number?
False
Suppose -14*j + 44 = -26. Let y be (-2)/5 + (-198)/(-45). Suppose -3*k + 5*z = -1412, y*z - 2340 = -j*k - z. Is k a composite number?
True
Let d(z) = -z**2 - 51*z - 49. Is d(-17) a composite number?
True
Let i = 54 + -52. Is i/(-9) - (-31451)/(-63)*-1 composite?
False
Suppose 6*y + 1854 = 4*k + 4*y, 2*k = -3*y + 923. Suppose 0 = 3*z + 5*s - 1718, -3*s + k - 2744 = -4*z. Is z a prime number?
True
Suppose 925 = -0*x + 5*x. Suppose 36*k - x = 31*k. Is k composite?
False
Let f = 8 + -10. Let m be (-467)/f*(-4)/(-2). Suppose 111 = -4*a + m. Is a prime?
True
Let q = -6 + 9. Suppose -3*x + 8*x = -3*b - 16, q*b + 2*x = -1. Suppose -51 + 306 = b*r. Is r prime?
False
Let u(x) = 16*x**2 - 5*x + 2. Suppose -4 = -2*s + s. Let z be (14/s - 2)*2. Is u(z) a prime number?
True
Suppose 227098 = 2*g - 4*z, 5*g = -5*z + 514700 + 53105. Is g a prime number?
True
Let a = -6471 + 15626. Is a a composite number?
True
Let n = -5044 - -7223. Is n prime?
True
Suppose 0 = -29*w + 27*w + 8. Suppose 3*b + 9005 = 4*y, -w*y + 10144 = 5*b + 1163. Is y prime?
False
Let y(t) = -719*t - 3. Let k be y(-7). Suppose 0*i + 16 = 4*i. Is k/30 - i/6 a composite number?
False
Suppose -5*k + 5*h + 620 = 0, -5*h + h - 115 = -k. Is k composite?
False
Let y = 1244 - 605. Suppose h - 443 = y. Is h a prime number?
False
Let a(v) = -7*v - 4*v**3 + 0*v**3 - 5 + 2*v**3 + v**3. Suppose -k - 7 = -n, -3*k + 4*n = -4*k + 8. Is a(k) prime?
False
Let c = 17 - 13. Suppose 3*s + c*b = 1257, 0 = 6*b - 4*b. Is s a prime number?
True
Suppose 7*t = -4*t + 22187. Is t prime?
True
Let s(g) = 486*g**2 - 5*g - 7. Is s(-4) a prime number?
True
Suppose 12*g + g - 52 = 0. Suppose -g*o = -o - 2007. Is o prime?
False
Suppose 8*n = -8*n + 52064. Is n prime?
False
Let n = 7179 + -4360. Is n a prime number?
True
Suppose 48535 = 24*k - 93473. Is k a prime number?
False
Let l = 1294 + -683. Is l a prime number?
False
Let k(x) = 6*x**2 + 35*x + 9. Suppose 7*m + c = 5*m - 47, -120 = 5*m + 2*c. Is k(m) a prime number?
False
Let u(v) = -6*v**3 - 8*v**2 - 2*v + 11. Let c be u(-5). Suppose -p + a = -a - 287, -2*p + 5*a = -c. Is p a prime number?
True
Suppose k - 4*x + 2 = -8, -2*k - 5*x = -32. Suppose 7*r - k - 15 = 0. Suppose -2*s + 2346 = 4*w, 2*s + 2487 = r*w + 724. Is w prime?
True
Suppose -2*i - 4*s + 29 = i, 3*s = 5*i. Suppose -i*l + 4*c + 2 + 3 = 0, 0 = -l - 4*c + 7. Suppose l*v - 967 = -70. Is v a composite number?
True
Let n(m) = 11 + 19*m**2 + 10*m**2 - 5*m + 2*m**3 - 32*m**2. Is n(5) a composite number?
True
Let b = 7740 - -761. Is b prime?
True
Let p(y) = y**2 + y. Let g be p(-1). Suppose 6*v - v - 25 = g. Suppose v*w = 436 + 139. Is w a prime number?
False
Suppose -108*z + 113*z + 5 = 0. Let d(y) = -2134*y + 3. Is d(z) a composite number?
False
Suppose -8*t - 2*t + 170 = 0. Suppose t*q - 18*q + 1399 = 0. Is q a prime number?
True
Suppose -15 = 3*n, 0 = -3*v + 5*v + 5*n - 23657. Is v a prime number?
False
Suppose 14*v = v + 145691. Is v a composite number?
True
Suppose 0 = -3*c + 6*c - 3219. Is c prime?
False
Let f = 53 + -47. Suppose -f*c + 778 = 16. Is c a prime number?
True
Let j(a) be the first derivative of -a**4/4 - 7*a**3/3 - 2*a**2 + 3*a + 7. Let y be j(-6). Is (9/(-6))/(y/1884) composite?
True
Suppose -1304 = 3*p - 479. Let k = -433 - p. Let d = k - -657. Is d prime?
True
Let k = -17100 - -24139. Is k a prime number?
True
Let b = 529 + -174. Suppose -q + 92 = -b. Let o = -108 + q. Is o prime?
False
Is (34070/(-25))/(49/(-35) - -1) a composite number?
False
Let j(u) = 8052*u**2 + 7*u - 6. Is j(1) prime?
True
Is 12/9 - 9/((-270)/3260630) composite?
True
Let s be (-15)/(-9)*3 - 2. Suppose -12 = -u - s*f, -u = -6*u - 4*f + 38. Suppose -c + u = c. Is c a prime number?
True
Let v = 380 + -138. Suppose -2*n + 2*x - 3*x + 116 = 0, 3*x = 4*n - v. Is n a composite number?
False
Let r(j) = j**2 + 10*j + 5. Let a be r(-10). Suppose 5*f = 3*y + 12, a*f + 3*y = -y + 19. Suppose -f*d + 418 = 4*v, -v - 2*d - 3*d = -113. Is v prime?
True
Suppose -15 + 10 = -l. Suppose -10*n + l*n = -4205. Is n composite?
True
Let q(t) = 126*t + 1. Let i = 56 - 32. Let z be (0 - 5)*i/(-60). Is q(z) a composite number?
True
Let a(y) = 4*y**2 - 22*y