number?
False
Let y(g) = 3*g + 1597. Is y(0) composite?
False
Suppose -5*y + y = 5*q + 8, -2*q - 2*y = 2. Let s be q + 7 - (-19 - -1). Let j = 100 - s. Is j prime?
True
Suppose 4*y = -5*f + 18, -f - 3*y = 1 - 9. Suppose 7*g = f*g + 27015. Is g prime?
False
Let o(n) = 4*n - 2*n + 3*n + n**3 - 4*n + 2*n**2 + 1979. Is o(0) a composite number?
False
Is (35/7 - -324) + 2 a composite number?
False
Let g(d) = 2*d**2 + 9*d - 30. Is g(17) prime?
True
Suppose 0 = -5*v - 15 + 5. Let k be (0 - v)/(2/131). Let b = -94 + k. Is b a prime number?
True
Let c(y) = -y**3 + 13*y**2 + y - 10. Let n = 43 - 30. Let f be c(n). Suppose 0 = -f*k + 604 + 905. Is k a composite number?
False
Suppose 4*z = -3*r - 2*r - 3, 3*z + 3*r = 0. Suppose -m + z = -2*m. Is m + 44/(-3)*-6 composite?
True
Let r be 9/(-12) + 44/16. Is r*(0 - 115/(-10)) prime?
True
Suppose -71 = t - 16. Let s = 2 - t. Is s prime?
False
Let a(t) = t**2 - 3*t - 17. Let f be a(-12). Suppose 0 = -3*p - f + 964. Is p a prime number?
False
Suppose 26*r - 25*r = 2*l + 18473, -r - l + 18482 = 0. Is r prime?
False
Suppose v + m + 76 = 0, -3*m - 301 = 6*v - 2*v. Is 1/(-2)*v + 6/(-4) a prime number?
False
Let c = 56 - 74. Let a(m) = 2*m**2 - 20*m - 5. Is a(c) a composite number?
True
Let m = -13 + 15. Let b be 8/(-16) + 5/m. Suppose 5*w - 270 = 5*x, w + b*x = -4*w + 249. Is w a prime number?
False
Suppose 7*g - 3*g + 24 = 2*z, -5*g - 17 = 4*z. Let v = z - -1. Suppose -165 - 76 = -2*w - v*y, 4*w - 5*y = 427. Is w prime?
True
Suppose 0 = 2*w - 4*w. Suppose w = 3*h - 895 - 536. Let g = h - 34. Is g a prime number?
True
Suppose v + 4*g - 3773 = 0, 4*v + 5*g + 18990 = 9*v. Is v prime?
True
Let x be -1*6/(-14) - (-512082)/203. Suppose 0 = 2*w - 3*m - x, 3*w - 2*m = 829 + 2948. Is w a composite number?
True
Suppose 2*p + 21 = -5*l, 4*p + 2*l + 2*l = -12. Suppose y - 56 - 21 = 5*u, 2 = p*u. Is y a prime number?
False
Suppose 0 = 16*g - 7*g - 13743. Is g prime?
False
Is -1*(-9)/(-18)*-90974 composite?
True
Suppose 1 = -m, 3*c = 5*m - 3*m + 11375. Is c composite?
True
Let f(u) = 5*u + 2. Let d be f(2). Suppose -d = 3*g - 9*g. Suppose 0 = -g*r - 4*t + 226, 0*t - t + 610 = 5*r. Is r composite?
True
Suppose -4*w - 3*j = 2*j - 1292, 0 = w - j - 332. Let n = w + 411. Is n prime?
True
Let s(l) = -72*l + 50*l + 17 + 66*l. Is s(9) prime?
False
Suppose -2*z = -2*b - 19192, -5*z - 2*b + 27145 = -20870. Is z prime?
True
Let p(t) = t**2 - 2*t. Let h be p(-3). Suppose 0 = -3*x + 15, c + 17 + 48 = -4*x. Is c/1*(-9)/h a composite number?
True
Let x = -803 + 2122. Is x composite?
False
Let g(d) = -31*d**3 - 2*d - 2 + 86*d**3 + 4*d. Suppose v = -2 + 3. Is g(v) prime?
False
Let d(f) = 315*f - 166. Is d(7) a composite number?
False
Let c(k) = 11*k**3 - k**2 + 2*k + 6. Let s be c(3). Let d = s + -563. Let h = d + 390. Is h a prime number?
True
Suppose 6*g + 1100 = 2*g. Let i = 591 + g. Suppose 3*h + h = i. Is h prime?
True
Let k(p) = -p**3 - 11*p**2 + 12*p + 2. Let f be k(-12). Suppose -79 = -f*a + a. Is a prime?
True
Let g be -1 - 0 - (-460 - 1). Suppose -5*w + w = 4, -2*d - 4*w = -1568. Let p = d - g. Is p a composite number?
True
Let l(k) = 5 + 2 - 138*k - 5 - 1. Let x(r) = -2*r**2 + 3*r - 2. Let n be x(1). Is l(n) a composite number?
False
Suppose 4*m + 104 = -4*z, 2*z + 140 = -2*z + 5*m. Let i(c) = -2*c**2 + 7*c + 5. Let t be i(8). Let v = z - t. Is v composite?
False
Let o(t) = -27*t - 3. Let h be o(3). Let p = -167 + 330. Let c = h + p. Is c prime?
True
Suppose -6*y + 116 = -3808. Let p = y + -385. Is p a composite number?
False
Let w = 36 - 46. Is (w/(-15))/(6/747) a composite number?
False
Let u be (-2 - 19)/(2/(-1652)*3). Suppose 6*q = 20*q - u. Is q a prime number?
False
Suppose -843 = -4*a + j, 873 = 6*a - 2*a + 5*j. Suppose -2*z = -2*p - 2278 + a, 6 = 2*p. Let h = z + -593. Is h a composite number?
False
Suppose 31*k - 438923 = 14*k. Is k prime?
True
Suppose -3*x + 12 = x. Suppose -2*s - 362 = -x*s. Is s a prime number?
False
Is (54/15)/(-3)*660770/(-44) prime?
False
Let k be 5/((-15)/9) + 13. Suppose -v + k = 4*v. Is (199 - -4)/(2/v) a composite number?
True
Let v(r) be the third derivative of 7*r**5/60 - 17*r**4/24 - 11*r**3/6 - 10*r**2. Is v(8) composite?
True
Let w(k) = -2*k**2 - k + 2. Let s be w(0). Is (-1043)/(-14)*s/1 a prime number?
True
Let m be (-2*(-1)/(-1))/(0 + -1). Suppose m*w - 7*w + 7805 = 0. Is w prime?
False
Let z(w) = -45*w + 16. Suppose -3*c + 13 = 58. Is z(c) prime?
True
Suppose 4*k = -2*n + 28, 0 = 2*n - k + 6*k - 24. Suppose 3*b + 4 = n. Suppose 3*s - 5*c - 387 = 0, -3*s = -b*c + 2*c - 390. Is s composite?
True
Let d be 979*(6 - (-3 - -8)). Let n = d - 102. Is n composite?
False
Is 9544732/92 + (268/92 - 3) a prime number?
False
Suppose -k = 3*g + 2, 0 = -2*k - 8*g + 12*g + 26. Suppose 0 = -3*u + 3*w + 10983, 5*w - 4 = k*w. Is u prime?
True
Let a be (-10)/(-4) - (-3)/(-2). Let f be (a + 0)/(1/6). Is f*4/(32/68) prime?
False
Suppose -6 - 6 = -6*t. Suppose t*b - 10898 = 1064. Is b composite?
False
Let v(c) be the first derivative of 271*c**3/3 + 1. Is v(-1) composite?
False
Let v be -4 - (2 - 1 - -99). Let d be v*17*3/(-12). Suppose 3*g - d = g - 4*o, -2*g + 5*o + 433 = 0. Is g prime?
False
Let v(t) = t**3 + 6*t**2 + 4*t - 3. Let s = 13 - 18. Let r be v(s). Suppose -r*y + 195 + 207 = 0. Is y prime?
False
Let x(z) = -z**3 + 7*z**2 + 5*z - 16. Is x(-13) prime?
True
Let c(i) = 23*i**2 + 91*i - 845. Is c(11) prime?
True
Let v = -1043 - -1608. Let o = -274 + v. Is o a prime number?
False
Suppose 3*v - 2868 - 4305 = 0. Is v a prime number?
False
Suppose 23 - 97 = 2*n. Let h = n + 300. Is h a composite number?
False
Let c = 5 - 0. Suppose c = -w + 1. Let f(j) = -j**3 + 3. Is f(w) prime?
True
Let s = -15 + 18. Suppose 4*n + s + 1 = 0. Let z(a) = -212*a + 1. Is z(n) prime?
False
Is ((-18478)/4)/((-7)/(-14) + -1) a composite number?
False
Suppose 0 = -2*w - w + 21. Suppose 0 = 3*p - w*p + 932. Is p a prime number?
True
Let u = -1094 - -2062. Suppose 2*w = 3*z - 130 - 2773, -u = -z + w. Is z a prime number?
True
Is -14*(-4)/20*17485/26 composite?
True
Let b(p) = 28*p**2 + 99*p - 31. Is b(15) a prime number?
False
Let d(l) = -2*l - 17. Let r be d(-9). Let q be (r/2)/((-3)/(-1734)). Let o = 1076 - q. Is o composite?
False
Suppose -1403 = -3*t - 35. Suppose -3*x + 217 = -1922. Let m = x - t. Is m prime?
True
Let c(b) = 8*b - 2. Let x be c(-3). Let v(u) = -u**3 - 15*u**2 - 19*u - 7. Let k be v(-14). Let y = x + k. Is y a composite number?
False
Let x = -1253 + 625. Let o = 684 - x. Let t = o - 725. Is t a prime number?
True
Let q be (3 - 3) + (4 - 4)/2. Suppose q*c - 1171 = -3*z + 4*c, -4*c + 20 = 0. Is z prime?
True
Suppose h - 3*v = 190, -7*v = -3*v + 16. Suppose 3*k - 267 - h = -2*m, -k = m - 150. Is k a composite number?
True
Let p(r) = 6*r**2 - 5*r + 30. Is p(-13) prime?
True
Let l(k) = 2*k**2 - 6*k - 7. Let i be l(-3). Let g be 1*(i - 1) - -2. Suppose g = y + y. Is y composite?
True
Is (40/85)/(-4) + (-91974)/(-34) composite?
True
Let u(j) = -168*j**3 - 3*j**2 + 4*j. Let l be u(-2). Suppose l = 20*a - 16*a. Is a a prime number?
True
Let l(u) = -218*u - 97. Is l(-52) prime?
True
Let k = 1659 + -723. Let y = -479 + k. Is y composite?
False
Let i = 40764 - 19451. Is i composite?
False
Let n(o) = 24*o**3 - 7*o**2 + 22*o + 4. Is n(5) a prime number?
True
Let y be (-7 - -9) + 7*10. Let f = -127 + y. Let a = 22 - f. Is a a composite number?
True
Suppose i - 5*q = 2686, -q = 3*i - 0*i - 8010. Is i a composite number?
False
Suppose -56*g = -33*g - 366643. Is g a composite number?
True
Let p(m) = -m**3 + 12*m**2 - 23*m + 19. Is p(9) composite?
True
Let j(b) = -838*b**3 + 2*b**2 + 3*b + 2. Is j(-1) composite?
False
Suppose 2*r = r - 5*w + 20, 2*r - 16 = -4*w. Let k be 3/(-1 - -4) - -1. Suppose r = -k*a + 7*a - 745. Is a composite?
False
Let o be -1 - 2 - (-7 + 4). Suppose -3*s = 5*a - o*a - 260, -2*s = 2*a - 180. Let d = 162 - s. Is d composite?
False
Suppose 8*m = 11*m + 4*u - 581, 0 = -3*m - 2*u + 577. Is m a composite number?
False
Let k = -1976 - -4789. Is k composite?
True
Is (2218/8)/(-6*(-5)/120) a composite number?
False
Let g = 107 + -104. Suppose 3434 = g*f - 5617. Is f prime?
False
Suppose -3*j = 2*j - 480. Suppose -1 = 3*h - 10, -3*s - j = -3*h. Is (s/2)/((-8)/176) a prime number?
False
Let f(d) = -2862*d - 271. 