 b prime?
True
Let l(c) = 65*c**2 - c - 2. Let r be l(4). Is r/10 + 6/(-15) prime?
True
Let t = 19 - 17. Suppose 5*m - v - 488 = 0, -v - t = 1. Is m a prime number?
True
Let p = -97 + 162. Is p a prime number?
False
Let p be (-1)/((3/(-1))/12). Is (0 - -1)*(p + 3) a prime number?
True
Suppose -a + 6 = 4. Suppose a*x - 6*x + 5*b + 25 = 0, -15 = 5*x + 3*b. Suppose x = 5*i - i - 356. Is i a composite number?
False
Let h = -114 - -336. Suppose 37 = 2*v - 4*g - 61, 0 = -4*v - 5*g + h. Is v composite?
False
Let g be (-6)/21 - (-80)/(-14). Is (-5 - g) + 23*11 a composite number?
True
Let x(i) = -165*i + 121. Let p(j) = 11*j - 8. Let m(w) = -44*p(w) - 3*x(w). Is m(8) a composite number?
True
Let b be (-54)/12*212/(-6). Let a = b + -106. Is a a composite number?
False
Let w(z) = -9*z - 2. Suppose 0 = x - 2*h, 5*h + 2 = -8. Is w(x) prime?
False
Let w(m) = 86*m**2 + 6*m - 1. Is w(5) a composite number?
False
Is 1354/(-4)*-2 - 4 a composite number?
False
Let t(v) = -v**3 - 3*v**2 - v + 673. Is t(0) composite?
False
Suppose -2*z + 43 = 5*k, 3*k - 131 = -4*z + 2*k. Suppose 4*w = -202 + z. Let m = 67 + w. Is m a composite number?
True
Suppose 220 = 3*y - 254. Is y a composite number?
True
Let p be 38/7 + (-6)/14. Is ((-68)/(-1))/4*p composite?
True
Suppose -4*n - 848 = -4*r, 0*r + 5*n - 424 = -2*r. Suppose -r = -3*j - j. Is j prime?
True
Let a = -2 - -133. Is a a prime number?
True
Let l(i) = 30*i - 19. Is l(7) composite?
False
Suppose -b + 4*x - 19 = 0, 2*x - 6*x = -20. Is 2*((-1185)/(-6) + b) prime?
True
Suppose 5*o - 1747 + 492 = 0. Is o a composite number?
False
Suppose -11 = -4*k - 35. Let z be k/(-4)*708/18. Suppose -3*n + 2*a + 31 = 0, 4*n = n - 5*a + z. Is n prime?
True
Let j = -1 - -2. Is -81*(-1)/j - 2 a composite number?
False
Let t be ((-10)/(-4))/((-3)/(-54)). Let k = 2 + t. Is k prime?
True
Suppose -4*t + 488 = 5*l, -34 = -2*t - 3*l + 208. Is t a prime number?
True
Suppose -10 = -5*x + 15. Suppose -2*r - x*i + 392 = 0, -2*r - 4*i + 562 - 168 = 0. Is r prime?
False
Suppose -5*u + 20 = 0, 3*s - 4*u = 5*s - 1826. Is s a composite number?
True
Suppose 9*h = 7136 + 3385. Is h a composite number?
True
Let p(m) be the third derivative of -151*m**4/12 + m**3/3 + 4*m**2. Let v be p(-2). Let z = v - 347. Is z a composite number?
True
Suppose 0 = 5*h - 3 - 22. Suppose 0 = h*p - 7*p. Suppose 5*n = 3*d - p*n - 72, -d - 2*n = -13. Is d a composite number?
False
Suppose 0 = -3*p + 6*p - i - 73, -3*i = 3*p - 57. Suppose 2*o - 5 - p = 0. Is o prime?
False
Let c(n) = n**2 + n**2 + 9*n + 1 + 1. Let t be c(-7). Suppose -t = -3*o + 2*j + 2*j, -j + 10 = 2*o. Is o composite?
False
Suppose 6*p = 5054 - 1016. Is p prime?
True
Let s be 16/7 + (-4)/14. Suppose -s*x = 2*c - 16, -3*x + 14 = -0*x - 2*c. Suppose -2*u + x*u = 308. Is u a prime number?
False
Let s be (-5)/(1 - 0) + 1. Let p = 45 - s. Is p a prime number?
False
Let f(h) = 88*h + 1. Let n be f(-2). Let m = -108 - n. Is m prime?
True
Suppose 2*c = -5*r + 3*c + 10492, -2*r = -5*c - 4183. Is r composite?
False
Suppose -37 = -3*n + 4*n. Let j = 86 + n. Is j prime?
False
Let m(i) = 3*i**3 - 6*i**2 + 14*i - 9. Is m(8) composite?
True
Let i = 1 + -3. Let j(v) = -4*v**3 - v**2 - 2*v + 1. Is j(i) a composite number?
True
Suppose 1824 = 6*j + 234. Is j a composite number?
True
Let c = -4 - 3. Let p = -15 - c. Let w(u) = u**3 + 8*u**2 - 7*u - 1. Is w(p) composite?
True
Suppose 3*m = 4*m. Suppose 2*p + 478 = -2*t, 0 = -m*t + t + 3*p + 245. Is (-2)/(2/t*4) prime?
True
Suppose 0*g + 4*i - 877 = -g, -5*i = 2*g - 1748. Is g a composite number?
True
Let l(j) = j - 1. Let b = -7 - -10. Let y be l(b). Suppose r + y*r = 111. Is r composite?
False
Let w(a) = 72*a**2 + a. Let x be w(2). Suppose -o + x = o. Is o a prime number?
False
Suppose 7*v - 1688 = 3*v. Is v composite?
True
Let s(z) = 3*z + 1. Let l(y) = -y**2 + 2*y - 1. Let a be l(2). Let m be s(a). Is (m - 45/(-12))*4 composite?
False
Is 3/(-2)*1192/(-12) a composite number?
False
Let i = -1 + 4. Let j(s) = 134*s - 3. Let w be j(2). Suppose 0 = i*m - 8*m + w. Is m prime?
True
Let i(o) = 4*o**2 + 6*o + 15. Is i(-8) prime?
True
Suppose -7*c = -3*c + 72. Let a = c + 51. Let w = a + -22. Is w prime?
True
Let q = -14 - -23. Suppose -5 = -x + q. Is x a composite number?
True
Suppose 0 = m + 10*m - 583. Is m a composite number?
False
Let i(h) = 6*h**2 - 2*h + 5. Let t = 0 + 5. Is i(t) a composite number?
True
Let y be 118*2 + (-4)/(-2). Suppose y = 5*l + 83. Is l a composite number?
False
Let y(c) be the first derivative of -18*c**2 + 2*c + 6. Is y(-2) a prime number?
False
Let c(t) be the third derivative of 4/3*t**3 + 1/120*t**6 + 2*t**2 + 0 + 0*t - 3/20*t**5 - 7/24*t**4. Is c(10) prime?
False
Let f = -6 + 4. Suppose -2*c - 10 = -3*i, 3*c - i + 2 = c. Is (-575)/10*c*f a composite number?
True
Let z be (-5)/(-2) - (-5)/10. Suppose z*x - 4 = -34. Let f(q) = q**3 + 10*q**2 - q + 4. Is f(x) a prime number?
False
Let m be (-12)/30 + (-324)/(-10). Suppose 0 = -2*c - m + 98. Is c prime?
False
Suppose -6 = z - 3*z. Suppose 0 = -w - 0*w, 159 = z*c + w. Is c prime?
True
Let w(b) be the second derivative of 113*b**4/12 + b**3/6 - b**2/2 - 4*b. Is w(1) a composite number?
False
Suppose 3*c + 0*c = 300. Let q = -21 + c. Is q prime?
True
Let n = 1 + -1. Suppose q - 4*q = -5*m + 7, -5*m + 10 = n. Is 1/q + 0 + 6 a composite number?
False
Is (-212)/(-6)*(-18)/(-12) a composite number?
False
Let l(i) = -i**3 - i**2 + i + 13. Is l(-6) prime?
False
Let a be 1*2*(-9)/(-6). Suppose -a*z + 174 = n + 2*n, 3*z + 2*n - 169 = 0. Is z a prime number?
True
Suppose -m = 2*m - 1659. Is m composite?
True
Let t(j) = -15*j - 3. Let o be t(5). Let v = -41 - o. Is v prime?
True
Let n(t) = 5*t**2 - 3*t + 2. Let u be n(1). Suppose u*c = 5*i + 2169, 7*i = 3*i - 4. Is c a prime number?
True
Let d be -1 + -1 + 0 - 28. Let z be d*-2*1/5. Is 2 + z - (1 - 1) prime?
False
Suppose -2*s - 2*s + 128 = 2*g, -4*s + 130 = g. Is s composite?
True
Let x(m) = 2*m**2 - 2*m + 2. Let o be x(0). Suppose -2*a + 1276 = o*a. Is a prime?
False
Let m = 49 + -69. Let j = 1 + m. Is j/(-3)*3*1 composite?
False
Let s(c) = 29*c + 2. Let h be s(8). Suppose -5*k + 3*m + h + 98 = 0, 0 = 5*m - 5. Is k a composite number?
False
Let d = 106 + -41. Is d a composite number?
True
Suppose 5*m + 36 = 4*h, 7*m = 2*m - 20. Suppose s + 4*s = h*z - 435, -3*s + 130 = z. Is z a prime number?
False
Let d = -13 - -18. Suppose -7*u + 18 = -2*u - q, 5*u + d*q - 30 = 0. Suppose u*j - 314 = 306. Is j a prime number?
False
Let u be (-1 + 2)/((-8)/(-144)). Suppose -u = -5*i + 32. Is i a composite number?
True
Suppose -w = d - 11, -w - 44 = -5*w - 5*d. Suppose -3*n + 15 = 3*f, f = 2*f - 2*n - w. Suppose 268 = f*p - 3*p. Is p a composite number?
False
Suppose 0 = t - 6*t + 1075. Is t prime?
False
Suppose -5*h = -3*j - 1811, -3*h - j = -0*h - 1095. Suppose 5*d - h = d. Is d a composite number?
True
Let a = -450 + 987. Is a composite?
True
Suppose 7 + 2 = -d + 4*n, -5*d = 2*n + 1. Is d*(-3 + 4 - 48) composite?
False
Let o = 1474 + -891. Is o a prime number?
False
Suppose -c - 3*y = -57, y + 18 = -2*c + 152. Is c a composite number?
True
Suppose -4*c + 108 = 5*o - o, -4*c - 2*o = -116. Is c composite?
False
Let s(j) = -35*j**3 + j**2 - 7*j + 11. Is s(-6) composite?
False
Let f(g) = 21*g - 2. Is f(1) a composite number?
False
Let h(u) = -314*u + 5. Is h(-3) prime?
True
Let a be 0/((-5 + 2)/3). Suppose a*l = -5*l + 3*k + 1279, 5*l - 1287 = -k. Is l prime?
True
Let f(v) = -21*v**2 + 5*v - 3. Let s(o) = 63*o**2 - 14*o + 8. Let g(q) = -17*f(q) - 6*s(q). Let d(a) be the first derivative of g(a). Is d(-2) a prime number?
True
Let a be (2/(-3))/((-1)/(-3)). Let x(y) = -41*y**3 + 2*y**2 - 3*y - 3. Let v be x(a). Suppose -5*r - 74 = -v. Is r composite?
False
Suppose 2*a - 5*a + 2355 = 2*v, -5*a + 2345 = 2*v. Suppose 4*b - b = v. Is b a composite number?
True
Suppose -4 = 4*g, -364 = -2*d - 3*g + 7. Is d composite?
True
Let v(h) = h**3 + 30*h**2 - 12*h - 44. Is v(-23) a prime number?
False
Let o be (-4)/6 + (-26)/6. Is 2/o - (-3656)/40 prime?
False
Let b = -5 + 5. Let q(f) = f + 5. Let v be q(b). Suppose -v*j + 0 = -155. Is j a composite number?
False
Let b be 8/4 + -1 + 1. Suppose -5*f - 2*w + 26 = -4*w, 0 = -b*w - 6. Is 190/f - 2/4 prime?
True
Let d be 2/10 - (-1564)/5. Let k = -12