. Is x a prime number?
True
Suppose 4*x - 8*x + 2*u + 96 = 0, u = -5*x + 106. Suppose 13*c - 164185 = -x*c. Is c prime?
True
Suppose f - 141 = -106. Let z(r) = 195*r - 326. Is z(f) prime?
False
Suppose 4*o - 29 = 3*v, -3*o + 0*o + 8 = -5*v. Let d(c) = -c**2 + 12*c + 5. Let r be d(o). Suppose r = -4*l, -4*l + 1673 = 3*t - 0*t. Is t composite?
False
Is ((-11)/22)/((1901634/67916)/7 + -4) prime?
True
Is 0 + (-3)/8 + (-58053528)/(-576) prime?
True
Is ((9/((-36)/8))/2)/(27/(-3309147)) a prime number?
True
Let v(c) = -72*c**3 - 11*c**2 + 120*c - 33. Is v(-14) a composite number?
True
Suppose 13 = -4*s + 61. Is 6*(-642)/(-4)*s/36 prime?
False
Is (-1)/(-1)*(-28)/28 - -34658 a prime number?
False
Let m = 303 - 302. Is 2 + (-1)/(m/(-1317)) prime?
True
Is (-2165904)/(-208) - (2 - (0 - 0)) composite?
True
Is ((-107456294)/(-16))/11 - (-7)/(-56) a composite number?
True
Let s be 4*3/3 - 0. Suppose s*j + 3*c - 3868 = 0, -3596 - 272 = -4*j + 2*c. Is j prime?
True
Suppose 5 = -3*k - 31. Let d be 8/k - (-5506)/6. Suppose l - 2*l = -d. Is l composite?
True
Let w = 20909 - 12005. Let t = w + -2171. Is t composite?
False
Let x(o) = 8436*o**2 - 55*o - 67. Is x(-6) composite?
False
Suppose 3*w - 11*w - 24 = 0. Let x be w/15 + 32/10. Suppose -x*b = 2*b - 805. Is b a prime number?
False
Suppose 5*s = 2*s + 33. Let f be s/(-33) - 43057/(-3). Let o = 25703 - f. Is o a composite number?
False
Let c(h) = 5*h**3 + 13*h**2 + 12*h + 26. Let x be c(-12). Let r = x - -17445. Is r a composite number?
False
Suppose x - 35 = -4*x. Let y(n) = -4*n + 41. Let o be y(x). Suppose 9965 = -o*r + 47184. Is r a prime number?
False
Let s = 304 + -310. Is (14/s)/((-66)/421542) a composite number?
True
Let v(j) = 12*j**2 + 49*j. Let o be v(-4). Is (748/(-4) + o)*-1 a composite number?
False
Let j(k) = -97*k**3 + 5*k**2 - 40*k + 19. Is j(-10) composite?
False
Let y(w) = w + 2. Let n be y(2). Suppose 4*t + 0*l - 2*l = 32, 0 = n*t + 2*l - 16. Suppose 4*m = 26 - t, -m = -4*b + 1571. Is b a composite number?
True
Let z be ((-2)/3)/(2/213). Let q be 12/(7 + -1)*(1 - z). Let x = -65 + q. Is x a composite number?
False
Suppose -26*g + 3024925 = -627217. Is g prime?
False
Let c(n) be the first derivative of -n**4/4 + 10*n**3/3 + n**2/2 + 4*n - 10. Let r be c(10). Let g(i) = 8*i - 35. Is g(r) a composite number?
True
Suppose 561*p - 5707879 + 20095761 = 595*p. Is p a prime number?
True
Is 135259*((-13)/6 - -2)*-6 composite?
True
Suppose -n - 4*k = -320833, -102*k + 103*k - 3 = 0. Is n a composite number?
False
Let s(k) = 61*k - 242. Let n be s(4). Suppose 0 = n*a + 2*r - 2422, -3*a - 224 = 2*r - 3859. Is a prime?
True
Let p(g) = -g**2 + 66*g - 1000. Let i be p(26). Let y(d) = -224*d - 1. Let n be y(-3). Let a = n - i. Is a composite?
False
Let s(d) = -7*d**3 + 0*d**3 - 7*d + 6*d**3 - 8 + 12*d**2. Let a be s(6). Let u = a - -37. Is u prime?
False
Let i(c) = -53*c**2 - 6*c - 2. Let u be i(-2). Let s(a) = -424*a**3 + a**2 - a - 1. Let l be s(-1). Let z = l + u. Is z a composite number?
False
Let h be (-10)/1 + (4 + 4)/2. Let r(t) = 3*t**3 + 41*t**2 + 18*t + 38. Let y(i) = i**3 + 14*i**2 + 6*i + 13. Let m(o) = 6*r(o) - 17*y(o). Is m(h) composite?
False
Suppose -4*t = i - 15768, 7*t + i = 4*t + 11825. Is t a composite number?
False
Suppose -18*m = -20*m - 36. Is 6/m*2*89109/(-6) composite?
False
Let j(a) = 26*a**2 + 10*a + 8. Let c be j(-11). Let f = c - 1435. Let s = f - 326. Is s prime?
True
Let n(b) = -6*b + 263. Let q(f) = 2*f - 262. Let s(x) = -5*n(x) - 6*q(x). Is s(25) prime?
False
Let x(d) = -d**2 + 143*d + 1857. Is x(-11) a composite number?
False
Suppose -s - 647 = -3*h, -3*h - h + s = -864. Suppose -113 = 8*w + 551. Let q = w + h. Is q a prime number?
False
Is (-64)/40 - (-5520012)/20 composite?
False
Let j(l) = -7*l**2 + 248. Let f be j(0). Is -2 - -8 - (0 - f) composite?
True
Let h be 2472*(102/8 + -6). Suppose 4*r + 5*u = h, 2*r - u + 3745 = 12081. Is r composite?
True
Suppose 70*b - 18164828 - 3988193 = -2397411. Is b prime?
False
Let g(i) = -i + 6. Let p(b) = 3*b - 17. Let a(v) = -17*g(v) - 6*p(v). Let z be a(-9). Is -22*(612/(-8))/z a prime number?
False
Let b(o) be the second derivative of o**3/6 + 13*o**2/2 - 35*o. Let z be b(-9). Suppose 5*h - 6 = -2*x + 96, -5*x - z*h = -238. Is x prime?
False
Let v = 6147 + -429. Suppose 1290 = -4*t + 3*d + 8885, 0 = 3*t + 5*d - v. Is t prime?
True
Suppose 578856 = 16*v - 379871 + 161079. Is v prime?
True
Let i = 80 + -72. Suppose -6*r = i*r - 9226. Suppose -5*d - r + 9504 = 0. Is d prime?
False
Let k be (1 - 1)*-3*7/(-63). Suppose x - 4 = k, 4*x - 1310 = -0*v - 2*v. Is v prime?
True
Let s be (210990/24 - -6) + 1/(-4). Suppose 5*d - 14652 - 11706 = -3*k, -2*d = -k + s. Is k prime?
False
Suppose 4*b + 20 = -28. Let r(q) = -q - 10. Let d be r(b). Suppose 347 = 5*f + 4*k, -2*k = d*f + 2*k - 146. Is f a composite number?
False
Let g be (-8)/(-18) - (-145356)/27. Is g/12 - (-12)/36 a prime number?
True
Let o(b) = 20*b**3 - 11*b**2 - 19*b - 589. Is o(39) composite?
False
Let g(u) = 5*u**3 - 6*u**2 - 5*u + 19. Let v be g(-7). Let h = v - 2139. Let c = -1533 - h. Is c a prime number?
False
Let o(f) = 2*f**2 - 2*f - 2. Let l be o(2). Suppose 13*m - 30 = -l*m. Suppose -271 = -m*z + 3*k + 7159, -3*k = 12. Is z a prime number?
True
Suppose 90760 + 840793 = 73*u. Is u composite?
True
Let b = -466 - -470. Suppose -106736 = -b*w - 4*l, 0*w + w + 3*l - 26694 = 0. Is w composite?
True
Suppose -185590 = -4*x - 2*t, 36*x - 34*x - 3*t = 92807. Is x a composite number?
False
Suppose 41 + 4 = 9*c. Let g(r) = 264*r**2 - 3*r + 34. Is g(c) prime?
True
Suppose -9*q = -12*q - 4*s + 12457, -s = 4*q - 16631. Is q a prime number?
True
Let p = -5145 - -3286. Let l = 1422 + -4542. Let q = p - l. Is q a prime number?
False
Let h(o) = 12*o**3 - 7*o**2 + 23*o + 173. Is h(17) composite?
True
Suppose 19*d - 24*d + 5 = 0, -3*m - d = -26479. Is (-4)/16 + m/8 a composite number?
False
Suppose -3*y + 3 - 9 = 0. Let m(f) = 15*f**3 + 3*f**2 + 2*f + 2. Let t be m(y). Let z = t - -268. Is z a composite number?
True
Let r = -188202 - -277117. Is r prime?
False
Let q(f) = f**3 + 17*f**2 + 15*f - 12. Let y be q(-16). Suppose 4386 - 15900 = -i + s, y*s = -4*i + 46096. Is i a prime number?
True
Let i be 12/(-3)*(-8)/16 - 0. Suppose 11*j - 8*j + i*r - 28589 = 0, 3*j - 28604 = r. Is j composite?
False
Let x(c) = 25*c + 14. Let r(i) = 3*i - 4. Let v be r(0). Let n = v + 9. Is x(n) prime?
True
Is (-35942)/(-4)*230 + (-150)/(-375)*-15 a prime number?
False
Suppose 0 = -3*k - h + 107372 + 979036, 0 = 2*k + 3*h - 724265. Is k prime?
True
Let j(q) = 28*q**2 + 4*q + 13. Let s = -34 + 39. Suppose 2*p + 18 = -2*l, -1 = l + 2*p - s*p. Is j(l) a composite number?
True
Suppose 258736 = 32*i - 30*i - 3*x, -4*x = -i + 129373. Is i prime?
False
Suppose 72322 = -15*y - 31223. Let q = -502 - y. Is q a composite number?
True
Suppose 8*p - r - 7443 = 6*p, -4*r = -2*p + 7458. Is p a composite number?
False
Let j(c) = 5*c**2 - 13*c - 23. Let g be j(4). Let d(q) be the second derivative of 433*q**3/6 - 5*q. Is d(g) prime?
False
Let i be 2 + (-44451)/(-21) - (-16)/56. Let b = 3662 - i. Is b a prime number?
True
Let j = 2074 - 1983. Is j a composite number?
True
Let g(y) = -y**2 + 12*y - 18. Let m be g(10). Let h(s) = -10*s + 2 + 47 + 11*s**m + 7*s. Is h(6) a composite number?
True
Suppose -2*d + 6 + 2 = 0. Suppose 2*r - t - d = 0, -3*r - 5*t - 20 = -0. Is r + 4/6 + 667/3 composite?
False
Suppose 0 = -4*m - 2*x + 4, -x - 2*x = 4*m. Suppose -m*a = -4*a + 7. Let r(c) = 2*c**3 - 6*c**2 - 9*c - 6. Is r(a) a prime number?
False
Suppose 13753 + 18852 = 5*k. Let j = 7433 + -3245. Let d = k - j. Is d prime?
True
Let l = 267 - 152. Let x = -115 + l. Is x - ((-2)/(-5) + (-102832)/80) composite?
True
Is 204/1734*156392095/10 prime?
True
Suppose 12 = -3*z, 635*u + z = 637*u - 151322. Is u prime?
True
Suppose 5*y = 4*a + 62707, 3*a - 50178 = -9*y + 5*y. Suppose 3*g - 14226 - y = 0. Is g composite?
False
Let g(w) = -w**3 + 12*w**2 - 12*w + 13. Let q be g(11). Is (-1196163)/(-189) + q/21 composite?
False
Suppose -2*s - 21*l + 468881 = -18*l, 7*l + 21 = 0. Is s a composite number?
True
Let a(s) be the second derivative of -7*s**3/2 - 19*s**2/2 - 4*s. Let k(q) = -q**3 + 5*q**2 + 3*q + 8. Let g be k(6). Is a(g) composite?
False
Let m(b) =