7, -2*x - 3304 = -t. Is t prime?
False
Let z(m) = 447*m**2 + 9*m - 190. Is z(9) composite?
True
Let b(m) = 4*m**2 - 18*m + 27. Let u be b(15). Let j = 2122 - u. Is j a composite number?
True
Let n = 12835 - -10866. Is n prime?
False
Is ((-18986)/(-3))/((-60)/(-90)) composite?
True
Let k(y) = -3*y**2 - 2*y - 2. Let p(t) = -12*t**2 - 8*t - 8. Let i(f) = 9*k(f) - 2*p(f). Let m be i(-1). Is (127/m)/(3/(-9)) a prime number?
True
Let y be (37 + 1)*(7 + -2). Let d be 524/6*(-57)/38. Let k = y + d. Is k composite?
False
Suppose -4*w = -4*t + 131772, 32951 = t - 14*w + 11*w. Is t a composite number?
False
Let y be 15759 + (70/(-21) - 1/(-3)). Suppose -4*v = -4*w - y, v - 6*v - 3*w = -19663. Is v prime?
False
Is (-190)/(-30) - 6 - 52444/(-6) prime?
True
Let n(j) = -j**2 - 6*j + 19. Let k be n(-8). Suppose -2*p = -3*s + s, -5*p = k*s. Suppose -h - 4*v + 395 = -0*h, v + 3 = p. Is h composite?
True
Let g(c) = -22*c + 3. Let r be g(-8). Suppose y + 96 = 39. Let q = y + r. Is q prime?
False
Let p(t) = 9*t**2 - 3 + 0*t - 3 + 6*t**3 - 3*t + 1. Let r(k) = -5*k**3 - 9*k**2 + 2*k + 5. Let y(z) = -4*p(z) - 5*r(z). Is y(-4) a prime number?
True
Let z = -38 + 357. Is z prime?
False
Let d(g) = -237*g - 37. Is d(-2) a composite number?
True
Suppose 3*b + 0*b = 3. Suppose j = -11 + b. Is 2*43 + j + 7 a prime number?
True
Suppose 3*s = 2 + 16. Suppose 3*u - 4*m + 55 = 0, 46 = -2*u - 5*m - s. Is 6/u - 2202/(-14) a composite number?
False
Suppose -18*f + 106765 + 22277 = 0. Is f prime?
False
Suppose -5*l + 3*l - 4*q = -12870, -3*q + 6435 = l. Suppose -l = -4*a + 4673. Is a prime?
True
Suppose 3*r + h = 27703, -10*r + 46181 = -5*r + 4*h. Is r prime?
False
Suppose 232 = 2*j - a, 3*a = 3*j - 2*a - 334. Let f = j + -83. Suppose -34 = -3*y + f. Is y prime?
True
Let i(s) = -4*s**3 + 3*s**2 - 9*s - 3. Let p(k) = 11*k**3 - 9*k**2 + 26*k + 8. Let c(w) = 17*i(w) + 6*p(w). Is c(-5) prime?
True
Let x = 7452 - -15851. Is x a composite number?
True
Let w(x) = -2*x**3 + 4*x**2 + 3*x - 4. Let f be w(-4). Suppose 0 = 3*v + 4*h + 110, 4*v + 4*h - 28 = -f. Let r = 120 - v. Is r a prime number?
False
Let d(p) = -p**3 - 3*p**2 - 21*p + 7. Let m be d(-10). Suppose g = -t - t + m, 0 = -3*g + 5*t + 2718. Is g a composite number?
False
Suppose -17*f = -13*f - 44. Suppose -8*q + f*q - 1473 = 0. Is q composite?
False
Let i = -68 - -6. Let t = i - -357. Is t a composite number?
True
Suppose -19*v + 18*v = 98832. Is (-1)/(-7) - v/203 prime?
True
Let o be 1/4 + 6108/(-48). Is o*(-9)/(-6)*10/(-15) a prime number?
True
Suppose 0 = 2*b - j - 20187 - 125786, 0 = -5*j + 25. Is b a prime number?
False
Let v = 34224 - 24331. Is v a prime number?
False
Let h be 1/3 + -3*(-10)/(-9). Is 139 + 1 + h + 4 a prime number?
False
Let s(l) be the first derivative of -16*l - 11/2*l**2 - 4. Is s(-13) composite?
False
Let f = 884 + -412. Let i = f - 258. Is i a composite number?
True
Suppose 5*y + 5*o = 5, -2*y + 5*o + 13 + 3 = 0. Let q = 1754 + y. Is q a prime number?
False
Let l(h) = 611*h**2 - 2. Let d be l(2). Suppose d = s - 0*n - 5*n, 5*s = 4*n + 12189. Is s a composite number?
False
Suppose 16*m = 20*m + 1172. Let f = -166 - m. Is f prime?
True
Suppose -15 = -2*l + 7*l - 5*b, l + 9 = 4*b. Is (l + ((-18)/(-3))/3)*211 a prime number?
True
Suppose 3*b - 6*b = 129. Let v = b - -60. Let p = v - -18. Is p a prime number?
False
Suppose h + 3356 = 3*b, 0 = b + 18*h - 13*h - 1092. Let d = b + -668. Is d prime?
True
Let r be (-4)/(-18) - 110/9. Let h be 22/r + (-2)/12. Is -1 + -17*(-24 - h) a prime number?
True
Suppose -6 + 21 = 5*l. Let c(d) = d - 8. Let h be c(10). Suppose -l*r + 23 + 353 = -5*w, 5*w = -h*r + 259. Is r a composite number?
False
Let b(r) = -2*r**2 - 18*r + 4. Let q be b(-9). Is q/(-8)*-838 + 0 prime?
True
Let b = -2078 + 4837. Is b a composite number?
True
Let i(p) = 64*p**2 - 6*p - 71. Is i(11) a prime number?
True
Let w(j) = -j**2 + 13*j - 7. Let o be w(12). Let d be (4/o)/((-6)/(-30)). Suppose d*p = -1 - 7, 38 = 4*u - 5*p. Is u a prime number?
True
Let u be 27896/10 - (-44)/110. Let g = u + -1835. Is g prime?
False
Let j(c) = 438*c + 467. Is j(30) composite?
True
Suppose -3729 = -3*z - 18. Is z prime?
True
Suppose 0*h + 65 = -5*h. Let t = 18 + h. Is (-6)/((-12)/t)*394 prime?
False
Let m(g) be the second derivative of g**5/5 + g**4/12 + g**3/6 + 7*g**2/2 - 6*g. Let n be m(7). Suppose n = -2*p + 7*p. Is p prime?
False
Suppose 0 = 4*g - 4*i - 4, -g - 4*i = 4*g + 4. Suppose -5*b + g*b = 4*s - 847, 2*s = 4*b + 430. Suppose -l - 4*l + 219 = -4*p, -5*l + s = 2*p. Is l prime?
True
Suppose 0 = -l + q + 3044, -7*l - 3*q + 12211 = -3*l. Is l composite?
False
Let a be -5*(-1)/(5/6). Suppose -a*s + 4*s - 4 = 0. Let r(z) = -36*z**3 + z**2 - 2*z - 3. Is r(s) composite?
False
Is (1 - (-8)/(-16))/(1/28286) composite?
False
Let p = 13 - 13. Let w(z) = z + 3. Let x be w(p). Suppose -201 = -x*t - 0*t. Is t composite?
False
Let o = -31 - -30. Let n(d) = -48*d + 1. Is n(o) a composite number?
True
Suppose -2*r - 2*s + 1604 = 428, 2*r - s = 1161. Is r prime?
False
Let r = 2787 + -1726. Suppose 377 = 2*s - r. Is s composite?
False
Suppose 54476 = 8*d + 21892. Is d a prime number?
True
Let u = -14 + 16. Suppose -3*h - u*h + v + 1451 = 0, -2*h = v - 586. Is h composite?
True
Let o be ((-6)/4)/(-1 - 1797/(-1788)). Let h = 1339 + o. Is h prime?
False
Suppose 0 = 15*m - 70179 - 48606. Is m a prime number?
True
Let m(z) = 61*z**2 - 2*z - 7. Let n be m(-3). Suppose 2*f + 0*f - n = 0. Is f prime?
False
Let n be (0 - -31669) + 0/(-5). Suppose 24*b = 13*b + n. Is b prime?
True
Let w = 2461 - -18132. Is w prime?
True
Let g be (17196/16)/(3/4). Let q = 4390 - g. Is q prime?
True
Let m be 165/((4 - 9)/(-15)). Suppose -5*o + 940 = -m. Is o composite?
True
Is (0 - (-1)/1)*529 prime?
False
Suppose 16*u + 4 = 18*u. Is 882/u + (4 - 2) a prime number?
True
Let j = 4 + -6. Is (0 - -433) + (2 - j) a composite number?
True
Suppose 6 = -3*r - s + 4*s, 3*r + 10 = 4*s. Suppose -9 = -r*f - 1. Let x(n) = 29*n**2 - 5*n + 1. Is x(f) composite?
True
Suppose 3*c - 337 - 62 = 0. Let n = c + 27. Suppose k = n + 177. Is k composite?
False
Suppose 4*z - 2289 = 7*z. Let o = z - -1794. Is o prime?
True
Let b(z) = -z**2 + 55*z + 197. Is b(54) a composite number?
False
Suppose -5*z = -4*k + 52, 3*k = -3*z - 0*k - 15. Is ((-2)/z)/((-6)/(-19464)) prime?
True
Suppose 0 = 3*t + 3*y - 3789, -t = -2*y - 2*y - 1243. Let s = -558 + t. Is s a composite number?
False
Suppose -3*b = -5*n - 3, -b + 5*n = 10 - 1. Let t = b - 3. Suppose -3*a + 0*r = -t*r - 888, 4*r - 281 = -a. Is a composite?
False
Let x(s) = s**2 - 13*s + 2. Let t be x(11). Let j = 129 - 51. Let n = j + t. Is n composite?
True
Let q = 60674 + -1323. Is q prime?
True
Suppose -454*f + 108880 = -438*f. Is f a prime number?
False
Let i be (-4)/6 - 32/(-12). Suppose -i*g + 1152 = -0*g. Suppose q = -2, -2*c - 2*q = 3*q - g. Is c prime?
True
Let q(k) = -k + 12. Let j be q(7). Let d(t) = -2*t**2 + 0*t**3 - 9 + 12 - t**3 + j*t. Is d(-4) prime?
False
Let w(j) be the second derivative of 13*j**4/12 + 5*j**3/6 + 3*j**2/2 + 9*j. Is w(-4) a composite number?
False
Let y = -37049 + 58060. Is y composite?
False
Let f(v) = 72*v - 5. Suppose -h - 6 = -t, 28 = 4*t - 2*h + 2. Is f(t) a composite number?
False
Suppose 0 = 4*d - 11 - 5. Suppose 2*q = d*x, 2*q + 2*x - 12 = -0*x. Suppose w - q*w + 63 = 0. Is w a prime number?
False
Suppose 5*c - c = 19808. Suppose -c = 4*h - 4*o, -4*h + 3074 = 4*o + 7986. Let m = -875 - h. Is m a prime number?
False
Suppose 2*m - 17 - 43 = 0. Suppose 11*u = 7*u - 20. Is (-2)/u + 3978/m a composite number?
True
Let s(c) = -5375*c + 170. Is s(-13) a composite number?
True
Is 388370/90 + 2/(-9) composite?
True
Suppose 5*o - 6670 = -4*g, 3*o - g = -1132 + 5151. Let n = o + -431. Is n prime?
True
Let b(j) = -157*j**2 + 2*j. Let l be b(-3). Let x = 376 - l. Is x a composite number?
True
Let q(d) = d**3 - 4*d**2 + d - 4. Let z be q(4). Suppose z*p - 4*p = -5*s - 2245, -2*s - 1124 = -2*p. Is p a prime number?
False
Suppose 0 = -8*w + 30527 + 3177. Is w prime?
False
Is ((-18)/36)/((-2)/20156) a composite number?
False
Is (-275363)/(-99)*6 + 2/6 a composite number?
True
Suppose -7*g + 10*g - 80841 = 0. Is g prime?
True
Let i = -1220 + 1853. Is i prime?
False
Suppose -2*h = -2*i + 2, -2*h + 6 = 2*i - 0. Let