3 - 9*b. Let l be x(-7). Suppose -8*w - 5*o = -5*w - 109, -2*o = 4*w - l. Is w a prime number?
False
Let r = -134 + 233. Let t = r - 44. Is t a prime number?
False
Suppose -2 = -2*a - 0*a, -3*v = -5*a - 10. Suppose -5 = 5*z, 0 = -4*r + v*z + 8 + 9. Is r prime?
True
Let i(f) = -f**2 + 5. Let u be i(3). Is (326/u)/(3/(-6)) a prime number?
True
Let y(x) = x - 2. Let j be y(5). Suppose 5*t - 188 = -j*n, 3 = -0*n + 3*n. Is t a prime number?
True
Let a(z) be the second derivative of z**5/20 + 33*z**2/2 + 6*z. Suppose 0 = -3*d - 2*s + 3 - 1, -3*d = s - 1. Is a(d) a composite number?
True
Suppose -2*l - 615 = -5*l. Is l a prime number?
False
Is (-4 - (394/(-3) - 3))*3 a composite number?
True
Let g = 1318 + 225. Is g composite?
False
Let z(c) = c**3 + 7*c**2 - c + 4. Suppose 0 = 2*m + 2*m + 20. Is z(m) a prime number?
True
Suppose 5*f - 58 = -2*u + f, 4*u - 56 = 4*f. Let t = u + -10. Is t a prime number?
False
Let o = -6482 + 10765. Is o a prime number?
True
Let t(o) = o**3 + 15*o**2 - 18*o - 25. Is t(-12) a composite number?
True
Suppose 2*t + 1371 = 5*t. Is t a prime number?
True
Let j be -6*(-4 - 46/(-12)). Is 90 + 0 + j + -2 composite?
False
Suppose -3*m + 140 = -m. Let z be 58/10 + 1/5. Suppose z*h = 4*h + m. Is h a prime number?
False
Suppose -q - 3*i + 2285 = q, 4573 = 4*q + 5*i. Is q prime?
False
Let p(o) = 312*o - 1. Is p(5) a composite number?
False
Let b be 10/(-3)*(-24)/10. Let a(o) = o**2 + o - 1. Let p(g) = -4*g**2 - 11*g - 4. Let w(z) = 5*a(z) + p(z). Is w(b) prime?
True
Is 842/4 - (-2)/4 composite?
False
Let z(m) = 35*m**2 + 2*m - 7. Is z(-4) prime?
False
Let l(c) = -254*c - 1. Is l(-1) a prime number?
False
Suppose 5*v - 11 = 14. Suppose 3*r = v*f - 1401, 2*f - 4*f - 456 = r. Is (-1)/(2/(r/3)) a composite number?
True
Suppose -5*a = -5*n - 35, -2 = a - 2*a - 4*n. Suppose -a*c + 3*c = 0. Let w = 15 - c. Is w prime?
False
Let y(z) = 0 + 5*z - z - 4*z**2 - 3. Let s be y(3). Let n = s + 38. Is n a prime number?
True
Let y(t) = t**3 - 4*t**2 + 4*t - 3. Let s be y(3). Suppose 0 = -4*r - s*r + 260. Is r a prime number?
False
Let f be 2*(3 + 1 + -3). Suppose f*y + 11 = 237. Is y a composite number?
False
Suppose 1809 = 4*z - 5395. Is z composite?
False
Let b(z) = z**2 + 7*z - 13. Let j be b(-9). Suppose j*s = s + 4. Is -1 + (5 - s) - -64 a prime number?
True
Is 38949/9 + 0 - (-18)/(-27) prime?
True
Suppose 3*c + 2*i = 4, 5*i - 8 = -c + i. Let v(z) = 2*z - 38. Let a(t) = -t + 19. Let j(x) = 5*a(x) + 2*v(x). Is j(c) prime?
True
Suppose 3937 - 494 = q. Is q a composite number?
True
Suppose 5*c - 10 = 0, -3*c - 7 + 3 = -2*o. Suppose 3*g - o*n = 139, -5*g - 2*n - 77 = -350. Is g composite?
False
Let z be (-1 - 1) + (0 - 2). Let s = 8 + z. Suppose 6 = s*p - 50. Is p a prime number?
False
Let f(q) = -23*q**3 + 8*q - 11. Let u(x) = 35*x**3 - 12*x + 17. Suppose -5*o - 12 = 13. Let g(k) = o*u(k) - 8*f(k). Is g(2) composite?
False
Let a(o) be the second derivative of 53*o**4/12 + o**3/6 + o**2/2 - 4*o. Is a(-1) a prime number?
True
Let j(t) = 79*t**2 + 3*t + 5. Is j(-3) composite?
True
Suppose 1 - 9 = -2*h + 2*b, 2*b = 2. Suppose -h*n = -0*n. Is 15*(-3)/(n - 3) prime?
False
Suppose 4*z = -0*z + 36. Let v(b) = 3 - z + 0*b - 5*b. Is v(-5) a prime number?
True
Let o = -6 + 4. Is o/11 - (-1953)/33 a prime number?
True
Suppose 0 = 2*c - 5*y, -c - 3*y = c. Let d(r) = r**2 + 21. Is d(c) a composite number?
True
Let m(h) = -h**3 - 14*h**2 - 2*h + 4. Let f(u) = -u + 2. Let r be f(-3). Let o(w) = w**3 + 13*w**2 + 3*w - 3. Let i(q) = r*m(q) + 6*o(q). Is i(-6) prime?
False
Let k be (-8)/(-12)*(2 + 1). Suppose -3 - k = -5*a. Is (a*23)/((-5)/(-5)) composite?
False
Suppose 3*o = 16 + 2. Let k(n) = n**3 + 2*n**2 - 6*n + 5. Is k(o) prime?
True
Let w(h) = h**3 + h**2 + h. Let t be w(0). Let o = 11 + t. Is o a prime number?
True
Let n(i) = -i**2 + 4*i - 2. Let y be n(6). Let z be 2599/7 + 4/y. Suppose 0 = 2*s - 5*s - a + 376, -z = -3*s - 2*a. Is s a prime number?
True
Let h(y) = y**2 - 7*y + 41. Is h(17) a composite number?
False
Let d = -12 + 8. Let p = 4 + d. Suppose 0 = -p*y + 2*y - 134. Is y a composite number?
False
Let r be 1/(-4) - 17/(-4). Let z = 7 - r. Suppose 0*k - 3*k = 6, 5*k - 35 = -z*p. Is p a composite number?
True
Suppose -q = -94 - 69. Is q a prime number?
True
Let h = -1300 + 1881. Is h composite?
True
Let j = 631 + -981. Let b = j + 589. Is b a prime number?
True
Let o = -22 + 339. Is o a prime number?
True
Let z(k) = 3*k**3 + k**2 + k - 1. Let q be z(1). Suppose 5*b + 2 - 12 = 0. Suppose 0 = -4*a - c - 42 + 274, b*c = -q*a + 228. Is a composite?
False
Suppose 0*f - 10 = -5*f. Suppose f*p = 20 + 86. Is p a composite number?
False
Let b = 21 + -19. Suppose 0 = 3*c + b*m - 360, 2*m - 366 = -3*c - 2*m. Is c a prime number?
False
Let k(b) = -b**3 + 10*b**2 - 2*b + 15. Let y be k(10). Let s = 16 + y. Is s prime?
True
Let z = -5 + 8. Suppose -2*x + 3*v = -1, -z*v - 6 = -5*v. Suppose l = x*l - 184. Is l prime?
False
Let r = 18 + -44. Let h = r - -65. Is h a prime number?
False
Let l = 1210 - 470. Let r = -424 + l. Let t = r + -161. Is t a prime number?
False
Suppose 0 = -3*a - 2*j + 3*j + 753, 0 = -5*a - 5*j + 1255. Is a composite?
False
Suppose -18 = c - 4*x, 19 = 2*c + 2*x + x. Is -1 + 47 - (1 + c) a composite number?
False
Suppose 0 = -6*t + 7*t + 459. Let p = 778 + t. Is p composite?
True
Let m(c) = -110*c + 79. Is m(-17) a composite number?
False
Let v(y) = y - 3. Let i be v(8). Suppose i*w = 2*w - 9. Is (-9)/w + 19/1 prime?
False
Let b(y) = y**2 - 4*y + 2. Let h be b(2). Let q = 2 + h. Suppose q*o - z + 171 = 2*o, z = -4*o + 337. Is o a prime number?
True
Suppose -3*y + 2*a + 5 = 0, 4*y - 2*a + 10 = 6*y. Let c be 23/y - (-8)/(-12). Is (c/(-2))/((-5)/70) prime?
False
Let a(y) = -67*y + 4. Let c be a(2). Let q = c + 183. Is q a composite number?
False
Let g(p) = 3*p - 2. Let c be g(2). Suppose -55 = -a - c*a. Is a prime?
True
Suppose 4*z + 526 - 5194 = -h, -h = -z + 1172. Let r be (0 + z)*6/12. Suppose -5*i - 3*a + r = 0, -i + 5*a + 28 = -72. Is i a composite number?
True
Let c = 191 - 129. Is c composite?
True
Suppose -4 = k + 4*w + 2, -3*k = 3*w - 9. Suppose -5*n + 1539 = -2*a, -k*n + 1545 = -n - 5*a. Is n composite?
False
Let j be 1 + (-3 - -2) - 6. Is ((-1203)/j)/((-5)/(-10)) prime?
True
Let u = 589 + -291. Is u a prime number?
False
Let w(h) = 52*h**3 + 2*h**2 - 4*h + 3. Let u be w(2). Suppose j - u = 527. Is 6/15 - j/(-10) prime?
False
Suppose -236 + 1504 = 4*s. Is s composite?
False
Let a be (2070/8)/((-4)/(-16)). Suppose -3*h - 4*o = 2*h - 1053, -5*h = -5*o - a. Is h composite?
True
Suppose 8 = 2*n + 2*n. Suppose 0 = w + n*w. Suppose 0 = 3*j - w*j - 111. Is j composite?
False
Let m(h) = -640*h**3 - h**2 - 3*h - 1. Is m(-1) composite?
False
Let d(u) be the third derivative of u**4/24 + 115*u**3/6 - 4*u**2. Is d(0) prime?
False
Let u(w) = -376*w. Let s be u(-1). Let j be (s/4)/(2/3). Suppose -o = 2*o - j. Is o a composite number?
False
Suppose 326 = -11*o + 9*o. Is o/(-3) + 20/30 composite?
True
Is 293 - (-1)/5*0 a composite number?
False
Let h = 1 + 2. Suppose r = -3*r - b + 11, -r - h*b = 0. Suppose 4*j = i + 56, -r*j + 5*i = -31 + 6. Is j a prime number?
False
Let q(m) = -m**3 - 9*m**2 - 8*m + 9. Let y = 10 - 5. Let l = y + -13. Is q(l) composite?
True
Suppose 0 = -4*b + 5*b + 30. Let r = b - -51. Is r composite?
True
Let t = -5 - -8. Suppose -2*w + 459 = 5*g - 4*w, -267 = -t*g - 3*w. Is g/3 + (-8)/(-12) prime?
True
Let x = 1177 + -768. Is x a composite number?
False
Let n(g) = -g**3 - 8*g**2 + 17*g - 19. Is n(-14) a composite number?
False
Is (1/(-3))/((-7)/(-7077)*-1) a prime number?
True
Let r be ((-1)/(2/(-10)))/1. Is (-115)/r*-1*1 a prime number?
True
Suppose 1729 = j - 4480. Is j prime?
False
Let h(g) = g - 1. Let m be h(2). Is (-228)/(-2) - (m - 2) composite?
True
Suppose 3*d = -0*d + 1659. Is d prime?
False
Let l(g) = g**3 + 6*g**2 - 5. Let c be (-46)/8 - (-2)/(-8). Let b be l(c). Let m = 9 - b. Is m prime?
False
Suppose -n = -u - 80, 2*n - 3*n + 98 = 5*u. Is n a prime number?
True
Let i = 3914 - 2257. Is i composite?
False
Suppose f - 3*q = 5, -4*f + 0*q = -q - 20. Suppose -f*w + 712 + 33 = 0. Is w prime?
True
Let b = -2 - -6. Suppose -b*t - y = -2*y - 229, 5*t = -y + 293. Is t composite?
True
Let s be (-4)/14 + (-76)/28. Let c(x) =