 a prime number?
True
Let v = 10 - 6. Is (-10 - -263) + -2 + v + -2 a prime number?
False
Let k be ((-24)/(-32))/(2/8) - -42. Let j be -5*(7/(-5) + 3). Let x = j + k. Is x a composite number?
False
Suppose 0 = -3*l - l. Suppose l = 5*q - 5*o - 105, -o = -q - 2*o + 13. Suppose 0 = 2*v + 8*u - 3*u - 43, 2*u = v - q. Is v composite?
False
Let i = 16 - 7. Suppose i = 4*p + 1. Suppose -3*o = -p*o - 142. Is o a prime number?
False
Suppose 0 = 4*g - 3*g - 4*y - 13, -3*g - y = -26. Let w be 124/3*g/6. Suppose a - 59 = w. Is a a composite number?
True
Let c be ((-87)/2)/((-3)/30). Let m be 1 + ((-476)/(-8) - (-9)/6). Let u = c - m. Is u prime?
True
Suppose 859*b - 862*b = -5199. Is b prime?
True
Let k(g) = g**3 + 13*g**2 - 15*g + 2. Let f be k(-14). Let d be (-12)/(-16)*f/6. Suppose 3*n - 1955 = 4*s, -n - d*s + 655 = -5*s. Is n a prime number?
False
Let u = 20 - 26. Let k be (4/u)/((-3)/(-81)). Let y(d) = -d**3 - 18*d**2 - 12*d - 5. Is y(k) a prime number?
True
Let l(j) = 1785*j**2 - 1. Let w be l(-1). Suppose -6*u + 3*u = 0. Suppose 0*f = f + 2*b - 349, 5*f - 3*b - w = u. Is f a prime number?
False
Let t be (0 - -1)*(-7 - -9). Suppose t*d - 12 = -4. Suppose -5*m - 9 = w - 40, -5*m = d*w - 34. Is m a composite number?
True
Let f(b) = 9*b**2 - 17*b - 7. Let j(k) = -k**2 + k + 1. Let v(r) = -f(r) - 4*j(r). Let n(h) be the first derivative of v(h). Is n(-13) prime?
False
Suppose 2990 = 2*o - 0*a + 2*a, 0 = 2*a + 6. Suppose -3*y = -5*q + 3235, -2*q = -3*y - o + 204. Is q prime?
True
Suppose 0 = -o + 3*m + 800, -2*o - m = -3*o + 796. Is o composite?
True
Let z = 5843 - 3452. Is z a prime number?
False
Suppose -z + 57924 = 9*u - 4*u, 0 = 5*u + 2*z - 57923. Suppose 4*d + d - u = 0. Is d a prime number?
False
Suppose u = -209 + 1381. Suppose 4*r + 0*g - u = -2*g, -5*g = -2*r + 610. Is r composite?
True
Let z(c) be the second derivative of c**4/12 - c**3/3 + 7*c**2/2 - 3*c. Let o = 13 - 13. Is z(o) a composite number?
False
Let a be -4 + 12/4 - -1. Suppose a = 3*q - 8*q. Suppose q = 3*l - 18 + 3, 4*d - 649 = -l. Is d composite?
True
Suppose -3761 = 2*h - 12099. Is h a composite number?
True
Let m be 24/(-9) - 1/3. Is m*(-1)/(-5) + (-24864)/(-15) a composite number?
False
Suppose -17*d + 49109 + 311444 = 0. Is d a composite number?
True
Suppose -4*y = 4*o - 6172, 5*o + 0*o - y = 7715. Is o composite?
False
Let j be ((-2)/(-2))/((-5)/(-20)). Suppose 0 = -j*x + 8*x. Let w(b) = -b**2 + 301. Is w(x) composite?
True
Suppose -3*x = -4*o + x + 452, o = -2*x + 107. Suppose i + 31 = -h - o, 692 = -5*h + i. Let r = 38 - h. Is r a prime number?
False
Let a(w) = 4*w - 29. Let m be a(11). Is m/2 + (-72)/(-48) prime?
False
Let m be (72/(-60))/(3/(-10)). Suppose -8*b + 4*b + g = -2839, m*b - 2842 = 2*g. Is b composite?
False
Let o(a) = -2*a**3 - 4*a**2 + 7*a. Suppose -3*s = -4*g + 41, -3*s + 5*g = -0*s + 46. Let b be o(s). Suppose 236 = y - b. Is y a composite number?
False
Let d(o) = 43*o**2 + 12*o. Let k be d(-5). Suppose 0 = -4*h + 253 + k. Is h composite?
False
Suppose -3*j = -3*q - 16 - 11, -j = -3*q - 15. Let x = j + -1. Suppose 2*r - 342 = i - 123, i + 546 = x*r. Is r a prime number?
True
Let c = -34 - -61. Let y = c + 602. Is y a composite number?
True
Let z be ((-32)/40)/(2/(-21015)). Suppose -4*t - 16800 = v - 5*v, -z = -2*v - 4*t. Is v a composite number?
False
Suppose j - 6*j = 4*a + 47729, 4*j + 4*a = -38180. Is (j/18)/((-1)/2) prime?
True
Let c(l) = l**3 + 14*l**2 + 8*l - 47. Is c(-12) composite?
True
Suppose -6*l - 3*l = -81. Suppose -7*j = -l*j + 166. Is j prime?
True
Suppose 2*g = 5*k + 21, -k - 1 - 2 = 0. Suppose 0 = g*q - 2223 + 222. Is q composite?
True
Let c(h) = -8*h - 1. Suppose 4*w + 3*r + 25 = 0, -2 = w + w - 2*r. Is c(w) a prime number?
True
Let o be (655/(-15))/((-3)/9). Suppose -3*r + o = -187. Suppose i = -i + r. Is i prime?
True
Let t(g) = -21*g + 16. Let k(z) = z. Let f be k(4). Suppose 4 = f*j, -2*i - 6*j = -3*j + 11. Is t(i) a composite number?
False
Is (-6)/(-72)*-6*2*-9523 a prime number?
False
Let a(g) = -158*g - 998*g - 1521*g + 3 - 39*g. Is a(-1) a composite number?
False
Let r = -161 + 414. Is r composite?
True
Suppose h = 4, -o - 2*h = -0*h + 54. Suppose -45 = -3*q + 288. Let k = o + q. Is k composite?
True
Let c(b) be the third derivative of b**6/120 + 2*b**5/15 - b**4/8 - 13*b**3/6 - 9*b**2. Is c(-6) prime?
False
Let i(c) = -5 - 5*c**2 - c + 2*c + 19*c**2 + 6*c. Suppose -4*z = 3*s - 16, -2*z = 2*z - s - 16. Is i(z) prime?
False
Suppose 0 = 3*i - i - 3*i. Suppose 6*u - 5*u - 287 = i. Is u a prime number?
False
Suppose 0 = t - 4*x - 1284, t + 3*x - 649 = 621. Suppose 7406 = 10*l + t. Is l prime?
True
Suppose 32 + 4938 = 10*o. Let r = o + 602. Is r a composite number?
True
Suppose 0 = -3*l - 5*g + 6049, 5147 = 5*l + 3*g - 4940. Is l prime?
False
Suppose -3*q + 23 = 5*a, -3*a + 5*q - 2 = -9. Suppose -3 = g - 2, a*x + g = 7339. Is x prime?
False
Let v = -20 + 16. Is ((-6)/v)/((-15)/(-6410)) prime?
True
Let l(t) = t**3 - 6*t**2 + 2*t - 5. Let d be l(6). Let q be (-1)/2*(-70)/d. Suppose 0 = -q*n - 87 + 1922. Is n a prime number?
True
Let d(j) = -12144*j - 347. Is d(-5) composite?
False
Let p(a) = 2*a**2 + 2*a - 42. Let z be p(5). Suppose -z*w + 7*w + 19811 = 0. Is w composite?
False
Suppose 9 = 8*v - 5*v. Is (-4008)/v*-1 - (2 + -3) a composite number?
True
Suppose -3*m + 354 = 3*d, -5*m + 578 = d - 2*d. Is 7 + m - (2 - 6) a composite number?
False
Suppose 45023 = 2*c - 4*v - 20167, 0 = 2*v - 8. Is c prime?
True
Let p(a) = -300*a**3 - 8*a**2 + 50*a + 179. Is p(-4) a prime number?
True
Let a(m) = m**3 + 2*m**2. Let f be a(-2). Let x = -51 + 55. Suppose x*l - j = 207, -3*l - 5*j = -f*l - 184. Is l composite?
False
Suppose -7*d + 1463 = -54782. Is d composite?
True
Let n(o) = 483*o**2 + 4*o + 54. Is n(-8) a composite number?
True
Let z(f) be the third derivative of -73*f**4/24 + 5*f**3/3 + 11*f**2. Is z(-9) a composite number?
True
Suppose -v = 4*v - 20, -4*v + 15720 = 4*q. Suppose -20 = -4*u, -2*h + u = -3*u - q. Is h prime?
True
Is (5/25)/((-4)/(-119780)) prime?
False
Suppose -4*z = 2*s + 2, 5*s + z + 0*z = 22. Suppose 2*x - 2359 = -s*x. Suppose 1497 = 8*m + x. Is m a composite number?
True
Is (-6 - (-5 + -3449)) + 3 + -2 a composite number?
False
Is 176/(-24) + 8 + 13994/6 composite?
False
Suppose 660 - 219 = v + 4*n, -3*v + 1349 = -n. Suppose 0 = -9*r + 8*r + v. Is r a composite number?
False
Let v be 9/3 - 41*-1. Let a = v + 27. Is a a prime number?
True
Let t(a) = 2*a + 18. Let u be t(-8). Is (677 - (0 - -4))*2/u a prime number?
True
Let m = -1034 + 380. Let z = -465 - m. Suppose 4*r - 335 = z. Is r composite?
False
Let x(l) = 3*l**3 + 11*l**2 + 6*l + 3. Let p = 115 - 110. Is x(p) prime?
True
Let m(u) = -5030*u**3 - 8*u**2 - 18*u + 5. Is m(-2) a prime number?
False
Let d(b) = b**3 + 2*b**2 - b - 2. Let c be d(-2). Suppose c = -f - 13 + 48. Suppose 0 = -u + 2*u - f. Is u composite?
True
Let u = -786 + 10865. Is u composite?
False
Let d(z) = z**2 - 8*z + 8. Let r be d(7). Let x = r - -3. Suppose 0 = -q - 3 + 2, 2*m + x*q - 190 = 0. Is m composite?
False
Suppose 3425 = k - 2*w, -3*k + 2*w + 10291 = 4*w. Let n = k - 1886. Is n composite?
False
Let j(k) = -k + 1. Let m be j(2). Let o(b) = -b**3 - 6*b**2 - 9*b - 11. Let f be o(-4). Is m - ((-4 - f) + -86) composite?
True
Let f = 97 + -95. Suppose -3*y + 5*n = -4306, -f*n + 6*n = 4. Is y prime?
False
Suppose 38*p - 1 = 37*p. Is (0 - -1077) + (p - -1) composite?
True
Suppose b - 5944 = -3*b. Suppose 4*q + 3*r = 5*q - b, -3*q + 4433 = -4*r. Is q prime?
True
Let v(t) = -1 + 18*t - 2 + 46*t + 4. Let p be (-1 - (-4)/1) + 2. Is v(p) a composite number?
True
Let g = 15 - 11. Let z(a) = -a**2 + 5*a - 6. Let v be z(g). Is (2 - (-63)/v)*-10 a prime number?
False
Suppose -4*b - 12 = 0, -4*y = -9*y - 5*b + 4210. Let s = y - 578. Is s prime?
False
Suppose i = 3*z - 99030, 31441 + 1558 = z - 4*i. Is z composite?
True
Suppose 213 = -8*s + 925. Is s a prime number?
True
Let j = 73 + -51. Is 3 - 105/33 - (-752)/j a composite number?
True
Suppose -579 - 45 = -4*c. Let s = 250 - c. Is s composite?
True
Suppose 11*v + 7197 = 14*v. Is v composite?
False
Let p(w) = w + 8. Let u be p(-14). Let r be (-1 - -23)*u/12. Let j = 18 + r. Is j a composite number?
False
Let g = 138 - 68. Is 8/(-10) + 23506/g composite?
True