 = -7*d + 5*d + 8. Suppose d*v - 1115 = -v. Suppose 0*q + v = q. Is q a prime number?
True
Let g = 21 - 50. Let u be g/9 - (-12)/54. Let b(a) = 3*a**2 + 2*a + 1. Is b(u) prime?
False
Let s be ((-4)/3)/(-1)*3. Let y be (4/14)/((-3)/(-21)). Suppose s*l + l + 80 = 5*h, 2*h + y*l - 44 = 0. Is h a prime number?
True
Suppose 2*o = -4*d + 2298, 0 = 2*o + o + 2*d - 3431. Is o prime?
False
Let v = 22 - 42. Is (-1)/5 + (-2424)/v prime?
False
Suppose -1362 - 409 = -7*z. Is z a prime number?
False
Let s(n) = 2*n**2 - 15*n + 17. Is s(24) prime?
True
Let x = -2 - 3. Let y = x - -2. Is y*(-2)/(18/339) composite?
False
Suppose -720 = 5*y - 55. Let i = -71 - y. Suppose i = d - 21. Is d a prime number?
True
Let a be (-8)/12 - (-40)/6. Is a/(-2)*(-119)/3 a prime number?
False
Suppose 4*x + 5 = d, -x - 2*d - 3*d + 25 = 0. Let s(v) = x*v - 5*v + 4 - 5*v. Is s(-7) a composite number?
True
Let h = 17 - 9. Suppose h*f = 3*f + 25. Suppose f*n + 26 = 211. Is n composite?
False
Let i(t) = 62*t - 1. Let g be i(3). Let d(j) = j**3 + 3*j**2 - j + 3. Let v be d(-3). Suppose -k = -v*k + g. Is k a prime number?
True
Let u(x) be the third derivative of x**4/12 - x**3/6 + x**2. Is u(2) prime?
True
Suppose l = -5*l + 762. Is l prime?
True
Suppose l = 3 + 15. Let f = 187 + l. Let q = -118 + f. Is q composite?
True
Let l = 5 + 0. Let h(v) = v**2 - 2*v - 5. Is h(l) composite?
True
Let j = 1395 + -694. Is j a composite number?
False
Let x(w) = -w. Let q be x(1). Let k(r) = 116*r**2 - r. Let y be k(q). Suppose 3*a + i = 100 + 5, -3*a = 5*i - y. Is a composite?
True
Let d be 22/8 + (-2)/(-8). Suppose -r - 376 = -5*r - d*l, 4*r - 372 = -4*l. Is r a prime number?
True
Is (-2)/(17530/4385 + -4) a composite number?
False
Suppose 35309 = 6*q - 10993. Is q a prime number?
True
Suppose 12*n = 7*n. Suppose -r = -n*r - 123. Is r composite?
True
Let m(w) be the first derivative of w**3/3 + 3*w**2/2 - 5*w + 2. Is m(-8) prime?
False
Is -7*(-3 + -1 + -49) composite?
True
Let z(y) = 5*y**2 - 4*y + 2. Let h be z(2). Suppose -377 + h = -3*f. Is f composite?
True
Suppose 4*q - 2*n - 32 = 0, 15 = -3*q + 4*q + 3*n. Let a be (-16)/(-7) + 12/(-42). Suppose -a*g + 143 = q. Is g composite?
False
Let c(f) = 3*f**2 - 6. Let r(x) = -6*x**2 + 12. Let a(b) = 13*c(b) + 6*r(b). Let u be a(-7). Suppose u = 2*w - 13. Is w a prime number?
False
Suppose -440 = -6*r + 754. Is r a prime number?
True
Suppose -h = -0*h - 5*t + 26, 0 = 2*h - 5*t + 27. Is 60 - (1 - (h + 1)) a prime number?
True
Let z(v) be the first derivative of 27*v**4/2 - 2*v**3/3 + v**2 - v + 4. Is z(1) composite?
False
Suppose -3*s + 172 = s. Let z = -9 + s. Is z composite?
True
Let k = 65 - -252. Is k composite?
False
Let c = 8 + -9. Is 1*(0 - 89)*c a prime number?
True
Suppose 0 = -3*t - t - 16. Is 1*-231*t/12 a prime number?
False
Let n = -8 + 12. Suppose -n*r = -588 + 80. Is r a prime number?
True
Suppose -4*n = 4*x - 724, n - 2*x = -0*n + 193. Is n composite?
True
Let q(j) = j**2 + j - 1. Is q(10) a composite number?
False
Let h(x) = 15*x**3 + 2*x**2 - 6*x - 4. Is h(7) a prime number?
True
Let f(v) = -12*v**3 - 7*v**2 - v + 27. Is f(-5) prime?
False
Let g be (-7)/(-2)*12/7. Suppose g - 73 = -l. Is l composite?
False
Let o(u) = u - 6. Let t be o(2). Let f = 11 + t. Is f composite?
False
Suppose g - 6*m + 1 = -7*m, -3*g = m + 1. Suppose -2*r + 5*s - 5 = 0, g*s + 25 = 2*r + s. Is r prime?
False
Let m(j) = -j - 5. Let x be m(-3). Is (-269)/(-3) + x/3 a prime number?
True
Let w be 555/6*4/2. Let n = -70 + w. Is n a prime number?
False
Is -3108*(0 - 1) + 1 composite?
False
Suppose -4*m + 0*g + 461 = 3*g, -5*m - 3*g + 574 = 0. Is m prime?
True
Is (-5)/4 + (-2)/(-8) + 6248 prime?
True
Let s = 76 + -38. Is s composite?
True
Let s(b) = -38*b - 1. Let k(j) = 25*j + 1. Let u(a) = -8*k(a) - 5*s(a). Let c be u(-5). Let f = c - 26. Is f a prime number?
False
Let u be (-10)/60 - (-19)/6. Is 2780/15 + (-1)/u a composite number?
True
Let n be -70*4/14*15. Is (-1)/3 - n/9 a prime number?
False
Let u = -1143 + 1734. Is u a composite number?
True
Let y(q) = -5*q**3 - 85*q**2 + 56*q - 92. Let t(c) = -c**3 - 21*c**2 + 14*c - 23. Let a(u) = -9*t(u) + 2*y(u). Is a(18) a composite number?
True
Suppose -4*y = y + 20. Let r(q) = -2*q**2 + 3 + q + 2*q**2 + q**2. Is r(y) a prime number?
False
Suppose -2*n + 6*n + 12 = 4*j, 5 = 5*j. Let q(t) = -3*t**2 - 2*t. Let l be q(n). Is (-9)/(-12) + (-82)/l prime?
True
Let x = -6 + 11. Suppose -x*z + 271 = -144. Is z a prime number?
True
Suppose -8*i + 7*i + 3 = 0. Suppose i*n - 7*n = -932. Is n a composite number?
False
Let b(u) be the third derivative of 1/3*u**3 - 1/24*u**4 + 0 + u**2 + 0*u. Is b(-4) prime?
False
Suppose 0 = -3*w + 12, -2*w - 2*w + 20 = 2*m. Suppose -u = 3*z - 149, -2*u - 16 = m*u. Is z prime?
False
Is (-2 + (1 - 0))/((-6)/1338) composite?
False
Is (10516/(-77))/(4/(-14)) a composite number?
True
Let d = -12 - -3. Let h = -6 - d. Let p(y) = 2*y**2 - 2*y + 1. Is p(h) composite?
False
Let v(k) = 4*k + 2. Let y(r) = r**2 - 1. Let l be y(2). Is v(l) composite?
True
Suppose -y + 5*y = 5*g + 152, -12 = 3*g. Let d be (y/(-6))/((-1)/(-6)). Let b = d + 88. Is b a composite number?
True
Let n = 6 + 32. Is n prime?
False
Suppose 5*m - 27 = -t, -3*m - 2*t - 3 = -22. Suppose 0*r - 5*g + 170 = 5*r, -m*r = -g - 200. Is r composite?
True
Suppose 0 = 4*z + y - 6, 4*z - 6*z - 2*y = 0. Suppose p - z = -4*c, -12 = -4*p - 4*c - 4. Is 38/((1 - p) + 3) a prime number?
True
Suppose 0 = m + 3*a - 1136, 3*m - 2310 - 1168 = 5*a. Is m prime?
True
Let p be 3*(-7)/(21/(-2)). Suppose -p*s = s - 3, 3*l - 335 = -2*s. Is l a composite number?
True
Suppose -t = 4*m - 1630, -5*m = 2*t - m - 3248. Is t a prime number?
False
Let i(u) = 12*u - 11. Is i(4) a composite number?
False
Let j(a) = -1667*a + 37. Is j(-2) a prime number?
True
Let f = 2954 - 1759. Is f composite?
True
Let q(u) = u + 7. Let i = 2 + -6. Let f be q(i). Suppose -4*g = -3*g + 4*o - 17, 0 = -3*g + f*o + 126. Is g a prime number?
True
Suppose -6*h + 4*h = 0. Suppose h = -z - 0*z + 37. Is z composite?
False
Suppose 2*z = -0*z - 3*w, 4*w + 2 = -2*z. Suppose 0 = z*k + 2*k - 275. Is k a prime number?
False
Let x(b) be the first derivative of 151*b**4/4 - b**2/2 - b + 3. Let y be x(-1). Let z = y - -218. Is z composite?
False
Is 4/(3 - 5) - -421 prime?
True
Suppose -u - 3*c + 731 = 0, u + 3*u - 2954 = 3*c. Is u composite?
True
Let g(s) = s**3 - 9*s**2 + 6*s + 10. Let j be g(8). Let h(i) = -i**3 - 4*i**2 + 6*i + 1. Is h(j) a prime number?
True
Suppose -2*l - b + 1896 = -3*b, -4*b + 1890 = 2*l. Is l a composite number?
False
Is 5*1/((-5)/(-57)) composite?
True
Suppose 109 = -2*h + 381. Suppose 31 = -5*q + h. Is q composite?
True
Suppose -3*m + 3*l + 6 = 0, -2 = 4*m - l - 4. Suppose 0*k - 2*k + 10 = m. Let h(j) = 19*j - 6. Is h(k) composite?
False
Suppose -2*n = n - 3. Let r be (-24)/(-5) + n/5. Suppose 50 = 5*o + m - 102, r*o - 140 = -5*m. Is o a composite number?
False
Suppose -3*y + 4 = -8. Suppose 4*m + o - 120 = 5*o, -m + y*o = -45. Is m a composite number?
True
Suppose -5*x = -0*x + 50. Is x*34/8*-2 composite?
True
Let p(k) = k**3 - 8*k**2 + 6*k + 3. Let y be p(7). Let g = y + 7. Suppose -243 = -3*r - g*s, 5*s - 15 = 5. Is r composite?
True
Suppose -z + o - 6*o + 67 = 0, -3*z + 2*o = -201. Is z a prime number?
True
Suppose 5*n = 3*w - 5, -2*n - w = w - 14. Is 124/8*(0 + n) prime?
True
Let r = -290 - -407. Suppose r = b + 2*b. Is b a composite number?
True
Suppose 3*h + 30 = -2*h. Let y(p) = 4*p**2 + 7 + p**2 - 6*p + p**3 + 0*p**2. Is y(h) prime?
True
Let u(z) = -4*z**2 + 0 - 3*z**2 - z**3 + 5. Is u(-8) a prime number?
False
Suppose 4*j = 77 + 431. Is j a composite number?
False
Suppose -938 = -x - n + 1155, -4*x - 5*n = -8370. Is x prime?
False
Let l = -75 - -142. Is l composite?
False
Let x = 6 - 3. Let l be 19/4 + x/12. Let j(t) = 4*t**2 - 4*t - 1. Is j(l) a prime number?
True
Let y = 1174 - 779. Is y a composite number?
True
Let t be (-105)/(-4) - (-1)/(-4). Let p be (t/4)/((-1)/(-6)). Let y = p - -10. Is y prime?
False
Let u(x) = -5*x**2 - 4*x + 12. Let c be u(-5). Let l = c - -176. Is l prime?
True
Suppose 3*p = -2*p - 15, 0 = 2*r - 2*p - 244. Is r a prime number?
False
Let y(j) be the third derivative of j**6/120 + j**5/6 - j**4/24 - 11*j**3/6 + 4*j**2. Suppose -13 = 2*q + 5. Is y