. Suppose d*q + 2*p = 20, 4*q + 27 = 5*q + 5*p. Suppose 151 = q*s - 6*u + u, 2*s - 4*u - 154 = 0. Is s a prime number?
True
Let j(f) = 108*f**2 - 17*f + 31. Is j(10) a composite number?
True
Suppose 3*c = -511 + 4387. Let v = c + -891. Is v prime?
True
Suppose -4*k = 5*o - 3*k, 0 = 4*o + 2*k. Suppose o = -9*j - 5*j + 8890. Is j composite?
True
Let x be 9/12 + (-3)/4. Suppose -u = -x*u. Suppose u = -t - 4*z + 207, 0 = -t - 0*t + 4*z + 199. Is t composite?
True
Suppose 4*y + 1422 = c, 3*y + 2222 = 2*c - 597. Suppose -48*z + c = -46*z. Is z composite?
False
Let r(z) = -17216*z**3 + 2*z**2 + 2*z + 2. Is r(-1) a prime number?
False
Suppose -4*m = -5*m + 2*f - 5, 4*m + 3*f = 2. Is m + -12*(-494)/4 a composite number?
False
Let x = 1278 + 3028. Is x composite?
True
Let m = 116 - -127. Suppose b = 6*b - 20. Suppose 3*q = -3*l - 0*l + 246, -m = -3*l - b*q. Is l a prime number?
False
Let a(u) = -u + 3. Let f be a(5). Let d be ((-10)/(-15))/(f/(-9)). Suppose -22 = -d*o + o. Is o prime?
True
Let y(o) = 54*o**2 - o - 4. Let q be y(-3). Let l(w) = w**2 + 4*w - 7. Let v be l(-6). Suppose v*f + q = 1755. Is f composite?
True
Suppose 3*j + s - 9 = 32, 4*s - 52 = -4*j. Let t = j - 14. Suppose -92 = -t*o - 4*o. Is o composite?
False
Let p(q) = -3*q**3 - 3*q**2 - q. Let i be p(2). Let a = i - -95. Is a a composite number?
True
Suppose 2*u - 8*u + 108 = 0. Suppose u = b + 2*b. Is (8/b)/(36/1998) prime?
False
Let w be (2 - 6) + (-18)/(-3). Suppose -w*u + 106 = -u. Is u composite?
True
Suppose 4*k = 3*v - 1415, v - 239 = -2*k + 226. Is v a prime number?
False
Let k = 222498 - 119183. Is k a prime number?
False
Let s(r) = -4 - 4*r**3 - 3*r**2 + 11 + 5*r**3 - 6*r - 4*r**3. Suppose -2*f + f = 6. Is s(f) a prime number?
False
Let i be (2 - 2 - 18) + 1. Let p = i - -20. Suppose 50 = -r + p*r. Is r a prime number?
False
Let x(m) = m**2 - 4*m - 1. Let s be x(6). Suppose s*a - 2*a = 7173. Is a composite?
False
Is ((-11118)/136)/((-6)/2008) a composite number?
True
Let n = 103 + -336. Is n/(-4) - (7 - (-54)/(-8)) a prime number?
False
Let b be 0*(1 + 4)/(-5). Is (-1 - b) + -1 - -471 a composite number?
True
Let t(j) = 117*j - 10. Let s be t(5). Suppose 4*a = -a + s. Is a a composite number?
True
Suppose -6*h + 20*h = 266182. Is h a prime number?
True
Suppose 0*a - 2*t = -a + 10, -2*a + 5*t + 23 = 0. Suppose -h + 274 = -a*f, 4*h - 3*f - 1085 = 2*f. Suppose 20 = 2*p - h. Is p prime?
False
Is (-52282)/10*(-7 + 2) composite?
False
Let a(d) be the second derivative of 115*d**3/3 - 17*d**2/2 + 21*d. Is a(3) a composite number?
False
Let v(d) = 3*d**2 - 7*d + 1. Let b(p) = 4*p**2 - 10*p + 1. Let a(k) = -5*b(k) + 8*v(k). Let y = 33 - 25. Is a(y) composite?
False
Let s(o) = 205*o**2 + o + 2. Let v be s(-2). Suppose i = 4*t - 661, -4*i - v = -5*t - 9*i. Let r = 470 - t. Is r a composite number?
True
Let f(t) = 4*t**2 - 3*t + 4. Suppose 2*u - 5*i - 38 + 17 = 0, -4*u = -5*i - 27. Is f(u) composite?
False
Let r(j) = -66*j**3 - 42*j**3 + 2*j - 6 + 2*j**2 + 7 - 36*j**3 + 26*j**3. Let h(o) = o**2 + 3*o - 1. Let w be h(-3). Is r(w) a composite number?
True
Let q = 7 - 4. Suppose -2*m + q = -1. Suppose -m*x + 222 = -0*x. Is x composite?
True
Let b(q) = -q**3 - 6*q**2 - 9*q - 1. Let c be (-55)/9 - 3/(-27). Is b(c) a prime number?
True
Suppose k = 2*k - 164. Suppose 6*b - 3*b - 38 = -v, 3*v - b = k. Is v a prime number?
True
Suppose 4*f = -5*n + 31601, -4*f - 3249 = -n + 3052. Is n a prime number?
True
Let i(z) = z + 1. Let p be i(4). Suppose -4*d - 40 = p*a, 3*d + 35 = -5*a - 2*d. Is a/(-21) + 18915/35 prime?
True
Let y(z) = 504*z**3 - 6*z**2 + 13*z - 16. Is y(3) a prime number?
True
Let l = 238 - 429. Let i = 352 + l. Is i composite?
True
Let b(a) = -1122*a + 77. Is b(-3) composite?
True
Suppose -3*k - 240 + 2013 = 0. Suppose -2*m + k = 3*t + 84, t = 3. Suppose -i + m = 2*i. Is i composite?
False
Let i(a) = 2*a + 40. Let s be i(-18). Is 7886*((-18)/(-4) - s) a composite number?
False
Let d = -2379 + -569. Let q = 9487 + d. Is q a composite number?
True
Let k(l) = 319*l - 64. Is k(13) a composite number?
True
Let q(c) = -c**3 - 2*c**2 + c. Let y be q(-3). Let h be y/(-9) - (-33)/9. Suppose -h*k - b = -998, -b + 5*b - 351 = -k. Is k prime?
True
Let v(j) = -1062*j**3 - j**2 - j - 1. Suppose -10*k + 7*k - 3 = 0. Is v(k) a composite number?
False
Suppose -2*h - 99 - 1129 = 0. Let q(f) = 26*f - 64. Let y be q(3). Is (-12 + y)*h/(-4) composite?
False
Let l(h) = 2*h**3 - 8*h**2 - 10*h + 31. Let q = -29 + 41. Is l(q) prime?
False
Let l be (-15)/(-4) + (-72)/96. Suppose -l*i = -267 - 612. Is i composite?
False
Let i = 29 - 29. Suppose l = -2*c + 913, i = -2*c - 2*c - 12. Is l a composite number?
False
Let z(n) = 10*n**2 - 29 + 6*n - 7 + 3*n + 1. Is z(14) composite?
True
Let p(i) be the third derivative of i**5/15 + i**4/12 - 7*i**3/6 - i**2. Is p(-14) composite?
True
Let z be (-6 - -2) + 2 + 2. Suppose z = 9*r - 12*r + 753. Is r composite?
False
Let v(i) = -6*i**3 + 2*i**2 - 4*i. Let o be v(-4). Suppose 0 = -2*n - 0*n + o. Suppose 0 = 2*z + 2*c - n, 3*z - 498 = 2*c - 159. Is z prime?
False
Let s(f) = -736*f**3 - 3*f**2 + f + 5. Is s(-2) prime?
True
Is ((-22105)/20)/((-5)/20) composite?
False
Is (-4)/((-24)/33138) + -10 composite?
True
Let m = -1893 + 4410. Let r = m + -1020. Suppose -5*s = -4*p - r, -5*p = 4*s - 7*s + 893. Is s composite?
True
Let w(z) = -z**3 - 5*z**2 + 2*z - 5. Let q(c) = -c**3 - 13*c**2 + c + 6. Let k = -27 + 14. Let n be q(k). Is w(n) composite?
False
Let f(t) = -t**3 + 4*t**2 + 2*t - 3. Let j be f(4). Suppose -1983 = -6*d + j*d - 2*u, 2*u + 3978 = 2*d. Is d composite?
False
Suppose -i - y = -11029, -y - 53678 = -4*i - 9572. Is i composite?
False
Let i be (10/(-4))/(2/140). Let t = -69 - 191. Let b = i - t. Is b composite?
True
Let i = -79 - -46. Let w = 186 + i. Suppose 0 = -5*n + 32 + w. Is n composite?
False
Let v = 5983 - -4024. Is v prime?
True
Suppose 21*s + 9810 = 24*s. Suppose 8335 = 3*f + x, 3*f - 2*x - s - 5071 = 0. Is f a composite number?
True
Let y(v) = 13*v**3 + 2*v - 1. Let w be y(1). Let s be (-7)/2*(-12)/w. Suppose -o - s*x = -68, -o + 410 = 4*o + x. Is o composite?
False
Let r = -242 + 85. Let d = r + 109. Is -4*4/d*447 a composite number?
False
Suppose 0 = -2*h + 2*s + 8650, 0 = -3*h - s + 8416 + 4567. Is h composite?
False
Let q(r) = 851*r**3 + 4*r**2 - 3*r + 3. Is q(2) prime?
False
Let h = -16 - -30. Is h/4*(-24)/(-42) a prime number?
True
Suppose 18388 + 10439 = 9*p. Is p prime?
True
Suppose v + 4*q = 711, -4*v + 238*q + 2929 = 237*q. Is v prime?
False
Is (-69)/(-27)*-3*-3 a prime number?
True
Let f(n) be the first derivative of -n**4/2 - 4*n**3/3 - n**2/2 - 7*n - 2. Let l be f(-5). Suppose l = 5*o + 43. Is o a composite number?
True
Let j = -84708 + 159061. Is j composite?
False
Let d(q) = 4*q**3 - 9*q**2 - 6. Let w(m) = -3*m**3 + 8*m**2 + m + 5. Let c(p) = -2*d(p) - 3*w(p). Let k = 12 - 5. Is c(k) a composite number?
True
Suppose -8 = -7*z - 64. Let p be 4/z*-7*-2. Is (-803)/p - (-16)/56 prime?
False
Suppose -5*m - 5*d + 7505 = 0, 3*m + 4*d = 9*d + 4487. Suppose a = 2*f - 114 + 627, -3*a - 2*f + m = 0. Is a prime?
True
Let s(u) = -131*u. Let f be s(-1). Let p = 578 + -484. Let h = f - p. Is h a prime number?
True
Suppose 44*o = 33*o + 260887. Is o composite?
True
Let f(z) = 5*z - 2. Let h = 6 + -10. Let l be f(h). Let r = 45 - l. Is r prime?
True
Suppose -2*z - 5*g + 6608 = 0, -2*z = -3*z + 3*g + 3293. Is z composite?
False
Let p(z) = z**3 - z + 884. Let u be 2 - -1*10/(-5). Let g be p(u). Suppose -91 + 1188 = 5*i - 3*n, -4*i + g = -4*n. Is i a composite number?
True
Suppose -4*m - 5*z + 63081 = 0, 5*m + z = -19112 + 97958. Is m a composite number?
True
Suppose -5*q = 34 - 864. Let o = 371 + q. Is o prime?
False
Suppose -4699 = -4*i + 2*a + 33911, -2*i = a - 19315. Is i a prime number?
False
Suppose 25*a = 11*a - 70. Is 459 + (-4)/(-1)*a/10 a composite number?
False
Let a = -51 + 50. Is 1224/(8 - 4) + 2 + a prime?
True
Suppose 3*m - 12 = 0, -3*m - 405 = -n + m. Let c = n + -170. Is c prime?
True
Let w(p) = 90*p**3 + 3*p**2 + 6*p - 14. Suppose 2*s - 23*s + 63 = 0. Is w(s) a composite number?
True
Let f(p) = 15*p**2 - 12*p + 13. Let l be f(-16). Suppose 0 = 41*d - 40*d - l. Is d a prime number?
False
Let s(j) = j**3 - j**2 - 2*j + 5. Let r be s(0). Suppos