ose 0 = -m + h - 17. Is m a composite number?
True
Suppose 3*j = 7*j - 20. Suppose -q = j*u - 54, -2*q - 32 = -4*u - 0*u. Let r(k) = 3*k**2 - 6*k + 13. Is r(u) prime?
False
Is (-45 - -41)*3299/(-4) a prime number?
True
Suppose 0 = 17*y + 1068 - 7273. Is y prime?
False
Suppose -2*c = -4*n + 5537 + 31497, 0 = -n - 3*c + 9248. Is n a composite number?
False
Let l = 105225 - 61218. Is l prime?
False
Let k(w) = -2*w**3 - w**2 + 12*w - 5. Let n = -9 + 3. Is k(n) a prime number?
False
Let x(a) = 1 - 23*a - 8 - 75*a. Let r = 624 + -630. Is x(r) composite?
True
Suppose 5*w = 3*y + 2*y - 120, 0 = -w - 5*y - 6. Let k be w/6*16/(-28). Is 272/(-12)*(-3)/k a prime number?
False
Is (-26)/8*-5884 - 4 a composite number?
True
Let q(k) = 0*k + 287 + 94 + 3*k. Let f(h) = -2*h - 254. Let o(t) = 7*f(t) + 5*q(t). Is o(0) composite?
False
Let s be (-2 - (-2 - 32))*(-3)/(-6). Let q(b) = 21*b**2 - 25*b - 19. Is q(s) composite?
False
Suppose -2*z + 2*f + 6 = 4*f, 0 = 4*z + f - 9. Suppose 2*p - 2*j = 326, z*p + 0*j - 4*j - 330 = 0. Is p a prime number?
False
Suppose -3*j - 2*m = -10, j + 3*m - 5 = -j. Suppose j*s + 3*y - 1310 = 459, -3*y = 15. Is s a composite number?
True
Suppose -2*d + 11721 = d. Is d composite?
False
Suppose 0 = -u - 2*r + 21823, 0 = 4*u + r - 31718 - 55609. Is u prime?
False
Let s(r) = -383*r + 30. Let k be s(-7). Suppose -4*v + k + 3171 = q, 0 = v + 4*q - 1463. Is v a prime number?
True
Let c(f) = f**3 + 8*f**2 + 6*f - 7. Let i be c(-7). Suppose s + 1 + 8 = i. Is (-3)/s + 490/6 prime?
False
Suppose 3*d - 2*d - 4*v = 566, -3*d - 3*v + 1698 = 0. Suppose -8*l + 3426 = -d. Is l composite?
False
Let b(o) = 100*o**3 + 2*o**2 + 2*o + 1. Let c = 7 + -8. Let y be b(c). Let t = 145 + y. Is t a composite number?
True
Is (-435827)/(-69) + (-2)/(-3) a composite number?
False
Let y(n) = 3*n - 35. Let f be y(13). Suppose s - 3*i - 692 = 0, -3*i = -f*s + 836 + 1959. Is s composite?
False
Let f(a) = -a**3 + 8*a**2 - 9*a + 16. Let n be f(7). Is (n/6)/((-25734)/(-8577) - 3) composite?
False
Let h = -1390 - -6191. Is h prime?
True
Let u(f) = 13*f**3 - 13*f**2 + 35*f - 116. Is u(15) a prime number?
False
Let r(m) = 3 + 18*m + 0 - 2*m**3 - 2*m**2 + 2. Suppose -4*x + 88 = 116. Is r(x) a prime number?
True
Let r(l) = l - l + 6 - 5*l + 3*l. Let x be r(5). Is (x - -3) + 0 - -83 composite?
True
Let j(s) be the third derivative of s**6/120 - s**5/5 + 2*s**4/3 - 5*s**3/6 - 13*s**2. Is j(12) a prime number?
False
Suppose 2*x = 2*d - d - 364, 0 = -3*d + 4*x + 1098. Let t = d - -81. Is t a composite number?
True
Suppose f + 20 = 2*f. Suppose -f = 5*j + 60. Let n = j + 47. Is n prime?
True
Let m = -9 + 15. Let a be ((-50)/15)/(m/693). Is a/(-2) - (-18)/(-12) a prime number?
True
Let r be 5*2 - (-9 - -12). Suppose -5*f - i = -20, 5*f + 0*f - 30 = -3*i. Let z = r - f. Is z a prime number?
False
Suppose 0 = 3*x - 6*x. Let u(f) = 4 - 6*f + 26*f**2 + x*f + f. Is u(3) a prime number?
True
Suppose 22 + 14 = 2*p. Let a be 4318/9 - (-4)/p. Suppose -4*n + a = 4*i, 3*i = -5*n + 220 + 382. Is n a composite number?
True
Let n = -6798 + 18356. Is n prime?
False
Is -2*4/(40/(-5155))*7 a composite number?
True
Is ((-10885)/10)/1*-2 a composite number?
True
Suppose 3*r = 4*a - 1250 - 5278, -4*a - 4*r + 6556 = 0. Is 14*(a/10 + 2) a prime number?
False
Let l(z) = -z - 1. Let s be l(-4). Suppose 2*o + 6 = s*w, -7 = -4*w + 9. Suppose -2*g - 2428 = -2*x, 1216 = 4*x - 3*x - o*g. Is x a prime number?
True
Suppose 0 = 5*u - 942 - 293. Let y = u - 98. Is y prime?
True
Let i = -2273 + 4316. Let p = -56 + i. Is p a prime number?
True
Suppose -3*p + 5505 = -4308. Is p composite?
False
Let p(v) = -37*v - 58. Let s(l) = 109*l + 173. Let m(u) = -17*p(u) - 6*s(u). Is m(-29) a prime number?
True
Let j(x) = 9*x**2 - 47*x - 509. Is j(46) prime?
False
Suppose n + 26 = 3*n. Let h = n - 10. Let k(f) = 76*f - 5. Is k(h) prime?
True
Let j(l) = 3*l - 6. Let a be j(13). Let w(o) = -16 - 9*o + o + a*o. Is w(5) a prime number?
True
Let i(h) = h**3 + 2*h - 6. Let a be i(0). Let m be -6*9/a - 3. Suppose m*p - 7*p + 895 = 0. Is p a prime number?
False
Let w(b) = 190*b**3 - 2*b**2 + 5*b + 1. Is w(4) a prime number?
True
Let r(c) = 3*c - 64. Let d be r(20). Is 3*(d + 1169/3) a composite number?
True
Is (-2 - (-272636)/39)*(-6)/(-4) prime?
False
Let z(k) = k**3 - 11*k**2 + k + 10. Let j(w) = -w**3 + 13*w**2 + 17*w - 20. Let v be j(14). Suppose -4*f = -2*f - v. Is z(f) a composite number?
True
Suppose -s + 5*z + 33309 = s, s - 16692 = -5*z. Is s a composite number?
True
Let h be 1*-127*(-1 + -3). Suppose 0 = -4*w - 0*w + h. Is w composite?
False
Let f = -34529 - -18901. Is (-3 + -4 + 81/12)*f composite?
False
Let y be 3 - (7 + (-1)/((-2)/(-8))). Suppose 0*r + 4*u = -r - 2, -2*r - 2*u + 20 = y. Is r a prime number?
False
Let a(p) = -330*p - 46. Is a(-2) prime?
False
Let v = -5204 + 8002. Is v a composite number?
True
Suppose 3*h + 11254 = 2*x + 5*h, 2*x = 3*h + 11234. Is x a composite number?
False
Let p(j) = 52*j**2 + 12*j + 55. Is p(-14) composite?
False
Suppose 4*r - 2*x = 20, -2*r + 2*x + 10 = -4. Suppose 5*n - 4*s = 3*n - 408, -r*n - 604 = 2*s. Let b = n + 333. Is b a prime number?
True
Suppose -i + 5*y = -454, 3*y - 2*y = 4*i - 1873. Let q(w) = 6*w - 25. Let m be q(5). Suppose -3*o + 3*t = -507, 376 = m*o - 4*t - i. Is o a prime number?
False
Let k(d) = -13*d**3 + 11*d**2 + 85*d - 35. Let j(z) = -7*z**3 + 5*z**2 + 43*z - 18. Let u(b) = 11*j(b) - 6*k(b). Is u(17) a composite number?
False
Suppose -6*z + 38 = 8. Suppose -3*u = -u - z*b - 13, 3*u - 3*b - 42 = 0. Is u prime?
True
Suppose 2*m + 64 = -3*m + 2*t, 0 = -2*m - 2*t - 34. Suppose -4*l = -2*l + 8. Is (m/l)/(7/182) prime?
False
Suppose 7*w + 41 = 8*w. Suppose -w = -2*f + 113. Suppose -n - f = -183. Is n a composite number?
True
Suppose -3*w - 1 = -2*j, 0 = -3*w + w + 2. Suppose -1401 - 385 = -3*h - 5*t, -2*h + j*t + 1164 = 0. Is h composite?
False
Let w(m) = m + 1. Let v be w(-1). Suppose v*d + 752 = 4*d. Let f = d + 311. Is f composite?
False
Let t(b) = -2*b**3 - 10*b**2 - 40*b - 55. Is t(-18) a prime number?
False
Let y(w) = -w + 10. Let u be y(8). Suppose 4*q - u*q = 8. Is q/6 - 199/(-3) prime?
True
Is 2268 - 24/16*(-2)/(-3) composite?
False
Suppose -2*o + o + 717 = 5*h, -4*h = -2*o + 1504. Let p = o + -299. Is p composite?
False
Let r = 335 + -189. Suppose 0 = -l - 4, -3*v - 4*l = r - 2341. Is v prime?
False
Let u = -154 + 78. Let t be (-3 - 33/(-12))*u. Let r = t - -52. Is r a prime number?
True
Let t be 468/21 + (-2)/7. Let u = 7 - t. Is (-556)/(-10) - (-9)/u prime?
False
Suppose -3*o = -y + 37641, 6*y - 4*y - 75282 = -3*o. Is y composite?
True
Let y(p) = -p**2 + p + 109. Let k(m) = m**3 + 8*m**2 + 6*m - 7. Let o be k(-7). Is y(o) prime?
True
Let r(j) = j**3 + j**2 + 1. Let u(k) = 15 - 10 + k**3 - 9*k + 12 - 14*k**2. Let c(v) = 2*r(v) - u(v). Is c(-12) a composite number?
True
Suppose 8 = -2*n - 4. Let y = 7 + n. Let p = y + 126. Is p a prime number?
True
Suppose 2*z = -2*z + 32. Suppose -z*l - 595 = -13*l. Suppose -y = -44 - l. Is y a prime number?
True
Suppose 48*y - 3263 = 35*y. Is y composite?
False
Let p = 4906 + 321. Is p a composite number?
False
Suppose 1144 = 15*c - 7*c. Suppose -t = 4*q + t + 302, 2*q - 3*t = -171. Let w = c + q. Is w a prime number?
False
Let l = -10736 + 18279. Is l composite?
True
Let a(g) = -862*g + 629. Is a(-62) a composite number?
True
Let r be ((-4)/6)/((-8)/36). Suppose 0 = -3*w, 0 = 3*t + r*w - 223 - 1400. Is t prime?
True
Suppose -3*u + 2559 = -2*u + 4*i, 3*u - 3*i - 7647 = 0. Is u prime?
True
Let n = 9391 - 3065. Is n a prime number?
False
Let h = -1192 - -2093. Let v = -610 + h. Is v a composite number?
True
Let l be ((-95)/2)/(8/(-512)). Is -3*(l/(-12) - -3) composite?
False
Is (-7)/(42/(-29094)) + (4 - 0) a prime number?
False
Suppose -76*k = -71*k - 44615. Is k a composite number?
False
Suppose 0 = -3*h + 5*i - 15, -3*i = -5*h - 5*i + 6. Suppose u - 18 = -4*q + 6, 3*u - 4*q + 8 = h. Is (-307)/(((-8)/2)/u) prime?
True
Let x be 794/3*(6 - 3). Let b = 1275 - x. Is b a composite number?
True
Suppose 5*y = -3*j - 8 - 6, 3*y + 4*j + 4 = 0. Suppose -1 = -5*h + t - 5*t, -5*t = 3*h - 11. Is 2/h*534/y prime?
True
Let z be 92*(-5 - 2/(-1)). Let f be (12/8)/(9/z). Is f/(-6)*(29 - -4) a composite number?
True
Let z(w) = -w**2 - w + 3