omposite?
False
Let y(a) = 2*a**2 + 4*a - 2. Is y(-6) a composite number?
True
Let u(t) = -13*t + 0*t + 55*t. Let q be u(6). Suppose 2*a + 889 - q = 5*f, 4*f + 5*a = 503. Is f a composite number?
False
Suppose 3*b - 2*l - 29 = 0, 18 = 4*b + 3*l + 2. Let y(v) = v**2 + 5*v - 7. Is y(b) a composite number?
True
Let g(v) = v**3 + 6*v + 5. Is g(6) a prime number?
True
Let i(b) = -200*b**2 - b. Let n be i(1). Let d = -20 - n. Is d a prime number?
True
Suppose -2*c + 55 = -7*c. Let r = c - -85. Is r prime?
False
Suppose r + 1434 - 6143 = 0. Is r a prime number?
False
Let l = 195 + -76. Is l a prime number?
False
Let x be (-2)/(-7) + 5/7. Is (1 - -2) + (x - -85) composite?
False
Let n(u) = 89*u + 12. Is n(7) composite?
True
Let n be 0/(-1) + 0 + 2. Let s(f) = -5 + 4*f - 2*f**n + 4*f**2 - f. Is s(-6) a prime number?
False
Let w(m) = 54*m**2 - 2*m + 1. Let x(g) = g**2. Let f(j) = j**3 + 5*j**2 + 2*j + 1. Let s(p) = f(p) - 2*x(p). Let i be s(-2). Is w(i) prime?
True
Suppose 2*f - 3 = 631. Is f composite?
False
Let x = -2 + 4. Suppose -4*d + 4*m = -92, x*d = -2*d + 3*m + 88. Is d a composite number?
False
Let h(d) = 12*d + 1. Let n be h(-1). Let u = -3 - n. Is 198/u - (-1)/4 composite?
True
Suppose 3*b + 0*d = -d + 7, -d = 2*b - 3. Suppose s - 2*k = -s, 0 = 3*s + b*k - 35. Suppose s*x - 100 = 15. Is x a composite number?
False
Suppose 0 = 3*c - 6*c - 15. Let z = -3 - c. Suppose -p + 78 = -5*v, 2*p + 0*p + z*v - 96 = 0. Is p composite?
False
Let x(v) = v - 3. Let h be x(5). Let d(f) = -f**2 + 3 + 82 + 0*f**h + f + f**3. Is d(0) a composite number?
True
Let v be 10/45 + (-385)/(-9). Let w = v - 135. Let f = w - -183. Is f a prime number?
False
Suppose 0 = -4*u - 8 - 8. Let s(q) = q**2 - 5. Is s(u) a composite number?
False
Let k be ((-4)/10)/(5/(-50)). Suppose 0*s - 2*s + k = 0. Is 98 - (-1)/(s/(-2)) composite?
False
Suppose 7*o = o + 126. Let p be ((-6)/4)/1*2. Is (-2 - -1)/(p/o) prime?
True
Suppose 7*h + 5*j = 4*h + 434, -4*h - j = -573. Let z = h + -84. Is z prime?
True
Let p be (21 - 1) + (-4 - -3). Suppose 0 = 2*c - 21 - p. Suppose h - c - 5 = -2*y, -5*h = -y - 125. Is h prime?
False
Suppose -330 = -4*l + 3*w, 170 = 2*l - 4*w - 0*w. Suppose -3*a = -654 + l. Is a prime?
True
Suppose 0*u + 5*u - 3*o = 273, 0 = 3*o - 12. Suppose d + u - 23 = 2*f, 2*d = -f - 53. Let a = 65 + d. Is a a prime number?
True
Let f(g) = 2*g**2 - 9*g + 11. Let z(j) = j**2 - 9*j - 7. Let i be z(7). Let s = 29 + i. Is f(s) a composite number?
False
Let z = -4 + 3. Let q(v) = -123*v - 1. Let s be q(z). Suppose -5*d = 12 - s. Is d a prime number?
False
Let m(v) = -v**2 - 2*v + 886. Let p be m(0). Suppose -870 - p = -4*u. Is u composite?
False
Let c(r) be the first derivative of 2*r**3/3 - 4*r**2 - 2*r - 2. Is c(6) a composite number?
True
Suppose -1002 = -4*g + 5*p + 783, -p = 3*g - 1334. Is g composite?
True
Let y be -3*(143/1 + 0). Let r = -218 - y. Is r prime?
True
Suppose 0 = -4*x + 7 + 9. Is (7 - 2)/(x/68) a prime number?
False
Let i(c) = -27*c - 17. Let t be i(-7). Let m = 281 - t. Is m a prime number?
True
Suppose 2*g - 2*r = -0*g + 78, -3*g + 118 = -4*r. Is g composite?
True
Let l(k) = 23*k**2 + 11*k + 1. Is l(6) composite?
True
Suppose 43 = 3*k - 92. Suppose -k = -5*r + 65. Is r a composite number?
True
Let g(c) = -c**3 + 6*c**2 - c + 8. Let f be g(6). Suppose w - 2*j - 5 = -2*w, w - f*j = -5. Suppose 4*s = -5*t + 581, -5*t + w*s + 273 = -272. Is t prime?
True
Suppose 205 = 4*g + 4*o - 623, 0 = o + 2. Suppose q - 2*q + g = 0. Is q composite?
True
Suppose -3*q + 8*p - 4*p + 345 = 0, 0 = -5*q - 3*p + 604. Is q prime?
False
Let z = 22 + 34. Suppose 0*u = 2*u - 6. Let p = u + z. Is p composite?
False
Is 1/((-836)/838 - -1) composite?
False
Let r be 4/(-6) + (-16)/(-6). Let t = r - 4. Is 34 - (2/(-1))/t a prime number?
False
Let i be 68/16 + 1/(-4). Is (148/6)/(i/6) composite?
False
Is (1924/9)/1 - (-18)/81 a prime number?
False
Suppose -4*x + 16 = 3*l + 2*l, 0 = -4*x - 4*l + 16. Suppose 0*k = -x*k + 44. Is k a composite number?
False
Suppose 0*g + 3*g - 6 = 0, -3*g - 982 = -4*j. Suppose 197 = 3*d - j. Let u = d - 83. Is u prime?
False
Suppose 80*f = 77*f + 16233. Is f a prime number?
False
Suppose -15 - 1 = 4*l. Is (48 - 1)/(l/(-4)) a composite number?
False
Let t be 66/14 - 4/(-14). Suppose 0 = t*l - 5 - 15. Suppose 57 = l*i - 47. Is i prime?
False
Let r(j) = -j**3 + 6*j**2 + 7*j + 5. Let a(c) = c**2 + 2*c - 5. Let q be a(-4). Suppose q*u = 5*g - 39, g - 4*u = -0*g + 18. Is r(g) composite?
False
Suppose 4*f - 2688 = 1064. Suppose 5*v + f = 7*v. Is v composite?
True
Let y = -1667 + 8016. Is y prime?
False
Let k(s) = -10*s**3 - s**2 + s. Let f be -1 + 3 + -4 + 0. Is k(f) composite?
True
Let c = -741 + 409. Let y = -235 - c. Is y a composite number?
False
Let p(q) = 3*q**3 + 3*q**3 - 5*q**3 - 1 + 6*q**2. Let h be p(-6). Is h/(-4) + 174/8 prime?
False
Let v(h) = -h**2 - h + 299. Is v(0) a composite number?
True
Is (1/((-3)/9))/(2/(-562)) composite?
True
Let q be 8/12*3/(-1). Let k be -4*2/4*q. Suppose 2*m - 66 = k*j, 0*j - j = -3*m + 104. Is m a composite number?
True
Suppose u = 6*u - 70. Suppose 0 = 2*v - 36 - u. Let k = 38 - v. Is k prime?
True
Suppose -77 = 5*u + 373. Let y = u + 149. Is y composite?
False
Suppose 5*x - 266 = -4*k + 8*k, 4*x - 3*k = 212. Suppose -3*s - 2*w - 60 = w, -s - 5*w = 24. Let v = s + x. Is v a composite number?
False
Suppose u + 2*u + 963 = -3*t, 4*u + 20 = 0. Is t*((-21)/(-12))/(-7) a prime number?
True
Let l(j) = -j**3 + 7*j**2 + 9*j - 6. Let k be l(8). Suppose -k*y = -132 + 30. Is y a composite number?
True
Suppose 4 - 7 = -4*d + v, -5*v + 31 = 3*d. Is (-225)/(-6) + (-1)/d a prime number?
True
Suppose 3*w = -2*w - m - 5, m - 5 = 5*w. Let g(t) = 64*t**2 - 1. Let h be g(w). Let c = h - -82. Is c a prime number?
False
Let k(n) = 121*n. Is k(1) composite?
True
Suppose -228 = -3*a - 3*t, -7*t - 81 = -a - 3*t. Is a a prime number?
False
Let z be (-1)/(-2) - (-27)/6. Suppose 3*q = -z + 14. Suppose 0 = -2*s + q*s - 77. Is s a composite number?
True
Let d(z) = 230*z + 1. Let s(i) = -i + 11. Let u be s(6). Is d(u) prime?
True
Suppose 0 = -5*x - 3*i - 37, -2*x - 7 = i + 7. Let m(u) = -u**3 + 3*u + 1. Is m(x) prime?
False
Let n be (0/6)/(-1 - -3). Suppose n*m - 5*m = -2785. Is m composite?
False
Let k(b) = b**3 - 9*b**2 - 4*b - 3. Let g(m) = -m**2 - 8*m + 10. Let n be g(-8). Is k(n) prime?
False
Let t(q) = -21*q + 1. Suppose -h = h. Suppose -4*c = 2*f + 6, 4*f + h = c - 3. Is t(c) composite?
True
Suppose 43 = 2*c - 3*o - 55, -4*o - 39 = -c. Is c a prime number?
False
Suppose 2*b = -5*c + 3*b + 192, 3*c - 2*b = 118. Let k(r) = -r + 9. Let m be k(7). Is c/3 - m/(-6) a composite number?
False
Let o = 406 - 147. Is o a prime number?
False
Suppose d - 6*d = -l + 186, 2*l - 4*d - 402 = 0. Is l a prime number?
True
Let q(a) = 4 - 1 + a + 50*a. Let t be q(4). Suppose 111 = 2*v + f, 6*v = 2*v + f + t. Is v prime?
True
Let m(r) = -18*r - 19. Is m(-15) a prime number?
True
Suppose 6 = 2*n - 0. Suppose n*t - 594 = -5*y + t, 3*t = 6. Let r = y + -51. Is r prime?
True
Let f be (-3)/(-9) + (-295)/(-15). Suppose -4*x + f = 2*v, 2*x + 3*v = x - 5. Is x a prime number?
True
Let f(j) = 102*j + 11. Is f(5) composite?
False
Let n = -25 + 39. Let h = n + -8. Let b = h + 1. Is b prime?
True
Let s(z) = z - 602. Let v(t) = -t + 601. Let c(u) = -4*s(u) - 3*v(u). Let i be c(0). Suppose n + o - 213 = -14, i = 3*n + o. Is n composite?
True
Suppose -3*d - r + 50 = -898, d - 2*r = 323. Is d a composite number?
False
Let j(y) = 4*y**2 - y - 1. Suppose -2*s = 3*s + 2*f + 28, 0 = 4*s - 4*f. Is j(s) a prime number?
True
Suppose -3*q - 41 - 1 = 0. Is 1*-38*77/q prime?
False
Let a(x) = 103*x - 1. Let h = 2 + 1. Suppose h*q - 2*q - 2 = 0. Is a(q) a composite number?
True
Is 2/((12/(-1865))/(-6)) a prime number?
False
Suppose 43 = 4*x - 705. Is x composite?
True
Let l be (-3)/(-2)*(3 + -1). Suppose -l*v + 5*v - 92 = 0. Is v composite?
True
Suppose 5 = 2*w - 5. Suppose -n + 1010 = 5*l + 83, w*n - 10 = 0. Is l a composite number?
True
Suppose 0 = 2*z - 6 - 0. Let x(a) = 2*a**2 - a. Let y be x(-2). Suppose 2*m = 5*d + y, d = z - 1. Is m a prime number?
False
Let o(b) = 4*b**3 + 5*b**2 - 4*b + 3. Let y(v) = v**3 + v**2 + 1. Let a(k) = o(k) - 3*y(k). Suppose -25 = 5*r, 0 - 7 = f + 2*r. Is a(f) prime