p = -283 - -934. Let l = -1382 + 1410. Suppose -31*y + l*y = -p. Is y composite?
True
Let a(d) = -d**2 - 6*d - 1. Let n be a(-5). Suppose -3*g + 5*r - 3251 - 2735 = 0, -7993 = 4*g + 5*r. Is 9/(-36) - g/n prime?
True
Suppose -31*x + 115157 = -132192. Is x a composite number?
True
Let h be 1 + 1 - 19396/(-13). Is h + 8 + 10/2 prime?
False
Let g = 6 - -3. Suppose -168 = -82*d + 88*d. Let w = g - d. Is w a prime number?
True
Let c(j) be the first derivative of -5*j**3/3 + 7*j**2/2 + 17*j - 1. Let y be c(8). Let q = y + 578. Is q a composite number?
False
Suppose 22*l + 84361 = 43*l - 775568. Is l prime?
True
Let x(s) = 24*s**3 + 4*s**2 - s - 6. Let t be x(5). Let q = t + 8490. Is q prime?
True
Let i = 151 + -83. Let q(c) = -60*c - 115*c - i*c - 16. Is q(-11) a prime number?
True
Suppose -9 = -0*a - a - 5*b, -2*b + 18 = 4*a. Let r be ((-6)/(-15))/(a + 19/(-5)). Is (87/r)/((-72)/(-96)) prime?
False
Is -2 + -4 + 1 - (-23 + 10 - 42313) composite?
True
Let q = 24404 - -26223. Is q prime?
True
Let s(f) = -214*f**3 + f**2 - f - 1. Let n be s(-2). Suppose 0 = -u + 1180 + n. Is u prime?
True
Let p be ((-97)/1)/((-3)/(-9 - -129)). Let w = p + -1599. Is w prime?
True
Let v = -2927 - -9849. Suppose -v - 37823 = -15*g. Is g prime?
False
Suppose 11*n - 12678 = 15504. Suppose 2554*d + 9336 = n*d. Is d composite?
True
Suppose 110*i + 53*i + 26145655 - 139738236 = 0. Is i a prime number?
True
Let h(a) = -a**3 + 79*a**2 + 266*a - 488. Is h(75) a prime number?
False
Let n be (-22)/(-2)*1/1. Suppose -k - 3 = -i, -3*k + 20 = 2*i - n. Is 9 - i - (-114 + 0 + 0) a composite number?
True
Let d(z) = -72*z**3 + 12*z**2 - 79*z - 773. Is d(-10) a prime number?
False
Suppose 2*v = 14*v - 168. Let f be ((-3)/21 + (-12)/v)*-2. Suppose f*j - 6*j + 1572 = 0. Is j a composite number?
True
Let t(k) = 2619*k**2 - 23. Is t(8) a composite number?
False
Let r(v) = 1137*v - 61. Let x be r(-16). Let u = x + 32820. Is u a prime number?
False
Let t(l) = -63*l + 3. Let i be t(1). Is (-579)/(36/i + (-2)/5) composite?
True
Let y(n) = -5*n - 11. Let k(v) = -9*v - 21. Let c(t) = 3*k(t) - 5*y(t). Let g be c(-6). Suppose -313 = -3*h - 5*a, 2*h = -g*a + 48 + 160. Is h prime?
False
Suppose 4*z + 18425 = 72781. Suppose 0 = -3*g + 2*k + z, -2*g + 3*k - 7*k = -9086. Suppose -n = 2*n - g. Is n prime?
True
Suppose 4*x - 38808 = -10812. Suppose -11*j = -12*j + x. Is j prime?
False
Let y(n) = 9*n**2 + 5*n + 26. Let t be y(9). Suppose 8*v + 896 = -t. Let k = v + 701. Is k a composite number?
True
Let o(d) = d - 6. Let u be o(12). Let x(s) = s - 4. Let m be x(u). Suppose -4*l + 4766 = -0*j - m*j, 0 = -4*l - j + 4751. Is l composite?
True
Let i(z) = -7*z**3 - 12*z**2 - 4*z - 17. Suppose 15*v - 11*v - 32 = 3*s, s + 2*v + 4 = 0. Is i(s) prime?
False
Let u(l) = 31*l**2 - l + 1. Let h be u(2). Suppose h*i = 112*i + 164153. Is i prime?
True
Let m(b) = 87822*b + 1145. Is m(2) a prime number?
True
Let t(r) = 136*r**2 + 33*r - 946. Is t(-39) a composite number?
False
Let u = -12 + 1227. Let k(q) = 9*q**3 + 10*q**2 + 58*q - 4. Let r be k(-4). Let o = r + u. Is o composite?
False
Suppose 15*v - 2554383 = 1123365 - 1209213. Is v a composite number?
False
Suppose -5*s - 5*o + 51490 = 0, -5*s + o + 51511 = -o. Is s prime?
True
Suppose -3*x = -m - 18, 2*m + 30 = -4*x - 6. Is (-13629)/m + (-10)/(-12) a composite number?
True
Is ((-2422212)/(-312))/((-3)/(-402)) composite?
True
Suppose -25*t + 27409 = -2765166. Is t a prime number?
False
Let c be (-1)/(-4) - 98988/(-16). Suppose -4*b - 5*a - 4976 = 0, -2*a = -7*b + 2*b - c. Let q = -606 - b. Is q prime?
False
Let z be 4/(-3)*297/(-132). Suppose -z*f - 8779 = 3*d - 74254, -5*f + 109129 = 4*d. Is f prime?
False
Suppose -4*u + 289840 = 2*c, -24*c = 3*u - 22*c - 217379. Is u a composite number?
False
Suppose m + 2*r = 152113, -4*m + 27*r = 26*r - 608497. Is m prime?
True
Suppose 5*l = 3*h - 51551, -68756 = -4*h - 3*l - l. Is 9/(-90) + h/(-10)*-13 a composite number?
False
Let m(y) = -32 + 27*y - 5*y - 17. Let w be m(8). Suppose -j + 172 = 3*o, -3*o - w + 788 = 4*j. Is j prime?
True
Is (-4112972)/(-2)*(1/(-4) - 87/(-116)) a composite number?
False
Let x be (-3 - 21)/8 + 77965. Let m = -32135 + x. Is m a composite number?
False
Let i = -356 + 358. Suppose -2*c - 9*d + 12*d + 16925 = 0, -i*c + d + 16931 = 0. Is c composite?
False
Let f = 17647 + -10908. Is f a prime number?
False
Is 7178 + -1 + -42 + (-378)/(-9) a composite number?
False
Let q(g) = 39*g**3 + 14*g**2 + 44*g - 155. Is q(14) a composite number?
False
Let p(v) = 5*v**2 - 17*v + 9. Let w be p(8). Suppose 0 = 3*n + w - 1762. Is n composite?
False
Suppose 74*s = 101*s - 72*s + 15091695. Is s a composite number?
True
Let j = 129 - 126. Suppose -3*s + j*q + 9186 = 0, 0 = 2*s - 5*q + 7*q - 6104. Is s a composite number?
True
Let y(u) = 2*u + 1. Let b be y(6). Suppose 3*i - 5*z = -z + b, -13 = i + 3*z. Is (-4)/(-8)*(-2998)/i*1 a composite number?
False
Let u(z) be the first derivative of -7*z**4/4 - 8*z**3/3 + 25*z**2/2 + 69*z + 32. Is u(-16) a prime number?
True
Let a be 15/10*116/(-6). Is (0 - a)*(81 - 14) a composite number?
True
Suppose -4*v = -3*q + 39, 2*v = -2*q + 6*q - 52. Let u(f) = 23 - 5*f**2 + q*f**2 + 9*f - 2*f**2. Is u(8) composite?
False
Suppose 5 = -5*d, 6 = 2*w + 6*d - 2*d. Suppose -5*y + 3092 = 3*p - 2*p, 3*p - 9336 = w*y. Is p a prime number?
False
Let s(z) be the first derivative of 13*z**2/2 + 4307*z + 23. Is s(0) composite?
True
Let g = -11600 + 20701. Is g prime?
False
Suppose a + 2224280 = 3*a + 3*i, -a + 1112127 = -5*i. Is a a prime number?
False
Let k be -1 + (-4 - (-2 + 2)) - -3203. Let i = k - 2041. Is i a prime number?
False
Suppose 2*v = h - 944, -18*v = 3*h - 23*v - 2831. Let j = h + 8549. Is j prime?
True
Suppose -212*t = -115727199 + 11451395. Is t a composite number?
False
Suppose -3*l - 2*s = 12 - 59, -5*s + 24 = 2*l. Suppose -11*h + l*h - 30 = 0. Suppose -3*g = -h*v - 4*g + 4430, g + 2666 = 3*v. Is v composite?
False
Suppose 4*p = -p - 4*q, 0 = -3*p + q + 17. Suppose 2*u + 6 = -p. Is 330*4 + 2/(u - -3) composite?
False
Let q be 6/(-18) + (-290)/(-15). Suppose q*o - 97 = 18*o. Is o prime?
True
Suppose 0 = 177*p - 3136866 - 48927507. Is p composite?
False
Let q(i) = 160*i + 166. Let n be q(50). Is 3*(-7)/((-126)/n) composite?
False
Suppose 0 = -232*j + 45*j + 73141871. Is j composite?
False
Suppose 23*j = 64701 + 88755. Let v = j - -5183. Is v a composite number?
True
Let g = 68587 - 20804. Is g composite?
True
Suppose 4*v - 3*l = 761866, 28*v - 31*v + 571425 = 2*l. Is v a prime number?
True
Let j(g) = 19*g + 6 - g**3 + 2*g**3 - 9*g**2 - 4 + 0*g**3. Let a be j(4). Is a/(-4)*5558/7 a composite number?
False
Let q(d) = -1507*d**3 + 2*d**2. Let k be q(-1). Let f = 2464 - k. Is f composite?
True
Let l = -7947 - -14397. Suppose 0*h = -10*h + l. Suppose -4*f + 4*w = -856, 3*f - 3*w = w + h. Is f a prime number?
True
Suppose 2*v + 135*v - 54980002 = -17*v. Is v a prime number?
False
Suppose 0 = 2*p - 4*p + 6. Let n be (1/(-1)*-1)/(p/3). Is (n + 177)/(16/104) prime?
False
Let n(j) = 5*j**3 - 56*j**2 - 64*j - 46. Let z be n(29). Suppose -23*g + z = -6*g. Is g a prime number?
False
Let q = 224631 + -147608. Is q a prime number?
True
Suppose 4*q = 3*i + 2010, 6*q + 2*i = 2*q + 2000. Let n = 347 - 117. Let f = q - n. Is f a composite number?
False
Is (-12479 - (-13 - -3))/(-1) a prime number?
False
Let v = 243 - 241. Suppose -12*o = 5*z - 8*o - 7305, -2905 = -v*z - 5*o. Is z a prime number?
False
Let o(j) = 13968*j**3 - 8*j**2 + 4*j + 1. Is o(2) prime?
True
Suppose -40051 = -4*f + 5*b + 19392, f - 14866 = -4*b. Suppose 11*j - f = 5*j. Is j composite?
False
Let r(i) = -3730*i + 59. Is r(-39) a prime number?
False
Let x(u) = 38*u**3 + 8*u**2 - 45*u - 22. Let q be x(20). Suppose 16*c - q = 2*c. Is c prime?
False
Let v be 132/36 - (8/6)/(-4). Let i(d) = -d**3 + 4*d**2 + 2*d - 3. Let m be i(v). Suppose 4*n + 3*x = m*n - 1136, 0 = -3*n + 2*x + 3373. Is n composite?
True
Suppose -4*o + 20*f = 24*f - 357784, -2*o + f = -178883. Is o composite?
False
Is 302244/7 + -3 + 1 + (-32)/(-14) composite?
True
Suppose -2*y + 6 = u, 0*y - 4*u = -2*y + 26. Suppose -4*p - 9*z - 15 = -4*z, 5*p - 2*z = 6. Suppose p*d + 5*d = -3*q + 5454, 0 = y*d + 15. Is q prime?
True
Let o = 1117 + -49. Let t = 1321 + 1146. Let w = t - o.