*t**2 + 19*t - 7. Is z(15) a prime number?
True
Suppose 0*t + 20 = 5*t. Suppose t*w = -0*w + 88. Is w prime?
False
Let g = 167 - 56. Let t = g - -100. Is t a prime number?
True
Suppose n - 3*n + 10 = 0. Suppose 0*r + 263 = 2*r - 5*b, -2*r - n*b = -273. Is r composite?
True
Let w(u) = u**2 - u + 191. Is w(0) prime?
True
Suppose 6*a = a. Suppose -5*m + 165 = -a*m. Is m composite?
True
Is -2*(5210/(-4))/5 a composite number?
False
Suppose 1734 = 4*f - 4*m - 206, -2*f + 998 = 5*m. Is f prime?
False
Suppose -15 - 22 = -h. Is h a composite number?
False
Let q = 132 - -646. Is q composite?
True
Let l be 3 + -2 + 146 + 0. Let t = l + -73. Is t composite?
True
Let h = -1260 - -2477. Is h prime?
True
Suppose -3 = -2*b + 3*b - 3*k, 5 = 3*b + 5*k. Suppose 2*t - 5*g - 38 = b, 2*t + g - 10 = -g. Suppose -i + t = -0*i. Is i a composite number?
True
Let g(v) = 2633*v**3 - v + 1. Is g(1) a composite number?
False
Let t(u) = -5*u**2 + 3*u - 4. Let b(i) = -3 + 11*i**2 + 12 + i - 6*i. Let z(x) = -3*b(x) - 7*t(x). Is z(5) prime?
False
Let l be -174 - (1 - -1)*1. Let q = 255 + l. Is q a composite number?
False
Suppose 38 = z + z. Is z a composite number?
False
Suppose 2*a + 3 = z, -3*z + 4 = -5*a - 3. Let u be z*(-1 + 3) - -193. Is (u/(-4))/((-5)/20) a composite number?
False
Let g be 42*((-13)/2 + 1). Let f = g - -553. Suppose -5*v + f = -3*v. Is v composite?
True
Suppose -19*h + 15*h + 220 = 0. Is h a composite number?
True
Let g(i) = -22*i**3 - 3*i**2 - 2*i - 5. Is g(-4) prime?
False
Is (1513/(-51))/((-2)/6) prime?
True
Suppose -296 = 2*g - 2*w, w - 744 = 3*g + 2*g. Let d = -70 - g. Is d a composite number?
False
Let j = -4560 + 6529. Is j a prime number?
False
Let y = -20 - -12. Let s(j) = j**3 + 9*j**2 + 5*j + 7. Is s(y) a composite number?
False
Suppose -t - 3 = -z, 8 - 2 = 3*z. Let y(m) = m + 1. Let g be y(t). Suppose -4*p = -g*u + 3*u - 235, 5*p + 3*u = 290. Is p a composite number?
True
Suppose -2*k - 5*i + 41 = 0, k + 4*k = 5*i + 190. Suppose 2*w = -3 + k. Is 558/w + (-2)/10 prime?
True
Let c(t) = t**3 - 3*t**2 - t - 3. Let s be (-4)/5*(-15)/2. Let b be c(s). Suppose b = 5*j + 29. Is j prime?
False
Let i = 7 + 4. Suppose 3*a - i = -4*d, -5*d + 0 - 5 = 0. Let l = 30 + a. Is l composite?
True
Let a = -27 + 97. Let w = a - 33. Is w composite?
False
Suppose -4*u - 16 = 0, 895 = 3*r - 3*u - u. Is r a composite number?
False
Let o(q) be the third derivative of q**8/2880 - q**7/1680 - q**6/720 + q**5/60 + q**2. Let v(l) be the third derivative of o(l). Is v(3) a composite number?
False
Suppose -o + 154 = -l, o - 163 = -4*l + 2*l. Is o composite?
False
Suppose 0 = -2*a + k + 51, 4*k - 240 = -5*a - 80. Suppose 5*s - 97 = a. Is s prime?
False
Is (11 + 0)*11/11 prime?
True
Let g = 5 + 0. Let j(f) = 5*f - 5 + 3 + f**2 - g. Is j(-11) a prime number?
True
Let r be 8/(-20) - (-44)/10. Suppose -183 = 3*n - 3*v - 513, r*v - 480 = -4*n. Is n a composite number?
True
Suppose -2*l + 166 + 4 = 0. Is l a prime number?
False
Let a = 14 - 9. Suppose -1947 = -a*p + 818. Is p a prime number?
False
Suppose 4*a - a - 84 = 0. Suppose 3*f = -f + a. Is f prime?
True
Suppose -2*q - 3190 = -m - 12596, 0 = -5*m. Is q a prime number?
True
Let l(y) = 1785*y**2 - 1. Suppose 3*i + 10 = -4*o, -o + 1 = -0*o - i. Let t be l(o). Is (-2)/6 - t/(-24) a prime number?
False
Let d = 2 + 5. Is d/7 + 115 + -1 a composite number?
True
Suppose d = 3*s - d - 693, -2*d = 6. Suppose -2*z + s = z - 2*n, 3*z + 3*n - 234 = 0. Is z a prime number?
False
Suppose 0 = m + 1 - 2. Let z(j) = -j + 1. Let s be z(m). Suppose -5*q = 0, -4*w + 3*q + 369 - 133 = s. Is w a prime number?
True
Let k = 470 - -3. Is k a composite number?
True
Suppose 4*l + 2 = -3*a, -a - 2*a - 10 = -4*l. Let q(n) = n**2 - n - 1. Let c be q(0). Is (c - -20) + a + 2 composite?
False
Let a(v) = 92*v + 11. Is a(4) a composite number?
False
Let s(v) = 57*v + 1. Let l be s(2). Let z = 194 - l. Is z a prime number?
True
Suppose 0 = -2*f + 89 + 13. Is f composite?
True
Let l be -4*(-6 + 0 + -2). Suppose -l = -2*x + 2*a - a, -3*a = -4*x + 66. Is x prime?
False
Let i be 7 - (5 + 1 + -3). Suppose 236 = i*a - 0*a. Is a composite?
False
Let x(k) = -5*k**2 - 8 - k**2 + 9*k**2 + 2*k. Is x(9) a prime number?
False
Suppose -1018 = -f - 17. Suppose -2*g = 5*u - 2*u - f, 0 = 4*u - 4. Is g a prime number?
True
Let n = -8 + 13. Suppose -5*w + 94 = -326. Suppose n*s = s + w. Is s composite?
True
Is (4130/(-21))/((-6)/9) a composite number?
True
Is 2/4*(-19 - -5457) composite?
False
Is -6914*(-4)/(-12)*15/(-10) a composite number?
False
Suppose -614 = -s - s. Is s composite?
False
Let v = -2 + -1. Let k be 3/(v/2) + 7. Let p = 36 - k. Is p prime?
True
Suppose h + h = 1776. Suppose 0 = -5*q + h - 143. Is q a composite number?
False
Let d = 2 + 6. Suppose 2 = d*l - 7*l. Let v(w) = 23*w. Is v(l) composite?
True
Suppose y = 5*p + 175 - 1637, -5*p - 2*y = -1471. Is p prime?
True
Let z(n) be the first derivative of -n**4/4 + 13*n**3/3 - 7*n**2 + 9*n - 1. Suppose -4*k + 64 = 5*h, 4*h = 3*h + 4. Is z(k) composite?
False
Suppose 5*s = b + 1477, 2*s - 2*b - 594 = -0*b. Is s a composite number?
True
Let c(g) = -17*g + 1 + 8*g - 3. Is c(-11) composite?
False
Let k = -64 - -95. Suppose -5*a + 14 + k = 0. Is a a prime number?
False
Let p be 34/14 - 36/84. Suppose p*w = -w + 885. Is w prime?
False
Let i(z) = -2*z - 4. Let k be i(-3). Suppose 5*f - 8 - k = 0. Suppose -5*b + 4*v = -25 + f, 2*v + 22 = 4*b. Is b a composite number?
False
Let h(a) = a**3 - 3*a**2 + 6*a**2 - 3 - 2 - 2*a. Is h(6) prime?
True
Suppose 4*x = 5*t + 669, 5*t = -7*x + 3*x + 619. Is x prime?
False
Suppose 0 = -8*o + 9*o - 613. Is o composite?
False
Let v(u) = -u**2 + 15*u - 4. Let s be v(10). Suppose -3*b + 161 = -s. Is b a composite number?
True
Let d(p) = p**3 - 10*p**2 + p - 5. Let q be d(10). Suppose -q*l - 12 = -8*l. Suppose v - 111 = -3*r, 4*r + l*v = 163 - 15. Is r prime?
True
Let f(w) = -231*w + 4. Is f(-3) prime?
False
Suppose c + 3*c = a - 757, -2*a + c + 1493 = 0. Is a composite?
True
Suppose -w + 4*y - 17 = 0, 5*w + 0*y - 25 = -2*y. Suppose 2*g - g - o = 210, -636 = -w*g - 3*o. Is g a prime number?
True
Let z = -18 + 8. Is 1426/18 + z/45 a composite number?
False
Suppose 3*b - k - 768 = -0*k, -512 = -2*b + 3*k. Let v = b - 125. Let q = 186 - v. Is q composite?
True
Let l = 1673 - 202. Is l a prime number?
True
Let y = -3 - -8. Let x be 5/(y/16) - 1. Let d = 68 - x. Is d a composite number?
False
Let a = 6 - 1. Suppose -o = 3, 2*g + 2*o + o = -a. Suppose 3*d - c = c + 93, g*c = 0. Is d prime?
True
Let m(l) = -15*l**3 - 7*l**2 - 14*l - 5. Is m(-3) a prime number?
True
Let x be 3 + -1 + -1 - 1. Suppose x = -2*p - 4*v + 182, -v - 364 = -4*p + v. Is p a composite number?
True
Let z(k) = -k - 8. Let d be z(-11). Suppose -m = -d*m + 38. Is m a composite number?
False
Let w(o) = -13*o + 9. Is w(-2) a composite number?
True
Let c(j) = j**2 + 3*j + 2. Suppose -z - 9 = -5. Is c(z) prime?
False
Suppose 0*y - 1554 = -6*y. Is y a prime number?
False
Let m(l) = -3*l - 5. Let d be m(-4). Is d/(-28) + 306/8 a composite number?
True
Let k(z) = -83*z + 8. Let n = 14 + -20. Let b be k(n). Suppose -b - 509 = -5*j. Is j prime?
False
Suppose 2*k = -2*d + 1632, 5*k + 1112 - 5237 = 4*d. Is k a composite number?
False
Suppose 9*y + 302 - 6629 = 0. Is y composite?
True
Let t = 3 + -1. Suppose -2*g + 396 = 5*n, -5*n - t*g = -n - 316. Suppose -n = 5*f - 715. Is f a prime number?
True
Let v(w) = -178*w + 1. Is v(-1) a prime number?
True
Let s be (-6)/2 - -20 - 1. Is (s - -1)/((-2)/(-14)) prime?
False
Let m be -6*6/(-27)*3. Is (-1)/m - 65/(-20) a prime number?
True
Let p = 26 - 38. Is (-39)/(-1) + 8 + p prime?
False
Is (-13611)/(-13) + 12/(-3) prime?
False
Let g(p) = -p**2. Let j be g(0). Let h(f) = 5 + j*f + 1 - f. Is h(4) prime?
True
Let i = 8 + -4. Suppose 0 = -5*l + 5*r + 290, -423 + 133 = -5*l + i*r. Is l a prime number?
False
Suppose 2*p = p - 3, -90 = 3*t + 3*p. Let j = 64 + t. Is j composite?
False
Suppose -14 = -2*k - 2. Let n be (9/(-6) + 2)*k. Suppose n*g + 0*g = 18. Is g a prime number?
False
Let q be 3 + (3 - 5 - -315). Suppose -640 = -4*l + q. Is l a composite number?
False
Is 4 - (1 + 0) - -434 prime?
False
Let h(f) = 29*f - 1. Suppose 2*y - 5*q + 7*q = -10, -2*q - 10 = 0. Let m(w) = -w**3 - w**2 - w + 4. Let t