se 0 = -3*z + 1683 + 2316. Is z a composite number?
True
Suppose -y - 8 = -6. Let s be y/10 - (-21)/5. Suppose 53 = s*t - 3*t. Is t composite?
False
Let z = 96 - -1626. Suppose 7*q - z = 4*q. Let u = 983 - q. Is u prime?
True
Suppose 0 = 4*z - z - 54. Let s be (z/21 - 0)*-14. Is 2/s - (-2332)/24 prime?
True
Is (1*10135/5 - 1) + 3 prime?
True
Let i(o) = 6*o**3 + 6*o**2 + 20*o - 51. Is i(19) composite?
False
Let s(k) = -k**3 + 15*k**2 - 9*k - 8. Is s(11) prime?
False
Let a(b) = b**3 + 12*b**2 + 25*b + 18. Let o be a(-12). Let k = o + 536. Is k a prime number?
False
Suppose 9*g = 8*g + 7. Let r(c) = -13*c - 3. Let b be r(g). Let w = 309 + b. Is w a composite number?
True
Let m(t) = -22*t + 67. Is m(-16) composite?
False
Is ((-4)/6)/((-14)/190701*9) a composite number?
False
Suppose -d - 1161 = -4*q - 456, q - 4*d = 180. Is -4*(62 - 1)*q/(-64) prime?
False
Suppose -7*s = -0*s - 6307. Suppose 3*w - s = -2*k, 4*w + 5*k - 1400 = -194. Is w prime?
False
Let v(x) = -2*x - 6. Let t be v(-7). Suppose 3*a - t*a + 35 = 0. Suppose -2968 = -a*o - o. Is o prime?
False
Suppose -2*p + 15584 = 3*g, 0*p = -2*p - 2*g + 15584. Let h = p + -5025. Is h prime?
True
Suppose 6378 = 3*i + 279. Is i prime?
False
Let u be 1/(2 + -1)*(-512 + -9). Let a = 928 + u. Is a composite?
True
Let o be (6 - 4)/(-1 - 1). Let m be 120/(-2*o/2). Suppose 4*x - 4 = m. Is x a prime number?
True
Let q(w) = w**3 + w**2 - 2*w + 3797. Is q(0) a prime number?
True
Suppose 25887 = 2*i - r, 3*i + 3*r - 838 - 37970 = 0. Is i prime?
True
Let o be (-1 - 1 - 1)*-4. Let c be o/(-36) + (-796)/6. Let u = 486 + c. Is u composite?
False
Suppose 0 = 254*k - 280*k + 5245630. Is k composite?
True
Suppose 4*i + 1250 = -1718. Is (i/(-4))/1 + 6/4 a composite number?
True
Is (-3)/(3/(-80)) + -3 + 2 a prime number?
True
Let h(x) be the third derivative of 3*x**6/4 + x**5/30 - x**4/24 - 3*x**2. Is h(1) composite?
True
Let d be 2/(-12) + 333297/54 + 0. Suppose -4*x - 5*a + d = 0, -5*a + 3435 = 2*x + 349. Is x prime?
True
Let k be (-2 - -1)*(4 + 1). Let y(t) = -254*t + 9. Is y(k) a prime number?
True
Suppose 48*a + 42*a - 537210 = 0. Is a a prime number?
False
Suppose 8*i - 6*i + 20 = 0. Let a(y) = y**3 + 21*y**2 - 12*y - 1. Is a(i) composite?
True
Let g be 0/1 + (-1)/(6/16122). Let b = -976 - g. Is b composite?
True
Let p = 7640 - 4642. Let v = -2045 + p. Is v prime?
True
Suppose 11*r - 14096 = -1039. Is r composite?
False
Let k = 46352 - -17130. Is k composite?
True
Let l(d) be the second derivative of 7*d**4/12 + 3*d**3 + 19*d**2/2 - 24*d. Is l(-14) composite?
True
Let a = 5658 + 1015. Is a a composite number?
False
Is 10 - -1 - 4932576/(-99) a prime number?
False
Suppose 0 = -605*n + 585*n + 1237220. Is n a prime number?
True
Suppose 4*o = 5*c - 29755, 0 = 14*c - 13*c + o - 5951. Is c a prime number?
False
Let f(s) be the second derivative of -772*s**3/3 - s**2/2 + 30*s. Is f(-1) a prime number?
True
Suppose 0 = -17*o + 16817 + 248774. Is o a prime number?
False
Suppose -q + t + 4*t + 450 = 0, -2*q + 5*t + 895 = 0. Suppose 1509 = i + q. Let h = -729 + i. Is h a prime number?
False
Suppose 2*i = i + 265. Suppose -3*q = -i - 836. Is q a composite number?
False
Let q(z) = -19 + 9*z - 21 + 6*z**2 + 12*z + 9. Is q(14) prime?
True
Suppose -3*a - 2*d = 156, 4*a - d - 54 = -262. Let p = 1269 + a. Is p composite?
False
Let d(a) = 7*a + 1. Let x be d(1). Let k(l) = 6*l - 20*l - 18*l + x*l + 5. Is k(-6) composite?
False
Suppose -5*d = -2*g + 13585, 0 = 2*g - d - 3147 - 10458. Is g composite?
True
Let q(n) = 910*n**2 + 10*n + 35. Is q(-5) prime?
False
Let y(i) = 858*i + 89. Is y(11) prime?
False
Let c(l) = -3*l**2 - 11*l - 4. Let t be c(-4). Let r(m) = -19*m**2 + 7*m - 5. Let i(o) = 9*o**2 - 4*o + 2. Let p(z) = 7*i(z) + 3*r(z). Is p(t) prime?
True
Is 55455/135 - 4/(-18) a prime number?
False
Let n be (-54)/(-1)*-15 + 2. Let i = n - -1431. Is i composite?
True
Suppose 6*s - 7*s + 8 = 0. Is (s/(-12))/(10/(-3975)) a prime number?
False
Let x(m) = -2*m + 12. Let l be x(7). Is (-366)/5*5/l a composite number?
True
Let p be 1 - (-6 - (3 + -5)). Suppose p*v + 213 = -3347. Is (v/20)/((-6)/15) a prime number?
True
Let c(t) = 1. Let h(o) = -15*o**2 - 24*o + 2. Let w(k) = 7*k**2 + 12*k - 1. Let j(z) = 6*h(z) + 13*w(z). Let s(x) = -2*c(x) - j(x). Is s(-7) composite?
True
Suppose -4 + 8 = -4*a. Let o be 3*((-21)/9 - a). Is (-1428)/(-20) - o/(-10) a prime number?
True
Let o = 190 - -967. Suppose 0 = -5*m - 147 + o. Is m a prime number?
False
Suppose l - 36 = -3*k, 0 = -0*l - 5*l + 5*k + 100. Is (-2)/(l/(-5476))*3 a prime number?
False
Let q = 13 + -9. Let k(t) = -6*t + 2. Let f be k(q). Let c = 81 + f. Is c a composite number?
False
Let c be 24/18*(-3)/(-2). Let r be (5/(-10))/(c/1316). Let q = 660 + r. Is q prime?
True
Suppose 0 = -2*t + 3*v - 7*v + 32886, 3*t = 5*v + 49351. Is t composite?
False
Suppose 45*c - 48*c = 387. Let x = c + 436. Is x prime?
True
Suppose 22*m - 21*m + 3 = 0. Is ((-8396)/12)/(1/m) composite?
False
Suppose 3 = a - 1. Let q(d) = 173*d - 7. Let v be q(10). Suppose 2*l - 3*c = c + 866, -a*l + v = -5*c. Is l prime?
False
Let w(v) = v**2 + 4*v + 44. Let o be w(-21). Let n = 261 + o. Is n prime?
False
Let z(a) = -4*a**3 + 3*a**3 + a**2 + 6 + 2*a + 3*a**3. Let y be z(0). Suppose -57 = -y*g + 3*g. Is g prime?
True
Suppose -806 = 10*a - 12*a. Suppose 3461 - a = 2*w. Is w a prime number?
False
Suppose 4*u + h = 2877, 1454 + 2161 = 5*u - 5*h. Suppose 6*n - u = n. Suppose 2*g + g = 3*m + 123, -m + n = 4*g. Is g prime?
True
Let c = -527 + 3942. Is c prime?
False
Let t(b) = b**2 + 5*b + 3. Let i be t(-5). Suppose 0*q + q - 3*h - 8939 = 0, 2*q - 17878 = i*h. Is q prime?
False
Suppose -6*n = -10*n. Suppose w = -2*b - n*b + 805, 408 = b - 5*w. Is b prime?
False
Suppose 0*v + 5581 = v. Suppose s + 5 = 0, 4*o - s = -4*s + v. Is o a composite number?
False
Is (-2)/2*(-1214199)/9 a composite number?
True
Let n be ((-15)/9)/(25/(-30)). Suppose -3*h + 740 = n*h. Is 135/(-18)*h/(-6) a prime number?
False
Let k(j) = -j + 4. Let y be k(5). Let f be 1 + y + 2 + 0. Suppose f*t = 7*t - 1185. Is t composite?
True
Let y(c) = 10*c**2 + 4. Suppose 0 = -8*l + 3*l - 15. Let d be y(l). Suppose -3*w = 15, k + w - d = 5*w. Is k a prime number?
False
Suppose 856 + 15654 = 10*z. Is z prime?
False
Let m(u) = -u**3 + 4*u**2 + u + 5. Let l be m(4). Is 10734/l - (-5)/(-3 + 18) a composite number?
False
Is (1 + 1*-398)*(-2542)/62 a composite number?
True
Let b(y) = -12*y - 3 - 3 + y. Is b(-11) composite?
True
Let h = -1074 + 2435. Is h a prime number?
True
Let n(u) = -3*u**3 - 19*u**2 + 2*u + 35. Is n(-12) a prime number?
True
Let a = 24 + -24. Suppose z + 10 + 3 = a. Let h(k) = -15*k - 16. Is h(z) a prime number?
True
Let r = 42 + -70. Let b = -24 - r. Suppose -76 = -0*w - b*w. Is w prime?
True
Let b be -3*(-2 - (-3634)/6). Let m = b + 3816. Is m a prime number?
False
Suppose 0 = -3*f - 12. Let w = 9 + f. Suppose -w*a = -1326 - 769. Is a a prime number?
True
Let j(h) = -37*h - 29. Let m be j(-8). Let t = m + 586. Is t composite?
False
Suppose -62*w + 97657 = -55*w. Is w prime?
False
Let v(q) = -2*q**3 - 3*q**2 - 2*q - 4. Let o be v(-2). Suppose -o*t - 45 = -t. Is (-2)/(-10) + (-1407)/t a prime number?
False
Let y = 4560 - 3227. Let o = y - 720. Is o a composite number?
False
Let q(i) = -i + 2. Let j be q(-3). Suppose -4*o + 5*a - 2*a + 871 = 0, 5*a + j = 0. Is o a prime number?
False
Let a(c) = -45*c**3 + 4*c**2 - 11*c - 19. Is a(-5) a prime number?
False
Let k = 3 + -1. Let f(u) be the third derivative of 2*u**5/15 - u**3/6 + 10*u**2. Is f(k) a prime number?
True
Let u(x) be the third derivative of -x**6/36 - x**5/40 - x**4/24 - 3*x**2. Let i(y) be the second derivative of u(y). Is i(-4) prime?
False
Is -2*((-1399)/2 - 0/(-8)) a composite number?
False
Let l = -14 - -20. Let i(m) be the second derivative of 5*m**4/6 + m**3 - 7*m**2/2 + 3*m - 2. Is i(l) prime?
True
Suppose -80 = -3*p + 4*u, 0 = p - 2*p - u + 15. Suppose p = 3*m - 58. Let q = m + 33. Is q prime?
True
Let m(n) = 13*n**2 + 295*n - 77. Is m(-31) a composite number?
False
Suppose j + 33 = -3*t - 250, 279 = -j - 4*t. Let b = j + 472. Is b prime?
False
Let k be (6 + -6)/(1/(-1)). Suppose 3*o + z = 177, 236 = 4*o + 5*z - k*z. Is o a composite number?
False
Suppose -4*t - 3*a - 25 = 0, 5*t + 