 3*o, 2*o - 5*x - 826 - 171 = 0. Is o prime?
True
Let w be 199/4 - (-1)/4. Let n = 101 - w. Is n/(-2)*(-36)/27 prime?
False
Suppose -128 = -4*j + u + u, 5*j - 146 = -u. Suppose -18 - 22 = -5*k. Suppose -k + j = y. Is y a composite number?
True
Let h(d) = -8*d**2 - 2*d + 3. Let n be h(2). Let z be (-4)/22 - 138/n. Is (z - 6) + 82/2 a prime number?
False
Let h(t) = -6*t**2 - 2*t - 6. Let l(w) = -5*w**2 - 3*w - 5. Let d(c) = 4*h(c) - 5*l(c). Let b be d(-7). Is b + -1 + 476/4 a composite number?
True
Is (19230/(-9) - 6)/((-2)/3) a prime number?
False
Let a be 246/4 + 12/(-8). Suppose c - a = -3*c. Suppose -m = -c - 11. Is m composite?
True
Let t(a) = 2*a**2 + 3*a - 4. Is t(-5) a prime number?
True
Let d(u) = -u**2 - 10*u - 10. Let k be d(-8). Suppose 2*s = -4*o + k*s + 1672, 3*o + s - 1234 = 0. Is o a prime number?
False
Let o be 48*(-5)/((-10)/(-9)). Let u = o - -331. Is u prime?
False
Suppose -2*n + 0 = 6, 3*n + 650 = f. Is f a composite number?
False
Let w = 2849 - 1622. Is w composite?
True
Let v(r) be the first derivative of r**3 - 11*r**2/2 + 15*r - 5. Is v(10) a prime number?
False
Let i = 1416 - 743. Is i composite?
False
Let a = -29 + 277. Suppose 4*x = -q + a, 4*q - 256 = -4*x + q. Suppose 0 = 3*h - x - 50. Is h a prime number?
True
Let t(r) = -r**3 - 7*r**2 - 5*r + 8. Let u be t(-6). Let b be 1 - 0 - (-2 + -2). Suppose -5*j + 451 = 2*a, -3*a - 465 = -b*j + u*a. Is j a prime number?
False
Suppose 0*n - 4*h = -5*n + 624, 2*n = 4*h + 240. Suppose -4*r - n = -0*r. Let x = 53 + r. Is x a composite number?
True
Let k(q) = -11*q + 13. Suppose 4*l + 49 = 1. Is k(l) a composite number?
True
Let n be (-1 - 1)*(-2)/(-4). Let p(d) = 24*d**2 + 1 + 6*d**2 + 24*d**2. Is p(n) a composite number?
True
Suppose -7*q + q + 930 = 0. Is q a prime number?
False
Let a(s) = s**2 - 4. Let g be a(3). Suppose q = g*q. Suppose -4*y + h + 79 = 0, 4*y - 69 = 3*h - q*h. Is y a composite number?
True
Suppose f + 2*f - 9 = 0. Suppose -f*b + 6*b = 0. Suppose b*n = -2*n + 12. Is n a prime number?
False
Is 11647/17 + (-24)/204 a composite number?
True
Is ((-2787)/(-15))/((-2)/(-20)) a composite number?
True
Suppose 2*q = 2*r - 3190, 2909 = 2*r - 3*q - 279. Is r prime?
True
Let f = 98 + -23. Suppose 0 = 3*s - 36 - f. Is s prime?
True
Suppose -7138 = -5*c + 5427. Is c a prime number?
False
Suppose -256 = -4*a + 5*a. Let o = a - -399. Is o composite?
True
Let j = -26 - -26. Is (-1*(j - 998))/2 a composite number?
False
Let u(a) = -a + 6. Let i be u(6). Suppose -5*t + 718 + 987 = i. Is t a composite number?
True
Suppose 0*r + 67 = -r. Let k = 62 - r. Is k composite?
True
Let f(q) = -2*q**3 - 6*q**2 - 7*q - 5. Let s be -2 + -3 - 1*-1. Let x be f(s). Let k = 78 - x. Is k a prime number?
True
Suppose 0*n + 16 = 4*n. Let h(s) = -s**3 + 3*s**2 + 5*s. Let q be h(n). Suppose -3*r + 3*a = -90, -r + q*r - 65 = -2*a. Is r composite?
True
Let c be -6*(2 - 75/9). Suppose 0 = p + k - c, -5*p + 272 = 3*k + 84. Is p a prime number?
True
Is ((-1641)/(-3) - -4)*1 a prime number?
False
Let a(g) be the first derivative of -g**3/3 + 5*g**2/2 + 5*g - 1. Let u be a(5). Suppose 2*i + i + u*n = 103, -4*i + 2*n = -120. Is i a prime number?
True
Let r(t) be the second derivative of 4*t**3 - 5*t**2 - 2*t. Is r(4) composite?
True
Let u(l) = -2*l**2 + l**2 - l**2 + 103 + l**2. Is u(0) composite?
False
Let d(u) = 746*u**2 - 8*u - 5. Is d(-2) a composite number?
True
Let n be -230 - (-3 - (-1 - 3)). Let b = 522 + n. Is b composite?
True
Let r(h) = -64*h. Let g be r(4). Let b = g + 399. Is b composite?
True
Suppose 5*q - 3595 = -0*q. Is q prime?
True
Let w = -5307 + 10398. Is w a composite number?
True
Suppose 3*c - 13436 = 5*p, 3*p - 7992 - 14458 = -5*c. Is c a prime number?
False
Suppose 0 = f - 1421 - 1236. Is f composite?
False
Let m = -16 - -19. Suppose -l = -4*y + 23, 0*y + 4*y - 29 = 3*l. Suppose 67 = -3*i + 2*r + 298, m*i = -y*r + 252. Is i a prime number?
True
Let s be -15*2*244/(-24). Let d = s - 142. Is d composite?
False
Suppose -4*f + 260 = -v + 4*v, 0 = 5*v + 3*f - 415. Suppose 5*a - 90 = -2*y - 333, -2*y = 4*a + 194. Let d = v + a. Is d composite?
False
Is (-326)/6*(-9)/3 composite?
False
Let a be 1 + 1 + -4 + 2. Suppose -2*p + 10 = a, -120 = -5*c - 3*p + 160. Is c a prime number?
True
Let q(p) = -p**3 + 9*p**2 + 2*p + 1. Is q(4) prime?
True
Let o(w) = -w**2 - 8*w - 9. Let k be o(-6). Suppose q = a + 2*a + 12, k*q - 28 = 5*a. Is 94/q - 2/3 a composite number?
True
Let t(q) = q**2 - 7*q + 5. Let w be ((-1)/(-1))/((-1)/3). Let k(j) = 3*j**2 - 22*j + 16. Let y(d) = w*k(d) + 8*t(d). Is y(7) composite?
False
Let v(p) be the second derivative of p**4/6 - p**3/2 - 4*p**2 - 3*p. Is v(-9) composite?
False
Suppose 2*r + 406 = l - 441, 0 = -2*l + 2*r + 1700. Is l prime?
True
Let z be (-6)/15 + 12/5. Suppose -4*q + 203 = -3*v, 3*q - 4 = -z*v + 161. Is q prime?
True
Suppose -2 = 3*s - 5. Is 155 + (-2 - -4) + s a composite number?
True
Let r(d) = 48*d**2 + 2*d - 9. Is r(-4) a prime number?
True
Let i(y) = 6*y**3 - 9*y**2 - 8*y - 1. Let s(m) = 5*m**3 - 8*m**2 - 7*m - 1. Let x(w) = -4*i(w) + 5*s(w). Is x(6) a prime number?
True
Let q(l) = 33*l**2 - l - 1. Let a be q(4). Suppose 3*f = f - d + a, 2*f - 513 = d. Is f a prime number?
False
Let o(u) = -3*u - 4. Let z be o(-3). Suppose -4*w + 3 = -4*n - z, 0 = 4*n + 5*w + 35. Is (0 - -1)/(n/(-1115)) a prime number?
True
Suppose k = 6*k - 2800. Suppose 0 = u + y - 227, 2*u - k = 3*y - 126. Is u prime?
True
Suppose 0 = 2*i - 2*l - 16, -5*i + 5*l + 10 = -10*i. Let r = 0 + i. Suppose -44 = -j + 5*m, -4*m + 148 = r*j - 3*m. Is j prime?
False
Suppose -521 = 7*r - 8*r - d, -2*d = 5*r - 2599. Is r prime?
False
Let t(p) = -2*p**2 - 2*p + 2. Let x be t(3). Let c = x - -48. Suppose -z + 3*i + 40 = 0, -5*z + 5*i = c - 216. Is z prime?
True
Let d(k) = k - 20. Let g be d(0). Let n be g/(-8)*14/5. Let l(j) = -j**3 + 10*j**2 - 11*j + 7. Is l(n) a prime number?
False
Let t(y) = y**2 + 6*y + 8. Let a be t(-6). Is (-1)/(-4) - (-566)/a composite?
False
Suppose -6*f + 205 = -f. Let r(j) = -j**2 + 14*j + 22. Let g be r(14). Let a = f - g. Is a a prime number?
True
Let w(c) = -5*c + 21. Is w(-17) a composite number?
True
Let h(i) = i**2 + i + 6. Let b be h(0). Suppose f + 80 = b*f. Suppose s - 23 = f. Is s a composite number?
True
Let l(h) = 26*h + 2. Is l(4) a prime number?
False
Let a(j) = -24*j**3 + 6*j**2 - 3*j + 4. Let g be a(4). Let m = -963 - g. Is m a composite number?
True
Suppose -t = 4*t. Suppose -2*q + 5*q + 15 = t, g - 2*q - 65 = 0. Is g a composite number?
True
Let q(b) = 122*b**3 - b**2 + b. Is q(1) a composite number?
True
Let t be ((-72)/(-27))/((-2)/(-3)). Suppose t*r - 3*r - 341 = 0. Is r prime?
False
Let j(h) = -h**3 + 6*h**2 - 5*h + 4. Let n be j(5). Suppose 0 = n*g + i + 4, 2*i = g + g - 8. Suppose g = -4*r + 116 + 32. Is r prime?
True
Let c be (-68)/(-1)*66/8. Let i be 1/(-1) - (-2)/(-2). Is c/12 + i/(-8) composite?
False
Let v be ((-4)/(-5))/(2/(-15)). Let q(w) = w**3 - 7*w**2 + 2*w - 1. Let k be q(7). Let h = k - v. Is h a prime number?
True
Let y(x) = -x + 9. Let i be y(7). Suppose r = i*c + 6 - 3, 4 = 4*c. Suppose r*d - 5*z - 335 = -z, 0 = 2*z. Is d prime?
True
Let t(y) = -y**3 - 11*y**2 + 17. Is t(-12) a composite number?
True
Let o(t) = -t - 1. Let v be o(-4). Let p be 2/11 - 1263/(-11). Suppose 0 = 2*l + v*l - p. Is l prime?
True
Let y(d) = d**2 - 5*d - 3. Let q be y(5). Let i be -1 + 55 - (q - -3). Suppose -4*f + 3*w + i + 103 = 0, w - 145 = -4*f. Is f a composite number?
False
Suppose -d + 3*d + 6 = 0. Let y = 3 - d. Suppose -2*s = -y*s + 444. Is s prime?
False
Let z be 24/14 + (-14)/(-49). Suppose -z*d + 869 = -d. Let v = -612 + d. Is v a composite number?
False
Suppose 277 = 6*r - 1805. Is r a composite number?
False
Suppose 4*o = -0*o + 44. Let s = -6 + o. Suppose s*w = 2*g - 134, -4*g + 2*w = -58 - 242. Is g a prime number?
False
Suppose -4*s = s - 155. Is s prime?
True
Suppose 4*l - 799 = v, 3*l - 2*v = -4*v + 591. Is l composite?
False
Suppose -3*o = -7 - 5. Suppose o*m + 2*a = 356, -3*a = m - a - 89. Is m composite?
False
Is 9/15 - (-3 + 1994/(-10)) a composite number?
True
Let k(y) = -y**3 - 8*y**2 - 3*y + 10. Let t be k(-7). Suppose 30 = m - 5*c, -4*m + 5*c - 210 = -9*m. Let q = t + m. Is q a composite number?
True
Suppose 0 = -0*d - 3*d + 9.