 254278 = 0, -5*x - 254283 = -4*r. Is r a prime number?
True
Let z be (-11582)/3*(-6)/2. Suppose 5*f - 882 = -z. Is (-1)/(-3) + f/(-15) a composite number?
True
Suppose -5*d - w + 94696 + 48734 = 0, 5*w = 25. Is d prime?
False
Let a(f) = -f**3 - f**2 - f + 8. Suppose 2*k = -3*k. Let u be a(k). Let o(q) = 2*q**2 - 7*q - 5. Is o(u) composite?
False
Suppose 7844 = 38*w - 148374. Is w prime?
True
Suppose 3*p = 4*h + 5*p + 1038, -h - 4*p = 256. Suppose 171 = -n - 0*n. Let t = n - h. Is t a prime number?
True
Let i(u) = u**3 + 6*u**2 - 20*u - 1. Let l be i(-11). Let h = 323 - l. Is h a prime number?
True
Let y be (-6)/(-27) - 7300/45. Let f = 719 + y. Is f a prime number?
True
Suppose 3*h - 6*c - 151689 = -11*c, -h + 3*c = -50563. Is h a prime number?
False
Let l = 0 + 19. Let y = l + 7. Is y a prime number?
False
Let z(n) = -n**3 - 8*n**2 + 17*n + 27. Let u be (0 + 1)*(-1 + 1) - 11. Is z(u) a prime number?
False
Let s = -108 - -143. Is s composite?
True
Let k be -34*2/(-8)*-2. Let w be k + (4 - (2 + -1)). Is ((-118)/(-3))/(w/(-21)) composite?
False
Suppose 5*l - 20 = 5*q, 4*q = l - q - 8. Suppose -5*w = -l*m + 20 + 73, -5*m + 145 = -5*w. Suppose 4*a + m = 162. Is a a composite number?
True
Suppose 8*t - 53785 = 79999. Is t composite?
True
Let n(l) = l**2 - 1. Let a be ((-1)/(-3))/(1/(-6)). Let v(p) = -7*p**2 + 10*p. Let o(y) = a*n(y) - v(y). Is o(9) prime?
True
Let a = 24563 + -16666. Is a composite?
True
Suppose 234775 = 186*s - 161*s. Is s prime?
True
Suppose 93 = 4*z + 53. Let f(v) = 3*v**2 + 6*v - 7. Is f(z) a prime number?
True
Let b(o) = -o**3 + 2*o**2 + 5*o + 1. Let y be b(4). Let z = y - -15. Suppose 5*n = 5*p - 565, -z*n = 3*p - 137 - 216. Is p prime?
False
Let b(l) = 17*l**3 + 2*l**2 + 27*l - 125. Is b(8) a composite number?
False
Is (9816/(-32))/((-21)/28) prime?
True
Suppose 5*h = -3*j + 14652, -j = j - 2*h - 9784. Is j a composite number?
False
Let c(z) = z**2 + 4*z + 8. Let k be c(10). Suppose 0 = f - 5*f + k. Is f prime?
True
Let i(q) = -7*q**3 - 4*q**2 - 12*q - 2. Let p be i(-8). Suppose 5*h = 2633 + p. Is h prime?
False
Suppose 2*l - 3*l = -r - 7, 0 = -2*l + 5*r + 20. Suppose 3*j + 3*h = 2283, -l*h - 3777 = -5*j - 3*h. Is j a prime number?
True
Let m(l) = l - 6. Let k be m(9). Suppose 0 = j + r - 1066, 0 = -k*j - 5*r - 0*r + 3198. Let s = j - 749. Is s composite?
False
Let y(f) = f**3 - 7*f**2 - 11*f + 1. Let p be y(9). Let o be 3/(-12) + 1818/8. Let b = o - p. Is b a composite number?
False
Let n = -3 + 6. Suppose r = -2*t - r - 14, 4*r = -n*t - 16. Is ((-33)/t)/((-1)/(-20)) prime?
False
Is -1 + 9278 - (-116 - -116) a prime number?
True
Suppose -r = 4*r + 3*g - 132, 2*g - 56 = -2*r. Let s = r + 243. Is s prime?
False
Suppose 4*r = 3*r - 7. Let u be (-9)/21 + (-17)/r. Suppose 4*m + 5*y = 1623, -3*m - 409 = -4*m + u*y. Is m a composite number?
True
Let h be (36/24)/((-3)/(-1076)). Suppose -h = -3*d + 575. Is d prime?
False
Let w(u) = 6*u**2 + 3*u - 5. Let m = 2 + -9. Let f be w(m). Let k = f + 105. Is k prime?
True
Let i = 16 - 20. Let n(b) = 28*b - 2. Let v(k) = -k + 1. Let a(l) = -n(l) + 3*v(l). Is a(i) a composite number?
True
Let r(u) = 357*u**2 + 17*u - 29. Is r(3) a prime number?
False
Let q = -23 - -20. Let w(c) = -c**3 - 2*c**2 - c. Let z be w(q). Is ((-186)/z)/(2/(-28)) a composite number?
True
Let q = 255 + 80. Is q a composite number?
True
Let b(g) = 352*g + 7. Let h be b(-4). Is (h/6)/((-1)/2) composite?
False
Let x(n) = -2*n**3 - 39*n**2 - 58*n - 7. Is x(-27) a composite number?
True
Let o be ((-4)/3)/(12/90). Let z = 7 + o. Is (746/(-3))/2*z a composite number?
False
Let i(a) = -a**3 - 3*a**2 - 2*a. Let m be i(-2). Suppose m = 4*d - g - 2*g - 292, -5*g + 96 = d. Suppose -o + 503 = d. Is o composite?
True
Suppose -2*d - 5*y - 3 + 30 = 0, -13 = 2*d - 3*y. Is 1280 + 2*3/(-2)*d a prime number?
True
Suppose 111 - 16593 = -6*y. Suppose y - 652 = 5*g. Is g composite?
False
Let q = -28896 + 96359. Is q a composite number?
True
Suppose -j = -4*j + 111. Let n = j + -87. Is (10 - 9)/((-2)/n) composite?
True
Is ((-77014)/70)/((-18)/(-10) - 2) a prime number?
True
Let t = 66106 + -42707. Is t a prime number?
True
Suppose -4*t = -4, 5*t - 1 = b - 0. Suppose 4*z + b*n = 3295 + 2725, 5*n + 20 = 0. Is z a composite number?
True
Suppose s + 351 = 5*z, -2*s - 2*z - 1448 = 2*s. Let r = s + 104. Let m = 588 + r. Is m a prime number?
True
Suppose -2*i + 6 = -4. Let w(s) be the second derivative of -s**5/20 + s**4/3 + s**3 + 3*s**2 + 29*s. Is w(i) prime?
True
Is 55012/(-8)*(-6)/3 composite?
True
Let w = -805 - -3911. Is w a composite number?
True
Let u(i) = -i - 9. Let c be u(-9). Suppose -2*l + 4*h = -6, -9 = -c*l - 3*l - 3*h. Suppose 2*r - 635 = -l*a, 3*a - 2*r = 489 + 142. Is a a prime number?
True
Suppose 6*t = -298 + 1168. Suppose -b + t = -4*d - 96, 4*b = 4*d + 1012. Is b a prime number?
True
Let d be ((-144)/84)/(2/(-5894)). Suppose 0 = 2*m + 694 - d. Is m a prime number?
True
Suppose -4*f + l + 2*l = -5457, f = -3*l + 1368. Suppose 0 = -2*u + 2*h + 2010, -5*h - 2657 = -4*u + f. Is u composite?
True
Let t = -4416 + 8359. Is t a prime number?
True
Suppose -19*h = 4*h - 48185. Is h composite?
True
Let t(h) = -4*h**3 + 5*h**2 - 3 - 3 - 41*h**3 + 1. Is t(-3) composite?
True
Let d be -218*21*4/24. Let i = 1494 + d. Is i a prime number?
False
Let d = 935 + 27. Suppose -5*n - t + 2396 = 0, -n - n = 4*t - d. Is n a prime number?
True
Let o = 108 - -516. Let a = 163 + o. Is a prime?
True
Let p = 9 - 67. Let m = 10 - 49. Let d = m - p. Is d prime?
True
Suppose 111766 = -10*r + 845916. Is r prime?
False
Let i = -24630 - -38999. Is i prime?
True
Suppose -4*w + 2*w + 14 = -2*f, -2*w + 17 = -5*f. Suppose 216 = w*x - 384. Let o = x + -26. Is o composite?
True
Let f be (28/(-10))/((-1)/215). Let y be (0 - 30/(-4))/(2/(-92)). Let a = y + f. Is a a composite number?
False
Is (-10)/2 - (-3807 + 45/5) composite?
False
Let o(b) = -1. Let v(t) = -19*t + 2. Let q(x) = -4*o(x) + v(x). Let f be q(-9). Suppose 2*y - f = -y. Is y prime?
True
Let f(x) = -566*x**2 - 11*x + 2. Let y be f(3). Is (-1)/((-3)/(-6)) - (y + -8) composite?
True
Let g(n) = -2*n + 6. Let c be g(1). Suppose 5*f + v - 607 = 0, f + c*v = 72 + 57. Is f composite?
True
Suppose -3*q + 168 - 1995 = 5*j, -2*j = q + 730. Let m = 1005 - j. Suppose -5*a - 113 = -m. Is a a composite number?
False
Let w(j) = -2*j - 15. Let g be w(-6). Is 22/(-33) - 383/g a composite number?
False
Let g = -7875 - -17524. Is g composite?
False
Let i be (1/(-3))/(13/156). Is ((-2)/(2*i))/((-3)/(-2532)) prime?
True
Let b(v) = 4*v + 1. Let c be b(1). Let m(x) = -4*x + 15. Let o(p) = -3*p + 14. Let n(q) = c*m(q) - 6*o(q). Is n(-14) prime?
True
Let d = 91 - 82. Suppose 12*t = d*t + 8781. Is t prime?
True
Let s(b) = b. Let c(n) = -9*n - 7. Let u(m) = -c(m) - 6*s(m). Is u(0) composite?
False
Let v be (1017/6)/((-2)/(-1016)). Suppose 0 = 12*o + 31110 - v. Is o prime?
True
Let s(n) = 28 - 26*n + 46*n - 13*n. Is s(7) a composite number?
True
Suppose -2*r + 12*r - 130 = 0. Suppose 12*x + 514 = r*x. Is x composite?
True
Suppose 0 = -4*s + 2*b - 0 - 48, 0 = s - 5*b + 30. Let x = s - -2. Is x/36 + 1534/18 composite?
True
Suppose 2*o + 4 = 4*o. Suppose -20 = o*a + 4. Is ((-330)/a)/(1/2) prime?
False
Suppose -4*g + 3*g + 1 = 0, 4*o + g - 1469 = 0. Suppose -5*h + 2*h = -3*d - 1128, 0 = h - 4*d - o. Is h prime?
True
Suppose 0 = c - 0 - 1. Let b = c - -5. Is b/(-42) + (-806)/(-7) a prime number?
False
Suppose 3*f + f = -4*g + 48, -4*f + 21 = -5*g. Suppose 6*q - f*q = -357. Suppose -i + q = 16. Is i prime?
True
Let z = 9008 + -4959. Is z a prime number?
True
Let m be (-8)/6*((-3735)/(-2))/(-3). Let t be -1 - (1 + -1 + -3). Suppose 0 = t*d - w - 544, -2*d = d + 2*w - m. Is d prime?
False
Let f = 238 - 754. Let c = -242 - f. Is c prime?
False
Let b(y) = 457*y + 1. Let j be b(-1). Let q = 763 + j. Is q a composite number?
False
Let v(w) = 2*w**2 + 12*w + 5. Let f be v(-5). Is (-6)/10*f - -1670*1 prime?
False
Let j(q) = 7*q + 9*q - q - 136 + 156. Is j(11) a prime number?
False
Suppose -a = -3*a + 4. Suppose -3*w + a = -4. Is (w - -3)*(-38)/(-5) a prime number?
False
Is (2036727/(-594))/(1/(-6)) a composite number?
True
Suppose -3*a + 9*a + 18 = 0. Is (-759)/a + 2*2 composite?
False
Let k be 3 + 51*((-32)/(-6))/(-1). Is (-3 - -2)*2*k/2 a co