k = -4*u + 4693. Is k prime?
True
Let k = -78 - -313. Is k composite?
True
Let n = 1 + 1. Let v be n/(-1) + 3/(-1). Let d(y) = y**3 + 6*y**2 - 6. Is d(v) composite?
False
Suppose 3*p = 5*r - 15 + 49, -r + 4 = 3*p. Let k(y) be the third derivative of y**6/60 + y**5/30 + y**4/12 - y**3/6 - 2*y**2. Is k(p) a prime number?
False
Let t(o) = 41*o + 33*o - 2 + 3 + 0. Let f be t(3). Let m = 426 - f. Is m a prime number?
False
Is (21/28)/(2/88) composite?
True
Let f = -678 + 1099. Suppose 0*y - 5*q + f = 3*y, 0 = -2*y - q + 269. Suppose -o - 5 = -y. Is o a prime number?
True
Let s = 249 + -160. Is s composite?
False
Suppose -2*w = -3*w + 1. Is (-127)/((-1 + 0)*w) a prime number?
True
Suppose -4*i = -656 - 56. Suppose 4*v - s = -0*v + 237, 0 = 3*v - s - i. Is v prime?
True
Let v(h) = -h**2 - 15*h - 11. Is v(-11) prime?
False
Let t(y) be the third derivative of y**6/120 + y**5/6 + y**4/3 - y**3 + 2*y**2 + y. Suppose -5*h - 21 = -2*h. Is t(h) a composite number?
True
Let s(q) = 25*q**3 - 5*q**2 + 5*q + 1. Let m(z) = -25*z**3 + 4*z**2 - 4*z - 1. Let k(v) = 5*m(v) + 4*s(v). Is k(-2) prime?
True
Let t(z) = z**3 - 8*z**2 + 3*z - 1. Suppose -5*r = -10, -12 = -2*o - 5*r + 2*r. Let y = o + 5. Is t(y) prime?
True
Let x = 1250 - -7. Suppose 17*k - 20*k + x = 0. Is k a composite number?
False
Let p(q) be the third derivative of q**4/6 + 3*q**3/2 + q**2. Is p(6) a prime number?
False
Suppose -58 = 2*j + 3*o - 295, 0 = -j + 3*o + 132. Let c = j + -68. Is c prime?
False
Let a be (-2)/(-3)*(-18)/(-6). Suppose -2*q + 160 = -2*s - s, a = -s. Is q a composite number?
True
Let g = -7 - -13. Is (g/(-9))/(2/(-291)) prime?
True
Suppose 0 = -o - 4*l - 24 + 6, 4*l + 8 = 0. Is ((-127)/2)/(5/o) composite?
False
Suppose 0 = -5*v - 2 - 3. Let d be (v + -2 + 1)*-1. Suppose -3*z + z - d*p + 28 = 0, -4*p = 2*z - 34. Is z composite?
False
Is (0 - -186) + (-1 - -2) a composite number?
True
Let w(u) = u**3 + 5*u**2 + 4*u. Let s be w(-4). Suppose s*t = -5*t + 105. Suppose t = 3*q - 2*q + 2*o, 2*o = 8. Is q a prime number?
True
Let q(k) be the second derivative of 79*k**3/6 + 3*k**2/2 - 3*k. Let b be q(4). Suppose b = 4*p - 13. Is p prime?
True
Suppose -l = -r + 110, 5*l = -5*r + 696 - 136. Suppose 3*o = r + 51. Suppose -3*d + o = -4*h + 7*h, -77 = -4*d - 3*h. Is d a prime number?
True
Suppose -11940 = -4*l - 892. Is l a composite number?
True
Let i(s) = s**3 - 5*s**2 + 2*s - 6. Let z be i(5). Suppose o - 26 = -5*w, 22 = 3*o + w - 0. Is (100/6)/(z/o) composite?
True
Let v(n) = 33*n**2 - 15*n + 5. Is v(11) composite?
False
Let l be (3 - 5) + 2 + 2. Suppose l*c - 4 - 2 = 0. Suppose c*i - 8*i = -705. Is i composite?
True
Suppose 8*f - 426 = 2*f. Is f composite?
False
Let s(f) = -3*f - 9. Let h(u) = -u - 1. Let i(x) = 2*h(x) - s(x). Let g be i(-5). Let j = g - -35. Is j composite?
False
Suppose f + 3*m = 0, -2*f + 3 + 1 = 2*m. Suppose 0*p + 255 = -f*p. Let u = 132 + p. Is u a composite number?
False
Suppose 0 = -2*v + 53 + 25. Suppose -5*j - k + 384 = 0, -5*j = 2*k - 482 + 94. Let o = j - v. Is o a prime number?
True
Let f be (1 - 1)/(1/(-1)). Suppose -2*i - 6 = 4*v - 18, i + v - 8 = f. Is i a composite number?
True
Let h(j) be the first derivative of j**4/4 - j**3 - 5*j**2/2 + 4*j + 2. Let i be h(4). Suppose i*u + 230 = 5*u. Is u a prime number?
False
Suppose -732 = -3*a + 2*t, 0 = 5*a + 5*t - 3*t - 1204. Suppose -3*d + a = -5*u + 9, -3*u = 3*d - 225. Suppose -d = -2*f - 3*h - 29, 5*h + 42 = 3*f. Is f prime?
True
Let q(j) = 2*j - 5. Let o be q(5). Suppose -h + 5*u - o - 4 = 0, 2*u + 14 = 2*h. Is h a composite number?
False
Let x be 4/14 + 688/(-7). Let t = 1 - x. Suppose -2*k = -t + 33. Is k prime?
False
Let a be (-1972)/(-26) + 22/143. Suppose -3*f + a = f. Is f prime?
True
Let q = 8 + -5. Suppose 8*j = q*j - 105. Let s = j - -110. Is s a composite number?
False
Suppose 5*q - 171 = 19. Suppose -35 = m + q. Let j = -36 - m. Is j a composite number?
False
Let m(l) = l**2 - 3*l + 1. Let n be m(2). Is 3 - ((-30 - n) + 1) a composite number?
False
Let g(v) = v - 3. Let f be g(5). Suppose -5*h - 819 = -f*u - 2*u, u + 3*h = 226. Is u a prime number?
True
Let h be 2/2*-1 + 0. Let y = h - -4. Suppose -2*g = y*x - 10 - 14, 3*g - 4*x = 2. Is g prime?
False
Suppose -4*l + 3*z + 2691 = 0, 2*z = 2*l - z - 1347. Suppose 0 = 4*x - 0*x - l. Let n = x + -103. Is n composite?
True
Is (0 - -1)/((-9)/(-1269)) prime?
False
Suppose 336 = 5*x - 104. Suppose 2*i - 82 = x. Is i a prime number?
False
Let c(b) = b**2 + 2*b + 9. Let h be c(-6). Is h + (2 - 3 - 1) prime?
True
Suppose -2*r = -2*z + 20, 7 = 2*z - 3. Let l(v) = 2*v**2 + 3*v - 2. Is l(r) prime?
False
Let j = 19 - 17. Suppose s - 22 = 210. Suppose 2*c = -j*c + s. Is c prime?
False
Suppose -4*v + 5*j + 104 + 58 = 0, 2*v - 5*j - 76 = 0. Is v composite?
False
Suppose 4*y - 5*n - 166 = 2*y, -2*y + 202 = 4*n. Let i = y - 16. Is i prime?
False
Let t = -302 + 40. Let r = -131 - t. Is r a prime number?
True
Is 1 + (384*7)/4 prime?
True
Let w = -2931 + 5182. Is w composite?
False
Suppose -5*u + 5852 = -4*n + n, 0 = -3*u + 4*n + 3509. Is u a prime number?
True
Suppose -a - a = -728. Suppose 194 = 2*t - 4*v, -a = -3*t - t + 2*v. Is t a composite number?
False
Suppose 2*m = 90 + 78. Let k = 39 - 8. Suppose -5*r + k + m = 0. Is r a composite number?
False
Suppose 0 = 4*x + 28 - 4. Let g = x - -20. Is g prime?
False
Suppose 3*i - 760 = 575. Is i composite?
True
Let o(i) = -i**3 - i**2 + 2*i + 467. Is o(0) a composite number?
False
Suppose 4*p - 2*m + 5*m = 1053, 0 = p - 3*m - 252. Suppose 3*a + f = 3*f + p, 2*f - 6 = 0. Is a a composite number?
False
Let h(n) be the first derivative of n**3/3 - n**2/2 + 10*n + 1. Let k be h(0). Is (-1656)/(-30) - 2/k a composite number?
True
Let p = 11 + 4. Suppose 3*d + 3*w + 20 = 86, 5*w = -p. Is d prime?
False
Let i = 2639 + -1246. Is i a prime number?
False
Suppose 102 = 7*t - 4*t. Is t composite?
True
Is (2 - -119) + (-3)/1 a prime number?
False
Let v(p) = -23*p**3 - 6*p**2 - 6*p - 3. Is v(-4) a prime number?
False
Let c = 255 + 412. Is c a composite number?
True
Let u(s) = 11*s**2 + 7*s - 9. Is u(8) prime?
True
Suppose -5*a - 15 = 0, -3*q - a - a - 3 = 0. Let o(w) be the second derivative of 32*w**3/3 + w**2/2 - w. Is o(q) composite?
True
Let m(b) = 31*b**2 + 5*b - 3. Is m(5) a composite number?
False
Suppose 5*o - z - z - 52 = 0, -3*z + 24 = o. Is 1/(-4) + 183/o composite?
True
Suppose 2*g = 4*w - 9*w + 28, 0 = 2*g - 3*w + 4. Suppose -g*l = -l - 174. Is l composite?
True
Is (-2)/(-4)*(814 - -4) composite?
False
Is 1148/6 - 3/9 a composite number?
False
Let u = 1201 - 566. Is u prime?
False
Suppose 0 = 3*a - 7*a + 1972. Is a a composite number?
True
Let t = 69 - -6. Suppose -5*w + 0*w + t = 0. Suppose -l + 2*l - w = 0. Is l a composite number?
True
Suppose -1225 = -f + 334. Is f composite?
False
Suppose 0 = -4*p + 8 + 40. Suppose -2*z + p = z. Suppose -4*y - z = -16. Is y a prime number?
True
Let b = 186 - -67. Is b prime?
False
Suppose -r = -0*r - 71. Suppose -3*a + 9 = -0. Suppose v + a*v - 163 = 5*o, o = -2*v + r. Is v a composite number?
False
Let h be -2 - -3 - 1 - -2. Suppose h*y = 2 + 12. Is y a prime number?
True
Let m be 84*(40/(-12))/5. Let b(z) = -13*z**3 + 3*z**2 - 2*z + 3. Let y be b(2). Let x = m - y. Is x prime?
True
Let k(x) = -x**3 - 4*x**2 - 3*x - 3. Let r be k(-3). Let t be 2/4 - r/2. Suppose -t*b = -63 + 19. Is b a prime number?
False
Let q(x) = 3*x - 4*x - 4 + 2*x. Let t be q(4). Suppose -2*w + 2*n + 122 = t, -5*w + 3*n + 321 = 2*n. Is w a composite number?
True
Is (138/9)/(4/6) prime?
True
Suppose 4*x + 6*y - 6135 = y, -4610 = -3*x + 5*y. Is x prime?
False
Let k = -75 + 294. Is k a prime number?
False
Let j = 130 + -91. Is j composite?
True
Suppose -89 = s - 426. Is s prime?
True
Let y = 195 + 38. Is y a composite number?
False
Let o(k) = 8*k + 3. Let v be 9/2 - 3/2. Suppose 0 = -4*x - v + 23. Is o(x) prime?
True
Suppose 3*o - 228 = -42. Suppose g - 3*g + o = 0. Is g a composite number?
False
Let g be (-16)/12*(-6 - 0). Let h = -11 + g. Is -2*h/((-18)/(-159)) prime?
True
Suppose 3*y - 6*y = -9. Suppose 4*t - 13 = -5*z, 4*t + 0*t + y*z = 11. Suppose 4 = -t*s + 74. Is s a prime number?
False
Let x = 1 - 1. Let h be x + 0 + 1 + 4. Let y = 12 - h. Is y composite?
False
Suppose -3*l - 3*n = -8499 - 3372, -3*n - 