o + 17. Is q(12) composite?
True
Suppose 5*m - 5*l = 416910, 10*l - 83385 = -m + 8*l. Is m a composite number?
False
Let r be 3*(-2)/2 + 4152/3. Suppose -4*z + r + 1183 = 0. Is z prime?
True
Let d(m) = 239*m - 45. Is d(4) a prime number?
True
Let o = 15 + -11. Suppose o*y + 4*g = -g + 823, 3*y = g + 622. Suppose y = 5*n - 698. Is n prime?
True
Let i = 47 + -42. Is (-1 - i/(-2))*(-808)/(-6) composite?
True
Is (93844/(-232))/(2/(-12)) a prime number?
False
Suppose -6*t + 0*t = -24. Suppose -t*m + 12 = -4*k + 4, -5*m = 3*k - 26. Suppose k*r = -5*z + 639, -r = -0*r + 4*z - 327. Is r a prime number?
True
Suppose -14*q - 25954 = 11636. Let n = 3836 + q. Is n a prime number?
True
Let d = -1 + -2. Let u be (-4 - d)*(-109 + 2). Suppose 1 = -2*v + u. Is v composite?
False
Suppose -213 = -3*r - 3*x, 5*x = 2*r - 119 + 5. Suppose 0 = -g + 5*z + r, 1 = 2*z - 3. Is g a prime number?
False
Suppose 2*m = -4*d + 1918, 0 = 3*m - 13 + 10. Is d a prime number?
True
Let w(f) = -2 + 5 + 5*f - 4 + 55*f. Is w(16) a prime number?
False
Let m(y) = -4*y + 5*y + 66*y**2 - 2 - 4*y + 4. Is m(3) a composite number?
False
Is 448580/12 + 15/((-585)/26) composite?
True
Suppose f - 11367 = -2*b, 0*b - b + 5679 = -4*f. Suppose -4*s - 3795 = -2*q + s, -3*q = 2*s - b. Is q a composite number?
True
Let q(z) = z**2 - 5*z - 1. Let s be q(5). Let t be 2*(s + (-2)/(-1)). Is ((-615)/(-6) + 3)*t a composite number?
False
Let a = -579 + 1121. Let f = a - -255. Is f a prime number?
True
Let g(z) = z**3 - 3*z**2 - 2*z + 1. Let r be g(3). Let u(c) be the third derivative of -c**6/120 - c**5/60 - c**4/4 - c**3/2 - 17*c**2. Is u(r) prime?
True
Let n = -1 - -6. Suppose -8 = 2*f, -2*p + n*p - 4*f = -4781. Is ((-5)/(-3) + -2)*p a composite number?
True
Is 1*-7*(-16)/112 + 5922 a prime number?
True
Let w = 15 - -3. Is 5535/w - (-2)/(-4) composite?
False
Is (-2 + -442)*22/(-88) a prime number?
False
Suppose -2*a = 2*q - 5490, 1156 = -a + 3*q + 3885. Is a composite?
False
Let t(z) = 587*z**2 + 18*z - 23. Is t(-6) a composite number?
False
Let w(q) = 3*q**2 - 3*q - 10. Let u be w(7). Let h be 1/((-3)/u)*-6. Suppose 4*i = -44 + h. Is i a composite number?
False
Let p = -463 + 1034. Is p a prime number?
True
Let w(f) = 3*f - 4. Let s be w(4). Let m be s/20 - (-864)/15. Suppose t - 5*t = -5*q + m, -3*q - 5*t = -20. Is q prime?
False
Let a(z) = -7*z**2 + 3*z - 2. Let q be a(1). Let s = q - -10. Suppose 0 = 3*i - i + w - 2723, w - 5445 = -s*i. Is i a composite number?
False
Suppose 0 = 4*h - 5*m - 8018, 4*h + 1466 = -2*m + 9498. Suppose 0 = -b - 2*l + h, 4*l - 201 + 6202 = 3*b. Is b composite?
False
Let b = -149 - -70. Let o be (-32)/3*(b - -1). Let g = o - 575. Is g composite?
False
Suppose 5*c - 168293 = 91482. Is c prime?
False
Suppose 0 = -8*z - 284 + 1828. Let l = -78 + z. Is l a prime number?
False
Let a = -795 - 713. Let d = -245 - a. Is d a composite number?
True
Suppose -9263 = -30*i + 29*i. Is i prime?
False
Suppose -2 = 5*p + q - 10, 3*q = -3*p + 12. Let j(h) = -8*h. Let v be j(p). Let l = v - -21. Is l prime?
True
Suppose -4*c + 7*c = -c. Suppose 7*q - q - 3198 = c. Is q a prime number?
False
Let a be 2/(-4) - 10/(-4). Suppose -a*z + z = 5*m + 23, 27 = -5*m + z. Is 29*52/(-1 - m) a composite number?
True
Suppose 0 = 3*k - 2*k - 2, -2*w + 500 = 3*k. Suppose 100 = -3*y + w. Is y a prime number?
False
Suppose -5*x = -t + 5*t - 633, t + 132 = x. Is x a prime number?
False
Let w(z) = 7*z + 26. Let k be w(-3). Suppose 7*r - 13205 = k*r - 3*g, 5*r - 5*g = 33050. Is r a prime number?
True
Let l(u) = u**2 + 13*u + 14. Let f be l(-12). Suppose -f*d = d - 15. Suppose 3*j + 0*t - 5*t = 155, -d*j + 273 = -t. Is j composite?
True
Suppose 3*f + j - 82 = -3*j, -175 = -5*f + j. Let p(b) = 12*b + 25*b + f*b. Is p(1) prime?
True
Let c(a) = 709*a + 84. Is c(5) a composite number?
True
Let y = -3271 - -12468. Is y prime?
False
Let u = 13366 - 7757. Is u a prime number?
False
Suppose -3*a - 5*m - 1988 = -4*a, -3*a = -3*m - 5952. Is a prime?
False
Let f(x) = -15*x + 6. Suppose -2*v + 2*y = -216, -v - 4*y + 100 = -3*y. Let k be (-9)/(-21) - v/14. Is f(k) a prime number?
False
Suppose -13*i + 0 + 0 = 0. Let k(p) = -4*p + 839. Is k(i) prime?
True
Suppose 0 = 4*h - 3*h - 2. Let z = 191 - 186. Suppose 0*a - h*a + 322 = 5*v, 2*v = -z*a + 805. Is a a composite number?
True
Suppose -2*h - 4156 = -2*d + 594, -7101 = -3*d - 3*h. Is d a composite number?
False
Suppose -102044 = -12*p + 44320. Is p composite?
False
Let p be (-3044)/(-12) - (-6)/(-9). Suppose -44 = -9*b + p. Is b a prime number?
False
Is 0 + ((-1)/2)/((-14)/67732) composite?
True
Suppose 88 = 3*g - 239. Let d = 20 - 16. Suppose d*s + 21 = g. Is s a prime number?
False
Suppose 0 = 13*u - 23*u + 26050. Is u a composite number?
True
Let r(w) = w**3 + 10*w**2 - 8*w - 1. Suppose -3*q + y - 32 = 0, 3*y - 46 = -2*q + 6*q. Let z = q + 4. Is r(z) a prime number?
True
Suppose -527 = -4*c + 3*o + 24137, 2*c = 2*o + 12334. Is c a prime number?
True
Let d(z) = z**3 + 15*z**2 - 16*z - 4. Let y be d(-16). Is 3165 - (2 - (1 - 5 - y)) composite?
False
Suppose 3*c + 29*c - 136672 = 0. Is c a prime number?
True
Let r = -13 - -18. Suppose 0*j - 1939 = -2*j - r*y, -j + 971 = 2*y. Is j prime?
True
Let k(f) = f**2 + 5*f + 4. Let p be k(-5). Suppose 492 = -p*u + 4*d, 2*u - u + 2*d + 123 = 0. Let s = 226 + u. Is s a composite number?
False
Let y(t) = t**2 + 3*t - 8. Let f be y(2). Suppose -2*c + 828 = f*q, -3*c + 404 = -3*q + 4*q. Is q a composite number?
False
Let s be (-366)/42 - (-6)/(-21). Let l = -5 - s. Is 149/l*(6 - -6) a prime number?
False
Suppose 3 = -j, -j - 609 = 5*x - 7096. Suppose -26*b + 24*b = -x. Is b composite?
True
Let m(g) = -2*g**3 - 37*g**2 - 37*g - 23. Is m(-19) a prime number?
False
Let t(g) = 3 - 33*g + 1 + 1 - 63*g. Is t(-3) composite?
False
Suppose w = -w. Suppose 0*p + 5*p = w. Is (p + 3 + -5)*-11 composite?
True
Suppose 2*z = -0 + 8. Suppose 4*v - 2*w = -6, -v - 6 = -0*v + z*w. Is v/7 + 14255/35 prime?
False
Let a(l) = -7*l - 3. Let p be a(-1). Suppose 0 = -z + 5*v + 29, p*v - 15 = -5*z + 3*v. Suppose -z*o + 135 = m, 2*m - 72 = -0*o - 2*o. Is o a composite number?
True
Let i(w) = -w**3 + 13*w**2 - 9*w + 13. Let c be i(6). Let t(k) = -k**2 + 3*k - 2. Let u be t(2). Suppose u*z - c = -z. Is z a prime number?
True
Suppose 0 = -0*a - 3*a - 9. Let k(v) be the second derivative of -v**3/6 + 2*v**2 + 7*v. Is k(a) a prime number?
True
Suppose 0 = -u - 4, -8*f + 5*u = -6*f - 30010. Is f prime?
False
Let g(f) = -3*f**3 - 58*f**2 - 33*f - 7. Is g(-29) a composite number?
False
Let y be -1 - (0 + 0 - 5). Suppose 0 = -3*v + 5*f + 553, -y*v + 2*f = -0*v - 756. Is v composite?
False
Let c = 8143 - 2246. Is c a prime number?
True
Let x be 4/3*(-15)/2. Let n(u) = -u**3 - 11*u**2 - 11*u - 6. Let p be n(x). Suppose 4 = 2*c, p*s - c - 674 = -0*c. Is s a composite number?
True
Let s = -33 - -37. Suppose s*z - 8285 = -z. Is z composite?
False
Let d be (-4)/6 + 129/(-9). Let q(g) = g + 15. Let c be q(d). Suppose 0 = -6*w + 4*w + 5*m + 139, c = -2*w - 3*m + 131. Is w prime?
True
Let j be (-520)/(-35) + 3/21. Suppose -g - 13 = -2*g + 4*c, -5*c - j = 0. Is (-2 + g)*-71 - 4 a composite number?
False
Let b(f) = 5*f - 40. Let w be b(14). Is (w/(-45))/((-4)/1506) composite?
False
Let g(k) = -k - 6. Let x be g(-8). Suppose 11 = -3*c + 4*q, -c = q + x*q + 8. Let u = 214 + c. Is u prime?
False
Let q(p) = 3728*p + 167. Is q(6) a prime number?
False
Suppose 0 = -11*l + 33500 + 62299. Is l a composite number?
True
Let o = -2899 + 12412. Suppose 0*t - 4*n - 5695 = -3*t, -o = -5*t - 4*n. Is t a composite number?
False
Suppose 0 = -38*y + 76*y - 396074. Is y a composite number?
True
Let t = -8439 + 29918. Is t a prime number?
False
Let f be (2 - (1 + 1)) + -2 + 4. Suppose -3*g = -6, -3*l + f*g + 0*g = -2681. Is l a prime number?
False
Let v(d) = -d**3 + 1. Let j be v(2). Let x(m) be the third derivative of -m**6/120 - m**5/15 + 5*m**4/24 - m**3/2 - 4*m**2. Is x(j) composite?
False
Suppose 4*l - 4 - 4 = 0, 291 = 5*q - 2*l. Let u = q - -144. Is u composite?
True
Suppose k + 3*j - 105 = -2*k, -4*k + j = -125. Suppose -20 = 5*z, -z - k = -3*c + z. Let m = 11 + c. Is m prime?
True
Let s = 13 - 13. Suppose -5*z + 15 = -s. Suppose -422 = -3*b + 4*d, -8*b + z*b - 5*d + 645 = 0. Is b composite?
True
S