et v = l + 5296. Is v prime?
False
Let y(j) be the first derivative of -1/2*j**2 + 3*j**3 + 21*j + 14. Is y(-7) a composite number?
True
Is (-115903366)/(-628)*((-105)/20)/(3/(-8)) prime?
False
Suppose 0 - 4 = -4*i. Let c(j) = 296*j**3 - 2*j**2 + 9*j - 2. Let o(y) = -y**3 - y. Let k(u) = i*c(u) + 6*o(u). Is k(1) a prime number?
False
Suppose 0 = -531*c + 557*c - 799214. Is c prime?
False
Suppose 0 = -4*m - 20, -3*m + 15 = -4*l + 2*m. Let a(i) = i**3 + 19*i**2 - 6*i + 13. Let y be a(l). Let s = -474 + y. Is s composite?
False
Let f(j) = 26*j**2 + 7*j + 412. Is f(25) a prime number?
False
Let x(l) = 3*l**2 + 28*l + 2. Let r be x(-9). Let b(w) = 9*w**3 - 9*w**2 + 1. Let h be b(r). Let k = -720 - h. Is k a prime number?
False
Let i(s) = -5*s - 5. Let w be i(3). Let p = 1416 + w. Suppose 4*z + 173 = u - 158, 4*u + 2*z - p = 0. Is u a composite number?
False
Suppose 10*s - 56868 = -17638. Suppose 22797 + s = 5*f. Suppose 4*g + f = 4*l, -2793 = -3*l + g + 1217. Is l a prime number?
False
Let n = 215 + -213. Let s(x) = x - 1. Let r(u) = -1439*u - 15. Let y(j) = -r(j) + 6*s(j). Is y(n) a prime number?
False
Let w(p) = -p**2 + 22*p - 49. Let d(f) = -f**3 + 11*f**2 - 11*f + 25. Let o be d(10). Let y be w(o). Suppose -7*h = -1071 + y. Is h composite?
True
Let i(x) = 3*x**2 + 5*x - 7. Let n be i(-3). Let k(g) = 120*g + 48. Let f(p) = -120*p - 47. Let w(z) = n*f(z) + 6*k(z). Is w(14) a prime number?
True
Let n(a) = -570*a**3 - a**2 + 30*a + 85. Is n(-4) composite?
True
Let x(w) = 2 + 5*w + 2*w**2 - 2*w**2 - w**2. Let a be x(6). Is a/(-5)*715/26 a prime number?
False
Suppose -2*b + 24 = b. Let z = b - 8. Suppose -a + z*a = -401. Is a prime?
True
Let z(m) = 6*m - 28. Let o be z(5). Let h be (17651/(-38))/(1/o). Let v = h + 1788. Is v a prime number?
True
Let i = -325958 + 1150137. Is i prime?
True
Suppose -3*n = -4*z - 3149, 2*n = -3*z - 2*n - 2343. Let j = z - -444. Is j/2*(-3 + 1) a prime number?
False
Is ((16/56)/(88/(-64526)))/((-1)/382) prime?
False
Let z be 0 - 6/(-45)*-3*-10. Suppose -5*o - 40810 = -4*p, p + 1 = -z. Is ((-1)/(-1))/(-2 + (-16334)/o) prime?
False
Let g(y) = -17346*y - 5251. Is g(-10) a prime number?
False
Suppose -5*m - 5 = -20. Let q be ((-10)/5)/((-2)/m). Suppose 2*f - 52 = -q*o + 298, o = f + 120. Is o composite?
True
Let w = 859 + 731. Let l = -683 + w. Is l a composite number?
False
Let g(p) = -4*p + 1 + 164*p**2 + 25*p**2 - 31*p**2 + 0. Let d(o) = -2*o**2 - 2*o - 2. Let l be d(0). Is g(l) composite?
False
Is 3/4*(-92591284)/(-123) a composite number?
True
Suppose -2*k = 3*o + 3*k - 37, -2 = 2*o - 2*k. Let z(l) = 51*l**2 + 16*l - 1. Is z(o) prime?
False
Let n = 158068 + -95991. Is n composite?
True
Let p(u) = 5*u**2 - 3*u**2 + 6*u - 8*u**2 + 4 + 7*u**2. Let s be p(-6). Is s/(-8)*4 + (719 - -2) a composite number?
False
Let p = -11 + 7. Let g(t) be the first derivative of -241*t**2 - 7*t - 96. Is g(p) composite?
True
Let v = 7 + 28. Suppose 17*n + v = 18*n. Suppose 34*x - n*x + 395 = 0. Is x a prime number?
False
Suppose -7*u + 16 = -5. Let z be (-3)/(u + 1 + -1). Is 3/(-3 - -6)*-161*z a prime number?
False
Let u = -4159 - -2137. Suppose -2*n = -j + n + 4537, -3*n - 9062 = -2*j. Let p = u + j. Is p prime?
True
Suppose 0 = 3*z - 82 + 88, 93933 = 5*d + z. Is d prime?
True
Suppose 4*l + 5 = -31. Let m(f) = 24*f**2 - 13. Let s be m(l). Suppose w + 3*c = -111 + 599, 4*w + 5*c - s = 0. Is w a composite number?
False
Let u(i) = 191*i**2 - 62*i - 504. Is u(-7) composite?
True
Suppose 87*f - 5996563 - 1677011 = 0. Is f composite?
True
Let s(b) = b**2 + 5*b - 3. Let m be s(-8). Let f(i) = -9*i - 6. Let y be f(-2). Suppose h - m = y. Is h a composite number?
True
Suppose -3*q - 4*q = -28. Let z be (-1 + 14/q)/((-2)/(-4)). Suppose -z*d = -2*b + 6*b - 336, 3*b + 2*d = 259. Is b composite?
False
Let g be 1/(4*(-1)/8). Let m(b) = -2160*b**3 - 2*b**2 - 2*b - 3. Is m(g) a prime number?
False
Suppose -5*a + 115108 = -273697. Is a prime?
True
Let b = 535966 + -263103. Is b prime?
True
Is 60/8*(-2656930)/(-255) composite?
True
Let o(a) = 73*a**3 + 4*a**2 + 6*a - 8. Suppose 22*h - 3 = 21*h. Is o(h) composite?
False
Suppose 1004*x - 302377 = 1003*x - 2*d, x - 302356 = 5*d. Is x composite?
True
Suppose 0*z = 3*z + 6, -205807 = -5*u - 4*z. Is u a composite number?
True
Let i = 10 - 7. Let q = -46 - -46. Suppose q = 4*u - i*b - 1157, 4*u - 5*u + 308 = 3*b. Is u a prime number?
True
Let y = 135905 + -33914. Is y a composite number?
True
Suppose -22*c = -46*c + 35*c - 77759. Is c prime?
True
Let w(u) = -499*u - 2. Suppose -2*s = -2, 2*n - 5*n - 14 = -5*s. Let i be w(n). Let b = i + -726. Is b composite?
False
Let i(d) = 4 - 4 - d + 5 - 2*d. Let v be i(2). Is 53 + v + (-4)/4 composite?
True
Let u(p) = 64*p**3 + 5*p**2 + 2*p + 17. Let h(g) = -17*g - 81. Let i be h(-5). Is u(i) a prime number?
True
Let j(d) = d**3 - 13*d**2 + 11*d + 16. Let w be j(12). Let m(l) = w + 172*l + 39 - 64. Is m(5) prime?
True
Let t(g) = 7*g**2 - 19*g - 1703. Is t(-68) a prime number?
True
Let j(a) = -79*a**3 + 6*a**2 - 32*a - 557. Is j(-12) a prime number?
False
Let q be 24/(-48)*-2*2. Suppose -7*b - q*b = -12699. Is b composite?
True
Suppose -20*g - 55*g = 58*g - 3844631. Is g a composite number?
True
Let z be (-8 + 8)/(2/(-2)). Suppose z = 3*y + 2*a + 17 - 136, -2*y - a = -80. Let s = y - -160. Is s a prime number?
False
Let h(s) = 71*s**2 - 30*s + 797. Is h(24) a prime number?
True
Let m be (5/5 + -1)/1. Suppose i - 6 = -5*h, i + m*i + h + 10 = 0. Is ((-3019)/(-1))/(i + 15) a composite number?
False
Let o(z) = 37*z + 4. Let r be o(2). Is (-12)/r + 17695/13 a composite number?
False
Is (19210331/(-2766))/((1/6)/(-1)) composite?
True
Is ((-2)/1)/(4/907332*-6) prime?
True
Let d(h) = 2*h**2 - 16*h + 35. Let b be d(5). Let n(y) = 300*y - 187. Is n(b) a composite number?
True
Suppose 3*z - 10016 = 7. Suppose z = -4*j - m + 15508, 3*m = 2*j - 6073. Is j a composite number?
False
Suppose -2*w + 6 = 4*v, 5*v + 25 = w + 3*w. Let h be v - (-1215 + -2 + -3). Suppose -4*c + 4*p = -5*c + 295, 4*c = -3*p + h. Is c composite?
False
Let s(m) = -7 + 12*m**3 - 15*m**2 + 8*m**3 - 19*m**3 - 2*m + 46*m**2. Is s(-17) a composite number?
False
Let o = 327576 - 163315. Is o composite?
True
Let i(x) = x**2. Let f be i(2). Let q be (-10*f/(-32))/((-3)/60). Is (-11271)/(-15) - (-10)/q composite?
False
Let x(o) = 7*o**2 + 48*o - 49. Let z be x(1). Suppose -27839 - 24979 = -z*v. Is v prime?
True
Let r(h) = -h**3 + 12*h - 23. Let t be r(2). Let s(u) = 6*u**2 - 13*u - 96. Is s(t) prime?
False
Let b = 19073 - 52216. Let x = 47604 + b. Is x prime?
True
Let w(h) = 6*h - 6. Let u be w(4). Suppose -316*b = -315*b - 10344. Is b/9 - -2 - 6/u prime?
True
Let f = -520 + 520. Is (f - (-2)/(-3))/(16/(-265128)) a composite number?
False
Suppose -2*w - 2*k - 8 = 0, -4*w + k + k - 22 = 0. Suppose -8*m = -7*m - 3. Is w/(3/(m*-29)) a composite number?
True
Suppose -31 = -6*n - 13. Suppose 0 = -n*y + 5*y - 2, -r = y - 480. Is r prime?
True
Let k(u) = 3442*u + 32. Let g be k(4). Suppose 4*d + 18*s = 16*s + g, -5*d + 3*s = -17239. Is d composite?
False
Let y = -68171 + 290304. Is y a prime number?
False
Is (-9 - (-741735)/30)/(1/2) prime?
False
Let v(n) = -10*n + 158. Let h be v(16). Is 6*h/(-54) + 200030/18 a composite number?
False
Suppose -5*u + 2*q = -755295, -755330 = -5*u - 6*q + q. Is u a composite number?
True
Let i(p) = -p**3 - 6*p**2 - 5*p + 2. Let t be i(-5). Suppose -4*k = t*s - 0*k - 12, 0 = 2*s - 4*k + 28. Is 647 - (0 + s) - 4 prime?
True
Let w(y) be the second derivative of -35*y**3/3 - 5*y**2/2 - 127*y. Is w(-16) a composite number?
True
Let f = -4 + 4. Suppose f = 5*t - 128 - 47. Is t prime?
False
Let f = 580 + -578. Is (-14394)/12*-2 - (6 - f) prime?
False
Let q(v) be the third derivative of 7*v**4/8 - 19*v**3/6 + v**2. Suppose -32*z - 39 = -35*z. Is q(z) a prime number?
False
Let b(h) = h**3 - 2*h**2 - 13. Suppose -4*n - 6 = 2. Let d(l) = l + 8. Let q be d(n). Is b(q) composite?
False
Suppose 4*b = -3*q - 7, 5*b + 5*q - 7 = -22. Suppose b*c + 3*z - 2065 = -2*z, 2*c = 4*z + 2110. Let x = -606 + c. Is x composite?
False
Let y(g) = -144*g - 25. Let c be (-2)/(-8)*2*-6. Is y(c) composite?
True
Suppose 2 = -2*z, 4*h - 7 = 5*z - 2. Suppose -9*x + 341 = -493 - 1965. Suppose -v = -2*j - 186 - x, h = 5*j + 20. Is v a 