 + 0*w = -522, t + 101 = -3*w. Let c = t - -183. Is c prime?
True
Suppose -s - 412 = -1203. Is s composite?
True
Suppose 5*b = -0*o + o - 7, -6 = -2*o + 2*b. Suppose -2*y - 3*y - 4*l = -421, 253 = 3*y + o*l. Is y a composite number?
True
Let v = -399 - -907. Suppose 0 = -j + 5*j - v. Is j a composite number?
False
Let x(c) be the first derivative of -c**4/4 - 2*c**3/3 + c**2/2 + 7*c - 2. Is x(-6) composite?
True
Suppose 0 = 9*x - 5*x - 1228. Is x composite?
False
Suppose 4*q - 17 = 135. Is q a prime number?
False
Let g be (1*10)/((-3)/(-6)). Let l be 1*(-1 + 0)*6. Let h = l + g. Is h prime?
False
Let m = -66 + 119. Is m a composite number?
False
Suppose 16 = 5*n - n. Let i(c) be the first derivative of 5*c**2/2 - 5*c - 3. Is i(n) a composite number?
True
Let b(v) = 30*v**2 + 14*v - 7. Is b(7) composite?
True
Let z = -22 - -12. Is (z - 1)*(-13 - 4) a composite number?
True
Suppose -2*v + 607 + 527 = 0. Suppose -3*o + v = -0*o. Suppose -2*c = -4*q - q + o, 0 = 3*q - 5*c - 102. Is q a prime number?
False
Let g(h) = -135*h - 16. Is g(-6) composite?
True
Suppose 2*d + 2*d = 0. Suppose 0*n - n + 5 = d. Suppose 21 + 94 = n*r. Is r a prime number?
True
Suppose 3*u = -v - v + 176, -3*u - 152 = -2*v. Let i = 146 - v. Let n = 517 + i. Is n a prime number?
False
Let g = -8 + 8. Suppose g = -2*r + 274 + 24. Is r composite?
False
Suppose 3*k - 2166 = -495. Is k prime?
True
Let f(u) be the first derivative of 2*u**3/3 - 3*u**2/2 - u - 3. Let x be f(-4). Suppose 3*g - x = 20. Is g a composite number?
True
Suppose 0*s - s + 3 = 0. Suppose -5*d - 5*i + 17 = -4*i, 1 = -s*d + 5*i. Is (2/d)/((-3)/(-27)) a composite number?
True
Let n(q) = 1537*q + 1. Let p be n(1). Suppose -5*t + p = v, -6*t - 2*v - 312 = -7*t. Suppose -7*y = -3*y - t. Is y a prime number?
False
Suppose r = -3*j - 1 + 3, -2*r = 5*j - 5. Suppose -60 = -r*q + 865. Suppose -4*c + 114 = 5*v - 34, -3*v - q = -5*c. Is c prime?
True
Suppose 4*h - 5 = 2*n + 7, 3*h - 6 = 0. Let v be (-4)/(-6) + (-16)/(-3). Is v/4 - 1/n a composite number?
False
Let g = 11 + -4. Is 1/((2/g)/2) composite?
False
Suppose -2*a - 8 = 2*r, -5*a - 3 = 2*r + 11. Let t(y) = -y - 1. Let h be t(a). Let l = h - -2. Is l a composite number?
False
Let s = 20037 - 8956. Is s a prime number?
False
Suppose -3*m - 18 = 2*w, m + 1 = -4*w - 5. Let a = m + 6. Suppose 2*t - t - 46 = a. Is t composite?
True
Suppose -2*n - 6 = -2*d, 5*d + 5*n = n + 6. Suppose 266 = 4*y - d*f + 36, -2*y - 2*f = -112. Is y composite?
True
Suppose n - 205 = 5*j, 4*n - 25 = -n. Is ((-142)/(-4))/((-4)/j) a prime number?
False
Suppose 656 = -4*g + 2332. Is g prime?
True
Let d = -5 - -4. Let f = 1 - d. Suppose 3*o + 2*w = -f + 66, -5*o - 3*w = -107. Is o prime?
False
Suppose q = -0*q + 2. Suppose -4*i + q*n = 14, 3*i - 2*n = -5*n - 6. Is 1/((i - 0)/(-69)) composite?
False
Let j be (-12)/(-54) - (-104)/18. Suppose 0 = -2*q + j - 0. Suppose 4*u + 4*r = 328, 0*r - 5*r + 246 = q*u. Is u a composite number?
True
Let g(f) be the third derivative of f**6/120 - f**5/10 - 7*f**4/24 + 2*f**3/3 + 2*f**2. Let q be g(7). Suppose 0 = q*t - 387 - 89. Is t prime?
False
Let o(q) = 20*q**2 + 8*q + 11. Is o(9) composite?
True
Suppose 2*s - 33 = 3*y, 5*y - 2*y = -2*s + 51. Let i(r) = -s*r - r - 4*r - 23*r. Is i(-1) a composite number?
True
Let p(u) = 12*u**2 - 2*u - 1. Is p(-3) a composite number?
False
Is (-327)/(-2) + 2/(-4) a prime number?
True
Let i = -4 - 3. Suppose 3*t + 4*f = 2*t + 40, -4 = 4*f. Let q = t + i. Is q a prime number?
True
Let f(w) = -w**2 + 5*w - 2. Let x be f(5). Is ((-147)/6 + 1)*x prime?
True
Is 47/7 + 10/35 a prime number?
True
Suppose 0 = 3*m - 5*m + 190. Is m a composite number?
True
Let r be (-12348)/(-33) + 10/(-55). Let s(z) = 211*z**2 - z + 1. Let v be s(1). Let a = r - v. Is a a composite number?
False
Let g(a) = -a**2 - 8*a + 2. Let p be g(-8). Suppose x + p*m - 61 = 0, 10*x = 5*x - 2*m + 289. Is x composite?
True
Suppose -4*a - 5 = a, -2*l - a = 1. Suppose 2*y + l - 4 = 0. Suppose 2*i - 328 = -y*i. Is i composite?
True
Let g be ((-12)/5)/((-8)/(-40)). Is ((-565)/20)/(3/g) a composite number?
False
Suppose -2*j = j - 537. Is j composite?
False
Let s(k) = 4*k**2 + k - 1. Suppose t + t - 2 = 0. Let f be s(t). Suppose 2*c - 2 = 2, -f*c = 3*q - 26. Is q a prime number?
False
Let b(i) = 12*i**2 - 5*i - 4. Let k(h) = -h + 5. Let t be k(8). Is b(t) a composite number?
True
Let s(t) = -3*t**2 + t + 9 + 15*t + 9*t**2. Is s(8) a prime number?
True
Is (285/(-9))/((-4)/12) composite?
True
Suppose 3*w = 6, 30 - 10 = 2*k + 5*w. Suppose v - 40 = p - 2*p, -k*p + 3*v + 192 = 0. Is p prime?
False
Suppose 2*k - 5*k = -3, 4*y - 1167 = 5*k. Is y a composite number?
False
Let l(m) = 5*m**3 - m**2 + 2*m - 1. Let t be l(1). Suppose -5*q + 155 = t*p, -4*q + p + 146 = 22. Let x = 18 + q. Is x prime?
False
Let m(v) = v**2 - 3*v + 2. Let k be (-20)/6*(-12)/10. Let w be m(k). Is w/(-4)*508/(-6) prime?
True
Let m be (-18)/27 - 3802/(-6). Suppose -l + m = 2*l. Is l composite?
False
Suppose 0 = -9*m + 6*m + 1041. Is m prime?
True
Let x(o) = -o**2 - 5*o - 2. Let z be x(-3). Is (-254)/(1 + -3) + z a composite number?
False
Let x = -4 + 6. Suppose -x*r - 59 = -p + 19, 0 = 5*p + 5*r - 330. Suppose -5*g = 5*t - p, 0*t - 34 = -t + 3*g. Is t a composite number?
False
Suppose -7*w = -2*w - 1700. Let p = w - 3. Is p composite?
False
Let n(v) = v**2 - 4*v - 3. Let a be n(-2). Suppose 5*s - 187 = -3*t, -5*s = 29 - a. Is t prime?
False
Let b(q) = 691*q - 57. Is b(4) a composite number?
False
Suppose -q + c + 173 + 617 = 0, -2346 = -3*q - 5*c. Is q a prime number?
True
Let u(j) be the second derivative of -j**5/20 - 5*j**4/24 + j**3/3 + 2*j. Let v(o) be the second derivative of u(o). Is v(-5) a prime number?
False
Let l be (-319)/(-3) - (-3)/(-9). Suppose 0 = 3*s - 5*s + l. Is s prime?
True
Suppose 0 = -2*g + 98 - 24. Is (-2 - 8)/((-2)/g) composite?
True
Suppose -t - 5*p = -0*t + 30, 20 = -4*t + 5*p. Let h be -1 - (2*t - 1). Let z = h - -35. Is z composite?
True
Let r = 35 + 7. Suppose -5*s + r + 1013 = 0. Is s prime?
True
Let z(m) = 11*m**2 + 2. Let l be z(-2). Let r = -15 + l. Is r a composite number?
False
Let m(w) = -3*w + 4. Is m(-2) composite?
True
Suppose -4*u - 21 = -4*m - 1, -u = m - 5. Suppose 5*g + 0*g = u. Let p = 19 + g. Is p a composite number?
False
Let g be 8/6 + (-4)/(-6). Suppose 6*k - 260 = g*k. Is k a prime number?
False
Let a be (-3)/(-2)*24/18. Let b(l) = 17*l**2 - 2*l + 1. Is b(a) a composite number?
True
Let s(i) = 5*i**2 - 15*i - 3. Is s(13) prime?
True
Suppose 3*t + 0*p - p + 30 = 0, 5*t - 2*p = -50. Let f(h) = -5*h - 14. Let u be f(t). Let w = -13 + u. Is w a composite number?
False
Suppose 5*v + 3 - 18 = 0. Let t(w) = -3*w - w**2 + 0*w**2 - 3*w - 3*w**2 + 2*w**v + 1. Is t(5) composite?
True
Let j(g) = 23*g**2 - 22. Is j(9) composite?
True
Suppose 2*t - 50 = -3*t. Is t a composite number?
True
Let a(g) = -23*g**3 - g**2 + 1. Suppose -5*y + 1 = -o, -5 = o + 5*y - 4. Let s = 0 + o. Is a(s) a prime number?
True
Let p = 11 + -6. Let d(a) = 4*a**2 + 4*a - 1. Let h(r) = 13*r**2 + 12*r - 2. Let y(k) = 7*d(k) - 2*h(k). Is y(p) a composite number?
False
Let n(g) = 12*g - 2. Suppose 3*q + 4 = 2*z - q, -5*z = 3*q - 49. Is n(z) a composite number?
True
Let c = -1471 - -6192. Is c prime?
True
Let a(x) = x**2 - 8*x + 6. Let f be a(6). Let k be (3/f)/((-1)/12). Suppose k*n = n + 35. Is n a prime number?
True
Let z(n) = 229*n**2 + 3*n - 3. Is z(-2) prime?
True
Suppose 2*l + 3*p - 118 - 152 = 0, 2*l - 266 = -5*p. Let t be 1 + l + (2 - 0). Suppose -2*i + 211 = 4*o + 3*i, -3*o + 2*i + t = 0. Is o a composite number?
True
Let z(d) = -3*d**3 - 4*d**2 - 2*d + 4. Is z(-7) prime?
False
Let x(h) = -118*h + 11. Suppose 7*k + 40 = 2*k. Is x(k) a prime number?
False
Let x(i) = i**3 + 3*i**2 + 2*i. Let j be x(-4). Let k = j + 59. Is k a composite number?
True
Let n = 173 + -31. Is n composite?
True
Let t(u) = -u + 3. Let m(x) = 5*x - 15. Let v(d) = 2*m(d) + 11*t(d). Let y be v(0). Suppose -f + 18 = -3*o, -y*f - o + 4 = -0*f. Is f composite?
False
Suppose 0 = -5*v - 3*k + 1031, 1017 = -3*v + 8*v - 4*k. Is v a composite number?
True
Let l(a) = 3*a**2 + 2*a + 1. Let h be l(-1). Let q(p) = p. Let n(g) = 3*g - 10. Let c(i) = h*q(i) - n(i). Is c(7) composite?
False
Let t(i) be the first derivative of 10*i