42 + 614. Let v = z - w. Is v prime?
False
Let h(g) be the second derivative of 7*g**5/4 - 11*g**4/12 - g**3/2 - 33*g**2/2 + 8*g + 19. Is h(8) composite?
False
Let k = 11570 + 39879. Is k composite?
False
Suppose 33137 = p + i, -2*i = -297*p + 294*p + 99411. Is p a composite number?
True
Let u = 1650 + -843. Let s(b) = u*b + 5 + 672*b - 333*b. Is s(1) a prime number?
True
Suppose 32*t - 15207114 = -59*t + 13*t. Is t composite?
False
Suppose -7 + 13 = -3*r. Is 3 - (1 + r*16 + 3) a prime number?
True
Let y = -2282 - -8785. Is y composite?
True
Let k(c) = -12*c + 200. Let q be k(16). Suppose -40532 - 6996 = -q*o. Is o composite?
True
Suppose -8513 - 3806 = -n. Is n a prime number?
False
Suppose -46 = -7*f - 18. Suppose 2*a = f*o + 3462, 4*o = -2*a - 2*a + 6900. Is a prime?
False
Let c be (-2)/8*48/(-3). Suppose 7*t - 12*t - 4*z = -14782, -4*t + 11828 = c*z. Let w = t - 2103. Is w a prime number?
False
Suppose b + 33366 = 3*n, 11122 = -2*n + 3*n + 3*b. Let r = n + -1982. Suppose -9*s + r = -5*s. Is s a composite number?
True
Suppose -2*p + 2*y + 3*y + 2 = 0, 0 = -4*p - 2*y + 52. Suppose -6*f - p*f + 93619 = 0. Is f composite?
False
Is (4 - 3) + (-7 - -11) + 2 + 4384 a prime number?
True
Suppose -5*p + 133893 = -2*h - 437052, -342586 = -3*p + 5*h. Is p composite?
True
Let v be -3 + 603/12 - (-1)/(-4). Let a = v - 14. Is (-5580)/(-44) + -2 + 72/a prime?
True
Let t = -105 + 173. Let u = t - 68. Suppose 5*i + 2*n = -2*n + 755, u = 4*i - 4*n - 640. Is i a composite number?
True
Let p(o) = 85*o**2 - 553*o - 97. Is p(35) a composite number?
False
Let i = -451 - -455. Suppose -i*r = 24*r - 561428. Is r prime?
True
Suppose 0 = -m + o + 9391, -5*m - 37564 = -9*m + 3*o. Is m composite?
False
Let y(c) = -107*c + 1487. Let n be y(-31). Let g be 63*((-136)/(-3))/4. Suppose -5*l = -n + g. Is l prime?
False
Is (158/4)/((-84)/(-5208)) prime?
False
Suppose 0 = 330*v - 941338 - 7132032 - 288500. Is v a prime number?
True
Let q = 109 - 107. Is (0 + (-1923)/(-6))/(q/4) composite?
False
Let f = -2575 - -3654. Suppose 5*v - f = l + 2130, -2*l + 1915 = 3*v. Is v prime?
True
Suppose -5*v + 395 = -6675. Let r = v - -1015. Is r a prime number?
False
Suppose 3*u + 3*g = 4116, -5*g - 5075 = -3*u - 983. Suppose 4*q - 80 - u = -k, 0 = 2*q - 2*k - 732. Let o = q + -214. Is o prime?
True
Let h(i) = 4*i - 23. Let m be h(6). Let d be m/(-4) - (-26)/8. Suppose -4*f - d*k = -2301, -f + 561 = -4*k - 0*k. Is f a prime number?
False
Suppose -140*l = -422*l + 213794634. Is l a composite number?
False
Suppose 0 = -3*x + 1 + 17. Suppose 37 = -x*p - 17. Is (10072/(-12))/(6/p) prime?
True
Let g(o) = 3234*o**2 + 3*o - 4. Let x be g(2). Is 1/(11/(-22))*x/(-4) prime?
True
Let m(u) = 30257*u**2 - 72*u + 153. Is m(2) a composite number?
True
Suppose 3*u + 5*g + 18074 = 0, 13*u + 30180 = 8*u + 3*g. Let t be (-2)/((-7749)/1938 + 4). Let p = t - u. Is p prime?
False
Is ((-3019022)/(-4))/(((-1 - 0)/2)/(-1)) composite?
True
Let y(u) = -u**3 + 4*u**2 + 10*u - 9. Let i be y(6). Let m be 6/(-57) + i/(-19). Is (-3 - -1)*m*3682/(-4) composite?
True
Suppose 4*b = 5*b - 45. Let l(p) = 25*p**2 + 18*p**2 + 41 - 47*p - b*p**2. Is l(-21) a composite number?
True
Suppose 4*l - 4 = 4. Suppose 3*n + 2*o + 20 = 0, l*o = -3*n + 5*o. Is (-3)/(-9)*(65 - n) a composite number?
False
Let y(s) = -7*s + 40. Let v be y(4). Let r be ((-26)/(-39))/(((-4)/3)/(-2)). Is 22593/v + (-3)/4 + r a prime number?
False
Let r = 1936 - 1071. Suppose -11*y + r = -33642. Is y a composite number?
False
Let y(h) = -3*h**3 - 6*h**2 - 30*h + 7. Let o = 686 - 698. Is y(o) composite?
True
Let z(m) = 15540*m + 657. Is z(23) prime?
False
Let b be (-92)/(-46) - 1*617. Is (b/(-30))/((-4)/(-536)) a prime number?
False
Let y be (2/(-2) - -4)*10. Let j = y + -55. Let w(t) = -36*t + 1. Is w(j) prime?
False
Let z be (-10158)/8*(-14 + 10). Let g = z - 2068. Is g a prime number?
True
Let m(q) = -3*q**3 - 3*q**2 + 14*q - 5. Is m(-7) composite?
True
Let n(a) be the second derivative of -a**4/6 + 13*a**3/2 - 7*a**2 - 2*a. Let l be n(19). Suppose -l*f + 8258 = -6897. Is f a prime number?
False
Suppose -62*x + 2 = -64*x + 2*b, -5*x = -4*b + 4. Suppose x = -6*r + 40538 + 6856. Is r a composite number?
True
Suppose -33*u - 1053 = 6*u. Is 417/u*-311 - 28/126 a composite number?
True
Suppose 3*u - 3*z - z = 8352, 4*u - 11111 = -3*z. Suppose y - u = -4*y. Let f = y - 353. Is f composite?
True
Let d(c) = c**2 - 5*c + 6. Let y be d(4). Suppose 0 = r + y*t + 4, -t - 32 = -4*r + 3*t. Suppose r*g - 1603 - 729 = 0. Is g a prime number?
False
Suppose 6*h + 288650 = 11*h + 45675. Is h a prime number?
False
Let p(y) = y - 23. Let x be p(0). Let q = 28 + x. Suppose 5*l + 0*m - 2919 = -4*m, 2368 = 4*l - q*m. Is l a composite number?
False
Let g(x) = x + 20. Let y be g(-8). Suppose 2*d - 56 = -y*d. Suppose a = -4*b + 3057, -d*a + b = -0*b - 12194. Is a composite?
False
Let j(k) = 9*k**3 + 10*k**2 - 10*k - 7. Suppose -s - 3*t = -5*s + 55, s - 2*t - 20 = 0. Is j(s) a composite number?
True
Let q = 154 - 152. Suppose -v + q*y = -7629, -5*y + 5 = -20. Is v prime?
True
Let i(f) = -f**3 + 5*f**2 + 5*f + 3. Let q be i(6). Let b(d) = -30*d - 2 + 11 + 4 - 2 - 318*d. Is b(q) prime?
False
Let k be (18/(-8))/(6/(-48)). Suppose -1535*c - 80 = -1539*c. Suppose -c*j = -k*j - 166. Is j a composite number?
False
Let t = 754070 + -414271. Is t composite?
False
Suppose -7*l = -68 - 23. Suppose -l*o = -38*o + 255475. Is o composite?
True
Suppose 0 = -542*j + 53*j + 254499561. Is j prime?
False
Let y(l) = l**2 - 8*l - 18. Let m be y(10). Let x(c) = c**2 - 3*c + 3. Let r be x(3). Suppose 3*n = r*a + 54 - 9, 0 = -3*n - m*a + 35. Is n a prime number?
True
Suppose -5*w + 2*w = 2*w - 389530. Is w a prime number?
False
Suppose -73 + 117 = 11*u. Suppose 4*h = -l - l + 31666, u*l - 63308 = 4*h. Is l composite?
True
Let i be 12/12*(-5)/((-15)/(-6)). Let u be (2/i)/((-19)/(-38)). Is 3033/18*(u - -4) prime?
True
Let y(w) = -w**3 - 7*w**2 - 9*w - 6. Let r be y(-6). Let u = -12 + r. Suppose -5*x - 9 - 1 = u, 2371 = 3*b - 5*x. Is b prime?
True
Let w = -35 - -56. Let g(p) = p - 11. Let s be g(w). Suppose 12*j - 1094 = s*j. Is j a prime number?
True
Let r = -1286 + 835. Let m = r + 858. Is m a prime number?
False
Let f(v) = 11 - 4*v**2 + 15*v**3 + 101*v - 88*v - 10*v**3. Is f(7) a composite number?
False
Let j(s) = 48*s**3 + 4*s**2 - 26*s - 34. Let t be j(6). Suppose 10*i - t - 3708 = 0. Is i a composite number?
True
Let l = -250969 - -692172. Is l a composite number?
True
Let w(b) = -b**3 + b**2 - 8*b + 19. Let g = 66 - 62. Let y be (11 - 9)*(-22)/g. Is w(y) prime?
True
Let u = -485 - -11398. Suppose 2*a + 3*a = 25. Suppose u = a*o + 2*o. Is o prime?
True
Is (-3)/(-91)*2322901 + (-6)/39 composite?
False
Let r = 283727 - 200655. Suppose 2*w = -5*b - r, 3*w - 4*w - 66457 = 4*b. Is (6/9)/((-12)/b) a prime number?
False
Let y be 0*((-4)/2 + 3). Suppose 0*x - 5*x + 40 = y. Suppose -12746 + 4402 = -x*m. Is m a prime number?
False
Let i = -220 + 247. Is (-3)/i + 170300/18 composite?
False
Suppose -6*w + 133641 = -135033. Is w prime?
False
Suppose -3*q - 3*o + 778166 = q, 0 = 3*q + 5*o - 583619. Is q prime?
True
Let j = -14 - -19. Suppose 5*d - 2*t = 21, j*d - 3*t = 11 + 8. Suppose -d*q + 647 = f, 4*q = -0*q. Is f prime?
True
Let i be 1 + 3 + 0/(-13). Let w(b) = b + 84 + 27*b**3 - 3*b**2 - 82 + i*b**3. Is w(3) a prime number?
False
Let b(m) = 567*m**2 - 161*m - 3. Is b(-17) composite?
False
Let x(o) = -o**3 + 11*o**2 + 3*o - 24. Let m be x(11). Suppose -58851 = -0*j - m*j. Is j prime?
False
Let j(q) = 418*q**2 - 495*q - 69. Is j(32) prime?
True
Let j be 2*(90/12 - 5). Suppose 5*b + j*c = 25, -4*b - c = -b - 9. Suppose 4*l = -0*l + 3*i + 15206, -3*l + 11413 = b*i. Is l a composite number?
False
Let r be (-3 - -1) + 4 + -65. Is (-14)/(-63) + (-765373)/r a prime number?
True
Let l be (6 - (7 + -2))*(-1 + -5). Let i = l + 10. Suppose 2*o + 995 = 4*k - 527, -i*k + 1519 = -o. Is k prime?
True
Let a = -501 - -525. Is 60/a*(-21458)/(-5) a prime number?
True
Let o be (-5 + 91/21)/(1/(-3)). Is (-6)/4*o - -1520 a prime number?
False
Let t = -354681 + 617900. Is t composite?
True
Suppose -2*q = -v - 2, 2*q = -4*v - 0*q - 18. Let n be 48612/(-2) + (-12)/v. Is n/(-5) + (-4)/(-10) composite?
False
Suppose 6 = u - 3*u + 5*t, 5*t + 