t x(q) be the first derivative of q**4/4 + 8*q**3/3 - q**2/2 + q + 3. Suppose 2*b + 5*c = 4, -b + c + 12 = -3*b. Is x(b) a prime number?
False
Suppose 3*d - 10023 = -3*w, 2*w = 3*d - 2898 - 7135. Is d prime?
True
Suppose f - 4*k = -3*f + 420, 3*f + 3*k = 339. Is f prime?
True
Let q(a) = -a**3 + a**2 - a + 7. Let d be q(0). Suppose 3*u = 4*p - d*p + 1266, 410 = p - 3*u. Is p a prime number?
True
Let k(i) = -i**3 + 10*i**2 + 10*i - 3. Is k(8) composite?
True
Let d = -1693 - -2558. Is d prime?
False
Suppose -2*r - 2*j = j - 782, 2*r - 814 = 5*j. Is r a composite number?
False
Let s = 10 - -9. Let z = s + -9. Is z composite?
True
Suppose -3*f = -0*f + 975. Let t = f + 188. Let s = 168 - t. Is s a composite number?
True
Let w be 2 - (1 + 1 + 0). Suppose w*x = x - 23. Let z = 49 - x. Is z prime?
False
Suppose -4*u - 8 = 0, 2*z + 4*u - 1576 = 3*u. Is z composite?
True
Suppose 4*r - 5*x - 749 = 0, -4*r = -4*x - 131 - 613. Is r composite?
False
Let z(d) be the third derivative of -d**6/120 + d**5/60 + d**4/6 - d**3/2 - d**2. Let c be z(2). Is -2 - (c + -2) - -24 composite?
False
Let x = 4 + -18. Let v = -9 - x. Suppose 3*k + 66 = v*k. Is k composite?
True
Suppose -18*m + 282 = -16*m. Is m a prime number?
False
Let t(d) = 4*d**2 - d + 1. Suppose 0 = a + a + 8. Let o be -4*(-3)/(a + -2). Is t(o) a composite number?
False
Let c(z) be the third derivative of z**4/4 + z**3/6 + 8*z**2. Suppose 3*v = 6, 4*r + v - 8 = -v. Is c(r) a composite number?
False
Let w = -112 + 74. Let p = 127 + w. Is p composite?
False
Suppose 7 + 65 = 4*m. Suppose -y + m = -3*y. Is y*(1 - (-42)/(-9)) prime?
False
Let s(n) = n**2 + 9*n - 1. Let f be s(-10). Let p be (-2)/((-24)/f)*-4. Is (-1 - 88)*(-4 - p) a prime number?
True
Let a be (-2)/(-5) - 8/(-5). Suppose 0*k = -a*k + 142. Is k a prime number?
True
Let q = 5 + -3. Suppose 7*s = q*s - 3*p - 2, 2*p + 10 = s. Suppose 2*f - 118 = -3*r, -2*f + s*r = -106 + 8. Is f prime?
True
Let o be 2 - (-5)/(-1) - -5. Suppose -21 = -3*x + 3*q, q + 2 - 7 = -o*x. Suppose -x*k = -0*k - 596. Is k composite?
False
Let m = 24 + -4. Suppose 19*g - m*g + 161 = 0. Is g a prime number?
False
Let x be (-62)/4 - (-8)/16. Suppose -9 = 5*w + 2*t, -4*t + 1 + 17 = -2*w. Is 9/15*x/w a composite number?
False
Is ((-2)/40*-4)/((-1)/(-17165)) prime?
True
Let l(a) be the third derivative of -467*a**6/120 - a**4/24 - a**3/6 - 7*a**2. Is l(-1) prime?
True
Let r = 3 - 4. Let v(b) = 370*b**2 - 2*b - 1. Is v(r) a composite number?
True
Suppose -2*f - 20 = -3*f. Suppose 3*b - 5 = 2*k + 7, 5*b = -4*k + f. Suppose -2*x + b = 0, 3*x + 70 = -u + 5*u. Is u a composite number?
False
Suppose 0 = 3*r - 66 + 339. Suppose 0 = -5*y - 4*g - 253, 2*y + 2*g = g - 103. Let a = y - r. Is a a composite number?
True
Let f(s) = -s**3 - 8*s**2 - 7*s + 3. Suppose -i + 4 = 12. Is f(i) a composite number?
False
Let s be 1644/(-2) + (-1 - -1). Let x = 1235 + s. Is x composite?
True
Suppose 0 = z + 3*z - 480. Let i(x) = 8*x - 3. Let t be i(-10). Let b = t + z. Is b a prime number?
True
Let r be (2 + 0)/(1*-2). Let i = r + 25. Let t = i - -7. Is t a composite number?
False
Suppose 0 = -3*o + o - m + 9, -3*o + 1 = -m. Let u be (-728)/(-7) + -1 + o. Suppose 1 = 2*x - u. Is x prime?
True
Let b(n) = -n**3 - 3*n**2 + n + 3. Let x be b(-3). Let f = -7 - -11. Suppose 6*w - f*w - 20 = x. Is w a composite number?
True
Let n = 1352 - 679. Is n composite?
False
Let c = 181 - 56. Let i = c - 70. Is i a composite number?
True
Let w = 139 - -1594. Is w composite?
False
Suppose 2 = -2*c - 5*h, 10 = 5*c - c + 3*h. Suppose -117 = c*j + 335. Let f = -80 - j. Is f prime?
False
Suppose 3*k - 2*k = 4. Suppose 32 = -k*t - 28. Is 2/(-6) - 110/t a prime number?
True
Let u = 150 - 5. Is u a composite number?
True
Is 3*498/18*17*1 a prime number?
False
Suppose 2*z + 10 = -2*o, -4*o + 5*z = -3 + 23. Let l = o - -8. Let x = 23 + l. Is x a prime number?
False
Let b be 0 + -11 - (0 - 2). Let u be (-420)/b - 1/(-3). Suppose -n - 5*m = -u, 86 = 2*n - 2*m - 8. Is n a prime number?
True
Suppose -3*b = -3*v, 18 = 4*v + 5*b - 0*b. Suppose -v*j + 37 = -j. Is j composite?
False
Let p = 73 - 26. Is p prime?
True
Suppose 2*o + 4*n = 5614, -5*o - n + 5074 = -8988. Is o composite?
True
Let z(l) = -5131*l**3 - l**2 - l. Is z(-1) a prime number?
False
Let r(y) = 3*y - 1. Let i be r(1). Suppose g - i*g = -22. Let c = g + -12. Is c composite?
True
Suppose -18*x = -20*x + 446. Is x a prime number?
True
Suppose 1403 - 6003 = 5*m. Let l = m - -1293. Is l prime?
True
Suppose -2*m + 6715 = 3*m - 4*a, -m + 2*a + 1337 = 0. Is m composite?
True
Let l = -892 + 1430. Is l a composite number?
True
Let y be 8 + (-1)/1*1. Let w = y - 4. Is (2/w)/((-12)/(-1206)) a composite number?
False
Let t be 66/2 + -1*1. Let j = t + 11. Is j a prime number?
True
Let s(o) = -o**3 - 13*o**2 - o + 8. Is s(-15) prime?
False
Let y(v) = 3*v**2 - 6*v + 5. Is y(-6) a composite number?
False
Suppose -3*r + 2540 = 2*z - 5195, -5*r - 2*z + 12893 = 0. Is r composite?
False
Suppose 10*v = 7*v + 423. Is v prime?
False
Let v(g) = 2 + 4*g**3 - 5*g**3 + 2 + 4*g + 5*g**2. Let x be v(6). Let l = 41 + x. Is l prime?
False
Let v = 443 + -106. Is v a composite number?
False
Let s be (1 + 2)/(-3)*-5. Let k(w) = -9 + 2*w + 7*w - s*w + w**2. Is k(-8) prime?
True
Let b = 5 - 7. Let f be 6/(-4)*115*b. Suppose 3*v = -0*v + f. Is v composite?
True
Suppose -2*z - 2*l + 548 = 176, -2*l = z - 183. Let v = -241 - z. Is v/(-14) - 6/(-21) prime?
True
Let u be ((-2)/(-6))/((-2)/(-12)). Suppose u*v + 5*o - 134 = -v, -v + 18 = -5*o. Is v composite?
True
Suppose 3*m = 6*q - 2*q + 421, -5*m = -3*q - 720. Suppose 5*x = -3*p + 361, 5*x = p - 0*p - m. Is p a composite number?
False
Suppose 14 - 3 = n. Let l = -3 - -3. Let x = l + n. Is x prime?
True
Let a(q) = 18*q + 0 - q**3 - 1 + 0*q**2 + 8*q**2 + 3*q**2. Is a(12) composite?
False
Let j(f) = -f**2 - 13*f - 9. Is j(-7) prime?
False
Let d(q) = 3*q + 4. Is d(6) a composite number?
True
Suppose -2 + 1 = g. Is g*3 + 121 + 0 a composite number?
True
Let d(r) = -58*r**3 + 2*r**2 + 2*r + 1. Suppose 0*z - 2 = 2*z. Is d(z) prime?
True
Suppose -2*v - 683 = -3*v. Is v a prime number?
True
Let b = 498 + -140. Is b a composite number?
True
Suppose z + 3*z + 7 = -d, 2*d - z - 4 = 0. Let g be d + 2 - (-1 + 3). Is g - (-21 + 1/1) prime?
False
Let k(o) = 125*o + 3. Is k(2) prime?
False
Suppose -v + w = -0*v - 2, -2*v + 5 = -w. Suppose -v*n = -y - 996, 2*n - y - 483 - 182 = 0. Is n a prime number?
True
Let l(d) = -6*d**3 + 46*d**2 - 24*d + 16. Let a(t) = -t**3 + 9*t**2 - 5*t + 3. Let u(b) = 11*a(b) - 2*l(b). Is u(-6) a prime number?
True
Suppose -38 = 2*s - 3*s. Suppose -h + 127 = s. Is h a composite number?
False
Let h(f) = 41*f + 0 - 3 + 6*f. Is h(4) a composite number?
True
Let s(y) = y + 11. Let q be s(-7). Is 524/28 - q/(-14) composite?
False
Let o(w) = 708*w**2 + 5*w + 6. Is o(-1) a composite number?
False
Let p be (-207)/(-6)*6/(-9). Is p*2*3/(-6) a prime number?
True
Let t = 6 - 0. Let m(p) be the third derivative of -p**6/120 + p**5/10 + 3*p**4/8 - 7*p**3/6 + p**2. Is m(t) composite?
False
Let k(z) = 4*z**2 - 20*z + 11. Is k(-10) composite?
True
Let p(t) = 7*t**2 - 4*t + 17. Let c(h) = -5*h**2 + 3*h - 11. Let z(q) = -8*c(q) - 5*p(q). Is z(6) a composite number?
True
Let m(l) = 2*l + 6. Let x(k) = -k + 3. Let f be x(8). Let i be m(f). Is (30/(-4))/(3/i) a composite number?
True
Let w be (-7)/(-2) - (-1)/(-2). Suppose -45 = -w*i + 21. Is i composite?
True
Is (-12)/18 - 310/(-6) composite?
True
Suppose 3*n + 7 = -2*x + 2, -2*x + 5*n + 19 = 0. Is 3/x*(-44)/(-3) prime?
False
Let i = 8 - 3. Let p = i + -1. Is 14/(2/12*p) a composite number?
True
Let k(i) be the third derivative of 0 + 1/3*i**3 - 1/12*i**4 + 0*i - 2*i**2. Is k(-6) a prime number?
False
Suppose 0*j = 3*j + 4*n - 26, 10 = -5*j + 4*n. Suppose 2*x - q = -j*x - 167, 125 = -3*x + q. Is (-12)/x + (-145)/(-7) a composite number?
True
Let j(a) = 31*a. Let p = 1 - 2. Let q = p + 2. Is j(q) a composite number?
False
Suppose 0 = -4*m - 4*l + 592, 5*m - 4*l + 2*l = 719. Is m a composite number?
True
Suppose 4*i - 17 - 15 = 0. Let b = i + -2. Is b a composite number?
True
Let r = -83 - -145. Is r composite?
True
Let i = 1417 - 1005. Suppose 0 = 5*s + 77 - i. Is s a prime number?
True
Let a(n) = 3*n**2 - 3*n - 1. Let