, q = 3*p + 650. Is q prime?
True
Suppose -2*s + 4*h = -3408 - 5464, -5*h + 17757 = 4*s. Suppose -5*t + 19129 = 4*k, -s = -k - 4*t + 347. Is k composite?
True
Suppose -32 = -3*g - 23. Is 374/g*(-21)/(-14) prime?
False
Suppose c = 3*m + 4, -2*m - 3*m + 5 = 0. Suppose a = c*a - 14466. Is a composite?
False
Let n = -5 - -4. Let g be (-1)/(n*(-3)/(-12)). Suppose -i = 5*m - 191, 2*i = g*i - 5*m - 442. Is i prime?
True
Suppose -2*k - 5*g = -3*g - 174714, 2*k - 2*g - 174722 = 0. Is k prime?
True
Suppose 0 = -2*v - 3*n + 4*n + 9410, 5*n = 5*v - 23535. Is v composite?
False
Suppose 15*z - 10*z - 367465 = 2*p, 0 = 2*p. Is z prime?
False
Let o = 227 + -131. Let l = 143 + o. Is l a prime number?
True
Let z(b) be the third derivative of -9*b**6/10 - b**3/6 - 16*b**2. Is z(-2) prime?
True
Let n = 39790 - 4479. Is n prime?
True
Let v = -205 - -253. Suppose 0 = 2*l - 4*l - 58. Let r = v + l. Is r composite?
False
Let g(l) = 3*l**3 - 2*l**2 + 15*l + 33. Is g(16) prime?
True
Suppose -129 = -4*y - b + 490, 0 = -2*y - 4*b + 292. Let r = y - 100. Suppose x - 266 = -2*o, 2*x = 5*o + r - 721. Is o composite?
True
Suppose -5*f + 24434 = -h - 20507, 0 = -2*f + 3*h + 17966. Is f a composite number?
True
Let o(s) = -s**3 + 137. Let l be o(0). Let t = 252 + l. Is t a prime number?
True
Let h(o) = -2*o**3 + o**2 - 4*o - 8. Let l be h(-6). Let y = l - 93. Is y a prime number?
False
Let m = 229 + 115. Suppose 2*q - 4*a + 102 = -96, -2*q + 3*a = 196. Let i = m + q. Is i prime?
False
Suppose 68*g - 64*g = 236. Suppose 874 = q + g. Is q prime?
False
Let p(b) = 4 - 5 - 7*b**3 - 3*b + b**3 + 2*b. Let z = -1 - 0. Is p(z) composite?
True
Let g = 236 - 124. Let v = 843 + g. Is v prime?
False
Let o = 331711 + -188604. Is o composite?
False
Let d(q) = -19*q - 2. Let z(p) = -18*p - 3. Let a(u) = 2*d(u) - 3*z(u). Is a(9) a composite number?
False
Suppose 2*a + 57 = 1415. Is a a composite number?
True
Let q = 11272 + -2567. Is q prime?
False
Suppose 0 = -2*j - 12 - 6. Is 556/5 + j/45 a prime number?
False
Let v = -183 - -209. Is v a composite number?
True
Let o(c) = 3*c**2 - 67*c - 13. Is o(-22) composite?
True
Let l be (2 + 2/4)*2. Let m(h) = h**3 + 9*h + 0*h**2 + l*h**2 - 8*h - 6 + 1. Is m(-4) a composite number?
False
Suppose 36*n - 3*i = 32*n + 3750, 2*n - 5*i = 1868. Is n prime?
False
Let g be -25 - -3 - -4 - 1. Let r = 125 + g. Is r composite?
True
Let f = 21 + -2. Let n = -17 + f. Is n/(-2 - (-960)/476) composite?
True
Suppose 24*j - 81576 = -2*w + 26*j, -2*j - 40787 = -w. Is w a composite number?
True
Let s = -4345 - -10466. Is s composite?
False
Suppose -2*w - 3*z = -37776, w - z = 3*z + 18899. Let f be (-2 - -5)/((-3)/w). Is 4/22 + f/(-99) composite?
False
Suppose -17*j = -15*j - 6. Suppose j*w - 619 = -y + 362, 2*y = 4*w - 1308. Is w a composite number?
True
Let l(q) = 6*q**2 + 29. Let s be l(0). Suppose 0 = 5*c + 2*a - 136, 6*c - 5*a = c + 115. Suppose -c = -5*o + s. Is o a prime number?
True
Let u(a) = 1026*a + 45. Let t be u(6). Let o = t + -2266. Is o prime?
False
Suppose 0 = 5*d + 5, -4*u + 18059 = 3*d + 2*d. Let i = 4 + 0. Suppose 719 - u = -3*o - 5*g, 0 = i*o - g - 5032. Is o a prime number?
True
Let f be 2/4*0/(-1). Let i(a) be the first derivative of a**4/4 - 2*a**3/3 + 209*a - 200. Is i(f) a composite number?
True
Suppose 0 = z + 2, -x - 4*x = 4*z - 7. Suppose -5*i + 45 = -3*f - f, x*i = f + 20. Suppose -3 = -i*o + 92. Is o a composite number?
False
Let y(u) = 4*u + 8. Let o be y(-6). Let x(m) = -10*m - 9. Let s be x(o). Let v = 292 - s. Is v a prime number?
False
Let j be (-12)/2*5/(-15). Let m(w) = j*w - 6*w**2 - 3*w + 6*w + 3*w**3 + 3. Is m(4) composite?
True
Let o(k) = -1153*k + 9. Is o(-16) a composite number?
False
Suppose -3*d + 3*g = -g + 1224, -3*g = d + 395. Let b = 598 + d. Is b a composite number?
True
Let j(p) = 7*p**3 + 2*p**2 + p - 3. Let b be j(4). Suppose -7*m + 58 = -b. Is m a prime number?
False
Suppose 20389 = 3*k + 2*z, 31*k = 26*k + 3*z + 34007. Is k a prime number?
False
Let t(i) = 503*i**3 + 8*i**2 - 26*i - 4. Is t(3) a prime number?
False
Let s(t) = t**3 + 7*t**2 + t + 10. Let c be s(-7). Let h = -2 + 7. Suppose 4*m = -c*u + h*m + 108, -3*u + 114 = m. Is u a composite number?
False
Suppose 11721 - 3099 = 6*d. Is d a composite number?
True
Let k(l) = 49*l**3 - 5*l**2 + 17*l - 50. Is k(11) a prime number?
False
Let u(d) = d**3 + 10*d**2 - 3*d - 3. Let y be u(-10). Suppose 8396 = -y*c + 31*c. Is c prime?
True
Let j = 67 - 68. Is (-2)/j + -2 - 484/(-4) a prime number?
False
Let m be 4 + (-3 + 3)/(-2). Suppose -u + 3*i = 3*u - 2237, -m*i + 1659 = 3*u. Is u prime?
True
Let r(y) = -47 - 3*y + 61 - y + y**2. Is r(13) composite?
False
Is 191*1*(-42)/(-42) prime?
True
Suppose u = 4*w - u - 4764, 0 = 3*w - u - 3574. Suppose -3412 = -4*o + w. Is o prime?
True
Suppose -3*u = -z - 3025, 3*u + 5*z + 939 = 3976. Is u a prime number?
True
Let u be 22/6 + 2/6. Let t(j) = j**3 + 4*j**2 + 6*j + 6. Let x be t(-2). Suppose -x = 2*a, a = -5*f - u*a + 1050. Is f a composite number?
False
Let z(m) = -2*m**3 - 3 + 24*m - 3*m**2 - 23*m + 7. Is z(-2) a prime number?
False
Let r(w) = -w**3 + 2*w**2 - 2*w + 13. Let v be r(-10). Is v*(49/84 - 1/4) prime?
False
Let i(l) = l**3 - 14*l**2 + 27*l - 23. Is i(23) prime?
False
Suppose -7*h - 3*p + 24 = -4*h, -4*h - 5*p = -35. Let u(a) = -h*a**2 + 17*a**2 - 11*a**2 + 10. Is u(-5) prime?
False
Suppose 12 = i + 10. Let z be (i/(-3))/((-4)/12). Suppose -q + 29 = -z. Is q a composite number?
False
Let a(g) = 4*g**2 - 37*g - 175. Is a(-24) prime?
False
Let p(s) = 630*s**2 + s + 1. Let g be p(3). Let a = -4017 + g. Is a a composite number?
False
Let p = 650 - 1584. Let z = 345 - p. Is z a prime number?
True
Let g(d) = -30*d - 20. Let v be g(-9). Suppose 38 - v = -4*x. Is x a prime number?
True
Let z(y) = 417*y - 4. Let x be z(5). Let p = 3002 - x. Is p composite?
True
Let u = 73292 + -48233. Is u composite?
True
Let b = -7 + 11. Suppose 5*l + 45 = b*a + 370, -4*a - 195 = -3*l. Is l a prime number?
False
Suppose -4*l + t = -24873, 2*t = l + 3*l - 24874. Let m be l/26 - (-20)/(-130). Let s = 394 - m. Is s a prime number?
False
Suppose -5*n + 19 = -1. Suppose 6 + 10 = -n*q. Is q/16 + 1786/8 a composite number?
False
Let o be 18/15*(-6 - -16). Suppose -16*p = -o*p - 12652. Is p prime?
True
Let f(m) = -m**3 - 18*m**2 - 26*m + 25. Is f(-18) prime?
False
Let g(f) = 823*f + 49. Is g(10) composite?
True
Let k be (-34608)/49 - (-2)/7. Let n = 3441 + k. Is n composite?
True
Let k be ((-105)/(-45))/((4/1206)/2). Let i = 2504 - k. Is i a composite number?
False
Let l = 1242 + -2201. Suppose -2*s + 374 = 5*y + 3462, 0 = -4*y - 5*s - 2467. Let v = y - l. Is v a prime number?
False
Let v(m) = -11*m - 3 - 1 - 3 - 2. Let r(h) = -h**2 - 3*h + 2. Let c be r(-5). Is v(c) composite?
False
Suppose 15 = 3*i, 2*k - 4 = k - i. Let l be -3*(k - (-268)/(-12)). Suppose -j + 118 = 5*q, -j + 4*q + l = -21. Is j composite?
False
Let a(o) be the second derivative of 5*o**3/2 - 2*o**2 - 8*o. Is a(17) a composite number?
False
Suppose -5*a = -10*a - 5*x + 360095, -5*a = -2*x - 360123. Is a composite?
True
Let c(t) = -t**3 - t**2 + 3*t + 1061. Suppose 23 = -5*u + 23. Is c(u) a composite number?
False
Is (-2 - -2) + 6467 + 2 prime?
True
Let r be -48*(2 + (-15)/6). Let n be r/5*(5 - 10). Is 630/8 + (-6)/n prime?
True
Suppose d = -4*m + 1328, 0*m + 2*m - 4*d = 646. Is m prime?
True
Let o = 10178 - -143. Is o a prime number?
True
Let y = 6110 - 4275. Is y a prime number?
False
Suppose 13*q = 16*q - 12. Let t(m) = 0*m**2 + 3 + 9*m**2 - 2*m + 0*m**2. Is t(q) composite?
False
Let o = -5 - -11. Let y be (-39 - -1)*(2 - o). Suppose -5*i + y = -i. Is i composite?
True
Suppose 0 = 3*z - 7*z + 4076. Let y = -388 + z. Is y a prime number?
True
Suppose -5*n + 2400 = 5*x, 3*x + 0*x + 6 = 0. Let b = -141 + n. Is b a prime number?
False
Let s = -8197 + 11931. Is s composite?
True
Suppose 2*y - y + 8 = 3*i, 5*i - 5*y - 20 = 0. Let l(z) = 4*z**i - 6*z**2 - 5 + 3*z + 1 + 8*z**3. Is l(3) composite?
True
Suppose -4*q = 4*d - 0*d + 48, 0 = -5*d + 5*q - 50. Let h = -13 - d. Is (-1 + h - -1) + 16 a prime number?
False
Let j = -1665 + 4106. Is j/(3*1/3) prime?
True
Let g = 5972 - -14745. Is g a prime number?
True
Suppose 0 = 4*r + 8 - 20. Suppose 0 = -3*h - 5*o + 26, r*h - 4 = -o + 6. Suppos