3*u + z - 1093349. Is u a prime number?
True
Suppose 162*i + 4344150 = 237*i. Is i a prime number?
False
Let j = 121538 - 79669. Is j composite?
True
Let c = 41 - 46. Let y be (-14)/91 + 14237/13. Is 1 + y - 6/(30/c) prime?
True
Suppose 4*h - 31726 = -7190. Is h/((-11)/(99/(-6))) prime?
False
Is (453/302)/(5/((-2150510)/(-3))) a prime number?
True
Suppose 5*r = 2*n + 5, 0 = n - 4*r + 1. Let j be 0/(-2 - n/5). Is (4 - j) + 3363 + 4 prime?
True
Let f(w) = 28*w**2 - 134*w + 573. Is f(46) a composite number?
False
Suppose 4*r - 7 = 1, -3*c = 2*r - 222211. Is c prime?
False
Suppose -15*m + 15644 + 21886 = 0. Suppose -1536 = -2*f + m. Is f a composite number?
True
Let b(t) = -3273*t - 47. Let c be b(-5). Suppose 2*y - 2*m - c = -0*y, -4*y + 32634 = -5*m. Is y a prime number?
True
Suppose 20727951 + 5909507 = -80*p + 214*p. Is p prime?
False
Let u be (-399789)/(-81) - (-4)/(-6). Suppose -u = -11*m + 15536. Is m a prime number?
True
Let g(v) = -v**3 - 16*v**2 - 16*v + 27. Let b be g(-12). Let q = 608 + b. Is q a prime number?
True
Let n be (-128)/3 + (-2)/6. Let f = n - -43. Is 214 + 6/(2 + f) a prime number?
False
Let d(l) = 49*l + 4903. Let j be d(-115). Let n = -242 + -788. Let k = j - n. Is k a composite number?
True
Suppose 0*l = 3*x + 5*l - 11, 2*x - 24 = 5*l. Let u(i) be the second derivative of 3*i**5/10 - 5*i**4/12 - 7*i**3/3 - 3*i**2 - 6*i. Is u(x) a prime number?
True
Let t be 128/6*(-45)/10. Let r(u) = -31*u + 45. Let o be r(14). Let h = t - o. Is h composite?
False
Let i = 198996 - 81773. Is i a prime number?
True
Suppose 15*a - 13*a = 10. Suppose a*q + 89480 = 13*q. Suppose 6*t = t + q. Is t composite?
False
Let q = 23266 - 33250. Let s = -4631 - q. Is s composite?
True
Suppose -3*v + 4214 + 649 = 0. Let r = v - 1068. Is r prime?
False
Let o = 10 - 8. Suppose 4*g = 5*u - 9675, -2440 - 1407 = -o*u - 3*g. Is u composite?
False
Suppose -857540 = 441*g - 461*g. Is g a prime number?
False
Suppose -4*s + 4 = 2*y, -5*s = 4*y - y - 4. Suppose -3*r + 2462 = -3*p - 3226, -3782 = -s*r + 4*p. Is r a prime number?
True
Let y = -387184 - -660650. Is y a composite number?
True
Let p(w) be the first derivative of -3 - 51*w + 95*w - 2 + 34*w**2 - 31*w. Is p(3) a composite number?
True
Let g = -19233 - -8904. Let c be -1 - g - 4*(-2)/(-2). Suppose -5840 - c = -18*y. Is y a composite number?
True
Suppose 42721 = -408*n - 76823. Let h(f) = -9*f. Let l be h(4). Let w = l - n. Is w prime?
True
Suppose 5*c - 3*l = 24, -5*c + l = 3*l - 9. Suppose 0 = -3*u + 2*u + 2, -c*k + 4*u = -57355. Is k prime?
True
Let l(m) = -15452*m**3 + 29*m**2 + 93*m + 15. Is l(-3) a composite number?
True
Let c be 113692/(-100) + -8 - 20/250. Let l(f) = -105*f**2 - 2*f + 5. Let z be l(-5). Let j = c - z. Is j a prime number?
False
Let g = 45 + -8. Let t be (-3)/((-6)/g)*26. Suppose 3*u - 1270 = -t. Is u a composite number?
False
Let h(s) = 38718*s - 2509. Is h(4) composite?
False
Let w(t) = 4*t**2 + 4*t - 3. Let i be w(3). Let o = i - 40. Suppose 3430 = 3*a - o*q, -3*a + a + 2285 = -5*q. Is a prime?
False
Let d(z) = 4 + 0 + 286*z**3 - 288*z**3 + 15*z + 6*z**2 - 5 + 10. Is d(-10) composite?
False
Let k(o) = -177*o - 2. Let v be (0 - 3) + (2 - (-3 + 3)). Let i be k(v). Suppose 0 = -0*a - 2*a + 2*d + 172, -2*a + 5*d + i = 0. Is a composite?
True
Let h(q) = -q**2 + 12*q + 1. Let i be h(9). Suppose -4*s - 3*d = -i, 5*d = -5*s + 70 - 30. Suppose 328 = s*g - 2420. Is g composite?
True
Let c(v) = v**3 - 48*v**2 - 33*v + 183. Is c(74) composite?
True
Let b be (0 + 0)/((-2)/1 + 0). Let k(n) = -n**2 + 2*n + 81. Let u be k(b). Is u + 4 - (4 + -1) a prime number?
False
Let r(v) = 5669*v - 9. Let u be r(1). Suppose -5*w - t + 21102 - u = 0, 3*w = t + 9270. Is w prime?
True
Let x(k) = 35*k**3 - 14*k**2 + 20*k - 97. Is x(10) a prime number?
True
Let p be (2 + -1)/((-20)/370)*-2. Let c(o) = -685*o**2 - 4 + 692*o**2 - 7 + p*o. Is c(-8) composite?
True
Is (18494 - -67)*(2 + -1)/3 a prime number?
False
Suppose 16796 = 4*w - 4*y, -7*w = -11*w - 2*y + 16784. Is w composite?
True
Let w be -14 + 22 + (4 - 0). Is (-18)/w + (8439/6 - -4) prime?
True
Suppose -5*k - s - 1 = 0, -25 = 2*k + 3*k - 5*s. Is (-7513)/2*(k + -1) prime?
False
Let t = 11736 - 6555. Suppose 3*s - t = -4*a, 4*a = -4*s + 7799 - 891. Is s prime?
False
Suppose w - x = -4*x - 1, 0 = -5*w + x + 27. Suppose o + 2*q = -15, -3*o + w*q + 30 = -4*o. Is 20/o - (-957)/1 prime?
True
Suppose -241*x - 233288647 = -282*x. Is x prime?
True
Let f(x) = 19792*x**2 + 35*x + 73. Is f(-2) a prime number?
False
Let i(c) = 35309*c - 86. Is i(17) prime?
True
Let s be (5 + -2)*(-10)/(-15). Let p(k) = -17 + s*k - 6*k - 9*k - k**3 - 16*k**2. Is p(-16) prime?
True
Let z be (17 + 4)*20/7. Suppose -50*m - 12610 = -z*m. Is m prime?
False
Suppose 451 = 2*y + w - 169, 0 = -2*y - 4*w + 620. Let s = y + -161. Is s a composite number?
False
Let k(c) = -762*c + 14. Let o be k(-4). Let y = o + -2085. Let b = y - 82. Is b a prime number?
False
Let o(r) = -17830*r**3 - 2*r**2 + 1. Let w(p) = -17829*p**3 - 2*p**2 + 1. Let h(u) = 3*o(u) - 4*w(u). Is h(1) a prime number?
True
Let b(s) = 5510*s - 5. Let j(u) = u**3 + 2*u**2 - 4*u - 1. Let c(l) = -10*l - 63. Let a be c(-6). Let p be j(a). Is b(p) a composite number?
True
Let g(l) = 57462*l**2 - 384*l + 1. Is g(-3) a prime number?
True
Suppose -16*a - 44595 = -21*a. Is (-1)/(2 + (-17841)/a) a composite number?
True
Is 125/100 + (80609364/(-16))/(-11) a prime number?
True
Let r = 1 - 136. Let f = 394 + r. Suppose 3*n - 5*j - 199 = -n, 5*n = -4*j + f. Is n a composite number?
True
Is 2*((-2602728)/(-336) - 6/(-21)) a prime number?
True
Let y be 6/(-5)*(-110)/44. Suppose -3*k = -c - 3*c - 2, y*k + 2*c - 8 = 0. Suppose 320 = -k*j + 1306. Is j a composite number?
True
Let n(u) = u**3 - 19*u**2 + 21*u + 40. Suppose 5*y - t = -509 + 108, -397 = 5*y - 2*t. Let g = -63 - y. Is n(g) a prime number?
False
Suppose 535*w - 271*w = 279*w - 114285. Is w a prime number?
False
Let h = 6669 - -25732. Is h composite?
False
Let t = 10991 - 10410. Is t composite?
True
Let g = -2860 - -2863. Suppose -6*u = a - u - 1762, 3*a - 5274 = -3*u. Suppose -g*j = -4*j + a. Is j a composite number?
True
Suppose 3*y - f - 1475008 = -323594, -3*y = f - 1151428. Is y a prime number?
True
Let u(q) = q**3 - 31*q**2 + 28*q + 64. Let b be u(30). Let x(i) = 2*i**3 + 2*i**2 - 2*i + 5. Is x(b) a prime number?
True
Suppose -28869050 = -128*l + 58*l. Is l composite?
True
Suppose 5*q = 2*f - 841154, -4*f - 23*q + 1682336 = -26*q. Is f prime?
False
Let u(g) = 203*g**2 - 24*g - 1906. Is u(-75) prime?
True
Let x(f) = -10*f - 63. Let h be x(-9). Let w(c) = c**3 - 25*c**2 + 22*c + 131. Is w(h) a prime number?
False
Let o(h) = 10676*h**3 - 6*h**2 + 8*h + 5. Is o(3) composite?
False
Suppose 3*b = o + 83787, -27648 - 56139 = -3*b - 4*o. Is b a prime number?
False
Let b(r) = 79*r + 1. Suppose 0 = -5*c - 2 + 17. Let a be 1*c/(-6)*64/(-4). Is b(a) a prime number?
False
Let c(h) = 5*h**2 + 22*h + 21. Let b be c(-1). Suppose b*q - 3*q - 5*a - 10647 = 0, 0 = -2*a - 4. Is q a composite number?
True
Let c(g) = -39409*g - 1132. Is c(-17) a composite number?
False
Suppose 9 = 7*a - 4*a. Suppose 2 = o - 1, a*o = -2*u + 15. Suppose 412 = 2*t - u*v, -64 = -t - v + 137. Is t composite?
True
Suppose -6*g = 13*g - 1976. Let t = 483 + g. Is t a composite number?
False
Suppose h + a - 13 = 0, -h + a = -1 - 6. Suppose -3*o + 4*r - h = 0, -2*o - 3*r = -0*r - 16. Suppose 3693 = -2*t + 4*t + v, t + o*v = 1845. Is t prime?
True
Suppose 21 = 3*l - 2*l. Suppose 3*o = l*o - 589464. Suppose 4*r - o = 2*c, -24551 = -3*r + 4*c - 5*c. Is r a prime number?
False
Suppose f + 2*h = -6, 2*f - h + 2*h = -3. Suppose f = -7*t - 53102 - 41083. Is 1/(t/3365 - -4) composite?
False
Let r = 514 - 512. Suppose r*u - 8065 = -q, 5*q = 10*q + 5*u - 40305. Is q prime?
False
Let a(h) = -288*h**3 + 13*h**2 + 10*h + 11. Let n(t) = 144*t**3 - 6*t**2 - 5*t - 5. Let o(f) = -6*a(f) - 13*n(f). Is o(-2) a prime number?
False
Let u(q) = -q**3 + 3*q**2 - 3*q + 51473. Is u(0) prime?
True
Suppose m - 3106 = -2*z + 3*m, 3*z + 4*m = 4666. Let k = -5676 - z. Let a = 11951 + k. Is a a composite number?
False
Suppose 3*z - 31 = -5*g, 3*z = -2*g + 34 - 9. Suppose -2*l + z + 3 = 0. Suppose l*h - 4*h - o = 785, -2*h - 2*o = -1578. Is h a prime number?
