/10 prime?
True
Suppose 6*r - 4*r = 406. Is r a composite number?
True
Let z(x) = 20*x + 17. Is z(8) a composite number?
True
Let b be -2 - (0 + 0) - -28. Suppose -j + 4*g = -b - 7, 0 = 2*j - g - 38. Suppose 5 = 2*k - j. Is k a prime number?
True
Let q(s) = s**2 + 7*s + 1. Let p be q(-7). Is 34 - (1 + p + -3) prime?
False
Suppose -5*r - 2*j + 2463 = 0, -2*r - 2*r + 3*j + 1952 = 0. Is r a composite number?
False
Let i(o) = -116*o + 5. Is i(-9) a composite number?
False
Let b = 105 - -543. Is 5/(15/b) - -1 prime?
False
Suppose 14 = 2*a - 0*a. Let c(h) = 3*h**2 - 5*h + 1. Let x be c(a). Suppose 4*z - n - 529 = -67, z + n = x. Is z composite?
True
Suppose 8*f + 344 = 16*f. Is f a prime number?
True
Let g(p) = p**2. Let v be g(2). Suppose 3*s - v*l = -16 + 38, 0 = -5*s + 2*l + 60. Let c = 27 - s. Is c a composite number?
False
Let o = 366 + 269. Is o composite?
True
Let h be (12/(-8))/(6/(-8)). Suppose 2*o + 2 = 3*l, o - 15 = h*o - 5*l. Suppose 5*k = 2*r + 193, k + 128 = 5*k + o*r. Is k a composite number?
False
Let c(x) = 14*x**2 + 2*x + 1. Let o(n) = -n**3 + 2*n + 2. Let k be o(-2). Let f(m) = m**3 - 5*m**2 - 6*m - 1. Let i be f(k). Is c(i) composite?
False
Let b = 104 - 53. Is b a prime number?
False
Let u(r) = 2*r**3 - r**2 + r. Let a be u(1). Suppose 5*k = a*k - 9. Is (-2)/(k*2/609) a composite number?
True
Suppose 4*j - 4*u + 56 = 0, -63 = 3*j + 2*u + 2*u. Let t = j + 40. Is t a composite number?
False
Let k = -439 + 755. Suppose x - 5*x + k = 0. Is x composite?
False
Suppose -453 + 8 = -5*w. Is w a prime number?
True
Is 3/9*(-2514)/(-2) composite?
False
Suppose -f + 11 = -5*p, p - 3 = 2*f - 4*p. Let j = f - -8. Is (5 + j)/(2/(-178)) a composite number?
False
Let v(z) be the second derivative of -47*z**4/12 - z**3/2 - z**2 - z. Let s(y) be the first derivative of v(y). Is s(-2) a composite number?
True
Suppose -2*o - 2*m + 186 = 0, -o + 5*o + 2*m - 380 = 0. Let r = o + -40. Is r a prime number?
False
Let r(p) = -p**3 + 12*p**2 - 4*p + 3. Suppose 0 = -2*a + 7*a + 2*i - 40, 8 = a - 3*i. Let q be r(a). Let s = -140 + q. Is s composite?
True
Suppose 0 = -4*d + 4*i, 2*d + 12 = 4*d + i. Let b(l) = l**3 + l**3 - 1 + 2*l + 4*l**2 - 3*l**3. Is b(d) a composite number?
False
Let z(k) = -75*k**3 - 2*k**2 + 1. Let m be z(-1). Suppose -4*u = r + 4*r - 323, u - r = m. Is u a prime number?
False
Let n = -736 - -1601. Is n a composite number?
True
Let u be 4/(-10) - (-6)/15. Let m be (4/(-6))/((-2)/177). Suppose 4*l - 5*d - m = u, 5*d - 7 = -l - l. Is l a prime number?
True
Let l = 0 + -15. Let r(y) = 10*y**2 + 5*y + 6. Let i be r(-2). Let m = i + l. Is m a composite number?
True
Let q(h) = -h**3 + 668. Let v be q(0). Let u = v - 457. Is u a prime number?
True
Suppose 14*d = 4*d + 27210. Is d a composite number?
True
Suppose 0 = 4*x - 5*d - 53581 + 10214, 54216 = 5*x + d. Is x a composite number?
True
Is (1 + 2)/(-3*3/(-573)) prime?
True
Let q be -1 + 2 + 1 + -2. Let i(w) = w**3 + w**2 + 7. Let y be i(q). Let l = y + 70. Is l a prime number?
False
Let i(v) = v**2 + 292. Let u be i(0). Suppose -5*a = 77 - u. Is a a prime number?
True
Let l(a) = -2*a**2 + 2*a + 4. Let x be l(4). Is (-5)/x - 23/(-4) composite?
True
Suppose -3*w + 699 + 530 = 5*h, 1654 = 4*w - h. Is w a prime number?
False
Let t(f) = -f + 12. Let o be t(10). Suppose -o*b = 3*b - 1045. Is b prime?
False
Suppose 193 = 3*z - 5*k - 259, -3*k = 3*z - 444. Is z prime?
True
Suppose 3*d - 3 = 2*d. Suppose -3*q = 5*w - 23, -14 = -d*q + w + 21. Is q prime?
True
Suppose -3*v + 8 + 4 = 0. Let g be (-4)/(v/15)*-23. Suppose 144 - g = -3*i. Is i a composite number?
False
Let y be -2 + 8 + (-2)/1. Let s = 30 + y. Is s prime?
False
Let g(r) = -2 + 6 - 7 + r. Let y be g(5). Suppose -72 - 460 = -y*o - 2*f, -5*f + 262 = o. Is o a composite number?
True
Let c(t) = -t**3 - t**2 - t + 751. Is c(0) a composite number?
False
Let z(u) = -52*u**3 + u**2. Is z(-1) composite?
False
Suppose -2*g = -7*g. Suppose g = -4*a - a - 175. Let z = a - -61. Is z composite?
True
Suppose 20 = -0*h + 5*h. Suppose -h*l - l = -485. Is l composite?
False
Is (-6)/27 - ((-18956)/9 - -5) prime?
False
Let y(x) = 671*x**3 + 2*x**2 + 3*x - 3. Is y(1) a prime number?
True
Suppose u - 3*l = -2*l - 1, -5*l = 5*u - 45. Suppose -894 = -u*g - 50. Is g prime?
True
Let q(x) = -x**2 + 13*x + 5. Let f be q(13). Suppose -2*t + 1325 = t + f*j, -4*j + 1327 = 3*t. Is t a prime number?
False
Let b = -17 + 13. Let x(v) = 8*v**2 - 3*v + 5. Is x(b) a composite number?
True
Suppose 8*z - 7*z + 3379 = s, -2*z + 16881 = 5*s. Is s a prime number?
False
Let m = -1069 + 1574. Is m a composite number?
True
Let d(o) = -o + 12. Let y be d(10). Suppose -3425 = -3*x - y*x. Is x a prime number?
False
Let l(b) = 120*b + 19. Is l(7) composite?
False
Suppose 0 = 15*m - 12*m - 561. Is m a composite number?
True
Suppose 2*z - 989 - 113 = 0. Is z prime?
False
Let z(b) = -b + 2. Let g be z(4). Let k = -2 - g. Suppose k = -m + 1 + 2. Is m composite?
False
Let b be 1 + -1 + (-4 - -90). Suppose 0 = -2*m + m + b. Suppose -6*z + m = -4*z. Is z a composite number?
False
Let c(o) = 2*o**3 - 2*o**2 + 5*o - 3. Is c(4) composite?
False
Let v = 1911 - 265. Is v a composite number?
True
Let l(f) be the first derivative of 14*f**3/3 + 3*f**2/2 + f - 1. Is l(-3) a prime number?
False
Let a be (-29)/(-5) + 3/15. Suppose -2*i + i = -a. Is i a prime number?
False
Let y = -4 + 6. Suppose -y*z - 105 = -5*z. Is z a prime number?
False
Let l(a) = -33 + 8*a - a + 35. Let s(i) = -i**3 + 5*i**2 - 2*i - 5. Let x be s(4). Is l(x) a composite number?
False
Suppose 3*r - 557 = -3*q + 31, 0 = 2*q - 3*r - 367. Is q a composite number?
False
Let j be -1*(1 + 1 - 789). Let a = j + -500. Is a prime?
False
Suppose -63*a - 938 = -65*a. Is a a prime number?
False
Suppose 3*i - o = o + 1388, i - 5*o = 441. Suppose -3*l + l + 4 = 0, 0 = -4*r + 5*l + i. Is r a composite number?
True
Suppose -4*q = 37 + 15. Is (q/13)/(2/(-138)) prime?
False
Suppose -m + 222 = m. Is m a composite number?
True
Suppose 567 = -8*q + 2911. Is q composite?
False
Let o = -513 - -1010. Is o prime?
False
Let l = -7 + 11. Suppose j + 225 = l*j. Suppose -d + j = 4*d. Is d composite?
True
Let t(m) = -m**3 + 20*m**2 - 16*m - 23. Is t(18) composite?
False
Suppose -2*s - 10 - 8 = 0. Is 3*(-127)/s*3 a prime number?
True
Let h = 16 + -20. Let t(p) = -5*p**3 - 2*p**2 - 6*p - 5. Is t(h) a prime number?
True
Let j = -40 - -102. Suppose 0 = v - j - 195. Is v a prime number?
True
Suppose -16*m + 6647 = -24537. Is m composite?
False
Let j be 2/(-3) - 56/(-3). Let n = 29 - j. Is n composite?
False
Suppose -26610 = 3*p - 13*p. Is p prime?
False
Let b be (3 - 4)/(2/(-10)). Suppose -b*h + 4*q + 170 = 0, 2*h - 136 = -2*h + 3*q. Is h a prime number?
False
Let m = 105 + 14. Is m a prime number?
False
Suppose 0 = -4*c + 66 - 10. Is 1530/c + (-6)/21 composite?
False
Is (-1 - -2)/((2 - -2)/5164) a composite number?
False
Suppose 0 = 4*l - 542 - 506. Is l composite?
True
Suppose 5*r = 3*k + 2*r - 18, -3*k - 3*r + 6 = 0. Suppose 2*z = -k*a + 4*z + 12, -a + 3 = z. Suppose 8*b - a*b - 35 = 0. Is b a composite number?
False
Let z be (1 - -1)/((-8)/(-20)). Suppose 4*h - 19 = z. Is h a composite number?
True
Let v = 1131 + -695. Suppose a + 2*k = -238, -6*a + 4*a = -4*k + v. Is (-2)/(-5) + a/(-5) prime?
False
Let v(o) = -6 + 3*o - 4*o - o**3 - 5*o**2 - 5*o. Let d be v(-4). Is -38*(d/4 + -2) composite?
True
Let p(d) = d + 63. Let j be p(0). Let t = -26 + j. Is t prime?
True
Let z(l) = 3*l + 1. Let h be z(2). Suppose 0 = h*w - 3*w - 596. Is w composite?
False
Suppose 3 = 3*v - 0. Is v/(-4) - 45/(-4) a composite number?
False
Let m(n) = n**3 - 7*n**2 + 4*n + 9. Let d = 10 + -7. Suppose 0 = z + 4*p - d, 0*z - 4 = -z - 3*p. Is m(z) a prime number?
True
Let z = -65 - -944. Is z composite?
True
Suppose 2*n - n + 2*l + 8 = 0, 5*n - l = 15. Suppose -n*f = f - 33. Suppose f = 5*g - 19. Is g prime?
False
Suppose r + r - 12 = 0. Let j(x) = -16*x**3 - 8*x**2 + 2*x - 1. Let v(o) = 33*o**3 + 15*o**2 - 4*o + 2. Let m(s) = r*v(s) + 11*j(s). Is m(1) a prime number?
True
Is 12/(-42) - 210783/(-21) a composite number?
False
Let h = 20 + -8. Let w(m) = 4*m - 11. Is w(h) composite?
False
Suppose -2*f = -5*f, -5*b - 100 = 3*f. Let g be ((-8)/b)/((-2)/(-580)). Suppose 3*t - 250 = -5*i, 2*t + g = 