 + 38. Let a be t(u). Is v(a) composite?
True
Suppose 0 = 4*s - 4*z - 63 - 97, 5*s - 192 = 3*z. Let w be 4/(s/15 + -1*2). Is ((-1671)/6)/((-5)/w) a prime number?
True
Let g be (-34456)/22 + 4/176*8. Let f = -1075 - g. Is f prime?
True
Let i(t) = 364*t + 17. Suppose 113 = 5*u - 102. Let a = u + -40. Is i(a) prime?
True
Let c = -19 + 24. Suppose -3 = -k, -6 + 3 = c*n + 4*k. Is (-319 + -5)*n + 2/(-2) a composite number?
False
Let k(p) = -41*p**2 + 13*p + 8. Let y be k(-9). Let c = y + 5033. Suppose -2198 = -5*s + f, 5*f - 271 = 3*s - c. Is s prime?
True
Let o = 20807 - 13674. Is o prime?
False
Suppose 0 = 36*g + 29*g - 325. Suppose g*t = -3*u + 1898, 5*u - 3158 = -9*t + 6*t. Is u prime?
True
Let d = 2 - 0. Suppose -2*k + 8049 = 4*b + 1347, 2*b = -5*k + 16747. Suppose -2*f - d*f = 3*y - k, -2*f + 4*y = -1658. Is f a prime number?
False
Let v(m) = 11*m**3 - 5*m**2 + 6*m - 15. Let u be v(6). Let f = u + -1304. Is f composite?
True
Suppose 0 = 28*f - 22*f - 120. Is (-254870)/(-25) - -2*2/f a composite number?
True
Let o(x) = 3*x**3 - 9*x**2 + 17*x - 6. Let p(a) = a**3 + 7*a**2 + 4*a - 5. Let u be p(-6). Is o(u) a prime number?
True
Suppose -m = -i - 7, 2*m - 3*i - 24 = -2*m. Suppose 8*x - 2 = 14. Suppose -2*p + x*k = -948, 0 = 5*p + 4*k - m*k - 2400. Is p a prime number?
True
Suppose 3*t - 4*x = 318087, -2*x = -8*t + 7*t + 106025. Is t a composite number?
True
Suppose -3*x + f = -14, 4*x - x - 2*f = 16. Is (1 + 2370)/(x/4) a composite number?
False
Let f(s) = 27*s**3 + 100*s**2 - 15*s + 47. Is f(15) a prime number?
False
Let w(z) = 5316*z**2 + 4*z - 3. Is w(4) a prime number?
False
Suppose 14*k - 4932 = 5*k. Suppose r - 2*r + k = 0. Let m = -227 + r. Is m prime?
False
Let o(n) = n**2 - 6*n + 45. Let t be o(14). Suppose 2*q + 114 = 4*l, -3*q = -3*l + 2*q + 75. Let k = t - l. Is k composite?
False
Let a(r) = 17*r**2 - 3*r + 11. Let k(i) = i**2 - 1. Let l(o) = a(o) - 4*k(o). Is l(-7) prime?
True
Suppose 2319*k + 1020618 = 2337*k. Is k prime?
True
Suppose -3*t - 109 = -4*h - 0*t, 2*h - 59 = 3*t. Let l = -20 + h. Suppose 2*n = -l*a + 3911, 0 = -4*a + 5*n + 4593 - 1484. Is a composite?
True
Let x = -40 + 42. Suppose x*w = -4*a + 13438, a = -0*a + 5*w + 3354. Is a a composite number?
False
Suppose -2*y = 3*q + 2, 4*q - 2*y - 16 = -0*q. Suppose -q*z + 1110 = c + c, c = z - 547. Let l = -328 + z. Is l composite?
False
Suppose 2145 = 2*d - 1577. Let t = 5698 + d. Is t a composite number?
False
Let c = 5 - -2. Is c/(5 - 83070/16615) composite?
True
Let f(v) = v**3 + 21*v**2 + 23*v + 69. Let c be f(-20). Is (-38)/c - -4 - (-2261)/9 prime?
True
Let b = 4015516 - 2088543. Is b a composite number?
False
Let m be (-23)/184 + (-40654)/16. Let u = m + 8158. Is u a prime number?
False
Let p be 50620/10*9/6. Is p*(-6)/30*-5 composite?
True
Let c(v) = -v**3 + 8*v**2 - 9*v - 9. Let r be c(6). Let t(l) = -l**3 - 10*l**2 + 4*l + 16. Let q be t(r). Let k = 360 - q. Is k composite?
False
Let k(b) = 3665*b**2 - 6*b - 5. Let x be k(-2). Suppose x = 4*q + 2*r + r, q + r = 3666. Is q composite?
True
Let a = 12946 - 27345. Let d = -7880 - a. Let v = 11132 - d. Is v prime?
False
Let t(a) = 46260*a + 1. Is t(1) prime?
True
Suppose r + 2 = -4*n, 4*n = -3*r - 6 - 0. Suppose 2*a - 32 = -n*a. Is (-4)/a + (0 - (-410)/8) prime?
False
Is (3 + -6)/((-69)/(-253)) - -212364 composite?
False
Suppose z + 2*c - 220 = 0, 4*z - 5*c - 865 = -10*c. Is (84/z)/(2/1955) a prime number?
False
Suppose -22714 = -26*q + 439020. Let f = -9612 + q. Is f a composite number?
False
Let d = 136247 - 67536. Is d prime?
True
Let a(o) = -24*o - 181. Let c be a(-8). Let u(y) = 4*y**3 + 2*y**2 - 2*y + 43. Is u(c) prime?
False
Let l(s) = -s**3 + 23*s**2 + 23*s + 23. Let o be l(24). Is 4 - (-1)/o*-9387 composite?
False
Let w = 10075 + -7051. Let a = w + 6889. Is a a prime number?
False
Suppose 1 = 3*d - 14. Suppose a + 0*a = -d, -a = i - 449. Is i a composite number?
True
Suppose 2*h + z + 4839 - 731351 = 0, h - 5*z = 363267. Is h a prime number?
True
Suppose -204 = -b + 1807. Suppose -b = -6*x + 5. Suppose -22 - x = -2*f. Is f a composite number?
False
Let l(k) be the third derivative of 17*k**6/60 + k**5/10 - k**4/6 + k**3 + 7*k**2. Let m be l(4). Suppose 2*y - m + 824 = 0. Is y composite?
False
Let m(h) = 231*h**2 - 40*h - 72. Is m(-11) composite?
False
Let y be (1 - -5) + (-12 - -7). Let n(q) = 4*q**2 + 5*q - 6. Let c be n(y). Suppose u - c*o = 849 + 2039, -2900 = -u - o. Is u composite?
False
Suppose -y - 3*l + 92440 = 0, 3*l - 84065 = -3*y + 193231. Suppose -11*r + y - 963 = 0. Is r composite?
True
Suppose 14*z - 89 = 9*z - 2*l, l = -3. Let i(d) = 5*d**2 + 17*d - 5. Let m(p) = -4*p**2 - 17*p + 4. Let h(r) = -2*i(r) - 3*m(r). Is h(z) composite?
True
Suppose -3*i + 2*i = -2*g - 21136, -20 = 4*g. Suppose -4*x + i = 2*x. Is x a composite number?
True
Suppose 85*k - 10071175 = 130*k - 70*k. Is k prime?
True
Suppose l = -4*n + 3, -5*l - 3*n + 0*n = -15. Suppose -3*r = -y - 0*r + 19, 32 = l*y - 4*r. Suppose 0*o = o - 2*f - 865, 0 = -5*o + y*f + 4343. Is o prime?
False
Let z(u) = -10905*u - 2. Let x be 3*(22/(-6))/11. Is z(x) a composite number?
False
Let l = 166 + 28. Suppose 0 = l*h - 211*h + 27149. Is h a composite number?
False
Suppose -10*n + 5*n = 0, -11598 = -3*y - 3*n. Let i = 3461 + y. Is i a composite number?
True
Let l(c) = -2*c**3 - 16*c**2 - 48*c - 19. Is l(-17) a composite number?
True
Is (-667)/575*(-4078025)/10 - 1/(-10) prime?
False
Suppose -7*f - 18*f + 675 = 0. Suppose -f = -k - 2*o + 164, -573 = -3*k + 5*o. Is k a composite number?
False
Suppose -l + 5*r + 62355 = l, 0 = 2*l + 5*r - 62345. Suppose 0 = -z + 5*f + 7788, -4*z + 12*f = 15*f - l. Is z composite?
False
Let q(d) = 11*d**3 + d**2 - 3*d + 1. Let h be q(1). Suppose 4*w = -10 - h, 0 = -5*s - 4*w + 39185. Is s a prime number?
True
Is 10 - -14232 - -26 - 5*1 composite?
True
Let q = -41 + 75. Let y = -33 + q. Is -3 + y - (-651)/(3 + -2) a prime number?
False
Let f(x) be the first derivative of -12 - 11/2*x**2 - 65*x. Is f(-20) prime?
False
Suppose 21*i - 24*i + 268359 = 0. Suppose 0 = -21*a + 14*a + i. Is a prime?
False
Suppose d + 3*a - 11360 = 0, 0 = -d - d - 4*a + 22714. Is d a prime number?
True
Suppose -972*s + 966*s + 2452278 = 0. Is s a prime number?
True
Let l = 76 - 76. Suppose l = -0*m + 2*m - 16. Let c(s) = 292*s - 3. Is c(m) a composite number?
False
Let l be 4/((-3)/(-3)) - -16. Suppose 2*s + l - 20 = 0. Suppose 7 + 2 = -3*y, -2*k - 4*y + 806 = s. Is k prime?
True
Let x(q) = 2113*q - 148. Let k be x(7). Suppose -4*v = y - 2943, -2*v = 3*y + 2*y - k. Is y a composite number?
False
Let v(t) = -565*t + 7. Let u be v(-15). Let z be (-3)/(-4) - u/(-8). Is z + -3 + (-3 - -2) composite?
True
Let f = 89351 + 96242. Is f composite?
False
Let k(h) = h**2 - 9*h + 2. Let z be k(9). Is -6 + ((-18498)/(-3))/z composite?
True
Suppose 0 = 23*r - 24*r + 8043. Suppose -15*n + r = -12*n. Suppose -5*j + n + 1824 = 0. Is j a prime number?
False
Let d be 4 + (65685/29)/((-3)/(-2)). Let q = 2885 - d. Is q prime?
False
Suppose -d + 36956 = 4*b - 2*d, -b + 5*d + 9239 = 0. Suppose -5*n = -5426 - b. Is n composite?
True
Suppose 0 = l - o + 1715, -4976 - 159 = 3*l - o. Let d = l + 2807. Is d prime?
True
Suppose -1288 = -14*h + 10*h. Suppose -h - 625 = -4*l + 3*z, 463 = 2*l - 5*z. Is (-60)/80 + l/4 prime?
True
Let z = -31 + 17. Let l be -5 + (-16)/(-4) + z/2. Is (-7 - 31/(-4)) + (-2050)/l composite?
False
Suppose -45*w = -98*w + 3649739. Is w composite?
False
Let v(n) = 2365*n**2 + 18*n - 70. Is v(3) prime?
True
Let c = 68045 - -164976. Is c a composite number?
False
Let b(i) = -85*i - 6 + 11 - 11 - 1 - 3. Let f be 2*-5*2/4. Is b(f) prime?
False
Let h = 51397 + 27726. Is h composite?
True
Let d(s) = -575*s + 5943. Is d(4) a composite number?
False
Let i = 55295 + 36313. Suppose 38*a = 14*a + i. Is a a prime number?
False
Let y(a) = -39*a + 101. Let j be y(-18). Suppose 4*m - q = 2146 + 1039, j = m + 2*q. Is m a composite number?
False
Suppose -7*p + 6*p = 13*p - 916706. Is p composite?
False
Let q = -42 + 45. Suppose -2*n - 8072 = -q*w, 0*w - 12118 = 3*n - 2*w. Let i = n - -6969. Is i composite?
False
Let n(f) = 41*f**2 + 3*f + 3. Let m = -224 + 116. Let y be (-612)/m - 2/(-6). Is n(y) a composite number?
True
Suppose -1991682 = 76*b - 1425095 - 7081535. Is b