 4*c + j - r, 0 = -c + z + 148. Is c prime?
True
Let y(c) = -c**2 + 12*c + 3. Let j(l) = -l**2 - 8*l - 3. Let o be j(-3). Let d be y(o). Suppose 0*i + d*i = 423. Is i composite?
True
Let h(m) = 5*m**2 + 14*m - 15. Let j be h(9). Let t = j - -167. Is t a composite number?
False
Let z = 69 + -67. Is ((-15)/(-30))/(z/1972) prime?
False
Let z be (-1 - 0 - 29)*(-8)/10. Suppose 5*q - 223 = 52. Let i = q + z. Is i a composite number?
False
Let s be ((-1)/4)/(((-39)/(-84))/(-13)). Is (11 + 662)*(s - 2) a prime number?
False
Let o = -10856 - -32097. Is o prime?
False
Is -7*121698/(-63) - 1/(-1) a composite number?
False
Let t = -2301 - -8690. Is t a prime number?
True
Let h(a) = 2*a - 13. Let r be h(8). Suppose 689 = r*m - 5*t, m + t = -4*m + 1111. Is m a prime number?
True
Let z(f) = 5*f**3 - 8*f**2 - 15*f + 9. Is z(11) a prime number?
True
Suppose -20 = 7*o - 12*o. Suppose -o*u = 4*r, -r + u + 9 = r. Suppose 5*b = 4*w + 1271, 5*b - r*w + 8*w = 1235. Is b composite?
False
Suppose -3*y - 1276 = 8*y. Let n = y + 993. Is n a prime number?
True
Let k be ((-1518)/(-24))/(2/(-8)). Let o = k + 588. Is o prime?
False
Let j be (-18)/(-54) - (-3826)/6. Let x = -237 + j. Is x composite?
False
Suppose 0 = -8*p + 3*p + 30. Let j be p/10 - 104/40. Is (-9544)/16*j*1 composite?
False
Suppose 51*n + 35531 - 2171360 = 0. Is n a prime number?
True
Let m(r) = 11*r**2 - 7*r - 2. Let l be m(-14). Suppose -5*s + 8643 = -l. Is s prime?
True
Let w(m) = m**3 + 5*m**2 - 2*m - 7. Let o be w(-5). Suppose 3*u - 9 = o. Is 219 - 1*(6 - u) a prime number?
False
Suppose -3*x - 4*k + 299 = 0, x = -3*x + 4*k + 352. Let f be 3/(3/x + 0). Let y = f - -122. Is y composite?
True
Suppose -4 = -t + 4*x, -8 = -2*t + 3*x - 7*x. Suppose -3*h + 6 = -4*h + 4*k, -4*h - 5*k = 108. Is (-4198)/h - t/(-22) prime?
True
Suppose -4*r - 11903 = -3*j - 6*r, -5*j - 2*r = -19837. Is j a prime number?
True
Suppose 487 = 3*j - 5*q, -2*j - q - 16 = -319. Let z = 293 - j. Suppose -3*d - 3*b + z = -b, 0 = 2*d + 3*b - 86. Is d a composite number?
True
Is 4 - ((-252)/24)/(2/636) composite?
False
Suppose 3*h + 13232 = m - 17721, 3*h = 6. Is m a prime number?
False
Suppose 2*s - 4*n = 12054, -s - 14*n + 13*n = -6030. Is s composite?
False
Suppose -o + 7107 = 4*a, 0 = -3*o - 2*a + 6*a + 21257. Is o prime?
False
Let b be 7/((-21)/6) + 1. Let j = b - -12. Is j a prime number?
True
Let d be (-2)/4 + 48/32. Suppose s = -5*g - d, 2*g - 7*g - 5 = 0. Suppose 3*k - s*c - 21 - 12 = 0, 0 = -4*k - 2*c + 66. Is k a composite number?
True
Let v = -11 - -15. Let b = -41 + 61. Is 2605/b + 3/v a prime number?
True
Let k(s) = -s**3 + 14*s**2 - 14*s + 17. Let a be k(13). Suppose 4*u = 2*h - a*h + 14828, -u + 3697 = 3*h. Is u a prime number?
True
Suppose 0 = -2*t + i - 2653, -3*t + 5*i - 3969 = -0*t. Let p = t + 3763. Is p a prime number?
False
Suppose 43*t - 557381 - 45866 = 0. Is t a prime number?
True
Suppose -5*v + 2633 = -1327. Suppose 5*l + 3243 = 4*w, 0*l = -w + 5*l + v. Is w prime?
False
Suppose -11*y = -2*y - 846. Suppose a - y = -5*m, -4 = a - 3. Is m prime?
True
Suppose 4*h - 44804 = -0*m - 4*m, -m = -h + 11193. Is h a composite number?
False
Is 24/(-48) - 3/((-6)/503) a composite number?
False
Let p(s) = -82*s**3 + 2 + 2*s**2 + 0*s**2 - s - 4. Let m be p(-2). Suppose 2*h + 2*h = m. Is h a composite number?
True
Let d be 1/(-3) + 6/((-72)/(-100)). Suppose 3170 = d*t - 6*t. Is t a composite number?
True
Let g = -43 - -462. Is g a prime number?
True
Let t = -19793 - -45484. Is t a prime number?
False
Let a be (-2)/((-2)/(-1)) - -29. Let l = 41 - a. Let m(s) = 11*s + 18. Is m(l) composite?
True
Suppose 0 = 3*f - 18 - 9. Let k be 3 - 3/f*3. Suppose -v - 53 = -k*v. Is v a prime number?
True
Let h(n) = -19*n + 6. Let l be h(-2). Suppose 5*s - l = 6. Is s a prime number?
False
Suppose -n - 4*m = 18, 1 = 5*n + 2*m + 19. Suppose 4*i - 5*f = 68, -3*f + 17 = -2*i + 51. Is i - n/(1 + 0) a prime number?
True
Let m(f) = 2*f - 5. Let b be m(5). Suppose -b*y + 4*y = -2. Is y/12 - (-5307)/18 a composite number?
True
Suppose -3*j = 2*x - 5*x + 2370, 5*x = -2*j + 3943. Suppose -5*s = -2*s - x. Is s composite?
False
Let n(h) = 506*h - 105. Is n(8) composite?
False
Let i(a) = -a**2 - 11*a - 10. Let c be i(-9). Suppose -h + c = 3*h. Let v(y) = 54*y**2 - 4*y + 3. Is v(h) prime?
True
Suppose u - 3*f - 51 = 4964, 2*u - 2*f - 10014 = 0. Is u composite?
False
Let u(b) be the first derivative of 10*b**3/3 + 4*b**2 + 19*b + 10. Is u(9) a prime number?
False
Let y(u) = 4*u**2 - 1. Let s = -12 + -8. Let b be ((-12)/s)/(1/5). Is y(b) prime?
False
Suppose 4*z - 9241 = n + 12049, 4*n + 15961 = 3*z. Is z a prime number?
True
Suppose v = -1, 0 = 3*k - 56*v + 58*v - 29155. Is k composite?
False
Suppose 0 = 13*d - 8*d - 58285. Is d a composite number?
False
Let v = 166 + -7. Is v a composite number?
True
Let h = -4 - -9. Suppose p - 14 = 5*b, -p - 3*p + 11 = -h*b. Is 5730/40 + p/4 a composite number?
True
Let y(n) = -11*n**2 + 36*n - 38. Let w(t) = 4*t**2 - 12*t + 13. Let v(d) = 8*w(d) + 3*y(d). Let p be v(10). Is ((-976)/20)/((-4)/p) prime?
False
Let f be (-1)/(-4) - 55/(-20). Let x(d) be the second derivative of 49*d**4/12 + 2*d**2 - 8*d. Is x(f) composite?
True
Let o(i) = -3*i**3 + i**2 - 2*i - 5. Let g(f) = -f**2 + 1. Let m(p) = 4*g(p) + o(p). Let j be (-5 - (-57)/12)*12. Is m(j) a composite number?
False
Suppose 824 + 5233 = 9*c. Is c a prime number?
True
Suppose 4*b - 7394 = 2*d, -3*b = 2*d + 130 - 5665. Is b a prime number?
True
Suppose -106*n - 562097 = -129*n. Is n composite?
False
Let j = -5823 - -9534. Suppose 4*v + j - 311 = 4*s, -5*v + 856 = s. Is s a composite number?
True
Let h(w) = 7*w**2 - w - 4. Let p be h(2). Is 4/p - 735/(-11) composite?
False
Let x be (-3)/(18/15) + 10/20. Let s = 61 + -107. Is s/((-1)/(-7)*x) a composite number?
True
Let f(h) = -h**3 + 24*h**2 - 28*h + 21. Is f(16) a prime number?
True
Let g = 6516 - 4183. Is g a composite number?
False
Let g = -9 - -6. Let l(r) = -r. Let i be l(g). Is 0 + (3 - -287 - i) a composite number?
True
Let l = -1532 + 5319. Suppose 1002 = -5*h + l. Is h a composite number?
False
Let w(f) be the first derivative of 24*f**2 + 13*f - 18. Is w(5) a prime number?
False
Let k = 29820 - 14017. Is k composite?
False
Let x(o) = 49*o**2 - 4*o - 11. Is x(-6) composite?
False
Is 12/(-72) + (-253214)/(-12) a prime number?
True
Let m = 1453 - 174. Is m a composite number?
False
Is 18949 - (-2 - (-1)/(4/8)) prime?
False
Let c(f) be the third derivative of -f**4/8 - 2*f**3/3 - 4*f**2. Suppose 2*r = 5*r + 27. Is c(r) a composite number?
False
Suppose -3*d = -4*m - 18271, -3*d + 2*m - 6077 = -4*d. Is d prime?
False
Is 63/18*((-3271068)/42)/(-3) a prime number?
True
Suppose 4*u = u - 3, -5*m + u = -21. Suppose 644 = m*d - 232. Is d composite?
True
Suppose 3*p - 4*p - 11 = 0. Let o = 14 + p. Suppose -5*v + 971 = -s + 12, 0 = -o*v - 4*s + 557. Is v prime?
True
Suppose 0 = 5*y - d + 4190, -2*y + 4*d - 1110 = 566. Let g = y + 1577. Is g a composite number?
False
Suppose -29*v = -33*v + 35068. Is v prime?
False
Suppose -8*o + 52866 = 3962. Suppose -4071 - o = -8*t. Is t a composite number?
True
Suppose 0*j - 5*j + f + 3005 = 0, -j = 4*f - 601. Suppose 5*n - j = 3724. Is n composite?
True
Let r = 21 - 26. Let q(k) = 2*k**2 + 9*k - 2. Let p be q(r). Suppose d = p + 48. Is d a composite number?
True
Let m(i) = 126*i**2 + 9*i + 3. Let d(w) = 189*w**2 + 14*w + 5. Let f(t) = -5*d(t) + 8*m(t). Let q be f(1). Let g = q + -15. Is g composite?
True
Is 1 - 49304/(-6) - (-18)/27 a prime number?
True
Let k be 15621/(-18) - 2/12. Let s be (6/3)/((-4)/k). Suppose 2*f - o + 3*o - 220 = 0, 4*f - 2*o - s = 0. Is f a composite number?
False
Let d be (-52)/(-9) + (-2)/(-9). Suppose 23 - d = 4*g + 3*q, 29 = 5*g - 4*q. Suppose -5*k + 73 + 13 = 2*r, -g*r + 215 = 5*k. Is r a composite number?
False
Let x(n) = -3 + 3 + 5*n - 4*n. Let v be x(-2). Is (-4)/((-8)/(-19))*v prime?
True
Suppose 2*h + 5*z = 4313, 0 = 2*h - 4*z - 3104 - 1182. Is h a prime number?
False
Let o be (-4 - 7) + 3 + 1 + 0. Is (o + (-1590)/(-12))/(2/4) prime?
True
Let h(r) = 94*r**2 + 2*r - 1. Let n be h(1). Suppose 126 = 4*p - 530. Let b = p - n. Is b prime?
False
Let a be ((-1)/(-1) + -22)*(-6732)/54. Let j = a - 1501. Is j composite?
False
Let n be 1*-3 - (-20)/5. Is -3833