k. Is c a prime number?
True
Let h be ((-2)/4)/(1/(-12)). Let l(d) be the first derivative of 3*d**2/2 + 3*d + 1. Is l(h) a composite number?
True
Suppose 8*u = 5*u + 1959. Is u composite?
False
Let t be (-6)/8 - (-1001)/44. Is t*4/((-8)/(-3)) a composite number?
True
Let y(z) = z**3 - 3*z**2 + 4*z - 6. Let u = 9 - 3. Let k be y(u). Suppose k = 5*l - 689. Is l prime?
True
Suppose 0 = d + 3054 - 11857. Is d a prime number?
True
Let x be 1/(2/12) + -1. Suppose -3*s = -3*z - 264, 26 = s - x*z - 66. Is s composite?
True
Let r(b) be the first derivative of -3*b**2/2 + 723*b - 11. Is r(0) prime?
False
Suppose -138 = -4*v + 30. Suppose 6*i = 3*i + v. Is i a prime number?
False
Let v(y) = 77*y + 1. Let h(n) = -231*n - 4. Let s(k) = -2*h(k) - 7*v(k). Let m be s(2). Let u = m + 227. Is u prime?
False
Suppose -5*g + 55 = 5*s, 3*s - 2*g = -12 + 40. Is -4*(-14)/16*s prime?
False
Let j(d) = 41*d + 10. Let c(f) = -14*f - 3. Let i(g) = 17*c(g) + 6*j(g). Is i(7) a composite number?
True
Suppose -l - 3*l + 4*h + 12 = 0, 1 = -l - 3*h. Suppose -5 = -3*y - l*b, y + 3 + 0 = -3*b. Suppose -4*q - 5 = y, -q = 2*a - 28. Is a a composite number?
True
Let c be (-2 - -6)*(-3)/(-6). Let q be (-45)/(-10) + (-1)/c. Suppose q*k = 5 + 99. Is k prime?
False
Let t(l) = 24*l**2 + 15*l + 13. Is t(-14) composite?
False
Let q be (-2)/2 + (10 - 8). Let g(j) = 470*j**3 - 2*j**2 + j. Is g(q) prime?
False
Let p(c) = 84*c**2 - 5*c - 6. Let i be p(-7). Suppose 4*r - 27 = i. Is r prime?
False
Suppose -3*t - l + 339 = -30, -2*l - 238 = -2*t. Suppose 2*y + 3*y = -375. Let n = t + y. Is n composite?
False
Let m = 869 + -512. Let x = 694 - m. Is x prime?
True
Let n = 5 - 5. Let o(v) = v + 79. Is o(n) a composite number?
False
Suppose 0 = -w + i - 6*i - 37, 3*i = -12. Let h = w - -4. Let n = h + 35. Is n prime?
False
Suppose -4*f = u - 7, 0 = -u - u + 4*f + 2. Let t be (-2)/(-7) + (-2)/7. Suppose -u*m + 159 = -t*m. Is m a prime number?
True
Let y be (-1)/(-4) - 9/4. Let n be 5 + -2 - (-2)/(-1). Let z = n - y. Is z prime?
True
Let u = -1 - -3. Suppose 0 = -u*a + 3 + 15. Suppose -2*w + 19 = -a. Is w composite?
True
Suppose 0 = 5*q - 25, 5*q - 4 - 23 = -s. Suppose -5*d + 730 = 2*v + 2*v, -s*v - 2*d = -366. Is v a prime number?
False
Let q(m) = m**2 + 3*m. Suppose -2*o = -g + 3, -4*o - 8 = -g + 1. Let z be q(o). Suppose -2*h + 15 - 1 = z. Is h a composite number?
False
Suppose -6*c = 4*c - 340. Is c prime?
False
Suppose 897 + 351 = 4*f. Suppose -2*n - 14 = -f. Is n composite?
False
Suppose -4*w - 5*h = -1172, 586 = w + w + 5*h. Is w prime?
True
Is 1/(2*2/1412) a composite number?
False
Suppose -2*r + 3*r - 4 = 0. Suppose 0 = -5*b + 5*u, -2*b = b - r*u. Let z = 2 - b. Is z a composite number?
False
Is (-2)/8 + 653/4 composite?
False
Let r be (-6 - -4)/(-2 - -1). Suppose -v - 4*u + 517 = 0, -r*v = -3*u - 1214 + 180. Is v prime?
False
Suppose -5*k - 59 = -294. Is k prime?
True
Let z = 2 + 0. Suppose 12 = q + z*q. Suppose q*w = 83 + 89. Is w composite?
False
Suppose x + 202 = 2*g, g - 2*x - 90 = -7*x. Suppose g = 3*c - 2. Is c prime?
False
Let q be (-1 - 47)/3 + -1. Let d = q - -7. Is 11/(1 + 8/d) a composite number?
True
Let k(g) = 95*g. Is k(1) prime?
False
Suppose 4*j + j = 5*m - 3860, -3088 = -4*m - 2*j. Suppose 3*o = -4*d + 5*o + m, -5*o = 20. Is d composite?
False
Suppose -5*d + 5*w = 3*w + 203, -d - 19 = 5*w. Let p = d - -142. Is p prime?
True
Let c = -409 + 612. Is c a composite number?
True
Let i be (-1712)/(-28) + 2/(-14). Suppose -204 - i = -5*q. Is q composite?
False
Let x(z) be the second derivative of -9*z**5/2 - z**2/2 - z. Let n(t) = -t**2 + 4*t + 11. Let p be n(6). Is x(p) composite?
False
Let z(u) = -12*u + 4. Suppose k - 3*k + 8 = -2*j, 5 = 5*k. Let q be z(j). Suppose 2*t + q = 3*t - y, 4*y = 2*t - 82. Is t prime?
False
Let n be 0 + (-43)/(-1) + -1. Let k = n + 313. Is k prime?
False
Let f(x) = 258*x**3 + x**2 + x - 1. Is f(1) a composite number?
True
Suppose -2*p + 3*h + 6 = 0, -2*p + 10 = -h + 4. Suppose i + p*o + 1 = -1, -6 = i + 5*o. Suppose 4*d - 2*q = 72, i*q - 100 = -3*d - 35. Is d a composite number?
False
Suppose 1 + 3 = u. Suppose -u*m = -693 - 295. Is m a prime number?
False
Let o = -804 - -1567. Is o prime?
False
Let j be (-4)/10 + 110/25. Let b be 2*(-1 - 2/j). Is 1/(2/72) + b prime?
False
Let m be (111 - 3 - 0) + 2. Suppose -n = -4*j - 119, 0 = -4*n + 3*j - m + 612. Is n prime?
True
Let o(q) = q. Let f be o(5). Suppose 10 = -f*u, -3*p + 4 + 30 = -2*u. Is p a composite number?
True
Suppose -4*f - 440 = -2*b, 5*b - f - 1168 = -77. Suppose b = 3*p - p. Is p prime?
True
Let m(t) = -t**3 - 5*t**2 - 2*t - 2. Let o be m(-5). Suppose -5*l = -27 - o. Is l a composite number?
False
Let b(l) = l**2 - 11*l + 12. Let x be b(10). Let q(v) = v**3 + 3*v**2 - 3*v + 2. Let c be q(-4). Is c + 17 - (x + 0) a prime number?
True
Let k = -1 - -2. Let l be ((-2)/6)/(k/(-6)). Suppose -h + 5*t + 66 = 3*h, -l*h + 34 = -3*t. Is h a composite number?
True
Suppose -2*f + 18 = -2*y, -3*y + 32 = 2*f - 6. Suppose -3*u - f = -2*r + 157, 438 = 5*r - u. Is r + (-1)/2*6 a composite number?
True
Let o(u) = -u**3 + 12*u**2 - 13*u + 5. Is o(7) prime?
False
Is (-154)/(-8)*(7 - 3) a composite number?
True
Let d(h) = -h**3 - 8*h**2. Let a be d(-8). Suppose 4*t = 5*t - 2. Suppose -t*i + 70 = -a*i. Is i a composite number?
True
Let r(n) = n + 5. Let v be r(-4). Let j = 26 - v. Is j prime?
False
Let v = -108 + -19. Let t = v + 224. Is t composite?
False
Suppose 5 = -3*g + 17. Suppose 8 = -2*s, 138 = 2*l - g*s + 3*s. Is l a composite number?
False
Let t = 5 - 8. Let o(k) = -5*k**2 + 18*k + 10. Let x(d) = 4*d**2 - 19*d - 10. Let p(r) = t*o(r) - 4*x(r). Is p(11) prime?
True
Let j = -694 - -1203. Is j a prime number?
True
Let d = -131 - -16. Let n = -53 - d. Is n composite?
True
Suppose -7049 = -5*f + 3*p, -f - 4*p = -4*f + 4225. Is f composite?
True
Is (-1)/(0 - (-2)/(-1942)) prime?
True
Suppose -1606 = -y - 5*a, 5*a = -y + 4*y - 4918. Is y a prime number?
False
Suppose 7*j - 2*j + 5*r = 460, 3*j = r + 264. Suppose 3*n - 382 = j. Is n composite?
False
Let d(q) = -q**3 + 11*q**2 + 5*q. Let b = 10 + 1. Is d(b) a prime number?
False
Let z = -158 - -303. Is z a prime number?
False
Is ((-13)/((-117)/(-30)))/((-4)/1578) a prime number?
False
Suppose 0 = 4*u + 3*y - 1933, 2*u + 0*y = -2*y + 964. Is u a composite number?
False
Let y(n) be the second derivative of -13*n**3/2 + 19*n**2/2 - 10*n. Is y(-12) a composite number?
False
Let c = -11 - -18. Suppose 0*y + y = c. Is y a composite number?
False
Let x(v) = 2*v**2 + 7*v - 21. Is x(6) prime?
False
Let p(j) = -j**2 + 4*j + 5. Let x be p(6). Let q = 10 + x. Suppose 0 = -q*c + 7*c - 212. Is c composite?
False
Let r(t) = t**3 + t + 77. Is r(0) composite?
True
Let w be (7/(-3))/((-3)/9). Suppose 5*o - w = 8. Let b(m) = 3*m**3 + m**2 - 3*m - 2. Is b(o) prime?
True
Suppose -6*g = -3*g - 6, -6 = -2*t - g. Suppose -4*p = t*w + 154 - 672, -4*w = -20. Is p prime?
True
Is -5 + (128 - 16/4) a composite number?
True
Let q(l) = -l + 1. Let z(c) = -c**3 - 7*c**2 - 6*c + 6. Let x(p) = 2*q(p) - z(p). Let r be x(-6). Is 8/4 - r*-7 prime?
False
Let j be (-9)/(1*3/(-2)). Let q be (j*1)/((-3)/(-2)). Suppose -3*k - 4*t + 165 = 0, k + 3*t - q*t = 55. Is k composite?
True
Let m(h) = h**2 - 4*h + 3. Let g be m(5). Let n = g + -13. Let s = n - -11. Is s composite?
True
Let u = 214 - 41. Suppose -5*n - 4*l + u = 0, -n - 4*l + 9 + 16 = 0. Is n prime?
True
Is -2918*1*(-4)/8 a composite number?
False
Let i be 1/(0 - (-1)/(-5)). Let h(n) = -6*n**2 + 2*n**2 + 2*n**2 + 3*n**2 + 3*n. Is h(i) composite?
True
Suppose -4*j - 265 = -i - 5044, 2*j + i = 2391. Is j composite?
True
Is (-3 - -593 - -5) + -4 prime?
False
Let u(x) = 109*x - 20. Is u(3) a composite number?
False
Suppose -2*g + 2 + 14 = 0. Let t be (-12)/(-5) + g/(-20). Is -1 - (-13 - (3 - t)) a prime number?
True
Suppose -11 - 9 = 5*o. Is -1*2 + 61 + o a prime number?
False
Suppose -8*o + 11*o - 4487 = 4*f, 2*f - 5990 = -4*o. Is o prime?
False
Suppose -4*w + 9 = -w. Suppose 0 = 6*g - w*g - 36. Suppose 0 = a - 101 - g. Is a a prime number?
True
Suppose -4*p + 5 = 5*j, 3*j = 2 - 11. Suppose -3*r + 0*r + q - 3 = 0, -5*q = -5*r + p. Is (105/6)/(-5)*r a composite number?
False
Let h(a) = 47*a**2 - 9*a + 23. Is h(3) prime?
True
Suppose 5*u = 20, 0 = 3*c 