, -2*v = -0*v - 2*g - 14. Suppose 0 = -v*t + 4*t + 335. Is t prime?
True
Let o(s) = -s**3 - 7*s**2 + 1. Let q be o(-7). Is (5/(-20))/(q/(-436)) composite?
False
Let c = 1 + -1. Suppose u = -4*t - 4*u - 8, c = t - 3*u - 15. Is t prime?
True
Let c be (-2)/8 + (-11)/4. Let l(i) = 0*i + i**2 - 2*i**2 - 2*i - 2 - 5*i. Is l(c) prime?
False
Let a(p) = 2474*p - 25. Is a(4) a prime number?
True
Suppose -37 = -3*v - 2*p + 4*p, 0 = 5*v - p - 64. Suppose -4*o - v - 8 = -t, 4*t = 4*o + 132. Is t prime?
True
Suppose -5*t = -2*t. Let g = 0 + t. Is 508/12*(3 - g) a prime number?
True
Let u(r) = -r + 7. Let v be u(4). Suppose 5*j - 2331 = q, -3*j + q = v*q - 1409. Is j composite?
False
Let g(y) = -y**2 - y + 53. Let i = -4 - -7. Let u = -3 + i. Is g(u) a prime number?
True
Let p(n) be the third derivative of -8*n**4/3 - n**3/3 + n**2. Is p(-1) a prime number?
False
Let u(g) = 157*g - 2. Let r(x) = 78*x - 1. Let p(f) = -13*r(f) + 6*u(f). Is p(-2) prime?
False
Suppose 0 = -5*n + d + d + 1, -d - 3 = -5*n. Is (1 + n + -4)*-17 composite?
True
Let s be (-6)/(-4)*50/15. Suppose q = s*q. Suppose b - 127 = -q*b. Is b composite?
False
Let i = 375 - -148. Is i a prime number?
True
Let v be (1422/(3 - 1))/(-1). Let h(m) = m**2 - 6*m + 6. Let o be h(6). Is (4/o)/((-6)/v) prime?
True
Suppose 0*t = -2*d - 2*t + 740, 5*d = -t + 1854. Is d a prime number?
False
Suppose -6*r = -2*r - 8. Suppose -r*f - 4 = -6*f. Is (f + 0)/(1/14) a composite number?
True
Suppose -786 = 3*b + 3*h, -2*b - 126 = 5*h + 404. Is (-2)/6 + b/(-6) a prime number?
True
Let h = 17 + -9. Let s = -6 + h. Suppose s*x + z = 523, 0 = -3*x - x - 5*z + 1061. Is x composite?
True
Let t = 110 + 129. Is t composite?
False
Let v = -423 - -770. Is v composite?
False
Let b(s) = s**2 - 3*s + 15. Let p(q) = q + 1. Let u(y) = b(y) + 4*p(y). Suppose 2*w + 6 = 4*j + 2, -2 = 5*j + w. Is u(j) a composite number?
False
Is 1 + 162 + (-2)/1 composite?
True
Suppose 3*y - 2*c = -0*c + 21, -3*c + 28 = 4*y. Let v(a) = a**2 - 8*a + 9. Let f be v(y). Suppose f*k - 30 = 44. Is k composite?
False
Let x(h) be the second derivative of -h**4/12 - 2*h**3/3 - h. Let a be x(-6). Let g = -5 - a. Is g a prime number?
True
Let c(b) = 10*b**2 - 4*b + 5. Is c(7) prime?
True
Let b(x) = x + 7*x - 3*x - 14 + 7*x. Is b(11) composite?
True
Let o = 14 + -138. Is 7/(14/6) - o a prime number?
True
Suppose 0 = 4*q - 0*q - 3*o - 989, -o - 246 = -q. Is q prime?
True
Let c = 10 - 7. Let n be 0/(2 + -5) + c. Suppose -359 = -n*d + 34. Is d composite?
False
Let f(j) = 167*j + 4. Is f(3) a prime number?
False
Let g(h) = 35*h**2 + 4*h + 4. Let m be g(-3). Suppose -3*i + 4*i = 188. Let j = m - i. Is j a composite number?
True
Suppose 3*b + 26 = 8. Is (-82)/b - (-1)/3 prime?
False
Let j be (-500)/(-6)*(-12)/(-10). Suppose 5*t = 11*t + 378. Let u = t + j. Is u composite?
False
Suppose -27*p + 32*p = 1295. Is p a composite number?
True
Let y = 0 + 1. Let l be -25*y/2*4. Let b = l + 71. Is b composite?
True
Suppose -y - 3*a = 2*y - 219, 2*y + a = 150. Is y composite?
True
Suppose -3*u - 2*r = -7, -5*r + 0 = 5. Suppose -1 + 10 = u*g. Suppose g*w = -42 + 108. Is w a composite number?
True
Suppose f = -5*n + 1663, 3*f - 499 - 827 = -4*n. Suppose -3*w + n = -0*w. Is w composite?
True
Suppose -616 = -2*g - 2*g. Let t = g + -419. Let f = -116 - t. Is f composite?
False
Let x(r) = -r**3 + 2*r**2 - r + 131. Is x(0) a composite number?
False
Suppose 0 = -5*n - 5*v + 40, -2*n - 8 = -3*v + 1. Suppose n*k = -0*k - 30. Is k/(-35) + 766/14 a composite number?
True
Let v = 841 + -543. Is v prime?
False
Is 10 + (-1 - (-3 - 2)) a prime number?
False
Let p = 100 + -143. Let d = p + 170. Is d prime?
True
Suppose 3*c = 11 + 1. Suppose -3*w = -4*w - z + c, -z = -5*w + 26. Suppose -w*u = -20 - 25. Is u composite?
True
Let y be (-2)/((-2)/28*1). Suppose -5*x + x + y = 0. Is x a prime number?
True
Suppose -5 = 3*m - 11. Is 0 - (m + 0 + -35) a prime number?
False
Let n = 11 - 18. Let f = 9 + n. Suppose -f*x + 4*x = -4*j + 10, -j - 1 = 0. Is x a prime number?
True
Suppose 4*v - 5*f - 2843 = 0, v - 692 = -6*f + f. Is v prime?
False
Is 2516/10 + 1 + 16/(-10) a composite number?
False
Suppose -4*j = -6*j + 194. Is j a prime number?
True
Let o be (-318)/8 + (-2)/8. Let h = 75 - o. Is h prime?
False
Let t = 19 - 35. Let s = 198 - t. Is s a prime number?
False
Suppose 2*k = -x + 1129, -5*k + 3392 = 3*x - 0*x. Is x a composite number?
True
Suppose -3*s - s = 24. Let p(i) = -13*i - 1. Let x(w) = -12*w - 1. Let g(j) = -3*p(j) + 4*x(j). Is g(s) composite?
False
Suppose 4*g + 4 = 240. Is g composite?
False
Suppose 6*l - 1145 - 1081 = 0. Is l prime?
False
Suppose 4*x + 536 = 3*v, 4*v - 832 = 4*x - 296. Let n = 85 - x. Suppose 0 = -2*i + c + 99, 2*c + 3*c - n = -4*i. Is i a composite number?
True
Let i(f) = f - 2. Let b be i(4). Let d = b - 4. Is (-1)/((-2)/(-44)*d) a prime number?
True
Let w(i) = -133*i + 8. Is w(-3) composite?
True
Let j(z) = z**2 + z. Let r be j(-1). Let p(g) = g**3 + 8*g**2 - 2*g - 10. Let c be p(-8). Suppose -u + 1 = c, -2*k + 5*u + 67 = r. Is k a composite number?
True
Is 1 - (44725/(-20) + (-3)/(-12)) prime?
True
Suppose -4*z + 156 = 2*q, 3*q - 62 = -3*z + 61. Is z prime?
True
Suppose 2*h = 13 + 93. Suppose -4*p + 95 = -h. Is p a prime number?
True
Let r(z) = -z + 8. Let x be r(4). Suppose -2*v = -x*v - 2. Is -7*3/3*v a composite number?
False
Let c(r) = -3*r + 307. Is c(0) a prime number?
True
Let n = 5 + -7. Is (-4)/n + (2 - -10) prime?
False
Let d(y) = -122*y**3 + 3*y**2 - 3*y - 3. Is d(-2) a composite number?
False
Let c(s) = -s**3 + 5*s**2 - 3*s + 1. Let z be c(4). Let o be (-672)/(-10) - 5/25. Suppose -2*b + b = -5*g - o, 0 = 2*b - z*g - 134. Is b a prime number?
True
Let s = -8 - -13. Suppose -4*a + 36 = -5*o - 0*a, -s*a = 5*o. Let i(j) = 2*j**2 + 2*j - 1. Is i(o) prime?
True
Suppose o = 7*o - 64110. Is o prime?
False
Let p(g) = -38*g + 23. Is p(-27) prime?
True
Is 14/70 + (6989/5 - 1) a prime number?
False
Suppose 4*r - 744 = 3*m + 2*m, -m + 195 = r. Is r a composite number?
False
Let i be 3 - (-225 + 3 + -1). Suppose -6*n - 18 = -4*n. Let z = i + n. Is z a prime number?
False
Let o(t) = 10*t - t**2 - 2 - 3 + t. Suppose q - 5*b = 28, -6*b + 8 = 3*q - 2*b. Is o(q) prime?
True
Let o = -7 + 13. Suppose 0 = -4*p - z + 7 + o, 2*p - 7 = -z. Is p prime?
True
Let w(q) = -25*q**3 + 11*q**2 + 6*q + 8. Let p(g) = -8*g**3 + 4*g**2 + 2*g + 3. Let j(x) = 11*p(x) - 4*w(x). Is j(1) a prime number?
True
Let b be (-1 - 1)/((-12)/1590). Suppose 2*s + 3*s = b. Is s prime?
True
Suppose -4*d + 3*k = 24, -2*d - 35 = 3*d - 5*k. Let b be 1 - d*4/(-6). Is 45 - (-6)/(2 - b) a prime number?
True
Let m(l) = -4*l + 9. Suppose i - 2 = 27. Suppose 5*s + i = -2*w - 0, 5*s = 5*w - 50. Is m(s) a composite number?
False
Let a = 97 - 32. Is a a composite number?
True
Suppose -2*c + 504 = -5*q + 176, 5*q = -3*c + 467. Let z = c - 18. Is z prime?
False
Let k(y) be the third derivative of 5*y**4/3 - y**3/6 - 2*y**2. Suppose 3*z = 1 + 5. Is k(z) prime?
True
Is (422/4)/((-3)/(-12)) composite?
True
Suppose -16*j + 3973 = 1269. Is j prime?
False
Let v be 2/4*(1 - -1). Let r be 5 + 10 - (-2 - v). Suppose 4*h - r - 58 = 0. Is h a composite number?
False
Let k be 1275/(-10)*(-16)/10. Let m = -77 + k. Is m prime?
True
Let a be (-40)/(-12)*6/5. Let n(r) = -52*r + 2. Let g be n(-3). Suppose -a*m + g = -2*m. Is m prime?
True
Let k(b) = 3*b + 2. Suppose -p - 1 = 5. Let c be k(p). Let i = c - -27. Is i composite?
False
Suppose 0 = -3*s - 15, 5*u - 130 = 5*s + 30. Suppose -4*q - u + 267 = 0. Let c = q + -27. Is c composite?
True
Let z(o) = 5*o - 3. Let q = -5 + 10. Let i be (6 + -5)*1*q. Is z(i) composite?
True
Let x(t) = -t**2. Let c be x(0). Suppose c = -3*j + 192 + 921. Is j a prime number?
False
Suppose -y = -0*y + 4*n + 12, -3*n = -2*y + 20. Suppose -5*h - 4*a - y = -h, -h = 2*a + 1. Is (-1)/(h/(1*329)) prime?
False
Is 2502/2 + 2 + 2 composite?
True
Let k = 1 + -3. Let x be 140*(16/10 + k). Is x*(-1 - 0) + -1 a composite number?
True
Suppose 0 = 5*d - 125 - 0. Suppose a - 2*a + d = 0. Is a prime?
False
Let w be (-4)/1 + (7 - 5). Let m(l) = 11*l**3 + l**2 - 3*l - 2. Let q be m(w). Let v = q + 139. Is v a composite number?
False
Let b = -506 + 897. Is b a prime number?
False
Suppose -x = 3*x - 3*j - 27, -2*j - 25 = -5*x.