 composite number?
False
Let d = 82 + -40. Is 753/(-2)*(-28)/d a prime number?
True
Let q(r) = r**3 - 13*r**2 + 13*r + 14. Suppose 3*y - g = 40 - 9, -2*g - 14 = -2*y. Let w be q(y). Suppose m - w = -m. Is m prime?
True
Let a(p) be the second derivative of p**4/12 + p**3/6 + p**2 - 5*p. Is a(3) prime?
False
Let s(u) = u - 6*u + 1 + 0. Suppose -a + 4 = 0, 5*o - a = 2*o - 22. Is s(o) prime?
True
Suppose 5*c - 2*c - 4*h = -2293, -2328 = 3*c + 3*h. Is (c/6 - 0)*-2 a prime number?
True
Suppose d - 3 = 1. Suppose 4*t + 4 = 0, -14 = -2*g + 2*t - d. Suppose -g*u = -4*y + 156, 4*y - y = u + 125. Is y composite?
False
Suppose 0 = -3*x + 4*x + 4*u + 2, 2*x + 4 = 3*u. Let o(f) be the third derivative of -f**6/40 + f**5/60 - f**4/8 - f**3/6 + 6*f**2. Is o(x) a composite number?
True
Let o = 0 - -2. Suppose -v - o*f = 61, 223 = -4*v - 2*f + f. Let i = 31 - v. Is i a composite number?
True
Suppose 744 = 4*f - 3*m, 172 + 758 = 5*f - 5*m. Let p = -462 + 650. Suppose 4*d - f = -2*s, -5*d = -d + 4*s - p. Is d prime?
False
Let y(r) = r**3 + 7*r**2 + 2. Let u be y(-7). Suppose n - 5*k = 69, -k + 3 = u. Is n prime?
False
Let s = 413 - 252. Is s a composite number?
True
Let h(p) be the third derivative of -p**5/60 + p**4/24 - p**3/3 - p**2. Let g be h(-3). Is (-4)/g - (-430)/14 a prime number?
True
Let k(g) = -g**3 - 13*g**2 - 12*g. Let l be k(-12). Suppose 0*s - 5*s + 615 = l. Is s a prime number?
False
Let s = -68 + 15. Let q = -10 - s. Is q a composite number?
False
Let z(j) = 3*j**2 + 8*j + 6. Let a(b) = -4*b**2 - 9*b - 7. Let i(n) = -4*a(n) - 5*z(n). Let g be i(-7). Let t = g + -38. Is t a composite number?
False
Is ((-354)/9 + 4)*(-63)/6 prime?
False
Let o(z) = -z**3 - 9 + 2*z + 2*z - 2*z + 7*z + 13*z**2. Let v be o(11). Suppose q - v = -3*q. Is q composite?
False
Suppose 2*w - 486 = -4*b, -w = 4*b - 104 - 133. Is w a composite number?
True
Let z = 320 + -212. Let l = 335 + z. Is l prime?
True
Let f = -177 - -366. Suppose -3*y = -3*i + f, 0 = i - 6*i - 2*y + 280. Is i prime?
False
Suppose -4*m + 3*i = -88, 3*m + i = -i + 49. Is m prime?
True
Suppose 4 = -3*n + 37. Let w = 4 + n. Is w composite?
True
Let q(o) = -17*o**2 - 4*o - 9. Let y(b) = -9*b**2 - 2*b - 5. Let x(z) = -4*q(z) + 7*y(z). Let h be x(-2). Suppose -5*i + h = -18. Is i a prime number?
True
Suppose m = -g + 2*g, 4*g = -5*m + 18. Suppose g*f - 232 - 252 = 0. Suppose -8*v + 5*r = -3*v - 585, -f = -2*v + 4*r. Is v a prime number?
True
Suppose -2*p + 5*d = -p + 2151, 3*p - 3*d = -6453. Let q = -999 - p. Suppose 5*f - 306 = -c - 33, q = 4*c + 5*f. Is c composite?
False
Suppose -4*g + 5*t - 2 = 6, 2*t = 5*g - 7. Let c be 296 + (0 + 3)/1. Suppose 0 = g*f - 94 - c. Is f composite?
False
Let m(a) = 23*a**2 - 4*a + 16. Is m(3) a composite number?
False
Let n be 1 + -3 - (-2 + -1). Is (-2 - -8*28) + n a prime number?
True
Let g be (0/(-2))/3 - 0. Suppose -x + 252 + 240 = g. Suppose 5*y = x - 97. Is y composite?
False
Suppose 3*t + 1082 = 5*t. Is t a prime number?
True
Suppose -b - r + 380 = 0, -2 + 0 = r. Is b a prime number?
False
Let b(v) = 18*v**2 + 3*v - 10. Let a be b(-5). Suppose -3*f - 413 = -2*c, c + f = -c + a. Is c composite?
False
Is 95 + 4 + (-1 - 1) a composite number?
False
Let t(u) = 67*u**3 - u**2 + 4*u - 1. Is t(3) prime?
True
Suppose 4*u - 4 = 3*u, 5*u = -4*n - 160. Is ((-19)/3)/(15/n) a prime number?
True
Let k = -8 - -9. Is 2 + -3 + (k - -11) prime?
True
Let u be (-1)/7 - (-75)/35. Suppose -h + 28 = 5*w, -u*w + 0*w = 2*h - 96. Is h a prime number?
True
Suppose 0 = -3*z + 4 + 44. Let a = 22 - z. Is (a/(-9)*69)/(-1) a prime number?
False
Suppose -j = -4*r - 34 - 139, 346 = 2*j - 2*r. Let t(d) = 5*d**2 - 2*d + 2. Let o be t(-4). Let v = j - o. Is v composite?
False
Let r = 1110 - -245. Is r composite?
True
Is (-2 - -5)*-1 + 70 a prime number?
True
Suppose 4406 = 6*w + 1562. Suppose 3*t + 2*n + 120 = 479, -5*n + w = 4*t. Is t prime?
False
Suppose -4*b - 2*l + 70 = -110, 0 = -3*b + 3*l + 117. Let q = b + 16. Is q composite?
False
Let u = 149 + -52. Is u a prime number?
True
Let w(d) = -d - 1 - d**3 + d + 0*d**3 + 7*d**2. Let c be w(3). Suppose -5*s + 10*s - c = 0. Is s composite?
False
Let d(f) = -f**3 - 7*f**2 + 6*f - 9. Let h be d(-8). Let c(y) = -h - 4*y + 3*y + 13*y. Is c(5) composite?
False
Let s(j) = -22*j + 1. Let a(h) = -21*h + 1. Let q(z) = -6*a(z) + 5*s(z). Is q(2) a prime number?
True
Suppose -2*r - 5 + 19 = y, -30 = -2*r - 5*y. Suppose r*h - 167 - 428 = 0. Is h composite?
True
Suppose 0 = -5*h + 3*y + 457, 2*h - 147 = 2*y + 39. Is h a composite number?
False
Suppose -2*s + 1440 = -0*s - p, -5*s = -3*p - 3601. Is s a prime number?
True
Let j(s) = -s**2 - s + 303. Is j(0) composite?
True
Let u = 0 - -6. Let o be (-2 - -2) + u*-3. Let j = 55 + o. Is j prime?
True
Let z be (-26)/22 + (-2)/(-11). Let d(u) = u**3 + 2*u**2 + u + 7. Let b(f) = -f**2 - f. Let t(i) = z*d(i) + 2*b(i). Is t(-6) a prime number?
True
Is 4576/2 - (23 + -28) a composite number?
False
Suppose -21 + 93 = 4*r. Let d be (-220)/r + 6/27. Is 7/(-1 + d/(-10)) a prime number?
False
Suppose 3*s = 3*g - 111, -g = 4 - 0. Let x = 180 + s. Is x prime?
True
Let h be (-2)/(-2) - (37 - 1). Suppose 363 = 5*q + 73. Let b = q + h. Is b a prime number?
True
Suppose -6*w + 93 = -3*w. Is w composite?
False
Is 9*(-4)/((-48)/1228) composite?
True
Suppose -4*r = 3*j - 25, -j + 2*r + 1 = 2*j. Let l(u) = 4*u**2 + 9*u. Let c be l(-6). Let o = c - j. Is o composite?
True
Suppose v + 0*v + 11 = -3*x, 2*x - v = 1. Is 95/(-2)*(-4 - x) composite?
True
Suppose k - 6*k = -7405. Is k a prime number?
True
Suppose 0 = -i, -9*h - 3*i + 11665 = -4*h. Is h prime?
True
Let m be 3/(-12) - (-10372)/16. Let a = 955 - m. Is a a composite number?
False
Let y(m) = 3*m**2 + m - 4. Let p be y(-4). Suppose t = -3*t + p. Is t a prime number?
False
Suppose r - 14 - 32 = 0. Suppose r = 3*m + 16. Let c = m + 3. Is c composite?
False
Let k = 594 + -155. Is k a composite number?
False
Suppose 12 = 8*q - 4*q, -3*q + 543 = 3*g. Is 3/(6/g)*1 composite?
False
Suppose 4*i - 2*i - 5*y = -20, -i - 5*y + 5 = 0. Let p be 1434/2 + (i - -4). Suppose 5*d = 89 + p. Is d a prime number?
False
Let a = 10 - 8. Let j be (a + -4)*(-6)/4. Suppose -j*r + 285 + 125 = 2*o, 219 = o - 2*r. Is o a composite number?
False
Let k(h) = h + 13. Let r be k(-10). Suppose -2*p + 66 = -r*p. Let a = p + 151. Is a a prime number?
False
Let l(v) = 17*v**3 + 3*v**2 - 2*v + 1. Is l(3) composite?
True
Let f(u) = -5*u + 2*u + 2*u + 2*u. Let h be f(-6). Let o = h + 20. Is o a composite number?
True
Let s = -227 + 608. Is ((-2)/(-6))/(1/s) a composite number?
False
Let i(h) = -42*h**2 + 8*h + 1. Let m(x) = 84*x**2 - 17*x - 2. Let p(g) = -13*i(g) - 6*m(g). Let w be ((-2)/(-5))/(1/5). Is p(w) a composite number?
False
Let j be ((-133)/(-4) - 4)*-4. Is (-9620)/j + (-2)/9 prime?
False
Suppose 4*z - 217 = 819. Is z prime?
False
Let n(h) = -153*h**2 - h - 1. Let p be n(-1). Let f(v) = 243*v**2 + 1. Let g be f(1). Let s = p + g. Is s composite?
True
Let w(t) = 19*t**2 + 6. Suppose 4*b = -2*h - 10, -5*b = -6*h + 5*h + 30. Is w(b) composite?
True
Let t be (4/(-4))/(1/(-5)). Is (-1 + t)*53/4 composite?
False
Let i = -2 - -22. Let x be ((-24)/i)/((-1)/5). Suppose -5*p - 5 = 0, -s + x*s - 593 = -2*p. Is s a composite number?
True
Let t be ((-1)/(-2))/(2/(-68)). Let q = 2 - t. Is q prime?
True
Let b(h) = 4*h**2 + 6*h + 2. Let m be b(6). Suppose 2*s - m = 4*x - 0*x, -s - 3*x = -71. Is s a composite number?
False
Is -2 + 307 + -1 + -2 prime?
False
Suppose -807 = -6*z + 501. Is z prime?
False
Let l(t) = t**3 + 5*t**2 - 7*t - 7. Let p be l(-6). Let v be -2 - (-1)/(p/(-39)). Suppose -v = -2*k + k. Is k prime?
True
Let s = 11 + -6. Suppose -4*l - 4 = 2*b - 44, 0 = -s*b + l + 45. Is b a composite number?
True
Let c be (-6)/12*(-8)/1. Is 160 + (1 + -13)/c composite?
False
Suppose -35*w = -34*w - 37. Is w a prime number?
True
Let a(n) = 2*n**2 - n - 11. Is a(-10) a prime number?
True
Suppose -4*z + 2*z = 0. Is 3 + 74 + z/(-2) a prime number?
False
Let c be ((-48)/5)/3*-275. Suppose s - 164 = -5*a, -3*s = -8*s - 5*a + c. Is s a composite number?
False
Let w = 656 + 251. Is w a composite number?
False
Let b(d) be the second derivative of 7*d**3/6 - 2*d**2 - d. Is b(5) a prime number?
True
Suppose -4*l - 25 = -9*l. Suppose -g - 436 =