 prime number?
False
Let i = 252 - 147. Suppose 3*g - i = -0*g. Suppose 0 = -a - z + 16, -a + g = a + z. Is a a composite number?
False
Let m be (2/(-3))/((-12)/54). Suppose -z = m*z - 56. Is z composite?
True
Let m(f) = -2*f - 8. Let v be m(-6). Suppose -z + v*z - 147 = 0. Is z a prime number?
False
Suppose 0 = -2*w - w + 15, 459 = i + 4*w. Is i prime?
True
Suppose 2*j - 5*j = 5*s - 187, -3*s + 2*j = -97. Suppose 3*m = 4*v + 2*m - 272, -3*m = -v + 68. Let z = v - s. Is z prime?
False
Let x be (-8)/36 - (-76)/18. Suppose 6*j = x*j + 12. Is j a prime number?
False
Let j(b) = -5*b + 3. Let p be j(4). Let u = 228 - 360. Let i = p - u. Is i a composite number?
True
Let g(y) = -y**2 - 6*y + 8. Let c be g(-6). Suppose 12*d = c*d + 284. Is d composite?
False
Is 90/20*788/6 composite?
True
Let t(u) = -u**2 + 2*u. Let o be t(-3). Let n be (1 + -4)/((-9)/(-24)). Let j = n - o. Is j a composite number?
False
Let x = -168 + 257. Is x a prime number?
True
Let k(b) = -1. Let r(h) = 6*h - 16. Let a(d) = 12*k(d) - r(d). Suppose -4*v - 22 = -2. Is a(v) composite?
True
Is (-1)/((-4 - 1)/6245) a prime number?
True
Let n = 5 - -3. Suppose -7 + 3 = 2*c - b, -n = -c - 2*b. Suppose c*v - 4*v = -188. Is v prime?
True
Suppose -3*v + 4 = 3*x - v, -v = -5*x + 11. Suppose -x*t = -7*t + 325. Suppose 5*y + t - 220 = 0. Is y prime?
True
Suppose 2*x = -3*y + 67, -72 = -2*y - y + 3*x. Let d = 14 - y. Is (-24)/(-9)*d/(-6) a prime number?
False
Let n(c) = 0*c + 7*c - 4*c + 1. Is n(6) a prime number?
True
Suppose 0 = -5*z + 3*b - 15, 2*b - 2 = -4*z + 8. Let u(i) = -4*i - 2*i**3 + z - 2 + 3. Is u(-3) a prime number?
True
Let n be (-5)/2*(-24)/20. Is (177/(-6))/(n/(-6)) prime?
True
Suppose 0*f - 2*f - 52 = 0. Let n = 93 - f. Is n a composite number?
True
Let x(j) = 2*j**3 - 23*j**2 + 27*j + 10. Let f(c) = c**3 - 11*c**2 + 13*c + 5. Let a(z) = 13*f(z) - 6*x(z). Is a(8) a prime number?
False
Let u(l) = l**3 - 7*l**2 + l - 8. Let d(q) = 8*q - 1. Let c be d(1). Let k be u(c). Is -2 - k - (-54)/1 a prime number?
True
Let a be (2 + 49 - -2) + -3. Let i = a + -27. Is i a composite number?
False
Suppose -m - 2*q = -627, 4*m = -0*m + 5*q + 2482. Is m a composite number?
True
Suppose g - 79 = -0*g. Is g a composite number?
False
Is (-28697)/(-11) - 20/(-110) a prime number?
True
Suppose 10 = 7*x - 2*x. Suppose -3*z - x*d + 27 = 0, 3*d + 2*d = -5*z + 45. Is z composite?
True
Let m = -28 + 31. Suppose 281 = m*g + 44. Is g a prime number?
True
Let c = -199 + 861. Is c a prime number?
False
Suppose 2 - 31 = -2*p - 5*i, 5*p - i = 5. Suppose z - 2*g - 81 - 96 = 0, 0 = -p*g + 10. Is z composite?
True
Let y = 6 + 157. Is y a composite number?
False
Let g = -5 + 14. Let j(b) be the second derivative of b**4/12 - b**3/3 + 3*b**2 + b. Is j(g) composite?
True
Suppose -2*y + 58 - 18 = -d, y - 2*d = 14. Let u be (-1)/2 + y/4. Suppose -l + 472 = u*p, 5*p + 3*l - 7*l - 487 = 0. Is p prime?
False
Suppose c - 404 = 3*n, 3*c + 4*n = 1018 + 259. Is c prime?
True
Suppose -4*p - 67 = -o, -3*o + 78 = 5*p - 123. Is o prime?
True
Suppose -4*u - 3*z - 369 = -0*u, -5*z = -4*u - 409. Let j = -47 - u. Is j a composite number?
True
Let s(c) be the third derivative of 5*c**4/8 + c**3 - 2*c**2. Let o be s(6). Suppose 2*b + 2*x = 234, -5*b = 2*x + o - 675. Is b a prime number?
False
Let z = 23 + -21. Is 677*(2/(-2) + z) prime?
True
Let n be 30/(-4)*(-5 - 33). Let f be (-163)/1 + (-1)/1. Let v = f + n. Is v prime?
False
Suppose -4*r + 3*v - 23 = -5*r, 0 = 3*r + v - 29. Suppose r*d = 9*d - 309. Is d composite?
True
Let d = 32 - -28. Suppose -p + d = 3*p. Is p a composite number?
True
Suppose 4*i + 334 = 6*i. Is i composite?
False
Let p = -1277 + 3070. Is p composite?
True
Let a = -23 + 11. Let o = -6 - a. Let w(x) = 6*x + 1. Is w(o) composite?
False
Is 1/(-4) - (35271/4)/(-3) a prime number?
True
Let b(r) = 63*r + 3. Let y be b(-4). Let k = -164 - y. Is k prime?
False
Suppose m - 12 = -4*v, -5 - 1 = -3*m + 3*v. Let o(r) = -14*r - 3. Let p be o(m). Let f = p + 112. Is f composite?
False
Let c = 598 - -841. Is c a composite number?
False
Suppose 0*m = 3*m + h - 9, 4*m - 5*h + 7 = 0. Suppose -2*q - m*u = -1570, -4*q - u = -0*u - 3146. Is q a prime number?
True
Is 98 + 3*(-4)/12 composite?
False
Let a = 7 + -9. Is (-1 - (-62)/(-4))*a prime?
False
Suppose 0 = -2*d + 160 + 238. Is d prime?
True
Suppose 2 = f - 15. Let g = -11 + f. Suppose -26 = -v - 3*y, -3*v + 4*y - 53 = -g*v. Is v a prime number?
True
Let m be 1/(1 - 4/5). Suppose 13 = m*i - 27. Let l = 27 - i. Is l prime?
True
Let a(s) = s - 4. Let p be a(6). Let c be -400 - p*(-2)/2. Is c/(-5) - 6/10 a prime number?
True
Suppose -4*h - 4*u = -3*h - 129, 2*h - 2*u = 308. Is h a prime number?
True
Is 7*4*(-15)/(-12) a prime number?
False
Suppose -12 = 3*q + h + 3, 0 = q - h + 1. Is (-187)/(-2) - 6/q a composite number?
True
Suppose -3 = 4*l - 11. Let d(r) = -r**3 + 5*r**2 + r - 3. Let w be d(5). Suppose -4*n + 3*q + 55 = -2*q, w*n = l*q + 26. Is n a composite number?
True
Let p(x) = 20*x**2 + 5*x + 12. Is p(-2) prime?
False
Suppose -3*c = 4*u - 252, 0*c + 4*u + 336 = 4*c. Suppose -c = -b - 3*b. Is b a prime number?
False
Let y(k) = 6*k**2 - 2*k. Let s be y(4). Suppose 0 = 4*n - 0*n - s. Is n prime?
False
Let p(o) = o - o + 1 - 12*o**3 - 2*o**3 - 2*o**2. Let j = -1 + 0. Is p(j) a prime number?
True
Is 5/(58/19 + -3) a composite number?
True
Suppose 10*f = 504 + 836. Is f prime?
False
Let q be (-4)/(-18) + (-11144)/(-72). Let d = 270 - q. Is d composite?
True
Let h be 50/8 - 3/12. Is ((-9)/h)/(1/(-2)) a prime number?
True
Suppose -7*a + 2*a = 5*t, a + 5*t + 12 = 0. Suppose -2*d = -o - 1, -4*o = -d + 4*d - 18. Suppose a*w - d*w = 23. Is w prime?
True
Suppose 5*a - 8 = 2. Suppose 3*w = -w + 32. Let g = w - a. Is g a prime number?
False
Let x be (-56)/(-26) - (-12)/(-78). Suppose -x*q = -2*v - 316, -2*q - 5*v = -v - 346. Is q a prime number?
True
Suppose -2653 = -2*s - 5*s. Is s prime?
True
Suppose 4*t + 115 = -5*i + 6510, 6425 = 5*i - 2*t. Is i prime?
True
Is 621/1 + 10/5 a composite number?
True
Let j(r) = r - 3*r + 11*r**2 - 52 + 46. Is j(5) a composite number?
True
Suppose u + 3*j = 235, -u + 3*j = j - 215. Is u prime?
True
Let l = -2 - -2. Is 2 + l + (-76)/(-4) prime?
False
Let a(g) = -5*g**3 - g**2 - 4*g + 3. Let r be a(2). Let c = 414 + r. Is c a prime number?
False
Is ((-16914)/9)/((-8)/12) prime?
True
Let t = -1816 + 915. Let b = 1604 + t. Suppose -5*n - 218 + b = 0. Is n a prime number?
True
Let z be 14/(-21) + 161/3. Suppose -5*q - 56 = -5*k - 221, 4*k - z = -q. Is q prime?
True
Let u(y) = 6*y - 9*y - 2 + 6*y. Is u(5) a composite number?
False
Let a(o) = -o**3 - 5*o**2 + 5*o + 14. Is a(-11) prime?
False
Let j(f) = 10*f - 12. Let s be j(5). Let l = -17 + s. Is l prime?
False
Let g = 1835 + -586. Is g a prime number?
True
Let m be (9/(-4))/(2/(-8)). Suppose -m = -2*g + g. Is 192/g - (-2)/3 composite?
True
Suppose 2*y + 6 = 14. Suppose y*h - 351 - 13 = 0. Is h composite?
True
Suppose 0 = 4*m + 4, -m + 0*m - 584 = -j. Is j a prime number?
False
Let b be (-1 - 4/(-6))*-801. Suppose -46 = -y + b. Suppose -45 = 4*l - y. Is l prime?
True
Let g = -185 + 294. Is g a prime number?
True
Suppose -10 = -8*z + 3*z, -z + 151 = a. Is a a composite number?
False
Suppose 0 = -3*z, -3*l + 5*z - 4*z - 12 = 0. Let j = 1048 + -1849. Is j/(-12) + (-1)/l composite?
False
Suppose -4*q - 1 + 5 = 0. Let c(w) = 132*w**2 - w. Is c(q) a prime number?
True
Let t(d) = 59*d**2 - 3*d + 3. Is t(-4) prime?
False
Let t = 95 - 82. Is t composite?
False
Let r(v) = v**3 - 4*v**2 + 9*v + 7. Is r(7) prime?
False
Suppose 12 = u - 4*r + r, 3*r - 3 = -4*u. Suppose -u*y = -m + 78, -y = 2*y - 9. Is m prime?
False
Is (-2950)/(-14) - 16/(-56) prime?
True
Let y = 14 + -8. Suppose -b = 5*c + 16, -c + y*c + 36 = 4*b. Is (-159)/(-6)*(b - 2) composite?
False
Suppose 794 = -14*s + 16*s. Is s a prime number?
True
Suppose 0 = 14*y - 6*y - 48904. Is y a prime number?
True
Let q(r) = 2*r**2 - 5*r - 4. Let p be q(4). Let b(c) be the first derivative of -c**4/4 + 10*c**3/3 - 4*c**2 - 11*c - 3. Is b(p) composite?
False
Suppose 0 = q - 0*q - 3. Let g = 5 - q. Suppose -s - g*s + 4*y + 53 = 0, -3*y = -5*s + 103. Is s a prime number?
True
Let k(d) = -d + 11. Let a be k(7). Suppose 157 = 5*u - 3*u + h, -4*h = -a*u + 320. Is u a compos