t d = w + 52. Suppose 0 = -v - 3, 5*y = d*y + v + 612. Is y a prime number?
False
Let g(v) be the second derivative of -71/6*v**3 + 27*v**2 + 0 + v. Is g(-11) composite?
True
Let q = -536 + 1631. Let g = -57 - -137. Suppose 3509 = 3*y + l, -y + g = -l - q. Is y prime?
True
Suppose -d = 3*o - 2*o - 21575, -4*d = o - 86306. Is d prime?
True
Suppose 0 = -2*v + w + 1309318, 5*v - 3273280 = -4*w - w. Suppose 21*m - 758621 - v = 0. Is m composite?
True
Let i be (-19 + 20)/((-1)/3*1). Let x(r) = -r**2 - 3*r + 8. Let u be x(i). Is (0 + (-3194)/(-8))/(2/u) a composite number?
False
Let j(p) = p - 1406. Let u be j(0). Let h be 0/(-3) - 2 - (-2 - u). Let i = h - -2313. Is i prime?
True
Let k be (-80 + -4 + 1)/(-1) + -3. Suppose -2*l = -7*l + k. Is (32/l)/(-4*(-1)/1226) composite?
False
Suppose -4*v + d - 21249 + 344 = 0, -3*v - 3*d = 15690. Let z = v - -8466. Is z a prime number?
False
Let n(i) = -i**2 + 9*i - 346. Let a be n(0). Let z = a + 14741. Is z a prime number?
False
Is (4294515/18 - -2) + 1/(-6) composite?
True
Let o(h) = -313*h**3 - 7*h**2 - 8*h - 33. Suppose 0 = -g - 4. Is o(g) prime?
True
Let u(t) = -t**3 + 61*t**2 + 1155*t - 33. Is u(-28) prime?
False
Suppose 2060442 = 25*q - 5215295 + 1510812. Is q prime?
True
Is (2/(-4))/(((-75)/(-282370950))/((-1)/3)) composite?
False
Is (-25 - -19)*3/(-6) + 124178 composite?
False
Suppose -9*t = -8*t - 4. Suppose -t*h - 9588 = -28592. Is h a prime number?
True
Suppose -130*d - 56682 = -136*d. Let a = d - 5042. Is a prime?
False
Suppose 4*p + 4 = 0, -2*p + 4 = 5*z - 6*p. Suppose -6*h + 121 + 29 = z. Suppose -5*v + 1910 = -3*j, -5*j + 0*j = h. Is v prime?
True
Suppose 27*n - 81*n = -13*n - 12849113. Is n a prime number?
False
Let t(a) = -44262*a + 235. Let f(d) = -14754*d + 77. Let p(h) = -8*f(h) + 3*t(h). Is p(-4) prime?
False
Is 16146 - (-15 + 11 - 1) a prime number?
False
Let o = 199510 - 122093. Is o composite?
False
Let y(b) = -b**3 + 17*b**2 - 22*b - 23. Suppose -a + p - 4 + 17 = 0, 3*a - 36 = 4*p. Let j be y(a). Is 0 - (j + (-4)/(-4)) a composite number?
True
Suppose -12*b + 211893 = 28*b - 10067. Is b prime?
False
Let g(v) be the third derivative of 769*v**4/8 - 47*v**3/3 + 8*v**2 + 11. Is g(15) prime?
True
Suppose 29*r - 31*r + 62 = 0. Suppose r*u + 6 = 34*u. Suppose u*z = 2*l - 1290, 4*z = -l + 521 + 144. Is l a prime number?
False
Let a(t) = 29 + 49*t**2 + 2 - 8 - 7*t. Is a(-11) prime?
True
Let t(k) = k**2 + 3*k - 11. Let j = -70 - -99. Suppose -5*l + 4*o + j = 0, -8 = -3*o + o. Is t(l) a prime number?
True
Let a = 15 - 12. Let z be 3 + (-33)/(-9) + (-2)/a. Suppose 2*f = z*f - 652. Is f composite?
False
Let p(t) = -t**3 - 6*t**2 + 16*t + 10. Let r be p(-8). Suppose 5*c = -10, r*b = 7*b - c + 15679. Is b composite?
False
Let c(i) = i**2 + 12*i + 2. Let o be c(-15). Suppose -o*m + 1952 = -51*m. Let w = -277 - m. Is w a composite number?
False
Suppose 5*u - 2*u = -4*o + 128, -84 = -2*u - 3*o. Let m = -58 - -156. Suppose u = t + l, 2*t + 4*l = l + m. Is t composite?
True
Let g(f) = -1124*f**3 + 7*f**2 + 11*f + 13. Is g(-4) a composite number?
True
Let s = -925 - -2357. Let v = 1483 + s. Suppose -7*f + v = -2*f. Is f prime?
False
Suppose 0 = 4*g + o - 17, 3*o - 2*o - 8 = -g. Let v = -26 + 28. Suppose v*y - 1786 = -2*s, -5*y + 3575 + 890 = g*s. Is y prime?
False
Suppose -c - l - 148 + 1130 = 0, -5*l = -3*c + 2930. Suppose v + c - 5473 = 0. Is v a composite number?
False
Suppose -145*v - 299779 = -w - 150*v, -3*w + 899303 = -2*v. Is w a prime number?
False
Suppose 0*i - 3*x - 3 = 2*i, 6 = i - x. Let q(h) = 17 + 79*h + i*h**2 - 35*h - 33*h. Is q(-15) a prime number?
False
Suppose -4*u + 5*t = -38 + 9, -5*u + 67 = 4*t. Let m(b) = -b**3 + 19*b**2 - 26*b - 5. Is m(u) a composite number?
False
Let s = -25 - -28. Suppose -1 = g + s, 0 = -4*i + 3*g + 12. Suppose i = 4*z - 37 - 39. Is z composite?
False
Let g(a) = 32*a**2 - 11*a - 2. Let y(o) = -o + 8. Let i be y(14). Let m be (10/i)/((5 + -8)/9). Is g(m) composite?
False
Is -214783*(-84)/(-420)*10/(-2) prime?
True
Let n = 55630 + 78223. Is n prime?
True
Is -6 - (-1*(-1 + -13))/(642/(-502365)) composite?
False
Suppose -21*h + 182145 = -119667. Is ((-252)/72)/(-2 + 28742/h) a prime number?
False
Let t be (-18)/7 + (-96)/(-168). Let o be 17622/(-44) + t/(-4). Let v = o - -1062. Is v a prime number?
False
Suppose 16*p + 2*k = 18*p - 10, 3*p + k = 7. Suppose -2*f - 5172 + 85 = -p*n, -3394 = -2*n + 2*f. Is n prime?
True
Suppose -2*v + 15 = -25. Let u = -16 + v. Is 6/u*(-4070)/(-15) a composite number?
True
Let p(l) = 5163*l - 8404. Is p(9) a composite number?
True
Let v be 15*(-1)/(-9) - 1/(-3). Let t(a) = -5*a + 40*a**v - 56*a**2 + 49*a**2 - 17. Is t(9) a composite number?
True
Let b be (-24)/(-228) - (-120)/(-57). Suppose -1256 = -2*g - 84. Is ((-1)/b)/(2 - 1171/g) composite?
False
Suppose -28*j + 26*j + 553956 = 0. Is 6 + j/30 - 6/(-15) a composite number?
False
Suppose -267252 = -73*p + 693258 + 1058524. Is p prime?
False
Suppose 10*g = 1260288 + 677975 + 253247. Is g a composite number?
True
Is (573422/(-1))/(3*6/(-36)*4) composite?
False
Is (-4534)/(-3)*((-170)/(-20) + 35) a composite number?
True
Let d(l) = 58*l + 31. Let z(h) = -15*h - 9. Let r(a) = -4*d(a) - 15*z(a). Let i(m) = m**2 + m - 14. Let p be i(0). Is r(p) a composite number?
False
Let f(d) = 21163*d**2 - 59*d - 113. Is f(-3) composite?
True
Suppose 60*v - 28 = 53*v. Suppose -v*b - 5*i + 25746 = 0, 0 = -2*i - 13 + 17. Is b prime?
False
Let x(q) = 3452*q**2 - 113*q + 7. Is x(6) prime?
True
Suppose -4*u + 14*o + 535343 = 11*o, -3*o = 4*u - 535361. Is u prime?
False
Suppose 0 = 4*r + 2*d - 884, -r - 5*d - 650 = -4*r. Is 7746/(-8)*r/(-55) prime?
False
Is 593872/(-32)*4*-1 + -7 prime?
False
Let p(f) = -3*f**3 - 2*f**2 + 4*f - 7. Let k(r) = r**3 - 13*r**2 + 10*r + 26. Let j be k(12). Suppose j*y + 50 = -8*y. Is p(y) composite?
True
Let d(r) = -r**2 - 12*r - 8. Let l be d(-11). Suppose 2*n = -l*n + 15. Suppose -n*u + 1427 = -2254. Is u a prime number?
False
Let x be ((-1)/(-3))/((-1)/(-111)). Let b = -34 + x. Suppose -p + j = -b*p + 733, 0 = -p + 5*j + 372. Is p a composite number?
False
Suppose -25*o + 5*o + 9759260 = 0. Is o a prime number?
False
Let c(f) = 2*f**2 + 2*f + 1. Let i be c(3). Let u(s) = -s**3 - 27*s + 28*s**2 + 319 - 6*s - 11*s - 357. Is u(i) prime?
False
Suppose -2*i - 6 = 4*i. Let l be (46/(-12))/i - 6/(-36). Suppose -l*j = -j + 3, 3*a - 8856 = -3*j. Is a prime?
True
Let u = 5238945 - 3641984. Is u a prime number?
True
Let z(o) = 49179*o**3 + 15*o**2 - 22*o + 3. Is z(2) a prime number?
True
Suppose 0 = -4*m + 5*q + 1791012, -12*m + 10*m = -2*q - 895510. Is m composite?
True
Suppose j = -2*u + 175082, u - j - 41909 - 45626 = 0. Is u prime?
True
Suppose 5*a = -5*b - 10, 0 = 5*a + 10*b - 9*b - 6. Is 189*(-4)/(-3) + (1 - a) a composite number?
False
Let i be (-16)/12 + 665856/27. Suppose 0 = -5*v - 4345 + i. Is v composite?
True
Suppose 18*l - 3*l + 8745 = 0. Let f be 8/36 + 11122/9. Let w = f + l. Is w a composite number?
False
Let l(x) = -x**3 - 12*x**2 - 22*x - 10. Let w be l(-10). Let j be (-1)/(2/w)*1. Is 265 + j/(10/(-8)) prime?
True
Suppose 16451 = 14*p - 8483. Let f = 4466 + p. Is f prime?
True
Let a(r) be the third derivative of -r**6/120 + r**5/60 + r**4/8 - r**3/2 + 18*r**2. Let m be a(-2). Suppose 0 = m*f - f - 598. Is f composite?
True
Suppose -6*y - 8082 = -0*y. Let l = y - -11876. Is l composite?
False
Let l(c) = -21*c**3 + 2*c**2 - c - 19. Is l(-5) composite?
True
Let s = -15123 - -23726. Let x = s - -1694. Is x a prime number?
False
Suppose -20*k = -10*k + 36150. Let d = 76 - k. Is d a composite number?
False
Let v(j) = 44*j**3 + 21*j**2 + 11*j - 6. Let u be v(9). Suppose 20010 = 12*h - u. Suppose 4*f + 2*b - h = 4*b, 0 = -f + 3*b + 1120. Is f a composite number?
False
Let i be (1 - 8)*72/(-252). Suppose -3*w + 0*w - 32348 = -5*j, -i*w = 2. Is j composite?
False
Let k(m) = 27*m**3 + 9*m + 13. Let g be k(-8). Let n = g + 19960. Is n prime?
False
Let y be (-2)/(-15) - 26/195. Suppose w + y*t - 3074 = -t, -12331 = -4*w + 3*t. Is w composite?
False
Suppose 13*y - 100*y = -14*y - 20128655. Is y prime?
False
Suppose -l + 2*a + 141257 = 0, -282489 = 35*l - 37*l - a. Is l prime?
False
Suppose -17805 = -d - p, -3*d - p + 40199 = -13208. Is d composite?
True
Let t(v) = -v + 10. 