 p(k) a prime number?
True
Let z(u) = 15 - 93 + 68*u + 10*u**2 - 52*u + 4*u**2 + 13*u**2. Is z(17) composite?
True
Let o(r) = 272*r**2 - 7*r - 7. Let j be o(-1). Let l = 681 + j. Is l a composite number?
False
Let q = -43279 - -93036. Is q a prime number?
True
Let p be (2 - 4)*(-4496 + 4). Suppose -t + o + 14146 = 0, -2*t + 19299 = o - p. Is t composite?
False
Let y(u) = 10*u**2 - u. Let k be y(1). Suppose -2*c + 3017 = i, 6*c + 6031 = 2*i + k*c. Is i composite?
False
Let o(k) be the first derivative of 8*k**3/3 + 19*k**2 + 3*k + 41. Is o(-8) composite?
False
Let w = 115 + -214. Suppose 0 = 2*y + y + 3. Is (-22)/w - (80238/(-27) - y) a prime number?
True
Suppose 0*i + 30 = -3*i. Let g be i/25 + ((-26574)/(-10) - -2). Suppose 0 = -3*j + 692 + g. Is j composite?
False
Suppose 2*p - i = 4956, -4*p + 2762 = 2*i - 7166. Suppose -p = -15*o + 9190. Is o composite?
True
Let p(x) be the first derivative of x**3/3 - 9*x**2/2 + 21*x - 4. Let a be p(9). Is (-2 - (-33)/a) + 7990/7 composite?
True
Let j be 2 - 20/25 - 743758/(-10). Suppose 0 = 14*g - j - 20515. Is g a composite number?
True
Is 18/2 + (-30)/(-5) + 235468 a prime number?
True
Let p be (14/(-28))/(2/(-43492)). Suppose -24*r = -29759 - p. Is r a prime number?
True
Suppose 66*a - 14573510 = -2861895 + 8513359. Is a composite?
True
Suppose 75*t = 79*t. Suppose -5*l = 5*i - 10545, t*l + l = 2*i - 4224. Is i a prime number?
True
Let d(c) = c**3 + 103*c**2 - 109*c - 453. Is d(-82) a prime number?
True
Let i(y) = -9*y**3 + 169*y**2 + 51*y + 367. Is i(-32) prime?
False
Suppose -366*v + 367*v + 144847 = 5*a, 3*v = -6. Is a composite?
True
Let i be (-22)/(-143) + 390620/26. Suppose -9556 = -4*n + i. Is n a prime number?
False
Let p(m) = -m**3 - 3*m**2 + 2*m + 7. Let u be p(-4). Let z = u + -15. Let g = 143 + z. Is g a composite number?
True
Suppose -45*q + 102*q - 3328033 = -46*q. Is q prime?
False
Let m(k) = -11*k - 6. Let f be m(-2). Let u = f - 16. Suppose -2*w + 4*a = -u*a - 1038, 5*w + 5*a - 2580 = 0. Is w composite?
True
Suppose 4*x - 20 + 12 = 0. Let r be x/(-8) + 6/24. Suppose 49305 = 5*n - 4*i, 4*n - 3*i = -r*n + 39445. Is n a composite number?
True
Let p(i) = 4*i**2 - 9*i - 14. Let v(a) = -6*a**2 + 14*a + 21. Let b(j) = -7*p(j) - 5*v(j). Let t be b(5). Suppose 6530 + 6966 = t*y. Is y a prime number?
False
Let r(k) = -k - 2. Let v(h) = -1821*h + 23. Let b(x) = -6*r(x) - v(x). Is b(4) prime?
True
Suppose -3*o + 17 = -22. Let t be (-75485)/(-5) - (-180)/(-15). Suppose o*j - 8*j - t = 0. Is j a prime number?
False
Let a be 102/18 + (-4)/(36/15). Suppose -252 - 29992 = -a*c. Is c prime?
True
Let i = -3 - -3. Suppose i = -s + 19*s - 6714. Is s a composite number?
False
Suppose 37*x + 94753 = 4415946. Is x prime?
True
Is 149/(-2)*(-1100 + 6) a composite number?
True
Is 50/(-75)*-6 - -8453 composite?
True
Suppose -2*q - 5*g + 1163 = 0, 2*q = 4*g + 350 + 804. Suppose 0 = -2*i - 1009 - q. Let t = -49 - i. Is t a composite number?
True
Let f be ((-8427)/1)/(-3) - 0/(-1). Let a = -1161 + f. Suppose -7*s + a - 521 = 0. Is s a prime number?
False
Suppose 0 = -2*z - 3*z. Let x(j) = 2*j. Let q(o) = 7*o + 841. Let b(f) = q(f) - 5*x(f). Is b(z) a prime number?
False
Suppose -63 + 8 = 11*o. Is 7600 - (-3 - o - -5) a prime number?
False
Suppose 5*i + 277403 = 13*j - 11*j, -5*j - i = -693386. Is j composite?
False
Let c = 212 - -183. Let m = c + -102. Is m composite?
False
Suppose 74003*u - 13953111 = 73980*u. Is u a prime number?
False
Let h(z) = 145920*z - 1699. Is h(3) a composite number?
False
Is -2*(-4817656)/20 - (468/(-45) - -11) composite?
True
Suppose -23 = -l + 36. Let q be (l/4)/((-3)/(-264)). Suppose -4*r + 650 + q = 0. Is r composite?
False
Suppose 3*a = -2*l + 1894223, 3*a - 185 + 164 = 0. Is l prime?
False
Let a(b) = 646*b**2 - 37*b + 49. Is a(16) prime?
False
Suppose 63305 = 2118*s - 2113*s. Is s a prime number?
False
Let j be (8/(-12))/((-24)/252). Suppose -j*k + 23133 + 16550 = 0. Is k a composite number?
False
Let l(t) = -t**2 - 6*t + 8. Let g be l(-6). Suppose a + a - g = 0. Suppose 0 = -a*x + 279 + 49. Is x prime?
False
Suppose 0 = 4*x + y + y - 40336, 0 = x - 3*y - 10098. Let z = 144 + -137. Suppose o - z*o = -x. Is o prime?
False
Let q(m) = 3*m + 29. Suppose -11 = -3*o - 35. Let l be q(o). Suppose -3*k - 9 = 0, -l*w + k - 3*k = -1849. Is w prime?
False
Suppose -7*u + 13027 = -14*u. Let k = u + 2702. Is k prime?
False
Let b = -31418 + 77621. Is b prime?
False
Suppose -13*k + 11*k + 72492 = 0. Let b = -14827 + k. Is b composite?
False
Suppose 2*t = 0, 0 = f - 5*f - t + 326159 - 75795. Is f a prime number?
True
Let z = -30 - -45. Let c be (-24)/z*(1 - (837 + -1)). Suppose -1046 = -2*b + j - 388, 4*b = -3*j + c. Is b composite?
False
Suppose 4*h - 104 = x, -2*h - 3*x + 52 = x. Suppose 0*o + 2*o - h = 0. Suppose -o*b = -16*b + 903. Is b a prime number?
False
Let v(c) = -812*c + 197. Let z be v(-10). Let j = z + 2748. Is j a composite number?
True
Let z(x) = 1409*x**3 - 3*x**2 + 5*x - 2. Let n be z(1). Let m = n - 424. Is m a composite number?
True
Suppose l - 3*a - 4 = -3*l, 3*l = -5*a + 32. Suppose 0 = l*x + 3*r + 2*r - 2472, -x + 627 = -r. Is x a prime number?
False
Let t(s) be the second derivative of 0*s**3 + 20*s + 0 + 2/3*s**4 - 4/5*s**5 + 3/2*s**2. Is t(-5) a composite number?
False
Let k(t) = -2*t**3 + 6*t**2 + 3*t - 3. Let c be k(3). Let x be (c + -7)/(2/(-8) + 0). Suppose 0 = 3*g - w - 1403, -2*g + 651 = x*w - 303. Is g a prime number?
False
Let h = -390 + 913. Suppose -6*a - 4*d - 6 = -a, -4*d = -3*a + 22. Suppose -h = -l - a*w, -w = -5*l - 6*w + 2610. Is l prime?
True
Let p be 2 + (((-18)/(-6))/1)/(-1). Is -129*52/12*p composite?
True
Suppose 50*a + 5159820 = -11*a + 25047833. Is a prime?
False
Let j(l) = -5*l**2 + 15*l - 93. Let w be j(7). Let m = 1882 + w. Is m a composite number?
True
Let f(k) = k**2 - 4*k + 4. Let v(h) = -2*h**3 - 4*h**2 - h + 2. Let r be v(-2). Let o be f(r). Suppose o*c = -237 + 1829. Is c composite?
True
Suppose -3*y - d = -824335, 5*y - 3*d = 2188213 - 814340. Is y composite?
False
Let k(f) be the second derivative of -910*f**3/3 + 3*f**2/2 - 38*f. Let u be k(-3). Suppose -2*q + u = 1421. Is q a composite number?
True
Suppose 11809 + 26534 = 3*h. Is h composite?
False
Let q(o) = -330*o - 32. Let a be q(4). Let z = 699 - a. Is z a prime number?
False
Let v(d) = -2*d + 98. Let c be v(0). Let u = c - 90. Let t(p) = 181*p + 33. Is t(u) a composite number?
False
Let s = 922821 + -277844. Is s prime?
True
Let g be ((-3)/(-2))/((-3)/(-8)). Let o be 27 + (-58 - 30) + 1*(-1 - 2). Is (-34032)/o*1*g prime?
False
Suppose 10*h - 7*h = -60852. Let w = -9215 - h. Is w prime?
True
Suppose 0 = -k + 3*k + 5*y, 0 = 5*k + y - 23. Suppose 3*f - 3*q - 4 = -2*q, -k*q + 4 = -3*f. Is (-9 + 147)/(4*f/4) a composite number?
True
Let p(u) = -15*u + 20 + 3*u**2 + u**3 + 3*u**2 - 19*u**2. Let j be p(14). Is ((-1502)/j)/((-2)/6) a prime number?
True
Let n(v) = -12*v**2 + 10*v + 4. Suppose -11 = -c - 15. Let t be n(c). Let x = t - -422. Is x prime?
False
Let g(d) = -42235*d**3 - d**2 - 2*d - 2. Let z be g(-1). Is (-1)/((-6)/z) + (-2)/(-1) a prime number?
False
Is (308975248/(-732))/(8/(-6)) composite?
True
Let n = 48 - -112. Suppose 0 = 3*d - 11*d + n. Is 5/25 + 3376/d prime?
False
Let f be (-1 - (0 - 3))*(-5 - -7). Suppose 0 = 2*g + f - 4. Suppose m = -4*l + 367, -2*m - 4*l + 9*l + 786 = g. Is m a prime number?
True
Suppose 0 = 2*c - 4*c + 10*c - 20162920. Is c a composite number?
True
Let y(n) = 7*n - 21. Let m be y(4). Let b(k) = 94*k + 9. Is b(m) composite?
True
Suppose -476*s = -473*s. Suppose -m = -3*q - 251, s*q - 3*q = 0. Is m a composite number?
False
Let l = 5095 + -4807. Let s(a) = -a**3 + 2*a. Let v be s(-2). Suppose 3*k = 0, 85 = f - v*k - l. Is f prime?
True
Let q(h) = h**3 + 5*h**2. Let k be q(-5). Is (2 - k)/(1 - 10855/10865) a prime number?
False
Let y(u) = 624*u**3 - u**2 - 4*u + 5. Let o be y(5). Suppose 8*k + 2*k = -o. Is (1*k/12)/(4/(-12)) composite?
False
Suppose 5*l + 4564 = 4*p, p - 4*l + 5746 = 6*p. Let h be -1 - 6*5/(-10). Suppose h*b - 4*r = p, b - 5*b + 2283 = r. Is b a prime number?
True
Let o(v) = 4*v**2 - 2*v - 7. Let q be o(3). Suppose -15*r + 131062 = q*r. Is r a composite number?
False
Suppose -226096 + 3301410 = 13*j + 9*j. Is j composite?
False
Let x(