a prime number?
False
Suppose -5*z = -10*z + 2635. Is z composite?
True
Let c = -2254 + 3341. Is c prime?
True
Let o = -10 + 18. Is 1773/7 - o/28 composite?
True
Let x be (-4530)/(-21) - (-2)/7. Suppose -3*b = -4*i + 216, -4*i = 3*b + i + x. Let y = b - -109. Is y prime?
True
Suppose 3*q + 2113 = 5*c, -3*q - 1613 = -3*c + 508. Is q/(-6)*(-4)/(-6) prime?
True
Let m(a) = a**3 + 13*a**2 - 14*a + 1. Let i be m(-14). Let t(h) = -h + 1 - 3*h + 23*h**3 + 2*h. Is t(i) a prime number?
False
Let g(q) = -2*q**3 - 3*q**2 + 20*q - 7. Is g(-12) composite?
False
Suppose -2*m - m + 6 = 0. Suppose -5*g + 28 = 2*x - 10*g, m*g = -2*x + 42. Is x a composite number?
False
Let q = -6 - -36. Let i(s) = 6*s + 1 - 2 - 10*s + q*s. Is i(3) composite?
True
Let a = -1293 + 600. Is (-4)/2 - a/7 a composite number?
False
Let n be 30 + (0/1)/2. Suppose -3*r = 2*r + n. Is r/(-4)*38/3 composite?
False
Let f = -2 - -3. Is f - (59*-2)/1 a composite number?
True
Let f(n) = -2*n**2 + 5*n + 4. Let w(j) = -5*j**2 + 11*j + 9. Let x(p) = -7*f(p) + 3*w(p). Let q be x(-3). Is 1/q + (-680)/(-32) prime?
False
Let a(d) = 306*d**2 - 5*d + 2. Is a(3) composite?
False
Suppose 2*z - 3*l = -5, 2*z - 3*z + l = 2. Is 55 + z - 2 - -1 a composite number?
False
Let r = 3 - -4. Let d(f) = 42*f + 7. Is d(r) a prime number?
False
Let u(j) be the second derivative of -j**4/6 + j**3/6 + 553*j**2/2 + 7*j. Is u(0) a prime number?
False
Suppose 2 = 2*v - 4. Let a(r) = 56*r**2 + 1. Let j be a(1). Suppose 6*f = v*f + j. Is f a prime number?
True
Let u(l) = -3*l**3 - 6*l**2 + 3*l + 7. Is u(-8) composite?
True
Let r(x) = -561*x + 51. Let n(j) be the third derivative of 7*j**4/3 - 5*j**3/6 - j**2. Let u(i) = -51*n(i) - 5*r(i). Is u(-1) a composite number?
True
Suppose -38 = -3*u + v, 26 = 3*u + 4*v + v. Suppose -h = -4*h + u. Suppose h*p - 2 = r, 2*p = -3*r + 6*p + 18. Is r composite?
True
Let q(c) = 28*c - 5. Suppose 43 - 13 = 5*n. Is q(n) a composite number?
False
Suppose 5*y - 16 = y, y = -3*f + 10. Let z = 226 - 161. Let x = f + z. Is x a prime number?
True
Let a(t) = 24*t**2 - 2*t + 3. Is a(-4) prime?
False
Let j(v) = 5*v - 32. Is j(18) prime?
False
Let n = 1858 + -167. Is n prime?
False
Suppose 0*k + k = -4*n + 16532, -n + 4133 = -3*k. Is n a prime number?
True
Suppose -3602 = 61*o - 63*o. Is o composite?
False
Let d = 7 - 4. Suppose 333 + 0 = d*q. Is q a prime number?
False
Let o(t) = 61*t + 2. Let u be o(3). Is 0 + u + (-16)/(-8) prime?
False
Suppose -f + 3 + 3 = 0. Suppose -f*a + 185 = -a. Is a composite?
False
Let p(t) = -2*t + 2 - 2*t - t. Let f be p(-2). Let r = f + -2. Is r composite?
True
Is (-4)/14 + (-4568)/(-14) a prime number?
False
Let l(x) = 3*x**2 + 2*x + 2. Is l(4) composite?
True
Let x(r) = -r + 2. Let c be x(6). Is 10*(2 + (-14)/c) a composite number?
True
Suppose -2*j - 11 = -4*o + 7, -5*j = -2*o - 3. Let r(h) = h**3 - 5*h**2 - 4*h - 7. Let b be r(o). Suppose 645 = b*m - 2*m. Is m prime?
False
Let z(v) = 13*v**2 - 1. Let t be z(-1). Suppose -3*n = -t, -5*j + 3*n + 1111 = 2*n. Is j a composite number?
False
Suppose 2*n = -6*n + 15736. Is n a prime number?
False
Let v(g) = g**2 + g + 93. Is v(0) a prime number?
False
Let a(i) = -i - 8. Let k be a(-5). Let r(z) = 26*z**2 + 5*z + 4. Is r(k) a composite number?
False
Let s = 703 - 70. Is s a prime number?
False
Let t(l) = -l - 1. Let j be t(4). Let w = 8 + j. Is w a prime number?
True
Let n(f) = f**2 + 10*f - 5. Is n(-16) prime?
False
Let z = 376 + -171. Is z a prime number?
False
Let k(c) = -3*c**3 - 6*c**2 - 5*c - 3. Let a be k(-4). Let u = 151 - 81. Let i = a - u. Is i composite?
False
Let q(w) be the third derivative of w**5/12 + w**4/12 + 3*w**2. Is q(1) composite?
False
Is (-9950)/(-30) + (-4)/6 composite?
False
Suppose -4*q + 344 = -44. Is q a prime number?
True
Let r = -85 + 200. Is r composite?
True
Suppose 0 = 2*u + 3*u - 35. Is (u - 1)/(-2) + 214 composite?
False
Let j = -188 + 751. Is j a composite number?
False
Let h = -2 - 3. Let x = 0 - h. Suppose -3*m - x*g = -51 - 28, 0 = -m - 2*g + 27. Is m a composite number?
False
Let p(v) = -v**2 - 7*v - 4. Let o(z) = 2*z**2 + 20*z + 11. Let l(u) = -3*o(u) - 8*p(u). Let x(b) = 4*b**2. Let n be x(-1). Is l(n) a composite number?
True
Let d = 10 - 5. Let b = 44 + d. Is b prime?
False
Suppose 4*g = 10 + 134. Let p be (g/(-15))/(9/(-30)). Is (-658)/(-8) + 6/p prime?
True
Let x = -31 - -112. Suppose -n + x + 4 = 0. Is n composite?
True
Let v(w) = 128*w + 1. Let i be v(-1). Let h = 87 + i. Let b = h - -73. Is b a prime number?
False
Is -3 - ((-9)/3 + -79) prime?
True
Suppose -s = -4*y + 47, -5*s - 4*y - 77 = -2*s. Is s/2*(-2)/1 prime?
True
Suppose -33*x + 39*x = 2466. Is x a prime number?
False
Let r = 152 + 33. Is r composite?
True
Suppose 0*c + 3*c = 0. Suppose -4*r = k + 5, 2*k - 2*r - 10 = -c*r. Suppose 2*w = -k*t + 77, 5*w + 49 = -2*t + 5*t. Is t a composite number?
False
Is 2*((-1668)/8)/(-3) a prime number?
True
Suppose 2*s + 138 = -s. Let f = 74 + s. Suppose -5 = u - f. Is u a composite number?
False
Let u(b) = 18*b**2 + 8*b - 5. Is u(6) composite?
False
Let l(g) = g**2 - 7*g - 2. Let t(d) = -3*d**2 + 21*d + 6. Let h(x) = 17*l(x) + 6*t(x). Let i be h(7). Is 21/i*6 + 2 composite?
True
Suppose 0 = 2*p - 4 - 0. Suppose u = 5 - p. Let s(i) = 11*i**2 + i + 4. Is s(u) a composite number?
True
Let v(t) = 15*t**3 + 9*t**2 - 1. Is v(4) prime?
True
Let n(w) be the second derivative of w**4/12 - w**2 + 4*w. Let d be n(-2). Is ((-59)/(-2))/(1/d) a prime number?
True
Suppose -l - 4890 = -7*l. Is l composite?
True
Suppose 2*o + 4*q - q = 529, -2*o + 2*q = -524. Is o a composite number?
False
Let z be 2 - 3/(-3) - -1. Suppose -z*h = 95 - 299. Is h composite?
True
Let s = -2758 - -3962. Suppose 4*d + s = 8*d. Is d prime?
False
Let a(f) = 3*f - 3. Let q be a(3). Let z be (-1 - q/(-4))*-142. Let i = 108 + z. Is i composite?
False
Let y be ((-1)/(-2))/(2/860). Suppose x = -2*x. Suppose -2*b + 7*b - y = x. Is b a composite number?
False
Suppose 205 = 2*v - 549. Is v a composite number?
True
Let m = 6 - 4. Suppose -m*r = -7*r + 40. Suppose r*s - 3*s + 4*d = 403, -3*s + 247 = 5*d. Is s prime?
True
Let y(j) = 6*j**2 - 4*j + 3. Is y(4) a composite number?
False
Suppose 3*k + 2*q = -2*q + 18, 0 = k - 4*q + 10. Suppose 5*o = -k*x - 156 + 649, 0 = 3*o + 15. Is x a prime number?
False
Suppose 2*t = -4*q + 6*t + 3096, 1527 = 2*q + 5*t. Is q a composite number?
True
Let n(h) = h**2 + 58. Is n(0) composite?
True
Suppose -3*l = -2*w + 10, 3*w - 2 = -w - 3*l. Suppose 5*j + 2*k - 31 = 0, -2*j + 11 = -j + w*k. Suppose p = 4*m + 7, 3*m - 5 = -j*p + 7. Is p composite?
False
Suppose 0 = 2*f + v + 666, 2*f + 5*v + 763 = 89. Let u = 627 + f. Is u a composite number?
True
Suppose -3*b + 3*j + 73 = -j, -4*b - 3*j = -64. Is b a composite number?
False
Let r = 7 - 7. Suppose -3*s = -r*s - 381. Is s composite?
False
Let p = 842 - 483. Let d = 2 + 0. Suppose 0 = -4*g + v + p, -d*g + 0*v = 3*v - 197. Is g a prime number?
False
Suppose 7 = -g + 4*z, 4*z - 9 = z. Let j(t) = 2*t - 6. Let c be j(g). Suppose -2*q + q - 32 = -3*b, 0 = -c*b - 2*q + 26. Is b a composite number?
True
Let k = 770 - 453. Is k prime?
True
Let l(f) = -3*f**3 - 4*f**2 - 3*f - 1. Suppose 4*o = 15 + 1. Let c be 2/o*3*-2. Is l(c) prime?
True
Let g = 2868 - 1403. Is g a composite number?
True
Let i be (-28)/3*6/(-2). Suppose -7*j - 13 - 43 = 0. Is j/i + 541/7 a prime number?
False
Let j(h) = -h**3 - 5*h**2 + 2. Let k be j(-5). Suppose -14 = -z - 2*z - k*u, -u = -5*z + 19. Suppose -z*f = f - 95. Is f composite?
False
Let k(x) = -3*x**2 + 17*x + 3. Let c(m) = -m**2 + 8*m + 1. Let t(w) = 5*c(w) - 2*k(w). Suppose 40 = -5*b - 0*b. Is t(b) a prime number?
False
Suppose -4*y = -325 - 607. Suppose -4*q + y = 5*w, 3*q - 287 = -2*q - 2*w. Is q a composite number?
True
Is 445/3 - 3/((-36)/8) a prime number?
True
Let n(p) = 2*p**3 - 3*p**2 + p - 2. Let y be n(2). Suppose y*m - 15 = 1. Suppose 5*j + m*s = 313, j = 2*j - 5*s - 80. Is j composite?
True
Let z(m) = -m - 2. Let l be z(-6). Let t be (-24)/(-15)*10/l. Suppose 5*y - 22 = t*y. Is y prime?
False
Let r be 1/(-3)*(-20 + -1). Let x(i) = -15 - i + 26 + r + 13. Is x(0) a prime number?
True
Suppose 283 + 20 = -n. Let v(j) = -181*j**2 + j. Let t be v(-1). Let k = t - n. Is k a composite number?
True
Let l be (8 - 3) + (-1)/1