 3 = 3*k - 0. Is 36 + (-3 - 0)*k prime?
False
Suppose -5*m + 1535 + 1630 = 0. Is m a prime number?
False
Let u(m) = 4*m**2 - 7*m + 7. Is u(-9) prime?
False
Suppose 8*s - z + 110 = 3*s, 5 = z. Let p = s + 194. Suppose 3*u - 5*q - p = 0, 14 = 2*u - 5*q - 108. Is u prime?
False
Let v(h) = h**2 - 4*h + 191. Is v(0) a composite number?
False
Let l be ((-6)/(-15))/((-2)/(-20)). Suppose 0*h = -l*h + 24. Let o(b) = b**2 - b + 5. Is o(h) composite?
True
Suppose 2*j = 2*v + 6, 2*v - 5*j + 1 = -8*j. Let p(x) = -133*x + 3. Is p(v) a composite number?
False
Let s(u) be the third derivative of -u**6/30 + u**5/60 - u**4/24 + u**3/3 + 3*u**2. Let w be s(-2). Suppose 4*a - 172 + w = 0. Is a composite?
True
Let n be (-8)/((-2)/1) - 2. Is -4 - -6 - n - -1141 a composite number?
True
Let z(r) = -r + 5. Let o be z(5). Let n(v) = v**3 - v**2 + v + 203. Is n(o) prime?
False
Let o be 2/2*(-10)/10. Is o/(-2)*(1 - -137) composite?
True
Suppose -2*l - 4 = -p, -5*l - 6 - 4 = p. Let c(s) = -10*s**3 - 2*s**2 - 2*s + 1. Is c(l) a prime number?
False
Suppose 6*g - 4*g - 2 = 0. Let m(q) = 6*q**3 - 1. Let c be m(-1). Is (1 - c) + g + -3 a composite number?
True
Let c be 52/((-27)/15 - -2). Suppose -4*g - 4*s = -c, 325 = 5*g - s + 3*s. Is g a composite number?
True
Suppose -5*k = -3*k - 2. Suppose 2*h - 5*j - 28 = -0*j, 0 = 4*h + 4*j. Is 41/4 - k/h a prime number?
False
Let r(p) = 15*p - 2. Let i(z) be the first derivative of 8*z**2 - 3*z + 1. Let w(f) = -4*i(f) + 5*r(f). Is w(3) a composite number?
True
Suppose -21 = -4*j + j. Let q(s) = -s**3 + 5*s**2 + 4*s + 4. Let c be q(j). Let k = c - -99. Is k a composite number?
True
Let a(k) = -k**3 + 7*k**2 + 12*k - 4. Let y be a(8). Suppose -5*s - 8 = -y. Let d(w) = 2*w - 1. Is d(s) a prime number?
True
Let w(m) = m**3 + m. Let x be w(1). Let h be (12/x + -1)*-1. Is (h/3)/((-3)/207) a composite number?
True
Suppose -3*d + 0*d - 7 = -w, 3*d = -2*w - 4. Suppose 3 = o + w. Is o composite?
False
Let q = 762 - 543. Let u = -620 + q. Let k = u - -592. Is k a prime number?
True
Let j(a) = a + 1. Let h be j(-1). Suppose 0*y + 153 = 3*z + 3*y, -3*z - y + 149 = h. Is z composite?
True
Let u(m) = 218*m - 31. Is u(10) prime?
False
Let f be (-1)/(-5) - 7122/10. Let g = f - 2408. Is g/(-21) + 3/7 composite?
False
Let x(c) = 7*c**3 + 5*c**2 - 3*c - 4. Is x(3) a prime number?
False
Let o = -877 + 1348. Is o a prime number?
False
Let c(d) = -203*d**2 + 9*d - 9. Let w = -13 - -5. Let u(y) = -135*y**2 + 6*y - 6. Let r(s) = w*u(s) + 5*c(s). Is r(2) composite?
False
Let h be (-2 - -9) + -7 + 4. Suppose 3*i - 449 = -5*g + 436, 0 = 5*g + h*i - 885. Is g prime?
False
Let b = -1 - -2. Let z(g) = -2*g - 17. Let q be z(-7). Is (4 - b) + (q - -293) a composite number?
False
Is 117/(-6)*((-310)/3)/5 a composite number?
True
Let i(o) = 3*o**2 + 3*o - 4. Suppose -4*c + 3*z = -33, -22 = -5*c - z + 5. Let m be i(c). Suppose -2*j + 4*h = -m, -j + 5*j + 5*h - 218 = 0. Is j composite?
True
Let w = 85 - -4. Is w prime?
True
Suppose 0*y - 6 = 2*y, v - 3*y = 34. Suppose -m = -0*m - v. Is m composite?
True
Let p = 540 - 267. Suppose -p + 8 = -5*i. Is i a composite number?
False
Suppose 0*o - 2*o = -12. Let y be o/(-4)*(-80)/15. Suppose 0 = 3*d - y*d + 95. Is d a prime number?
True
Let q be 2*(50/4 + -3). Let l be (-4)/6 + 124/6. Let j = q + l. Is j prime?
False
Let u be (-5)/(-2) + 2/(-4). Suppose -5*y + 3*d = -114, -5*d + 12 = y - u*d. Is y prime?
False
Let n(g) = 3*g + 8*g**2 - 4 + 4*g - 7*g**2 - 7. Is n(-10) a composite number?
False
Suppose -2*b = -160 - 6. Is b a prime number?
True
Is 31998/30 - (-6)/15 a composite number?
True
Let r(x) be the second derivative of -x**4/12 - 3*x**2 + 3*x. Let k be r(-7). Let a = -20 - k. Is a a composite number?
True
Let l = -14 - -25. Suppose 2*y + u - 28 = 0, y - l = -2*u + 6. Is y composite?
False
Suppose 0 = 4*l + 4*m - 656, 2*m + 58 = 4*l - 628. Is l composite?
True
Suppose 5*t = t + 3260. Is t a prime number?
False
Suppose -6*s + 9*s - 6 = 0. Let b be (-104)/(-3) + s/(-3). Let z = -24 + b. Is z prime?
False
Suppose -4*g = -7*g + 42. Is g a prime number?
False
Let y(t) = 10*t**3 + 21*t**2 + 13*t - 11. Let o(i) = -3*i**3 - 7*i**2 - 4*i + 4. Let s = -9 + 2. Let k(n) = s*o(n) - 2*y(n). Is k(-5) a composite number?
True
Let a be 4 + (-3 - -2) + 1. Suppose -a*w + 8310 = w. Suppose w = 5*i + 157. Is i composite?
True
Suppose 2*i - 1501 = b - 6*b, 5*b - 4*i = 1513. Suppose -4*g + 319 + b = 0. Suppose -2*d = 3*d - g. Is d a composite number?
False
Let x(l) = 10 + 10*l + 3*l + 10 - 23. Is x(10) a composite number?
False
Let x(d) be the third derivative of d**6/120 + 3*d**5/20 + 3*d**4/8 + 5*d**3/6 + 4*d**2. Let y be x(-7). Let p = 6 + y. Is p a prime number?
False
Let s(z) = 47*z + 22. Is s(9) a prime number?
False
Suppose 6*w - 4*w - 2798 = 0. Is w a composite number?
False
Let m(f) = 940*f**2 - 5*f + 5. Is m(2) prime?
False
Suppose 4*i + 6 = -10. Let o = i - -8. Suppose -o*b + 1 = -11. Is b prime?
True
Let b(p) = 5*p**2 + 2*p - 2. Let i be 0/((-2)/(-2*1)). Suppose f + 5 + i = -2*z, 2*f + 2 = 4*z. Is b(f) prime?
True
Let b(n) = -52*n**2 + n + 2. Let t be b(-3). Let j = 692 + t. Is j a composite number?
False
Let v(j) = -59*j - 16. Is v(-7) a composite number?
False
Suppose -2*x = -0*x - 662. Is x a prime number?
True
Suppose 4*y - 2577 = -5*d, 4*d = -2*y + 6*y + 2076. Is d a prime number?
False
Let n = 6 - 2. Suppose -n*t = 23 - 155. Is t a composite number?
True
Suppose -13 + 3 = -3*z - 4*y, -z + 10 = 3*y. Let n(r) be the second derivative of -13*r**3/3 - 3*r**2/2 - 2*r. Is n(z) prime?
False
Suppose 4*o + 0*o = 328. Is o a prime number?
False
Let s be 4/6 + (-20)/(-6). Let w(f) = 30*f**2 + 3*f + 5. Is w(s) a composite number?
True
Let l be 3 + (0 + 62)/2. Let c = 81 - l. Is c a prime number?
True
Suppose 4*x - 284 = -4*t, -t + 83 = -0*x + 4*x. Is t prime?
True
Let h be (14/(-4) - -3)*-8. Suppose 0 = -h*s + 248 + 68. Is s a prime number?
True
Suppose 2*d - 1362 = 2*m, 0 = -4*d - 3*m + 6*m + 2722. Is d a composite number?
True
Suppose -2*d - 3493 = -9*d. Is d composite?
False
Suppose -141 = x - 4*x. Is x composite?
False
Is (2 - (-13984)/6) + 2/6 prime?
True
Let v = 8 + 36. Suppose -v = -0*y - 2*y. Is y composite?
True
Suppose z + 4*z + 25 = 0, -z = b. Let o = -18 - -20. Suppose 0 = b*i - f - 150, -o*i + 0*i - f = -67. Is i a composite number?
False
Let k(w) = w**3 + 11*w**2 - 12*w + 2. Is k(-12) a composite number?
False
Suppose 0 = 2*x - 5*m - 1183, -5*x + 2966 = 2*m - 6*m. Suppose 21 - x = -3*q. Is q prime?
True
Is (-2 + -2 - -5)/(2/974) a composite number?
False
Suppose 0 = 4*l - 27 + 7. Let d(r) be the third derivative of r**5/60 - r**4/6 + r**3 - r**2. Is d(l) prime?
True
Let z = 16 + -14. Is z a composite number?
False
Let w = -144 + 211. Suppose -t - 4*t = 2*l + w, -2*l = 2*t + 52. Let u = l - -40. Is u a composite number?
False
Let y = 10 + -6. Suppose 0 = -v + 3*v - 2*t - 284, -y*v = -5*t - 569. Suppose 3*f + v = 6*f. Is f prime?
True
Let h(t) be the first derivative of -5*t**2 - t + 2. Let c be h(-5). Is c/1 - (1 + 1) prime?
True
Suppose 0 = 4*r - 0*r + 396. Let x = r - -142. Let y = -24 + x. Is y a prime number?
True
Let j = -125 - -286. Is j a prime number?
False
Suppose 3*d - 6 = -0. Suppose d*v - 2*p = p + 383, 582 = 3*v - 3*p. Is v a prime number?
True
Let m(k) = -k + 54. Let o = 3 - 3. Let v be m(o). Let x = v - 20. Is x a composite number?
True
Let c be (2 - 97)*(2 - 3). Suppose 4*q + 87 = 2*l - 159, l + 5*q - c = 0. Is l a composite number?
True
Suppose 0 = 4*a + 12, -2*a - 521 = -5*y - 5*a. Suppose -5*q + 1026 = p, y = 2*q - 5*p - 299. Is q a composite number?
True
Suppose 4 = 5*q - 3*q. Let o(j) = 18*j**2 + 2*j - 2. Is o(q) composite?
True
Let k(b) be the third derivative of b**6/120 - b**5/30 - b**4/24 + b**3/2 + b**2. Suppose 2*f - 22 = -4*u, 0 = 3*u + 2*f - 5 - 11. Is k(u) a prime number?
False
Let b be 6 - 3 - (-6391 + 2). Is (-2)/(-9) + b/72 prime?
True
Let t = 0 + 0. Suppose -6*o - 1 = -25. Is (-2)/o*-70 + t composite?
True
Suppose -5*v + 9 = 4*g, -g + v = -2 - 7. Suppose -2*r = 5*h - g*r - 101, -108 = -5*h - 3*r. Is h prime?
False
Suppose 0 = -4*m - 5*k + 7, 4*k + 7 = m - 0*m. Suppose m*p - 354 = p. Is p a composite number?
True
Is 2/(-6) - 3140/(-15) a prime number?
False
Let y = -109 + 61. Let b = 67 + y