h a prime number?
True
Let a be ((-204)/8 + 2)*6. Suppose -9*i = -16*i - 1708. Let s = a - i. Is s a prime number?
True
Let p be 2/(-15) + 352/(-60). Is (3932/p)/((-46)/69) a composite number?
False
Let s(a) = a**3 + 10*a**2 - 12*a - 16. Let q be s(-11). Let i = 10 + q. Is (-1)/i + (-5838)/(-15) a prime number?
True
Let s(o) be the second derivative of -15*o**3 - 23*o**2/2 + 18*o. Is s(-12) a prime number?
False
Suppose 3*k - 1761 = 696. Suppose 4*o - k = -167. Is o a prime number?
True
Let f be (-9)/(-45) - (-1409)/5. Is 3 + (4 - 2) + f a prime number?
False
Suppose -3*h + 0*b + 16675 = -2*b, 5*h - 3*b = 27791. Is h prime?
True
Let k(j) = 14*j**2 - 45*j + 35. Is k(39) a prime number?
False
Let d = 7574 + -5325. Is d prime?
False
Let a(r) = 10*r**2 - 27*r - 9. Let s be a(-11). Suppose 3*f - 4*c - 1041 = s, 2*f - 1696 = 2*c. Is f prime?
True
Let a be (-6)/4*(-468)/(-27). Let z = -19 - a. Suppose -2*p = -z*p + 1570. Is p a composite number?
True
Let p = 80 - -1385. Is p composite?
True
Suppose 4*x - 24 = 8. Suppose -5*h + x*h = 9. Suppose 445 = 2*o + h*o. Is o a prime number?
True
Let j = 4957 - -780. Is j a composite number?
False
Is -1*2/7 - (-5738931)/791 composite?
True
Let h be 22 + -6 + 3 + 1. Let p = 20 - h. Suppose -8*q + 5*q + 1131 = p. Is q composite?
True
Let j = -16 - -19. Let r(o) = -3*o + 2*o**3 + 4*o**2 - j*o**3 + 10 - 3 + 4*o**3. Is r(4) prime?
True
Let y be (-1 + -743)*10/(-15) - 4. Let q be -2 + 2 + 1*707. Let v = q - y. Is v a prime number?
False
Let b(m) = 85*m + 20. Let s be b(16). Suppose 4*f - 4*c - s = 0, 0 = 3*f - 2*c - 0*c - 1031. Is f a composite number?
True
Suppose 0 = -25*o + 22*o + 5541. Is o prime?
True
Let w(o) = 297*o**2 + 3*o + 1. Let u(l) = l**2 + 8*l + 12. Let a be u(-4). Is w(a) prime?
False
Let t(g) = 2 + 3 - 12*g - 8*g. Let p be (3 - -4)*(-1)/1. Is t(p) prime?
False
Suppose z + 36*z - 4297661 = 0. Is z a composite number?
True
Let w(d) = d + 9. Let x be w(-7). Suppose 23 = x*v - 9. Is (9352/v)/((-2)/(-4)) a prime number?
False
Suppose -4*i - i + 2410 = 0. Let k = i - -269. Is k composite?
False
Let a(x) = -32*x - 5. Let i be a(5). Let h = i + 328. Is h prime?
True
Let m(k) = -566*k + 11. Is m(-3) a composite number?
False
Let d(z) = z**3 - z**2 + z - 56. Let q be d(0). Let i be 3 + 1 + q - 4. Let w = i + 82. Is w composite?
True
Let d = -1565 - -6542. Let m(v) = v**3 - 5*v**2 + v - 6. Let z be m(5). Is (z/(-3))/(3/d) a prime number?
False
Let c(v) = 3*v**2 + 8*v - 10. Let x be (3/(-1))/(2/(-4)). Suppose -7*j + x*j = 8. Is c(j) a prime number?
False
Suppose 3 - 4 = s. Is (-161)/s - (1 - 1) composite?
True
Let d = -1109 - -2215. Suppose -d - 948 = -2*z. Is z a composite number?
True
Suppose -4*r = 2*l - 0 - 6, -2*r = -4*l - 28. Let u(h) = 4*h**2 + 3*h + 9. Is u(r) prime?
False
Is (-2034143)/(-1593) + 2/27 prime?
True
Let s = 53 + -35. Suppose 0*v - u - 8 = 2*v, s = -v + 3*u. Is 5 + (-3)/v*-2 composite?
True
Let i = 1571 - -4321. Let r = i - 1603. Is r prime?
True
Let c(p) be the first derivative of -3*p**2 - 7*p - 15. Is c(-3) prime?
True
Is ((-18)/(-27))/(10/181185 - 0) a prime number?
False
Let p = 901 + 2488. Is p prime?
True
Suppose 5*b - 792821 = 12*n, 5*b + 2*n - 792770 = -3*n. Is b composite?
True
Let s(b) = b**3 + b + 1. Let l(x) = 5*x**3 - x**2 - 2*x - 3. Let v(r) = l(r) - 3*s(r). Let g be v(5). Suppose -f + 420 = -g. Is f prime?
False
Let i be 7676/12 + 2 + (-8)/12. Suppose -2*w = -i - 621. Is w a prime number?
True
Let i be (5/(1 + -2))/(-1). Suppose -2*t + 10 = 0, i*w + 0*t = 3*t + 140. Is w a composite number?
False
Is 1 - -3 - -30176 - 14/(-14) a prime number?
True
Let v(g) = -g - 13. Let m be v(-9). Let i be 2 + (-4 - -5) + m. Is 1 - (i + -179 + 4) prime?
False
Let l(p) = p**2 - 37*p + 23. Let t be l(-30). Suppose -5*s - 563 = -n, 3*n - s = t - 372. Is n prime?
False
Suppose 5*s - 18 = 457. Suppose -2*m + 5*v = -216, -5*m = -6*m - 4*v + s. Is m a composite number?
False
Let d(w) = -34*w + 41. Let o be d(-11). Suppose o = 113*v - 108*v. Is v a composite number?
False
Let z(t) = 5493*t**2 - 7*t - 5. Is z(-4) a composite number?
False
Suppose -36*l = -573466 - 282938. Is l composite?
False
Is (12 + -7)/((-20)/(-74212)) a composite number?
False
Suppose -26*x = -29*x + 18. Let w be 5*5/50*x. Suppose 1134 = w*i + u, -4*u + 1128 = 3*i - u. Is i composite?
False
Let k(h) = -h**3 + 7*h**2 - 13*h + 12. Let v be k(5). Let j(q) = 77*q**2 + 7*q + 1. Is j(v) a composite number?
False
Let f = 132 - 110. Let j(o) = 2*o**2 + 7*o + 71. Is j(f) a prime number?
True
Let v = -5029 - -10626. Is v prime?
False
Let p(s) = 40*s**2 - 11*s + 18. Suppose y + 3*j = 13, 8 = 2*y - 0*y - 3*j. Is p(y) a composite number?
False
Suppose -2*k - 5*b + 23 = 102, -k - 38 = 3*b. Let p = k + 1752. Suppose p = s + 570. Is s prime?
False
Let h(c) = -2*c + 1. Let j be h(2). Let d(i) = -60*i**3 - 4*i**2 - i - 2. Let o be d(j). Let v = o - 1106. Is v composite?
False
Let k be (-14)/(-77) + 42/11. Suppose 12 = -3*p - k*g - 26, p + 3*g + 21 = 0. Is 367/4 + p/8 composite?
True
Suppose -17 = 4*u + 7. Let t = u - -2. Is 255 + t - (3 + -3) a prime number?
True
Let s(x) = 4*x**2 + 4*x + 25. Let l(d) = 4*d**2 + 5*d + 24. Let o(r) = 7*l(r) - 6*s(r). Is o(-11) composite?
True
Let w = 13 + -22. Let q = 78 - w. Is q a composite number?
True
Suppose -a = a + q - 597, 0 = 3*q + 3. Suppose 1314 = 3*i + 3*v, 6*v - 1310 = -3*i + 2*v. Let c = i - a. Is c composite?
True
Suppose 0 = 2*a + 17*n - 19*n - 6846, -a - 3*n = -3439. Is a composite?
True
Suppose -41*h = -28*h - 468481. Is h prime?
True
Let y(j) = 1743*j + 5. Let c be y(2). Suppose -2*d - i = -2324, 2*i - i = 3*d - c. Is d composite?
False
Suppose -3536*o = -3525*o - 140569. Is o a prime number?
False
Let y(z) = 5*z**2 - 15*z - 21. Is y(13) a prime number?
False
Let l(p) = -p - 20. Let c be l(-25). Suppose r - 2207 = -c*y, 0*r = 3*r + 5*y - 6621. Is r a composite number?
False
Let b be 8688/(-11) + (-2)/11. Let q be b/(-65) + (-4)/26. Is (-3)/(q/73)*-8 a prime number?
False
Suppose -4*s = 2*j - 3*j - 5424, -4*s - 4*j = -5444. Is s a composite number?
True
Let z = -501 + 354. Let x = z - -2962. Is x a composite number?
True
Let x(k) = -299*k. Let o be x(-2). Let z = 818 + 73. Let c = z - o. Is c a composite number?
False
Suppose -l + 17488 = -4*h - 14661, 64343 = 2*l + h. Is l a prime number?
False
Let h be 10770/4 - (-8)/(-16). Let g = 51 + h. Is g composite?
True
Suppose -3*v + 4861 = 2*r, 3*r + 1795 - 171 = v. Is v prime?
True
Let b(k) = 5*k**2 + 3*k + 27. Is b(-7) a prime number?
True
Let b = 261 + -81. Suppose 6*g - b = 294. Is g composite?
False
Let h = 144659 + -99718. Is h a prime number?
False
Let j(x) = 15*x**3 - 10*x**2 + 20*x + 18. Is j(7) a prime number?
True
Let r(y) = 5775*y**2 - 3*y + 2. Is r(1) a composite number?
True
Let x = -846 - -1523. Is x a composite number?
False
Suppose 4*k + 488 = -100. Let y = k - -241. Is y a prime number?
False
Let w(o) = -356*o - 28. Let d(k) = 534*k + 41. Let t(g) = 5*d(g) + 7*w(g). Is t(1) composite?
True
Let i(n) = -4*n**2 - 4*n + 10. Let s be i(-19). Let q = s + 2041. Is q composite?
False
Let s be 7049/(-3) + 1/(-3). Let i = s - -4632. Suppose 0 = 4*y - 6*y + i. Is y composite?
True
Suppose -4*l + 5 = b - 19, 156 = 5*b + 2*l. Suppose 27*r - b*r + 3175 = 0. Is r a composite number?
True
Let q(c) = c**3 - 4*c**2 - 6*c + 4. Let t be q(5). Let w be 1 - (-8 - (-5 - t)). Suppose -3*u - 3*n + 447 = 0, w*u - 2*n = 2*n + 709. Is u a composite number?
True
Is (14 - 17) + (-1 - 1) - -15310 composite?
True
Suppose 5*g + 46126 = 206711. Is g composite?
False
Let b(t) = -6*t - 28. Let v = -5 + 35. Suppose v = -2*o - 8. Is b(o) a prime number?
False
Suppose v - 2769 = 8624. Is v prime?
True
Let a = 23 - -5378. Is a a composite number?
True
Suppose -2*q = -40608 - 23086. Is q a composite number?
False
Suppose 5*d = c - 1, 3*d - 6 = -3*c + 15. Suppose -5*m - m - c = 0. Let t = 22 - m. Is t a prime number?
True
Let a(v) = 954*v - 19. Is a(2) composite?
False
Suppose 0 = 4*d - 2 + 18. Let z(h) = 40*h - 3. Let o(w) = 41*w - 2. Let l(a) = d*o(a) + 3*z(a). Is l(-6) a prime number?
True
Suppose 0 = 40*z - 34*z + 90. Is 9138/15*z/(-6) prime?
True
Is (-2)/3 + (274912/(-24))/(-4) prime?
False
Suppose -11*a - 50877 = -2*a. Let m = a + 10436. Is m a composite number?
Fa