 a prime?
False
Let t = -115 + -104. Let m = 316 + t. Is m prime?
True
Suppose -4*g + 12 = x - 3*x, 5*x = 2*g + 2. Suppose -2*o - 28 = -g*n - 0*o, -2*n + 8 = 2*o. Suppose 4*c - n = 2*c. Is c a composite number?
False
Suppose -5*x + 5 + 3 = z, -32 = 2*z - 2*x. Let o = z - -143. Is o composite?
False
Suppose 0 = -5*w + w - 616. Let n = 18 - w. Suppose -n + 32 = -4*r. Is r composite?
True
Suppose -4 = -2*r + 2. Let u be 1/r + (-48)/9. Let w(o) = o**2 - 6. Is w(u) a composite number?
False
Suppose -4*q = -q - 1953. Suppose 5*a - 134 = q. Is a a prime number?
True
Let z = 56 + 228. Let d = z - 173. Is d composite?
True
Let a(x) be the second derivative of 19*x**5/20 - x**4/3 + x**3/3 + x**2/2 - 3*x. Is a(2) prime?
False
Let f(u) = -u**3 - 7*u**2 + 11*u - 10. Let c be f(-9). Suppose 0 = -a + 2*a - c. Is a prime?
True
Suppose 3*c + c = -3*r + 13, -5 = -r - 2*c. Suppose r*a + 5*p = 931, -4*a + 3*p - 1573 = -9*a. Is a a prime number?
True
Suppose 24 = -4*b - 3*m, -3*m + 16 = -4*b - 4*m. Let t be (-1)/(1/b) - 1. Suppose 0 = -t*g + 5*g - 69. Is g prime?
True
Suppose 3*k = -k + 24. Let t be (-8)/k*(-174)/4. Suppose 5*d + 3*m = t + 66, 5*m = -4*d + 107. Is d prime?
True
Let i(u) = 10*u**3 + 2*u**2 - u + 1. Let n(d) = 2 - 5*d**2 + 2*d**2 + d - 10*d**3 - 3. Let w(b) = 3*i(b) + 2*n(b). Is w(2) composite?
False
Let f(o) = -4*o**3 + 3*o**2 + 2*o - 5. Let y be f(-6). Suppose -2*i = 3*i - y. Is i prime?
True
Let t(g) = g**3 + 10*g**2 + 9*g - 1. Let k be t(-9). Is 2 + k - 3 - -87 a prime number?
False
Suppose -5*o + 1 = 4*v - 33, 13 = 2*o + v. Let t be ((-8)/10)/(o/(-15)). Suppose 609 = t*w + w. Is w prime?
False
Let y(v) = 191*v - 22. Is y(5) prime?
False
Suppose 0*n + 6 = 3*n. Is 14/4*11*n prime?
False
Let n be ((-12)/15)/((-3)/30). Let j(f) = f**3 - 8*f**2 + 4. Let x be j(n). Suppose -x*o + 273 + 43 = 0. Is o a composite number?
False
Suppose -147 - 115 = -2*u. Is u a composite number?
False
Let i(o) = 4*o**2 - 11*o + 1. Is i(10) a prime number?
False
Suppose -4*d = -2*c - 4, 4*c = 5*c + d - 4. Suppose g - 6*g + 16 = 4*a, c*g - 12 = -3*a. Suppose 2*s = g, 2*f - 184 = 2*s - 14. Is f a composite number?
True
Let a be 96/52 + (-6)/(-39). Suppose 3*w = a*w + 89. Is w prime?
True
Suppose -l = -1 + 2. Suppose 4*s - 5*r + 26 = 0, -2 + 12 = -3*s - r. Is 93/4 - l/s composite?
False
Suppose 19 = 5*c - 6. Suppose -c*a + 15 = -0*a. Suppose -a*w + 595 = 2*w. Is w composite?
True
Let n(p) = p**3 + 6*p**2 - 9*p - 8. Let b be n(-7). Suppose -d = -b + 3, r - 250 = 3*d. Is r prime?
False
Let o(s) = s**3 + 2*s**2 + 2*s + 1. Let r be o(-2). Suppose 2*c = 5*c + 666. Is (c/9)/(2/r) a prime number?
True
Let g(a) = -13*a**3 + 7*a**2 + 6*a - 5. Is g(-6) a composite number?
False
Let q be (1 + 0)*-1*-40. Let m = -63 + q. Let p = -4 - m. Is p prime?
True
Let c(z) = -22*z + 13. Let s be c(-12). Suppose -3*f + a + s = 0, -5*a = f - 41 - 30. Is f composite?
True
Let m = 74 + -39. Suppose -2*i + 3*i - m = 0. Is i a composite number?
True
Let z be (235 - 0)/((-9)/(-54)). Is z/20*4/6 a prime number?
True
Let n = 119 + -64. Is n prime?
False
Let g be (4/5)/((-2)/(-5)). Let h(c) be the third derivative of 3*c**5/20 + c**3/6 + 2*c**2. Is h(g) a prime number?
True
Let b(k) = k**2 - 2. Let j be b(3). Suppose -299 = -5*i - a, -5*i + 5*a = j*a - 303. Is i composite?
False
Suppose -h - 4*p + 0*p + 2449 = 0, 3*h - p - 7282 = 0. Is h composite?
True
Let b = 359 - 52. Is b prime?
True
Let z be (-28 + -5)*10/2. Let l be ((-4)/(-10))/(2/(-130)). Let p = l - z. Is p a composite number?
False
Suppose a + 9 = 4. Is a/2*502/(-5) a composite number?
False
Suppose -3*t - 1194 = -9*t. Is t a prime number?
True
Suppose 0 = -5*t + 722 + 2003. Is t prime?
False
Let q(k) = -k**3 + 4*k**2 + 6*k - 7. Let i be q(5). Let h be -2*(0 + (-9)/i). Let t = h + 68. Is t a prime number?
True
Suppose 4*k + 5*a = 88, -a + 5*a = 16. Let v = 62 + k. Is v composite?
False
Suppose -4*r = 3*g + 314, 2*g = -4*r - 0*g - 312. Suppose -x + 4*f = 21, -2*x - 5*f = 14 - 37. Is r/((-1 + 2)/x) prime?
False
Suppose -18*o + 13*o + 215 = 0. Is o a prime number?
True
Suppose 3*k + 4*v = 25, 0 = -6*k + 2*k + v + 8. Suppose 0 = 5*f - k*h - 259, -5*h - 99 = -2*f - 3. Is f prime?
True
Let n(r) = -1. Let v(q) = -27*q + 81. Let t(c) = -162*n(c) - 2*v(c). Let d be t(1). Let u = -11 + d. Is u a prime number?
True
Is ((-9)/(-2))/(3/(-1))*-1618 prime?
False
Suppose 5*y = 5, -39 = -2*d - 5*y - 8. Suppose 5*m - 18 = -3*n, -4*n - 4*m + d = -11. Suppose -a + 1 = -n. Is a composite?
False
Let d(w) = -1 + 2*w**2 - 4*w**2 + 2 - 3*w**2. Let q be d(1). Is q/(-10) - (-272)/20 composite?
True
Let m = 1 - 3. Suppose -2*h - 5 = -2*c - 27, 0 = -3*c + 2*h - 34. Is 1*(0 + (m - c)) prime?
False
Is ((-16)/(-3))/(-8) - (-3455)/3 a composite number?
False
Suppose -4213 = -12*b + 10319. Is b composite?
True
Let r(j) = 6*j**2 - 28*j - 19. Is r(13) a composite number?
False
Let o(m) be the second derivative of m**4/12 + m**3 + 3*m**2 + 2*m. Let z be o(-6). Suppose -3*u + 2*u = -z. Is u a prime number?
False
Let d = 56 - 36. Suppose 5*u - d = 0, -615 = -5*y + 9*u - 4*u. Is y a composite number?
False
Let k(w) = -w**3 - 13*w**2 - 13*w - 7. Let l be k(-12). Suppose 2*v + 4*n - 38 = v, 305 = l*v - 3*n. Is v a composite number?
True
Let i(k) = 49*k**2 - 8. Is i(-5) a prime number?
True
Suppose -2*f + 20 = 2*f. Suppose -f*b - 5*x + 17 = -13, -3*x = -4*b + 10. Suppose -b*n + 30 = t, -3*t + n = 36 - 113. Is t a prime number?
False
Suppose 2940 = h + 445. Is h composite?
True
Suppose -a = -4 + 2. Let u be 6*a/12*2. Suppose -45 - 17 = -u*k. Is k composite?
False
Let m(p) = -11*p. Let t be m(-1). Let v(j) = j**2 - 11*j + 3. Let u be v(t). Is 1 - 32/((-3)/u) a composite number?
True
Suppose -2*m + 241 = 3*d - 4*m, -3*d = 4*m - 229. Is d composite?
False
Let i(x) = 2*x**3 - 11*x**2 - 4*x + 7. Let u be i(8). Let m = -3226 + u. Is 6/33 + m/(-33) a prime number?
True
Let b = 3 + -3. Suppose -3*g + 4*g = b. Let q(k) = -k**2 + 65. Is q(g) a composite number?
True
Let c(w) be the second derivative of -w**5/20 + w**4/12 + w**3/6 + 59*w**2/2 - 3*w. Is c(0) a composite number?
False
Let w(d) = 3*d**2 + 5*d - 1. Suppose 0 = -z - 2 + 3. Let u = z - 6. Is w(u) a prime number?
False
Suppose b + 252 - 961 = 0. Is b a prime number?
True
Suppose -2*y - 1434 = 2*l, -l - 4*y - 3589 = 4*l. Let i = l - -1079. Is i composite?
True
Let n(a) = 7*a + 1. Let p = -10 - -14. Suppose -p = -4*c, 3*o - 3*c - 3 = -0. Is n(o) a prime number?
False
Let x be (6/15)/(2/20). Let g = x + 0. Suppose -g*c + 133 = -7. Is c a composite number?
True
Let r = 1395 + -722. Is r prime?
True
Let p be 1*(2 + 0) - 2. Suppose 3*d + p = -m - 1, 3 = -3*m. Suppose -i + d*i + 3 = 0. Is i composite?
False
Suppose 5*h - h = 28. Let g = h + -7. Suppose g = 4*k - k - 201. Is k composite?
False
Let b be (-596)/(-10) - (-4)/10. Suppose -w + b = 4*f, -2*w - 2*f - f = -145. Suppose 4*x - 3*i = 341, -3*i - w = -x - 4*i. Is x composite?
False
Let k(t) = -42*t**3 + t**2 - 2*t. Let z be k(-2). Suppose -3*c + z = c. Suppose 3*o - c = 295. Is o a composite number?
False
Let x(c) = -2*c**3 - 6*c**2 + 2*c - 5. Let w be x(4). Let o = 384 + w. Is o a composite number?
False
Suppose 3*t + 2*u - 1907 = 0, -3172 = -5*t + u + 2*u. Is t a prime number?
False
Is ((-2 - -1) + 899)/2 prime?
True
Suppose 3*c - 5*k + 0 - 4 = 0, -12 = 4*c + 2*k. Let l(m) = 29*m**2 - 2*m - 1. Let u be l(c). Suppose -5*g + 287 = -3*b, -4*b - 25 = 2*g - u. Is g composite?
True
Suppose -2*o + 3*d = 21, -4*d - 14 = 5*o + 4. Let a(f) = -f**3 + 7*f**2 + 8*f - 1. Is a(o) a prime number?
True
Let x be 1*-3*-4 - 0. Let n = 43 + x. Let u = n + -2. Is u a composite number?
False
Let p(u) = u**2 - 5*u + 1. Let h be p(5). Is 124 + 3*1/h prime?
True
Let t = 118 - 41. Is t a composite number?
True
Let t(w) = 64*w**2 + 2*w - 8. Is t(-3) prime?
False
Let o = -3730 - -6063. Is o a composite number?
False
Suppose l - 12 = 4*z + 3, 0 = -l - 5*z - 3. Suppose k + 4*j - 13 = 0, j = -l*k + 2*k + 27. Suppose 2*p - k*d + 0*d - 47 = 0, 2*p + d - 53 = 0. Is p composite?
True
Let x = -4 - -117. Is x a composite number?
False
Is (-236)/(-4)*(-1 - -2) prime?
True
Suppose -3*l - 6 = 0, -3*w + 2*l + 22 = -0*w. Is (1 - -2)*44/w a composite number?
True
Is (-7316 - 2)/(0/(-3) - 2) prime?
True
Suppose -30 = 2*p + 3*p. Let 