= r - 703. Is z prime?
True
Suppose 2 = -4*q + 18. Suppose -u - 2*u = 0, q*j - 1488 = -4*u. Suppose -r - 11*r = -j. Is r prime?
True
Let p(o) = 28900*o + 183. Is p(8) a prime number?
False
Let y = 17761 - 2567. Suppose -27*b + y + 160063 = 0. Is b prime?
True
Let t be -1*2 - (-12)/2. Let n be (2 + -4)*(-6 + 1) - t. Is (4/n)/((-30)/(-33435)) composite?
False
Suppose -5*o = -5*m - 5 - 115, 5*o + m = 108. Is (11/o)/(4/8488) composite?
False
Suppose -3*y - 15 = 3*d - 7*y, 0 = -3*d - 4*y + 9. Is 10/(20/17178) - (d + 3) prime?
False
Let o(u) = -5*u**3 - 28*u**2 - 57*u - 50. Let d(c) = -4*c**3 - 27*c**2 - 57*c - 52. Let k(h) = 6*d(h) - 5*o(h). Is k(32) prime?
False
Let t = -3 + 42. Let x be 8/6 - (-26)/t. Suppose -795 = -x*i - 3*i. Is i prime?
False
Let x(v) = 227*v + 12. Let y(t) = -27. Let w(p) = 5. Let r(c) = 11*w(c) + 2*y(c). Let u(d) = -6*r(d) + x(d). Is u(1) prime?
True
Let v(x) = 5945*x + 9787. Is v(30) prime?
True
Suppose 24*q + 7866 = 33*q. Suppose -204 = 4*x - 5*x. Suppose 2*w - q = -x. Is w a prime number?
False
Let s = 332397 - -1560602. Is s a composite number?
False
Suppose 74*t - 3232708 = 2061918. Is t a composite number?
False
Suppose 2*r = -14*j + 41827098, r - 8131788 = -3*j + 831157. Is j prime?
True
Suppose -32 = -3*q - 4*v, -16 = q - 17*v + 13*v. Suppose 0 = 3*b + 5*g - 1647, 2228 = q*b - 5*g + g. Is b composite?
True
Let x be -3 - (1/6 + ((-654)/36 - -7)). Let a(j) = 53*j + 4. Let f(o) = -o - 1. Let y(n) = a(n) - f(n). Is y(x) a prime number?
False
Let k(o) = o**3 + o**2 - o + 2. Let b(s) = 26*s**2 + 18*s - 80. Let c(d) = b(d) - k(d). Is c(25) composite?
True
Let g = -165368 + 254089. Is g a composite number?
False
Let m be 2/((-8 - -5)*(-2)/15). Suppose -m*n + 11767 + 2278 = 0. Suppose 2*h - n = 5*o, 4*h + 3*o - 7100 = -h. Is h prime?
False
Suppose 0 = 4*n - d - 41471, 3*n - 19269 - 11848 = -2*d. Is n a composite number?
False
Suppose -4*i + 12 = 4*y, 3*y - 4*i - 6 = 3. Suppose 0 = 2*p + 10, -678 = -4*a + y*a + p. Is a a prime number?
True
Suppose -3 = -f + 2. Suppose -30641 + 12343 = -3*j + 5*y, 30501 = f*j - 4*y. Is j composite?
False
Let d = 85655 + 8858. Is d a prime number?
True
Is 293728/6 + 14 + 205/(-15) a composite number?
True
Let r(x) = -9*x + 2. Let c be r(-1). Let z(a) = 3*a**2 + 14*a + 1. Let v be z(c). Let q = 151 + v. Is q composite?
True
Is (3*(-14)/42*128342)/((-2)/1) composite?
False
Suppose 5*w - 55539 = -2*m + 198418, 30 = 5*m. Is w a prime number?
True
Let a(t) = -t**3 - 8*t**2 - 6*t + 7. Suppose -5*g + 18 = o - 0*o, -3*o = -2*g + 31. Let p be a(o). Suppose -3*r + 811 - 142 = p. Is r a composite number?
False
Is ((-9502)/6)/((-1)/((-18)/(-10)*5)) prime?
False
Let x(m) = 1505*m - 3261. Is x(10) prime?
True
Let d(l) = -764*l + 7. Let b(x) = -763*x + 6. Let q(n) = 5*b(n) - 4*d(n). Is q(-3) a prime number?
False
Suppose 4*f + 2442 = 10*f. Let o = f + 38. Is o prime?
False
Is (24/(-18))/((-8)/16332) a prime number?
False
Is 52869 - (-10)/(-10)*-10 a prime number?
True
Let y = -269094 - -477715. Is y a composite number?
True
Suppose 3*r + 7328 = 2*b, 0 = 4*b - 8*b + r + 14646. Suppose -14*s + b = -21*s. Let v = 830 + s. Is v a prime number?
True
Let h(d) = 17*d**2 - 661*d - 2063. Is h(198) prime?
False
Let r = -31 + 43. Suppose -s + 3*s + r = 4*u, 5*u - 30 = -5*s. Suppose -s*m = -2*k + 822, k = -3*m + 229 + 182. Is k a composite number?
True
Let b(y) = y**3 - 26*y**2 + 45*y - 57. Suppose 0 = -7*j + 55 + 120. Is b(j) a composite number?
False
Is ((-1)/3 - 5/3)/((-296)/111005476) a composite number?
False
Let w be ((-4)/(32/20))/(5/(-4)). Suppose -2*b = 4*h - 3514, -w*b = -2*h + 1585 + 163. Is h a composite number?
False
Let z = 434 + -438. Is (-2)/z + 476223/22 prime?
True
Let n(y) = -14*y**3 - 56*y**2 - 68*y - 765. Is n(-14) composite?
True
Let g be (-187)/9 + (-4)/18. Let x be 1254/266 + 3/(g/(-2)). Suppose -1 + 3 = -2*d, -x*u - 4*d = -1581. Is u composite?
False
Suppose 1655 = -5*t + 3*f, -5*t + 705 - 2335 = 2*f. Let m be 4 + (4 - t) + (-3 - 0). Let x = 566 - m. Is x prime?
True
Let t(o) = o**3 + 13*o**2 - 18*o + 3. Suppose 48 = -9*c - 51. Is t(c) a composite number?
False
Let j(i) = i**3 - i**2 - 4*i + 10. Let z be j(2). Suppose 33220 + 37514 = z*k. Is k composite?
False
Let c(z) = 43*z**2 + 9*z + 31. Suppose -46 - 10 = -4*b. Suppose -5*y - b = w, 5*w + 6 = -4*y + 20. Is c(w) a prime number?
False
Suppose -14*y = 70 + 84. Let b(n) = -203*n - 30. Is b(y) a composite number?
False
Let g(n) = n**2 - 7*n + 12. Let f be g(6). Suppose 0 = -a - a + 24. Suppose f*d = -z + d + 547, -4*d = a. Is z a prime number?
False
Is 41/((-6 + 5)/(86331/(-21))) a prime number?
False
Is (0 - (-2)/3) + (-641526)/(-18) composite?
True
Let c = -62 + 452. Suppose -c*i = -391*i + 5297. Is i a composite number?
False
Is ((-526)/(-6))/((-284)/(-1023252)) composite?
True
Let h(u) be the second derivative of -1015*u**3/6 + u**2 + 69*u - 1. Is h(-5) composite?
False
Let u(g) = -5861*g**3 - 143*g**2 - 23*g - 7. Is u(-4) a composite number?
False
Let o = -48 + 51. Suppose -o*f = -3*f - 4*f. Suppose f = -w + 2*k + 1397, w - 4*w + 5*k = -4192. Is w a composite number?
False
Let d(j) = 10*j - 22. Let g = 64 + -60. Let f be d(g). Is 13143/27 - (1 - 22/f) prime?
True
Let p(c) = c**3 - 3*c**2 - 10*c + 3. Let l be p(5). Suppose 5*f - 3*d = 3*f + 2, -2*d + 2 = -l*f. Is 68 - (-3 - (f + 0)) composite?
True
Let a(l) = 5 + 1 + 26*l + 8 - 29. Is a(4) a composite number?
False
Is (-2)/28 + (-118413435)/(-490) + 2 + 5 a composite number?
False
Let q(m) = 115*m. Let i(d) = 3*d - 1. Let j(p) = 4*i(p) + q(p). Is j(3) composite?
True
Is ((-416)/48 + -1 + 13)/(4/1961538) a prime number?
False
Suppose 5*f - 4*j - 90 = -22, 0 = 5*f + 3*j - 54. Suppose f*t = t + 73007. Is t a prime number?
True
Is -5*8/120*3/(-2)*86234 composite?
False
Let d(m) = 50*m**3 + 10*m**2 + 5*m + 86. Is d(11) prime?
True
Let z = 16798 + -4835. Is z prime?
False
Let p be (-10)/40 - 469/(-4). Suppose 0*d + 2*f = 5*d - p, 0 = 5*d + 4*f - 111. Suppose 0 = -3*i + 3*o + 16 + d, -i = 4*o - 23. Is i a prime number?
False
Suppose -45*o + 10*f - 12*f + 35949649 = 0, 0 = -5*f + 10. Is o composite?
True
Let l = -4780 + 42269. Is l composite?
False
Is (8 + ((-63)/(-9) - 236908/8))*-2 composite?
False
Suppose 0 = 3*q + 6*v - 9*v - 36, 3*v = -15. Suppose 0 = q*h - 13*h + 26934. Is h prime?
False
Suppose -4*k + 53948 - 347274 = -8127554. Is k prime?
True
Suppose 2*l = 3*l + 5*p - 3, 0 = 2*l - 2*p - 6. Suppose -5*b - 2*f = -l*f - 51536, b - 10303 = -4*f. Is b a prime number?
False
Let f(d) = 254*d**3 - 13*d**2 - 93*d + 1849. Is f(18) a prime number?
True
Let p(a) be the third derivative of -a**6/60 + a**5/30 - a**3/3 - 14*a**2. Let u be p(7). Let s = 1249 + u. Is s a prime number?
True
Suppose 5*s + 14241 = 4*d + 2520, 3*s = -2*d + 5899. Is d a composite number?
False
Let o = 36893 - 6262. Is o composite?
False
Let s(z) = z. Let n(d) = -4*d - 111. Let j(l) = 2*n(l) + 6*s(l). Let o(y) = -y - 1. Let i(v) = -j(v) + o(v). Is i(0) prime?
False
Let h = -16973 + 24882. Is h a composite number?
True
Suppose -g + 612469 = -2*z, 2*g + 33*z - 30*z - 1224910 = 0. Is g a composite number?
True
Let w be (-2 - 0)*((-6)/(-2))/(-3). Suppose w*c + 7 = -4*o - 1, -o = -5*c - 64. Is ((-13036)/6)/(c/(-9) + -2) composite?
False
Suppose -10*b + 33 = 3. Suppose b*h = 8674 + 13037. Is h composite?
False
Let s = -3227 - -8816. Suppose -5*d + 11172 = -4*g - d, -2*g - s = d. Let u = g + 3945. Is u prime?
True
Suppose 0 = -4*x + 25*d - 27*d + 1025402, 4*x + 3*d = 1025405. Is x composite?
False
Suppose 3*c = 5*k + 8553, -4*c - 7*k + 4*k = -11404. Suppose 11*n - 26904 = c. Is n a prime number?
False
Suppose 3*r + r = 20, -5*r - 341 = -d. Let l(f) = 15*f - d + 35*f + 361. Is l(2) a prime number?
False
Let u = -4360 + 1705. Let j = u + 4004. Is j prime?
False
Let g(q) be the first derivative of -1 + q**2 + 5*q + 29/4*q**4 + q**3. Is g(3) a prime number?
True
Let q be (-36)/20*2*15. Let i = 59 + q. Suppose -i*z + 284 - 39 = 0. Is z prime?
False
Let a = 600 - 161. Let l = -1433 - -2203. Let u = l - a. Is u a prime number?
True
Suppose 7458 = -8*f + 63058. Let b = -971 + f. Is b a composite number?
True
Let f(m) = 4*m**2 + 16*m + 2. Suppose -5*g + 3*v - 32 = 0, g + 0 + 20 = 4*v. Let c be f(g). Suppose -20946 = -4*b - c*b. Is b a composit