*5/12 + 3*p**3/2 + 20*p**2. Is v(-4) a prime number?
True
Let o(p) = -p**3 + 20*p**2 + 23*p - 41. Let n be o(21). Let b(r) = r**2 - 13*r + 9. Let h be b(9). Is (n - h)*(-154)/(-56) a prime number?
False
Suppose 0 = 4*q - 32 - 36. Let h(t) = t**2 - 3*t - 8. Let m be h(6). Let g = q - m. Is g prime?
True
Let i(p) = 3*p + 191. Let m be i(0). Suppose -3*y - 3*d = -648, -y + 3*d + m = -d. Is y composite?
False
Let z be ((-108)/48)/(2/(-8)). Let b be (-20)/90 + 38/z. Is (-12)/b + 120 + 1 a prime number?
False
Let q be ((-20)/4 + -4)/1. Let p(y) = -70*y + 4. Is p(q) a prime number?
False
Suppose -3*k + 24 = -9*k. Is (1284/(-20))/((12/15)/k) prime?
False
Let m(z) = -26*z - 4. Let s be m(-8). Suppose 4*i = -2*c + c + 892, 0 = -i - 5*c + s. Suppose -i = 4*w - 760. Is w composite?
True
Let j = -4072 - -7091. Is j a composite number?
False
Suppose -12735 + 2955 = -12*l. Is l composite?
True
Suppose -5*r = -t + 6, -2*t + 5*r + 9 = -18. Let h = t + -18. Suppose h*b = 5*y + 4*b - 710, 5*b = -3*y + 448. Is y prime?
False
Let o(q) = 1862*q**3 + 3*q**2 - 7. Is o(2) a prime number?
False
Suppose 8*j = -6 + 22. Suppose j*x - 3735 - 4355 = 0. Is x a composite number?
True
Let a = -2802 - -3955. Let q = -590 + a. Is q prime?
True
Suppose 180622 = 24*x - 39770. Is x composite?
True
Let g = -28 + 28. Suppose 3*o - 2*o - 851 = g. Is o a composite number?
True
Let d(v) = -v**3 - 3*v**2 - 1. Let w be d(-2). Is -33*(2 - (-2 - w)) prime?
False
Let z = 2326 - 1609. Is z a prime number?
False
Let h(w) be the second derivative of w**5/20 + 2*w**4/3 + 7*w**3/6 - w**2/2 - 16*w. Is h(-3) prime?
True
Suppose 0 = 4*q - q. Suppose p - 5*p = q. Is 107 - p - (-2 - -3) composite?
True
Let q(i) = i + 11. Let u be q(-6). Suppose 0 = -u*w + 7*w - 408. Suppose 0 = 5*g - 9*g + w. Is g a composite number?
True
Let y(a) = a**2 + 6*a - 1. Let q be y(-5). Let s be 2/q*0 + -3. Is 0 - s/(3/37) composite?
False
Let v(c) = c**3 - 5*c**2 - 7*c + 6. Let t be v(6). Suppose 0 = -t*w + 2*w - 818. Is w a prime number?
True
Suppose -4*f - 51*c + 46*c + 21153 = 0, 3*f - 15866 = -5*c. Is f composite?
True
Is 18257 + 5/(-5) + 7 prime?
False
Let f(c) = 205*c**2 - 3*c - 3. Is f(-3) prime?
False
Is (-202)/(-3 + (-705)/(-237)) prime?
False
Let l = 3523 - 1278. Is l composite?
True
Suppose 2*d - 8 = -2. Let b be (1 + (-1)/d)*6. Suppose 5*q + 18 = p - 34, 0 = b*p + q - 271. Is p a composite number?
False
Suppose 10*w - 6*w = -3*b + 24161, -4*b = 3*w - 32224. Is b a composite number?
False
Let r be (-3853)/((-10)/6 + 8/12). Suppose -r = -3*i - 172. Is i a prime number?
False
Suppose -3*f + 48 = 5*f. Suppose -2387 - 6823 = -f*n. Is n prime?
False
Let z = 14 + -20. Let b(r) = -12*r - 1. Let q be b(z). Suppose 5*k + u - q = 0, 7*k - 3*k - 2*u = 68. Is k composite?
True
Let q be (-6 + 6)*(-1)/2. Suppose i + q*i = 1187. Is i a prime number?
True
Let q be ((-4)/(-6))/((-2)/(-6)). Let r be (-24)/5 + q/(-10). Is 2 + (673 - (r - -1)) a composite number?
True
Let f(x) be the first derivative of 230*x**2 - x + 2. Is f(2) a composite number?
False
Suppose -5*f - 2*p + 35 + 4158 = 0, -f + 3*p + 842 = 0. Is f a prime number?
True
Let s(n) = -722*n - 5. Let g be (4/6)/((-9)/27). Let j be s(g). Let p = -990 + j. Is p a prime number?
True
Let h(d) = 42*d + 33. Let r be h(15). Let t = r - 370. Is t composite?
False
Let b(d) = d + 4. Let v be b(-3). Let p(k) be the first derivative of 44*k**3 + k**2/2 - 2*k - 103. Is p(v) composite?
False
Suppose 5*q = -r + 5, 0*r - 5 = 5*q - r. Suppose q = -w - 0*w + 155. Is w a prime number?
False
Let g be 2663 + (6 - 3 - 5). Let j = g + -1754. Is j prime?
True
Let l be (2/3)/(2/3). Is 2/(-4) + l/(10/13475) prime?
False
Let h be (2/(-3))/(40/(-4500)). Let j = -56 + h. Is j prime?
True
Let b(k) = 1018*k**2 - k - 65. Is b(-6) a prime number?
False
Let i be (5/3)/(1/3). Suppose -j - t = -4*t - 1499, -4*t + 7495 = i*j. Suppose j = 5*q - o + 383, q + 5*o - 218 = 0. Is q a composite number?
False
Suppose -12*s + 9*s = x - 13832, s = -x + 4614. Is s a prime number?
False
Suppose -4*i - 4 = 5*l + 2, -l - i - 2 = 0. Let r(o) = 487*o + 3. Is r(l) composite?
False
Suppose 5*j + 4*t = -t + 23810, -5*j - 3*t + 23818 = 0. Suppose 4*p + p = -20, 0 = 2*r + 5*p - j. Is r a composite number?
False
Let f(w) be the third derivative of -89*w**4/6 + w**3/6 - 8*w**2. Let h be f(-1). Is ((-22)/(-3))/(14/h) prime?
False
Let s be (-1 + -1)*(-6)/12. Let l be (1 - (-3 - -3))*s. Is 7 + -7 + 14*l prime?
False
Let t be (264/(-9))/(4/(-120)). Suppose -2*v + 797 = -4*l + 1975, -3*l + t = -5*v. Is l prime?
False
Suppose 11*l = 39944 - 13863. Is l prime?
True
Let m be 104/18 - (-8)/36. Suppose -2 = -2*c, t + 5*c + 0*c = 7. Suppose -439 = 2*h - m*h + 3*x, -t*x = -h + 111. Is h composite?
False
Suppose 53*a - 397800 = 61339. Is a prime?
True
Let l = 10761 - 6784. Is l a composite number?
True
Suppose -6*a - 21 = 39. Is -22*5/a*11 a composite number?
True
Let j = 5847 - 164. Is j a composite number?
False
Let d(o) = -20855*o - 29. Is d(-2) a prime number?
True
Suppose -2*g - 39312 = -2*m, 3*m + 30028 - 89001 = 2*g. Is m composite?
False
Let v = -2291 - -3222. Suppose 0 = y - 4, 3*y = -3*z - y + v. Is z composite?
True
Let f = -2412 - -4385. Is f composite?
False
Suppose 5*d = 3*w + 24, -2*w + 30 = 5*d - 7*w. Suppose d*j = 671 + 322. Is j composite?
False
Suppose 3*p - 1003 = 4*y, -y = -5*p + p + 1359. Let h = -2 - -6. Suppose 4*c + 3*i - 381 = -28, -h*c + i = -p. Is c prime?
False
Let v(f) be the first derivative of -53*f**4 - 4*f**3/3 - 3*f**2/2 - f - 10. Is v(-2) composite?
True
Suppose o + s = -o + 1, 2*s + 16 = 2*o. Is 2/(-2) - (-466 + 2 - o) a prime number?
False
Let h(c) = c**3 + 24*c**2 - 111*c - 11. Is h(-26) composite?
False
Let j = -38 + 42. Suppose 4*w = j*n - 936 + 160, 4*w = -5*n + 943. Is n prime?
True
Let k = 31 - 33. Let c be (-1)/(2*k/6856). Suppose 0 = 4*u - c - 810. Is u a prime number?
True
Let b = 17 - 12. Let u(x) = 28*x + 1. Let g be u(b). Suppose -6*s + 5*s = -g. Is s a prime number?
False
Is 6 + -7 + 7099 - (2 + -1) composite?
True
Let n(y) = -y**3 + 7*y**2 - 13*y - 7. Let o be n(6). Let t = 306 + o. Is t prime?
True
Suppose 5*m = i + 42227 + 32837, -5*i + 5 = 0. Is m prime?
True
Suppose 5221896 + 4829139 = 129*f. Is f prime?
False
Let q = 53602 - 30143. Is q composite?
False
Let n = 1964 - 1150. Let k = 1437 - n. Is k a prime number?
False
Suppose 5*q - 12 = -2. Suppose -4*l + 24 = 8, 242 = q*g - 3*l. Is g a prime number?
True
Is 8/84 + 33092730/378 prime?
True
Let a(k) = -33*k + 15. Let u(g) = 17*g - 8. Let z(f) = -3*a(f) - 7*u(f). Is z(-18) a prime number?
False
Suppose 7 = -10*h + 27. Is ((-65)/h)/13*-149*2 prime?
False
Let l be (5 - -3) + -2 - (-1)/1. Is 15615/l - (66/14 + -5) a composite number?
True
Suppose 26344 = 4*t + 4*k, 19756 = -0*t + 3*t + 5*k. Is t a composite number?
True
Let o(k) = -k**3 - 7*k**2 + 23*k - 4. Let w(n) = -3*n + 28. Let f be w(15). Let r be o(f). Let h = -1456 + r. Is h prime?
True
Suppose -3*u + 2*p = -9791, 7*u - 5*p = 4*u + 9803. Is u composite?
True
Let k be (38332/21)/(2/3). Let q = k + -1899. Is q prime?
True
Let q = 180 + -279. Let r = 173 + q. Suppose -w + r = -397. Is w a composite number?
True
Let k(f) = -f - 4. Let w be k(-7). Let x = 189 + -188. Is 2 - ((w - x) + -58) a prime number?
False
Let o be (-2*5)/(-2) - 1. Suppose o - 8 = -4*k. Suppose -3*p + 100 = 5*g - 178, 0 = p - k. Is g a prime number?
False
Let l(u) = -u**2 + 1. Let o(x) = -11*x**2 + 4*x. Let k(g) = -2*l(g) - o(g). Let n(q) = -q**2 + 7*q + 57. Let s be n(12). Is k(s) a composite number?
False
Suppose -c + 0*c + 3 = 2*t, -2*c = -t - 6. Let i(v) = 0*v + t*v - 4*v - 1 - 19*v**3 - v**2. Is i(-3) a composite number?
True
Suppose -3*f - 12137 = -6*f + 5*l, -2*f + 8098 = -5*l. Let g = -2424 + f. Suppose -7*k + g = -2*k. Is k composite?
True
Let h(x) = -20*x + 1 - 4 + 12. Suppose 0 = 4*c - 1 + 17. Is h(c) a prime number?
True
Let a be ((-21)/(-9))/((-2)/(-6)). Suppose -5*v = 5*p - 2710, -2*v + 536 = p - a*v. Is p prime?
True
Let o = -84 + 90. Suppose 0 = o*d + 306 - 822. Is d prime?
False
Let c = -245 + 252. Let p(w) = 88*w**3 - 3*w**2 + 2*w - 3. Let x be p(2). Suppose -s + x = 2*a - c*a, 4*s - 2688 = -a. Is s prime?
True
Let p = 5 + 1. Let h(k) = -k**2 + k + 1. Let x(f) = -f - 3. Let t(c) = -2*h(c) - x(c