- 2*p. Is p a prime number?
True
Let n = 56925 + -38246. Suppose 0 = -2*h + a + 43251, -h + n = -3*a - 2959. Is h composite?
True
Suppose 25*y = 23*y + 8. Suppose 4*d = -8*u + y*u - 12, 6 = -d - 2*u. Is (-2 + d - 0) + 360 a prime number?
False
Let t(n) = -2*n**3 - 31*n**2 + 19*n + 51. Let b be t(-16). Suppose q - 65958 - 34645 = -4*l, 2*q = b*l - 75455. Is l prime?
False
Let d = 27 - 22. Suppose 3*h + 321 = 4*h + 4*i, i = -d*h + 1529. Is h composite?
True
Let t(q) be the second derivative of 47*q**4/12 + 2*q**3/3 + 3*q**2/2 + 13*q. Let u be t(-4). Suppose -2*h + 507 = -u. Is h prime?
False
Let d(x) = -4*x + 1. Let s be d(-3). Let u(y) = 6*y - 11. Let k be u(s). Suppose 0 = 5*t + k - 1452. Is t a composite number?
False
Let y(v) = -14*v + v**2 + 17*v - 8*v - 5. Let i be y(-1). Is (60979/(-34))/(i - (-6)/(-4)) composite?
True
Suppose -2 + 6 = -n, -n = 2*p. Suppose p*x - 46395 = v + 75256, -60798 = -x - 5*v. Is x a composite number?
True
Is (-7659)/(-444)*9832/6 a composite number?
True
Let a(q) = 2267*q**2 - 151*q - 297. Is a(-2) a composite number?
True
Suppose -8*v + 4572 = -6*v. Let q be ((-4)/10)/(3/(-60)). Suppose -v = 2*r - q*r. Is r prime?
False
Let b = 276 - -255. Suppose -b = -17*l + 12100. Is l composite?
False
Is (-1338)/12711 - (-100391406)/38 prime?
True
Is (6 + (-279)/45)/(9/(-20047815)) prime?
True
Suppose 19 = -4*l + 35. Suppose 4*k + k - 3*n - 33 = 0, 56 = l*k + 5*n. Is (-2)/k + (-68815)/(-45) a prime number?
False
Let h(g) = -6*g**3 + 3*g**2 - 5*g - 9. Let w be h(5). Let j = w - 120. Let o = j + 1748. Is o a prime number?
True
Let w(q) be the second derivative of -277*q**3/6 + 78*q**2 + 9*q + 1. Is w(-11) a composite number?
False
Is 16/(-80) - (-36344)/20 prime?
False
Suppose -52 = -4*s - 5*u + 9*u, 3*s - 49 = 5*u. Is 15489 + s + (-20)/5 a composite number?
False
Let n(a) = -a**3 - 13*a**2 + 14*a + 7. Let r be n(-14). Let u = 18 + r. Is (u/10)/((-1)/(-508)*2) composite?
True
Suppose 3*v + 2*v = 0. Suppose v = -0*s - 3*s - 3. Is s/5 + 102/10 prime?
False
Let n = -73 + 67. Let t be n/12*(-1 - -3 - 2). Suppose -2*j + 0*j = 0, -4*d - 2*j + 188 = t. Is d a composite number?
False
Let s be (-6)/((-8)/20 + 6106/15340). Let o = s - -779. Is o prime?
True
Is (-2798)/12*(4 + 7 + -18 - -1) a prime number?
True
Let t be ((-40)/180 - 4/63)*-35. Let w(b) = 75*b**2 - 10*b + 113. Is w(t) prime?
False
Suppose -3*p - 5*g = -5*p + 15179, 2*p + g - 15149 = 0. Suppose -3*u - c = 4*c - 3397, -4*c = 5*u - 5679. Suppose 6*w + u = p. Is w a prime number?
False
Let y = -63350 + 140347. Is y composite?
True
Let c = 5436 + -7994. Let d be (-2 - (c - -7))/((-1)/4). Is (-8)/40 + d/(-5) composite?
False
Let y(l) = -212675*l**3 + 3*l + 1. Is y(-1) a prime number?
False
Suppose 4*r + 32 = 0, 5*t = -77*r + 79*r + 798911. Is t composite?
False
Let z(o) = 4*o + 0*o - 19 - 7*o**2 - 5*o**3 - o. Let s = 1155 + -1161. Is z(s) prime?
False
Let s be (-16)/64 + (-1283682)/(-8). Suppose s = 32*b - 71892. Is b a composite number?
True
Let k be (109 - -1) + (24 - 26). Suppose 7*x - 138 - 639 = 0. Let u = k + x. Is u a prime number?
False
Let b(m) be the first derivative of 14*m**3 + 53*m**2/2 - 13*m + 20. Is b(16) a prime number?
True
Suppose 15*p + 26298 = -12*p. Let b(d) = -30*d**3 - 5*d**2 - 7*d - 5. Let q be b(-4). Let a = q + p. Is a composite?
True
Is (-2 - (102442 - 7))*(-1 - -6 - 6) prime?
True
Let o(f) = -47 - 2033*f - 23 + 2322*f. Is o(3) a composite number?
False
Let o be (-21 + 5)/(1/5). Let y = o + 129. Let w = 46 + y. Is w prime?
False
Suppose -6699 = q - 159. Let t be q/16 + 1 - 3/12. Let m = 133 - t. Is m prime?
True
Suppose 0 = -5*q + 7 + 3. Suppose -o + 13 = q*o + 4*c, 3*o = -5*c + 14. Suppose -5*d = -o*f - 5999, 5*f = 9 + 1. Is d prime?
True
Let p = 16393 - 2753. Suppose 54547 = 4*k - z, 12*k = 13*k + 3*z - p. Is k composite?
True
Let i(r) be the second derivative of 119*r**4/12 - r**3 - 6*r**2 + 2*r + 2. Is i(5) a prime number?
False
Suppose 2*j - 4*y = -14, 0 = -y + 4*y - 9. Let k be (5/10)/j*-10. Suppose -2*g - 4*p = -1506, -g + k*p + 777 = p. Is g a prime number?
True
Let t(x) = 4788*x**3 + 19*x**2 - 5*x - 19. Is t(2) prime?
True
Suppose s - 6 = -3*u - 19, -5*s - 5*u = 15. Suppose -2*y + 1705 = 5*n - 8*n, s*n + 1138 = 2*y. Let l = 1066 + n. Is l prime?
True
Let f(q) = -q**3 - 41*q**2 - 3*q - 97. Is f(-42) prime?
False
Suppose -5*i - 10 = -40. Suppose -4*y - i = -g, -27 = 5*g + y - 2*y. Is 333/g*(-464)/24 a composite number?
True
Suppose -115086 = 1083*a - 1086*a. Is a a prime number?
False
Let b = -34 + 37. Let i be 0*(-2 + 1) + b. Suppose -i*y + 468 + 417 = 0. Is y a composite number?
True
Let a = -115 + 120. Let i = -8483 - -17249. Suppose i = c + a*c. Is c a composite number?
True
Suppose 2*y = 4*o - 4, -3*o + 3*y + 2*y - 11 = 0. Suppose -5*d + z + 44 = -3*d, -68 = -o*d + z. Suppose d*k = 22*k + 742. Is k a composite number?
True
Let i(w) = w. Let g be i(8). Suppose -5*n - 1 + g = 2*b, 0 = n + 5. Is (-2)/(b/(-8066)) - 33/(-44) prime?
True
Suppose 18642 = a - 4*q, 4*q = 16 - 4. Suppose -50*c = -44*c - a. Is c a composite number?
False
Let j(t) = -116238*t**3 - 166*t - 165. Is j(-1) composite?
False
Suppose -2*f = 5*u + 579, 7*f - 4*f = -5*u - 881. Let a(n) = 42*n - 7. Let b be a(-4). Let l = b - f. Is l a prime number?
True
Let f = -440420 + 983607. Is f a composite number?
False
Let d = 75932 + 80639. Is d a prime number?
False
Let p be 84/(-30)*(-5)/2. Suppose 12*o - p*o - 30 = 0. Is (29 + -5)/o - 2842/(-1) a composite number?
True
Suppose -26*n = -29*n + 63. Is 15093/21 - (-3)/n*2 prime?
True
Let r be (-44)/(-7) + 16/(-56). Is 25140/(-24)*r/((-3)/1) a composite number?
True
Suppose 3*a + 7962575 = 19*a + 9*a. Is a a composite number?
False
Let o(q) = 4*q**2 + 6*q - 201. Is o(71) composite?
False
Let s = -531 - -267. Let v = s - -171. Let o = v + 202. Is o composite?
False
Let u(j) = -6*j**2 - 28*j**3 - 7*j + j - 11 + 56*j**3. Let v be u(-5). Let o = 5520 + v. Is o prime?
True
Suppose -14*l - 198136 = -17648. Let h = -3365 - l. Is h prime?
False
Suppose 3*x - 18 = 0, p - 26059 = 82*x - 78*x. Is p composite?
False
Let b(g) = 51 + 5*g**2 + 26 - 37 + 16*g + 72. Is b(-21) a composite number?
True
Suppose 4 - 6 = 5*k - 4*y, 5*k - 19 = -3*y. Let q be (-1)/4 + (-117)/(-4) + k. Suppose q*n - 28*n - 387 = 0. Is n composite?
True
Suppose 2925 = m - 4*d, 5*d + 5040 = -5*m + 19640. Let v = 5599 - m. Suppose -6*l + v + 448 = 0. Is l a composite number?
False
Suppose 121*x = 269*x - 128*x - 314260. Is x a composite number?
True
Let j = -3 + 6. Suppose 90*i - 95*i = -3*a - 64520, 0 = 4*i - a - 51623. Suppose -7728 = -3*m + j*q, 8*q - 4*q = -5*m + i. Is m prime?
True
Suppose -z + 4*v + 6005 = 0, -12*z + 4*v = -7*z - 30121. Is z prime?
True
Suppose 126410 = -5*m - 2*r, -19*m = -23*m - 5*r - 101111. Is (-4)/3*(6 - m/(-16)) a prime number?
True
Suppose 2304793 - 372936 = 5*s - 8*g + 191792, 2*g = 0. Is s a composite number?
True
Let h = 287429 + -98974. Is h a composite number?
True
Let o(t) = -t + 12. Suppose 5*k + 4*u = 12, 5*u = -1 - 9. Let h be o(k). Is 2/h + 1470/40 prime?
True
Let j = 33548 + 30753. Is j prime?
True
Let u = 43 + -41. Suppose -u*r - 4602 = o, r - 4*o = o - 2290. Let m = -1245 - r. Is m composite?
True
Suppose -2*s + b = -5*s - 3746, 5*b - 2520 = 2*s. Let q = s - -2145. Is q prime?
False
Let b(n) = 17*n**3 - 7*n**2 - 2*n + 1. Let z be b(8). Let d = z + -11734. Let s = d + 6476. Is s a prime number?
False
Let q(t) = -t**3 + 4*t**2 - t - 1. Let f be q(3). Suppose -2*m - 3*g = g - 26, 3*m + f*g - 36 = 0. Suppose m*j - 3430 = 1309. Is j composite?
False
Let w = -45 + -57. Let q = -120 - w. Let g(x) = -43*x + 28. Is g(q) a prime number?
False
Suppose -4*a = 2*y - 40218, -y - y + 2*a + 40194 = 0. Is y a prime number?
True
Let c = 9849 + -6892. Suppose 0 = -r - 5, -o + 255*r = 250*r - 2015. Let h = c - o. Is h a composite number?
False
Let n = 27716 - 1669. Suppose 3*g + n = 2*p + 3*p, -p + 5211 = -g. Is p prime?
False
Suppose -20*m + 40741 = -17*m - 2*w, 67865 = 5*m + 4*w. Is m a composite number?
False
Let u(p) be the second derivative of 13*p**4/4 + 8*p**3/3 - 29*p**2/2 + 2*p - 4. Is u(6) composite?
False
Let u = 5191847 + -3539476. Is u a prime number?
False
Suppose g = 4, 136*x - 139*x + 167977 = -5*g. Is x a composite number?
True
Let a = 