e -4*q - s + 1570 = 0. Is q a prime number?
True
Suppose -3*c - 38049 - 109701 = -3*y, -c = 4*y - 196980. Is y prime?
False
Let w(b) = 1139*b - 402. Is w(7) a composite number?
True
Suppose -3 = -3*n + 2*r, 0 = -3*r + 8 + 1. Is 1574/6 + 2/n prime?
True
Let b(m) = 36349*m + 118. Is b(1) composite?
False
Let y(u) = -244*u + 37. Is y(-3) a composite number?
False
Is (-2897290)/330*(1 - 4) a composite number?
False
Let i be ((-6)/(-7))/((-12)/(-21084)). Suppose 3*g + 3*v - 1310 = 904, -4*v = -2*g + i. Is g a prime number?
True
Suppose -2*j = -4*z + 22, -3*z + 5 + 11 = -j. Suppose -u = z*m - 286, 1496 = 5*u + 5*m - 2*m. Is u a prime number?
False
Let u(h) = -74*h - 27. Let t be u(7). Is 6/(-9) - t/3 prime?
True
Suppose -5*o - 5*y = 5, -3*o - y = -3*y - 7. Suppose -4*w = -3*c + 15, 16 = w + 3*c + o. Suppose m = d + 151, -304 = -2*m + 3*d - w*d. Is m a prime number?
True
Let g(a) = 25*a**2 - 9*a - 77. Is g(20) a composite number?
False
Suppose 30*f - 1303326 = 497724. Is f composite?
True
Let j = -22 + 70. Let d = j + -132. Is (d/16 + 0)*-4 composite?
True
Suppose -8*p + 11*p = -15. Is p - (0 - 6) - (-327 - 1) a composite number?
True
Let s(m) = -38*m**3 - 6*m**2 - 11*m + 3. Is s(-8) a composite number?
False
Let i be 36/(-96) + 54/16. Suppose 2*t - i*y = 4*t - 589, 4*t - 1171 = y. Is t prime?
True
Is (-6172 - 1)/((-5)/(-20)*-4) a composite number?
False
Suppose 0 = 2*o + 4*o - 6714. Is o composite?
True
Let g(b) = b**3 + 5*b**2 - 8*b - 15. Let l(d) = d**3 + 5*d**2 - 8*d - 15. Let n(s) = 4*g(s) - 5*l(s). Is n(-6) prime?
True
Let v(z) = 45*z - 6. Let f be v(15). Let p = -190 + f. Is p a prime number?
True
Let r(l) = 88*l - 1. Let j be r(2). Let t = j - 44. Is t a composite number?
False
Let i = -73 - -78. Suppose 2*d = -6*j + 4*j + 3946, -i*d + 3*j + 9897 = 0. Is d a prime number?
False
Let b(r) be the first derivative of r**4/12 - 3*r**3/2 + 9*r**2/2 + 10*r + 8. Let g(d) be the first derivative of b(d). Is g(-7) prime?
False
Let j(g) = 82*g + 7. Let i be j(-3). Let w = -155 - i. Suppose 42 = 2*p - k, 7*k - 4*k = -4*p + w. Is p a prime number?
False
Let d(w) = w**2 + 2*w + 10. Let u be d(-6). Suppose -2*m + 35 = 2*m - 5*c, 5*m - 3*c - u = 0. Suppose z - 125 = 2*i, -z + m*i = 2*z - 376. Is z composite?
False
Suppose 5*k + 135075 = -0*k. Is (4/(-3) + 2)/((-10)/k) composite?
False
Let u(j) = j - 1. Let p be u(1). Suppose p = -0*l - l + 4. Suppose 0 = -l*q + 606 + 566. Is q a prime number?
True
Is 6/81*9*2409/2 composite?
True
Suppose 5*b - 5*v + 5 = 0, -b = -2*v - 0*v + 6. Suppose b*k = 29 + 815. Is k composite?
False
Let d be 3/(-1)*(-12)/(-9). Let s be (2 - 1) + 108 + d. Suppose -s - 460 = -5*y. Is y prime?
True
Suppose -5*v + v = 0. Suppose 4*p + 8 + 4 = v. Let y(n) = 8*n**2 - 5*n - 4. Is y(p) composite?
False
Suppose -9*k - 5115 = -30432. Is k a prime number?
False
Let k = -2505 + 576. Is -2 + (-21)/(-3) + -3 - k a composite number?
False
Is -3*(-8)/(-12) - -10563 prime?
False
Let z = -33998 + 52395. Is z prime?
True
Suppose -360 = -26*z + 8*z. Suppose z*f - 5447 = 7*f. Is f prime?
True
Suppose -11427 = -4*f - 3015. Is f a composite number?
True
Let j(h) = h**3 + 62*h**2 - 9*h + 79. Is j(-41) a composite number?
True
Suppose 6 = 13*i - 10*i. Let c be (-9)/i*4/(-6). Is (c + (-525)/(-3))/2 composite?
False
Suppose 0 = z - 3006 - 3116. Is z composite?
True
Let q = 38022 - 16173. Is q prime?
False
Is (-62747)/(-289) + 4/(-34) prime?
False
Is ((-10)/5)/((-4)/(-84306)*-3) prime?
True
Let c(r) = -11*r**3 - r**2 - 2*r + 5. Let g(j) = j**3 + j**2 - j + 1. Let h(q) = -c(q) - 4*g(q). Is h(5) composite?
False
Let u(x) = -3 - 390*x - 14 + 368*x. Is u(-8) a composite number?
True
Let n(p) = -p**3 + 13*p**2 - 12*p - 2. Let z be n(12). Let f be (z + 4)/(2/(-36)). Let i = f + 623. Is i a composite number?
False
Let d be 5 + -3 - (12/(-2))/(-3). Suppose -4*p + 0*j + 761 = -3*j, 4*j - 20 = d. Is p a prime number?
False
Let a(k) be the first derivative of -k**6/120 - 3*k**5/20 + k**4/6 + 5*k**3/6 - 2*k**2 + 5. Let g(y) be the second derivative of a(y). Is g(-11) prime?
False
Suppose -5*z = 3*x - 43, -3*z + 11 = -z - 5*x. Suppose 0*w = -2*w + z. Suppose -m = -27 - w. Is m a composite number?
False
Let u be (-106)/5*(-34 + -1). Suppose -930 = -c + j + 2*j, 5*c - 4618 = -j. Suppose -2*g - u + 51 = -3*k, -2*g - c = -4*k. Is k a prime number?
True
Is 7490 + 1 - 4*2/(-4) a prime number?
False
Suppose 0*p + 4*p = 12620. Is p composite?
True
Let a(b) = 2*b**2 - 12*b + 17. Suppose -3*k + 8*k + 56 = g, 0 = 4*k + 2*g + 56. Is a(k) prime?
True
Let f be (-21)/84 - (-9445)/4. Let v = f + -1068. Is v a composite number?
True
Let x = 370 - 79. Is x composite?
True
Let d be (-22 + 0)/(-2*1). Suppose d*f - 5517 = 2*f. Is f a composite number?
False
Suppose 0 = 5*f + 4 - 14. Let x be -1*(-8 + 4) - f. Is (590/15)/(x/15) a composite number?
True
Suppose -13606 = -71*s + 69*s. Is s prime?
True
Let p(g) = g**3 - 12*g**2 - g + 14. Let s be p(12). Suppose -1814 = -0*q - s*q. Is q a prime number?
True
Let g(y) = 330*y + 73. Is g(49) a prime number?
False
Let d = -28 - -29. Is 1564/3 + d/(-3) a composite number?
False
Suppose -8 - 16 = -3*y. Suppose 0 = -3*x - 4*d + 3*d + 365, 0 = 4*d - y. Is x prime?
False
Is -2 - (-2 + (-13445 - (-8 - -4))) composite?
False
Suppose -14*k = -12*k - 12. Is 10*(125/k + (-12)/(-18)) a prime number?
False
Suppose -4*d - 4*v + 18237 = 3945, 2*d = -5*v + 7161. Is d/12*15/10 a composite number?
True
Let f be -10 + 6 - 0/2. Let h be ((-2)/f)/(7/28). Is 1*(441 + h) + 0 a composite number?
False
Suppose -12458 + 2132 = -6*j. Is j prime?
True
Is 1708 + ((-9)/6)/((-7)/14) prime?
False
Let w = 10 - -547. Is w a prime number?
True
Suppose 6*r - 431 = -2*z + 3*r, -3*z - r + 629 = 0. Let l = 389 - z. Is l a composite number?
False
Is (3 + -10)/(-14)*48478 a prime number?
True
Let u = 15489 - 7288. Is u a composite number?
True
Let a be 21/(-35) - 28/(-5). Suppose -4*m - n + 2 + 4 = 0, -n + 8 = a*m. Is 148 + m*(-1)/(-2) prime?
True
Let d(s) be the first derivative of s**5/15 + s**4/12 + 11*s**3/6 - s**2 - 5. Let g(v) be the second derivative of d(v). Is g(9) prime?
True
Let n(l) be the second derivative of -281*l**3/3 + l**2/2 - 16*l. Is n(-1) prime?
True
Let j(p) = 3*p**3 - 58*p**2 + 26*p - 25. Is j(24) composite?
False
Suppose 2*o - 632 = 880. Suppose a + 4039 = 3*s, 2*s + 5*a - 3426 + o = 0. Is s a composite number?
True
Suppose 9 = 3*i, i - 684 = -5*y + 3*i. Suppose -537 = -3*f + 5*m, 0 = -f + 2*m + y + 41. Is f a composite number?
False
Is (10672344/(-96))/(6/(-8)) a prime number?
False
Let j(d) = 4*d**2 - 10*d + 7. Let z(m) = 2*m + 23. Let w(l) = 3*l + 45. Let a(u) = 2*w(u) - 5*z(u). Let i be a(-8). Is j(i) composite?
True
Suppose 5*t + 4*t - 9 = 0. Is (3 - (2 + t)) + 127 a prime number?
True
Let n = -38 - -41. Suppose n*f - 315 = 5*g + 158, -328 = -2*f - 3*g. Is f composite?
True
Let p(x) = -15*x**2 - 20*x**2 + 2*x**3 + 38*x**2 + 2 - 2*x. Is p(5) a composite number?
False
Suppose 1 = -2*p - 1, -q - 3*p + 6350 = 0. Is q a composite number?
False
Let x(l) = 24*l**2 - 16*l - 19. Is x(-11) prime?
True
Suppose 2*x + 98 + 12 = 0. Let z = x + 260. Is z a composite number?
True
Let i = 6 + 12. Suppose 0 = -m - i - 76. Is (m/(-3))/(4/30) a prime number?
False
Suppose 2*v - 17 = -3. Suppose 15*z = 3653 + 5932. Suppose -4*k = -v*k + z. Is k a composite number?
True
Let x(f) = -f**2 + 6*f + 12. Let k be x(7). Suppose -5*n = -k*u + 915, 2*n = 2*u - n - 364. Is u a prime number?
False
Suppose -11*h + 16*h = -15. Let u be (1674 + (h - -4))*1. Suppose -u = -0*z - 5*z. Is z composite?
True
Let k = 25 + -25. Suppose 8*a - 3*a - 1255 = k. Is a a prime number?
True
Let a(k) = k**2 + k - 1. Let q be a(-3). Let b = q - 13. Is 1 - 2/(b/20) a composite number?
True
Suppose -10*y + 85236 = 2*y. Is y composite?
False
Is (6502/(-5))/((-40)/100) a prime number?
True
Is (38401/(-22))/((-1)/2) a composite number?
False
Let n(p) = -p**2 - 11*p - 11. Let j be n(-10). Let v be 2/8*(j - -9). Suppose 2*b - 2*l = 410, -2*b - v*l + 608 - 198 = 0. Is b composite?
True
Suppose 3 + 6 = 3*m, -5*b = 3*m - 664. Let v = b - 78. Is v prime?
True
Let h(w) = -w - 1. Let v be h(2). Suppose 0 = 2*z + 3*b - 356, -4*z - 3*b + 5*b + 744 = 0. Is 0 + v + z/4 composite?
False
Suppose 2*v + 3*v = 0. Suppose 2*x = -v*x + 8