083 = 2*h, 14*h + t = 5*a + 19*h. Is a a prime number?
True
Let g be 84/22 + 2/11. Suppose g*q = 8*q. Suppose -4*l + 3421 + 3271 = q. Is l composite?
True
Let z(x) = 6*x**2 - 15*x + 62. Let g be z(4). Suppose 0 = -a + 639 - g. Is a prime?
True
Suppose -4*p = -x - 3*p + 46195, -2*p = 4*x - 184804. Is x a composite number?
False
Let f = -14429 - -29538. Is f composite?
True
Let n(m) = m**3 - 17*m**2 - 18*m - 15. Let f be n(18). Let j = 17 + f. Suppose x + k = 262, -2*x + j*k + 528 = -0*k. Is x prime?
True
Is -1*(-9 - (-11 + 4))*23234/4 prime?
True
Suppose 5376 = -25*q + 26*q. Let f = q + 1511. Is f prime?
False
Suppose 22*d - 20437 - 218769 = 0. Suppose d = 4*u - 3*q, u + 6*q - 2721 = 4*q. Is u a composite number?
False
Suppose 142*g - 424066 = 7972536. Is g a prime number?
False
Let l = 166 + -154. Suppose l*z - 18*z + 19098 = 0. Is z prime?
False
Suppose 55*y + 5*l - 61293 = 54*y, -5*y + l = -306413. Is y a composite number?
False
Suppose -9 = 2*k + 3*y, 6*y = 8*y + 10. Suppose 0*x = -k*x - 2*f + 15, -3*x = -5*f - 15. Suppose a + 97 = 4*q, -5*a - x - 30 = -2*q. Is q a composite number?
True
Suppose -9106 = -3*g + 41507. Is g prime?
True
Let v(z) = 13*z + 6. Let u be v(-1). Is 3/u - (-103432)/98 composite?
True
Let p = -337170 + 507159. Is p composite?
True
Let c = -545998 + 1201641. Is c a composite number?
False
Suppose 232734 = 5*k - 3791. Let j be 8/40*(-2 - -5)*k. Suppose 5*b - 34697 - 12608 = p, -p + j = 3*b. Is b prime?
True
Let k(z) = 2*z - 2. Let b be k(1). Suppose 5*t - i - 55 = b, i + 16 = 3*t - 19. Suppose 2*h = t + 32. Is h prime?
False
Let v(p) be the first derivative of 38*p**3/3 + 3*p**2/2 + 26*p + 25. Let k(q) be the first derivative of v(q). Is k(2) prime?
False
Let q(v) = 68*v**2 - 7*v + 31. Let s(o) = -69*o**2 + 7*o - 32. Let c(k) = 4*q(k) + 3*s(k). Is c(-10) a prime number?
False
Suppose 4*l + 6279 = -7341. Let p = l + 5122. Is p composite?
True
Let y(w) = 597 + w + 203 + 375 + 294. Let c be y(0). Let d = -838 + c. Is d composite?
False
Let o(h) = -4466*h + 1987. Is o(-15) a prime number?
False
Suppose -3*v = i - 5*v - 19, -3*v - 42 = -3*i. Let k(t) = 144*t**2 - t - 1. Is k(i) prime?
False
Let q(n) = 197*n**3 + n**2 - 2*n - 153. Is q(7) composite?
False
Suppose -14*d + 46*d = -64. Is (-74514)/(-42) + d/14 a prime number?
False
Let q = -220 + 226. Suppose q*x - 113021 - 30121 = 0. Is x composite?
False
Let k = 157 - 153. Suppose -k*n - 15*n = -10887. Is n composite?
True
Suppose 4*c - 10*c = -856734. Suppose -c = -5*a - 3*x, 5*a = 2*x + 100394 + 42405. Is a prime?
True
Let c = 748579 + 373534. Is c prime?
True
Suppose -38*y - 925201 = -130*y + 813139. Is y prime?
False
Let u(r) = r - 28. Let a(i) = 14. Let h(m) = -5*a(m) - 2*u(m). Let q be h(-9). Suppose 0 = -q*c + 2402 - 198. Is c a composite number?
True
Let o(z) = 10*z**3 + z**2 - 10*z + 17. Suppose 36 - 32 = y. Is o(y) composite?
True
Is (129962 + (13 - 9))/6 a prime number?
True
Let h = 13699 + -42597. Let i = -17995 - h. Is i composite?
False
Let a(z) = 2816*z**3 - 3*z**2 + 2*z. Let s(x) = -x**3 - 6*x**2 - 2*x + 16. Let i be s(-5). Is a(i) composite?
True
Let c(u) be the second derivative of -87*u**5/20 + 5*u**4/12 + 5*u**3/6 + u**2/2 - 2*u. Suppose 12*s + 2 = 11*s. Is c(s) a composite number?
True
Suppose 1225665 + 9623875 = 52*a. Is a composite?
True
Let j(a) = -a**3 + 8*a**2 + 10*a + 9. Let x = 18 + -14. Suppose 5*d + m - 2*m - 40 = 0, -x*d + m + 32 = 0. Is j(d) composite?
False
Let u(m) = 25*m**2 + 2*m - 56. Suppose 5*q = 4*i + 65, -14 = -2*q - i + 12. Is u(q) a composite number?
True
Let h = -3 - -3. Let r = h + 4. Suppose 5*y - 2818 = 3*j, -r*j + 2248 = y + 3*y. Is y prime?
True
Suppose -14*l + 12*l + 791557 = -7*m, -1979050 = -5*l - 5*m. Is l composite?
False
Suppose 29 = 4*v + 21. Suppose -v*o - 9 = -5*o. Suppose 584 = 2*x - 5*g - 329, o*x - g - 1402 = 0. Is x a prime number?
False
Let s(q) = 15*q**3 - 365*q**2 + 2*q + 11. Is s(25) a composite number?
False
Suppose 75 = 5*b + 5*z, -2*b + 2*z = -5*b + 42. Let w be 4/(-6) - ((-44)/b - -1). Suppose -2 = -2*l - 3*t - w*t, 5*l + 4*t - 39 = 0. Is l prime?
True
Let t = 2808 - 1759. Suppose -2458 = -3*z + t. Is z prime?
False
Suppose -22*c + 4242490 - 1672533 = -2569749. Is c a composite number?
True
Let t(p) = -3*p + 1. Let b be t(-3). Suppose 5*m - 129 = d - 362, -5*m + 799 = 3*d. Suppose b*l - 4*l - d = 0. Is l prime?
True
Suppose -13*r = -14*r - 9. Let n be (-8)/(-24) - 67119/r. Suppose 18*x = 12*x + n. Is x prime?
False
Suppose -644 + 150 = -2*s. Suppose -255*o + 17384 = -s*o. Is o a composite number?
True
Suppose 0 = 4*q + 5*u - 367606, -275757 = -3*q - 20*u + 25*u. Is q composite?
False
Suppose 4 = 4*u, 507128 = 5*q + 2*u - 429239. Is q composite?
False
Let s(l) be the second derivative of -295*l**3/6 + 6*l**2 - l. Let j = -49 + 48. Is s(j) composite?
False
Let k(r) = -436*r + 28. Let y be k(-12). Let l = y + 40843. Is l composite?
False
Let m(t) = t**3 - 9*t**2 + 9*t - 12. Let z be m(8). Let s = z + 4. Suppose s = h + 3*l - 401, -5*h - 5*l + 1576 = -h. Is h a prime number?
True
Let g(h) = 388*h**3 - 43*h**2 + 2*h + 18. Is g(5) composite?
True
Let o = 43291 + -26328. Is o a prime number?
True
Let b(l) = -l**3 + 9*l**2 + 19*l - 170. Let s be b(9). Let j(q) = 12257*q - 10. Is j(s) a prime number?
False
Suppose -3*c = 4*l + 3, -2*c = -3*c - 5. Suppose 0 = 5*v - 13 + l. Suppose -v*i = -6*i + 3932. Is i a composite number?
False
Let k = -1426 + 3160. Is k - ((-2)/(-5) + 56/(-40)) prime?
False
Let z be (6/(-8))/((-11)/(-140668)). Let u = z - -14728. Suppose 0*p - p - s = -1284, -3*s + u = 4*p. Is p a prime number?
False
Is -1 + 69415 - (-13 - 0/(-27)) composite?
False
Suppose 4*g + 4 + 12 = 0. Suppose -77*f = -69*f - 16. Is (-1084)/f*(18/g - -1) a prime number?
False
Let p(y) = 574*y - 37. Let g be p(-4). Is 1/((-9333)/g + -4) a prime number?
True
Let u(m) = -m**3 + m**2 - m. Let l(n) = 266*n**3 - 4*n**2 + 5*n - 11. Let t(d) = -l(d) - 6*u(d). Is t(-2) a composite number?
False
Let y(g) = -g**3 - 4*g**2 + 3*g - 15. Let h be y(-5). Is (-187686)/h + 2/(-10) prime?
True
Let m be (-72)/(-24)*((-2)/3 + 1). Suppose g + 4 = m. Is (2/6)/(g/(-4383)) a prime number?
True
Let v = -550 + -1104. Is v/(3/(75/(-10))) a prime number?
False
Is (-4030445)/(-50) - 4/(-40) composite?
True
Let d(w) = -486*w + 33977. Is d(0) prime?
False
Suppose 25*j - 45 - 5 = 0. Suppose -1985 = -2*v + 25*b - 24*b, 2000 = 2*v + j*b. Is v composite?
True
Let k = -2704 + 2712. Let j(i) = 3*i**3 + 10*i**2 - 18*i - 15. Let r(p) = -p**3 + p. Let f(s) = j(s) + 2*r(s). Is f(k) a prime number?
True
Let k(v) = -v**2 + 12*v + 44. Let z be k(15). Let j(q) = 1907*q**2 + 3*q + 5. Is j(z) a prime number?
False
Suppose -3477 = 44*l - 13377. Suppose l*t = 217*t + 163720. Is t prime?
False
Let i be -2 + 15/7 + 212676/84. Suppose -9*t + 13*t - i = 0. Is t composite?
True
Suppose -816 - 948 = 3*s. Let m be 3/(-1) - (s - 2). Suppose 5*z - m = 683. Is z composite?
True
Let g be -2 - -123*(-22)/6. Let w(m) = -9*m**3 - 4*m**2 + 5*m - 4. Let l be w(3). Let j = l - g. Is j a prime number?
False
Let c(v) = -v**2 - 23*v + 11. Suppose 2*t + 3*g = 91, -4*g + 5*g - 154 = -3*t. Let y = -75 + t. Is c(y) a composite number?
True
Let v = 722 + -674. Suppose -11*x - 950789 = -v*x. Is x a composite number?
True
Let l(k) be the second derivative of 7*k**4/12 + 17*k**3/6 - 43*k**2/2 + 49*k. Is l(-13) composite?
False
Let f(r) = 4*r**3 - 8*r**2 - 14*r + 45. Let n be (-2)/(3/11*28/(-42)). Is f(n) composite?
True
Let r(l) = 116*l**3 + 3*l**2 - 2*l. Let d = -7 + 8. Let s be r(d). Suppose -5*g + 1292 - s = 0. Is g prime?
False
Is 1838195/((-72)/9 - -13) a composite number?
True
Let g = 19832 - 11680. Suppose 2*s + 2*x = 16292, s + 19*x - g = 24*x. Is s a composite number?
False
Is (-199 + 202)/(6/(-4028812))*(-2)/4 a prime number?
True
Suppose -r - 46*y = -51*y - 70107, -4*y = 4*r - 280380. Is r a prime number?
False
Let f(n) = 73*n**2 + 45*n + 119. Is f(-3) composite?
False
Suppose 2*i - 2*v - 419808 = 0, 0 = 4*i + 21*v - 18*v - 839567. Is i a prime number?
False
Let y(k) be the second derivative of -3*k**5/20 - 19*k**4/6 - 7*k**3/6 + 7*k**2/2 - 90*k. Is y(-21) a prime number?
False
Suppose 167*d - 66955 = -298*d + 22790. Suppose 0 = -4*p + 4 + 8. Suppose -2*b = n - d, 481 = p*n + b - 83. Is 