ite?
False
Let j(m) = -4*m + 49. Is j(-25) prime?
True
Suppose 0 = 5*x - 1266 - 619. Is x prime?
False
Let p(v) be the first derivative of 83*v**3/3 - 3. Is p(1) prime?
True
Suppose y + 0 = 3. Is (0 - y - -89) + 3 prime?
True
Suppose 1321 = 3*j + 5*c, 0 = 3*j + 3*c + 721 - 2038. Is j a prime number?
False
Suppose 10 + 2 = -3*s. Suppose 0 = -5*v - 3*f + 109, 44 = 4*v + 2*f - 44. Let b = s + v. Is b prime?
True
Is ((-201)/(-12))/(4/32) a prime number?
False
Let u be ((-22)/6)/(13/(-507)). Suppose n - 3*n = -5*z - u, -z + 290 = 5*n. Is n a prime number?
True
Let p = 7 - 2. Suppose p*w - 402 = -2*k, k = 5*w - 18 + 249. Is k a prime number?
True
Let k(z) = 10*z**2 + 7*z - 7. Let p(j) = 11*j**2 + 7*j - 7. Let m(s) = 4*k(s) - 3*p(s). Is m(-7) a prime number?
False
Let k(w) = 122*w**2 - 3*w. Let x(a) = -122*a**2 + 4*a. Let r(m) = 5*k(m) + 4*x(m). Is r(-1) a prime number?
False
Suppose -3*i + 100 = 2*p, 4*i + 5*p = 2 + 129. Let u(m) = m**3 - 6*m**2 + 8*m - 4. Let y be u(5). Let c = i - y. Is c composite?
False
Suppose 766 = b - 5*j, b + 4*j - 763 = 8*j. Is b a composite number?
False
Suppose -3*d + 4 + 5 = 0. Let q be -4 + d + -1 + 4. Is q/8 + 774/8 prime?
True
Is 4965/10*4/6 a composite number?
False
Let n(z) = 3 + 6*z + 7*z - 7. Is n(3) prime?
False
Suppose -2 = -2*y - 0. Suppose -r - f = 0, 5*f + y = -4*r - 2. Suppose -7*i + g = -2*i - 51, -r*i + 37 = g. Is i prime?
True
Is (2/(-9) - 4400/(-36)) + -3 a prime number?
False
Let k(c) = 2*c**2 + 6*c + 1. Suppose -3*o + 0*o - 15 = 0. Is k(o) a prime number?
False
Is 4 - (4 - 2095 - (2 - -2)) a prime number?
True
Is (-383)/(-2) - (-6)/(-12) prime?
True
Let q(u) = -6*u - 6. Let b = -4 - 1. Let g be q(b). Suppose g = -3*t + 66. Is t prime?
False
Let y(c) = c**2 - 5*c - 6. Let g be y(6). Suppose g = -m + 1, -3*i - i = 2*m - 90. Suppose 4*f - 112 = -4*h, -f = -4*h + i - 75. Is f a prime number?
False
Is 1069/9 + (-10)/(-45) composite?
True
Let f(g) = -g**3 + 3*g**2 - 2. Let u be f(2). Suppose 0 = -u*j + n - 2*n + 21, -4*j = 4*n - 52. Suppose o - 31 + j = 0. Is o composite?
False
Let u(j) = -j. Let q be u(2). Let i be (0 + q + 3)*3. Suppose 100 - 247 = -i*p. Is p prime?
False
Suppose -1921 = -4*z - 97. Suppose -2951 = -5*r - z. Is r prime?
True
Suppose -891 = -3*v - 0*v. Let l = v - 86. Is l a prime number?
True
Suppose 2*s + 10 = 7*s. Suppose -4*z - s + 10 = 0. Suppose 31 = -z*p + 189. Is p a composite number?
False
Let b(y) = 4*y**2 + 3*y - 2. Is b(5) prime?
True
Let j(b) be the first derivative of -7*b**4/4 - b**3/3 + 7*b**2/2 + 2*b + 5. Is j(-3) a prime number?
False
Let g be (-2)/8 - 470/40. Is 2958/24 + 3/g composite?
True
Let q(n) = -1372*n + 19. Is q(-4) a composite number?
False
Suppose -5*y - 3*m = -944, -5*y = -3*y - m - 371. Is y prime?
False
Let s(o) = -o**2 - 12*o. Is s(-5) composite?
True
Let r(h) = h**3 - 10*h**2 + 9*h + 2. Let s be r(9). Suppose -4*x - 309 = -u - 78, -450 = -s*u + 2*x. Is u prime?
True
Is ((-3)/(-9))/((-2)/(-1542)) composite?
False
Let y(l) = 13*l + 4. Is y(6) prime?
False
Let v = 13 + -28. Let k be 3*5/(v/2). Is (1/k)/((-5)/370) composite?
False
Suppose -3*f + 7625 = -1270. Is f a composite number?
True
Let l(z) = 3*z**2 + 4*z + 5. Let g be (-1 + (-3)/(-2))*-14. Let a = 3 + g. Is l(a) prime?
True
Let h = 160 + -107. Is h prime?
True
Let o = 508 + 105. Suppose -76 = 3*n - o. Is n a prime number?
True
Let m = 53 - 19. Let q = m - 15. Is q prime?
True
Is (-3 - 21/(-9))*753/(-2) prime?
True
Suppose -6*s = -s - 15. Let m be (-3)/(s/12 + -1). Suppose m*j = 2*j + 8, -5*u - 4*j = -131. Is u composite?
False
Let r = -4 - -3. Let b be ((-3)/4)/(r/4). Suppose 3*a = -6, 0 = -b*z - z + 3*a + 18. Is z prime?
True
Suppose -3*g = -d + 2*d - 5877, 0 = -2*g - 4*d + 3918. Is g composite?
True
Let f = -7 + 3. Is f + 3 + 16*10 a prime number?
False
Let d = 2747 + -491. Suppose 3*b + 1515 = 2*c, -3*c + d = -3*b + 4*b. Suppose 3*f = 4*n + c - 256, f - 169 = 3*n. Is f composite?
False
Suppose 4*g - g = 5964. Suppose g = 10*s - 6*s. Is s a composite number?
True
Suppose -q - q = 4. Is q + 2 + (18 - -3) prime?
False
Suppose 5*v - d - 4269 = -4*d, 0 = -3*v - 3*d + 2565. Let m = 1231 - v. Is m a prime number?
True
Is (-482)/(-2) - 16/4 composite?
True
Let p(m) = -488*m + 17. Is p(-12) a prime number?
False
Let o be (0 - -14)/(30/285). Suppose 2*r - 49 - o = 0. Is r a composite number?
True
Is (-7505)/(-45) - 4/(-18) a prime number?
True
Suppose 385 = 3*z + 4*f, -7*z + 2*z + 4*f = -695. Suppose z = 5*j - 0*j. Suppose 0 = 4*r - 5*v - j - 7, 6 = 3*v. Is r prime?
True
Let h(m) = -176*m - 1. Let t(i) = 353*i + 2. Let j(b) = -13*h(b) - 6*t(b). Let r be j(1). Suppose -2*n - 41 = -r. Is n composite?
True
Let p be 1*(1 + 0/1). Let k(r) = -16*r**2 - 3*r - 4. Let l(y) = -31*y**2 - 5*y - 7. Let c(z) = 5*k(z) - 3*l(z). Is c(p) a composite number?
True
Suppose -3*g - 2*k + 318 = 0, -2*k - 101 = -g - k. Suppose -241 = -5*h + g. Is h a prime number?
False
Suppose 9 = 3*z, 0 = -d + 2*z + 3*z - 41. Let s = 117 + -212. Let h = d - s. Is h a composite number?
True
Let h(p) = -6*p - 1. Let w be h(-1). Let z(r) = -r**3 - r**2 - r. Let u(d) = 4*d**3 - 4*d**2 + 7*d - 3. Let g(k) = -u(k) - 3*z(k). Is g(w) a prime number?
False
Let p be (-15)/(-25) - (-4)/10. Let g be (-604)/(-2)*p/2. Suppose 0 = -3*m + 5*c + 139, 5*c = -4*m + 81 + g. Is m prime?
True
Let r be (-532)/(-3) + 16/24. Suppose -4*p + 994 = -r. Is p prime?
True
Suppose -b + 245 = 51. Is (-2 - -2 - b)/(-2) a composite number?
False
Let n be -44*(-3 + 10/8). Let k = n + 38. Is k prime?
False
Let n be 48*300/9 - 0. Is n/30 - (-2)/(-6) composite?
False
Is 356*3/2 - (-13)/(-13) a composite number?
True
Suppose 110*q - 113*q + 11283 = 0. Is q a prime number?
True
Let b be 4/(-10) - (-444)/60. Suppose 0 = 6*a - b*a + 226. Is a prime?
False
Suppose 2*s + 2*s = 20. Let m(r) = -r**2 + 6*r - 3. Let b be m(s). Let l = b - -8. Is l a prime number?
False
Suppose p - 3*t = -2*p - 612, -5*p - 5*t = 1050. Let o be 3256/(-28) + (-2)/(-7). Let j = o - p. Is j a prime number?
False
Let g(z) = -5*z**3 - 20*z**2 - 8*z + 3. Is g(-7) a prime number?
False
Suppose 4*p + p - 5 = 0. Let v be (-1 - p) + (4 - -1). Suppose -v*o + 455 = 4*b, -o - 304 = -3*o - 3*b. Is o a prime number?
True
Let w be (-2 + 3)*7*-29. Is (-1)/(-5) + w/(-35) prime?
False
Let q = 21 - -27. Suppose -4*o = -2*u - u - 101, -2*o = u - 63. Let x = q - o. Is x a composite number?
False
Let u(g) = -2*g**3 - 6*g**2 - g - 1. Suppose 24 = -a - k - 4*k, 4 = -2*a + k. Is u(a) prime?
False
Let s(v) = v**2 - 3*v - 3. Let n(q) = q - 2. Let z be n(5). Suppose w + x = 3 + 2, 3 = -z*x. Is s(w) a composite number?
True
Let t(s) = s**3 - s**2 + 2*s + 265. Is t(0) a prime number?
False
Let c(q) = 16*q**2 + 36*q + 24. Let w(l) = 3*l**2 + 7*l + 5. Let a(d) = -2*c(d) + 11*w(d). Let u = 9 - 15. Is a(u) composite?
False
Let o = 10 + -5. Suppose 7 = -t - y + o*y, -t + 5 = 2*y. Is t + 47 + (-2)/1 a composite number?
True
Suppose 0 = m - 4*w + 69, 0 = -2*m + w - 168 + 9. Let a = -48 - m. Is a a prime number?
False
Let v = -328 + 491. Is v a composite number?
False
Let s = 29 - 24. Suppose -z - s*t + 642 = 3*z, 4*z - 2*t = 656. Is z a prime number?
True
Suppose -5*k = 4*l - 621, -5*k + 2*l = -2*l - 589. Let s(f) = 12*f. Let q be s(-7). Let u = k + q. Is u composite?
False
Let a(o) be the first derivative of -o**7/840 - o**6/120 + o**5/24 + o**4/4 + o**3/3 + 1. Let m(b) be the third derivative of a(b). Is m(-5) composite?
False
Is ((2747 - -2) + (-5 - -2))/2 a composite number?
False
Let l be 2/(-3)*(-4 - -1). Suppose 4*w - 147 = 5*k, 5*w + 6*k = l*k + 153. Is w prime?
False
Suppose -2*t = -11*t + 1305. Is t composite?
True
Let n = 515 + -294. Is n a prime number?
False
Suppose -831 = -v + 4*o, 0 = 4*v - 0*v - 5*o - 3379. Is v prime?
False
Let z(f) = -f**3 + 15*f**2 + 19*f - 26. Is z(15) prime?
False
Suppose 0 = 5*z + 101 - 896. Is z composite?
True
Let p = -13 + 18. Suppose -4*s = j - 249, 2*s + 4*j - 111 = -j. Suppose -n + 2*k + 7 = 0, -p*n = 5*k - k - s. Is n a prime number?
True
Let x(q) = -347*q - 49. Is x(-18) composite?
False
Suppose -3*n + q + 329 = 74, -2*q + 255 = 3*n. Is n a prime number?
False
Let p(s) = 47*s**2 - 2*s - 1. Is p(4) composite?
False
Suppose -h + 0 = -3. Let s = 33 - 0. Suppose -w - 19 = -4*f + 3*f, 0 = 3*f + h*w - s. Is