*t + 3. Is a(2) composite?
False
Suppose 2*x = g - 167, -2*x - 103 = -2*g + 231. Suppose 4*q - g = 29. Is q composite?
True
Let v(k) = -4 - 6 - 4*k**2 + 3 + k**3 - 5*k. Let a be v(7). Suppose l + a = 4*l. Is l prime?
False
Let d = 371 + 75. Is d prime?
False
Let h(v) = -2*v**2 + 7*v + 7. Let p be h(-5). Let z = -9 - 30. Let x = z - p. Is x prime?
False
Let r(c) = 134*c**2 + 5*c - 3. Is r(4) a prime number?
True
Let g(b) = b - 1. Let w be g(1). Suppose n + n = w. Suppose 4*j - 4*f - 228 = 0, n = 3*j + 2*j + f - 285. Is j a composite number?
True
Suppose -5*d - 10 = 0, -r + 32 = -2*d - 31. Is r a prime number?
True
Let i = 44 + -126. Suppose -5*v + 62 - 732 = 5*n, 5*n = -4*v - 535. Let g = i - v. Is g composite?
False
Is -268*(-3 + 2) + 3 a composite number?
False
Suppose 0 = -4*k + 16, r - k + 6*k - 555 = 0. Is r prime?
False
Let n(v) = -v**3 - v**2 - 6. Let f be n(0). Is (-13)/(-2)*(-84)/f a composite number?
True
Suppose 5*j = -30 + 5. Let u = 9 + j. Suppose 82 = 2*s - u*b, -11 = 5*s + 4*b - 146. Is s a composite number?
False
Let m(k) = 11*k**2 - 10*k - 4. Is m(9) prime?
True
Let f(y) = 6*y**2 + 2*y + 5. Is f(-5) prime?
False
Let z(l) = l**2 - 8*l + 15. Let q be z(7). Let n = q - -215. Is n a prime number?
True
Let t be 4/(-10) + (-10)/(-25). Suppose 2*j - 326 = -t*j. Is j prime?
True
Let m(a) = -15*a - 5. Let l(h) be the third derivative of 7*h**4/12 + 2*h**3/3 + 2*h**2. Let g(n) = -6*l(n) - 5*m(n). Is g(-4) composite?
False
Suppose -4*s = -3*m - m + 824, 1070 = 5*m + 3*s. Is m composite?
False
Suppose -q - 39 = -6*q - 4*c, -3*c - 4 = -q. Suppose q*s = 2*s + 235. Is s prime?
True
Suppose -4*y + 3*y = 1. Let q = y - -2. Is q - 1 - 2 - -69 a prime number?
True
Let s(z) = 2*z**2 + 5*z + 1. Let y be s(-5). Let l(h) = -h**2 + 8*h - 5. Let m be l(7). Suppose m*x = -0*x + y. Is x a composite number?
False
Is (-94 - -7)*(2 - 3) prime?
False
Let c(r) = -6*r - 1. Let p be c(-1). Let k = -10 + p. Is ((-99)/(-15))/((-1)/k) a prime number?
False
Suppose -2 = 2*y - o - 10, 2*o - 2 = -5*y. Suppose 5*h - 4*h = 5*t + 17, -3*t + 8 = y*h. Is h a composite number?
False
Let c = -7 - 1. Let f(z) be the first derivative of -16*z**2 + 3*z + 5. Is f(c) prime?
False
Let b(d) = 0*d + 0 - 20*d + 6*d**2 + 12*d**2 - d**3 + 16. Is b(15) composite?
True
Let r be 16/6 - 1/(-3). Let z = -5 + r. Is 0 + (z - 0 - -23) a prime number?
False
Let m(o) = -o**3 + 13*o**2 - o + 16. Let c be m(13). Suppose -c*j - 5*t - 8 = 0, 0*j - 3*t = -5*j + 32. Is j composite?
True
Let u(z) = 55*z - 32. Is u(11) prime?
False
Let t(n) = 2*n**2 + n + 4. Let w be t(-9). Suppose i = 216 + w. Is i prime?
True
Let q(n) = -5*n**2 + 3*n - 3*n - n**3 + 2. Let l be q(-5). Suppose l*z + 6 = 0, -4*k + 5*z - z = -40. Is k prime?
True
Suppose t = -4*b - 0*b + 9, -12 = -2*t - 2*b. Suppose 0 = t*w - 6 - 69. Is w a composite number?
True
Let s be (28/6 + 2)*3. Let c be 4/s + 292/(-10). Let l = 43 + c. Is l a prime number?
False
Suppose -5*b + 9*g = 4*g + 20, -4*b - 20 = -5*g. Suppose -2*c + 29 = y, -5*c - 2*y + 71 = -b*y. Let t = c + 2. Is t composite?
True
Suppose 4*q + 5*a = 48, -5*a + 4*a = 2*q - 18. Let p(l) = -2 + 0 - q*l - 8*l + 0*l. Is p(-9) prime?
False
Suppose 2653 = l + 722. Is l prime?
True
Suppose 2590 = 4*j + j. Suppose 5*x = -123 + j. Is x prime?
True
Let q(h) = -2*h**3 - h**2 + 3*h + 2. Let u be q(-2). Suppose -3*n = -u*n. Suppose n = -4*f + 56 + 28. Is f a prime number?
False
Let c(d) = -128*d + 3. Let n be c(-4). Suppose n = 3*r - 112. Is r a prime number?
False
Suppose -4*m + 2*z + 34 = 0, -2*z = -5*m - 0*z + 43. Suppose -2*p - m = 81. Let i = -20 - p. Is i a prime number?
False
Let i(f) = -71*f**3 + 5*f - 5. Is i(-3) prime?
False
Suppose -4 = 4*q, -3*c + c - 3*q + 4539 = 0. Is c a prime number?
False
Let y(g) = -g - 1. Let v(k) = 9*k**2 + 2*k + 7. Let q(d) = v(d) + 4*y(d). Let l be q(2). Let j = l - 24. Is j prime?
True
Let t(i) = i**3 - 15*i**2 + 10*i + 7. Is t(15) prime?
True
Let d = 7 - 4. Suppose 2*u + 3*u - 122 = -d*i, 2*i = 5*u - 102. Let s = 45 - u. Is s a prime number?
True
Let a = -810 - -1147. Is a a prime number?
True
Let h = -7 + 24. Let u = h - 7. Is u prime?
False
Let m(j) be the second derivative of j**6/120 - j**4/24 - j**3/6 + 2*j. Let x(h) be the second derivative of m(h). Is x(2) a prime number?
True
Let g(r) = -r + 1. Let t be g(-2). Suppose 52 = s - t. Is s a prime number?
False
Let q(s) be the third derivative of 11*s**5/30 + s**4/12 + s**3/6 + 2*s**2. Suppose 0 + 5 = -5*j. Is q(j) composite?
True
Suppose 8*i = 10*i - 2690. Is i a composite number?
True
Let g(x) = -x**2 + 9*x + 12. Let z be g(11). Let b(f) = f**2 + 6*f - 2. Let h be b(-7). Is (-104)/z - 2/h a prime number?
False
Suppose 5*n - 15 = 5*l, 6*n - 10 = 2*n + 2*l. Suppose -n*t + 51 = -59. Is t composite?
True
Let k(j) = -2*j**3 + 9*j**2 + 3*j + 5. Suppose -2*q = -3*q - 6. Is k(q) prime?
True
Let p(l) = 41*l. Let n be p(5). Let x = n - 128. Is x a composite number?
True
Let g(d) = 264*d**3 + d**2 + d - 1. Let q(o) = -o**2 + o + 1. Let p be q(1). Let z be g(p). Suppose 0 = 6*n - n - z. Is n a composite number?
False
Suppose 3*m = 2*m + 149. Is m a composite number?
False
Let c = 1 - 1. Suppose -v - 3*v = c. Suppose -4*b + 2*b + 66 = v. Is b composite?
True
Suppose 4*v - 5 = -5*y + 11, 0 = 3*v + 3*y - 12. Suppose -3*o + 2*o + 14 = -2*k, -5*k = -v*o + 41. Let w = o + 18. Is w a prime number?
False
Suppose 3*l + 2*l = -10, 2*m - 180 = 5*l. Let u(f) = -f**3 - f**2 - f + 38. Let o be u(0). Let c = m - o. Is c a prime number?
True
Let t(m) = -m + 1. Let o be t(-1). Is 62 + (5 + 1)/o composite?
True
Let g(y) = -54*y + 41. Is g(-10) composite?
True
Let x(v) = v**3 - 5*v**2 - 6*v + 1. Let s be x(6). Is 15 - (-1 + 2)*s prime?
False
Suppose 0 = 5*r - 2*g + 1734, 0 = -2*r + 4*g - 2*g - 690. Let t = r + 812. Suppose 2*h = v - 126, 5*v = v - 2*h + t. Is v a prime number?
False
Suppose -3*h + 710 = -961. Is h composite?
False
Let s = 110 + -49. Let t = s - 36. Is t composite?
True
Let x be ((-370)/8)/((-5)/20). Suppose p - x = 18. Is p composite?
True
Suppose d + 232 = 5*d. Let l be 11/(118/d - 2). Suppose -325 = -4*n + 3*p, 4*n + 0*p - l = p. Is n a prime number?
True
Let h = 2 + 0. Let x be 32/14 - h/7. Suppose 0 = x*g - 85 - 25. Is g a composite number?
True
Suppose 0 = 2*u - 0*u. Let c be (1 + u)/(2/8). Is 36/3*7/c prime?
False
Let b = 26 + -16. Let l = -16 + b. Is (26/8)/(l/(-264)) composite?
True
Let h = 908 + -569. Is h a composite number?
True
Suppose -r + 393 = 2*r. Let x(y) = -9*y - 30. Let g be x(-5). Suppose 5*i - r = -4*a, i - a = a + g. Is i composite?
False
Let q = -121 - -227. Is q prime?
False
Let l = 10 + -5. Suppose 0 = 3*b - l - 4. Is b + -1 - (-76 + 1) a prime number?
False
Is (-4)/(-4)*(-3 - -706) composite?
True
Suppose 0 = 3*f + 3 - 9. Suppose l = -c - f*c + 7, -2*c = l - 3. Suppose 0 = -5*n + c*v + 29 + 3, 15 = -5*v. Is n composite?
True
Let y(g) = 11*g + 1. Let a be y(1). Suppose a*d - 16*d = -332. Is d prime?
True
Let s(y) = 1 - 4*y - y + 3 + 2*y + 7*y**2. Is s(3) a composite number?
True
Let w(s) = -29*s + 8. Is w(-7) a composite number?
False
Suppose -2*c = c - 111. Is c a prime number?
True
Let m(f) = -f**3 - 4*f**2 - 3*f + 4. Let z be m(-3). Suppose p - 18 = z*p. Is 28 - p/(9/(-3)) a prime number?
False
Is 9/((-12)/4) - 3232*-1 a composite number?
False
Suppose 0 = -0*a + 3*a - 9. Let g(b) = b**3 + 11*b**2 + 9*b + 1. Let k(z) = z**2. Let c(h) = a*k(h) - g(h). Is c(-7) a prime number?
True
Let c = 11 + -8. Suppose -c*o - 354 = -3*q, 3*q - 2*q - 4*o = 115. Is q prime?
False
Let g(y) = 4*y**2 - 3 - 3 + 3 + 4. Is g(4) a composite number?
True
Suppose 0 = m + d - 3 - 2, -9 = 3*m - 5*d. Suppose m*w + 0*w = 52. Is w composite?
True
Suppose -276 = -5*s + 449. Is s a prime number?
False
Suppose 0 = -2*t + r + 259, -3*t + 0*t = 2*r - 399. Is t a prime number?
True
Let z = -21 + 6. Let p = -93 - -108. Is (-1971)/z - 6/p a composite number?
False
Suppose 27622 = 6*c + 8*c. Is c a composite number?
False
Let r(p) = 2*p**2 + 8*p - 2. Let i = 10 - 20. Let x(k) = -k**3 - 10*k**2 + k + 4. Let a be x(i). Is r(a) prime?
False
Let s(c) = 1605*c**2 - 2*c - 4. Is s(-3) a composite number?
False
Suppose -2*v = -5*w - v + 1972, -w - 2*v = -390. Let q = w + -101. Is q a composite number?
False
Let n(v) be the first de