75 = -5*f. Is f a prime number?
False
Let m(t) = 7*t**3 + t**2 - t - 2. Let u be m(3). Let w = u - 66. Is w composite?
False
Let w(z) = 33*z**2 - 2*z - 1. Suppose 0 = 3*l + 5*s + 4, -4*l + 5*s + 0*s = -18. Is w(l) composite?
False
Suppose -5*k + 9*k - d - 7607 = 0, 4*k = -2*d + 7598. Is k composite?
False
Let a be (-2 - 1)/((-9)/(-6)). Let p(h) = 7*h**3 - 4*h**2 - 3*h - 1. Let k be p(a). Let u = 104 + k. Is u a prime number?
True
Is (-1)/(-2) + 3150/12 a composite number?
False
Let d(l) = l**3 - 6*l**2 - 14*l - 14. Is d(11) a prime number?
False
Let l(i) = 3*i**2 + 4*i + 5. Let s be l(4). Suppose -324 = 4*d - 10*d. Suppose d = k - s. Is k a composite number?
True
Is 95/(-4)*2*-2 a composite number?
True
Let l be 6*4/6*-1. Is 4*28 - (3 + l) composite?
False
Let a(c) = -11*c - 27*c + 3 + 0 - 27*c. Is a(-4) prime?
True
Let u(n) = 2*n**3 - 4*n**2 + 3*n - 1. Let b be u(2). Suppose -20 - 5 = -b*l. Suppose l = -6*d + d, -3*d = -5*t + 218. Is t a prime number?
True
Let f(j) = 6*j**3 - j**2 + 12*j - 9. Is f(4) a prime number?
False
Let t = -566 - -1717. Is t a prime number?
True
Let x(b) = 326*b + 25. Is x(8) prime?
True
Is ((-58)/(-6))/(((-22)/(-12))/11) prime?
False
Suppose 2*j - 56 = 258. Is j a composite number?
False
Suppose 75 = -4*q + 1559. Is q prime?
False
Is 22440/25 - (0 + 2/(-5)) a prime number?
False
Let q(b) = 5*b**2 + 2*b - 2. Is q(2) a prime number?
False
Let y = 6 + -6. Let f(l) = l - l**2 - 5 + y*l + 3*l**2. Is f(4) a prime number?
True
Let z = 2 + -2. Suppose -o + 6 - 4 = z. Suppose -184 = -o*v - 2*v. Is v prime?
False
Let d(b) = b**2 - 9*b + 15. Is d(9) a composite number?
True
Let i = 30 + 1. Is i composite?
False
Let u(o) = 2*o**3 - 4*o**2 + 2*o. Let l be u(3). Suppose -h + 368 + l = 3*d, -5*h = 5*d - 650. Is d composite?
False
Suppose -9 = -v - 2*v. Suppose 0 = 4*j + v*d - 649, 2*d = 3*j - 7*j + 650. Is j composite?
False
Suppose 0*w = -2*k - 2*w + 1974, 981 = k + 4*w. Is k prime?
False
Suppose -1 = -2*x - v + 5, 2*x = -4*v - 6. Suppose 300 = 4*k - 2*m, -x*m + 14 + 314 = 4*k. Is k a composite number?
True
Let t be (-3 + -6)*(-1)/(-3). Is 0 - (-148 - (t - 0)) a composite number?
True
Suppose -16 = f - 5*f. Suppose -3*g = f*o - 11 - 17, 19 = 2*g + 3*o. Suppose -3*l = -3*c + 3, -4*c + 3*l - 3 = -g. Is c composite?
False
Suppose t - q = 22, -2*q - 2*q - 111 = -5*t. Is t composite?
False
Let k(n) = 44*n**2 - 2*n - 3. Is k(-2) a composite number?
True
Let s = 19 + -1. Let a be (21/6)/((-1)/s). Let i = a - -182. Is i prime?
False
Let k be (-2)/(-3) + 56/6. Is (k/15)/(4/1554) composite?
True
Is 682/2 + -5 + 5 composite?
True
Suppose -2*p + p - 3 = 0. Let c be -1 - p - (-50 - -1). Suppose s + 14 = c. Is s a composite number?
False
Let q(c) = -14*c**3 - c**2 - 3*c + 1. Is q(-3) composite?
False
Let r(o) = -5 + o + 5*o - 2*o**3 + 0*o + 2. Is r(-5) prime?
False
Let s(h) = -h**2 - 13*h + 14. Let y be s(-14). Suppose -4*b + 7*b - 1641 = y. Is b composite?
False
Let n = 6 + -11. Let y be 6/15 + (-3)/n. Let x(m) = 84*m**2 + 2*m - 1. Is x(y) a prime number?
False
Let r(g) = g**3 - g + 1. Let k(y) = -3*y**3 + y - 7. Let j(t) = k(t) + 4*r(t). Is j(7) composite?
True
Suppose y - 7 - 2 = 4*z, 2*y - 15 = 5*z. Is (26/y)/((-1)/(-5)) composite?
True
Let x(l) = -302*l + 1. Is x(-1) a composite number?
True
Let z(y) = y - 3. Let m be z(6). Let p(w) = -16*w - 9*w + 175*w + 2 - m. Is p(1) prime?
True
Let x(c) = 13*c**2 - c + 4. Let w be x(9). Let y = w + -677. Is y composite?
True
Suppose 4*d - 102 = d. Is d prime?
False
Let x(t) = t**3 - 7*t**2 - t + 9. Let w be x(7). Let o(h) = -4*h**3 - 5*h + 6*h**3 + h**2 - 1 - 2*h**w. Is o(4) a prime number?
False
Let s(l) = -l**2 + 3*l + 2. Let t be s(3). Suppose -5*r + 2*x = -631, -t*x = r + 2*r - 385. Is r a prime number?
True
Suppose 3*z - 2*q = 39, 0 = -3*z - 4*q + 3*q + 30. Let y = 21 - z. Is y prime?
False
Let d(y) = y**2 - 14*y + 15. Let r be d(14). Let v be 4/18 + 4/(-18). Let o = v + r. Is o composite?
True
Suppose -4 = -3*h + 2. Let y(p) = 197*p**2 - p + 1. Is y(h) a composite number?
False
Let s = -43 - -13. Suppose -4*a = 145 + 315. Let z = s - a. Is z a composite number?
True
Suppose -16*k + 64035 = -7*k. Is k composite?
True
Suppose -2*t - 18 = -4*t + 2*d, 0 = -4*t + 5*d + 40. Let j(x) = -1 + 11*x + 1 + 2. Is j(t) prime?
False
Suppose k - 5*k = -52. Suppose 0*j - k = j. Let f = -7 - j. Is f a prime number?
False
Let t(n) = 11*n + 7*n**3 + 5*n**2 - n**3 + 0 - 4*n - 5. Let j(s) = -s**3. Let i(f) = -5*j(f) - t(f). Is i(-6) a prime number?
True
Suppose -30 = -5*r - 5*s, 4*r - 3*s = -2*s - 1. Is 5/(120/(-124) + r) composite?
True
Let x(d) = -40*d - 1. Is x(-3) prime?
False
Suppose -3*o = -6*o - 75. Let u = 23 - o. Let d = 73 - u. Is d a prime number?
False
Suppose 4*d - 4*k = -116, -2*k = d + 2*k + 4. Let v = 145 + d. Is v prime?
False
Let f(r) = -88*r - 23. Is f(-9) a composite number?
False
Let v be 2 - 8 - (-3)/(-3). Let y(w) = -w**3 - 8*w**2 - 6*w + 4. Let c be y(v). Is 22/6 + (-1)/c prime?
False
Is (6/(-4))/((-45)/60510) a prime number?
True
Is (-666)/3*(-8)/16 a prime number?
False
Let z = 45 + 287. Suppose 2*h + z = 6*h. Is h composite?
False
Suppose 8 = 3*v - 4, 3*v - 116 = -4*n. Suppose m = 2*m + n. Let r = m - -61. Is r prime?
False
Suppose 1035 + 2140 = 5*n. Is n composite?
True
Suppose 0 = 6*h - 1459 - 6851. Is h a prime number?
False
Let y(g) be the second derivative of -g**5/20 + 3*g**4/4 - 7*g**3/6 - 2*g**2 - 2*g. Let a be y(8). Is a/(-10) - 1348/(-20) a composite number?
False
Suppose 0 = 15*m - 74 - 5611. Is m a composite number?
False
Let h(a) = -16*a - 7. Let s be h(-6). Let l = s - 3. Is l a prime number?
False
Let p = 374 - -99. Is p a prime number?
False
Let b = 2813 - 1518. Suppose -2*h = 5*d - 24, -5*h = 3*d - h - 20. Suppose w + d*w = b. Is w a composite number?
True
Let h = 617 + -354. Is h a prime number?
True
Let w = 38 - 20. Is (-8)/36 + 400/w a composite number?
True
Suppose 0 = i + i - 22. Suppose -2*y + i = -17. Is y a composite number?
True
Suppose f + 30032 = 5*f + h, -2*f = 4*h - 15030. Is f prime?
True
Suppose -3*b + 3 = -6. Is -3 - (b - -7)/(-1) a prime number?
True
Let s be 4 + -4 + 1 + 1. Suppose 3*t - 89 = -s*v, 4*v + 10 = 3*t - 109. Is t prime?
False
Suppose -2*j = -6*j - 4*v + 1320, 5*v = -2*j + 657. Is j prime?
True
Let l(i) = 36 - 26 - 3*i - i**2 + 2*i + 73. Is l(0) a composite number?
False
Let c be (7 + 2)/(2/26). Let o = c + -4. Is o a composite number?
False
Let w = 11 + -7. Is (6/w + -1)*282 composite?
True
Suppose 4*u + 5*n = 2*u + 264, 0 = 5*n - 10. Is u a prime number?
True
Suppose 426 = 2*q + 32. Suppose -n - q = -b + 2*n, 0 = -3*n - 12. Suppose a - 6*a = -b. Is a prime?
True
Let r(p) be the third derivative of p**6/120 + p**5/20 - 5*p**4/24 - 2*p**3/3 + 4*p**2. Is r(-3) prime?
True
Suppose -2*g + 72 + 6 = 0. Is g prime?
False
Let n = 837 + -316. Is n a composite number?
False
Suppose -5*a = -2*a - 12. Let c = -9 + 14. Suppose 0 = -4*b + a*f + 96, -25 = c*b + 5*f - 95. Is b composite?
False
Let o(u) = 16*u + 2 - 3 + 27*u. Is o(2) a composite number?
True
Let p(i) = -i**3 + 10*i**2 - 6*i - 9. Let d = -14 + 23. Let b be p(d). Suppose 2*a = -4 + b. Is a a prime number?
True
Let h = -499 - -880. Is h a composite number?
True
Let s(y) be the third derivative of y**5/4 - y**4/12 + 5*y**3/6 + y**2. Is s(-4) composite?
True
Let v(n) = -7 + 1 + 5 + 5*n. Is v(4) prime?
True
Let y = 5 - -3. Suppose 3*x + 7 = -y, 283 = 2*m + 3*x. Is m prime?
True
Is -4 + ((-40959)/3)/(-3) prime?
True
Suppose 0 = 3*o - 6, -o + 5 = 3*h - 9. Suppose 5*l - q + 2*q - 878 = 0, 0 = -h*l - 3*q + 709. Suppose -l = -5*m - 0*m. Is m a prime number?
False
Suppose 4*n + 5*q - 244 = 0, -5*n + 2*q = -222 - 83. Is n*1 + (4 - 6) composite?
False
Suppose -5*x + 5*c + 675 = 0, 766 = 4*x - 3*c + 231. Let r = 3 + x. Suppose -n - 4 = 0, 3*n + n = -f + r. Is f composite?
False
Let p(y) = 14*y + 9. Is p(2) a prime number?
True
Let k = -2 - -5. Suppose -6*z + 2*z + 58 = -k*p, 8 = -4*p. Is z composite?
False
Is ((-4)/6)/((80/10365)/(-8)) a prime number?
True
Let z = -349 + 639. Suppose -z - 370 = -k. Let s = k + -403. Is s a composite number?
False
Suppose 258 = 4*c - 4*y + y, 0 = -c + y + 64. Suppose 4*g = c - 10. Suppose -i - i = -g. Is i a composite number?
False
Suppose 4*c = c + 12. Suppose c*k = 3*l -