- 1. Let j(z) = s(z) + 3*u(z). Suppose 35 = -d - 4*d. Is j(d) a prime number?
True
Let z(p) = p**2 + 3*p + 2503. Is z(0) a prime number?
True
Let v be 0*(-2)/6 + 87. Let y be -29*(-7 - 6/(-3)). Let k = y - v. Is k a prime number?
False
Let q(m) = m**2 + 3*m - 6. Let h be q(-5). Suppose -k = h*k - 1275. Suppose -z - k = -4*l, -5*l - 2*z = -2*l - 205. Is l a prime number?
False
Suppose 3*a + l - 194 = 60, -2*a + 4*l + 174 = 0. Suppose -2*k - 5*m = a - 764, -3*k - 4*m + 1029 = 0. Is k a composite number?
False
Let y(g) be the first derivative of -9/2*g**2 + 3 + 1/3*g**3 - 14*g. Is y(12) composite?
True
Let j = 158 + -50. Let m = j + -61. Is m prime?
True
Suppose -20 = -2*f - 2*f. Suppose 0 = -7*y + f*y + 154. Is y a prime number?
False
Let s(u) = -2*u**2 - 6*u - 3. Let c be -2*6/(9/3). Let l be s(c). Let f = 10 - l. Is f a prime number?
False
Let q = 49 + -187. Let d = -80 - q. Is d prime?
False
Let x = -749 - -1448. Is x composite?
True
Suppose -3*n + 2*n + 37 = -3*w, w = 3*n - 7. Let z = 47 + -1. Let q = w + z. Is q a composite number?
True
Suppose -9245 = -a - 4*a. Is a a composite number?
True
Suppose 2*u + 83364 = 14*u. Is u a prime number?
True
Suppose -3*t - 21 = -3*x, -t + 16 = -4*t - 2*x. Let i be 1/t + (-13)/(-6). Suppose -2*l - i*r - 11 = -27, 29 = 3*l + 4*r. Is l a composite number?
False
Suppose g = -30 + 241. Is g a prime number?
True
Let f(n) = n**3 + 6*n**2 - n - 6. Let l be f(-6). Is (-165)/30*(l - 2) a composite number?
False
Let d(g) = -3*g**2 + 4*g - 3. Let a be d(2). Is 345 + (a + 4 - 1) a prime number?
False
Let i(p) = 123 + 138 + p - 98. Let n(k) = -k**3 - 2*k**2 + 4*k + 3. Let z be n(-3). Is i(z) composite?
False
Let m = -416 - -264. Let a be (58 - -1)*5*1. Let x = a + m. Is x composite?
True
Suppose -3*v + 943 = 334. Is v prime?
False
Let q(c) = c**2 - 2*c - 3. Let u be q(-2). Suppose -u*y + 765 = -4*h, -231 - 494 = -5*y - 4*h. Is y a prime number?
True
Suppose 0*i + i = 79. Is i a prime number?
True
Let u(p) = -p + 39. Is u(0) a composite number?
True
Let l = -19 + 7. Let j = 11 - l. Is j a prime number?
True
Suppose 5*b = 4*b + 3*i + 91, -3*i = -4*b + 337. Let d = 139 + b. Is d prime?
False
Let y = 343 - -2752. Is y prime?
False
Let a be 3 + (-6)/2 - -3. Suppose 0 = 2*v + 2*j - 6*j - 22, -a*v + 33 = -4*j. Is v a prime number?
True
Let y(o) be the first derivative of -o**6/120 + o**4/6 + 2*o**3/3 - 3*o**2/2 + 3. Let v(t) be the second derivative of y(t). Is v(-3) a prime number?
True
Let q be (2 - 0)/2 - 129. Let j = -30 - q. Suppose 0 = -5*y + 3*z + j, -3*y - 29 = 4*z - 82. Is y a prime number?
True
Is 107/2 + (-6)/12 prime?
True
Suppose j + 1 = -8. Is 993/27 - 2/j a composite number?
False
Let v(t) = 2*t - 3. Let a(b) = b + 1. Let y(l) = 3*a(l) + v(l). Is y(2) a composite number?
True
Suppose 2*s + 2261 = 3*q - 3*s, 3*q - 2233 = -2*s. Suppose -5*i + z + q = 0, 5*i - 5*z - 735 = -10*z. Is i a composite number?
False
Suppose -5*c - 9 = -8*c. Suppose 218 = s + b, 5*s + c*b - 1088 = -b. Let m = s + -97. Is m prime?
False
Let r(k) = k**3 - 5*k**2 + 6*k - 3. Let d be r(4). Let t(u) be the third derivative of -u**5/60 + u**4/2 - u**3/3 - 5*u**2. Is t(d) a prime number?
False
Let v(i) = 0*i**2 - i**3 + 2 - 4*i**2 - 2*i + 4*i + 8*i. Is v(-7) prime?
True
Let z = -4 - -7. Let r(d) = -5*d**2 - 2 - 3 + d**z - d + 6 + d**2. Is r(6) a composite number?
False
Let u(o) = -o. Let v be u(-2). Suppose v*i = 58 + 24. Let a = 76 - i. Is a prime?
False
Let s(o) = -2 - 7 + o**3 - 7*o**2 + 0*o**3 + 2*o**2 - 9*o. Let w be (-87)/(-12) - 2/8. Is s(w) a composite number?
True
Let r = 14 - 21. Let g = 15 + r. Let w = -2 + g. Is w prime?
False
Suppose -4 = -5*w + 6. Suppose 32 + 24 = w*y. Suppose -3*k = -y - 38. Is k a prime number?
False
Suppose 1422 + 1814 = 4*k. Is k prime?
True
Is (2 - (1 - 3350))*(-9)/(-9) a composite number?
True
Let q = 720 + -169. Is q a composite number?
True
Suppose t - s = 2*t, -3*t = 5*s + 8. Suppose t*b - 249 - 1523 = 0. Is b a prime number?
True
Let o(k) = -k - 5. Let c be o(-6). Let i be (-7)/2*-10*c. Let v = i - -20. Is v a composite number?
True
Suppose 3*j = -j + 8. Is 0 + (j - (-20 + 1)) prime?
False
Let q(g) = g**3 + 14*g**2 + 5*g - 17. Let m be q(-12). Suppose m = o - 0*o. Is o composite?
False
Suppose 5*o - 28911 = -4*l, -5*l = -5 - 15. Is o composite?
False
Let t(s) = 731*s**2 + 5*s - 1. Is t(2) a prime number?
False
Is (-9)/(-3) - 1*-66 composite?
True
Let k(q) = -110*q + 17. Is k(-3) a prime number?
True
Is (5 - 2)*68/4 a prime number?
False
Suppose 4*d + 5 = -79. Is (-4)/6 + (-1127)/d a prime number?
True
Let h = -299 - -539. Suppose h = 2*i - 388. Is i prime?
False
Let n = 8 - 0. Suppose 2*r - n = -0*r. Suppose -r*y + 376 = 44. Is y prime?
True
Let w(p) = p**2 + p + 3. Let f be w(0). Suppose -a + f = v + 2, -5*v - 2*a + 14 = 0. Is (19/v)/(2/8) a composite number?
False
Suppose 3*g = 4*g. Suppose g*q + 2*q = -130. Let b = q + 142. Is b a composite number?
True
Let v(s) = s**2 - 11*s - 9. Let f be v(12). Let i = 9 - 19. Is 163/f + i/(-15) a composite number?
True
Is ((-932)/(-16))/(2/8) a prime number?
True
Let y(f) = 5*f**2 + 21*f + 15. Is y(-13) a composite number?
False
Let u be (-5)/(1/(-2 - 6)). Let a be (38/(-4))/((-1)/(-2)). Let v = a + u. Is v a composite number?
True
Suppose 4*d - 3*d = 0. Suppose 2684 = -d*k + 4*k. Is k composite?
True
Let n(c) = -c**3 + 4*c**2 - c - 3. Let a be n(3). Let m = a + -3. Suppose x + 3*p - 9 = m, -2*p - 3*p + 7 = -x. Is x composite?
False
Suppose -2*h + 29 = 7. Is h prime?
True
Let k = 3 + -3. Suppose -3*f = -v - 133, k = -4*f + 4*v - 5*v + 168. Let l = 64 - f. Is l composite?
True
Suppose -20376 = -11*n - 422. Is n prime?
False
Let z(n) be the second derivative of -n**4/12 - 5*n**3/3 - n**2 - 4*n. Let o be 3/9 + (-44)/6. Is z(o) a composite number?
False
Let r(i) = -i. Let f be r(3). Let b(q) = -q**3 - 3*q**2 - q. Is b(f) a prime number?
True
Let y = 1 + 1. Suppose f + 12 = 4*x, -5*f = -x + 1 + y. Is -1*(-4 + x)*6 prime?
False
Is 4941/11 + (-6)/33 a prime number?
True
Let r = -444 - -737. Is r prime?
True
Suppose p - 2 - 1 = -3*g, 4*g = 4*p + 20. Suppose 12 = -3*f - 3*q, -2*f + 2 = -q - g*q. Let l = 15 + f. Is l a composite number?
False
Is (2 - -1) + 12/4 prime?
False
Let k(r) = -17*r**2 + 13*r - 6. Let a be k(9). Is 4/(-2) + a/(-6) a prime number?
False
Let m(h) = h**3 - h**2 - h. Let l(z) = -18*z**3 + 8*z**2 + 9*z - 1. Let t(j) = l(j) + 6*m(j). Is t(-4) composite?
False
Suppose -g - 24 + 9 = 5*u, 0 = -g + 4*u + 12. Suppose g = m - 5*m + 32. Suppose 5*d + 4*c = 45, 2*c + m = d + 3*c. Is d composite?
False
Let q be (-20)/(-4)*68/(-10). Let j be q/(-8) - 1/4. Suppose 5*m - s = 94, 15 = j*m - 3*m - 4*s. Is m prime?
True
Suppose 2 = 5*m + 4*v, -m + 0*v - 8 = 5*v. Suppose -5*a = 2*t - 109, 4*a = -t + m*t - 87. Is t prime?
True
Is ((-1448)/12)/((-6)/9) a prime number?
True
Let j(u) = 20*u**3 + u**2 - 8*u - 5. Is j(4) composite?
False
Suppose -2*w = -3*m - 118, -2*w - 2*m + 87 = -31. Is w a prime number?
True
Let r be (0 + -1)*(-3 - -3). Let z(l) = -l**2 + l + 79. Is z(r) prime?
True
Let i(a) = -a**2. Let l be i(2). Let k(b) = b**3 + 6*b**2 + 4*b + 6. Is k(l) a composite number?
True
Suppose -3*s + 3*y + 345 = 0, 225 + 110 = 3*s + 2*y. Is s a prime number?
True
Suppose 2*s - 22 - 48 = 0. Is s composite?
True
Let z be -1 - (-3)/(-6)*4. Is z/2*(-1904)/24 a prime number?
False
Let h(b) = -6*b**3 + 2*b**2 + 2. Let p(c) = c**3. Let t = 4 + 1. Let k(j) = t*p(j) + h(j). Is k(2) a composite number?
False
Is (-1693)/(3/3*-1) composite?
False
Let v(y) = -50*y + 29. Is v(-10) prime?
False
Suppose 11*p - 12*p + 1993 = 0. Is p composite?
False
Let u = -102 + 183. Suppose 4*b + u = 469. Is b a composite number?
False
Suppose 943 = 5*r - 4*w, 0*w + 6 = 2*w. Is r a prime number?
True
Let h = 1022 - 145. Is h a prime number?
True
Suppose -5*q = -122 - 293. Is q prime?
True
Suppose -4*n + 1431 = 67. Suppose 5*g + 98 = b, -n = -3*b - b + 3*g. Is b composite?
False
Suppose -4*y + 2*t + 14 = -2, 4 = -2*y - 5*t. Suppose 3*i = y*u - i - 2, 3*u - 7 = -i. Suppose u*l + 6 = 3*l. Is l prime?
False
Let y(m) be the third derivative of -m**4/8 - 7*m**3/6 - 9*m**2. Let h be (2/(-2) + 2)*-7. Is y(h) a prime number?
False
Suppose -4*x = -1024 + 132. Is x composite?
False
Let q be ((-72)/(-5))/(3/30). 