0 = 108*l. Is l a composite number?
True
Let z(l) = 6901*l**3 - 11*l**2 - l - 12. Is z(3) prime?
False
Is 618387/15 - 28/35 - (6 + 0) a prime number?
False
Suppose 2*h = s + 1, h - 5*s = -2 - 11. Suppose 27 = 5*b - h*b. Suppose -513 = -b*t + 3888. Is t prime?
False
Let r = 403 + -398. Is 4579 + (-1 - 29)/r a composite number?
True
Let c(h) = h**3 - 8*h**2 + 62*h - 29. Is c(26) a prime number?
True
Suppose 8*f - 587 = 2269. Suppose -2*r = -19*r + f. Is r composite?
True
Suppose -80*s + 74*s + 94494 = 0. Suppose f = 4*j - 12597, 5*j = 4*f - 0*f + s. Is j a composite number?
True
Let a = 75552 + -27943. Is a composite?
False
Suppose -7213804 = 2581*p - 2633*p. Is p prime?
True
Let j = 485019 + -338816. Is j a prime number?
True
Let x(o) = 5*o - 30. Let n be x(6). Suppose n = 5*t - 5*v + 185, 2*t + 2*v + 101 = -t. Let c = 344 - t. Is c a prime number?
True
Suppose 799069183 = 546*v - 88935935. Is v a prime number?
False
Let s(d) = -2537*d**3 + d**2 + 65*d + 64. Is s(-7) composite?
False
Let k be -5 + (-13)/(-3) + (-40)/(-6). Suppose -2*c + 2*s + 2656 = 0, -4*s - 5342 = -4*c - k*s. Is c composite?
True
Let z(o) = o**2 + 8*o + 7. Let j be z(-1). Suppose j = -4*u - 286 + 1482. Is u prime?
False
Let o(g) be the first derivative of g**4/4 + g**3/3 + g**2 + 5*g + 5. Let i be o(0). Suppose -i*j - s = -2650, -s + 1083 = 2*j + 4*s. Is j a prime number?
False
Let v = -5 + 7. Let f(h) = -v*h**3 + 5*h + 16 - 6*h**2 - h + h. Is f(-7) a composite number?
False
Let c(l) = 83*l**3 + 13*l**2 - 15*l + 269. Is c(12) prime?
False
Suppose -2*f + 1604 = -224. Suppose -l = -727 - f. Is l prime?
False
Let t = -2731 + 13621. Suppose 4*s - 2186 = t. Is s a composite number?
True
Suppose 19*p = 114157 - 21114. Is p a prime number?
False
Suppose 5*a - 18 = -a. Suppose 5*j = a - 8. Is (54 - j) + 9/3 + 1 composite?
False
Let p = -6479 + 3857. Let i(s) = 3*s**3 + 11*s**2 + 18*s + 11. Let o be i(-13). Let t = p - o. Is t a prime number?
True
Let f be 2 - 2/((-2 - -3) + -3). Suppose 4*z = -f*x - 817 + 3031, -2*x + 1476 = 3*z. Suppose -s - 2*s + 3*i + 2208 = 0, i = -s + x. Is s prime?
False
Let r(p) = 2*p**2 - 6*p + 9. Let n be r(3). Is 4162 - n - (4/1 + -4) composite?
False
Let q(k) = -25 + 10*k**2 + 7 - 15 - 3*k**3 - 6*k + 2 + 4*k**3. Is q(-7) composite?
True
Let o(a) = -22429*a - 1545. Is o(-10) composite?
True
Suppose 0 = 47*u - 16*u + 14632. Is u/354 + (-24685)/(-3) a prime number?
False
Suppose 4*t + 7 = 3*t - 3*q, 11 = -3*t + q. Let m be -267 + 0/(8 + t). Let b = -158 - m. Is b a prime number?
True
Let o(d) = 7356*d**2 + 3*d - 5. Let p be o(1). Suppose 0 = -7*q + p - 2937. Is q composite?
False
Let j = 3716 + -2479. Suppose 0 = 5*f - 2459 - 1156. Let o = j - f. Is o prime?
False
Let l be (1*-1)/(-7*(-8)/(-224)). Suppose l*q - 67272 = -4124. Is q a prime number?
True
Let y be 15/25 + (-33)/5. Let s be ((-1 + y)*-91)/(-5 - -4). Let b = 1998 + s. Is b composite?
False
Suppose 10*i - 8395044 = -22*i - 52*i. Is i prime?
False
Let l(x) = -x. Let t(b) = -10*b**2 + 29*b + 12. Let f(k) = -6*l(k) - t(k). Is f(-11) composite?
False
Suppose 11*p - 17*p = z - 3038878, -4*z - 1012942 = -2*p. Is p prime?
True
Let g = 97 + -273. Let n = -352 - g. Is 5/(-25) - n/5 a prime number?
False
Let n(p) = p**3 - 3*p**2 - 2*p + 12. Let v be n(0). Suppose 13*f = 19*f - v. Suppose -j = -5, 0 = 3*u - f*j - 741 - 236. Is u prime?
False
Is ((-330)/22 - 21263)*(-2)/4 a composite number?
False
Let a(h) = -2*h + 1. Let c(u) = -2*u. Let g(j) = 4*a(j) - 3*c(j). Let t be g(0). Let b(n) = 150*n**2 - 17*n + 1. Is b(t) prime?
True
Suppose 9*a - 1196260 - 804003 - 535154 = 0. Is a composite?
True
Let d(q) = -71*q**2 + 33 + 9 - 1 + 17*q - 4. Let l(n) = 18*n**2 - 4*n - 9. Let a(k) = 2*d(k) + 9*l(k). Is a(6) a prime number?
True
Let u = -30 + 26. Let y be (-40)/(-100)*(1 - u). Suppose -5*j - c = -j - 1514, j - y*c - 383 = 0. Is j prime?
True
Let u = -7735 + 1051. Let p = 15019 + u. Is p a composite number?
True
Let l(z) = -266*z - 79. Let g(m) = -264*m - 80. Let s(n) = 4*g(n) - 3*l(n). Is s(-15) a composite number?
True
Let y(j) = 4*j + 21 + 2 + 2*j + 26*j**2 + 2*j. Let s be 2 - (-35)/(-10) - (-5)/(-2). Is y(s) a prime number?
False
Let h(b) = 43*b + 19 - 52*b - 40 + 172*b. Let g(u) = 325*u - 41. Let p(i) = 6*g(i) - 11*h(i). Is p(4) composite?
False
Let l(o) = 20*o**3 - 83*o**2 - 5*o + 8. Let v be l(7). Let c = v - 1093. Is c a composite number?
True
Let j(x) = -79*x**3 + 3*x**2 - 12*x + 13. Let q be (-4)/(-10)*5*(-2 + -1). Is j(q) a prime number?
True
Let p(x) = 9*x**3 - 13*x**2 + 16*x - 19. Let k be p(9). Suppose -3*m + 11976 = 3*j, -4*m = -4*j - 10311 - k. Is m composite?
False
Suppose 0 = -5*w - 3*d + 27, -4*d = w - 12 - 7. Suppose -w*b = -4*h - 6499, -b + 4*b = -2*h + 6475. Is b a prime number?
True
Let o(y) = 324*y**3 - y**2 + 4*y - 3. Let x be o(1). Suppose 332*h - x*h = 2344. Is h composite?
False
Let f(l) = 649*l + 79. Let d be f(35). Suppose -3*b - 3*p + d = 0, 2*p - 7599 = -2*b + b. Is b prime?
False
Let z = -15 + 41. Let y be (-392)/182 + 4/z. Is 42430/40 - y/8 prime?
True
Suppose 8*y + 2148 = 14*y. Let q(l) = 3*l**2 - 5*l + 2. Let a be q(-21). Suppose 12*d - a = y. Is d a prime number?
True
Let q(y) = 42080*y - 1247. Is q(17) composite?
False
Suppose 11*a + 22676 - 7468 = 19*a. Is a prime?
True
Let i(j) be the third derivative of 973*j**5/60 + 5*j**4/12 + 5*j**3/3 + j**2 - 5. Is i(-1) a prime number?
False
Suppose -154357 = -4*z - 5*q, z + 116*q - 115*q = 38590. Is z a prime number?
True
Let f(l) = -10472*l + 325. Is f(-2) a prime number?
True
Let d be 88/24 - (-8)/6. Suppose v = -5*w + 4174, -4*w + 12570 = 3*v - d*w. Is v composite?
True
Suppose 0 = -3*d - 5*u + 12583, 0 = 3*d - 5*u - 0*u - 12623. Suppose -4*w + 3*w - 5*y = -1407, -d = -3*w - 5*y. Is w prime?
False
Suppose 44 = -d + 4*m, 238 = -5*d + 3*m - m. Let a = -43 - d. Suppose 6250 + 4015 = a*c. Is c a prime number?
True
Suppose -8*s + 8 = -4*s. Suppose 3*l + 540 = n - s*l, 0 = n - 2*l - 537. Is n a prime number?
False
Suppose 2*z = 3*j + 271, 2*z + 6*j = j + 263. Let q = z - -207. Is q a composite number?
True
Let d(o) = -o**3 + 13*o**2 - o + 16. Let n be d(13). Suppose 3*s - l + n*l = -1551, 4*s + 4*l + 2072 = 0. Let r = -216 - s. Is r composite?
True
Let n(y) = y + 9. Let t be n(5). Suppose 5 - 3 = g - 5*k, 0 = 4*g + 2*k + t. Let o(r) = -13*r**3 + 2*r**2 - 3*r - 5. Is o(g) a prime number?
True
Let m(u) = -u**3 - 6*u**2 + 17*u + 4. Let r be m(-8). Let s = -31 - -26. Is 1226/(s - r - -3) prime?
True
Suppose -6 = -3*j + 6. Let o(l) = -17*l**3 - 29*l**2 + l + 1. Let q(g) = 19*g**3 + 34*g**2 - g - 2. Let x(y) = -5*o(y) - 4*q(y). Is x(j) a composite number?
False
Suppose 111*o - 7685388 = 3*o. Is o prime?
True
Let y(u) = -7 + 0*u**2 + 7*u**2 - u**3 + 6*u + 26. Let p be y(8). Suppose -p*g + 2849 = 5*j, 1908 = 2*g - 2*j + j. Is g prime?
True
Suppose 3*z + 3*b = 21, 4*z - b - 3 = -0. Is z/4*(6861 - -5) prime?
True
Let i = 154 - 135. Suppose 17*f = i*f - 1334. Is f a composite number?
True
Suppose 4*n - 4*b = 475156, 5*b + 356367 = 3*n - 5*b. Is n a composite number?
True
Let d = 36 + -24. Suppose 5*v - 3*u = d - 0, -5*v - u = 4. Suppose -3*n + v*n + 1245 = 0. Is n a composite number?
True
Let d = -33031 + 101760. Is d a prime number?
True
Let q(w) = -50*w - 33 - 16*w**2 + 68*w**3 - 34*w**3 - 36*w**3. Is q(-14) composite?
False
Suppose -2*i + 24 = -3*g, -2*i + 0 - 4 = 4*g. Let k be i/(-8) - -238*174/(-16). Let a = k + 3676. Is a a prime number?
True
Suppose -60*i - 19779 = -57*i. Let p = i + 11746. Is p prime?
True
Let g be ((-5)/1)/(12 - 13). Suppose n + 1 = 2*i - 8, -g*n + 11 = -2*i. Let z(b) = b**3 - 6*b**2 - 3*b - 5. Is z(i) composite?
False
Let l(h) = 7*h**3 - 12*h**2 + 4. Let v be l(2). Suppose -v*j = -4*j - 21864. Is j prime?
False
Let k be 40/6*-1 - (-4)/(-12). Let p(d) = -340*d + 79. Is p(k) composite?
False
Let w(s) = 18*s**2 + 180*s - 569. Is w(-121) a composite number?
True
Let q be 3 + (-12)/4*(-12)/(-9). Is 41/164*(q - -11333) a prime number?
True
Suppose -16 = -5*v + 9. Suppose -2*t + 13373 = -0*t - v*s, t = -3*s + 6670. Is t composite?
False
Let u(t) be the first derivative of t**3 + 5*t**2 - 62*t - 43. Is u(-11) composite?
False
Suppose 5 + 7 = -3*o. Let d be 6/(-1)*(-3 + (-10)/o). Suppose d*m = -330 + 1467. Is m prime?
True
Suppose