= 5*r - 11222 - 5529, -2*r = -4*p - 6706. Is r a prime number?
False
Let m be 1/(1/4) + 2. Is 3/m + (-765)/(-10) composite?
True
Let p(x) = -80*x**2 - 2*x - 47. Let c(w) = -40*w**2 - w - 23. Let o(j) = -13*c(j) + 6*p(j). Is o(-6) prime?
True
Suppose 0 = a + 3*a - 1916. Let v = a + 84. Is v composite?
False
Suppose 4*r = y + 8967, r - 8958 = -3*r - 2*y. Suppose -3*j + 1164 = -r. Is j prime?
False
Suppose g - 5*c + 3038 + 1524 = 0, 4*c - 4559 = g. Let k = -2344 - g. Is k prime?
True
Suppose -3*t = j - 4*t - 39188, -195952 = -5*j + t. Is j a prime number?
True
Let a be (1*-3369)/(1 + -2). Suppose 4*w = -4515 - a. Is w/(-11) + 8/(-44) a composite number?
False
Suppose -o + 1 = -2*o. Let x(f) = 193*f - 1. Let c(a) = -1. Let b(g) = 3*c(g) - x(g). Is b(o) prime?
True
Let n(p) = -1187*p - 401. Is n(-29) composite?
True
Suppose 14*u - 62257 - 160777 = 0. Is u a composite number?
True
Suppose 5*b + 3*x = 12, 7*b - 19 = 2*b + 4*x. Is (b - 13)/2*(-169 + 2) composite?
True
Suppose 43*v - 2*p - 3345 = 38*v, -4*v + 4*p + 2664 = 0. Is v prime?
False
Let q(v) = 3*v**3 - 51*v**2 + 25*v - 8. Is q(19) composite?
False
Let f(z) = z**2 + 8*z + 4. Let u(b) = -3*b**2 - 23*b - 12. Let i(h) = 17*f(h) + 6*u(h). Let n be i(-3). Is 298/(-6)*21/n composite?
False
Let w(n) = -3*n + 11. Let x(q) = -8*q + 33. Let o(d) = -11*w(d) + 4*x(d). Is o(4) a prime number?
False
Let z be -11 + (-12)/(-3) + 0. Let g(m) = 19*m**2 + 8*m + 14. Is g(z) a prime number?
False
Let c(d) be the second derivative of 2*d**4/3 - 2*d**3 - 31*d**2/2 - d. Is c(-10) a prime number?
False
Is (-8)/(-24)*2 - (-11395)/3 prime?
False
Let k = -3636 - -8183. Is k a prime number?
True
Suppose 0 = 2*b - 3*h - 96313, 4*h - 7 = 5. Is b a prime number?
False
Suppose 0 = -5*g + 3*l + 67, 0*g - 4*l - 38 = -2*g. Suppose 5*t - g = -2*r - 2, 2*t + 4*r = 10. Suppose 2*z - 9 = t, -5*z + 202 = w. Is w a composite number?
True
Suppose -3*u = 6, -4*c + c + 4753 = -2*u. Is c a prime number?
True
Suppose 78729 = 14*f - 84749. Is f a prime number?
True
Is 2355 + -3 + 2 + 7 composite?
True
Let l(n) = -2*n - 7. Let x be l(-5). Suppose 3 = -0*a + x*a. Is (-633)/(0 - 3)*a a prime number?
True
Suppose p - 5*p = -16. Suppose -2201 = 5*d + g - 14671, p*g + 20 = 0. Is d a composite number?
True
Let j(u) = 580*u**3 + u**2. Let k be -3 + (28/4)/1. Suppose -5*s = -k*s - 1. Is j(s) prime?
False
Suppose 0 = -5*d - 2 + 12. Is ((-2948)/12 + -7)*(-3)/d prime?
True
Let i(d) = 121*d - 40. Is i(7) a prime number?
False
Let l(k) = 4*k**2 - 1. Let p(i) = -i**2 - 3*i + 1. Let f be p(-3). Let s be l(f). Is -2*(s - 1028/8) a prime number?
True
Suppose s - 16 = 5*s. Let n be (-18)/s - 9/(-18). Let g(h) = 11*h**2 - 3*h - 1. Is g(n) a composite number?
True
Suppose 0 = 5*o - 3*o - 14. Let t = o - 6. Is t - (-3 - (25 + 2)) prime?
True
Let c = 15882 + -10579. Is c a prime number?
True
Suppose 778 = 4*o + 5*w, -5*o + w + 989 = -w. Let u = -138 + o. Is u composite?
False
Is (-89)/(39/(-3341)*3/9) composite?
True
Let t(w) = -3*w**3 - 10*w**2 + 15*w - 49. Is t(-10) prime?
True
Let h = 12191 - -22562. Is h prime?
False
Suppose 1 = 2*i - 3*i. Let z be (i + (-1)/(-2))*-78. Is 6/z - 4821/(-13) prime?
False
Let s be (1 - (-368)/(-20)) + 3/(-5). Let m(q) = q**3 + 20*q**2 + 21*q + 23. Is m(s) composite?
False
Let j(m) = -m**3 - m**2 + 2*m - 15. Let g be j(0). Is 3/(g/5) - -4494 a composite number?
False
Suppose 2*w - 151 = 225. Let d = 1258 + -723. Let l = d - w. Is l prime?
True
Let r(m) = m**3 - 7*m**2 - 8*m + 6. Let p be r(8). Let n(l) = -4*l + 8*l**2 + 1 + 4*l**2 - 11*l**2 + 3*l. Is n(p) a composite number?
False
Suppose v - 1 = -2. Is v/(1/(-19 + -2)) a composite number?
True
Let s = 159 - 107. Let g = s + 1. Is g prime?
True
Let r be (10 + -6)*(-8057)/(-4). Suppose -2*d - 5*d = -r. Is d composite?
False
Let z be ((-22314)/(-12))/(1/2). Suppose 3*s - 4*i - z = -1001, 0 = -4*s - i + 3624. Let m = s - 437. Is m composite?
True
Let o(i) = i**2 + i + 2. Let k be o(-4). Suppose 3*p = p - 16. Is p/(-28) + 2838/k a prime number?
False
Let u = -1 - -1. Let i(f) = f**2 - 22*f + 23. Let k be i(21). Suppose u = k*t - 167 - 51. Is t a prime number?
True
Let m be 9 - (5 - 3/1). Suppose -9*z + m*z - 3284 = 0. Is 1/(4 + 6566/z) a prime number?
True
Let n(z) = -798*z - 4. Let j be n(-1). Is 0 - (-5)/(10/j) prime?
True
Suppose 0 = -18*m - 26*m + 479380. Is m a prime number?
False
Let r be 3 + -5 + 3 - 3 - -7. Is (-15183)/(-105) + 2/r a prime number?
False
Is 4 + 2 + 10455/15 a prime number?
False
Suppose 0 = -3*z + 4*d + 5841, -4*z = 2*d + 3304 - 11070. Is z composite?
True
Let c(q) = q**3 + 10*q**2 + 10*q + 11. Let h be c(-9). Suppose h*a - 120 = -3*w - 0*w, -187 = -3*a - w. Suppose -d = 2*d - a. Is d composite?
True
Let l(g) = -29*g + 18. Let f be l(-16). Suppose -4*o + f = -4114. Is o a composite number?
True
Let b(v) = 4*v**3 + 12*v**2 - 16*v - 11. Let d(t) = -t**3 - 3*t**2 + 4*t + 3. Let m be -1 - 2 - (-1 - 0). Let c(r) = m*b(r) - 9*d(r). Is c(6) composite?
True
Let j(o) be the second derivative of 337*o**3/6 - 4*o**2 + 19*o. Is j(1) a prime number?
False
Suppose 0 = -k + 1, 0*b - 4*k - 5860 = -2*b. Let n = 5033 - b. Is n a composite number?
True
Let d = 0 - -3. Suppose -2317 = -4*f - d*f. Is f prime?
True
Suppose -37 = -6*a - 7. Suppose 4*f + 20 = 0, a*b + f - 4*f = 170. Is b composite?
False
Let p(g) = -180*g**3 + 5*g**2 + 4*g + 13. Is p(-4) a composite number?
False
Is -8*-3*1/4 - -9271 composite?
False
Is 4042/235*(-5)/(-2) a prime number?
True
Let m = -13 + 13. Let u be (-3 + 3 - m) + 13. Let d = u + -3. Is d prime?
False
Let z be (-7721)/(-35) - 2/(-5). Suppose -95 - z = -4*g. Is g composite?
False
Is 1/8 - 268918/(-208) composite?
True
Suppose -3*r = 12 + 6. Let g(c) = c**3 + 9*c**2 + 4*c - 2. Let t be g(r). Suppose 2*s = -t + 230. Is s prime?
False
Let g be (0 - 1)*(-1)/2*30. Is 734 + g/3 + (-2 - 0) a prime number?
False
Let q(m) = -1196*m + 95. Is q(-7) prime?
True
Let v be 6 - (6/7)/((-9)/(-42)). Suppose -5*m - 6242 = -r, -v*r - m + 12493 = -2*m. Is r composite?
False
Let y(q) = -1146*q - 98. Is y(-6) composite?
True
Is ((-132735)/35 + (-8)/14)*-1 composite?
False
Let k be (-3)/((-48)/28)*-4. Let m = k + 16. Is -1 - (m*98)/(-3) prime?
True
Suppose 2*k = -5*k. Suppose k*l - 2*l = 0. Suppose -251 = -b - 4*s, l*s + 5*s = -15. Is b prime?
True
Is -16 + (-81696)/(-30) - (-1)/(-5) prime?
True
Suppose 5*l + 19520 = 5*m, 3*m - 3*l + 7783 = 5*m. Is m composite?
True
Suppose -18*r = -7*r - 33847. Is r a prime number?
False
Suppose 2*p = 3*p + 8. Let t(l) = -16*l - 17. Is t(p) a prime number?
False
Let j be (-6 - 0)*(1 - (-2)/(-3)). Is 7/((-14)/(-258)) + j a prime number?
True
Let l = -111 - -65. Let z = 96 + l. Suppose 2*m + 2*k - 344 - z = 0, 593 = 3*m + 2*k. Is m a prime number?
True
Suppose 0*q = -3*q + 912. Let o = -93 + q. Is o a prime number?
True
Let z(f) = -f**3 - f**2 + f + 13649. Is z(0) prime?
True
Let f = -13 + 18. Suppose -q - f*q + 186 = 0. Is q a composite number?
False
Let s(c) = -5*c**3 + 3*c**2 - 23*c - 21. Is s(-10) a prime number?
False
Let a(p) be the first derivative of p**4/4 + 5*p**3/3 - 3*p**2/2 - 8*p - 5. Let f be a(-5). Let w(d) = d**2 - 6*d + 4. Is w(f) a prime number?
True
Let f be (-3 + 6 - -1) + -509. Let o = 1002 + f. Is o prime?
False
Suppose -6*i = -15 - 15. Suppose 2589 = v + i*x, -612 + 3233 = v - 3*x. Is v a prime number?
True
Suppose -3*b = -4*z + 94, -5*z + b - 3*b = -129. Suppose -5*q + z = 0, 0 = 2*x - 0*x + 4*q - 858. Is x a composite number?
False
Suppose 4733 = 3*g + 3*b - 2*b, 4*b - 3152 = -2*g. Suppose 2*r - 817 = -p, 3*r + 1679 + g = 4*p. Is p a prime number?
False
Let r be (-93)/(-13) - (-12)/(-78). Let b(f) = f**3 - 8*f**2 + 7*f + 1. Let g be b(r). Let n = 35 - g. Is n prime?
False
Let k(j) = 159*j**2 + 4*j - 6. Let t = -7 - -12. Is k(t) a composite number?
False
Let v(s) = 9*s**2 - 35*s - 67. Is v(-15) composite?
True
Suppose -3*a = -4*b - 0*a + 48, a - 4 = 0. Suppose b = 4*q + q. Suppose -q*r = -5*u + r + 3497, r + 1400 = 2*u. Is u a prime number?
True
Let b(m) = 101*m**2 + 8*m + 45. Let l be b(-8). Is l/17 - (-6)/(-51) a composite number?
False
Let y(o) = 12*o**2 + 2*o - 417. Is y(-62) prime?
True
Let d be ((-15)/2)/(7/14). Is (-4015)/d*(0 + 3) prime?
False
Suppose -n = 3*n - 8. Suppose 17 = w - n*p - p, -2*w - 10 = 5