rime?
True
Suppose -3 = 8*o - 11*o, 169027 = 4*z - o. Is z a prime number?
True
Is 1/(4 + (-18450)/4614) prime?
True
Suppose -167 = -2*n + 2*j - 511, -n = 4*j + 162. Let c = -111 - n. Is c prime?
True
Suppose 13*p - 20706 - 63261 = 0. Is p a prime number?
False
Let i(j) = 51*j + 1. Let q be i(1). Suppose q = -2*p - 14. Is (-2202)/(-4)*(-22)/p composite?
False
Is 26/(-13)*((-7194)/4 - -2) a composite number?
False
Suppose -5*s + 2116 = -s. Is s a composite number?
True
Suppose 2*u - 2 = 2. Let w(n) = 417*n**2 + 6*n - 7. Is w(u) a prime number?
False
Let h(x) = -x**2 - 23*x + 31539. Is h(0) prime?
False
Suppose 8*n + 12585 = 11*n + 3*k, -12597 = -3*n + 3*k. Is n a composite number?
True
Suppose -18 + 1 = -3*r - 2*y, 5*r - 3*y - 22 = 0. Suppose 4*l + 233 = 5*n, -n - 4*n - r*l + 260 = 0. Is n a composite number?
True
Let r be (-1)/(-4)*(-32)/(7 + -15). Is (r/2)/(5925/2962 - 2) a prime number?
True
Let i be 862*14*(-2)/8. Let y = -1546 - i. Is y a prime number?
True
Let u = 28 - 6. Let d = -20 + u. Suppose 2*q - 663 = -3*x, -d*q = -4*x + q + 884. Is x composite?
True
Suppose -3*t = -q + 136, 0 = 5*q + t - 993 + 345. Suppose s = -4*s + q. Is s*(-3 - (-129)/6) a composite number?
True
Is (-721)/(-1) - 0*(-2)/8 prime?
False
Let c(y) = 1395*y**2 - 15*y - 11. Is c(3) composite?
True
Is 80452/9 - (0 - (-1)/9) a prime number?
False
Let f(q) = 6*q**3 + 5*q**2 - 12*q + 6. Let w(v) = v + 1. Let j(s) = f(s) - 2*w(s). Is j(5) prime?
True
Suppose -3*d = 2*m - 22 - 3, 2*d - 3*m = -5. Suppose 0 = -d*j + 294 + 296. Is j prime?
False
Suppose 5*b + 3*i - 14437 = 60430, b - 14987 = -4*i. Is b a prime number?
False
Let w be -21 - (-2 - -1)*(-17 + 13). Suppose -4*d + 169 = 5*h + 723, -h - 118 = -d. Let l = w - h. Is l prime?
True
Suppose -9145 = -3*u + 2*p, 4*p - 3519 = -2*u + 2567. Is u composite?
True
Let w be (-21)/35 + (-4)/10*-1699. Suppose -4*c - l = -w, 0*l + 178 = c + 3*l. Is c a prime number?
False
Let k = 46 + -41. Suppose 2*g - k*r = 3021, 3*g + 2*r - 7*r = 4544. Is g a prime number?
True
Let l(p) = p**2 + 2*p + 1. Suppose a + 4*w = -15, 0 = 3*w - 3 + 12. Let h be l(a). Suppose 363 = -h*v + 7*v. Is v prime?
False
Let s(n) = -n**2 + 2. Let j be s(0). Suppose -j*f + 4 = -f. Suppose -f*t = -2*t - 6. Is t composite?
False
Let o(v) be the third derivative of 0*v + 4*v**2 - 1/120*v**6 - 13/6*v**3 - 1/12*v**4 + 0 - 1/6*v**5. Is o(-10) prime?
True
Suppose 9 = n + s, 5*n + s - 28 = -3. Suppose p - 63 = -28. Suppose n*q = f + 214, f + p = q - 20. Is q composite?
False
Let s be (24510/(-9))/(4/(-12)). Suppose s = 2*z + 1998. Is z a composite number?
True
Let l(j) = -j**2 + 17*j - 21. Let c be l(15). Let v(b) = 6*b + 17 + 5*b**2 + c*b - 6*b. Is v(8) a prime number?
True
Let g(y) = y**3 - 6*y**2 + 21*y - 83. Is g(30) composite?
False
Let m(c) = -c**3 - 9*c**2. Let q be m(-16). Let l = q + -749. Is l a composite number?
True
Let r = 46 - 64. Let x be (-6)/r + 524/(-6). Let k = 134 + x. Is k composite?
False
Let o(z) = 801*z**2 - z + 1. Let g be o(1). Suppose 5*i - y = 22, i - 5*y - 9 - 5 = 0. Suppose -g = b - i*b. Is b a composite number?
True
Suppose s - 5*s - 4 = 0, -6842 = -2*t + 4*s. Is t a composite number?
True
Let o be 117/6*(-1036)/(-3). Let c = o - 4531. Is c composite?
False
Suppose 0 = 3*w - 5*t - 2117, 0 = 4*w - 5*t - 1434 - 1392. Is w a composite number?
False
Let c be -8 - (3 - 30/5). Is (0 - c)/5 + (442 - 0) a prime number?
True
Let d(j) = j + 1. Let c(a) = 19*a + 22. Let k(f) = 75*f + 87. Let s(h) = -9*c(h) + 2*k(h). Let w(p) = 5*d(p) + s(p). Is w(-10) prime?
False
Suppose -3*c - 2*y - 17 = -0*y, -2*c + 4*y = -10. Is 998/(-1 - (c + 0)) composite?
False
Is (31 + -29)/(4/2610) + -2 prime?
True
Let s(f) = 64*f**2 - 34*f - 31. Is s(-28) composite?
True
Suppose -184 = -m + 5*m. Is ((-66)/(-12))/1*m/(-1) prime?
False
Is -7 + (-8781 + -3)/(-3) a composite number?
True
Let u be 3/(-2 - (-961)/482) - -1. Let w = -108 - u. Is w composite?
False
Let n(p) = 479*p**3 + 4*p**2 - 7. Let f(z) = 718*z**3 + 6*z**2 - 10. Let c(k) = 5*f(k) - 7*n(k). Let r be c(1). Suppose r = 2*m + 12. Is m a prime number?
True
Suppose -3*m + 227 - 958 = -2*x, -2*x = 10. Let y = m + 1206. Is y prime?
False
Is (13 + -15)*1143/(-6) a prime number?
False
Suppose -110364 = 31*a - 43*a. Is a a prime number?
False
Let l(k) = 75*k**2 + 66*k - 1. Is l(20) a composite number?
False
Suppose 0 = -3*t + 5*g + 29, -4*t - 4*g = -3*t + 13. Suppose 13*w - 5530 = t*w. Is w a composite number?
True
Let h(l) = -l - 14. Let y be h(-5). Let z = y - -86. Is z prime?
False
Let g(j) = -j**2 + 20. Suppose -75 = 5*s + 3*t + 2*t, 0 = s + 3*t + 13. Let v be g(s). Let n = 469 + v. Is n prime?
True
Let d(y) = y - 5. Let h be d(7). Suppose 0 = -r - 2 - 1, -5*m = -h*r + 8029. Let p = -966 - m. Is p a composite number?
False
Suppose 2*j + 9 = 5*j. Let y(x) = x**3 - 2*x**2 - x - 2. Let k be y(j). Suppose -2*f = 5*m - 91, -f - k*m + 219 = 4*f. Is f a prime number?
True
Let k(p) = -16*p**3 + 3*p**2 - p + 2. Let n be k(2). Let r = 379 + n. Suppose -f = -r + 12. Is f prime?
True
Let r = 47328 - 29887. Suppose 3*a - r = 5098. Is a a composite number?
True
Let f(h) = -2*h + 5 + 0 - 5 - 2. Let i be f(-6). Let z(d) = 31*d - 15. Is z(i) a composite number?
True
Suppose -66*g + 277029 = -57*g. Is g prime?
True
Let c = 417 + -279. Suppose -136*s + c*s - 7186 = 0. Is s a composite number?
False
Let f(x) = x**3 + 12*x**2 + 6*x + 5. Let g(u) = -u**2 + 10*u + 6. Let w be g(11). Let i be f(w). Let q = -79 + i. Is q a prime number?
True
Suppose -5*v + 2930 = 5*g, -3*g + 1763 = 7*v - 9*v. Is g prime?
True
Is (117/(-468))/(73819/73820 + -1) a prime number?
False
Let x(l) = -l**3 + 7*l**2 + 63*l + 3. Let w be x(12). Let d(m) = 6*m**2 - 3*m - 7. Let h be d(5). Suppose -w = o - h. Is o a composite number?
False
Let u = -172 + 174. Is u/(-11) + 2/11 + 269 a composite number?
False
Suppose 3*f - 16 = -4*j - f, 4*f = 3*j + 23. Is (-409 - 4)*(j/1)/1 prime?
False
Suppose -c + 2*c - 4 = 0. Let w be (5 + 22/(-4))*(-1 + -757). Suppose 3*d = -c*f + 5*f + w, -2*f - 631 = -5*d. Is d prime?
True
Suppose -70775 + 3805 = -2*a + 3*s, a = s + 33483. Is a prime?
True
Let l = -54 + 53. Let a(n) = 296*n**2 + 3*n + 2. Is a(l) a prime number?
False
Suppose -3555 = -7*j - 9540. Let s = j + 1228. Is s composite?
False
Let a(c) = 3*c**2 + 3*c - 29. Is a(-12) prime?
True
Let c(a) = 5*a + 49. Let k be c(-8). Suppose 4*x = k + 115. Is x prime?
True
Let c(t) = 15*t**2 - 5. Let g be c(6). Suppose 10*b = 5*b + g. Let u = b + -70. Is u composite?
False
Let m(y) = 11*y**2 + y + 103. Is m(-13) a prime number?
True
Suppose 3*k + 5*m - 215 = -2*k, 0 = 5*k - 5*m - 215. Suppose 3*c = 14 + k. Is c a prime number?
True
Let g(p) = p**2 + 14*p + 16. Let w be g(-13). Suppose w*z - 4*z - 651 = -5*k, -246 = -2*k + 4*z. Is k composite?
False
Let l(m) be the first derivative of -m**3/3 + 3*m**2 - 3*m + 12. Let y be l(2). Is (152 - 15/y)*1 prime?
True
Is 1/(5 + (-418138)/83629) prime?
False
Let w = 2 - 11. Let z(v) = -v**2 - 11*v - 13. Let u be z(w). Suppose 2*n - 691 - 149 = -4*i, -3*n + 1049 = u*i. Is i a composite number?
False
Let a be ((-1)/4)/(3/(-60)). Suppose -6*y - 7 = a. Is 3 + (-812)/(4/y) prime?
True
Suppose 3*s = -t + 9020, 0 = 3*t + 3*s - 18419 - 8659. Is t composite?
False
Let u(p) = -92*p + 25. Let n be u(2). Let l = 991 - 699. Let z = n + l. Is z a prime number?
False
Let l(m) = -7. Let w(j) = j. Let a(h) = -l(h) - 42*w(h). Is a(-3) a prime number?
False
Let t = -8759 - -13070. Let o = t + -2408. Is o a composite number?
True
Let y(c) = c**3 + 7*c**2 + c + 5. Let n be y(-7). Let k(v) = -83*v**3 - 5*v**2 - 4*v - 5. Is k(n) composite?
False
Let j be 12/(-21)*(-5 - 2). Suppose 0 = 5*s + 4*c + 355 - 2680, s - j*c - 489 = 0. Is s composite?
True
Is 2017 + 0 + (-9 - -9)/(-7) a composite number?
False
Let o = 106 + -101. Suppose -3*l = 4*p - 685, p = o*l - 4*l - 240. Is l a composite number?
True
Suppose -104*j = -103*j - 8459. Is j a prime number?
False
Let r(w) = 21*w**2 + 5*w + 7. Let k = -17 + 13. Is r(k) composite?
True
Suppose -2*k - 3*p = -30, -4*p + p = 0. Suppose -5*a - 10 = 10. Is (k/a)/((-11)/44) a composite number?
True
Let f(t) = -55*t - 94. Is f(-7) composite?
True
Suppose -15 + 0 = -5*f. Suppose f*z + p + 3*p = -559, -4*z - 2*p - 762 = 0. Let b = 130 - z. Is b a c