 -2 + 90. Is -2 - (f + -1)/(-1) a prime number?
True
Is (-3)/2*(3 - 349) composite?
True
Suppose 0 = m - 4, 4*i - 2664 = m + 2*m. Is i a prime number?
False
Let b = 2 - 2. Suppose 0 = -q + 5 - b. Suppose f = q + 18. Is f composite?
False
Suppose -3*k + 10 = 2*p, -2*p + 6 + 4 = 5*k. Suppose -u + 17 = 5. Suppose u - 3 = 3*s, 2*a - 3*s = p. Is a prime?
True
Let t(k) be the first derivative of -k**5/20 + k**4/12 + k**3/3 - 1. Let c(u) be the third derivative of t(u). Is c(-2) a prime number?
False
Let c(x) = x**2 - 2*x + 6. Is c(-7) a prime number?
False
Suppose -7476 = -2*d + n, 0*d - 3*d = 5*n - 11201. Is d prime?
False
Suppose 0 = -2*j + 214 - 2422. Let x = -625 - j. Is x composite?
False
Let o be 2 - -1 - 9/(-3). Let p(b) = 8*b - 5. Is p(o) a prime number?
True
Let m = -108 + 239. Is m composite?
False
Suppose 0 = -7*h - 282 + 1171. Is h prime?
True
Let w(m) = 2*m**2 - 8*m + 3. Let a(u) = u**2 - 8*u - 3. Let y be a(8). Let c = y + 8. Is w(c) composite?
False
Let b(h) = 2*h**2 - 11*h + 14. Is b(7) a composite number?
True
Suppose -c = -2*f - 80, 3*c + 4*f - 106 = 104. Is c a composite number?
True
Suppose 0 = -2*m - 4*m + 1842. Is m prime?
True
Suppose -5*f + 8894 - 699 = 0. Is f a composite number?
True
Let u(f) = -f**3 + 4*f**2 + 4*f + 2. Suppose 4*h + h + 4*o + 27 = 0, -3*h - 3*o = 18. Is u(h) composite?
False
Suppose -18 = -o + 3*u, 3*o - u - 10 = 12. Suppose o*i = i. Suppose 0 = -4*q - i*q + 1036. Is q composite?
True
Suppose 4 + 0 = 2*h. Let b(d) = -17*d**3 + 3*d**2 - 3*d. Let c be b(h). Is 5*1*c/(-25) composite?
True
Let c be 3*(8/(-6))/(-2). Let y = 32 + -8. Suppose -5*l + y = -c*a, -4*l + 30 = -0*l + 2*a. Is l prime?
False
Let o be 2/5*5 - -3. Suppose -2*s = -o*i - 583, 0 = -5*i - 3 + 18. Is s composite?
True
Suppose -8 - 8 = -f. Let r = f - 1. Is r a composite number?
True
Let v = 2060 + -1469. Is v prime?
False
Let x be -5 - -46 - 9/(-3). Is (-39)/2*x/(-6) a prime number?
False
Suppose -2*v - 32 = 4*t, 24 + 20 = -4*v - 3*t. Let x(h) = h**3 + 10*h**2 - 3*h + 7. Let q be x(v). Is -2*1*q/(-6) a composite number?
False
Let y = -5 + 5. Suppose 19 = 3*a - y*v + 2*v, 4*a - 17 = -v. Suppose -u + 14 = 2*l + 2*l, 2*u + a*l - 23 = 0. Is u a prime number?
False
Suppose 5*g = 4*r - 3689, 0 = -5*r - 2*g + 1168 + 3435. Is r a composite number?
True
Let t(d) = 38*d**3 - 2*d + 1. Suppose -5*k = 10, 4*q - 3*k - 9 = q. Is t(q) prime?
True
Suppose -847 = -2*h + 1275. Is h prime?
True
Let t be 0/((-1 + -2)*-1). Suppose -3*o + 42 + 3 = t. Is o prime?
False
Let h = 229 - 72. Is h composite?
False
Let h(g) = 62*g**3. Let v(u) = u**2 - 4*u - 4. Let k be v(5). Let y be h(k). Is (-3)/(-6)*1*y a prime number?
True
Let a(j) = -j**2 - 10*j - 4. Let l be a(-8). Is ((-88)/l)/((-6)/99) prime?
False
Let h(c) be the third derivative of 7*c**5/60 - c**4/12 - c**3/3 + 4*c**2. Is h(5) composite?
False
Let a = 15367 + -10616. Is a composite?
False
Suppose -3*d + 2118 = 3*y, 6*d - d = 2*y + 3495. Is d a composite number?
False
Let h(o) be the third derivative of -o**5/30 + o**4/6 - 2*o**3/3 - o**2. Let q be h(3). Is (-4)/q - 366/(-10) composite?
False
Let a = 1346 - 645. Is a a prime number?
True
Is (-80)/60 - 757/(-3) prime?
True
Suppose 78 = -5*y + 4*i, 5*y + 43 = -5*i - 62. Is (-536)/(-6) + 6/y composite?
False
Let k = 9 - -114. Is k a prime number?
False
Let g(o) = 260*o + 43. Is g(14) a composite number?
True
Is (-54820)/30*(-3)/4*2 a composite number?
False
Let x be 22/(-1)*5/(-10). Let q = -6 + x. Suppose -4 = -2*w, -3*o + q*w + 29 = -0. Is o a prime number?
True
Suppose -3*y + 420 = -60. Suppose h - 705 = y. Is h a composite number?
True
Is 894/10 - 2/5 composite?
False
Is 1/1 - (-35 - 1) a composite number?
False
Suppose 0 = -4*z + 8, -4*z - 12 = -5*r - 0*z. Suppose 15 = 5*j, -2*m + r*j = 5 + 1. Is (-1 + m)*(-166)/(-4) composite?
False
Suppose 2*a - 5*a - 1310 = -5*h, -802 = -3*h + 5*a. Is h a prime number?
False
Let s = 1 + 2. Let n = s + -1. Suppose 2*o - 506 - 72 = -n*x, 2*x = 4*o + 602. Is x a composite number?
False
Let m(w) = 461*w**2 - 1. Is m(-2) a prime number?
False
Suppose -4*q = 3*y - 501, 2*y - 314 = -0*q + 4*q. Is y prime?
True
Let u = 8 - 12. Is ((-14)/(-7))/(u/(-1354)) composite?
False
Suppose -3*o + 5*k + 3503 = 0, -2*o + 1525 + 811 = -3*k. Is o composite?
False
Let i(d) = -d. Let h be i(-1). Is (h/(-1))/((-3)/63) prime?
False
Let y be (-104)/(-40) + 2/5. Suppose -y*z = -5*z + 218. Is z composite?
False
Suppose 9*d - 3340 = 5*d. Is d composite?
True
Suppose -1825 = -5*d + g - 6*g, 365 = d + 2*g. Is d a composite number?
True
Let c(z) = 18*z - 10. Let m be -14*3/(-6)*-1. Let k be c(m). Let d = 55 - k. Is d prime?
True
Let i(m) = m**2 + 8*m + 2. Is i(11) a prime number?
True
Let c = 59 + -20. Let o = -20 + c. Is o composite?
False
Let t = 347 + -217. Suppose 12 = 4*n - 2*u - t, -4*u = -5*n + 179. Is n prime?
False
Let p = 69 + 31. Suppose 5*h - p = 5*y, -4*h - 4*y = h - 145. Is h a prime number?
False
Let u = 2086 - 1199. Is u a composite number?
False
Let j = 825 - 158. Is j composite?
True
Is (-2)/7 + 140368/112 a composite number?
True
Let o be ((-106)/2)/((-2)/6). Let a be -5 + 2 + 4 - -3. Suppose -o = -a*l + l. Is l composite?
False
Is (-1262)/(-4)*(-2 + 4) a composite number?
False
Let z(j) = -29*j - 5. Is z(-4) a composite number?
True
Let v(k) = 3*k**2 + 4*k - 4. Is v(3) prime?
False
Suppose -2002 = 4*x + 2*c - 8176, -3*x = c - 4630. Is x a prime number?
True
Let s(i) = 181*i**2 - 7*i - 13. Is s(-3) prime?
True
Suppose -2*k = k - 3516. Suppose 3*o + k = 7*o. Is o a prime number?
True
Suppose -5*r + 169 = -a - 86, -3*a - 102 = -2*r. Is -2*(-2 - r/6) prime?
False
Is 130 + (-1 + -3)/(-4) a prime number?
True
Let x(r) = -r**3 + 16*r**2 + 13*r + 7. Let w be x(11). Suppose 4*d - w = 281. Is d a prime number?
False
Let i(n) = 2*n**2 + n**3 - 5*n**2 - 6 - n**2. Let r(u) = 2*u**3 - 3*u**2 + 1. Let j be r(2). Is i(j) prime?
True
Let r(x) = x**3 + 18*x**2 - 11*x + 37. Is r(-15) a prime number?
True
Let s = -77 + 168. Is s composite?
True
Suppose 3*g - 5 = 2*j - 0*j, 0 = 4*j + 4. Let m(s) = 50*s**2 - s. Is m(g) a prime number?
False
Suppose -3201 - 414 = -5*f. Is f composite?
True
Let b = 169 + -92. Is b a prime number?
False
Suppose a - h = 4*a - 60, 4*a = 2*h + 80. Let p = a + -14. Is 1/(-3) - (-86)/p a prime number?
False
Suppose 0*f + 3*f - 39981 = 0. Is f prime?
True
Let h(p) = -15*p + 16. Is h(-13) a prime number?
True
Let d(c) = -2*c**3 + c**2. Let q be d(-1). Suppose 4*s = q*s + 47. Is s prime?
True
Let f(j) = 4*j**3 - 1. Let l be f(1). Suppose -l*o + 0*o = -18. Suppose -o*p + 7*p - 19 = 0. Is p a prime number?
True
Suppose -169 + 53 = -4*o. Suppose 5*x + 0*x = s - 93, 0 = 3*s + 6. Let c = o + x. Is c a prime number?
False
Suppose -1 = m - 2*b, 5*b + 3 + 2 = 5*m. Suppose -m*f = -f - 6. Suppose 5*r - f*n = 64, -11 = -2*r + n + 14. Is r a prime number?
True
Suppose -q + 4*l + 8 = 0, 18 = -0*q + 4*q - 2*l. Let t be (-6)/q - 1/(-2). Is (5 - -32) + 0/t a prime number?
True
Is -3*1 + 2464/(4/1) a prime number?
True
Suppose -3*q + 7*q - 520 = -4*b, 3*q = -b + 130. Suppose b = k - 93. Is k composite?
False
Let i(j) = j**2 - j - 1. Let g(m) = m**3 + 3*m**2 + 13*m + 14. Let b(t) = g(t) + 5*i(t). Let f be b(-7). Suppose 0*q + 38 = f*q. Is q prime?
True
Suppose -x - 442 = -4*m + 1429, 0 = -x - 3. Is m prime?
True
Suppose -270 = -2*w - 2*m - 54, 4*m + 303 = 3*w. Suppose 34 = -t + w. Is t composite?
False
Let t(n) = 6*n + 10. Let v(g) = 5*g + 9. Let x(d) = -4*t(d) + 5*v(d). Let u be x(-3). Suppose 3*l - u*o = 74, -3*l + 67 + 19 = -5*o. Is l a prime number?
False
Is 853/(-1 - 0)*(0 + -1) prime?
True
Let c(x) = 236*x**2 - x - 3. Is c(-4) a composite number?
True
Suppose 4*v - 2*v = -38. Let k = v + 41. Let j = -9 + k. Is j composite?
False
Let f = 1916 - 907. Is f prime?
True
Suppose -4*z = -5*u - 9*z - 25, -u = 2*z + 10. Suppose -5*o + u*o = -1295. Is o a prime number?
False
Let g(i) = i**2 + 15*i + 1. Let y be g(-10). Let d be 9633/(-27) - 2/9. Is d/y - 2/7 a prime number?
True
Is ((-481)/(-26))/(1/(-4)*-2) a prime number?
True
Let i be -2 + (5 - (-6)/(-3)). Let d be i/(3 + 1572/(-525)). Suppose -5 = 5*c - d. Is c composite?
True
Suppose 0 = m + 5*f - 13, -6*f = -2*m - 4*f - 10. Let s be 1 + 0 + 6*-3. Is (m - s) + 0 - 0 prime?
False
Let i = 1880 - 1116. 