et l = -1603 - -3860. Is l a prime number?
False
Let s = 10 + -5. Let n(k) = 22*k + 3. Is n(s) composite?
False
Let b(a) = -a**2 + 8*a + 12. Let z be b(9). Let p(o) = 2 - 3 + z*o + 38*o**2 - 4*o. Is p(-1) a composite number?
True
Let v = 54 + 16. Let d = 19 + v. Is d composite?
False
Let k be 3/(-12) + 937/4. Let b = 175 + k. Is b a prime number?
True
Let p = 40 - 22. Suppose -p - 28 = -s. Is s composite?
True
Let a be (4/1 + -8)/(-2). Let r(p) = -11*p**2 - 7*p + 1. Let j(q) = q**2 + q. Let f(x) = -4*j(x) - r(x). Is f(a) composite?
True
Let z(i) be the second derivative of -i**7/840 - i**6/360 + i**4/12 - i**3/3 + 3*i. Let l(t) be the second derivative of z(t). Is l(0) a composite number?
False
Suppose -3*o = -4*y + 13061, 9786 = 5*y - 2*y + o. Is y prime?
False
Let i be (-2)/(-6) + 4/6. Let h(k) = -2*k**3 - k. Let s be h(i). Let x(n) = 3*n**2 - 3*n + 1. Is x(s) prime?
True
Is 7/(-2)*582/(-3) a prime number?
False
Suppose a - 607 = 2*b, -2*a + 3*b = -a - 604. Is a a prime number?
True
Let j be 1/(-4) + 69/(-12). Let p = -1 - 15. Is p/j*(-198)/(-24) prime?
False
Suppose -131 + 343 = 4*p. Suppose -4*x + x = 9. Is (p/(-2))/(x/6) composite?
False
Is ((-9)/3 + -1)*(-514)/8 composite?
False
Let n be (1 - 436)*(-9)/15. Suppose -3*r + 84 = -n. Is r prime?
False
Suppose -d + 76 = b - 0*d, 0 = -4*b - 5*d + 307. Suppose 0 = -2*r + 2*n - b + 179, 5*r = n + 273. Is r prime?
False
Let o(j) = 4*j**2 + j. Let r be o(-1). Let d(h) = -h + 9*h**2 - r*h - h**3 + 3 - 2 - h. Is d(6) prime?
True
Suppose -15 = 2*m + m - 5*g, -20 = 4*m - g. Let j(w) = -w + 1. Let a(c) = -3*c - 6. Let u(z) = a(z) - j(z). Is u(m) a composite number?
False
Let i = 1088 + -559. Is i a composite number?
True
Suppose 2 = -2*p + 5*p - 4*t, 2 = 2*p - 2*t. Suppose -2*q = p*q - b - 95, 2*b - 63 = -3*q. Is q a prime number?
True
Suppose -2*a = -5*i - 1686, -5*a - 8*i + 4261 = -9*i. Is a a prime number?
True
Let i = 42 - -195. Is i a composite number?
True
Let q(d) be the first derivative of d**2/2 + d + 2. Let w be q(5). Is 124/w*3/2 prime?
True
Let z(h) = h**2 - 15. Let f be z(0). Let v be 6/f + 27/5. Suppose -3*g = -3*m + 210, 5*m - m = v*g + 283. Is m composite?
False
Suppose 2*y - 4*h = -3*h + 7248, 5*y - 5*h = 18125. Is y a prime number?
True
Let j = -212 - -142. Let o = j + 101. Is o composite?
False
Let i(c) = -4*c - 2. Let s(w) = 13*w + 7. Let x(f) = 21*i(f) + 6*s(f). Let o be x(-5). Is o/(-3)*22/(-4) a prime number?
False
Suppose 0*i + i - 6 = 2*m, -5*m - 11 = -2*i. Suppose -i = -v + 7. Let n = 25 - v. Is n prime?
False
Let s(i) = i**2 + 2*i - 10. Let w(u) = -6*u - u**3 - 7*u**2 - 2 - 3*u**2 + 0*u**3 + 2*u**2. Let d be w(-7). Is s(d) a composite number?
False
Let u(a) = 2*a + 13. Let m be u(-6). Is 1/m - (-312)/4 prime?
True
Suppose t + f = 3*f + 301, t + 4*f - 331 = 0. Is t a composite number?
False
Let s be 6/12 + 1/2. Suppose 4*q - 207 = -5*l + 4*l, -q + s = 0. Is l a prime number?
False
Suppose 25*d = 24*d + 83. Is d prime?
True
Let f = 2 + -2. Let x be 5 - (0 + f + -2). Let g = 86 - x. Is g a composite number?
False
Suppose -1512 = -v - 463. Is v a prime number?
True
Let h(g) = -6*g**2 + 56*g**2 - 18*g**2 + g + 36*g**2. Let i(w) = -w - 10. Let n be i(-9). Is h(n) composite?
False
Suppose m = 2*q - 1359, -3*m - m - 2716 = -4*q. Let n = -441 + q. Is n a composite number?
False
Let x(t) = t**3 - 4*t**2 + 5*t - 4. Let g be x(3). Suppose -5*l = 0, l + 1628 = g*f + 2*f. Is f composite?
True
Suppose 0 = 2*a + 4*t - 4322, -a + 2181 = -4*t + 2*t. Is a prime?
False
Let t(l) = l**3 - 12*l**2 + 11*l - 8. Let z be t(11). Let d(x) = -x**2 - 15*x - 9. Is d(z) prime?
True
Let p(b) = 2*b - 2. Let c be p(4). Suppose -c*j + j + 2905 = 0. Is j a prime number?
False
Let i(w) = 8*w**2 + 5*w - 4. Let r be i(3). Suppose -4*q - 170 - r = -5*h, -4*h = 2*q - 218. Is h composite?
False
Let k be (-3)/(-2)*(-12)/(-9). Suppose 3*n = -5*q + 323, -3*q = k*q + 5*n - 315. Is q a composite number?
False
Let d be (-2 + 41/2)*2. Suppose -d = -b + 18. Is b composite?
True
Suppose 3*d = 2*u + 792, -4*d = -1 - 15. Let n = -199 - u. Is n composite?
False
Suppose -2*v = -1 - 7. Suppose -2*q + v*q = 114. Is q prime?
False
Suppose 0 = 4*n - 4, 5*p + 2*n - 6166 = p. Is p a composite number?
True
Suppose 0 = -3*y + 3*j + 57, -5*y + 3*j - 25 + 124 = 0. Is y composite?
True
Suppose m - 65 = 69. Is m - (4 + (-9)/3) a composite number?
True
Let s = 13 - 11. Is 3/(44/(-28) + s) a composite number?
False
Suppose -2 - 8 = -5*h. Let q be -2*(-12)/8 - -44. Is (0 + h)/(2/q) a composite number?
False
Let z be (-20)/6*(-9)/6. Suppose -z = -i, 4*y + 0*i - 145 = -i. Is y composite?
True
Let t(c) = 86*c**3 - c**2 - c + 1. Let a be t(1). Suppose 5*y - 118 = -4*s + a, 3*s = 3*y + 132. Is s a composite number?
False
Let z(g) = g**3 + 12*g**2 + 12*g + 15. Let h be z(-10). Suppose -5*v = 5*s - h, -2*v + 3*v = 2*s + 31. Is v prime?
True
Suppose v = 4*h - 4, 5*h - h = -2*v + 4. Suppose v = -5*w + 13 + 7. Is w a composite number?
True
Let o be 7/((-21)/(-66)) + -2. Suppose 3*j + 99 = -42. Let l = o - j. Is l prime?
True
Let q(w) = 22*w**2 + 4*w + 1. Is q(-3) composite?
True
Is (-11)/(44/(-2504)) + 5 a composite number?
False
Suppose -2*l + 1516 = 2*l. Is l a prime number?
True
Is 14650/(-20)*4/(-10) a composite number?
False
Let a(k) = -k**2 - 6*k - 2. Let h(l) = -l**2 - 8*l + 3. Let o be h(-9). Let y be a(o). Is 1 + 28 + (-4)/y composite?
False
Suppose 6*j - 2627 = -353. Is j a composite number?
False
Let t be (9/(-4))/(6/(-16)). Let l = 3 + -2. Is (-393)/t*(-2)/l prime?
True
Let x be 1 + (-2 - -3) + 2. Suppose 0 = -5*k - x*r - 30, 16 = -3*k - 4*r - 2. Let f = 29 + k. Is f composite?
False
Let s be (-67820)/14 - 34/(-119). Is s/(-10) - 27/(-45) composite?
True
Let j(t) = t - 16. Let p be j(12). Let z be 4/(1/p*-2). Let a = 97 - z. Is a composite?
False
Let k(v) be the first derivative of -9/2*v**4 + v + 2 + v**2 + 2/3*v**3. Is k(-1) a composite number?
False
Let d = 10 + -17. Let r = 4 + d. Is (r/1 - -5) + 77 composite?
False
Let n = 613 - 362. Is n prime?
True
Let d(b) be the second derivative of -7*b**3/2 + b**2 + b. Let i(h) = 2*h**2 - 20*h - 3. Let a be i(10). Is d(a) composite?
True
Suppose 3*w = 39 - 0. Is w a prime number?
True
Let i(g) = 12*g**3 + g**2 - 1. Let o be i(1). Let s be (-80)/o*9/(-2). Suppose 2*c = -0*c + s. Is c a composite number?
True
Let o be (52/(-6))/(6/(-90)). Suppose 8*k - 2*g = 5*k + 393, g + o = k. Is k a composite number?
True
Let l be 10*2/(10/3). Let s = -6 + l. Suppose -5*i + s*i + 185 = 0. Is i prime?
True
Let d(a) = 18*a**2 + 2*a + 1. Suppose -4*l - l + 12 = -4*u, 4*u = -l - 12. Suppose l = g - 3 + 1. Is d(g) prime?
False
Suppose 4*v = v - 96. Let i = v + 99. Is i a prime number?
True
Suppose -5*k - 5 = -35. Let u = k - 6. Is (3 - -8) + 0 + u a composite number?
False
Let h be (-6)/(2 - 0)*3. Is 92/3 + (-3)/h a composite number?
False
Suppose -303 = 5*m + v, -6*m - 5*v - 173 = -3*m. Let o(t) = t**3 + 5*t**2 - 2*t - 8. Let u be o(-7). Let i = m - u. Is i a composite number?
False
Suppose 3*f + 105 = 6*f. Suppose -3*j + f = 2*j. Is j composite?
False
Suppose -6*r + 8*r + 30 = 0. Is (-23145)/(-225) + (-2)/r composite?
False
Let q = 3691 - 2604. Is q prime?
True
Let x(r) = -3*r**2 - r + 2. Let v be x(-2). Let z be ((-6)/v)/((-2)/(-128)). Is -2 + (-2)/(-2) + z a composite number?
False
Let q = 79 - 36. Let s = 25 - q. Is (-831)/(-27) + (-4)/s a composite number?
False
Suppose -8 + 30 = 2*p. Suppose 6*w = p*w - 655. Is w a composite number?
False
Suppose 0 = -3*f - 2*f. Suppose f = 5*g - 3 + 8. Is -2 + 279/(-3)*g a composite number?
True
Suppose -3*m + 1 = -5. Suppose -o = m*o - 324. Suppose 3 = d - o. Is d prime?
False
Let h(b) = -b**3 + 7*b**2 + 7. Let d = 4 + -2. Let i be ((-15)/6 + d)*-10. Is h(i) a composite number?
True
Let s = -302 + 447. Is s composite?
True
Is 30090/14 + (185/(-35) - -5) a prime number?
False
Is 4/22 + 4013/11 composite?
True
Let c(f) be the first derivative of 25*f**2 + f + 3. Is c(1) prime?
False
Suppose 5*a - 3*a = 682. Is a composite?
True
Suppose 0 = -0*k - 3*k - 2*w + 391, 2*k - 259 = -w. Is k prime?
True
Let w(f) = -20*f**2 - 38*f + 40. Let n(z) = -7*z**2 - 13*z + 13. Let o(i) = 11*n(i) - 4*w(i). Is o(-9) a prime number?
False
Suppose 5*f + 30 = 1895. Is f composite?
False
Let c = 2