3*a + 5. Is z(-2) a prime number?
True
Let z = 350 - 213. Suppose -5*h + 258 = -z. Is h a composite number?
False
Suppose 4*g + 3*o - 484 = 0, 2*o - 90 - 36 = -g. Is g + (-3 + 3 - 3) a prime number?
False
Is 301 + (-5 - (-2)/1) a composite number?
True
Let a(q) = 2*q**2 - 9*q - 3. Let t = 6 + 2. Let x be a(t). Let h = 84 - x. Is h composite?
False
Suppose 9 = -23*z + 20*z. Let m be (-1 - -9)*2/4. Is (-26)/m*(1 + z) prime?
True
Suppose -x = -0*x + 30. Let w = -142 - 9. Let q = x - w. Is q a prime number?
False
Suppose 138 = 3*m + 15. Suppose -m = -4*d + 195. Is d a prime number?
True
Suppose -4*k - 2287 = -3*x, 2*k - 439 = -4*x + 2647. Is x composite?
False
Let a(f) = -f - 4. Let x be a(-7). Suppose -i - x = 2*i, 5*y - 5*i = 100. Is y composite?
False
Let d = -3626 + 1814. Is d/(-15) - 1/(-5) prime?
False
Let s = -149 - -27. Let r = s + 256. Is r a composite number?
True
Suppose 3*y + 2*j = 530 - 53, 2*y + 4*j - 326 = 0. Is y prime?
True
Let a(i) = i**2 + 716. Let p be a(0). Suppose 3*r + r - p = 0. Is r prime?
True
Let s = 46 + -28. Is 9252/s*2/4 composite?
False
Suppose 0 = -3*d + 10 - 1. Is 58*(-15)/(-18)*d a composite number?
True
Let p(n) = 8*n**2 - 2*n - 7. Is p(3) prime?
True
Suppose 8*y - 5*y - 9 = 0. Suppose 2*j - 155 - y = 0. Is j composite?
False
Let b(r) = r. Let y be b(2). Let g be ((-1)/3)/(y/(-6)). Let c = g - -6. Is c a prime number?
True
Let x = -17 - -24. Is x composite?
False
Let f(d) = d**2 + d - 2. Let i be f(-3). Suppose -i*r - r = -175. Is r composite?
True
Let c = 233 + 20. Is c a composite number?
True
Let b(h) = -h**2 + 9*h - 10. Let x be b(7). Is 468 + -2*x/(-8) a composite number?
True
Let x = 1093 + -228. Is x a composite number?
True
Let s(p) = p**3 - 4*p**2 + 5*p + 5. Let r be s(5). Let n = 144 - r. Is n a composite number?
False
Suppose 0 = 51*j - 47*j - 140. Is j prime?
False
Suppose 0 = -3*a - s + 4*s - 75, -s + 4 = 0. Let y = a - -35. Is y composite?
True
Suppose -3*q + b = -2707, 2*q - 3*b = -q + 2715. Is q composite?
True
Suppose 21 = -l + 3*l + 5*q, -q = -3. Let r(t) = 5*t**2 - 4*t. Is r(l) prime?
False
Let s(u) be the second derivative of -u**4/12 - 8*u**3/3 - u**2 - 3*u. Is s(-13) composite?
False
Let w = -1827 + 3496. Is w composite?
False
Let u(m) = -m**2 - m + 302. Let y be u(0). Suppose 5*f = -i + 147 + y, 194 = 2*f + 4*i. Is f a composite number?
False
Suppose -411 + 123 = 3*k. Let j = k + 147. Is j prime?
False
Suppose 2 = 3*b - 2*b. Is 12 - (2 - 3)*b a prime number?
False
Let u(a) = a + 7. Let f be u(-4). Suppose -2*m = -f*m + 332. Let t = m - 209. Is t a prime number?
False
Let b = 3 - 0. Suppose -b*d = -q - 0*q + 14, -4*q + 56 = -d. Is q composite?
True
Suppose -v - 2*p = -4, -2*v + p - 2 = -7*v. Suppose 4*m + 0*m = -3*q + 1205, m - 5*q - 284 = v. Is m prime?
False
Let n(k) = -72*k - 1. Is n(-10) prime?
True
Let f = -2094 + 2971. Is f a composite number?
False
Let o = 855 + -562. Is o a composite number?
False
Suppose -5*c + 148 = -c. Suppose -2*s = 4*o + c + 27, -3*o + 5*s = 48. Let b = o - -29. Is b composite?
False
Is 3836/8 + (-2)/4 a prime number?
True
Let u(w) = w**3 - 6*w**2 - 12*w + 22. Is u(10) composite?
True
Suppose -2*n - 3*d + 0*d + 101 = 0, -4*n + 208 = 4*d. Suppose 2*r = -2*r - s + n, -5*r = -2*s - 85. Is r a prime number?
False
Suppose 11*s - 13*s + 14 = 0. Is s a composite number?
False
Let z(x) = 2*x - 2*x - 3 + 5 + 45*x**2 + 2*x. Let k be z(-2). Suppose -2*f = -0*f - k. Is f a prime number?
True
Let u = 28 + 31. Is u a composite number?
False
Let b(j) = 4 - 5 - 2 - 2*j + 0. Let r be b(-4). Suppose -4*s = r*t + 7 - 174, 4*t + s = 138. Is t composite?
True
Suppose -19*b = -15*b - 76. Is b a composite number?
False
Let i(l) = -l. Suppose -4*v - 5 = -3*v - 2*w, v = 4*w - 5. Let y be i(v). Let q = -2 + y. Is q prime?
True
Suppose -t + 2*t - 12 = 0. Let m = 10 + t. Is m a prime number?
False
Let i = 70 - 17. Suppose 2*p - 8 - 2 = 0. Let y = i + p. Is y a composite number?
True
Let l = 377 + -242. Suppose 2*p = 2*d + 246, -p + 0*p + 4*d = -l. Is p a composite number?
True
Let k be (18/15)/(-3)*-10. Suppose -q + k*t = -51, 0 = 4*q + 4*t - 7*t - 217. Suppose q = 2*f + 3*x, 2*f + x - 34 = 15. Is f prime?
True
Suppose 5*j = 0, 3*a = 2*a - 5*j + 4. Suppose q - a*q + 99 = 5*d, q = 5*d + 53. Is q a prime number?
False
Suppose -5*j = 3*m + 52, -2*m + 3*j - 36 = -m. Let u = m - -43. Is u a prime number?
True
Let p(x) = x**2 - 6*x - 4. Let m be p(6). Let j be (m/(-8))/((-1)/2). Let k(q) = 18*q**2 - q. Is k(j) prime?
True
Let u(q) = q**3 - q**2 + q - 1. Let l be u(2). Suppose -l*a - 129 = -2*a. Let w = -22 - a. Is w a prime number?
False
Suppose 2*t + 2 = 4. Let s = t + -1. Let c(m) = m**2 - m + 59. Is c(s) a prime number?
True
Let g(s) = 11*s**3 - s**2 - s. Let b = -7 + 9. Is g(b) a composite number?
True
Let d be ((-3)/(-9))/(1/141). Suppose 3*k - 5*s - 69 = 0, -3*s - 56 = -4*k + d. Suppose -2*z = -k - 34. Is z a composite number?
False
Let g(i) = 105*i - 8. Is g(5) composite?
True
Suppose 1266 = d - 4*q, 4*q - 1258 = d - 2*d. Is d a prime number?
False
Let c = 23 - 3. Suppose -5*t + t - 7 = 3*b, -4*t = -3*b + 25. Suppose b*x - c = 22. Is x a composite number?
True
Let x(j) = 11*j - 2*j + 3*j - 1. Let i = 31 - 27. Is x(i) prime?
True
Let b = 0 + 4. Suppose o - 507 = -4*i + 2*o, b*o + 631 = 5*i. Is i a prime number?
True
Suppose 0 = -0*r + r - 631. Is r composite?
False
Suppose 116 = a - 1461. Is a prime?
False
Let z(o) be the first derivative of 2*o**3/3 + o**2/2 - 9*o - 1. Is z(-7) composite?
True
Suppose 1 + 0 = g. Is ((-5)/((-5)/3))/g prime?
True
Let t = -348 - -1080. Let v = t + -413. Is v composite?
True
Let l(a) = 3*a**2 - 6*a + 1. Let q(h) = 2*h**3 - h**2 - 4*h + 3. Let u be q(2). Let c(m) = 2*m - 10. Let y be c(u). Is l(y) composite?
True
Suppose 0*w - w + 27 = 2*l, 4*l + 93 = 5*w. Suppose -4*k = 9 - w. Suppose -k = -v - 5*u, 3*v - 17 = -5*u + 32. Is v a composite number?
False
Suppose 4*y + 3235 = 4*c + 9*y, -4*c + 3255 = y. Is c a composite number?
True
Let l(q) = 3*q**2 - 10*q - 2. Let f(g) = -4*g**2 + 9*g + 1. Let x(m) = -7*f(m) - 6*l(m). Is x(-4) a composite number?
True
Let o = -176 + 118. Let k = -40 + 20. Let z = k - o. Is z a prime number?
False
Suppose 0 = -4*k + 3*s + 21, 6*k - k = -4*s + 34. Is -2 + -2*(-183)/k a prime number?
True
Suppose 3*r + 0 - 4 = 2*i, 5*r - 4*i - 6 = 0. Suppose o = 5*n + 2, 5*n + 3*o - 4 - r = 0. Suppose -6*j + 4*j + 4*b + 154 = 0, -5*j - 3*b + 398 = n. Is j prime?
True
Is 5 - (-827 + -3) - (-3 - 1) prime?
True
Suppose 2731 = 3*j + 4*h, -j - 4*h + 9*h + 942 = 0. Is j composite?
True
Suppose 0 = 2*c + 4*c - 564. Is c a composite number?
True
Suppose -10*q - 7501 = -30761. Is q a prime number?
False
Let l(z) be the second derivative of 17*z**3/6 + 3*z**2 + 2*z. Is l(5) prime?
False
Suppose 0 = -s - 3*s + 548. Let r = 169 - 241. Let w = r + s. Is w a composite number?
True
Let c = 1025 - 462. Is c a prime number?
True
Is 1/((-4)/(-1040)) - 3 a composite number?
False
Let l be (-9)/(-12)*-1*-4. Let q be (138/(-4))/(l/6). Let g = 128 + q. Is g a composite number?
False
Is -20841*(4/3)/(-4) composite?
False
Suppose 6*t - 2*t - 12 = 0. Suppose -t*h = -91 + 22. Is h a composite number?
False
Let r(g) = -28*g - 1. Let h be -3*(3 + 7/(-3)). Is r(h) prime?
False
Let d(l) = 14*l**3 - 2*l + 1. Is d(3) a prime number?
True
Let o(q) = q**2 + 8*q + 7. Let g(m) = 2*m + 7. Let x be g(-7). Let v be o(x). Let t(p) = p**3 + p**2 - p + 4. Is t(v) composite?
True
Suppose 3*h - 79 = 86. Suppose -h - 113 = -2*i. Suppose i = j - 127. Is j a prime number?
True
Let c be (-2 + -472)/((-4)/10). Suppose c = 5*l - 2*l. Suppose -4*x = x - l. Is x a prime number?
True
Is (-3)/(-24) + (-1 - (-46462)/16) a prime number?
True
Let c = 1896 + 617. Is c a prime number?
False
Let s be (-3)/(-5) + 44/10. Let o(w) = 3*w**3 + 4*w + 2. Let n(a) = 10*a**3 + 12*a + 5. Let i(j) = -2*n(j) + 7*o(j). Is i(s) a prime number?
True
Let x = 11 - 8. Suppose -x*d = 3*m - 0*m - 168, -3*d = -3. Is m a prime number?
False
Suppose 0 = -4*j + 4*m + m + 26, 0 = 5*j - 3*m - 26. Suppose 4*d = -2*k + 24, 2*k = j*d - 0*k - 24. Is 69/d*6/3 prime?
True
Let w(f) be the third derivative of f**6/120 + f**5/30 + f**4/24 - 2*f**2. Let y be w(-2). Let d(x) = -5*x - 1. Is d(y) a prime number?
False
Let k(c) = -c**3 + 2*