3*s - 4 + u. Suppose 3*z - 36 = 2*w, z = 3*z + 3*w - s. Is z composite?
True
Let r = -37 - -106. Is r a composite number?
True
Suppose 0 = -8*j + 7*j - 3, 1018 = l + 3*j. Is l prime?
False
Let g(p) be the third derivative of p**5/60 - p**4/24 + 5*p**3/6 + 2*p**2. Let i be g(0). Is (-2)/5 + 37/i a composite number?
False
Let r = 355 + 532. Is r a composite number?
False
Let t(s) = 2*s - s + 2 + 7*s - s. Let a(m) = 14*m + 3. Let p(h) = 4*a(h) - 7*t(h). Is p(3) a composite number?
False
Let m(q) = 35*q**2 - 9*q - 19. Is m(13) a prime number?
True
Let p(q) = -q**3 + 6*q**2 + 6*q + 9. Let c be p(7). Suppose 2*u = -c*u + 1228. Let r = u - 180. Is r composite?
False
Suppose 0 = 5*d - 3*f - 830, 3*d - f = 4*f + 514. Is d prime?
True
Let y(w) be the third derivative of -15*w**4/8 - w**3/6 - 5*w**2. Suppose -3*s = 6 - 0. Is y(s) a composite number?
False
Let k = 1015 - 494. Is k a composite number?
False
Suppose -d + 2*d - 4 = 0. Suppose -12*q = -7*q - 1995. Suppose u - d*u = -q. Is u prime?
False
Let h(p) be the second derivative of p**5/20 + 2*p**4/3 - 5*p**3/6 - 5*p**2/2 + 2*p. Is h(-5) a prime number?
False
Is 27372/(-8)*6/(-9) prime?
True
Let l(b) = 14*b + 5. Let a be 75/7 - (-2)/7. Is l(a) a composite number?
True
Suppose 2356 = -4*p - 2*l, 0*l - 1766 = 3*p + 2*l. Let y = p - -987. Is y prime?
True
Let m be 15/(-10) - 2/(-4). Is (0 + m)/(2/(-14)) prime?
True
Let h(y) = 20*y**2 - 12*y - 7. Is h(6) composite?
False
Let i be ((-6)/9)/((-2)/9). Let u = i - 4. Let p(q) = 90*q**2 + q. Is p(u) a composite number?
False
Suppose 2*y + v = 1320, -2*v = -4*y - 6*v + 2632. Is y a prime number?
False
Let o(w) = 8*w + 3. Is o(5) a prime number?
True
Is ((-4804)/2)/((-16)/8) a composite number?
False
Let y = -1881 - -2636. Is y a prime number?
False
Let k(x) = -370*x. Let w be k(-1). Suppose -3*u + z = 555, -u + w = -3*u - 4*z. Is (-2)/(-12) - u/6 prime?
True
Suppose -2*l + 7*l - 955 = 0. Is l a composite number?
False
Suppose -471 = -2*p - 5*s, 2*s - 882 = -4*p + 4*s. Is p prime?
True
Let k(n) = 13*n - 2. Is k(9) prime?
False
Let s be (-2)/(-1 + 0) - 489. Let m = -338 - s. Is m composite?
False
Let w be (5 + -2 + -2)*3. Suppose w*x = -0*x + 198. Suppose -4*g = -5*v + x, -5*v = g - 4*g - 67. Is v composite?
True
Let t(v) = -4*v**3 - 4*v**2 + 4*v - 2. Is t(-6) a composite number?
True
Suppose 0*t = t - 954. Let g = t + -259. Is g a prime number?
False
Suppose 7*g + 372 = 2129. Is g prime?
True
Let j(u) = -22*u - 8. Let q(f) = -225*f - 91. Let h(z) = 45*z + 18. Let b(l) = -11*h(l) - 2*q(l). Let g(c) = -3*b(c) + 7*j(c). Is g(-6) composite?
True
Let h(f) = f**3 - 4*f**2 + 8*f - 3. Is h(5) composite?
True
Let w(m) = -4*m - 6. Suppose 4*h + 29 = 3*c, 3*c + 2 = -4*h - 9. Is w(h) a composite number?
True
Suppose -k + 0*k = -59. Suppose q + 2*q = -114. Let s = q + k. Is s a composite number?
True
Let p be -1*4/6*-3. Suppose d - p*y = -d + 120, 4*y = -5*d + 291. Is d a prime number?
True
Let f be ((-2)/(-2) - -1) + -2. Let i be (-2)/7*(-7 - f). Suppose -t - i*t = -105. Is t a prime number?
False
Let b(p) = 2*p + 2. Let y be b(2). Let s(c) = c**3 - 6*c**2 - c + 6. Let f be s(y). Suppose f = -3*h + 34 - 4. Is h a prime number?
False
Suppose 2*n = n + 1282. Is n prime?
False
Suppose 2*t = -h - 10, -2*h = 3*h - t + 39. Suppose -6*j + 4*j = 22. Let l = h - j. Is l a prime number?
True
Suppose 0 = -4*w + b - 4 + 8, w - 1 = 3*b. Let t be (0 + w)*0*-1. Let j(x) = -x**2 - x + 33. Is j(t) a prime number?
False
Suppose -t + 535 = -x + 5*x, 2*x - 271 = 3*t. Is x a prime number?
False
Suppose 2*f + 4*s + 86 = 0, -4*s = 4*f + 82 + 90. Let b = 80 + f. Is b a prime number?
True
Suppose 0 = 28*f - 25*f - 615. Is f a prime number?
False
Suppose -5*h = 5*g - 9005, 3*h = -4*g + 10437 - 3235. Is g a composite number?
True
Suppose 3*y - 5*j + j = -16, 0 = -3*j + 3. Let b(h) = -17*h + 3. Is b(y) composite?
False
Is 8549/17 - 38/(-323) prime?
True
Let g(z) be the second derivative of z**4/12 + 3*z**3/2 - 11*z**2/2 - z. Is g(-12) prime?
False
Let w be 2 + 1*75*-1. Let m = 126 + w. Is m composite?
False
Suppose 3*x = 5*p + 457, 0 = 3*x + 2*p - p - 445. Is x composite?
False
Suppose 0 = -x - 5*s - 12, -x - 2 - 1 = 2*s. Let l(q) = q**3 - 8*q + 0*q**x + 0*q**3 + 6*q**2 + 6. Is l(-7) composite?
False
Let o(d) = -d**3 - 13*d**2 + 24*d + 13. Is o(-16) a composite number?
False
Let v = 102 - 65. Is v composite?
False
Let y = 22 - 15. Let r = y + -4. Is (r*314/3)/2 a composite number?
False
Suppose 3*k = -2*v + 9, -k + 7 = 2*v - 0*k. Suppose v = -4*q + 11. Suppose -3 = 3*l, 3*a - q*l = l + 42. Is a a prime number?
True
Let a(p) = p**2 - 4*p + 3. Let m = 7 + -3. Let r be a(m). Suppose -r*o + 19 = -2*o. Is o a prime number?
True
Let w be (-1 - (2 + 0))*-35. Is ((0 - -1) + w)/2 composite?
False
Let v = 633 + -404. Suppose -3*p + v = 4*b, -40 = -5*b + 4*p + 254. Is b a composite number?
True
Suppose -5*g = -10*g. Suppose 0 = -3*z - 12, -j + 5*z + 8 + 71 = g. Is j a composite number?
False
Is 4552/(-32)*12*(-3)/3 prime?
False
Is (-1074)/(-9) - (-1)/(-3) prime?
False
Let t(j) = -5*j**3 - 2*j**2 - 2*j - 1. Let h(g) = g**3 + 7*g**2 + 5*g - 7. Let a be h(-6). Let o be t(a). Suppose -261 = -o*i + 223. Is i a composite number?
True
Suppose -5*y = d + 446, d - 1856 = 5*d - 4*y. Let b = d - -908. Is b composite?
True
Suppose -4*m + 4*x + 16 = -2*m, 0 = m - x - 4. Suppose 4*i - 13 - 3 = 0. Suppose m = -0*q - i*q + 220. Is q composite?
True
Let j = -1845 - -4434. Is j composite?
True
Let l be 8/2 + (1 - -1). Let z be (-27)/l*(1 - -1). Let x = 76 + z. Is x a composite number?
False
Let m = -2 - -5. Let t(p) = 28*p**2 + 5*p - 4. Is t(m) prime?
True
Let n = 522 + -289. Is n composite?
False
Let x = -6 + 11. Suppose -4*i + 755 = -x*u, -5*u + 2 + 23 = 0. Suppose -5*y + 2*y + i = 0. Is y a prime number?
False
Let u(a) = -3*a + 7. Suppose -5*v - m - 38 = 0, v - 1 = -3*m - 3. Is u(v) a composite number?
False
Let t be ((-4)/6)/((-4)/2700). Let d(k) = k**2 - 6*k + 4. Let m be d(6). Suppose 2*a + m*l = 202, 4*a + a - l = t. Is a composite?
True
Is (-3 + 413/14)*67*2 prime?
False
Let w = 183 - 116. Suppose w = f - 4*o, 0 = 3*f + 4*o - 76 - 141. Is f a composite number?
False
Is ((-3198)/12)/(1/(-2)) prime?
False
Let z(h) = -726*h - 41. Is z(-18) a prime number?
False
Let j(i) = i**2 - 4*i - 7. Is j(-6) prime?
True
Is ((-6152)/(-16))/(2/20) a composite number?
True
Suppose -t - x + 0*x = -37, -4*t + 116 = -4*x. Is t a prime number?
False
Let h = 375 - 162. Is h a composite number?
True
Suppose 3*h - 2*l = -l + 608, 4*h = 4*l + 824. Is h a composite number?
True
Let r(t) = 75*t**3 - t**2 + t + 1. Let o be r(-1). Let m = o - -161. Is m a composite number?
True
Let v = 34 + -10. Suppose -18 = -2*p + v. Is 682/14 - (-6)/p a prime number?
False
Let x be (-1)/4 + (-2)/(-8). Let m(d) = -d**3 + 80. Let q be m(x). Let b = q - 13. Is b prime?
True
Let b(y) be the third derivative of 17*y**6/180 + y**5/120 - y**4/12 + y**2. Let o(i) be the second derivative of b(i). Is o(1) composite?
True
Let a = 172 + -110. Let p = 97 + a. Is p prime?
False
Suppose 5*a = 2*a + 18. Let z be (6 - 2)/((-3)/a). Is (14/z)/(3/(-132)) prime?
False
Suppose -4*v + 140 = -2*v. Let f = v - 23. Is f prime?
True
Let r(q) be the third derivative of -q**4/24 - q**3/6 + q**2. Let s be r(-5). Suppose s*j + g = 199, 0*g - 83 = -2*j + 5*g. Is j a composite number?
True
Let b be 8 + -7 - 182/1. Let f = -32 - b. Is f prime?
True
Let g = 694 - 255. Is g a composite number?
False
Suppose -9 = x + 5*w + 2, 3*x - w = 31. Suppose 70 = -4*y + x*y. Is y a prime number?
False
Suppose 4*q = -5 + 1. Is (-6)/(-12)*(q - -21) a prime number?
False
Let v = -6 - -4. Let h = 1 - v. Suppose 2*u = h*g - 101, 5 - 74 = -2*g + u. Is g a composite number?
False
Suppose 15 = 3*d - 9. Suppose -5*z + 7 = -d. Suppose 4*c - 47 = z*c. Is c a composite number?
False
Is 45/1 - -8*4/(-16) composite?
False
Let n(f) = -f + 9. Let p be n(7). Let h(b) = 6*b**3 + b**2 - 2*b + 3. Is h(p) a composite number?
True
Let i = -3 - -32. Suppose -h + 65 + i = 0. Let v = h - 57. Is v composite?
False
Let i be (-5 - -8)*(-10)/(-6). Suppose 27 = 3*l + i*y, 45 = 4*l + l - 3*y. Is l prime?
False
Let v(g) = -70*g - 58. Is v(-8) composite?
True
Let o(s) = -s**3 + 3*s**2 + s - 3. Let r be o(3). Suppose 2*n + 10 = r, 2*n - 42