*q = 2*q + 88. Suppose 4*t - 2152 = -4*o, -q*t + 3*t = o - 2702. Is t a prime number?
True
Let t(y) = -9*y - 20. Let p be t(-4). Let h(x) = 188*x + 41. Is h(p) a prime number?
True
Let y be (4 - (-5)/(25/20))/(-2). Let u(z) = -68*z**3 + 7*z**2 + 6*z + 1. Is u(y) prime?
True
Let c = -15266 + 51997. Is c composite?
True
Let y = -46 - -53. Suppose 0 = 5*p - y + 42. Let r(x) = 7*x**2 - 4*x + 10. Is r(p) a prime number?
False
Suppose 3*k - 707034 = -5*p, 5*k + 124*p = 121*p + 1178374. Is k prime?
True
Let l(a) = -4*a**3 + 25*a**2 - 25*a + 11. Let p(j) = -5*j**3 + 26*j**2 - 25*j + 11. Suppose 28 + 17 = 9*t. Let h(g) = t*p(g) - 6*l(g). Is h(-22) composite?
True
Suppose 0*x - 34 = -2*x. Suppose 20*w = x*w + 12. Suppose 4*r = -3*p + 7056, -r + w*p - 7060 = -5*r. Is r a composite number?
True
Let q(x) = 116 - 59 + 138 + 1510*x + 22*x - 46*x. Is q(17) prime?
True
Let a(x) = -x**3 - 8*x**2 - 21*x + 287. Is a(-45) composite?
False
Let a(b) = 6*b**2 + 40*b + 44. Let d be a(21). Let l = d + -2133. Is l composite?
True
Let p = 148 - 148. Let a be (-1 - 0 - -3) + -250. Is p + (1 - a/1) a prime number?
False
Let m(v) = -4772*v - 2175. Is m(-6) a composite number?
True
Let n(l) = -l**3 - 8*l**2 + l + 17. Let v be n(-8). Suppose k + v = 2*i, -2*i - 3*k = i + 9. Is (4 - (-675)/(-10))/(i/(-4)) a composite number?
False
Let i = 90445 - 25234. Is i a prime number?
False
Is (-106)/371 - 3952404/(-28) composite?
False
Let i = 133 - 116. Suppose -5*r + w = -762969, i*w = 4*r + 13*w - 610388. Is r a composite number?
True
Suppose 10*b - 5 = 5*b. Suppose 4*v = -50*v + 162. Suppose v*t - 446 = b. Is t prime?
True
Let k = 37 + -32. Suppose 0 = a + k*a + 68040. Is (-1)/(a/(-2836) + -4) composite?
False
Let i = 1350635 - 560062. Is i a composite number?
True
Let o(v) = -11*v**3 - 6*v**2 + 16*v - 14. Is o(-7) prime?
False
Let f be (-24)/((-2013)/1338 + 24/16). Suppose -2*n + 0*n + 2 = -5*j, -2*j + 3 = 3*n. Suppose 1329 = m + 4*p - j*p, -4*m + f = -2*p. Is m a prime number?
False
Let h(f) = 2*f**2 - 11*f + 5. Let i be h(5). Suppose i = 3*a - 4*r - 10, -5*a = -2*a - 5*r - 11. Suppose 1439 = 3*l + j, -3*l + 2047 = a*j + 606. Is l prime?
True
Let w be -6481 - 7*(-4)/(-14). Let h = 16070 + w. Is h composite?
False
Let v(a) = -3 - 2*a - 3*a + 6*a. Let m be v(8). Suppose -t + 2022 = m*t. Is t a composite number?
False
Let n(r) = 3*r + 1. Let q be n(2). Suppose 3*k = 3*a + 4314, -2*k + q*a + 2872 = 9*a. Is k prime?
False
Let v(c) = -11*c - 26. Let d be v(-3). Let l(q) = 37*q**2 + 10*q + 60. Is l(d) prime?
False
Let o(g) = 133*g**2 - 26*g + 721. Is o(20) a composite number?
False
Let t(q) = 31*q**2 + 9*q - 33. Let h be t(-13). Let r = 14531 - h. Is r a composite number?
True
Let o(q) = -100*q - 33. Let w(l) = 299*l + 100. Let b(p) = 7*o(p) + 2*w(p). Suppose -3*h = 4*c + 21, -3*c + h + 0 = 32. Is b(c) prime?
True
Suppose -731*a + 779696 = -715*a. Is a prime?
True
Let w(h) = 19*h**2 - 61*h - 197. Is w(-6) a composite number?
False
Let i = 61 + -65. Let h(c) = -c**3 - 5*c**2 - 9*c - 20. Let k be h(i). Suppose k = -o + 3, -2*o + o + 636 = 3*y. Is y composite?
False
Let w = 5489 + -3046. Let q(k) = -1379*k + 23. Let y be q(1). Let i = w + y. Is i prime?
True
Let h(u) = 142677*u + 2372. Is h(3) a composite number?
True
Let a(p) = -p**2 - 11*p + 46. Let v be a(-14). Suppose v*g = b + 2*b - 14199, 3*g - 18907 = -4*b. Is b a composite number?
False
Let f be 2/9 + ((-160)/(-45))/2. Let z be (-5 - (0 + 0)) + f. Let v(i) = 349*i**2 - 2*i - 10. Is v(z) composite?
False
Let b be -1 + (-7 - (-7 - 2)). Suppose 4 = 3*h - 8. Suppose 3*u = 7 - b, 6624 = h*d - 2*u. Is d composite?
False
Let d(h) = 165*h + 662. Is d(8) a prime number?
False
Suppose 22*x + 55893 = -5905. Let o = 3996 - x. Is o composite?
True
Suppose -6*s + 90 = 4*s. Suppose -s*g - 8*g + 201467 = 0. Is g prime?
False
Let f = 3426074 + -1523959. Is f a composite number?
True
Suppose 0 = -5*q - 5*u + 591500, q - u - 236609 = -q. Is q prime?
False
Suppose 0 = -3*c + 2*f + 3 + 7, f = c - 4. Suppose c*k + 2*r - 9576 = 0, -2*k - 9591 = -4*k - 5*r. Is k composite?
False
Let z = 859199 + -257746. Is z a composite number?
True
Let b(z) = -z + 45. Let h be b(19). Let a = -21 + h. Suppose 1921 = -a*o + 6231. Is o prime?
False
Let p = 69 - 66. Suppose -p*l = 4*y - 826, -420 = -y - y - 5*l. Is y a prime number?
False
Let s(w) = 145*w**2 - 98*w - 383. Is s(-46) composite?
True
Suppose c + 9*c - 510 = 0. Suppose -50*d - 57012 = -c*d. Suppose 3*v - d = -9*v. Is v a composite number?
False
Suppose 2*p + 48570 = g, 0 = -4*g + 2*p + 157354 + 36902. Is g a prime number?
False
Let j(o) = 2*o**2 - 4*o - 19. Let v be j(4). Is v/8 + 8044/32 a composite number?
False
Is 3/((-3)/(-5 - 96790)) + 8 prime?
False
Suppose 0 = 6*k + 30232 - 110578. Suppose -3*a + 29*t = 24*t - 13384, -3*a - 2*t + k = 0. Is a a composite number?
False
Let p(j) = -258*j + 5. Let g be p(-2). Let x = -120 + g. Suppose w - x = -0*w. Is w composite?
False
Suppose b = p - 11805, -b - 5 + 7 = 0. Is p a composite number?
False
Let w(o) = 2*o**3 + 10*o**2 + 2*o + 11. Let x be w(-5). Let h(b) = 2945*b - 6. Is h(x) composite?
False
Suppose 52*a = 231*a + 11823950 - 97628853. Is a composite?
False
Suppose 3*h - 31 = 53. Let z be 45 - 1 - 8/((-120)/15). Suppose 0 = s + 3*f - h, 11 = -s + 3*f + z. Is s a prime number?
True
Suppose 0 = c - 4*v - 4117, -3*v = 21*c - 19*c - 8256. Let t = c + 446. Is t composite?
True
Let h(g) = g**2. Let m(x) = x**3 + 3*x**2 - 4. Let s(n) = 5*h(n) - m(n). Let v be s(2). Is v + -1 + 948/6 a prime number?
False
Let l(f) = 4*f**3 - 23*f**2 + 23*f + 43. Let s = 193 - 175. Is l(s) a prime number?
True
Let q(a) = -23433*a - 113. Let m be q(19). Is (m/8)/7*6/(-3) prime?
False
Let p = -104594 + 149629. Is p a prime number?
False
Suppose 66 = -5*r - 4*u, 2*u - 2 = 3*r - 2*r. Is (50892/r)/(-6)*5 composite?
False
Is (49 + -38)*(-323529)/(-33) a prime number?
True
Let l = 97 - 85. Let j be (0/2 - -1)/(l/50148). Let t = j + -2486. Is t composite?
False
Suppose 13*w + 4*w + 502401 = 0. Let p = w - -45044. Is p composite?
True
Suppose 0 = -w + 40743 + 43660. Let c = w - 23762. Is c a composite number?
True
Suppose -4*f + 3*r + 48 = 0, 4*f - 24 = -2*r + 4. Let j be (f/6 + -1)*90. Let g = j - 20. Is g a prime number?
False
Let n = 176 - 177. Is ((-1)/n)/((-17)/(-1309)) composite?
True
Suppose -2*y = -3*q - 64400, 4*y + q - 105767 - 23047 = 0. Is y a composite number?
False
Let v(m) = 12*m**3 - 3*m**2 - 10*m + 12. Let d be v(6). Let n be (d/35)/((-1)/5). Let j = 301 - n. Is j prime?
False
Suppose -180129 = -9*m - 26796. Let t = -8846 + m. Is t a prime number?
True
Suppose 3496187 - 8717151 = -28*x. Is x prime?
False
Suppose 5*k = q - 298, -178 = 3*k - 5*q + 4*q. Is (-99765)/k - (-1)/(-8)*-2 a prime number?
True
Let h(j) = -1188 - 1167 - 41*j - 1191 + 3564. Let n be (20/(-12))/((-1)/(-3)). Is h(n) composite?
False
Let x(w) = w - 22. Let p be x(27). Suppose -5*m - p*i = -55155, -15*m - i - 22050 = -17*m. Is m prime?
True
Suppose -f + 31 = 5*l + 8, -4*l + 7 = -3*f. Suppose 4220 = l*d - 3576. Is d composite?
False
Suppose 0 = -2*m + 6*h - h - 227, 4*m - 2*h + 462 = 0. Let o = 663 + m. Is o prime?
True
Suppose -413913 = -6*a + 933491 - 253406. Is a prime?
True
Let y(u) = -5*u**3 + 2*u**2 + 13*u - 61. Let w(n) = -10*n - 127. Let r be w(-11). Is y(r) a prime number?
False
Let c(x) = x**3 + 6*x**2 - 4*x - 19. Let t be c(-6). Let f be (t + 1)/((-15)/10). Is (4 - -207) + f/(-2) a composite number?
True
Is (-2)/5*2702245/(-14) composite?
True
Let y = 7 - -1. Suppose -18 = y*t - 2. Let c(r) = -85*r - 11. Is c(t) composite?
True
Let i = -21956 - -15055. Let n = i + 13800. Is n a composite number?
False
Suppose -3*r = -p - 1991583, r + 2*p = 432056 + 231819. Is r a prime number?
False
Let b be -1 - (-1)/1 - -6. Let g(u) = 11*u**3 + 3*u**2 - 28*u + 13. Is g(b) prime?
False
Let p = 289 - -249. Suppose -p*f + 7122 = -532*f. Is f composite?
False
Let o = -179 - -191. Suppose o*d - 27818 = -2*d. Is d composite?
False
Is (-2)/(-6) + 1367493400/2724 a prime number?
False
Let o(k) = 53*k + 56. Let m(c) = -54*c - 55. Let t(n) = 3*m(n) + 2*o(n). Is t(-27) composite?
False
Let h(c) = -2*c - 8. Let l be h(-6). Suppose 0 = 2*s + r + 19, -l*r = 3*s + 7 + 9. Is 2/(s/(-15261)) - (-1)/(-2) prime?
True
Let n(r) = r**