rime?
False
Let m(q) = q**3 - 21*q**2 + 35*q - 15. Let k be m(23). Let h = k + -25. Is h a composite number?
False
Is 4/((-6)/32814*-12) composite?
False
Suppose 4*q = 28 - 8. Suppose -1 + 9 = -2*m - 2*o, -q*o = -m + 14. Is ((-1195)/(-10))/(m/(-2)) a prime number?
True
Let o be 21/(-14)*4/(-3). Suppose -2*f = -2*l + 11806, -4*f - f = -o*l + 11806. Is l prime?
True
Is (-6)/14 - 4013450/(-245) composite?
False
Suppose -2*d = -3*s - 5, d + 4*d - 18 = 2*s. Suppose -4*m = -0*m + 4*w - 24, d*w = 4*m - 16. Suppose 0 = -m*k + 540 - 145. Is k prime?
True
Let v(x) = -3*x**3 + x**2 - 3*x + 1. Let m be v(1). Is m/10 - 3828/(-20) composite?
False
Suppose -2*l = -3*a + 7, a - 6 = 3*a + 4*l. Is ((-3)/(-15))/a - (-1148)/10 composite?
True
Let p = 23 - 47. Let f = p - -17. Let g = 19 - f. Is g prime?
False
Let i be 9/(-12) - 22/(-8). Let x be 1*(-24 + (2 - i)). Is (592/x)/((-2)/15) a composite number?
True
Suppose 804 = 2*j - 98. Is j composite?
True
Suppose -5*y + 2*h + 29 = 5*h, 0 = 2*y - 2*h - 2. Suppose -y*j = 4*m - 1188, -2*m - 5*j + 591 = -0*m. Is m a prime number?
False
Let h(w) = 436*w**2 + w + 1. Let k(p) = -2*p - 17. Let t be k(-8). Let o be h(t). Is o/3 - (-7)/(-21) prime?
False
Let y(b) = -116*b + 69. Suppose -s + 33 = 47. Is y(s) composite?
False
Let g(m) = -11747*m - 283. Is g(-4) a composite number?
True
Suppose 2*m - 2649 = -m. Let p be (m - 7) + 3/1. Let d = p + -410. Is d composite?
True
Is (54/(-8) + 5)*-2392 - -1 composite?
True
Suppose -2*q + 8685 = 3*z + 234, 4*z = -q + 11263. Suppose 0 = 4*i - 9*i + z. Is i a prime number?
True
Let c = 69 + -85. Is (c/(-24))/(2/2661) a prime number?
True
Let w(g) be the third derivative of -g**5/60 + 17*g**4/24 - 3*g**3/2 - g**2. Suppose -60 = -5*h - 4*a + 6*a, a + 37 = 3*h. Is w(h) a prime number?
False
Is 4/8 + ((-34902)/(-12) - 3) prime?
False
Suppose 9*y = 14*y + 20. Is (-67)/(0 - (-3 - y)) prime?
True
Let v be 2/(-10) + 446/30*141. Suppose 0 = -0*u + 2*u - 2, -p - u = -v. Is p a prime number?
False
Let c(y) = -y**3 - 5*y**2 - 3*y + 4. Let i be c(-3). Let p be i/((-15)/1662) - 3. Suppose 69 = 4*h - p. Is h a composite number?
True
Suppose -80*o - 168 = -74*o. Is (2 - o/(-13)) + (-65268)/(-52) a prime number?
False
Let d be (-1 + (8 - 3))*1/(-2). Is (d*12/(-8) - -8555) + 3 prime?
False
Suppose 43*x + 520585 = 56*x. Is x prime?
False
Let z(h) = -125*h - 8. Is z(-9) prime?
True
Let q(y) = -2*y - 5*y**2 - y**3 - y - 2*y - 1. Suppose -17 - 19 = 9*j. Is q(j) prime?
True
Let k = 15687 + -8426. Is k a prime number?
False
Suppose -3*c - 2*c + 20 = 0. Let b(t) = 26*t**2 - 6*t + 5. Is b(c) prime?
True
Let x = 427 + 1808. Let r = 3 - -1. Suppose k + r*k = x. Is k a prime number?
False
Suppose 0*r + 0*r - r = 0. Suppose r = 10*q - 7*q - 537. Is q prime?
True
Let o(j) be the first derivative of j**6/120 - 7*j**5/60 + 5*j**3/3 + j**2/2 - 4. Let h(d) be the second derivative of o(d). Is h(7) a composite number?
True
Let c(u) = 115*u**2 - 5*u - 49. Let o be c(-14). Suppose i + 6*i = o. Is i a prime number?
False
Suppose -32 - 16 = 4*x. Let m be 12/(-16) - 21/x. Is m + 0 - (-176 - 10) a composite number?
True
Let m be -2 - (1 + (2 - 2)). Let r be -3 + 0/m - -8. Suppose h = r*h - k - 581, -4*k = -3*h + 439. Is h a prime number?
False
Let y be (-78597)/11 - -3*(-4)/(-66). Let h = -4716 - y. Is h a prime number?
False
Let j be 1124 + -3 - -1*(0 + -1). Suppose s + n - 4*n - 226 = 0, 0 = 5*s - 5*n - j. Is s a prime number?
True
Is 10010 + ((-1)/2 - -2)*-2 a prime number?
True
Let t(r) = 477*r**2 - 4*r - 2. Let u = -2 + 1. Is t(u) composite?
False
Let q be ((-9)/(-6))/(1 - -2)*0. Suppose 3*w - 4*v + q*v = 3763, -5*w = -3*v - 6257. Is w a composite number?
False
Let v = 12 - 21. Let w(s) = 5*s**2 + 15*s - 20. Let l(x) = 2*x**2 + 7*x - 10. Let n(d) = v*l(d) + 4*w(d). Is n(9) a prime number?
False
Let k = -26 + 30. Suppose k*f - 14 = -34. Let d(b) = 12*b**2 - 3*b - 8. Is d(f) a composite number?
False
Let k(v) = -v**3 - 9*v**2 + 6. Let y be k(-10). Let g = 178 - y. Suppose -4*d = -52 - g. Is d composite?
False
Let q(u) = -349*u - 2. Let t be q(-3). Suppose 7*k = 12*k - t. Is k prime?
False
Suppose 4 = 2*c, -o + 11697 = -4*c - 11438. Is o a composite number?
False
Suppose 4*h = -4*i - 32, 3*h + 4*i - 2 = -30. Is (-1)/2 - (-2)/h - -164 a composite number?
False
Let y = -89 + 94. Suppose 2*t - 2559 = -y*r, -2*t - 2*t - 5*r + 5113 = 0. Is t composite?
False
Suppose 4*r + 262 = -230. Let w = r + 202. Is w a composite number?
False
Let o be (-1)/(-2) - (-354)/12. Is 46302/o - (-4)/(-10) prime?
True
Let v(s) = s**3 + 2*s + 99. Let l be v(0). Let o = 2 + l. Is 3 + (1 - o)/(-1) a composite number?
False
Let k = 35091 + -23462. Is k a composite number?
True
Let n(i) = 436*i**2 + 42*i - 89. Is n(2) a prime number?
False
Is 2*(-15)/6 + 7164 prime?
True
Let a be 0/((-1)/(-3)*3). Suppose -4*s + 2*o + 37 = -1, 5*s - 2*o - 49 = a. Suppose -s*m + 6*m + 635 = 0. Is m composite?
False
Suppose 0*y - 124 = -y. Let z be (0 - -4)*142/8. Let h = y - z. Is h prime?
True
Let x(t) = 184*t**2 - 3*t - 2. Let a be x(2). Suppose 3*h + a = 11*h. Is h a composite number?
True
Let p be (-2 - (-80)/28)*7. Suppose -p*c = -c + 1180. Is (0 - c)*8/32 composite?
False
Suppose -2*i - 3*j + 5915 = -0*j, j = -1. Is i prime?
False
Let x = 2727 + -1130. Is x a composite number?
False
Suppose -4*l = -l - 9. Suppose l*i + 270 = 3*p - 0*i, -3*i = -5*p + 446. Let x = 157 - p. Is x a prime number?
False
Is (-2)/42*-6 - 95780/(-28) prime?
False
Let l(s) = -190*s + 244*s + 544*s + 170*s - 2. Is l(1) composite?
True
Let j(p) be the second derivative of -1/12*p**4 + 13/2*p**2 + 0 + 7*p - 13/6*p**3. Is j(-10) composite?
False
Is 16/72 + 57974/18 composite?
False
Let s(t) = -t**3 - 24*t**2 - 99*t - 129. Is s(-29) composite?
False
Suppose -2*l - 16 = 2*l. Is (-3)/((-3)/l) + 131 a composite number?
False
Let x(h) = h**3 + 10*h**2 + 10*h - 13. Let c be x(-9). Let q be 2/(-7) - 822/14. Let w = c - q. Is w a composite number?
False
Let j = 1013 + 1446. Is j composite?
False
Suppose 2*w - 20 = -4*k, -5*k + w + 2 + 9 = 0. Let o be -4 + k + (-3)/(-3). Is 338 + -1 + (o - 0) prime?
True
Let n = -20 - -31. Let q(k) = -9*k**3 - 9*k**2 + 15*k + 19. Let b(s) = -5*s**3 - 4*s**2 + 8*s + 10. Let c(i) = n*b(i) - 6*q(i). Is c(9) composite?
False
Let i(v) be the second derivative of 3*v**4/2 - 2*v**3 + 11*v**2/2 + 27*v. Is i(9) prime?
True
Let r = 1117 - -592. Is r a prime number?
True
Let u(b) = 15*b**2 - 12*b - 8. Let d be u(7). Suppose 5*t - 1 = 4*h + 6, -3*h - 4*t = -18. Suppose 3*r + 2*a = d, -h*r + 2*a + 407 = -a. Is r a prime number?
True
Let h(w) = 10*w**2 + 7. Let b = 40 + -32. Suppose 0 = 4*g + 16, -b = -4*f - 3*g. Is h(f) a prime number?
True
Suppose -6*n = -12*n + 18978. Is n prime?
True
Let s be (-24)/(-84) - (-31930)/14. Suppose -5*f + 4694 = 3*v, 4*f - 2*v = 1483 + s. Let z = f - 531. Is z a prime number?
True
Let k = 4781 + -3184. Is k a composite number?
False
Let l = 5831 + -976. Is l a composite number?
True
Is (0 - (-5)/(-15)) + 10200/9 composite?
True
Suppose -2*s + 4 = -148. Let p = 350 - s. Is p a composite number?
True
Let a = 11 + -6. Suppose 10 + a = 3*f. Suppose 880 = 3*b - 5*p, -10*b + 6*b - f*p + 1185 = 0. Is b prime?
False
Let p = 13800 + -9089. Is p a prime number?
False
Suppose 14*o + 8808 = 3*g + 11*o, 5*g + 2*o = 14701. Is g a composite number?
False
Let h = 152 + -152. Suppose g + u = -h*u + 946, -25 = -5*u. Is g a prime number?
True
Let r = -2287 - -12324. Is r prime?
True
Let m(o) = -3*o + 22. Let z be m(6). Suppose -3*x = z*l - 220 - 1435, -l - 5*x + 418 = 0. Is l a composite number?
True
Let s = 5674 - 993. Is s a prime number?
False
Let k be (-45)/(-18) - (-3)/2. Suppose k*n = -2*y + 2358, -y - 3533 = -4*y - 4*n. Suppose 9*v - y = 4*v. Is v a composite number?
True
Let x be 6 + -2 - (1 - -1). Suppose -2*j - x*c - 3 = 1, 5*j = -c - 2. Suppose -8*m + 7*m + 123 = j. Is m a prime number?
False
Suppose -4*n = -4987 + 3. Suppose -3*r - i = -0*i - n, -414 = -r - i. Let o = r - 159. Is o a prime number?
True
Suppose -5*k = -2*k - 18. Suppose -k*j = -517 - 2981. Is j composite?
True
Let l(q) = -7 + 90*q**2 + 6 + 72*q**2 - 3*q. Is l(4) a composite number?
False
Let r(d) = 2*d**3 + 4*d**2 - 7*d - 19. Let p be r(-2). Let i(b) = b**2 - 7*b - 2. Let x(v) = v**2 - v - 1. 