76, p + 143 = 3*m. Is m a prime number?
False
Suppose -c - 12 = -b + 2, 5*c + 51 = 4*b. Let y be 4/(-8) + (-138)/(-4). Let t = y + b. Is t composite?
False
Suppose 0 = 5*l + 4*g + 657, 3*l - 3*g - 138 = 4*l. Is 1/((9/l)/(-3)) prime?
True
Let r(w) = 23*w + 7 - 9*w + 14*w + w. Is r(3) composite?
True
Let n(i) = -i**2 - i + 3. Let c be n(0). Suppose -4 = -c*o + 53. Let p = o - 10. Is p a prime number?
False
Let m(n) = -n**3 + 7*n**2 - 5*n - 6. Let i be m(6). Suppose i = 3*b + b - 812. Is b composite?
True
Suppose 5*n + 8 = n. Is 262 - (1 + -2 + n) composite?
True
Let q(z) = -31*z**3 + 6*z**2 - 8*z - 16. Is q(-5) composite?
False
Let a be ((-5)/4)/((-1)/4). Let b(p) = 51*p + 2. Is b(a) prime?
True
Let s(c) = 11*c**2 - c. Let q be s(1). Is 110/4 - 15/q composite?
True
Let w(v) = v**3 + 2*v**2 - 7. Is w(4) a prime number?
True
Suppose 0 = -5*w - 2*n - n + 378, 2*w + 3*n = 144. Let d = 137 - w. Is d prime?
True
Let l(n) = n**2 + 8*n + 4. Let m be l(-8). Suppose 4*b - 5*c = 9*b - 70, -4*c = -m*b + 32. Is b composite?
False
Suppose 5*i - 3442 = 2493. Is i composite?
False
Suppose 1641 = 5*q - 4*l, -3*q = -0*q + 5*l - 992. Is q a prime number?
False
Let x(h) be the first derivative of 19*h**3/3 + h**2 - 3*h - 3. Is x(-4) prime?
True
Suppose d + 6*m - m + 5 = 0, -4*d - 3*m = -14. Suppose -y - k = -86, -3*y - 5*k + 259 + d = 0. Is y a composite number?
False
Let n be -1 - (5 + (-1 - 1)). Let h(d) = -17*d**2 - 13*d - 23. Let p(c) = 8*c**2 + 6*c + 11. Let f(k) = 6*h(k) + 13*p(k). Is f(n) prime?
True
Is 8/10 + (-1143)/(-15) a composite number?
True
Let s(q) be the third derivative of -q**5/60 + 293*q**3/6 + 5*q**2. Is s(0) a composite number?
False
Suppose -46*d - 28828 = -50*d. Is d a prime number?
True
Suppose -4*v + 1539 = -5*g, -3*v - 3*g + 1116 + 18 = 0. Is v composite?
True
Suppose 5*z - z = -i + 76, 4*i = 5*z - 116. Suppose -3*c - 2*c = -z. Suppose -2*m + 260 = c*v, 6*v - 3*v - 193 = -2*m. Is v a composite number?
False
Let l = -101 - -480. Is l composite?
False
Let o be ((-6)/(-4))/((-1)/(-2)). Suppose 2*w - 3 = -1, -u + o*w + 50 = 0. Is u a prime number?
True
Suppose 3*f - 4*r + 2*r = 2306, -4*r = 5*f - 3836. Suppose -4*i + 4*k + f = 0, -2*i + 0*k - 2*k = -400. Let u = -77 + i. Is u a prime number?
False
Let j = -3 - -7. Suppose 2*g = 3*u + 3, g = -g + j*u + 2. Is g composite?
False
Let u = 46 - -247. Is u a prime number?
True
Let z(t) be the second derivative of t**5/20 - 5*t**4/12 - 5*t**3/3 + 2*t**2 - 3*t. Let u be z(7). Let p = u + 101. Is p a composite number?
True
Let j(s) = -8*s + 5. Is j(-6) a prime number?
True
Let j = 3 - 3. Suppose 30 = -j*m + 3*m. Is m a prime number?
False
Let g = 280 - 38. Let x = 399 - g. Is x a composite number?
False
Let j = 9 - 6. Let y(t) = -78*t - 3. Let d be y(j). Is -2*(0 - d/(-6)) prime?
True
Let w(y) = -15*y - 1. Let b(d) = -16*d - 1. Let h(x) = 5*b(x) - 6*w(x). Suppose 3 + 3 = 2*t. Is h(t) a prime number?
True
Let b = 11 - 19. Let w(v) = 3*v**2 - 3*v - 5. Is w(b) prime?
True
Let t(f) = 5*f**2 + 3*f - 17. Is t(6) prime?
True
Suppose 0*s + 113 = s - 4*z, -5*s - 2*z = -543. Is s a composite number?
False
Let d be (-19 - 0)*8/(-2). Suppose 2*c + 5*k - d = 0, 5*c - 3*k = -0*k + 221. Is c a prime number?
True
Let c(p) = -p**2 + 5*p - 6. Let h be c(4). Is h/(-8) - 118/(-8) composite?
True
Suppose 0*z + 161 = 3*r + 2*z, -4*r + 2*z + 196 = 0. Suppose -i - i = -5*d - 74, d = -i + r. Is i a prime number?
True
Is 2/((-3)/(-537)*2) composite?
False
Is (-12206)/(-17) - -1*(3 + -2) a prime number?
True
Suppose 0 = -5*u + 4*t + 2, -5*t - 3 = -3*u - 7. Suppose -5*r - u*k = 3*k - 330, 0 = 4*r - 5*k - 273. Is r a composite number?
False
Suppose 3384 = 2*g - 12734. Is g prime?
True
Let j = -3 + 5. Let l = 187 + 71. Suppose -z = 2*x - 0*z - l, 0 = -j*x - 5*z + 242. Is x a prime number?
True
Is (-1043)/(-14)*2*1 a prime number?
True
Suppose 2*b + 10 = d, -4*d = -2*d + b. Let n(x) = 9*x + 1. Let y be n(1). Suppose y - 24 = -d*c. Is c a composite number?
False
Suppose 28 = 3*b + 4*w, 3*b + 2*w - 28 = -2*b. Suppose -120 + 2661 = 5*i - d, b*i = -4*d + 2052. Is i prime?
True
Suppose -w + 16366 = 4*q, -8*q + 20449 = -3*q - 3*w. Is q a composite number?
False
Let z be (-6)/(-9) - (-2345)/15. Suppose -3*n = i - z, -5*i + n + 5 = -844. Is i composite?
True
Let d(k) = -k + 1. Let l be d(7). Let f(q) = -17*q - 7. Is f(l) a prime number?
False
Let o(q) = 2*q**2 + 0*q - 7*q + q**3 - 2 + 3*q**2. Let r be o(-6). Suppose n - 4 = 0, -d - 193 = -r*d + 2*n. Is d a composite number?
False
Suppose 0*b + 185 = 5*b. Is b a composite number?
False
Let u be ((-4)/(-6))/((-8)/156). Let d = u - -28. Is d a composite number?
True
Let b(q) = -35*q + 1. Let f(a) = -a**3 - 7*a**2 - 5*a + 5. Let y be f(-6). Let j = -4 - y. Is b(j) composite?
True
Suppose r - 7 = -2*r + d, 2*d = -4*r + 26. Suppose 3*n = r*p - 15, -5*n + 2*n + 2*p = 15. Is n/10 - 29/(-2) composite?
True
Suppose -6*q + 980 = 2*v - 4*q, -3*v + 5*q = -1438. Suppose 4*b - w - 12 = 0, 5*b - 3*w - 7 = 1. Suppose -74 = b*l - v. Is l composite?
False
Suppose 3*n + 5*a - 939 = 0, 0*a - 4*a - 12 = 0. Suppose 4*r = n - 10. Is r a prime number?
False
Suppose -f = 5*b + 31, 0*f + f + 25 = b. Suppose -2*q + 0 - 2 = 0. Is (-4 - f)/(q + 2) a prime number?
False
Let n(j) be the third derivative of 17*j**6/144 - j**5/120 - j**4/24 + 2*j**2. Let h(l) be the second derivative of n(l). Is h(2) a composite number?
True
Let f be (-1)/2*40/(-4). Suppose m + f*q = 22, -3*q - 88 = -4*m - 0*q. Is m prime?
False
Let m be -10 + 8 + -28 + 0. Let f = 5 - m. Is f a prime number?
False
Let q(u) = -4 + 5*u - 12*u - 9*u - 3*u. Is q(-3) a composite number?
False
Let d be 147 + 2 + (-10)/2. Suppose -3*v = -5*l - d, 0 = -4*v - l + 5*l + 184. Is v prime?
True
Suppose 0 = -3*s + 2*s. Suppose 5*w + 293 = 4*t, s = 3*t + w - 6*w - 216. Is t a prime number?
False
Let z be (-4)/26 + 235590/195. Let s = -673 + z. Is s a composite number?
True
Let f(n) = n**2 + 8*n + 7. Let z be f(-6). Let x = 5 + z. Suppose 37 = -x*v + v. Is v a prime number?
True
Let s(q) = -81*q + 1. Let h be s(1). Let b = -120 - h. Let d = b - -97. Is d composite?
True
Suppose -5*g + 840 - 115 = 0. Is g composite?
True
Let p = -5 + 7. Is 129/9 + p/3 prime?
False
Let h = 31 + -16. Is h a composite number?
True
Suppose -w + 8 = 23. Let f(q) = q**3 + 16*q**2 + 16*q + 21. Is f(w) a composite number?
True
Let g be 10/4 - 5/(-10). Suppose -g*y + 5 = 2*y. Is (3 - y) + 0 + 35 composite?
False
Suppose 59*q + 5718 = 65*q. Is q a prime number?
True
Suppose -394 = -4*u + 178. Is u composite?
True
Let b(t) = t**3 + 8*t**2 - 6*t - 11. Let x be b(-8). Is x + -1 + 1/1 a prime number?
True
Suppose 0 = 3*i - 6*i. Suppose i = 3*p + 101 - 302. Is p a composite number?
False
Let x = -62 - -99. Suppose -a + 0*a = -x. Is a prime?
True
Let l be 3/(-6)*-2 - -3. Suppose l*u - 2*v = 4, -3 - 1 = -4*u + v. Let y(o) = 6*o. Is y(u) prime?
False
Is (-10882)/(-5 - -3) + 6 + -10 a prime number?
True
Let k = 20 - 14. Suppose 0 = b - 3*b + k. Suppose -2*v - b + 77 = 0. Is v composite?
False
Suppose 22 = -3*b + 697. Let y = b + -148. Is y a composite number?
True
Let h = -22 - -33. Let s(a) = a**3 - 12*a**2 + 11*a + 3. Let l be s(h). Suppose 4*f - 262 = l*o, -2*o + 0 = -4. Is f composite?
False
Let x(n) = -105*n + 1. Is x(-2) a composite number?
False
Let o(a) = a**2 - a + 127. Is o(0) a composite number?
False
Let g(y) be the second derivative of 11*y**3/6 - 3*y**2/2 + 2*y. Let u be g(9). Suppose -26 = 2*z - u. Is z prime?
False
Let r(b) = 28*b**2 - 4*b + 5. Is r(-9) composite?
False
Suppose 4*l + 46 = 2*u, l - 16 = -3*l. Is u prime?
True
Suppose 0 = 4*g - g - 5*n + 23, -g + 2*n = 9. Let p(d) = -3*d**3 - 2*d**2 - d. Let k be p(g). Suppose 4*o - 10 = -k*f + 84, -4*o + 20 = 0. Is f a prime number?
True
Suppose 12 = 4*x + 5*v, 3*v - 18 = -x + 4*x. Let u be 0/(x + 4 + -3). Is (-267)/(-3 + u)*1 a prime number?
True
Let l = 18 + -16. Suppose -26 + 1108 = l*m. Is m composite?
False
Let r(w) = 3*w**2 - 4*w + 7. Let v be r(-6). Suppose 5*u + 2*h = 239, 3*u + 0*u - v = h. Is u a composite number?
False
Suppose -k = -3*k. Suppose -z + 31 + 5 = k. Suppose z + 118 = 2*q. Is q a prime number?
False
Let h(f) = -128*f**3 - f**2 - f - 1. Let z be h(-1). Suppose 3*k = -3*m + 234, z = 3*k - 4*m - 100. Is k a prime number