0, -5*m = -d*w - 273. Let n = m + -30. Is n composite?
False
Let b(z) = z**2 + 8*z + 3. Let a(k) be the third derivative of k**4/24 - 5*k**3/6 - 2*k**2. Let g be a(-5). Is b(g) a prime number?
True
Let b(p) be the first derivative of 4*p**3/3 + 3*p**2 - 2*p + 1. Let h(d) be the first derivative of b(d). Is h(5) a composite number?
True
Suppose -8 = -4*q + 4. Suppose -3*f + 128 - 26 = -q*a, a - 28 = -f. Suppose -l = -0*l - f. Is l a prime number?
True
Suppose -102 - 3 = -5*x. Is x a prime number?
False
Let z(l) = 3*l**2 - 2*l - 6. Let a = -13 - -21. Suppose -2*c + 2*v = 8, -3*c + 29 = -a*c + 2*v. Is z(c) a composite number?
True
Suppose b - 1154 = i, -2*b + i + 195 + 2110 = 0. Is b a prime number?
True
Suppose 3*r - 12 = -2*h + 5*h, -5*r - 3*h + 20 = 0. Suppose 0*d - 524 = -2*m - 2*d, r*d + 1008 = 4*m. Is m a prime number?
True
Let t be 9 + 1 - (1 - 0). Let a = t - 17. Let h(o) = o**2 + 9*o + 12. Is h(a) composite?
True
Let c(b) be the second derivative of -b**4/6 - b**3/3 + 3*b**2 - 2*b. Let i be c(-7). Is 3 - 2 - (i + 0) prime?
True
Let y be (-6883)/(-9) + (-10)/(-45). Suppose -y = -3*f + 6. Is f prime?
True
Let z = 282 + -69. Is z composite?
True
Suppose 9 + 6 = 3*s. Suppose -512 = -s*a + 123. Is a a composite number?
False
Let k = -184 + 72. Let b = k - -227. Is b composite?
True
Suppose 0 = 5*x - 68 - 27. Is x prime?
True
Suppose -79 = -3*q + 113. Let z = 99 - q. Is z a composite number?
True
Is ((-430)/50)/((-2)/370) prime?
False
Suppose -45 = 5*u - 235. Is ((-10)/(-4) + -2)*u prime?
True
Let a be (-1)/2 + (-2)/(-4). Suppose 0 = -a*r - 4*r. Suppose r*q = q - 19. Is q a prime number?
True
Suppose 0*r = 3*r + 33. Let d = r + 20. Is 336/d + (-1)/3 composite?
False
Let k(i) be the third derivative of 7*i**5/30 - 13*i**3/6 - 9*i**2. Is k(-4) composite?
False
Let j(z) = z**2 + 6*z + 3. Let i be j(-4). Let r(y) be the third derivative of y**5/60 + y**4/24 + 5*y**3/6 - 2*y**2. Is r(i) prime?
False
Let z(p) = -p**3 + p**2 - p - 1. Let w be z(-1). Is 20 + (-1)/w*-2 composite?
True
Suppose 2*n - o - 2536 = -2*n, 3*o = -5*n + 3187. Suppose -3*g - n = -8*g. Let h = g + 6. Is h a prime number?
False
Suppose 2*o - 953 = 141. Is o composite?
False
Is ((-2)/(-4))/(3/2994) composite?
False
Let x be 2/4 - 2/4. Suppose x*u - u = -62. Suppose 4*k - 26 = u. Is k a prime number?
False
Let i = 34 - 14. Let j = -10 + i. Is ((-51)/(-2))/(5/j) prime?
False
Let b = 4 + -7. Let i be b/1 + 1 + 2. Is 3 - (2 - i - 2) a composite number?
False
Suppose 2*h - 424 + 134 = -m, 5*m - 735 = -5*h. Is h prime?
False
Suppose 5*j = -22 - 3, 0 = p + 2*j + 6. Suppose p = 3*t + 37. Let r = t - -49. Is r a composite number?
True
Is 3/(-4) - 20778/(-24) a composite number?
True
Let z(b) = -209*b - 5. Let x be z(-5). Let m = -643 + x. Is m composite?
False
Suppose -5*c + 20 + 25 = 0. Let y(u) = 4*u**3 - 10*u**2 + 5*u - 13. Let t(d) = -3*d**3 + 10*d**2 - 5*d + 13. Let k(l) = 3*t(l) + 2*y(l). Is k(c) a prime number?
False
Let c(m) = m**3 - 5*m**2 + 2*m + 4. Suppose -5*z - 6 = -1. Let u be z/2 - (-11)/2. Is c(u) a composite number?
True
Suppose -3*z + 69 + 18 = 0. Let n = z - 42. Is 0*(-2)/(-4) - n composite?
False
Let o(j) = j**3 + 4*j**2 - 5*j - 2. Let k be o(-4). Suppose -h - 2*h - k = 0. Is (-99)/h*(-20)/(-6) a prime number?
False
Let u(g) = 28*g - 1. Let t be u(-5). Let o = t + 218. Is o a prime number?
False
Let a(i) = -352*i + 3. Is a(-1) a prime number?
False
Suppose -w = 4*h - 63 - 192, -4 = h. Is w a prime number?
True
Let z be (-2 - (1 + -2))*-6. Let x be (z/(-8))/(5/(-20)). Suppose 7*d - x*d = -5*v + 435, v = -3*d + 340. Is d prime?
False
Let u = 12 - 8. Suppose 0 = -3*y - 15, 8*x - 1608 = 4*x + u*y. Is x composite?
False
Suppose -3*d + 0*d + 27 = 0. Let q = -3 + d. Is (3 + (-21)/q)*-422 prime?
True
Suppose -i = -0*i - 11. Is i a composite number?
False
Let i = 854 + -415. Is i prime?
True
Let f = 11 - -1. Let i be (-2)/1 - (6 - 3). Let b = f + i. Is b a composite number?
False
Suppose 0 = 3*r + 3, 4*d + 13 + 5 = -2*r. Let u be (-12)/(-2)*(-2)/d. Suppose -7*m + u*m + 156 = 0. Is m a composite number?
True
Suppose 0 = -m - 0*a - 2*a + 135, 260 = 2*m - a. Is m a prime number?
True
Suppose -t = t + 2. Let h be (-41)/t + 2 + -1. Suppose n + h = 3*n. Is n composite?
True
Let f(g) = 3*g**3 - 2*g**2 + 2*g - 1. Let d be f(1). Suppose -d*h = -78 - 88. Is h a prime number?
True
Let d(s) = s + 8. Let q be d(-6). Suppose 4*t = q*t + 218. Is t a composite number?
False
Let o(m) = m**2 + 7*m - 1. Let q be o(-7). Let b be 9 - (0 + 1)*q. Is 5/b*356/2 prime?
True
Let c(i) be the first derivative of -i**3/3 - 19*i**2/2 - 5*i + 1. Is c(-11) a prime number?
True
Suppose 3 = -z - 1, -1963 = -3*n - 5*z. Suppose -b = -2*j - 149, 5*j - n = -2*b - 2*b. Is b a composite number?
True
Let n = 55 - -9. Let v be n/(-20) + 2/10. Is ((-1)/(-3))/(v/(-1395)) composite?
True
Suppose 3*v + g - 5*g - 1203 = 0, -2*v + 785 = 3*g. Is v prime?
True
Let y(u) = -u + 1. Let v be y(-7). Suppose v*g - 50 = 3*g. Is 0 - 3*g/(-3) prime?
False
Let s(n) = 8*n**2 - 6*n + 6. Let y be s(-5). Suppose 3*i = -i + y. Is i composite?
False
Let t(c) = -c**2 + c. Let n(p) = p**3 + 3*p + 9. Let u(j) = n(j) + 6*t(j). Is u(8) composite?
True
Let p(c) = -c**3 + 6*c**2 - c. Let l be p(6). Let x = 9 + l. Suppose -8 = -x*w + 133. Is w composite?
False
Suppose -7*x + 380 = -3*x. Suppose 20*o - x = 15*o. Is o composite?
False
Let o(d) = 14*d**2 + 5*d - 4. Let v be 70/15 - 2/(-6). Is o(v) composite?
True
Suppose 0*v = -3*b + 5*v - 79, -5*v - 11 = 2*b. Let s = b - -131. Is s prime?
True
Suppose -3*g = -2*q - 1255, 0*q + 5*q = 5. Is g a composite number?
False
Is 0/(-6) - 917/(-1) a composite number?
True
Suppose 2*i = -2*c + 3674, -i - 2*i = 2*c - 5513. Is i a composite number?
True
Let i = 0 - 3. Let x = 1 - i. Let r(f) = 3*f**2 + 2*f - 3. Is r(x) composite?
False
Suppose 5*f - 3373 = -4*v, 2*f + 1345 = 4*f + 3*v. Is f a prime number?
True
Suppose -5*f = -5 - 15. Suppose 4034 = f*o - 6242. Is o a composite number?
True
Suppose 0 = -4*j - 11 - 1. Let v(l) = -3*l**3 + l - 1. Is v(j) a composite number?
True
Suppose 2*r = 4*r - 34. Suppose -r + 73 = 4*p. Is p prime?
False
Let g = 16 - 11. Let h be 2/g + (-1659)/(-15). Let d = -54 + h. Is d composite?
True
Let j = -4 + 1. Let w be (2 - (-6)/j)/(-1). Suppose -s + 3*s = -5*i + 53, 5*i - 25 = w. Is s prime?
False
Let a be 6/(-9)*(-18)/4. Suppose -4*j + 2*u = -114, u - 91 = -a*j + 7. Is j a composite number?
False
Let q(b) = b**3 + 4*b**2 + 4*b + 3. Let c be q(-3). Suppose h - 4*h + 231 = c. Is h a prime number?
False
Let g = -19 - 20. Suppose 0 = 5*x + 3*n - 0*n - 22, x - 4*n = -14. Is 1/(x - g/(-21)) a composite number?
False
Let m = 13 - 11. Suppose -m*q + 376 = -2*j, -8*q + 4*q + 3*j = -755. Is q composite?
False
Let b(q) = 17*q**2 - q - 2 + 3*q**2 - 5*q**2 - q. Is b(3) prime?
True
Let y = 1 - 5. Let v be 1/y - 85/(-4). Suppose -q = -v + 8. Is q a composite number?
False
Let n = 5 - 5. Suppose j - 6 - 16 = n. Is j composite?
True
Let w = 3 - -50. Is w a composite number?
False
Suppose 2*b = 0, -2310 = -2*n - 2*b + 1184. Suppose 4*h + n = -637. Is (-3)/2*h/6 a composite number?
False
Suppose 8*z + 3205 = 13*z. Is z a prime number?
True
Let f(b) = 9*b**2 - 3*b + 17. Is f(7) a composite number?
True
Is (6364/6)/2 + 8/(-6) composite?
True
Is 7/(-2 + (-75)/(-37)) a composite number?
True
Let h(n) = 2*n**2 + 3*n - 2. Is h(3) composite?
True
Let k(a) = -6*a - 2. Let f be k(-3). Let t be (2 + 1)/((-3)/f). Let i = t - -105. Is i a composite number?
False
Suppose -3*a - 372 + 1117 = 4*t, 5*a = -t + 1253. Is a composite?
False
Let n(s) = 0*s**2 - 17 + 21 - 2*s**3 - s**2. Is n(-3) composite?
True
Suppose 7*k - 2390 - 389 = 0. Is k composite?
False
Suppose 0 = -2*p + 2*i + 592, 4*p = 2*p + i + 590. Let y = -198 + p. Is (y - -2)*1/2 composite?
True
Let a = -49 + 69. Let y be 8/a + (-17)/5. Is 15 - y*4/(-6) composite?
False
Let z(x) = -22*x + 3 + 1 - 7. Is z(-4) a composite number?
True
Let u(m) = -m - 6. Let j be u(-9). Let n = 5 - j. Is 618/8 + n/(-8) a prime number?
False
Suppose -3*g = -6*g + 9. Suppose -s = 2*k - 42, g*k + 56 = 2*s - 0*s. Is s prime?
False
Let g(w) = 3*w**2 - 5*w. Let j be g(7). Suppose -h = -626 + j. Is h a composite number?
True
Suppose -10*p + 15*p = 4790. Let c = -597 + p. Is c prime?
