ppose 5*n + 5 = 5*t, 6 - 18 = -2*t + 4*n. Let q be (-160)/(-25) - t/(-10). Is a(q) prime?
True
Let t = 2 - 1. Let q be 40/(-16)*(t - 3). Suppose -q*i = 48 - 443. Is i a prime number?
True
Let r be ((-1)/(-2 - -3))/(-1). Let n be 9/r*4/6. Suppose t = n*t - 155. Is t prime?
True
Let x(o) = 31*o**3 - o**2 + o. Suppose h + 2*f = -1, 0 = -4*h - 5*f - 1 - 0. Is x(h) a composite number?
False
Let z = -3 + 15. Suppose 5*n - z = c + 17, 17 = 5*n + 2*c. Suppose -148 = r - n*r. Is r prime?
True
Let m(t) = -t**2 + 5*t + 2. Let s be m(5). Let j be s/((8/3)/4). Suppose -j*d - 5*l + 10 = 21, 5*l + 5 = -5*d. Is d a composite number?
False
Let l(o) = 197*o + 48. Is l(11) prime?
False
Let t(s) = 29*s - 1. Let p(g) = -g**3 - 2*g**2 - g. Let u be p(-2). Is t(u) composite?
True
Is (92 + 2 - -1) + 2 a composite number?
False
Let u(x) = 12*x**3 + 5*x**2 + 5*x + 1. Is u(5) composite?
True
Let d(v) be the second derivative of v**4/12 + 3*v**3/2 + 25*v**2/2 - 2*v. Is d(-17) a composite number?
True
Suppose -4*i + 2*j = -2*j + 88, 5*i + 131 = -2*j. Let o = 4 + -51. Let b = i - o. Is b composite?
True
Let i be 0/((-4)/(6/(-3))). Suppose p - 19 = 3*t, -3*t + 2*p + 2 - 25 = i. Let j = t + 72. Is j a composite number?
False
Let f(g) = 4*g**2 - g + 1. Let h be 1/(-2) + 9/6. Let t be f(h). Is 374*-1*t/(-8) composite?
True
Suppose -y - 821 = -4*d, -3*y + y = -d + 207. Is d a composite number?
True
Suppose 3*p - 1665 + 601 = -2*a, 1615 = 3*a - 5*p. Is a prime?
False
Let y(d) = d**3 - 7*d**2 + 4*d + 6. Is y(7) a prime number?
False
Let g = 959 - 664. Is g composite?
True
Let x(g) = 20*g**2 + 2*g + 7. Is x(5) a composite number?
True
Suppose -3*y = -2*y - 113. Is y a composite number?
False
Let r(x) = -2*x**3 + x**2 + x - 4. Let y(m) = m**3 - m**2 + 1. Let d(f) = -r(f) - 3*y(f). Is d(-2) composite?
False
Suppose -62 = -3*n + 4. Suppose -z + 113 - n = 4*b, -z = b - 97. Let r = 184 - z. Is r prime?
False
Suppose -5*p - 10 = 0, 3*v - 2*p = -3*p + 5701. Is v a composite number?
False
Let c = 5 - 5. Suppose c*i = -i + 80. Let x = i - 25. Is x a prime number?
False
Let v = -1 + 3. Suppose -u + 27 - 9 = -5*p, 2 = -v*p. Is u a prime number?
True
Let z(l) = -5 + 3 - 9 + 6*l + 2*l. Is z(8) a prime number?
True
Is ((-1889)/3)/(-1) - (-2)/(-3) a composite number?
True
Let a = -952 + 1437. Suppose 5*o + 2*h = a, -2*o - h + 194 = 3*h. Is o a prime number?
True
Is (-5 - -4)/((-5)/1255) prime?
True
Is (1018/10)/((-1)/(-5)) a composite number?
False
Let q(b) = 2*b + 1. Let i be q(5). Let c = i + 1. Suppose -32 = -4*s + c. Is s a prime number?
True
Is -2*(6206/(-4) + 5) prime?
False
Let k = -11 + 16. Let i = k - 3. Suppose -771 = -5*r + i*r. Is r composite?
False
Let d = 0 - 0. Is (22 + (d - 3))*1 prime?
True
Suppose 0 = 4*l - 12 - 20. Let a = -4 - l. Let h = 27 + a. Is h a prime number?
False
Let t(o) = -o**3 - 8*o**2 + 3. Let m be t(-8). Suppose 5 - 2 = -m*c, -2*c - 259 = -f. Is f a prime number?
True
Let c(k) = -129*k**2 + 7*k + 7. Let x(s) = -2*s - 8. Let y be x(-6). Let l(o) = 65*o**2 - 3*o - 3. Let p(u) = y*c(u) + 9*l(u). Is p(-1) composite?
True
Let a(r) = -211*r. Is a(-1) a prime number?
True
Let s = 49 + -107. Let c be s/(-18) + 2/(-9). Let w(k) = k**3 - 2*k**2 - 2*k + 4. Is w(c) composite?
False
Suppose 0*q - 242 = -q - 4*x, -998 = -4*q - x. Suppose 0 = -4*n - q + 1502. Suppose -3*d + n = 46. Is d composite?
False
Suppose 3*m - 4 - 11 = 0. Suppose 39 = 2*w - m*j, -3*w + 0*w - 3*j = -69. Is w a prime number?
False
Suppose 0 = 2*j + 667 + 263. Suppose -3*s - 594 = 246. Let y = s - j. Is y a prime number?
False
Suppose -2*v = 3*l - 23, 5*v = -4*l - 15 + 62. Suppose -j - 5 = -2*d, 3*j + 1 = 10. Suppose v = a + u, 0 = -4*a + 3*u + u + d. Is a prime?
False
Let p(o) = -6*o**3 + 4*o**2 + 4*o + 3. Let s = -7 + 5. Is p(s) prime?
True
Let r(n) = -n + 230. Let d be r(0). Is (-4)/(-12) + d/3 a prime number?
False
Let s(h) = 5747*h**2 + 3*h - 1. Is s(1) prime?
True
Let g(a) = 120*a - 5. Suppose 0*h = -5*i - 2*h + 61, 4*h = 12. Let t(x) = 24*x - 1. Let c(s) = i*t(s) - 2*g(s). Is c(5) composite?
True
Let y = 164 - 90. Is y composite?
True
Let i(n) = 2*n**3. Let k = 0 + 1. Let x be i(k). Suppose x*b = b + 67. Is b a composite number?
False
Let o = -11 - -25. Is o/(-4)*(-175 - 3) prime?
False
Let k = 11598 + -22227. Is k/(-81) - 4/18 composite?
False
Let f(h) = h**2 + 6*h - 6. Let r be f(-7). Let d be (114 - (2 - 0)) + r. Suppose 0 = 2*u - 2*z - 72, -3*u - 5*z + d = -3*z. Is u a prime number?
True
Let b = -12 + 17. Let h = 15 - b. Suppose 4*p = 5*f + 32, 0 = 5*p - h*p - 5*f + 85. Is p prime?
True
Suppose 22 = 4*c + 3*x + 6, 0 = -2*c + 2*x + 8. Suppose -5*t = 2*w + 27 - 201, -324 = -4*w - c*t. Is w prime?
False
Let p(d) = 8*d**2 + 4*d - 3. Let v be p(2). Suppose 0 = z - 0*u + 3*u - v, -3*z + 51 = -3*u. Is z a prime number?
False
Suppose 0 = -0*h - 3*h + 669. Is h composite?
False
Let m = -3 + 6. Suppose 0 = m*r - 2*u - 69, 2*r - 4*u - 13 - 41 = 0. Is r a composite number?
True
Suppose -5*m + 4*d + 52 = 0, -2*m - d = -5*m + 27. Let f = m + -6. Is f - (-2 - (-3 + 2)) a prime number?
True
Is 3/(-6) + (-4795)/(-10) prime?
True
Suppose -5*z - 5*k = -2470, -6*z + 2515 = -z - 4*k. Is z prime?
True
Let i = -108 + 139. Is i a prime number?
True
Let c be (4/3)/(4/6). Suppose -n = -c*x + x - 559, 2827 = 5*n + 3*x. Is n composite?
False
Let n be 4/(-10) + 42/30. Let t be (n*3)/(18/12). Suppose t*j - 9 = 61. Is j a prime number?
False
Suppose 0*s - 9 = -3*s. Suppose 4*a - 5*z - 80 = -z, s*a + 5*z - 52 = 0. Suppose -a = -4*d - y, -d - 5 = -3*y - 0*y. Is d a composite number?
True
Suppose 2*g - j = 4, g + 0*j - 8 = 2*j. Suppose g*b - 4*y - 496 = -4*b, 2*y = -4*b + 466. Is b a composite number?
True
Let y(t) = -6 + 6*t**2 - 8*t - 3*t + 12*t. Is y(5) prime?
True
Suppose 0 = 2*q - 3*q. Suppose -f = 3*f - 564. Suppose q = -2*o - o + f. Is o prime?
True
Let s = -1190 + 1909. Is s a prime number?
True
Let k(x) be the third derivative of -x**6/120 + 3*x**5/20 - x**4/6 + 2*x**3/3 - 2*x**2. Let q be k(8). Suppose 25 = -5*z, -2*z = -2*b + q + 44. Is b composite?
True
Is (278/(-3))/((-2)/3) a composite number?
False
Let y(u) = -3*u + 1. Let k = 9 + -5. Let q be (2 + -5)/(6/k). Is y(q) a prime number?
True
Let s(a) = a + 13. Let z be s(-10). Suppose -z*d = -59 - 100. Is d composite?
False
Suppose 2*u + 5*g + 3 = 30, -20 = -4*g. Let v = -6 + 4. Is u*(-25)/v*2 composite?
True
Is (1 - 13/(-4))*20 a prime number?
False
Let v be 610/(-3) + 4/(-6). Let s = v - -337. Is s a composite number?
True
Let m(g) be the third derivative of -9*g**4 - g**3/6 - 4*g**2. Is m(-1) prime?
False
Let w = -10 - -48. Suppose 59 = 4*v - 2*a - 17, w = 2*v - 4*a. Is v a prime number?
True
Let b(s) be the second derivative of -1/2*s**2 - 5/12*s**4 + 0 - 1/3*s**3 - 3/20*s**5 - 3*s. Is b(-4) a composite number?
True
Let o(s) = 92*s + 7. Let c be o(6). Let y = -22 + c. Is y/9 + 4/(-6) prime?
True
Let f be (-21)/6*(-16)/28. Suppose -f*y = y - 141. Is y a composite number?
False
Suppose -5*o = 3*k + 2*k - 2590, -2*o - 6 = 0. Is k composite?
False
Is 65 - ((-4)/2 - -2) a composite number?
True
Let p(k) = 2*k + 7 - 2*k - 1 - 4*k. Is p(-5) a composite number?
True
Let r = 66 + -35. Suppose 0*p = p - r. Is p a prime number?
True
Let l = 673 + -336. Is l composite?
False
Let i(r) = -95*r + 8. Is i(-3) composite?
False
Suppose 0 = -7*a + 3*a + 1484. Is a a prime number?
False
Suppose -w - 3*w = 0. Suppose r - 20 = -4*q, r = -w*q + q - 5. Suppose 0 = -q*v + 4*y + 285, -116 = -2*v + y + y. Is v composite?
False
Suppose 950 = 4*v - 1562. Suppose 3*q - v = -q. Is q prime?
True
Suppose 2*m - 1095 + 271 = 0. Suppose 0 = 5*s - m + 137. Is s a composite number?
True
Suppose a - 2*a = -71. Let j = 108 - a. Is j composite?
False
Let n = -89 - -96. Is n composite?
False
Suppose 5*k = 564 - 19. Is k a composite number?
False
Let v(x) = -3*x - 1. Let d be v(-1). Suppose 39 - 132 = -i + 4*j, -d*i - j + 195 = 0. Is i composite?
False
Suppose 5*f - d - 16 = -0*d, f = 5*d + 8. Suppose f*o = 3, 3*t - 4*o - 2339 = 822. Is t composite?
True
Suppose 0 = c - 9 - 8. Let y = -14 + 18. Suppose -y*s + c = -43. Is s prime?
False
Let w(s) = -51*s - 7. Let c(p) = -26*p - 3. Let m(k) = 5*c(k) - 2*w(k). Is m(-8) a prime number?
True
Suppose -2*l + 0*l = 0. Is (-1)/(3/(-63) - l) a composite number?
