rime?
True
Let q(o) be the second derivative of -o**3/6 + 19*o**2/2 - 16*o. Is q(-15) a prime number?
False
Suppose -5*m = -3*g - 1858, 2*m - 2*g = 237 + 503. Suppose j + m = -4*n, 0 = j - 5*n - 157 + 531. Let z = j + 535. Is z a prime number?
False
Is (-120)/(-18) + -6 + 148393/21 composite?
True
Is 0/(-10) - 1/(2/(-42002)) composite?
False
Is ((-40)/(-180))/(6/1214217) a prime number?
True
Let r(q) = 15*q**2 - 2*q - 10. Let m be r(8). Let k = -299 + m. Is k composite?
True
Suppose -400*y - 327570 = -430*y. Is y composite?
True
Let v(x) = -x**3 + 9*x**2 + 8*x + 4. Let m(h) = 1. Let w be 1/(-5) + (-6)/(-5). Let s(r) = w*m(r) + v(r). Is s(8) a composite number?
True
Let y(r) = 10*r**3 + 0 + 12*r**3 - 2 - 26*r**3 - 6*r**2 - 5*r. Is y(-5) prime?
True
Let m(a) be the second derivative of 3*a**5/20 - 2*a**4/3 + 3*a**3/2 - 5*a**2/2 + 10*a. Is m(6) composite?
False
Suppose -3*h + 34300 = 5*z, 5*z = -0*z + 4*h + 34335. Is z prime?
True
Let o(h) = -h**2 + 3*h + 3. Let b be o(3). Suppose p - 2344 = -b*w, -5*p - 563 + 4463 = 5*w. Suppose g - w = -g. Is g a prime number?
False
Suppose s + 6 = -3*l + 4*l, -4*s = 4*l + 48. Let f = s - -13. Suppose 4*r + 224 = f*p, p + 178 = 4*p - 5*r. Is p composite?
True
Suppose 3*o + 0*q + 11 = 4*q, -o + 3*q = 12. Is -26*((-51)/2)/o composite?
True
Let r be 4 - 474/3 - -2. Let n = r + 219. Is n composite?
False
Suppose 4*p + i + 4*i - 1072 = 0, 0 = 4*p - 4*i - 1036. Suppose -2*x = 227 + p. Let w = x + 627. Is w a prime number?
False
Suppose -5*y + 15 = -5*s - 20, s = -y - 1. Suppose -y*r = 2*r - 185. Is r composite?
False
Suppose 5*v - 30 = 5*t, -v + 6*v = 2*t + 24. Let x(y) = -48*y**3 + 2*y**2 - y + 1. Is x(t) a prime number?
False
Let l = 268 + -189. Suppose 0 = y + i - 3*i - l, 0 = y + 4*i - 79. Is y composite?
False
Suppose i + 4 = 8. Suppose 3*v + 48 = -5*f, i*f - v + 36 = -4*v. Is -1 - (3 - 1) - f composite?
True
Let d = -12 - -13. Let v be (-24480)/10 - (d - -2). Let s = v - -3812. Is s a composite number?
False
Is ((37833/5)/(-3))/((-100)/500) a prime number?
True
Suppose -x + 0 - 5 = -2*k, -2*x = -5*k + 14. Suppose 5*i + 2*s = 8, x*i + 4 = -0*i + s. Suppose 1259 = 5*v - 3*g, i = -2*v + 2*g + 327 + 175. Is v prime?
False
Let m = -88 - -79. Is 20/3*m*5971/(-84) a prime number?
False
Let b(r) = 11 + r + 4*r - 12. Let s be b(1). Is ((-30)/(-25))/(s/3070) a prime number?
False
Suppose 22*v + 25140 = 27*v. Suppose -3*b - 1257 = -y, b + v = 4*y + 4*b. Is y prime?
False
Is (19347*2/18)/((-1)/(-3)) a prime number?
True
Let b(o) = -o**3 + 2*o**2 + 2*o + 1. Let s be b(-1). Suppose 0 = 6*r - s*r - 1868. Is r a prime number?
True
Suppose -435*b = -442*b + 151942. Is b prime?
False
Let u(h) be the third derivative of -h**6/120 + 17*h**5/60 + 17*h**4/24 + 13*h**3/6 + 6*h**2. Is u(16) a prime number?
True
Let n be 4 + 0*(-1)/5. Let c be -2*((-1335)/10 + n). Suppose -s - l + 2*l + 259 = 0, s + 4*l = c. Is s a prime number?
False
Let v(d) be the first derivative of -d**2 + 2*d - 7. Let x be v(-1). Suppose -6 = 4*c - 26, 671 = u - x*c. Is u a prime number?
True
Let g be (-795)/(((-12)/(-3))/(-4)). Let i be 0/5 + 0 + 4. Suppose g = i*z - z. Is z prime?
False
Suppose -125 = -i - 3*u + 359, 0 = 4*i + 2*u - 1946. Is i a prime number?
True
Suppose 2*m + 5*o = -15, 5*o + 9 = -m + 2*o. Let z = -3 - -3. Suppose m = -4*p + d - 0*d + 480, p + 4*d - 103 = z. Is p prime?
False
Suppose -t + 9 = 8. Is 1335/3 + 2*(t - 2) a composite number?
False
Suppose 107 = -h + 1846. Is h prime?
False
Is -446*((-2 - -1) + 63/(-42)) prime?
False
Let x(z) = -10*z - 9. Suppose 21 = -3*a + v, 3*v = -4*a + 2*a - 14. Let u be x(a). Suppose -2*j = u - 675. Is j a prime number?
True
Let s(k) = k**2 - 21*k + 96. Let n be s(8). Let m(l) be the third derivative of l**6/120 + l**5/5 - l**4/3 + 11*l**3/6 + l**2. Is m(n) prime?
True
Is 9 - 7 - 2/(-2)*7559 a composite number?
False
Let r(w) = w**2 + w + 163. Suppose 3*d + 5 = -k, -3*k - 11 = -3*d + 4. Let x be r(d). Suppose -2*v = -2, -5*c - 4*v + x = -1136. Is c prime?
False
Suppose 7*v - 4*v = 9. Suppose 2*u - 135 = -v*u. Let q = u + -5. Is q composite?
True
Let v(t) = 26*t - 8. Let w be v(10). Let g = 148 - w. Let o = -69 - g. Is o composite?
True
Let f be (-2 + 1)/(1/(-4)). Is 1*2/f*106 a prime number?
True
Let s = 17479 + -11880. Is s prime?
False
Suppose -15*u = -29*u + 11914. Is u prime?
False
Suppose 3 = -u - 0, 0 = 3*d - u - 2268. Let b = d - 415. Let t = 657 - b. Is t composite?
False
Let c(x) = 13*x**3 + x - 1. Let y be c(1). Let g = -15 + y. Is g*4/8*-25 composite?
True
Let s = -4847 + 14830. Is s composite?
True
Let g(r) = -1127*r + 466. Is g(-21) a prime number?
True
Let n = 72 + -4. Suppose n = g - 137. Is g composite?
True
Suppose -77*d - 9*d = -2036738. Is d prime?
False
Suppose 8 - 23 = -5*l. Is (-1)/l - -286*(-41)/(-6) a composite number?
True
Suppose 128 - 40 = p. Is 1636 - (2/14 + p/(-28)) prime?
False
Let t(a) = a**2 + 561*a + 1163 - 568*a + 0*a**2. Is t(0) prime?
True
Let y(x) = 289*x**2 - 23*x + 7. Is y(11) a composite number?
True
Suppose 0*a - 4*a = -5*l + 3837, -a - 3 = 0. Suppose -5*s = 5*z - 800 - l, -4*s + 4*z + 1252 = 0. Suppose 5*g - 352 - s = 0. Is g a prime number?
False
Let c(v) = -v**3 - 11*v**2 + 11*v + 13. Let i be (-14)/21 + (-102)/9. Let f be c(i). Is 10435/f + (-6)/15 a composite number?
True
Suppose 0 = -n - 4*i + 367, 3*n + 2*i = 3*i + 1101. Let h = n + -164. Is h composite?
True
Suppose 0 = 4*q - 8, -2*m + 4*q - 32 = -3*m. Suppose -l + m = 4*u, 0 = -0*l - 3*l - 3*u + 27. Suppose l*r = 80 + 228. Is r a composite number?
True
Let q(t) = t**3 + 6*t**2 + 4. Let n be q(-6). Suppose 5*v + 465 = -5*h, 3*h + n*v + 283 = 2*v. Let y = h - -182. Is y a composite number?
True
Suppose -2*l = 3*t + 9, 3*l = 3*t + 5 - 11. Let m = -680 - -682. Is (m - 53/l)*3 composite?
False
Suppose 2*u = p + 5*u - 252, -p = -2*u - 247. Suppose -4*n + c - 2*c = -638, 634 = 4*n + 3*c. Let g = p - n. Is g a composite number?
False
Is (-42)/24 + 6/8 - -4342 composite?
True
Suppose -a + 14 = -0*a - 4*p, p + 1 = -a. Suppose a*c - 12 = -2*c. Suppose 2*t = 4*n + 1172 - 98, 2*t + c*n - 1060 = 0. Is t prime?
False
Suppose 2*u + 3*l - 715 = -2*l, 0 = -5*u + l + 1720. Let y = u - 232. Is y a prime number?
True
Suppose -14*u + 8472 = -14726. Is u prime?
True
Suppose 0 = 7*w - 2659 - 14988. Is w prime?
True
Let k(r) = 2*r + 26. Let s be k(-12). Suppose -5*f + s*f + 3327 = 0. Is f a composite number?
False
Let b(s) = 658*s + 279. Is b(14) a prime number?
True
Suppose -5*k = -2*k + 9. Let f(n) = 2 - 25*n + 4*n**2 + 56*n - 27*n. Is f(k) composite?
True
Let y(q) = 8*q**3 + 2*q**2 - q + 2. Let k be y(2). Suppose d - k = 113. Is d a composite number?
True
Let a = -2863 - -8682. Suppose -8*l + a = -3*l - r, -l + 1167 = -r. Is l prime?
True
Let s be 27/6*2/3. Suppose 15 + 45 = s*l. Is 74/5*l/8 composite?
False
Let v(k) = 9*k + 18. Let u(g) = -10*g - 18. Let m(r) = 6*u(r) + 5*v(r). Is m(-5) a prime number?
False
Suppose 0 = 5*y - r - 33065, -r = -9*y + 6*y + 19839. Is y a prime number?
False
Let x(i) = 22*i**2 + 2*i. Let k be x(-1). Is k/(-8) - (-24108)/8 a composite number?
False
Suppose d - 100 = -292. Let l = -326 - d. Is l/(-4)*4 - 3 a prime number?
True
Let d(c) = -c + 9. Let o(i) = 2*i - 10. Let m(j) = 3*d(j) + 2*o(j). Let k be m(-4). Suppose -2*v - k*a = -187, 46 = 3*v - 5*a - 206. Is v a prime number?
True
Let x = -5210 + 11701. Is x prime?
True
Suppose 0 = -x - 3*q + 5*q + 10, -4*x + q + 5 = 0. Let v = x - -2. Suppose 0*t = -4*p - v*t + 228, -2*t - 57 = -p. Is p a composite number?
True
Is 80/(-320) - 342522/(-8) composite?
True
Suppose 0 = 96*n - 77*n - 29317. Is n prime?
True
Is 1 + 2 - -38*35 composite?
True
Let p(l) = -2069*l + 10. Let d be p(-5). Suppose d = 3*m - 2*w, 0*w + w + 17270 = 5*m. Suppose 6*b - 2911 = m. Is b a composite number?
False
Suppose 73612 + 105391 = 11*s. Is s a prime number?
True
Suppose 3*q - 1862 + 450 = -4*h, -3*h = 5*q - 2335. Suppose 5*g - q - 66 = 0. Is g prime?
False
Suppose 2*v = -3*s + 220, -2*v = 3*s - v - 221. Suppose -3*z + s = -5*y - 13, 9 = -3*y. Is 488/z - 2/(-3) a prime number?
False
Suppose 10306 = 2*x - 1656. Is x a composite number?
False
Suppose y = -5*t + 1204, 5*y + 1342 - 7299 = -4*t. Is y a prime number?
False
Suppose -5*q = -q - 1284. Is -3*(-4)/(-6) + q a composite nu