 258*z = -1006. Is z composite?
False
Let i be (-4)/36 - 79340/(-45). Suppose -1713 = -4*l + i. Is l composite?
True
Suppose -48 = -0*j - 4*j. Suppose -25 = 7*i - j*i. Suppose i*y + 4*o - 494 = 137, 3*o + 3 = 0. Is y a prime number?
True
Let t(y) = y**2 + 18*y + 2. Let f be t(-18). Suppose 1008 = f*k + 5*i, 3*i + 403 = 4*k - 1587. Is k a prime number?
True
Let v = 39421 - 5340. Is v a composite number?
True
Let z be 5/20 - (-19)/4. Let f be (0 - 3) + z*1. Suppose 2*x + 3*b = 85, -9 = f*b + b. Is x prime?
True
Suppose 4*g = 46 - 286. Let h be (111/2)/((-10)/g). Let l = h + -212. Is l composite?
True
Suppose -9516 = -14*j - 1718. Is j a prime number?
True
Let p(q) = 2649*q**2 - 2*q - 3. Is p(2) a composite number?
False
Suppose -5*n + 6*n = 24. Suppose 0 = -3*b + 4*x - 40, -5*b - 2*x - n = 2*x. Is ((-892)/b)/(1/2) composite?
False
Let b(t) = t**3 - 6*t**2 + 4*t + 6. Let f be b(5). Let m be 20/1 + (-1 - f). Let j = m + 16. Is j a composite number?
True
Let b = 14959 + -7401. Is b a prime number?
False
Let d = -186 - -365. Is d a composite number?
False
Let k(z) = 6623*z - 34. Is k(1) a composite number?
True
Suppose 7 = -4*w - 3*i, -2*i + 19 = -w + 3*i. Let q(v) = 6*v**2 - 15*v - 7. Is q(w) prime?
True
Suppose -7*s = 574 + 1897. Let p = -127 - s. Is p composite?
True
Suppose 4 = 3*g - g. Let t(n) = -5*n**3 + 4*n**2 - 3*n + 2. Let m be t(g). Is (m/(-6))/(2/111) prime?
False
Suppose 5*w - 3315 = -2*a, 5*w + 3285 = -0*a + 2*a. Suppose -4*b = -4258 - a. Is b prime?
False
Let p = -10695 - -28882. Is p prime?
False
Let u(s) = -4*s**3 + 15*s**2 + 3*s - 25. Is u(-6) a prime number?
True
Let k = 2 - -4. Let f be (k - 5)/(1/3). Is (-4)/6 - (-35)/f composite?
False
Suppose 0 = 8*b + 8673 - 156121. Is b composite?
True
Let b(j) = 2*j**2 + 10*j - 61. Is b(-42) composite?
True
Let s = -9 + 11. Suppose 0 = -s*r + 353 + 23. Suppose -3*y - r = -1049. Is y a composite number?
True
Suppose -4*t - 1 = -17. Suppose 0 = -t*x + 7*x - 9. Suppose -5*a + 787 = z, 7*a - 3*a - x*z = 622. Is a composite?
False
Let l(v) = -v**3 + 8*v**2 - 17*v + 4. Let w be l(5). Let u(o) = -339*o + 25. Is u(w) a prime number?
False
Let j(s) = -563*s - 307. Is j(-8) a composite number?
True
Let v(o) = -56*o**3 + 4*o**2 + 3*o + 13. Is v(-6) a composite number?
True
Let w be 3 - 0 - (-11 + 4). Suppose 30 - w = 5*d. Suppose 4*x = -0*q - d*q + 596, 4*x = -q + 149. Is q a prime number?
True
Let h(t) = -191*t - 148. Is h(-9) composite?
False
Suppose -13604 = -4*j + 18632. Is j a prime number?
True
Let o be 2/(-2) + (4 - 12). Let z = o + 15. Suppose -9*i + z = -7*i. Is i a prime number?
True
Suppose 2*u - 3*i - 15 = 0, 0 = -3*u - 0*i + 4*i + 25. Let c = u - 12. Suppose -h - c*q = -8*q + 5, 4*h = 3*q + 48. Is h a composite number?
True
Let s be (-3)/6 - 18/(-4). Let z be 34/10 + s/(-10). Suppose 0 = -z*x - x + 88. Is x a prime number?
False
Let g be (-278)/(-7) + (-2)/(-7). Suppose g = 4*v - 0*v. Is v/(-45) + 2938/18 a composite number?
False
Suppose 4*r = 12, 2*r + 0*r - 6 = -3*a. Suppose a = 10*b - 7*b - 6537. Is b a prime number?
True
Suppose -2*j = -i - 5, -j + 4*j + 10 = 5*i. Suppose -3*p - 304 = -4*d + 2*d, 0 = 2*d + j*p - 288. Is d a prime number?
True
Let a = 11 - 8. Suppose 0*k + 12 = a*k. Suppose q = k*q - 141. Is q a prime number?
True
Let q(j) = -13*j**2 - j + 16. Let o be q(5). Suppose 2*b + 0*b + 2 = 0. Is (-1)/(((-2)/b)/o) a prime number?
True
Suppose 100161 = 20*r - 5059. Is r a prime number?
True
Let s(m) = -396*m + 365. Is s(-13) a prime number?
False
Let x(n) = n**3 - 21*n**2 + 19*n + 7. Let b be x(17). Let w = b - -1721. Is w a prime number?
False
Let t(n) = 63*n**2. Suppose -4*m + 5*m = 1. Let x be t(m). Suppose 6*q + x = 1821. Is q composite?
False
Let h = 13 - 8. Is 4/8 - h/((-50)/1145) prime?
False
Is (-1)/((-123231)/12323 + 10) prime?
True
Let h(w) be the third derivative of 7*w**5/60 - w**4/8 + 7*w**3/6 - 2*w**2 - 1. Is h(13) a composite number?
False
Suppose 13*s - 32 = -6. Is (-1)/(s/(-10)) + 938 composite?
True
Suppose 4*x + 947633 = 45*x. Is x prime?
False
Suppose 19*u = 4*i + 23*u - 68556, 4*i = 5*u + 68538. Is i prime?
True
Let g(o) = -475*o - 62. Is g(-4) composite?
True
Suppose 0 = 5*z + 10, 8577 = 5*v - 2*z - 11372. Is v a composite number?
False
Suppose 8*d - 6*d = 2730. Suppose -392 = -7*b + d. Is b prime?
True
Suppose 3210 = 4*v - 3602. Suppose 7*l = 22514 - v. Is l prime?
False
Let l be 20/12 + (-1)/(-3). Suppose 3*u + l*u = -4*b + 2155, -3*u = 4*b - 1293. Suppose -5*i + 6*i - u = 0. Is i a composite number?
False
Let c(x) = 107*x + 45*x + 97*x + 30*x - 17. Is c(2) composite?
False
Let v(w) be the second derivative of -19*w**5/10 + w**3/3 + w**2/2 + 11*w. Let x be 2/(-3)*(-12)/(-8). Is v(x) a prime number?
True
Suppose 0 = 3*i + x - 19, -2*x = 3*i - 19 - 4. Let y be (-15)/12*(-140)/i. Let h = 18 + y. Is h a prime number?
True
Let p be (-5)/(-1) - 27/9. Suppose 3*d - p*r = -3*r - 52, 0 = r - 2. Let g = d - -97. Is g prime?
True
Let y(c) = 171*c**3 - c**2 - 3. Is y(2) a composite number?
False
Suppose -5*x = q - 1748, q + 7*x = 3*x + 1746. Suppose -q = -6*p + 716. Is p composite?
False
Let c be (-5)/(25/35) - (-4)/(-2). Is (-8)/20 + (-823)/5*c a composite number?
False
Suppose 40*l = 41*l - 4. Suppose 0*t - l*a - 467 = -3*t, a - 144 = -t. Is t a composite number?
False
Suppose 6*u - 16808 = -2*x + 3*u, 4*x + u = 33626. Is x a composite number?
True
Suppose 0 = -4*c + 43 - 35. Let r be -4*(-4)/8 - -87. Suppose -c*v + v = -r. Is v a prime number?
True
Let n(s) = -93*s**3 + 4*s**2 + 3*s - 6. Is n(-4) a prime number?
False
Let o(a) = 2*a**2 + 3*a + 339. Is o(0) a composite number?
True
Suppose 0 = -w + 3*j + 8, 1 = -w - j + 9. Suppose -5*r + w = -162. Is r a prime number?
False
Let u(k) = -24*k**3 - 5*k**2 - 2*k. Let g be u(-3). Suppose 2*d - g = 473. Is d a composite number?
False
Let y = 51 - -171. Let k be 2/(-7) - y/(-42). Is 1003/4 + k/20 composite?
False
Suppose 3*m - 4 = 5. Suppose -5*d + 3*l - 114 = 0, -3*d - 2*l - m*l = 82. Is 13*(d/(-3) - -3) composite?
True
Let i(r) = 4*r**3 + r**2. Suppose 4*f = k - 17, -3*k - k = -2*f - 12. Let l be i(k). Suppose -3*d + 1122 = 3*g, l*d - 386 = -g - 0*g. Is g a composite number?
True
Let v(h) be the third derivative of -h**4/24 + 1831*h**3/6 - 57*h**2. Is v(0) a composite number?
False
Is ((-161256)/16 - 1)*(-1 - 1) a prime number?
False
Let c = 279 + -159. Let z = c - 51. Is z composite?
True
Suppose 23347 = 13*s - 106744. Is s composite?
False
Suppose w + 6 = -4*z + 1, -5*w = -5*z + 25. Suppose 2*x - 6*x - 2*k + 828 = z, x - k = 207. Suppose -174 - x = -3*n. Is n composite?
False
Let v(d) = 185*d**3 + 3*d**2 - 23*d + 191. Is v(6) composite?
True
Let c be (-45 - 3) + 0 - 1. Let w = 86 + c. Is w prime?
True
Let j be 16/3*(-15)/(-10). Suppose j + 24 = 2*b. Is ((-844)/b)/((-3)/12) a composite number?
False
Let h be (5 - (3 - 1))/1. Suppose l - z = 6, -5*l + z + 26 = -h*z. Suppose -3*w + 91 = -l*w. Is w prime?
False
Let p(w) = 0*w + 6*w**2 - 15*w**3 + w - 7*w**2 + 2. Suppose -5*z - 18 = -3. Is p(z) composite?
True
Let q = 9683 - 534. Is q composite?
True
Suppose 0 = 3*f - f - 634. Let b = -39 + f. Is b composite?
True
Suppose 1672 = 2*v - 670. Suppose v = 2*w - 3369. Suppose 2*b = -3*b + w. Is b a prime number?
False
Let t = 35 + -32. Suppose -t*f + 291 = 3*z, -3*z - 4*f = -204 - 87. Is z prime?
True
Suppose 6134 + 53974 = -12*k. Let f = k - -7204. Is f composite?
True
Let z(p) = -p**3 + 11*p**2 - 9*p - 8. Let l be z(10). Is (4/6)/(l/366) composite?
True
Suppose 2*t = -6, -2*f + 6*t - 3*t + 9 = 0. Suppose -4*g - 2*n + 368 = 0, -g + n = -f*n - 95. Let s = -62 + g. Is s prime?
True
Let s(x) = 317*x + 315. Is s(22) a prime number?
False
Let w be 1016*((-54)/(-8))/9. Let c = w + -189. Is c prime?
False
Is -1 + (271592/56 - 3/(-21)) a prime number?
False
Let y(b) = 4*b**3 + 3*b**2 + 18*b - 45. Is y(14) a prime number?
False
Let f(i) = 2*i + 14. Let o be f(-12). Let z = -12 - o. Is (1/z)/((-5)/1550) a prime number?
False
Suppose 0 = -2*y + 10 - 34. Is 4*1/y*-3 - -142 prime?
False
Suppose -7*p + 11*p + 2*b = 20628, -2*b - 20636 = -4*p. Is p composite?
True
Let g(x) = 6*x - 9. Let i be g(-8). Let o be (-6)/(-4) + i/6. Let u(d) = -18*d - 17. Is u(o) a composite number?
False
Let x be (2/(-10) + 66384/(-30))/1. Let q = -1306 - x. 