s w a composite number?
False
Suppose 6*w - 7595 = 24199. Is w composite?
True
Let k(r) = 435*r - 176. Is k(15) a prime number?
False
Let h(x) = -13*x**2 + x + 6. Let r be h(5). Let i = r + 1305. Is i a prime number?
True
Let z(r) = -5982*r**3 - r**2 + r + 1. Is z(-1) prime?
True
Suppose -2*p = 10*p - 9372. Is p composite?
True
Let v = -16 + 15. Let z(g) be the second derivative of 55*g**4/6 + g**2/2 + 2*g. Is z(v) a prime number?
False
Suppose -2*s + 300 = y - 4*s, -3*y + 910 = 4*s. Let j = y + -178. Suppose 2*b + j = 6*b. Is b a composite number?
False
Let n(y) be the second derivative of -y**4/12 - y**3/3 - y**2/2 - 7*y. Let i be n(-1). Suppose -c + 2*c - 31 = i. Is c prime?
True
Let n(z) = -4*z**2 - 7*z + 4. Let q be n(4). Let r = 227 + q. Is r a composite number?
False
Suppose 5*u + 3*v = 409079, 4*v + 315266 + 12010 = 4*u. Is u prime?
True
Let u(x) = 7*x**2 - 3*x + 39. Is u(-13) a composite number?
True
Let p = 65 - 63. Suppose -q + 991 = 4*g, p*q = -2*g - 2*g + 1962. Is q prime?
True
Suppose y + 1279 = 5*t + 4795, -5*y - 4*t + 17435 = 0. Is y composite?
False
Let b = 12466 - -627. Is b composite?
False
Let y(k) = -k - 1. Let z = -5 + 1. Let g be y(z). Let t(x) = 27*x**2 + x + 5. Is t(g) prime?
True
Let o = 45 + -46. Is (-3)/6*o*1838 a prime number?
True
Let x(f) = f**3 - 3*f**2 - 3*f + 1. Let c be x(4). Suppose -679 = -3*k - 5*h, 0 = c*h + 20. Is k a prime number?
True
Let b(g) = -27*g + 8. Let w be b(-11). Let i = 34 + w. Let p = -180 + i. Is p a composite number?
True
Let c = 16 - -46. Suppose 0 = -58*r + c*r - 6052. Is r a prime number?
False
Suppose 4*y - 10 = -3*b + 21, 5*b - 41 = 4*y. Suppose -209 = 8*o - b*o. Let a = -144 + o. Is a a prime number?
False
Let f(r) = -r**3 + 8*r**2 + 5*r + 10. Let a = 15 + -6. Let x be f(a). Let z = 217 + x. Is z composite?
False
Suppose i + 3973 = 4*i - 4*u, 3*i = 3*u + 3969. Is i a prime number?
True
Suppose -3*c = -4*n + 444, 4 + 216 = 2*n - c. Let y = 439 - n. Is y composite?
False
Suppose 0 = 3*t - v - 24554, 3*v - 11895 + 52813 = 5*t. Is t a prime number?
False
Suppose 0 = -7*v - 4605 + 26739. Suppose 0 = -28*z + 22*z + v. Is z composite?
True
Suppose -3*p - 126 = 3*u, 32 = -p + 2*u - 4. Let g = 43 + p. Suppose -v + g*v = 506. Is v prime?
False
Let b(g) = -8*g + 0 + 0 - 199*g - 1. Let r be b(2). Let o = -284 - r. Is o a composite number?
False
Let p be ((-6)/(-9))/(2/423). Suppose 0 = 7*t - 21 - 0. Suppose -6*w = -t*w - p. Is w composite?
False
Let x(d) = -4*d - 11. Let g be x(-3). Let a be (-530)/3 - (-2)/3. Is -2 - (a - 3 - g) a composite number?
True
Let w(j) = 23*j**3 + 2 + 5*j - 4 - 10*j**3 - 7*j**2. Let u be w(4). Suppose -3*a = 4*g - 2384, -4*g + 3*a + u = -1622. Is g prime?
True
Suppose -20337 = 8*m - 58601. Is m prime?
True
Is (-4)/(-14) - 240/(-42) - -30907 composite?
True
Let s(l) be the third derivative of -l**6/120 - l**5/12 + 7*l**4/24 + 5*l**3/3 - 5*l**2. Let o be s(-6). Suppose 245 = 3*f + o*f. Is f a composite number?
True
Let a(s) = -18*s**2 - 13*s + 26. Let k(c) = 37*c**2 + 27*c - 51. Let d(q) = -9*a(q) - 4*k(q). Is d(7) composite?
False
Is (-406351)/(-85) - 2/(-5) composite?
True
Suppose -133 = d - 8*d. Let l = -16 + d. Suppose i - 6*i = 3*c - 461, -i + 97 = l*c. Is i prime?
False
Let t(o) = 2*o**2 + 10*o + 5. Let c be t(-10). Let q = 56 + c. Is q a prime number?
False
Let g(l) = 7183*l**2 - 4*l - 4. Is g(-1) a composite number?
True
Let m(p) = -210*p + 45. Let v be m(-13). Let a = v - 826. Is a composite?
False
Is 5/(-1) + 9297*40/12 a composite number?
True
Let p(n) = -4*n + 8. Let t = -25 + 17. Let o be p(t). Suppose -2*d = -3*k - o, -2*d + 68 = 2*k + 2*k. Is d a prime number?
False
Let p = -555 + 2917. Is p a prime number?
False
Suppose y - 52 = -27. Let d = y - 27. Is d + 132 + -3 + 4 a prime number?
True
Let x = 952 + -1869. Let t = -576 - x. Is t a prime number?
False
Let i(z) = 136*z**2 + 5*z - 192. Is i(11) a prime number?
True
Suppose m - 31821 = -2*p, -2*m + 3*p - 31026 = -94696. Is m a prime number?
False
Suppose z - 18 = -2*z. Suppose z*t = -0*t + 3810. Suppose -7*v + 12*v = t. Is v prime?
True
Suppose -4*g + 14 = -5*d + 3*d, 3*g + d = 8. Suppose g*q = 2*z - 0*q - 53, 0 = -3*q + 9. Is z composite?
False
Suppose 3*w - 1161 = -42. Suppose -24*i + w = -23*i. Is i composite?
False
Suppose l + 59 + 91 = 0. Let i = 51 - l. Is i a composite number?
True
Suppose -3*n - 50 = 2*n. Let a be n/(-20)*(0 + 6). Suppose 2*q = 3*q + 3*v - 59, -a*q - 5*v = -169. Is q composite?
False
Suppose -w + 5*y + 2980 = -1545, 2*w - 9011 = -3*y. Suppose -2298 - w = -8*n. Is n composite?
True
Let c(o) = -5*o**2 + 12*o + 4. Let k be c(8). Let r = 313 - k. Is r composite?
True
Suppose 3*f - 2*h = 62371, 2*h - 63667 = -5*f + 40274. Is f a prime number?
True
Let c = -24 + 24. Suppose -y + 41 + 276 = c. Is y prime?
True
Suppose -4 - 1 = -5*d, -2*d = 2*h + 5766. Let p = 4687 + h. Suppose 0 = -c - 2*z + 633, 0 = -3*c + 3*z + p + 87. Is c prime?
True
Is (1/(-3))/(6/(-98370)) a composite number?
True
Suppose 4*w - 2 + 22 = 2*p, -p - 5*w = 11. Suppose -p*v - 285 = -r, 2*v - 1050 = -3*r - r. Is r prime?
False
Suppose 5*v = 25, 4*j - 30*v - 19137 = -31*v. Is j a composite number?
False
Let v(x) = 6*x**2 + 28*x - 243. Is v(43) a composite number?
True
Let p(a) = -5*a + 1. Let l be p(-1). Suppose -2*s = -0 - l. Is (-3 - 186/(-9))*s a composite number?
False
Suppose a - 4 = -r, 5*a + 4*r = -0*a + 19. Let j(g) = 30*g**3 + 3*g**2 + g - 1. Is j(a) prime?
True
Let q = -57 - 17. Let u(k) = -50*k**3 - k**2 + k - 1. Let g be u(1). Let r = g - q. Is r composite?
False
Let z be (-34068)/(-14) + 45/(-105). Let k = z - 796. Is k a composite number?
False
Suppose -4*c = -97 - 59. Suppose 5*z + c = -106. Is (-11 + 3)/(-4) - z a prime number?
True
Let r = 20311 - 3870. Is r a composite number?
True
Let i(p) = 367*p - 75. Is i(6) a prime number?
False
Let m(l) = l - 98. Suppose -3*p - 2*p = 0. Let w be m(p). Let k = -19 - w. Is k prime?
True
Let d = 29 - 26. Is (d/(18/44))/((-62)/(-651)) prime?
False
Let l(r) = 32*r - 1. Let b(u) = -u + 1. Let x be b(11). Let h = x - -14. Is l(h) composite?
False
Let g = 32861 + -17790. Is g prime?
False
Suppose 0 = -3*t - 2*g + 25503, 0 = 8*g - 10*g. Is t prime?
True
Suppose 5*q + 8640 = 3*c, q = c - 0*q - 2880. Suppose d - c = -3*d. Suppose 5*f + 3*u = -2*u + d, 4*f + 3*u = 581. Is f composite?
False
Let w = 33 + -19. Let o = -12 + w. Suppose o*q = q + 83. Is q composite?
False
Let z = -5842 + 9039. Is z a composite number?
True
Suppose -3*n + 4*a + 6 = -7, 0 = 5*n + 3*a - 41. Suppose 1052 = -n*k + 9165. Is k composite?
True
Suppose 3*u = -0*d + 5*d - 18, -5*d + 14 = u. Let q be u*(0 - -31) + 4. Is (-821)/(-9) + 6/q a composite number?
True
Suppose -l + 21 = -4*i, 0 = -2*l - 3*i - 3 + 1. Let c = 1 + 2. Suppose -l*u + c*g - g + 283 = 0, -2*u - g = -106. Is u prime?
False
Suppose -3*i = -i - 4. Suppose 6 = -32*d + 35*d. Suppose -i*w = -v + 297, 2*w = -d*w - 12. Is v a prime number?
False
Suppose -l - 2320 = -5*n + 1567, 3*n - 2346 = -4*l. Suppose -4*c + 2102 = n. Is c composite?
False
Suppose -11*k - 1809528 = -35*k. Is k a composite number?
True
Suppose 39*h - 521597 = -176096. Is h a prime number?
False
Let k(p) = -p**2 - 19*p + 12. Let o be k(-21). Is 18/o - (-3398)/5 a prime number?
False
Suppose 2*a - 339 = -c, -a = -3*c + 57 - 230. Suppose x + a = 5*m, x = -5*m - x + 155. Is m a prime number?
False
Suppose -4*o - 424774 = -18*o. Is o composite?
False
Suppose 0 = 8*j + j - 34614. Is j/(-2)*(5 - (-60)/(-9)) composite?
True
Is 4*3086 + (2 - (-7 + 4)) prime?
False
Let r be (-9 + 14)*(-3)/(-5). Suppose 10*o - 2737 = r*o. Is o prime?
False
Let i = 1199 - -1582. Suppose 3*n = -4*r + 2200, -3*n - n = -5*r + i. Is r prime?
False
Let r(x) = -28*x - 5. Let o be r(-8). Let v = o + 88. Is v a composite number?
False
Suppose 5*g = -v + 7672, -2583 = -2*g - 5*v + 472. Let t be ((-21)/(-5))/((-9)/(-45)). Suppose -26*p = -t*p - g. Is p a prime number?
True
Let d be 36/(-18) - (-17 + -1). Suppose -207 = -d*n + 7*n. Is n a prime number?
True
Suppose -p = 2*w - 236, p + 476 = 4*w + 2*p. Let u = -65 - 18. Let z = u + w. Is z a composite number?
False
Is 2238680/180 - (-5)/(-45) composite?
False
Let d(w) = w**3 + 25*w**2 + 8*w - 63. Is d(-11) prime?
True
Is (-53)/265*(-28346 - -1) a prime number?
