osite number?
True
Let w(c) = -279*c + 164. Is w(-13) a prime number?
False
Suppose -1340 - 6365 = -5*o. Is o prime?
False
Let r(i) = -12*i**3 - i. Let g be r(1). Let z = g - -9. Is 395/5 + 2 - z composite?
True
Is (25/25)/((-2)/(-3314)) prime?
True
Let a = -815 - -371. Suppose -2031 = -6*m + 3*m. Let w = a + m. Is w composite?
False
Let w(k) = -k**2 + 8*k. Let o be w(8). Suppose -s + 3*c - 4*c + 2466 = 0, o = -2*s - 3*c + 4935. Is s a prime number?
False
Suppose 3*j + 3*r = 4557, 2*j - 2*r = 394 + 2624. Is j composite?
True
Suppose 2*i + 41 = -4*q + 7*q, -3*i + 100 = 5*q. Suppose 16*c = q*c. Suppose 2*t - 5*a - 164 = c, 83 = t - 0*t - 3*a. Is t a composite number?
True
Suppose 103 = 8*h - 49. Suppose 51 = 5*f - h. Is f a composite number?
True
Let g = 1013 + -1724. Let d = g - -1018. Is d prime?
True
Suppose 3*w = -q + 2*w + 675, -w + 3391 = 5*q. Is q a composite number?
True
Suppose -57*t - 23145 = -52*t. Is (-7)/28*(t - -1) composite?
True
Let w = -473 - -334. Let s = w + 71. Let d = s + 157. Is d a composite number?
False
Is 315/945 - (34336/3)/(-2) prime?
False
Let b = -18 + 20. Suppose 3*j = -2*p + 1 + 6, -b = 5*p + j. Let f = 3 - p. Is f a prime number?
False
Suppose -469*l + 461*l = -261336. Is l a prime number?
False
Let p = 4772 + 5489. Is p prime?
False
Let k be (-4)/8*6/(-3). Let x be (-5 + -666)*k/(-1). Suppose -3*m - h = 4*h - 1008, x = 2*m + 3*h. Is m composite?
False
Let o be (-34 - 2)*1*1. Let w be (-8)/o - 32/(-18). Suppose 20 + 42 = w*g. Is g composite?
False
Let p = 13 - 13. Let h be ((-3)/6)/(1/(-84)). Suppose 3*c - 115 - h = 4*z, p = -z - 1. Is c composite?
True
Let d(b) = -1 - 2 - 4*b - 4*b**2 + 2*b + b**3 - 3*b. Let r(m) = -4*m - 6. Let a be r(-3). Is d(a) a prime number?
False
Let k = 4610 + -2041. Is k composite?
True
Suppose -2*u - 4*m = 2, -5*u - 3*m = -0*u - 9. Let y be 2021 - (0 - (-3)/u). Is (y + -4)/4 - 3 composite?
True
Suppose -3*w + 3*n - 5361 = 0, 3*n - 3573 = -w + 3*w. Is (w/(-16))/((-6)/(-56)) a composite number?
True
Let a = -31 - -19. Let k be (-6)/5*20/a. Suppose -k*c - 1495 = -5097. Is c prime?
True
Suppose 10446 = 4*f - 5*g, 2*g + 1367 - 3972 = -f. Is f a prime number?
True
Let j(c) = -c**3 + 9*c**2 - 11*c + 10. Let k(m) = m - 2. Let p be (-9)/(-3 + 2 + 0). Let v be k(p). Is j(v) a composite number?
False
Suppose 3*i = 17 + 7. Suppose -3*j + 69 = -i*x + 4*x, 2*x + 2*j = -38. Is 4/18 - 2030/x composite?
False
Is (-2 - -1)*63203/(49/(-7)) composite?
False
Let v = 1053 + -652. Is v composite?
False
Suppose 3*v - 2098 = 1214. Suppose 5*z = -5*b + 2*b + 1650, -2*b - 2*z = -v. Suppose -214 = -2*p - 2*q, -5*p + 2*q + b = -3*q. Is p a composite number?
False
Suppose 4*m + 2*m - 25818 = 0. Is m prime?
False
Suppose 0*g = -0*g - 2*g. Suppose 0 = 3*f, -o + 55 = -g*o - 2*f. Is o a prime number?
False
Let p(f) = f**3 - 3*f**2 + 2*f. Let t be p(2). Is 33/(-11) - (t - 134) composite?
False
Suppose 6*t - 1317 = -5*j + 2*t, -3*j + 2*t = -799. Is j prime?
False
Let l(k) = -1049*k - 16. Is l(-13) a composite number?
True
Suppose 1972 = u + u. Suppose 0*o - 2*o + u = 0. Is o prime?
False
Let k(b) be the second derivative of b**4/4 + 2*b**3 + 3*b**2 + 5*b. Let i be k(-8). Suppose -3*t = -t - i. Is t prime?
False
Suppose 7*a = 10*a - 15, -4*q + 889 = a. Is q composite?
True
Is (-47 - -49)/(2/111043) a prime number?
True
Suppose -2*y + 3*l = -907, -7*l = 2*y - 2*l - 883. Is y a composite number?
False
Is (-54111)/(-34) - ((-5)/2 - -3) a composite number?
True
Suppose -15*u = -24*u + 70803. Is u prime?
True
Suppose 11*r - 50360 = 7*r - 4*b, -62942 = -5*r + 3*b. Is r composite?
False
Suppose -2*q + 37 = q - 4*v, -4 = -q + 3*v. Is q composite?
False
Let h = 9 + -4. Suppose -j + 0*i + 24 = -h*i, j = -i. Suppose -4*z + 0*f + 5*f + 270 = 0, -2*z = -j*f - 138. Is z prime?
False
Suppose -l - y + 14217 = -0*l, -5*l + 71125 = -5*y. Is l a composite number?
False
Suppose 6*n + 3*s = 3*n, 5*s + 32 = 3*n. Suppose -3*i + 1550 = n*b, i = 5*i - 4*b - 2048. Is i a prime number?
False
Suppose 3068*u - 3074*u + 59502 = 0. Is u prime?
False
Let p(t) = 3*t**2 + 2*t - 13. Suppose -r = 4*k - 4, -r + 4*k = r - 32. Is p(r) composite?
False
Suppose d = z + 2206, 1838 = 3*d - 4*z - 4782. Suppose q = -3*q + d. Is q prime?
False
Let b(p) = 3*p**3 + 153*p**2 - 21*p + 14. Is b(-47) prime?
True
Suppose 7*s - 8*s - 8 = 0. Let p be 3*1*(13 + s). Suppose -3*o = -p, 0*m = -m - o + 120. Is m prime?
False
Let f(n) = 168*n - 13. Let v(c) = -4*c + 53. Let g be v(13). Is f(g) a prime number?
False
Let c(g) = 166*g**3 - 5*g**2 - 2*g + 1. Let r be c(-3). Is ((-2)/(-5))/((-8)/r) a composite number?
True
Suppose -537228 = 2*o - 38*o. Is o composite?
False
Suppose 0 = -54*r - 3*r + 1960971. Is r a composite number?
False
Let z(m) = 436*m**3 + 4*m - 3. Let t = 62 + -60. Is z(t) a composite number?
True
Suppose -a - 454 - 594 = 0. Let v = 1491 + a. Is v a prime number?
True
Let y = -12 - -12. Suppose y = -4*t + 4978 + 4630. Is t composite?
True
Suppose 2*g + 2*g = 1260. Suppose 2*a - 4*j - 126 = 0, -a + 6*a - 4*j = g. Suppose -p + 125 = 2*q, 2*p = -2*q + 193 + a. Is p composite?
False
Let v be 2/(7/(14/4)). Let z be v/4 - (-11)/4. Suppose 204 = z*f + 3. Is f prime?
True
Let s = 17596 + -2343. Is s a composite number?
True
Is 13441/(((-16)/(-6))/(-8)*-3) composite?
False
Let l(g) = 5259*g**2 - 81*g + 251. Is l(3) prime?
True
Suppose -9*l + 2385 = -4*l. Suppose -3*y + 147 = -l. Is 5*(-2 - y/(-10)) a prime number?
False
Suppose -2*g - g = 57. Let q = g - 26. Let w = 172 + q. Is w composite?
False
Suppose 6*c = 1741 - 367. Let x = 620 - c. Is x prime?
False
Let i = 10 + -43. Let l = 370 + i. Is l composite?
False
Is ((-23)/69)/((-2)/65106) prime?
False
Let o = 8 + -5. Suppose -4*k = v + 2*v - 89, o*k = -v + 38. Is v prime?
True
Suppose 0 = -0*x + 3*x + 2*t, -5*t + 15 = 0. Is (x*3715/10)/(-1) composite?
False
Suppose 7 = -4*t + 15. Suppose 0 = -4*k + t*f + 2448, 3*k + f = 527 + 1314. Is k a prime number?
True
Let x(r) be the third derivative of r**6/120 + 17*r**5/60 - r**4/12 + 5*r**3/6 + 7*r**2. Let n be x(-11). Suppose 0*y = -3*y + n. Is y a composite number?
False
Suppose 8*i + 18*i - 9906 = 0. Let d = 3 + 1. Suppose -d*j = -j - i. Is j a prime number?
True
Let i be (-80)/(-35) - (-4)/(-14). Suppose q + 50 = 5*l, q + 0*l + 38 = i*l. Let r = 53 - q. Is r composite?
False
Suppose -3*y + 28 = 2*a, 2*y = 4*y - 8. Suppose a*g = 6*g. Suppose g = u - 349 + 138. Is u prime?
True
Suppose 3*y - 6 - 9 = 0. Suppose -1238 = -4*w + y*w. Let b = w - -1873. Is b a composite number?
True
Let j be (1*-1)/(-7 + 8). Is -2 - (0 + j - (2394 - -14)) a composite number?
True
Suppose -3*a + 1747 = 418. Is a prime?
True
Let u be (-2)/(2*(-4)/20). Suppose -15 = u*q + 5. Is (-1*2)/(q/174) composite?
True
Suppose 3*c + 4*a - 14603 = 0, 27*c + 4*a = 30*c - 14563. Is c a composite number?
False
Suppose -2*p + 3*p = -t - 80, -235 = 3*p + 2*t. Let y = p + 278. Is y a composite number?
True
Let v(s) = s**3 + 10*s**2 + 7*s - 13. Let r be v(-9). Suppose -z = q - r, z - 10 = q - 3*z. Suppose -m - 58 = -a - 5, m = -q. Is a a composite number?
True
Let r be (-3)/1*56/(-42). Is (1 - 83715/(-10)) + (-6)/r a prime number?
False
Let s(f) = -5*f**3 - f**2 + 3*f + 10. Let t = -24 + 17. Let g be s(t). Suppose 5*y - d - 4*d - g = 0, 0 = -2*d. Is y a composite number?
False
Let j(w) = -4*w - 6 + 5*w + w**2 + 4 + 13*w**2. Suppose 3*f + 5*y = 2 + 27, 16 = 4*y. Is j(f) a composite number?
False
Suppose -6*v + r + 5 = -2*v, -2*r = 3*v + 10. Let z be (331/4 + v)*4. Let d = z + 340. Is d prime?
False
Let v = -35 - -40. Suppose 5*u = -4*y + 1499, 0 = -3*y + v*u + 957 + 211. Is y a prime number?
False
Suppose 5*n = 4*r - r + 11300, 2*n + 5*r = 4489. Is n composite?
True
Let z(d) = 316*d + 1. Let w be 0*4/16 - (-2 + 1). Is z(w) a composite number?
False
Let s(n) = 73342*n**2 - 2*n - 1. Is s(1) prime?
False
Suppose 4*s - 11 = -3*v, s - 2*v + 0 = 11. Suppose s*u = 3*x + 1978, u - 4*u = 3*x - 1182. Suppose -610 = -5*g + u. Is g prime?
False
Let u(i) be the third derivative of 53*i**6/120 - i**5/60 - i**4/24 + i**3/6 - 10*i**2. Is u(2) prime?
True
Let c be (-2584)/24 - (-1)/(-3). Let m = -175 - c. Let q = m + 104. Is q a prime number?
True
Let a = -27397 - -47866. Is a prime?
False
Let c(i) = -41*i + 4. Let p(s) = 83*s - 7. Let