umber?
False
Let s(b) = 4*b**2 - b + 1. Let r be s(1). Suppose 415 = r*y - 229. Is y composite?
True
Let b(s) = -583*s + 1. Is b(-4) prime?
True
Suppose -4 = 2*k, -6*k = -c - 8*k + 1941. Is c prime?
False
Let q(h) = 6*h**2 + 3*h + 2. Suppose -2*j - 2*j + 28 = 0. Is q(j) prime?
True
Let a(b) = b**2. Let f be a(-3). Let x = 15 - f. Suppose -195 = d - x*d. Is d prime?
False
Let g = -6 + 127. Let c be 2/5 - (-724)/(-10). Let b = c + g. Is b a composite number?
True
Let y(s) = s**3 - s**2 - s - 1. Let m be y(0). Is ((-1)/((-2)/(-314)))/m a composite number?
False
Let z(t) = 3*t**2 + 2*t + 13. Is z(-10) a composite number?
False
Let i = -11 + 15. Suppose l = -2*l + 2*k + 301, i*l - 393 = k. Is l composite?
False
Suppose 15 = 8*o - 3*o. Suppose 0*w = -o*w. Suppose w = -3*x - 98 + 479. Is x a prime number?
True
Suppose 4*b - 2346 = -2*b. Is b a prime number?
False
Suppose 27*l = 24*l + 471. Is l composite?
False
Let j(q) = -q**3 + 5*q**2 - 3*q - 6. Let x be j(6). Let y = x + 97. Let a = y + -16. Is a prime?
False
Let w be 0*(-1 - 1 - -1). Suppose 2*j + w*b = 5*b + 143, -4*b = 4. Is j a composite number?
True
Let r = -9 + 6. Let d(a) = -2*a**3 - 2*a**2 - 2*a - 4. Let g(f) = -f**3 - f**2 - 1. Let q(n) = -d(n) + 5*g(n). Is q(r) a composite number?
False
Let q = 25 - -16. Suppose x - 15 = 5*d, -4*x + 5*d + q = 4*d. Suppose 5*c - x = 0, 0 = 5*u + c - 5*c - 107. Is u composite?
False
Let q(j) = 15*j**2 + j - 3. Let o be q(6). Suppose 0 = -4*d - f + 785 + 1387, -o = -d + 3*f. Is d composite?
True
Suppose -15*u + 20*u = 635. Is u prime?
True
Suppose -4*t + 25 = t, 5*n + 180 = -3*t. Let k = n + 86. Is k a prime number?
True
Is (6 - 5)/((-2)/(-508)) composite?
True
Suppose 0 = -0*o + 4*o + 8, 506 = 2*x - 2*o. Is x prime?
True
Let d(w) = 5*w**2 + 2*w + 4. Suppose 5*f = -c + 24, c = -f + 2*c. Suppose n - 2 = 3*n, -3*v - f*n = -5. Is d(v) a composite number?
True
Is (-1 + -28)/(1/(-23)) a prime number?
False
Suppose 4*h - 2063 = h - 4*o, 4*o + 3449 = 5*h. Is h prime?
False
Suppose 0*j + 38 = 2*j. Is j a prime number?
True
Let m = -11 + 5. Let t be (-25)/m - (-4)/(-24). Is (335/10)/(2/t) prime?
True
Let g be ((-72)/10)/((-2)/15). Suppose 2*f - 5*f + g = 0. Let l = 69 - f. Is l a prime number?
False
Suppose -4*s - 20 = 0, -4*s - 234 = -2*f - 0*s. Suppose -372 = -5*k - f. Is k a prime number?
True
Let d(h) = 3*h - 3. Let b be d(2). Suppose -5*z + 3*v + 370 = 0, 2*z - b*z - 5*v = -74. Is z a prime number?
False
Suppose 4 = 3*p - 2*p, 0 = 2*o - p - 110. Is o composite?
True
Let u be (9 + -4)/((-3)/(-102)). Suppose u = 5*p - 3*p. Is p prime?
False
Let z(g) = 337*g - 32. Is z(21) prime?
False
Suppose 4*b - i - 4633 = 0, b = i - 211 + 1373. Is b composite?
True
Let b be (-6)/21 + 18/14. Let z be (-1 + b)*3/(-6). Suppose -6*f + 2*f + 76 = z. Is f a composite number?
False
Suppose 0 = -t - 4*t. Is -1*(2 + -79 + t) composite?
True
Let l = -1162 - -2031. Is l a composite number?
True
Suppose 0 = -4*o - i + 34, -o + 17 = -0*o - 4*i. Let h = o + -4. Suppose 2*v = v + 4, -3*y - h*v = -50. Is y prime?
False
Let u be (-196)/(-2) - (-1 - 1). Suppose 4*j = u + 32. Is j a composite number?
True
Suppose 0 = 5*d + x - 891, 2*d - 2*x + 887 = 7*d. Is d a prime number?
True
Suppose -102 = -2*s - c, 111 = 4*s + c - 97. Is s a composite number?
False
Suppose -2*o - d + 1 = -2, -4*o - 3*d = -5. Let u(z) = 3 - o - 85*z - 1. Is u(-1) composite?
True
Suppose -3*z + 2*z = -53. Is z composite?
False
Let u = 92 + -340. Let b be (u/16)/((-2)/24). Is (b/(-4))/(-3)*2 prime?
True
Suppose -2*b = -h - 3, 3*b + 2*h = 17 + 5. Suppose b*d - 12 = 40. Is d composite?
False
Let y(t) = -7*t**2 + 5*t + 1. Let p(j) = 3*j**2 - 3*j - 1. Let z(f) = 7*p(f) + 4*y(f). Let i(m) = m. Let s(o) = 2*i(o) - z(o). Is s(-2) composite?
True
Is ((-183)/6)/(11/(-110)) a composite number?
True
Let z = -10 + 0. Let v be 16/(-40) + (-44)/z. Suppose 3*j - 417 = -v*i - 60, 5*j + 3*i = 584. Is j composite?
True
Suppose -337 - 548 = -3*s. Is s a prime number?
False
Let m(z) = 191*z - 3. Is m(2) a prime number?
True
Let m(x) = -6*x + 8. Is m(-3) prime?
False
Suppose -3*j = -j - 254. Is j a composite number?
False
Suppose -5*b = -2*h + 5*h - 1471, -10 = -5*b. Is h a composite number?
False
Let a(p) = p**3 - 5*p**2 - 18*p - 1. Is a(13) a composite number?
False
Suppose 0 = -2*k + 8 + 4. Suppose -3*t - k = -0. Is (-5)/t*4*1 a prime number?
False
Is 292*2 - (6/2)/3 a composite number?
True
Let v(q) = q**3 - 10*q**2 - 10*q - 7. Let b be v(11). Let m be ((-4)/5)/((-6)/45). Suppose -b*t = -m*t + 26. Is t prime?
True
Is (61310/(-20))/(-2 + (-3)/(-2)) a prime number?
True
Suppose 421 = 5*r - 4*j, r = -0*j - j + 77. Suppose 2*i = 3*g + 196 - 33, -3*i = 3. Let u = r + g. Is u a prime number?
False
Suppose 5*b = -b + 1938. Is b composite?
True
Suppose -2*a - 8 = -4*a. Suppose 5*c = v - 1 - 3, 5*c - a = -v. Suppose 260 = -c*l + 4*l. Is l a composite number?
True
Let z(n) = n. Let b be z(2). Suppose 15 = b*f - 1. Suppose 4*s - f*s = 4*i - 328, -4*i = -3*s + 225. Is s a prime number?
True
Let i(q) = 2*q - 2. Let v(x) = -x**3 - 7*x**2 + 8*x + 2. Let p be v(-8). Let y be i(p). Suppose -y*l = -4*l + 278. Is l a prime number?
True
Suppose 1312 = 3*d - 9455. Is d a composite number?
True
Let c(m) be the third derivative of 19*m**6/20 + m**5/60 + m**2. Suppose -3 = 3*n - 2*z + 4, -5*z = 2*n - 27. Is c(n) composite?
True
Let v be (-8)/(-28) - (-4588)/14. Suppose l + v = 3*l. Suppose -3*g + 4*h + h = -l, 3*g - 4*h - 163 = 0. Is g a composite number?
False
Let o(l) = 1693*l**2 - 2*l + 2. Is o(1) a composite number?
False
Let p(o) be the second derivative of 29*o**3/6 - 5*o**2/2 - 6*o. Is p(2) a prime number?
True
Let v be ((-6)/(-8))/(5/20). Let j be (-1)/v*0 - -29. Suppose i - 146 = -5*c + c, c + 4*i - j = 0. Is c a composite number?
False
Let b(g) be the first derivative of 1/4*g**4 - g**3 + g + 2*g**2 - 2. Is b(3) composite?
False
Suppose 3*v - t - 393 = t, v - 118 = 5*t. Is v composite?
True
Let c be -5 + 0*2/4. Let z = -2 - c. Suppose 436 = z*x + x. Is x a composite number?
False
Let j be 4/10 + (-886)/(-10). Suppose 0 = -3*f - x + j, 2*x = -x + 6. Suppose -c + 42 = -p, -182 = -4*c - p - f. Is c a composite number?
True
Let u(o) = o**2 + 7*o - 3. Let c be u(-8). Let m = -1 + c. Suppose -m*s - 73 = -n, -n + 0*n + 109 = 5*s. Is n prime?
True
Suppose 2*h + 0*h + 5*c = 738, -2*h + 762 = -c. Is h prime?
True
Let j(r) = -r**2 - 1 + 2*r**2 - 4*r**3 + 0*r**2. Let i be j(-2). Suppose 0 = -8*u + 3*u + i. Is u composite?
False
Suppose 2*m - m - 2 = 0. Is (2 - (127 + m))*-1 a composite number?
False
Let s(x) = 285*x - 8. Is s(9) prime?
True
Let s = 23 - 4. Is s prime?
True
Let b(q) = 35*q + 13. Is b(8) composite?
False
Let o(d) be the first derivative of d**5/20 - d**4 + 7*d**3/3 - d**2 - 3*d + 2. Let x(j) be the first derivative of o(j). Is x(11) a composite number?
False
Suppose -2*a + 2 = -2. Let u(l) = -6*l + a - l**3 + l**2 - 7*l**2 + 4. Is u(-5) a composite number?
False
Suppose 2*i = i - 18. Let v = 4 + -12. Let q = v - i. Is q composite?
True
Let f = -9506 - -13495. Is f prime?
True
Let t(v) = -181*v + 25. Is t(-4) a composite number?
True
Let y(o) be the second derivative of o + o**2 - 2/3*o**3 + 0 + 1/4*o**4 + 1/20*o**5. Is y(2) a prime number?
False
Let t = -6 + 9. Suppose 1215 = t*n + 294. Is n prime?
True
Suppose 2*o - 962 = 1524. Is o composite?
True
Let q(c) = c**3 - 3*c**2 - 8*c + 3. Let r be q(5). Let l = 35 - r. Is l a prime number?
False
Let n = 20 - 15. Suppose -2*f + 863 = f - 2*h, -1440 = -5*f + n*h. Is f a composite number?
True
Suppose -6562 = -6*q - 2392. Is q a prime number?
False
Suppose -5*y + 5*i - 20 = 0, 5*y - 2*i + 16 - 2 = 0. Is (69/(-5) + y)*-5 a prime number?
True
Suppose 2*t + 0*t = -64. Let h = 23 + t. Is (-3)/h - 352/(-6) a composite number?
False
Suppose 0 = -5*u - f + 3, f = u + 4 - 1. Suppose u = 4*z - 1 - 123. Is z a composite number?
False
Suppose -4*j + 0*j + 16 = 0. Suppose 0 = j*v - 0*v. Let b = 3 - v. Is b a composite number?
False
Let j be (9/(-6))/((-6)/16). Suppose j*r - 3431 = 2477. Is r composite?
True
Let h(y) = -2*y**3 - 12*y**2 + 17*y + 10. Let a be h(-11). Let p = a + -724. Is p prime?
False
Let a = -22 + 83. Let x = a - -70. Is x prime?
True
Let x be (2/(-2))/(1/(-3)). Suppose x*k + 5*t - 7291 = 0, 5*t - 1