15) - (-7923)/5 a composite number?
True
Let t = 5474 + -2347. Is t a composite number?
True
Let b(p) be the second derivative of -7/2*p**2 + 0 - 2/3*p**3 + 3*p + 3/4*p**4 + 1/20*p**5. Is b(6) composite?
False
Let j be 84/(-2)*(-1)/2. Suppose 0 = -5*d + 69 + j. Let r = -11 + d. Is r prime?
True
Let r(k) = 505*k + 158. Is r(19) composite?
True
Let f be (-6567)/22 - 1/(-2). Let x = -100 - f. Let v = x + 109. Is v a prime number?
True
Let y(i) = 150*i**2 + 4*i + 3. Let h(u) = -149*u**2 - 4*u - 3. Let b(d) = 5*h(d) + 6*y(d). Let c be b(-1). Suppose c = 15*a - 13*a. Is a composite?
True
Is (-1631)/21*-51 - -6 a prime number?
True
Let v(t) = t**3 + 19*t**2 + 4*t - 10. Let u be v(-18). Suppose b - u - 309 = 0. Is b composite?
True
Let j(m) = -11*m - 1. Let g be j(-1). Suppose g*f - 480 - 1850 = 0. Is f a composite number?
False
Suppose 30778 = 3*o + 8*o. Is o a prime number?
False
Let a = 595 - 292. Suppose 2353 = 5*v + 4*x, 5*x + a + 625 = 2*v. Is v a composite number?
True
Let p = 18 + -15. Suppose d = 2*z - 479, -2*d + p*d - 1194 = -5*z. Is z prime?
True
Let p be (4*-41)/(4/(-128)). Is (0 - 6/10) + p/80 prime?
False
Let k(f) = -f**2 + 10*f + 9. Let l be k(7). Let b be 10/l - (-17)/3. Is (-11811)/(-21) + b/(-14) composite?
True
Suppose -39394 = -52*j + 50*j. Is j composite?
False
Suppose 77430 = -90*n + 120*n. Is n a composite number?
True
Let c(f) = 6*f - 11. Let s be c(16). Suppose -86*o = -s*o - 491. Is o a composite number?
False
Is ((-33)/(-22))/((-6)/(-35804)) a composite number?
False
Let p(h) = 11*h - 22. Let a be p(9). Suppose -a*s = -84*s + 2611. Is s a composite number?
False
Let f(l) = -l + 863. Let n be f(0). Let u = -385 - n. Let h = 1931 + u. Is h prime?
True
Let k(x) = 160*x + 1. Let r(d) = -d**2 + 5*d + 1. Let g be r(3). Suppose -g = -3*i - 4. Is k(i) prime?
False
Suppose 3378 = -12*d + 14*d. Is d prime?
False
Suppose -5*n = -3597 - 1458. Let o = n + -376. Is o a prime number?
False
Let d = 3063 - -3286. Is d prime?
False
Suppose 359*l - 6908 = 355*l. Is l a prime number?
False
Let f = -575 + 1002. Is f a prime number?
False
Let r(k) = 2*k + 4*k**3 - 6 - k - 6*k**2 - 2*k - k. Let s be r(5). Is ((-12)/(-4) - s)/(-1) a composite number?
False
Suppose 339641 = 7*o + 16*o. Is o a prime number?
True
Suppose 4*z + 3*o = 616 + 678, -3*z = -o - 964. Suppose 2516 = -2*d + 6*d. Let b = d - z. Is b prime?
True
Suppose 5*f = 232 + 73. Suppose -4*s = -377 + f. Is s a composite number?
False
Let l(o) = o**3 - 58*o**2 + 342*o + 5. Is l(58) a prime number?
True
Suppose -2*w - 43 = -3*d, 4*w + 15 - 6 = -d. Let g = d - -8. Is g composite?
False
Suppose -22*l + 1290674 = -166584. Is l a prime number?
True
Suppose -33*y + 44*y = 602657. Is y a composite number?
False
Suppose 4*b - 2*b = 16. Suppose b*z - 5*z = 369. Suppose 0 = f - 0*f + 4*p - z, -2*f + p + 219 = 0. Is f a prime number?
False
Let j(w) = w**2 + 6*w - 2. Let a be j(-8). Suppose -6*l - 2 = -a. Suppose -499 = -3*p + 5*v, 4*p = l*v - 113 + 769. Is p prime?
True
Suppose -4*j = -2728 - 1108. Is j composite?
True
Suppose 0 = -6*c + 1 + 11. Let k(u) = 9 - u**3 + 3*u + 6 + 9*u**c - 21. Is k(9) composite?
True
Let w = 13939 - 2112. Is w a prime number?
True
Suppose 4 = o - c, -o - 4*c + c = 0. Suppose q + o*r = 2170, r = -6*q + 2*q + 8625. Is q composite?
True
Suppose 3*s + 4*k - 81 - 53 = 0, 5*s - 3*k = 233. Let j be (s/(-3))/(2/(-3)). Suppose -w + j = -116. Is w composite?
False
Suppose 0*x + 1 = x. Let y be -1*x/2*-12. Is (20/y)/(8/36) a composite number?
True
Let r(b) = 72*b**2 - 4*b + 24*b**2 + 30*b**2 + 34*b**2 + 19. Is r(6) composite?
True
Is 1*((-39738)/(-8) - (-5)/(-20)) a prime number?
True
Suppose -10*y + 48 = -6*y. Suppose 0 = -3*j + y. Suppose -v - j*v + 635 = 0. Is v a prime number?
True
Suppose n - 3248 = -t, 0 = 2*n + 2*n + 12. Is t composite?
False
Let j be -6 + (3 - 0) - -3. Suppose -12*a + 16*a - 2836 = j. Is a a prime number?
True
Let r be 40/(-6)*6/(-5). Suppose -o = d - r + 17, 3*d = -5*o - 33. Is ((-9)/d)/((-3)/(-44)) a prime number?
False
Let x be 1/(((-1)/1249)/(-1)). Suppose -5*o - x = -4*h - 16, -2*h = 2*o - 612. Is h prime?
True
Let u(v) = v**3 - 8*v**2 + v - 6. Let l be u(8). Suppose 0 = 5*f + 4*r - 25, -3*f + 2*r - 9 = -l. Is (-54280)/(-161) + f/(-7) composite?
False
Let z = -6007 + 8766. Is z a composite number?
True
Is 8/12 - (-6290)/6 prime?
True
Let l(n) = -6*n**3 + n. Let p be l(-1). Let m = 135 - p. Suppose 10*c = 8*c + m. Is c composite?
True
Let u(v) = 2*v**2 + 2*v + 3. Let w be u(5). Let x = w + 108. Suppose -x = -3*z + 120. Is z a prime number?
True
Let c(m) = -m**2 - 11*m + 2. Let i be c(-10). Let b be (3 - 2)*(-9 + i). Suppose 0 = -b*z + 1036 + 419. Is z composite?
True
Is (18/(-15))/2 + 595792/20 prime?
True
Is (0 - -1)*(-42 - -997) prime?
False
Is -2 - (12/102 + 1860227/(-17)) a prime number?
True
Suppose 0*a - 3*a + 28278 = 2*y, -a + 4*y + 9426 = 0. Let g = a - 4591. Is g a composite number?
True
Is ((-64110)/75)/(14/(-175)) a prime number?
False
Suppose z - 4*v = 53649, -2*z - 2*z - 2*v + 214614 = 0. Is z prime?
True
Let g = 578 + -452. Suppose p + 5*h = h - 57, -300 = 4*p - 2*h. Let i = g + p. Is i a composite number?
False
Suppose 2*k - 13343 - 2809 = 0. Suppose 3*l = -0*l + k. Suppose d - l = -3*d. Is d composite?
False
Let u be 14/(-6)*-5*3. Let z = u + -191. Let g = z - -235. Is g prime?
True
Let j = 82 - 241. Let q = j - -320. Is q a composite number?
True
Suppose -236644 = -22*t - 11738. Is t prime?
True
Is 661384/30 - 1 - 56/420 a composite number?
True
Suppose 0 = 9*f - 555062 - 256783. Is f a composite number?
True
Let i(g) = 2*g**3 - 17*g**2 + 13*g + 6. Let c(d) = -d**3 + d**2 + d - 1. Let l(m) = -3*c(m) - i(m). Let b be l(-16). Let t = b - -408. Is t a composite number?
False
Suppose 2 = -2*w - 4*l + 22, 3*l = 4*w - 73. Is 21772/w + 1/4 a prime number?
True
Let z(i) = 31*i**2 - 52*i - 238. Is z(-5) a composite number?
False
Suppose -446 = 2*r + 2*h, 3*h = -4*r + 8*h - 847. Let x(u) = -17*u + 16. Let n be x(5). Let v = n - r. Is v prime?
True
Let b(s) = 27*s**3 + s**2 - s + 1. Let g be b(1). Suppose -35*o + g*o + 4907 = 0. Is o a prime number?
True
Let f be (-4)/(6/3) + (-36)/(-6). Suppose -n = -h + f*n + 467, 5*h + 5*n = 2455. Is h composite?
False
Suppose l - 4*l + 9 = 0. Let m = l + 0. Suppose -3*r + 144 = -0*r + 3*n, -n + 134 = m*r. Is r a composite number?
False
Suppose -4*j + 5 + 4 = 5*f, -j + 5*f - 4 = 0. Suppose -2*n = 3*o - 7 + j, 2*o = 4. Suppose -2*x - 3*x + 435 = n. Is x a composite number?
True
Let h = -87 + 246. Let u = h - -222. Is u prime?
False
Let p = 17 + -12. Suppose -4*o = -3*l + 38, -p*l = -5*o - l - 48. Let m = o - -885. Is m a composite number?
False
Is ((-1668269)/438)/((-2)/12) composite?
False
Suppose 24*p - 139692 = -22500. Is p a prime number?
False
Let q(y) = -3345*y - 6. Let u be q(-2). Is (2/(-16)*-2)/(3/u) a prime number?
True
Suppose 72 = 2*k + k. Let j = k + -18. Suppose -j*c + 177 = -3*c. Is c composite?
False
Let a = 600 + 1921. Is a a prime number?
True
Suppose -2*b + 35155 = 5*g, 10*g - 7*g = -2*b + 35161. Is b prime?
False
Let j be (0/1)/(2/2). Suppose 3*n = -j*n + 795. Is 1/(4 + (-1055)/n) prime?
True
Let j be (2 - -2) + -7 + 5. Suppose 3*n - 75 = j*n. Let g = 110 - n. Is g a prime number?
False
Is 443 - ((-24)/(-10))/((-80)/(-200)) prime?
False
Let r be (6/4)/((-1)/(-2)). Suppose r*g = -3*v + 6, -4*v + 6 = 5*g - 6. Is 338 - (4 + -1 + v) a composite number?
False
Let p = 1918 - 915. Suppose 0 = -2*g + p + 471. Is g composite?
True
Let j = 9 - 12. Is 2*(-3 - j - (3 - 170)) prime?
False
Let h(r) = r**2 - 6*r + 7. Let b be h(6). Let m(a) = 70*a - 17. Let s be m(-5). Is (3 - s)/(-5 + b) prime?
False
Let q(f) = f. Let a(s) = -4*s + 3. Let r(j) = a(j) + 6*q(j). Let v be r(-3). Is (-582)/(-9) + (-1)/v a prime number?
False
Suppose 3733 = 2*n - 4809. Is n a composite number?
False
Suppose -6*f + 4*f + 36 = 2*w, 3*w - 4*f - 40 = 0. Suppose -4*v + w = 4*v. Suppose -3*t + 713 = 4*g, 5*g - 233 - 660 = -v*t. Is g a composite number?
False
Let q(v) = 5*v**2 - 10. Suppose -6*s - 2*s = -40. Is q(s) a prime number?
False
Suppose 8*p - 6*p - 27979 = -3*x, 0 = 3*x - 9. Is p prime?
False
Let s(n) = -65*n + 23. Let i = 45 + -60. Is s(i) a composite number?
True
Let j = -89 + -354. Suppose -y - 289 + 45 = 0. Let h = 