Suppose t*m = m + 38. Is m prime?
True
Let i(s) = 8010*s - 17. Is i(1) prime?
True
Let i be 21/(-2)*4/(-6). Suppose 0 = i*u - 14*u + 30289. Is u a composite number?
False
Let w = 1 - -13. Suppose -11*q - 561 = -w*q. Is q a composite number?
True
Suppose -2*w + 12035 = -10149. Suppose 4*k + 3536 - w = 0. Is k a composite number?
False
Let f(a) = -4597*a - 754. Is f(-15) a composite number?
True
Let a = -8 - -15. Suppose 3*g - 10770 = -a*g. Is g a prime number?
False
Suppose w - 2*w - 65 = -5*p, -2*w - p - 75 = 0. Let y = w - -307. Is y a prime number?
False
Let x = 7057 + -3919. Suppose 5*f - 5236 = 3*v, -3*f - v = -4*v - x. Is f prime?
True
Let y(a) be the second derivative of -17*a**6/240 + 7*a**5/120 - a**4/4 + a. Let t(x) be the third derivative of y(x). Is t(-4) composite?
False
Suppose -5*f - j = -13, 0 = 3*f - 5*f - 4*j + 16. Suppose 0 = -5*q - w - w + 641, f*q = 2*w + 248. Is q prime?
True
Let q be 216/32 + (-6)/8. Suppose 0*i + 3*c + q = i, 0 = -5*i - 2*c - 21. Is -2 + (i - -16 - -3) a composite number?
True
Let v(w) = -10*w + 5. Let p be v(2). Suppose 0 = 4*c - 16 + 8. Is (-12)/9*p/c a prime number?
False
Suppose 430084 = 48*s - 1023788. Is s a prime number?
False
Is (-940)/(-12)*30/25 a prime number?
False
Suppose 0 = w + 2*a + 684, -w - 4*a = -4*w - 2022. Let b = -467 - w. Is b a prime number?
True
Suppose a = 7 - 4. Suppose y = -5*i - 3, -5*y + a*i = -3*y - 7. Suppose -3*c - y*d + 1457 = 2*c, -1164 = -4*c - 2*d. Is c composite?
False
Suppose -z + 337 + 39 = 0. Is ((-9)/(-4) - 4)/((-2)/z) prime?
False
Suppose -8 + 2 = 3*r. Is r/(-5) - (-5)/50*7966 a prime number?
True
Let d = 41 + -28. Let q = d + -9. Let b = 31 + q. Is b prime?
False
Is (1 - 6 - 1704)*-1 prime?
True
Let m = -645 - -1192. Suppose -m = -4*a - 3*u, 3*u - u + 256 = 2*a. Is a a prime number?
False
Let x(h) = 34*h + 18. Let y be x(3). Let f = 1 + -36. Let r = f + y. Is r prime?
False
Suppose 2*p = 64*p - 1014010. Is p composite?
True
Let g(o) = 433*o**2 + 2. Let w be g(2). Suppose -w = 5*m + 906. Let h = 929 + m. Is h a prime number?
True
Let t(v) = v - 12. Let r be t(14). Let x be -3 + (2 - -48) + r. Let w = 86 - x. Is w composite?
False
Suppose -5*b + 3*f = -1100, -2*f - 649 = -3*b + 2*f. Is b prime?
True
Suppose 2*w = w + 3. Let s be (78/5)/(w/15). Suppose 2*u = s + 70. Is u a prime number?
False
Suppose 2764 + 5676 = 8*j. Is j a prime number?
False
Let u(p) = -4*p**3 - 2*p**2. Let j be u(-2). Suppose 12 = -6*g + 3*g, g + j = 5*l. Suppose 0 = -l*h + 1 + 27. Is h prime?
True
Let c = -10 + 0. Let s(l) = -9*l**2 - 12*l - 16 + 5 + 0*l + 8*l**2. Is s(c) a composite number?
True
Suppose -2483 = -2*z + 6*t + 2441, z - 2468 = 5*t. Is z composite?
True
Let q(i) = i**2 - 7*i + 5. Let u be q(6). Let d be (-1)/(1/5*(4 + -3)). Is d/(-1)*(-41)/u prime?
False
Let z(k) = -2039*k**3 + 3*k**2 + 3*k + 1. Is z(-2) composite?
False
Let d = 58 + 48. Suppose a = -3*a - 5*k - 18, 15 = -a + 4*k. Let g = d - a. Is g a prime number?
True
Suppose 40908 - 334353 = -9*b. Is b a composite number?
True
Let w be ((-12)/(-42))/(2/14). Let z(r) = r**3 - r**2 - r. Let m be z(w). Suppose -m*l - 2*l + 2*n = -276, 5*l - 5*n = 345. Is l prime?
False
Let n = -16684 - -30533. Is n composite?
True
Let g(h) = 13551*h + 76. Is g(7) composite?
False
Let p = -8574 + 16687. Suppose 13531 = 5*z + 3*d, -2*z + d + p = z. Is z prime?
False
Let b(z) = z**3 - 13*z**2 - 8*z. Let t(v) = -7*v**2 - 4*v. Let r(p) = -4*b(p) + 7*t(p). Is r(-3) composite?
True
Let c = 30 - 26. Suppose -n + 0 = c. Is (499 - (-2 - n))/1 prime?
False
Is 735015/(-190)*2/(-3) composite?
False
Let z(g) = 16*g**2 - 30*g - 3. Is z(-6) prime?
False
Let i(b) = 4*b - 4. Let m be i(2). Let w be 2 - -2*m/8. Suppose w*r + 5*k - 237 = 0, 5*r - 395 = 7*k - 3*k. Is r prime?
True
Let a(d) = 2*d**2 + 4*d + 3. Suppose -4*i + i = 0, -2*x = 5*i + 4. Let y be a(x). Let c(u) = 9*u**3 + u + 3. Is c(y) composite?
True
Suppose p = 3*z + 15, -5*z = 3*p - 2*p + 9. Suppose 295 = p*v - 971. Is v a prime number?
True
Let x be 5594/(-8) + (-1)/(-4). Let y = -1016 - -1011. Is (-5)/(y/2) - x prime?
True
Let s(z) be the first derivative of -34*z**2 + 7*z + 11. Is s(-5) a prime number?
True
Is (10 + -18549)/(-5 + 136/28) prime?
False
Suppose 3487 = 7*v + 302. Suppose -5*p + v = -3*b + 25, b + 173 = 2*p. Is p prime?
True
Suppose 4*k + 22 = 30. Suppose -g + c + 290 = -0*c, k*g + 4*c - 610 = 0. Is g a composite number?
True
Let x(p) = 347*p**2 - 174*p + 2. Is x(7) prime?
True
Suppose 2*f - 33 - 13 = -4*k, 0 = f - k - 11. Let d = f + -11. Suppose q + 536 = 3*a, d*a - 4*q + 248 = 976. Is a composite?
True
Let p(u) = 106*u + 49. Let l be p(-13). Is l/2*120/(-36) composite?
True
Suppose 4*q - 4*u - 12309 = q, -u = -q + 4103. Is q composite?
True
Is (-6)/8*(-9 + 5) - -3430 a composite number?
False
Let z(u) = -u**3 - 13*u**2 - 7*u + 6. Let t(p) = 2*p**3 + 26*p**2 + 15*p - 12. Let w(c) = -4*t(c) - 9*z(c). Let b = 20 + -29. Is w(b) a prime number?
False
Let m = 11 + -7. Suppose 0 = m*a - 7*a + 6. Suppose a*l - 86 = -34. Is l prime?
False
Let r = -23 + 22. Let n = 292 - r. Is n a composite number?
False
Suppose 69 = -6*t + 9. Let u(m) = -m**2 - 25*m - 1. Is u(t) a composite number?
False
Suppose -64926 = -0*p - 18*p. Is p a prime number?
True
Let y(k) = -k**3 - 10*k**2 - 10*k - 2. Let s be y(-9). Suppose -s*a = -12*a - 645. Let z = -58 - a. Is z prime?
True
Let t(q) = 8*q**3 + 38*q**2 + 14*q - 47. Let n(z) = -3*z**3 - 13*z**2 - 5*z + 16. Let i(d) = -11*n(d) - 4*t(d). Let f be i(9). Suppose x - f = 8. Is x prime?
True
Let s = 2516 + -1273. Is s a composite number?
True
Let s = 1525 - 1056. Suppose 4*k - 5*o = 1313, -k - 2*o = -354 + 42. Let x = k + s. Is x a composite number?
True
Let d(w) = -w + 1. Suppose -3*m - 2 = -2*v, -4*m = -0*m. Let k be d(v). Suppose 2*t - 203 = -r - k*r, 4*r + 5*t - 824 = 0. Is r a prime number?
True
Let k = 2872 - 411. Is k a composite number?
True
Let w = 40 - 38. Is ((35/(-15))/7)/(w/(-5682)) prime?
True
Suppose -4*m - 39 = 9. Is (0 + -479)/(m + 11) a composite number?
False
Let b(m) = 34*m**2 + 7*m + 54. Is b(-8) a composite number?
True
Suppose -6*j + 8686 = 4*g - 4*j, -2*j - 6 = 0. Is g a prime number?
False
Let f = 57 + -30. Let b be 6/f + (-302)/(-18). Is 2 + (-2 - b)*-1 a composite number?
True
Suppose -6*b - 2*h + 233 = -3*b, -156 = -2*b - 2*h. Is b prime?
False
Suppose -d - 7578 = -3*j + j, -18947 = -5*j + 3*d. Is (j/(-28))/((-3)/12) prime?
True
Suppose -51891 = -2*b - 5*a, 2*a = 2*b - b - 25941. Is b a prime number?
True
Suppose 252299 = 5*p - 2*o, 0 = 5*p + 7*o - o - 252283. Is p composite?
False
Let h(o) = -o**2 - 37*o - 216. Let l be h(-7). Let g = -3 + -3. Is (44 + -1)*l/g a prime number?
True
Let d = -122 - -129. Let y(x) = -x**2 + 12*x - 1. Let i(p) = 2*p**2 - 13*p + 2. Let s(q) = 3*i(q) + 4*y(q). Is s(d) prime?
True
Suppose -2331 + 912 = -3*t + 3*a, -4*a - 952 = -2*t. Let m = -265 + t. Is m a composite number?
True
Let p(z) = -z**3 + z**2 + 10*z - 8. Let t be p(-8). Suppose i + 3*i = t. Is i composite?
True
Is -3 + (-10)/5 + 694608/24 a composite number?
True
Let h(k) be the third derivative of -k**6/30 - 7*k**5/60 - k**4/4 - 5*k**3/6 - 2*k**2. Let r be (24/2)/(-2) + 4 + -2. Is h(r) composite?
False
Let i(j) = 192*j**3 - 9*j**2 + 21*j + 11. Is i(4) composite?
False
Let l be 0*(-3 + (-20)/(-6)). Suppose l = -4*g + 4608 - 740. Is g a composite number?
False
Let n = -11774 - -18781. Is (-2)/(n/(-2335) + 3) prime?
False
Let l = 22 - 40. Let k = 18 + l. Suppose 0 = b - 3*w + w - 293, -4*b - 2*w + 1152 = k. Is b composite?
True
Let n(y) = 2097*y - 85. Is n(2) a composite number?
True
Is (918/(-45))/(12/(-20)) a composite number?
True
Is -4036*(-34)/8 - 6 prime?
False
Suppose -3*f - 9 = 0, 0 = -i - 0*i + f + 7. Suppose -4*x - i = 0, 0 = -5*c + 5*x - 0*x + 8550. Is c a composite number?
False
Suppose -17447 = 3*z - 196388. Is z a composite number?
True
Let k(h) = 4*h + 10. Let u be k(-7). Is (12/u)/((-8)/(-6))*-242 a composite number?
True
Let s be (-1778)/(-7)*6/(-4). Is (2*s/(-6))/(2 - 1) prime?
True
Let o = -29 + 31. Suppose -7 = -q - o*m - 3*m, 33 = -3*q + 3*m. Let y(u) = 4*u**2 - 6*u - 11. Is y(q) a composite number?
False
Suppose -2*n = -3*l + 6*l, 3*n = -2*l. Is 1542 - 3/(-3 - n) a prime number?
True
Suppose -4*s + 16 - 4 = 0. Suppose -i = 4*m 