 s(l) = -9*l**2 - l. Let h be s(-1). Is v(h) composite?
False
Let l be (28/42)/(2/15). Let c be (2 - 3)*2 - -126. Suppose l*a = a + c. Is a prime?
True
Suppose 7*g - 2*g = -c - 4, g + 1 = 0. Suppose 7*z + 4*w + 24 = 3*z, -2*w = 3*z + 16. Is (-45 - c)*14/z prime?
False
Suppose 0 = -14*v + 2734 + 5988. Is v a prime number?
False
Suppose 0*m - m = -2. Let d = m - 2. Is d - -2 - (1 - 13) a prime number?
False
Let q(x) = x**2 - 4*x - 5. Let d be q(5). Suppose 0 = 3*k + 6, -113 = -z - 3*k - d*k. Is z composite?
True
Is -794*(9/(-2))/9 prime?
True
Suppose 19*k - 15*k - 8 = 0. Suppose 2*a = k*s - 2698, 0*s + 2*s + 4*a = 2674. Is s composite?
True
Let z(v) be the second derivative of 0 - 1/6*v**4 - 1/2*v**2 - 1/2*v**3 - v - 1/20*v**5. Is z(-5) composite?
False
Suppose -t = b + 6 - 52, b + 242 = 5*t. Suppose 4*x = -4*d + t, 3*x + 3*d = d + 37. Is x a prime number?
True
Let f = -265 + 1074. Is f composite?
False
Suppose 0 = p + 4*p + 10. Let b be 2302/5 - p/(-5). Suppose 0 = -0*c + 4*c - b. Is c prime?
False
Let m(o) = 2 + 5*o - o**2 - 3*o**2 - 4*o**2 + 7*o**2. Let j be m(5). Suppose -3*r = j*l - 5*r - 296, 5*l - 2*r = 725. Is l composite?
True
Suppose 2*z = 4*z. Let m(l) = l**2 + 7 - 4*l + z*l + 3 + 0. Is m(7) composite?
False
Suppose 4*y - 32 = 412. Is y prime?
False
Let o = 3259 + 1006. Is o a composite number?
True
Suppose 4*z + 0*z = 16. Suppose 0 = -0*g + 4*g + u - 97, 5*g = z*u + 95. Is g a prime number?
True
Let f(d) = 53*d + 4. Let i be f(2). Let x = i + -23. Is x a prime number?
False
Let w = 176 - 162. Is w prime?
False
Let b = -20 + 57. Is b a composite number?
False
Let f be 4/(-18) - (-4)/18. Suppose -68 = -2*j + 5*h, -4*j - h + f*h + 136 = 0. Is j prime?
False
Suppose -3*h - 44 - 319 = -j, 2*j = -h + 726. Let w be ((-138)/15)/(2/(-10)). Suppose i = j - w. Is i a prime number?
True
Let q(i) = -i**3 + 6*i**2 + i - 4. Let z be q(6). Let s be (-1 + z)*(5 - 3). Suppose -3 = -s*f + f. Is f prime?
True
Let o = -21 - -29. Suppose o*v - 4*v = 1268. Is v a prime number?
True
Let s be -2 + 4 - -1171*1. Let h = s - 100. Is h/9 - (-8)/(-36) composite?
True
Let y(g) = g**3 - 4*g**2 + 5*g - 2. Let m be y(3). Is m/(-6)*1461/(-2) prime?
True
Suppose -3*h = 3*v - 9, -8*h + 21 = -4*h - 5*v. Suppose -14 = a + 4*b, 4*a + h*b + 14 = 2*b. Is (a + 1)*(-26 + 7) a composite number?
False
Suppose -3*s = -3*o - 4635, -o + 6160 = s + 3*s. Is s a prime number?
False
Suppose 3165 = 34*n - 29*n. Is n prime?
False
Let b(t) = -5*t. Let g = -5 - 0. Is b(g) composite?
True
Suppose -3 = -2*c + c. Is c/6 - (-12)/8 prime?
True
Let m(r) = 4*r**2 + 5*r - 8. Let q be m(7). Let l = q + -128. Is l a prime number?
False
Let v(o) = -4*o**3 + 5*o**2 - 2*o - 4. Is v(-5) a composite number?
False
Let v(r) = r - 8. Let t be v(6). Let n be -1 - t - 1*7. Is (-214)/n - (-8)/(-12) a composite number?
True
Let a = 208 + -116. Is a*(2/(-4))/(-1) a prime number?
False
Let r(c) = -c**3 + c**2 + c - 1. Let j be r(0). Let w = j + 7. Suppose 0 = o - w*o + 1705. Is o a composite number?
True
Let r be (10/4)/((-2)/44). Let g = 101 + r. Suppose 3*u - g - 20 = 0. Is u prime?
False
Let m be 381/21 - (-2)/(-14). Suppose -3*u + 18 = -c + 4*c, 5*u - m = -2*c. Is u prime?
True
Let o(g) = -g**2 - 6*g + 2. Let z be o(-6). Suppose 0 = 5*k - z*k - 633. Is k composite?
False
Is (0 + -1 - -1149) + -3 + 6 composite?
False
Let o(x) = 2*x - 1. Let h = -5 - -8. Let n be o(h). Suppose 3*r + 3*w - 18 = 0, n*r = 2*w + 17 + 20. Is r a composite number?
False
Suppose 2*z + 49 = -z - 4*a, -5*z + 2*a = 47. Let q(u) = u**3 + 11*u**2 - 4*u + 3. Is q(z) composite?
False
Is (-9614)/(-3) - 15/(-45) prime?
False
Suppose 2*t + 845 = 7*t. Let f = -25 + t. Let n = f - 82. Is n composite?
True
Let t(v) = -3*v**3 - 19*v**2 - 11*v + 7. Is t(-16) prime?
True
Let l(z) = 438*z + 1. Let n(h) = h**2 + 10*h + 19. Let j be n(-8). Is l(j) a composite number?
True
Let q = -5 + 2. Is q/(-12) - 22/(-8) a composite number?
False
Let r(s) = -30*s - 3. Let g(x) = 34*x + 4. Let a(p) = -35*p - 4. Let c(n) = 4*a(n) + 5*g(n). Let k(y) = 4*c(y) + 5*r(y). Is k(-3) composite?
True
Suppose -3 = 2*x + g + 8, -5*x = -4*g + 34. Let w(f) = 8*f**2 + 5*f + 1. Is w(x) composite?
True
Suppose 15*d + 178 = 17*d. Is d prime?
True
Is ((-141)/(-3))/((-11)/(-55)) composite?
True
Let n = 259 - -388. Is n a prime number?
True
Suppose k = -k - h, -k + 3*h = 0. Is -1 + -1 - (k - 12) composite?
True
Is (335/10)/((-4)/(-88)) composite?
True
Let w(g) = -10*g**3 + g - 1. Let c be w(2). Let s = c + 492. Is s a composite number?
True
Let c be 0 + 6/(-3)*-1. Let i be c/(-7) + 88/14. Suppose -115 = -5*g + q, 3*q = -g + i*g - 115. Is g prime?
True
Let f = 290 - 195. Is f a prime number?
False
Let j(g) = -113*g - 1. Let b be j(-5). Suppose -3*q = q - b. Is q a prime number?
False
Suppose -a = -4*a + 879. Is a a composite number?
False
Let q = -1317 + 799. Is (-2)/(-8)*-2*q prime?
False
Let b(a) = 2*a**3 + 5*a**2 + 7*a + 9. Let z be b(-6). Is (4/10)/((-3)/z) composite?
True
Let y(i) = 37*i**3 + 4*i**2 - 2*i - 1. Is y(2) a composite number?
False
Let h(y) = 6 + y**2 + 2*y**3 - 4*y**2 - 6*y - 3*y**3. Let c be h(-5). Suppose 5*u - 9 = 5*d + c, 4*u = 5*d + 73. Is u prime?
False
Let s = 4 + -7. Suppose -n - n = -6. Is (-158)/s - n/(-9) a composite number?
False
Let h be 1 - (1 + 0/(-3)). Suppose -6*a + a - 5*g + 2105 = h, 2*g = 4. Is a composite?
False
Let n be 0/(-1)*(-1)/(-3). Suppose -2*g = 4*h + 4, 17 = 5*g + h - n*h. Suppose -g*r + 38 = -150. Is r composite?
False
Suppose p + 10*p - 10967 = 0. Is p composite?
False
Let v(o) = -2*o**2 - 9*o + 12. Let y(s) = 5*s**2 + 27*s - 35. Let i = 1 + -4. Let f(c) = i*y(c) - 8*v(c). Is f(10) composite?
False
Let c(a) = -a**3 - 14*a**2 - 13*a + 3. Let k be c(-13). Let i be (-2)/(-7) + (-33)/(-7). Suppose i*l - 222 = -t - 68, 287 = 2*t + k*l. Is t composite?
False
Let f = 2 + 2. Suppose 4*a + 1015 = f*r - 169, -4*r = -a - 1199. Is r prime?
False
Is -3246*(-8)/6*(-8)/(-32) a prime number?
False
Suppose -3*x + 275 = 5*b - 964, -1239 = -3*x - b. Is x prime?
False
Let v = -96 + 1074. Suppose 3*j = 2*u - v, -u + 3 = -2*u. Is j/(-6) + 3/9 prime?
False
Let h(w) = -10*w**3 + 6*w + 5. Let y(m) = -11*m**3 + 7*m + 6. Let z(v) = 3*h(v) - 2*y(v). Suppose 0*l - 6 = 3*l. Is z(l) a prime number?
True
Let c(k) = -15*k - 8. Is c(-5) prime?
True
Suppose 0*y = 5*y + 1080. Let u = -139 - y. Is u prime?
False
Suppose -6*q = -2*a - 3*q - 2, -a = 5*q - 12. Suppose -4*r + 0*p + 502 = a*p, r + 4*p - 115 = 0. Is r a prime number?
True
Let p = 146 - -91. Is p composite?
True
Suppose 46*m + 1563 = 49*m. Is m a composite number?
False
Let h(p) be the second derivative of -1/20*p**5 + 0 + 2*p + 1/6*p**3 - 1/12*p**4 + 37/2*p**2. Is h(0) composite?
False
Suppose -3*u - 2 = -8. Let p = u + 3. Suppose 10*w = 2*q + p*w - 251, -2*w + 329 = 3*q. Is q a prime number?
True
Let g(z) = -z**3 - 8*z**2 + 11*z + 3. Is g(-10) prime?
False
Let d(p) = p**2 - 4*p + 5. Let a be d(4). Suppose -c + 648 = 4*z, 5*c + a*z - 2*z - 3223 = 0. Suppose 4*j - c = -0*j. Is j composite?
True
Suppose 2*t = q - 5*q + 1006, 0 = q + 2*t - 259. Is q composite?
True
Suppose 175 + 189 = 2*h - 3*c, 2*h = -4*c + 378. Is h a prime number?
False
Suppose -4*a + 645 + 6207 = 0. Is a composite?
True
Suppose -146 = -5*p + 3*p. Suppose -6 = -d + p. Is d a composite number?
False
Let a(h) be the second derivative of -7*h**3/6 - 17*h**2/2 - 4*h. Let k(c) = 3*c + 8. Let o(d) = -6*a(d) - 13*k(d). Is o(7) prime?
True
Suppose g + 13 = -2. Let c be (-8)/(-6)*g/(-10). Suppose p - 6 = -c*p. Is p a composite number?
False
Suppose 10*a - 115 = 9*a. Is a a composite number?
True
Suppose 0 = t - 0*t - 2*v - 26, 32 = t - 4*v. Is (-15)/(-2) + (-10)/t a composite number?
False
Suppose 3 = -3*k, -2*w + 0*k + 252 = -2*k. Let v = 2 + w. Is v a composite number?
False
Suppose 2*f + 6 = 2*d, 5*f - 4*d + 2 = -8. Suppose f*i + 273 = 4*i - u, u - 263 = -2*i. Is i prime?
False
Let p be -6 + 2/(3/3). Let y be p/14 - (-2)/7. Suppose y = -6*n + n + 165. Is n composite?
True
Suppose -3*f + 6 = 0, 3*z + 2*z - 5431 = 2*f. Is z a prime number?
True
Let m(i) = 174*i**2 + 6*i + 11. Is m(4) prime?
True
Let s = 95 - 25. Suppose 5*i - 200 = -s. Is i a composite number?
True
Let j(m) = 14*m + 4 + 8 + 0 - 25*m. Is j(-5) a composite number?
False
Suppose l - g + 