ite number?
True
Suppose -80 = -2*b + 4*y, 10*y + 215 = 5*b + 5*y. Suppose 99*z - 9 = 98*z. Suppose -b = -k - z. Is k a composite number?
False
Suppose -4*z + 17*z - 45253 = 0. Is z composite?
True
Suppose 5*d + 2 = x + 22, d + 5*x = 30. Suppose a + 291 = d*m - 0*a, -5*m = a - 289. Is m composite?
True
Suppose -56*x + 61*x - 10 = 0. Is (-2)/(((-16)/140)/x) composite?
True
Let i = 15429 - 10592. Is i a prime number?
False
Let s be -96 + 2 - 4*(-3)/(-12). Let l = 172 + s. Is l a composite number?
True
Let i(t) = t + 75. Let g be i(-18). Let s = -56 - -34. Let d = g + s. Is d a prime number?
False
Let w(o) be the third derivative of 79*o**5/10 - o**3/6 + 4*o**2. Is w(1) prime?
False
Let k(i) = 6797*i + 905. Is k(8) prime?
False
Suppose -p = 77 - 357. Let t = 1 + 2. Suppose -3*u + 130 = -u + s, -p = -4*u + t*s. Is u a prime number?
True
Let w be (-2)/14 - 99630/(-42). Suppose -7*a + w = -3*a. Is a a composite number?
False
Let n be (-4587)/(-15) - 3/(-15). Suppose n = -m - 3*c + 56, -3*m - 702 = -3*c. Is (33/11)/((-6)/m) composite?
True
Let i(d) = 1522*d**2 - 32*d + 5. Is i(2) a prime number?
True
Suppose -9*c = 12*c - 169197. Is c prime?
False
Suppose -2*n = -3*y, n = 4*n + 3*y. Suppose -3*f = -n*f - 2*d - 1743, -4*f + 2324 = -3*d. Is f composite?
True
Is 6 + 5 + -8 + 1246 a composite number?
False
Let z be (3 - 4)/((-3)/(-2364)). Let a = z + 1411. Is a composite?
True
Let j(d) = 2*d**3 - 4*d**2 + 20*d + 11. Is j(16) a composite number?
False
Let i = 3 - 3. Suppose 0*j - 3*j + 6 = i. Suppose -u - j*u + 177 = 0. Is u composite?
False
Suppose -5*j + 19512 - 1217 = 0. Is j a prime number?
True
Let g = -272 + 495. Is g a prime number?
True
Suppose 1 + 15 = 2*j. Let h be 578 + (-4)/j*6. Suppose -h = -11*v + 6*v. Is v a composite number?
True
Suppose k - 7 = -2*j - 1, -5*j - 12 = -2*k. Suppose 0 = -k*l + 9*l - 78. Is l composite?
True
Suppose -2*g + 18 = -2*d, -7*g = -2*g - 3*d - 49. Suppose 0 = -g*w - 3*w + 7798. Is w composite?
False
Suppose -y = -3*t - 6364, 0 = y + 4*t + 3014 - 9343. Is y composite?
True
Let b = -5 + 11. Suppose h + b*h = 2639. Is h prime?
False
Suppose -5*q - 208 = -5*u - 1368, q - 2*u = 233. Suppose -q = -10*v + 7*v. Is v a prime number?
False
Is (-5003)/(2*8/(-16)) prime?
True
Let p(z) = 8*z**2 - 37*z - 26. Is p(19) a composite number?
True
Let v be (-2 - 1)/(0 + -1). Let f be (-21)/(-9) - 1/v. Suppose 4*s + 136 = -f*c + 910, 4*c = -4*s + 1532. Is c a prime number?
True
Suppose -3*c - 3393 = -3*w, -5*w + 5610 = -c + 5*c. Suppose 7*v + w = 9*v. Is v prime?
True
Let o be 377 - (3 + -2) - 0. Let b = -633 + 368. Let h = o + b. Is h a prime number?
False
Suppose -4*p - 3 + 118 = 3*s, -2*p + 5*s + 77 = 0. Is p composite?
False
Let u = -3972 - -6761. Is u composite?
False
Suppose 3*y - 6 = 0, -y + 73 - 1 = -5*j. Let i(h) = -h - 12. Let u be i(j). Suppose 3*l = 4*g - 269, 5*g - 132 = 3*g + u*l. Is g prime?
True
Suppose 0 = 3*b + m + 5, -10 = -5*b - 4*m - 30. Suppose 16*s - 21*s + 1645 = b. Is s prime?
False
Suppose -3*f = -6231 - 2679. Let z = f - 985. Is z prime?
False
Let u = -11 + 5. Is (-110)/u + 6/9 a prime number?
True
Suppose -216 = -2*r - 0*n + 3*n, 4*r + 3*n = 414. Let b = -21 + 46. Suppose u = 3*d - r, -4*u + b = d - u. Is d a composite number?
True
Suppose -4*d + 3*u = -23122, -21427 - 7472 = -5*d + 2*u. Is d a composite number?
False
Is (7275/(-6) - 1)*(-10)/15 prime?
True
Let z(m) be the first derivative of -19*m**2/2 + 56*m - 31. Is z(-17) a composite number?
False
Suppose 5*g - 1866 = 2*g. Suppose -g = 7*p + 365. Let k = p - -274. Is k prime?
False
Is (-3856260)/(-210)*(-1 - 9/(-2)) a composite number?
False
Is 13/4*-2*(-7510)/5 composite?
True
Let i(h) = -5*h**2 + 35*h - 6. Let p be i(7). Is ((2412/(-15))/p)/((-4)/(-10)) composite?
False
Let n(p) = -35*p**3 + 4*p**2 + 4*p + 6. Is n(-7) composite?
True
Let r(a) be the first derivative of -a**4/4 - 13*a**3/3 - 3*a**2/2 - 15*a - 9. Is r(-14) a prime number?
True
Let o = -314 + 219. Let c = 438 + o. Suppose 3*q + v = c, q + v = 2*q - 109. Is q a composite number?
False
Let f(x) = x**3 - 4*x**2 - 3*x - 6. Let c be f(5). Suppose m + 3021 = c*m. Suppose 0 = -5*o + 108 + m. Is o composite?
False
Suppose -10 = -2*s - 128. Suppose -156 = -2*k - 8*i + 4*i, -3*k + 4*i + 264 = 0. Let f = k + s. Is f composite?
True
Let z be (-21934 + -2 + -1)/(-4 - -5). Let a = -15588 - z. Is a a prime number?
False
Let b = -1476 - -8630. Let f(a) = -7*a**2 - 57*a + 1. Let d be f(22). Let i = b + d. Is i composite?
True
Let u(p) be the second derivative of 9*p**3/2 - p**2 - 2*p. Let l(t) = -41*t + 3. Let z(b) = -5*l(b) - 8*u(b). Is z(-6) prime?
True
Let a(n) = -n**3 + 12*n**2 + n - 10. Let g be a(12). Suppose 4*y + g*f + 266 = 0, 3*y + 93 + 119 = f. Is 0 + -3 - -3 - y a composite number?
True
Let p(k) = -34*k - 8. Let n be p(6). Let q = n - -314. Suppose 72 + q = 3*h. Is h prime?
False
Let y(u) = -49*u - 12. Let x(w) = 99*w + 24. Suppose 0 = m - 5. Let d(o) = m*y(o) + 2*x(o). Is d(-5) a prime number?
True
Let f be 17 + (-1)/((-5)/(-20)). Let r be -1*311*(-13)/f. Let u = r - 208. Is u a prime number?
True
Let j(z) = 4 + 0 + 2*z - z. Is j(6) a composite number?
True
Suppose 10*a - 8*a - 290 = 0. Let d be 0 + 2 + (2 - -54). Let k = a + d. Is k a composite number?
True
Let p(b) = 5*b**3 + 8*b**2 - b - 8. Let z be p(-9). Is (2/4)/((-2)/z) a composite number?
True
Let o(a) = 6 + 13 + 2*a**2 - 5*a - 22*a + 11. Is o(17) prime?
True
Let y(o) = -5*o**3 - 2*o**2 - 6*o + 6. Suppose 3*s - 2 = 10. Let a be y(s). Let b = a - -741. Is b a prime number?
False
Suppose -11 = -s - 5*x, 0 = -3*s + x - 27 + 124. Suppose 19 = -2*k - s. Let l = k + 166. Is l prime?
False
Let g = -1880 - -5031. Is g a prime number?
False
Is 3 - 0 - (-33496 - 30) a prime number?
True
Suppose m - 9415 = -3*i, -4*i - 15673 = -9*i + 3*m. Is i prime?
True
Let q = 40287 + -21694. Is q prime?
True
Let y(h) = 62*h + 142. Let d be y(10). Suppose -1475 = -z + 6*z. Let i = d + z. Is i a prime number?
True
Let g = 10 - 15. Is (-5)/((-75)/6) + (-2213)/g composite?
False
Let b be 2/(-14)*4 + 46/7. Let q(d) = 19*d**3 - 7*d**2 + d + 9. Is q(b) prime?
False
Is (-2559627)/(-145) + 6/15 a composite number?
True
Let x = 2 - 9. Let q = 7 + x. Suppose 4*c + q*c = 28. Is c composite?
False
Let h(c) = 4*c**2 + 7*c - 3. Let o be h(-6). Suppose -18 - o = -l. Is (404/(-6))/((-26)/l) a composite number?
True
Let k(n) = -3*n - 54. Let c be k(-19). Suppose 0 = 3*p + 5*o - 16123, 0 = c*p - 2*o - 23133 + 6982. Is p a composite number?
False
Let n be 3/(-2)*(-1232)/33. Let k = n + 21. Let q = -40 + k. Is q a composite number?
False
Let k be -2*((-10)/4 + 1). Let r(l) = 373*l**3 - l**2 + 4. Let y be r(-2). Is y/(-16) - k/2 a prime number?
False
Let j(o) = -157*o**2 + 4*o + 53. Let u(c) = 39*c**2 - c - 13. Let t(s) = 2*j(s) + 9*u(s). Is t(-5) composite?
False
Let t = -64 - -38. Is (138*1)/(t/(-13)) a prime number?
False
Suppose 0 = 5*p + 5*b - 48615, 2*p - 33*b - 19439 = -28*b. Is p composite?
True
Is (-2)/(-9 - (-259425)/28827) a prime number?
True
Let f = 3668 - 1635. Is f a prime number?
False
Suppose -100*y + 79*y = -61719. Is y a prime number?
True
Let f be 2/(-6) - 2360/(-6). Let t = -57 + 128. Suppose 2*x + t = f. Is x prime?
False
Suppose -5*c + 21284 = -87261. Is c prime?
False
Suppose 0 = 2*y - i - 0*i - 23, 16 = y - 2*i. Suppose 2*r - 56 + y = 0. Is r composite?
False
Suppose -171 = -5*w + 74. Let q = 234 - w. Is q composite?
True
Suppose -5*f - 7715 - 2155 = 0. Let k be 1295*(1/1)/(-1). Let x = k - f. Is x composite?
True
Suppose -129*l + 124*l + 12665 = 0. Is l a prime number?
False
Let p(q) = 2*q**2 - 26*q - 17. Suppose 2*z = z - 27. Let l = -8 - z. Is p(l) composite?
False
Let z(m) = -3*m**2 - 19*m - 6. Let j be z(-6). Suppose 5*r - 2*h - 5849 = -j*h, -4*r = -4*h - 4672. Is r composite?
False
Let y(f) = 9*f**3 - 4*f**2 - 4*f + 1. Let h(b) = -b**2 - 18*b + 4. Let m be h(-18). Is y(m) a composite number?
True
Let r(b) = -b**3 + 5*b**2 + 6*b - 6. Let v be r(6). Let f = -5 - v. Is (-312)/(-2) - (-3)/f a composite number?
True
Let u(t) = t - 1. Let p(s) = 56*s - 3. Let i(f) = p(f) - 6*u(f). Is i(8) composite?
True
Let i(x) = -2*x**2 + 10*x - 6. Let f be i(4). Suppose -y + f*y = 3*j - 3286, -3*j + 3311 = 4*y. Is j a prime number?
True
Let h = -28076 + 40527. Is 