 Suppose -o*f = -13*f - 13805. Is f a composite number?
True
Let l be 19/2*(-16 - -2). Let x = l - -311. Is x a prime number?
False
Suppose 7*c = 4*c + 885. Let a = 510 - c. Is a a prime number?
False
Suppose -2*c = c - 9. Let n be (-3)/(2 - 5) + c. Suppose 2*z + 78 = 3*z - 3*d, -z + n*d = -81. Is z composite?
True
Let k be (-3 - 1) + (-12)/(-3) + -840. Let p = k + 1909. Is p a composite number?
False
Let l be (10 + -4)*2543/2. Suppose -6*o + 3*o = 4*u - l, 3*o = 4*u - 7611. Suppose 0 = -4*h - h + u. Is h composite?
True
Let g = 16441 - 9158. Is g a composite number?
False
Let i(v) = v**3 + 44*v**2 + 25*v - 245. Is i(-26) composite?
False
Let s(r) = -4*r + 13. Let w be s(8). Let y = w - -23. Suppose -7 = -y*f + 141. Is f prime?
True
Let k(s) = -2*s - 13. Let j(m) = -2*m - 23. Let x be j(-7). Let z be k(x). Suppose -2*o + 124 = z*u - 122, o = 4*u + 110. Is o a prime number?
False
Let n(a) = -a**2 + 3*a**3 - 336683*a + 2*a**3 + 1 + 336682*a. Let y be 3/(2/(4/3)). Is n(y) prime?
False
Let b = -61 + 61. Suppose b = -20*w + 18*w + 382. Is w prime?
True
Let a(k) = -636*k**3 - k**2 + 3*k - 1. Is a(-2) a composite number?
False
Let d = 3 - 0. Suppose k = -5*q + 458, 861 = 2*k - d*q - 120. Let j = k + -322. Is j composite?
True
Suppose 2*m = -4*o + 121608, 5*o - 3*m = 2*m + 152025. Is o a prime number?
True
Suppose -4*x + 244 + 972 = 0. Is x + 1 + -3 - 4 prime?
False
Is 4*8/32*52919 a composite number?
False
Suppose -5*o - 3*q = -2875, 0*q + q = 0. Let i = o - 180. Is i a composite number?
True
Let q(u) = -3*u**2 + 6*u - 1043. Let x(b) = 10*b**2 - 19*b + 3131. Let c(s) = -7*q(s) - 2*x(s). Is c(0) a prime number?
True
Let q = -27 + 32. Suppose 697 = q*a - 1203. Let n = 107 + a. Is n a prime number?
True
Let b(p) be the second derivative of -3*p**5/20 - p**4/4 - p**3/2 - 3*p**2 - 2*p. Let g be b(-5). Let s = g - 52. Is s a prime number?
True
Let x(t) = t**2 - t - 6 + 6*t + 2*t + 14. Let l be x(-7). Let u(m) = 28*m - 11. Is u(l) a prime number?
False
Suppose 592 = v - 754. Is v a composite number?
True
Is 49/28 + 2945/20 a prime number?
True
Let y be (24/(-28))/(6/(-21)). Suppose -m - 3*z = -5*m + 3001, -m + y*z + 748 = 0. Is m a prime number?
True
Suppose -15 = -5*i + 4*w + 4, -4*i = 3*w - 9. Let p(z) = 27*z + 18. Let n be p(10). Suppose 4*c = -d + 389, c - 4*c + i*d = -n. Is c a composite number?
False
Let b be (-4)/5 - (-129)/5. Suppose 5*k = -b, 0*d - 2*d + 5*k + 2307 = 0. Is d a prime number?
False
Let b(a) = 5*a**3 - 3*a**2 + a**3 - 3*a**2 + 7 - 10*a. Let h be b(7). Suppose 5*w + 2*d = h, 2*w - 7*w + 1709 = -2*d. Is w a composite number?
True
Let z(x) = -5*x + 9. Let r(y) = -25*y**3 - y**2 - y. Let v be r(-1). Suppose 7 = -2*k - v. Is z(k) prime?
True
Let b(t) = -2 - 178*t + 41*t - 76*t. Let g be 4/(-2) - (-6 - 15/(-3)). Is b(g) composite?
False
Is (-42)/84*4*(-162753)/6 composite?
False
Suppose -4*f - f + 481 = -4*z, -295 = -3*f - 4*z. Suppose f = -t + 2706. Is t composite?
False
Is -2*(-15)/(-6) - (-130628)/1 composite?
True
Let d(p) = -p - 20. Let h(q) = q + 19. Let r(z) = 3*d(z) + 4*h(z). Let c be r(-7). Suppose 2*x = 5*o + 18, x + 0*o - o = c. Is x prime?
False
Let l = 53431 - 26942. Is l a composite number?
False
Suppose 0*q = 2*q - 58. Let w = -18 + 34. Let a = q - w. Is a composite?
False
Suppose 4*l = -3*i + l - 3, 5*l = -4*i - 5. Suppose i*y = 3*y. Suppose 5*z + 459 - 1784 = y. Is z composite?
True
Suppose 6*u + 40 = 16*u. Suppose -5*a + 1347 = 5*v - 123, -v + 1179 = u*a. Is a a prime number?
False
Suppose -210591 = 103*r - 112*r. Is r prime?
True
Is 7/(35/(-30)) + 42515 a prime number?
True
Let x = -692 + 44997. Is x a composite number?
True
Suppose -5*z = 4*u - 12523, 2*z + 2*u - 10016 = -2*z. Is z a prime number?
True
Suppose 102*i + 6246 = 108*i. Is i a prime number?
False
Let d be (-15)/(-5) + 29*8. Let b = 26 - 24. Suppose b*o + 3*o = d. Is o composite?
False
Let q(m) = m**3 + m + 10. Let u be q(0). Let i(d) = 5*d - 9 - 13*d**2 + 5*d**3 - 4 - 4*d**3 + 3*d**2. Is i(u) prime?
True
Let i(a) = 1308*a - 13. Is i(24) a composite number?
False
Is (0 + 7 - -295)*167 + 4 composite?
True
Let u(s) be the third derivative of s**4/2 - 7*s**3/6 + s**2. Suppose -4*x = 2*k - 42, 5*x - 13 = 3*k + 12. Is u(x) a composite number?
False
Let q be (1/(-2))/((-8)/(-464)). Let u = q + 58. Is 7/(4/(4*u)) a prime number?
False
Suppose 0 = -i - 3*i, 5*m + 5*i - 34965 = 0. Is (2/(-3))/((-42)/m) a prime number?
False
Let a(r) = 13*r**2 - 3. Let h be a(5). Let i = 17 + h. Is i a composite number?
True
Suppose -5*i = -2*r + 7332, -i - 18353 = 6*r - 11*r. Is r a prime number?
True
Let v(s) = -3*s**3 + s**2 - 2*s + 4421. Is v(0) a prime number?
True
Let s = 24 + -19. Suppose -2*z - f = -958, s*f = -3*z + 798 + 639. Is z composite?
False
Let b = -130 - -447. Is (b/2)/((27/6)/9) prime?
True
Let l = 24 + -23. Let b be (122/(-8))/(l/(-12)). Suppose -4*h - 5*c = -308, 2*h + 2*c - b + 29 = 0. Is h a composite number?
True
Let v(d) be the first derivative of -d**3/3 - 4*d**2 - 9*d + 6. Let l be v(-6). Suppose 0 = n - 3*n - l*f + 200, -5*n - f + 487 = 0. Is n a composite number?
False
Is ((-4)/2)/(26/(-62621)) composite?
False
Suppose 4*q - 96 = -r, 0*r - 4*q = -4*r + 344. Is (-4)/(-22) - (-79800)/r prime?
True
Let d = 123671 + -84378. Is d a composite number?
False
Let p be -4 - (21/(-2) - 4/(-8)). Suppose p*t = 1849 + 2321. Is t prime?
False
Suppose 99*y - 102*y = -3270. Suppose y + 1067 = 3*j. Is j composite?
False
Let s(u) = -12 + 18 - u + 31*u**2 - 7 + 3*u. Let g be s(2). Suppose -2*b + g = -b. Is b composite?
False
Let v(z) = 272*z**2 - 78*z - 1. Is v(12) prime?
True
Suppose -5*q + 6527 = -5428. Is q prime?
False
Let m be 2/5 - 6/(-10). Is (m - 1) + (127 - -6) a composite number?
True
Let r = 16326 + 41683. Is r prime?
False
Let k(w) = 170*w**2 + 2*w + 7. Let h = 51 + -48. Is k(h) a composite number?
False
Let r = 13 - 10. Suppose r = -w - 3*h, -2*w + 0*w = h + 1. Suppose 2*n + 477 = 5*l - 510, -3*l + 2*n + 589 = w. Is l composite?
False
Let d(k) = -2*k + 28. Let b be d(13). Suppose 0 = b*n - 6*n. Suppose n = -5*q + 4*q + 487. Is q a composite number?
False
Let v be 422 - 0*(0 + 1). Let s = 114 - 112. Suppose s*l = 4*l - v. Is l a prime number?
True
Let w(g) = 151*g**2 - 7*g - 5. Is w(4) composite?
False
Let p(d) = 2*d - 15. Let b be p(10). Is 3179/b - (-8)/(-10) a composite number?
True
Suppose 2*q + 2*q = 56. Suppose -5*o + 2*y + q = 0, o + 4*y = -0*y + 16. Suppose -4*u - 4*d + 72 = 0, 0 = 3*d - 5 - o. Is u prime?
False
Let p(k) = k**3 + k**2 + 2. Let g be p(0). Suppose -g*c + 3*i = -2*i - 259, 0 = -c - i + 126. Is c a composite number?
False
Suppose -408*q + 14727 = -405*q. Is q composite?
False
Let p = 211 - -244. Let u = p - 148. Is u prime?
True
Let i = 19 - 19. Suppose 4*v - 5*w - 279 = 0, i = 6*v - 4*v + 2*w - 144. Is v prime?
True
Suppose -4*j + 3*m - 4059 = 0, -2*j - 4080 = 2*j + 4*m. Let c(w) = 349*w - 8. Let t be c(6). Let b = t + j. Is b a prime number?
True
Suppose -2*k = 5*i - 2718, -i - k - 2721 = -6*i. Let h = i + -107. Is h a prime number?
False
Let h(v) = v + 14. Let o be h(-9). Suppose 31 = -z - o*j, 20 = -10*z + 5*z + 2*j. Is (260/z)/(2/(-3)) a prime number?
False
Let n(y) = 334*y - 31. Is n(7) a prime number?
False
Let w(i) = -13*i**3 - 2*i**2 + 4*i. Let o = 139 + -142. Is w(o) a prime number?
False
Suppose -37613 - 29996 = -17*p. Is p a prime number?
False
Let n(j) = 521*j**2 - 15*j - 1. Is n(2) a composite number?
False
Let o(n) = 267*n**2 - 8*n. Is o(-7) a prime number?
False
Let o(j) = -5 + 150*j**2 - 30*j**2 + j - 5*j. Is o(-3) a prime number?
True
Let t(p) = 8*p + 9. Let m be (3 - 4)/(2/(-4)). Suppose 0 = m*a - 10. Is t(a) a prime number?
False
Suppose y = -0*y + 622. Suppose 3*z = 5*z + y. Let l = z + 480. Is l prime?
False
Let i = 2 - -3. Let w be 20/15*(i - 2). Suppose -5*h + w*h + 113 = 0. Is h a prime number?
True
Suppose 8*r - 3*r - 25 = 0. Suppose 0 - r = -5*c. Is 3*1/c + 0 prime?
True
Suppose 5*m - 4*i = -6*i + 2581, 4*m + 4*i - 2072 = 0. Is m prime?
False
Let j(x) = -14*x**3 + 2*x**2 - 2*x - 3. Let m be j(-1). Let f(c) = c**3 - 13*c**2 - 7*c - 10. Is f(m) composite?
True
Let d(l) = 4*l + 4*l + 3*l - 5*l + 1. Let k be d(1). Is k/(((-6)/(-69))/2) a prime number?
False
Let s be 3/3*460/5. Let y = 388 - s. Is 19 + -18 + y/2 compos