- -403. Is t a prime number?
True
Let s = 790 + -471. Is s - (2 - (1 - 1)) prime?
True
Let x be (-3 - -2)*1 + 221. Suppose 6*m + x = 5*m. Is m/8*(-12)/10 composite?
True
Let g(r) = -19*r**3 - r**2 + 7*r + 4. Is g(-3) a prime number?
True
Is ((-118)/(-10))/((-1)/(-5)) composite?
False
Let f = -734 + 1203. Is f a composite number?
True
Suppose -3*f + j + 638 = 0, -2*f + j - 6*j + 414 = 0. Suppose -v - 3*v = -f. Is v a prime number?
True
Suppose 0 = -4*i + i + 282. Suppose -2*r - r + 240 = 5*k, 3*k = r - i. Suppose 4*w - r = -9. Is w a prime number?
True
Let k(h) = -36*h - 5. Let l be k(-6). Let a = l - 96. Is a prime?
False
Let l(a) be the third derivative of -a**4/4 - 2*a**3/3 - 3*a**2. Is l(-5) a prime number?
False
Let w = -55 + 37. Let s be 12/w - (-56)/(-6). Is (-256)/s + 8/20 composite?
True
Let i = 23 + -21. Suppose -i*g + 32 = -42. Is g composite?
False
Is 478 + ((-3)/(-6) - (-2)/4) a composite number?
False
Let p(w) be the first derivative of 4*w**3/3 + 4*w**2 - 4*w - 1. Let k be p(5). Suppose 0 = 2*q + 3*y - 29, 2*y = -5*q + k - 47. Is q a prime number?
True
Suppose -3*m + 76 = -4*m. Let x = m + 143. Is x composite?
False
Let y(u) = u**3 - 7*u**2 + 6*u + 3. Let d be y(6). Suppose -d*n - 576 = -4*a + n, 0 = 3*a + 4*n - 397. Is a a prime number?
True
Let t(d) = 2*d + 5*d**2 + 1 - 4*d + 3*d - 2*d. Is t(4) composite?
True
Suppose j - 1 - 8 = 4*n, 2*n + 5*j + 21 = 0. Is (121/(-4))/(n/12) composite?
True
Suppose 299 = n + 86. Is n a composite number?
True
Let m(u) = -3*u**3 + 2*u**2 + u + 7. Suppose -27 = -5*w - 7. Let z(i) = i**3 + i**2 - i - 1. Let q(d) = w*z(d) + m(d). Is q(-5) composite?
False
Suppose 0 = -3*l + 6*l - 573. Is l prime?
True
Let y = -5 + 7. Suppose -y = 2*q - 6. Suppose 1 = -q*p + 63. Is p prime?
True
Suppose -f = -2*z - 1035, -f = 3*z + 68 - 1113. Is f prime?
True
Suppose -h - 3*h - 196 = 0. Let s = -4 - h. Suppose -3*l + s = -120. Is l a composite number?
True
Let t = 159 - 92. Is t prime?
True
Let l(i) = 2*i**3 + 7*i**2 + 4*i - 8. Is l(7) composite?
False
Let f(v) = v**2 + v + 5. Is f(-11) prime?
False
Suppose 0 = -0*u + 3*u - 288. Suppose -3*a + 5*d = -2*a - u, -3*a + 223 = -2*d. Is a prime?
True
Suppose 5*g - 3333 = 2*g. Is g a prime number?
False
Let h = 5 + 326. Is h a prime number?
True
Let v(x) = x**3 + 2*x**2 - 5*x - 3. Let k be v(-3). Suppose 3*o = -2*c + 151, 0*c + k*o = 5*c - 430. Is c prime?
True
Let m = 104 - -649. Is m prime?
False
Suppose 3*g + 119 = 2*g + 5*m, 0 = -2*g + 2*m - 246. Let a = g + 177. Is a a prime number?
True
Let x(r) be the second derivative of -r**5/20 + 2*r**4/3 - 7*r**3/6 + r**2 - 2*r. Let i be x(7). Let g(q) = 14*q**2 - 2*q + 1. Is g(i) composite?
False
Let j = 17 + -13. Let m(b) = 2*b**3 + b**2 + b + 2. Let a(i) = 5*i**3 + 3*i**2 + 4*i + 5. Let c(l) = -3*a(l) + 8*m(l). Is c(j) a prime number?
False
Suppose -u - u = -c + 8, -4*u - 12 = 0. Suppose -c*k + 775 = 3*k. Is k prime?
False
Let s be -4*(-2 + 1 + -9). Suppose -c + 22 + s = b, -b - 5*c = -74. Is b composite?
False
Let f(w) = -w - 2. Let z(a) = a**2 + 4*a + 4. Let u be z(-4). Let c(l) = -l - 1. Let i(n) = u*c(n) - f(n). Is i(-3) prime?
True
Let s = 1 + 2. Suppose 0 = s*x + f - 16, 10 = x + 3*f - 6. Suppose 66 = -z + x*z. Is z a composite number?
True
Let f(z) = -2 + 12*z + 5 - 5*z. Let j be f(5). Suppose -j = -3*h + h. Is h prime?
True
Let v = 80 - 122. Let y = v - -74. Suppose y = 2*a + 5*u + 9, -4*u = -2*a + 50. Is a prime?
True
Let u = 15 - 11. Suppose 303 = h + g + 71, 2*g = -u*h + 934. Is h prime?
False
Let b(v) = -v**3 - 8*v**2 + 4*v - 14. Is b(-13) a composite number?
True
Let b(v) = 98*v - 3. Is b(4) a composite number?
False
Let x = -8 + 26. Suppose -x + 77 = y. Is y prime?
True
Suppose -11607 = -5*k - a, -4640 = -2*k + 2*a - a. Is k a composite number?
True
Let u be (1 + 0)/(1/(-2)). Is (-5)/((-1)/(u - -15)) a prime number?
False
Suppose m = 3*u - 1408, -4*u + m = 3*m - 1874. Is u composite?
True
Let k(f) = 78*f**2 + 9*f - 6. Let c be k(9). Is c/21 - 12/(-21) a prime number?
False
Is (2 - (-9)/(-3))*-69 composite?
True
Let v(t) = t**2 - 5*t. Let o be v(8). Suppose -o = -5*d - 2*l, -5*d + 36 = -0*l - 2*l. Suppose -4*p = -4*m - 280, p + 11*m - 64 = d*m. Is p a composite number?
True
Let v(n) = 7*n**2 - 11*n + 4. Let c(f) = -3*f**2 + 5*f - 2. Let x(t) = 5*c(t) + 2*v(t). Let o be x(2). Suppose 159 = -o*y + 3*y. Is y a composite number?
False
Let m = -4 + 8. Is (-1 - m)/((-2)/4) a prime number?
False
Suppose -y + 2*y - 4 = 0. Is (y + 30)*(-22)/(-4) prime?
False
Let s = -4 - -4. Let k(p) = -p**3 - p**2 + 2. Let o be k(s). Is (1/o)/(3/1554) a composite number?
True
Let u = -3 + 6. Is 39*u/((-9)/(-7)) composite?
True
Is (4677/6)/((-8)/(-16)) prime?
True
Suppose -5*y - 4 = -24. Suppose 0 = -y*l - 0*l + 12. Suppose -3*x + 4*x - 33 = -q, -l*x - 2*q + 97 = 0. Is x a prime number?
True
Suppose 0 = -y - 4*w - 47 + 258, w = 2*y - 404. Is y a composite number?
True
Suppose 4*v = -3*c - 2*c + 10086, v - 2518 = -3*c. Suppose 6*p - 2*p - v = 0. Is p a composite number?
False
Is 11371/3 + 50/75 a composite number?
True
Suppose -3*g = -5*v - 3 + 7, 5*v + g - 12 = 0. Suppose 36 = 2*z - v. Is z prime?
True
Let f = -506 + 1011. Is f composite?
True
Let a be 2 + -1 + 1 + -741. Let v = 1046 + a. Is v prime?
True
Suppose 0 = -2*y + 6 + 62. Is y a prime number?
False
Let z(t) = t**2 - t + 1229. Is z(0) composite?
False
Let y(o) = 3*o - 3. Let b be y(2). Suppose 0*n + 4*n - 2*l = 6, 0 = b*n - 3*l - 12. Is (-3)/((-3)/((-3)/n)) prime?
True
Suppose 71*a - 76*a = -2255. Is a prime?
False
Suppose 3*v + 1236 + 185 = 4*w, -693 = -2*w + 5*v. Is w a composite number?
False
Let m(j) = -j**3 + 3*j + 4. Is m(-3) composite?
True
Let j = 296 - 78. Suppose -s + j = 17. Is s composite?
True
Suppose 4*o = -4*w - 0*o + 40, -3*w + 29 = 4*o. Suppose -4*n - w = -103. Suppose -h + 2*v + n = v, 2*h - 58 = 5*v. Is h a composite number?
False
Let o be (-2)/((-4)/6)*127. Suppose -4*k = z - o, -z + 5*z - 396 = -4*k. Is k prime?
False
Is (-3585)/(-65) - 4/26 a composite number?
True
Suppose 2*j - 5*g + 4*g = 1941, 0 = -5*j - 2*g + 4875. Is j prime?
False
Let o(x) = 10*x**3 + 4*x**2 - x + 2. Is o(5) composite?
True
Let p(r) = 5*r**3 - 2*r**2 - 5*r + 1. Is p(6) a prime number?
False
Let z(t) = 140*t - 7. Let p(v) = 1. Let a(j) = 6*p(j) + z(j). Is a(1) prime?
True
Let b(k) = -k**3 - 2*k**2 + 8*k. Let r be b(-6). Suppose -2*i + r = -58. Is i a prime number?
False
Let f be (-411)/(-15) + 4/(-10). Let g be f/6*(-2)/(-3). Is g/(6/(-2)) - -20 prime?
True
Let m(o) = -o + 4. Let n be m(5). Let d be n/((2 + -1)/(-6)). Let i(f) = -f**3 + 7*f**2 - 4*f + 7. Is i(d) composite?
False
Let r(s) = -s**3 + 2*s**2 - 5*s. Suppose 4*o + 3*w = 1, 2*w = 6*w + 20. Let z be r(o). Let y = 1 - z. Is y a prime number?
True
Let z(c) = 3*c - 14. Let l be z(10). Suppose -5*r = -l + 1. Suppose 4*n = -5*q + 173, -5*q - 39 = -r*n - 233. Is q a composite number?
False
Let y = -480 + 1053. Is y a prime number?
False
Let o(h) = h - 5. Let m be o(9). Suppose 5*f - 395 = -0*f. Suppose 3*k = m*k - f. Is k prime?
True
Let h(w) = -39*w - 4. Is h(-2) a composite number?
True
Let g = 2678 - 1093. Is g prime?
False
Suppose 6*d = 5*d. Suppose -3*p = -5*p + 50. Let q = d + p. Is q composite?
True
Suppose 9 - 3 = 3*a. Suppose a*j + 5 = -1. Is (j + 1)*57/(-6) a prime number?
True
Let t(p) = 56*p - 6. Is t(2) prime?
False
Let b = 42 + -23. Is b a composite number?
False
Let o(t) = -2*t**2 + 7*t. Let f be o(3). Suppose -b = f*b - 76. Is b prime?
True
Suppose -2*n - 2*c + 6 = 0, -4*n + 4*c + 24 = n. Suppose -2*p = -0*o - 5*o - 351, -5*p - n*o + 795 = 0. Let u = 368 - p. Is u a prime number?
False
Let o(m) = 3*m**3 - 2*m**2 + m. Let b be o(1). Let h be b - (2 - 2)/(-1). Is h/((-6)/(-9)) + 34 composite?
False
Suppose 24 = -2*g - 24. Let k = g - -39. Is k prime?
False
Let l = 428 + -205. Is l prime?
True
Let j(a) = -243*a - 8. Is j(-9) a composite number?
False
Let j = 9 - 9. Is (j + -46)/(26/(-143)) a composite number?
True
Let n be 2*(-1)/4*-6. Suppose 0 = 5*p - n*z - 1840, -2*p + 2*z + 732 = -0*p. Is p prime?
False
Let i(m) = -5*m - 3. Let o(g) = -9*g - 7. Let l(u) = -5*i(u) + 3*o(u). Is l(-4) composite?
False
Let b(q) = q**2 + 2*q - 4. Let m be b(-4). Suppose -2*t = 2*z - 168, m*z = -4*t + z + 335. Is t a prime number?
True