 + 0. Let s be 29/((-2 - -2) + z). Is (-1)/2 - s/2 prime?
False
Let b = -190 + 11. Is 5*(b/(-5) + 3) composite?
True
Suppose 0 = -7*r + 3*r + 64. Suppose 3*a = 3*i + 2*i + 28, 3*i - 2*a = -r. Let j = 27 - i. Is j prime?
False
Is (1949/2)/((-1)/(-2)) a composite number?
False
Suppose 640 = -5*a + 2*c + 1710, 5*a + 3*c = 1070. Suppose 5*j = -w + a, -2*w - 3*j = -2*j - 410. Let g = w - -193. Is g composite?
False
Suppose -4*f + 2*f = 3*q - 2671, 5*f - 6680 = -5*q. Is f prime?
False
Let t(f) = 2*f**3 - 3*f**2 + f. Let u be t(2). Is 1388/u*(-33)/(-22) a prime number?
True
Suppose 0 = 52*c - 2427628 - 1021584. Is c composite?
True
Let h(u) = -1756*u + 9. Let y be h(-1). Suppose 3*w = 3*z + 2652, -5*w + 3*w + y = z. Is w composite?
False
Let i(m) = -4 + 0*m + 0*m**2 + 8*m + 17 + 10*m**2. Is i(-7) prime?
False
Suppose 0 = -0*y + y + 24. Is 9*-1*184/y prime?
False
Let u = 2273 - 1344. Let j = -378 + u. Is j composite?
True
Let s = -3490 + 5200. Suppose 5*n + s = 5095. Let j = -210 + n. Is j a composite number?
False
Suppose 2*p + y = 11307 - 1244, 4*y = -5*p + 25153. Is p a composite number?
True
Let w = 3142 + -2189. Is w a composite number?
False
Let z be 58626/99 + 6/(-33). Let g = z - 335. Is g a composite number?
False
Suppose u = g - 484, u - 494 = -47*g + 46*g. Is g a composite number?
True
Suppose -191 = -5*q + 2*o + 37, -5*q = 2*o - 212. Let c be ((-2)/(-3))/(-1)*-267. Let y = c - q. Is y a composite number?
True
Suppose -141151 = -10*s + 9859. Is s composite?
False
Suppose 3*s + 5*r - 26 = 0, s + 3*r - 4*r = -2. Suppose -2*z - x = -627, -s*z - 3*z - x + 1569 = 0. Is z prime?
False
Let q(d) = 8*d**3 - 4*d**2 - d + 6. Let v be 5 + 0/(-3 + -2). Is q(v) a prime number?
False
Let p(l) = -865*l**3 - 2*l**2 + 1. Let y be p(1). Let i = y - -1507. Is i prime?
True
Let x(h) = -h**3 + 2*h**2 + 9*h. Let r be x(4). Is (-4547)/(-4)*r - 0 a prime number?
True
Let h(s) = -s**3 + 2*s**2 - 12*s - 2. Let i be h(-6). Suppose 0 = 3*l + i - 1819. Is l prime?
True
Let h(o) = 73*o**3 - 5*o**2 - 7*o + 15. Is h(4) a composite number?
True
Suppose -9*v + 384 = 3*v. Let q(z) = -5*z - 1. Let x be q(-1). Suppose v + 324 = x*j. Is j a prime number?
True
Let k = 6 - 10. Let v(p) = -p**3 + p**2 - 2*p + 4. Let a be v(k). Suppose -35 = q - 2*q + 4*j, a = 3*q + j. Is q a composite number?
False
Suppose -8476 - 280 = -4*p. Suppose 4*u = l - p, -l = -4*l + 5*u + 6546. Is l a composite number?
True
Let c(t) = 5*t**2 + 5*t + 2*t**3 + 9 + 4*t**2 - 3*t - 5*t. Is c(5) a composite number?
True
Let m(f) = 339*f**2 + f - 61. Is m(5) prime?
True
Let d(c) = 56*c - 1. Let n be d(1). Let h be n - (-3 + 4 - 1). Suppose 7*b - h = 2*b. Is b composite?
False
Suppose 45*n = 395444 + 489301. Is n a prime number?
True
Suppose -4*f - f + 2785 = 5*o, -554 = -f + 2*o. Suppose 0 = 2*n + 3*v + f, 2*n - 64 = -5*v - 624. Let j = -130 - n. Is j a prime number?
False
Let u = 9 + -7. Suppose 3*t - 4*i + 7*i = 13065, -u*i + 17428 = 4*t. Is 8/28 + t/7 a prime number?
False
Let z(v) = 24*v + 7. Let p(j) = 6*j - 4. Let g be p(1). Is z(g) a prime number?
False
Suppose 2*j - 10582 = 4*w, 3*w - w - 3*j + 5285 = 0. Let s = -1608 - w. Is s a composite number?
False
Let k = 460934 + -249927. Is k a prime number?
True
Let n(s) be the first derivative of -67*s**2/2 + 18*s + 45. Is n(-7) prime?
True
Let j(k) be the first derivative of -k**4/2 - 10*k**3/3 - 3*k**2/2 + 16*k + 2. Suppose 0*v - 26 = 3*o - v, -3*o - 3*v - 6 = 0. Is j(o) a composite number?
False
Let b(a) = -4*a**2 + 0*a - 3*a**2 - 38*a**3 - 4 + 26*a**3 - 8*a. Is b(-5) a prime number?
True
Let a(m) = 25*m**2 - 26*m - 31. Is a(24) a composite number?
True
Suppose -2*r + 2*k + 6434 = 0, 9*r - 12*r - 4*k + 9637 = 0. Is r a composite number?
True
Let x = 14 + 637. Suppose 4*c - c + 3*k = x, -c - 4*k + 214 = 0. Is c prime?
False
Let d(a) = -14*a**3 - a**2 - 6*a - 1. Let t be d(-3). Suppose -b + 117 = -t. Is b composite?
False
Let m(d) = -d**2 - 5*d + 23. Let g be m(-8). Is g/4 + (-2)/8*-4277 a prime number?
True
Let q = 8 - 6. Suppose -q*n = -9*n + 1295. Is n a composite number?
True
Let s be (9/(-12))/((-3)/8). Let d be 3/6*(24 - s). Let b(f) = 2*f + 4. Is b(d) a prime number?
False
Suppose 59*r - 62*r = -17103. Is r a prime number?
True
Let a(b) = 7780*b**2 - 5*b + 38. Is a(3) prime?
False
Let y = -1171 + 2930. Is y a prime number?
True
Let q(d) = -d**2 - 2*d + 8. Let n be q(-4). Suppose -14*f + 5*f + 6066 = n. Is f prime?
False
Suppose 0 = k - 3*m + 6, -4*k + 2*m + m = -3. Suppose -5*l + s + 1322 = -k*s, -12 = 4*s. Is l composite?
True
Let k(g) = 978*g - 115. Is k(12) prime?
True
Let m = -14907 + 34826. Is m prime?
True
Is (4 - 208/56) + (-386550)/(-14) a prime number?
True
Suppose 3*m - 78232 = -4*v, -9*v + m + 58687 = -6*v. Is v a composite number?
True
Let u(g) be the first derivative of -g**2/2 + 13*g - 1. Let c be 0/((-16)/56*-7). Is u(c) prime?
True
Suppose 20*v - 147991 = v. Is v a prime number?
True
Suppose -5*g + 3*t + 15 = 0, -9 = -3*g - 3*t - t. Suppose -2*w = -g*w + 2*l + 12, l + 1 = -2*w. Suppose w*y - 415 = -3*y. Is y prime?
True
Suppose 0 = 5*y + 514 - 1779. Is y a prime number?
False
Let v = 78782 + -35791. Is v a composite number?
True
Suppose 5*g + 23481 = 14*g. Is g prime?
True
Let o(v) = 177*v - 1. Let y be o(-2). Let m = -50 - y. Is m a composite number?
True
Is 8830908/1353 - (-1)/11 composite?
True
Let n = -3126 - -6419. Is n composite?
True
Suppose -304 = -6*c - 2*c. Suppose 36*v = c*v - 10454. Is v a prime number?
True
Let w(i) = 9*i**2 - 12*i + 2. Let y(t) = 10*t**2 - 12*t + 1. Let p(k) = 6*w(k) - 5*y(k). Is p(5) composite?
False
Suppose -2*j + 19 = -4*v + 45, 3*j - 21 = -4*v. Suppose q + 1575 = v*q. Suppose -3*r + r = -5*o - q, -5*o = -r + 160. Is r a composite number?
True
Suppose 18 = -0*b + 5*b + 2*n, 12 = 4*b + 4*n. Suppose 2*j + 10 = -3*z, b*j - 5 = 5*j. Suppose z = 5*q + 139 - 474. Is q composite?
False
Let d(v) = 195*v**3 + 6*v**2 - 19*v + 11. Is d(3) composite?
False
Suppose -5*t = -3*a - 2933, 101*t - 5*a = 100*t + 591. Is t prime?
False
Let o = -1591 + 3377. Suppose 3*g = -o + 4909. Is g a prime number?
False
Let a(u) = 58*u + 11. Is a(18) composite?
True
Let q(v) = 6*v**3 + 7*v**2 - 3*v - 3. Let j be 0 - (-1)/(2 + (-9)/5). Is q(j) a prime number?
True
Let n be (1 - 0) + 2 + -1. Let s(d) = 4 + 22*d**2 - 12 + 10 - 3*d - 1. Is s(n) a prime number?
True
Let g(f) = 6*f**3 - 28*f**2 + 60*f + 2. Is g(20) a composite number?
True
Let m be 308/5 - (-2)/5. Let x(n) = n**3 + 22*n**2 - 76*n - 56. Let s be x(-25). Let c = m + s. Is c a composite number?
False
Suppose -4*x = -0*x + 520. Let g = 82 + x. Let v = g - -125. Is v composite?
True
Let w be 2460*(-23 + 27)/(1/1). Suppose w = 3*a + 5*v - 8*v, 3*a + 2*v - 9825 = 0. Is a prime?
False
Suppose -32*r + 28*r = -2*y + 61258, -5*y + 153153 = -2*r. Is y a composite number?
False
Is (29626/4)/((-2)/(-4)) prime?
True
Let n = 52 - 10. Suppose h - 135 + n = 0. Is h composite?
True
Let b(o) = 877*o - 111. Is b(8) a prime number?
False
Suppose 0 = -7*p + 6*p - 321. Suppose 0 = 4*a + 3*t - t - 2490, -6 = 2*t. Let u = p + a. Is u a prime number?
False
Let q(a) = a**2 - a + 319. Suppose o - 2*o + 6 = 0. Let u = 6 - o. Is q(u) a composite number?
True
Let o = -23 - -33. Is (-10)/(-4)*1052/o composite?
False
Let z(r) = 12*r**2 + 6*r - 5. Suppose -3*y + 8 = -2*y. Let p be (-40)/(-15)*12/y. Is z(p) composite?
False
Suppose -2*j + 35 = 5*j. Let f(r) = -5 - j*r**3 + 14*r**3 + 20*r - 8*r**3 - 19*r**2. Is f(18) composite?
False
Suppose -2*h + h = -361. Let m = h + 166. Is m a composite number?
True
Suppose 4*n = 2*n. Let q be 8/(1*(n - 1)). Let f(r) = r**3 + 8*r**2 - 2*r + 3. Is f(q) a composite number?
False
Let i = 6560 - 3771. Is i a composite number?
False
Let x = -12 + 18. Suppose x*d - 140 = 2*d. Is d a prime number?
False
Suppose 2*r = c - 37, -2*c - 4*r + 56 = r. Suppose 3*f = 116 - 38. Let q = c - f. Is q composite?
False
Let q(v) = 4*v + 14. Let c(h) = -3*h - 14. Let y(g) = -3*c(g) - 2*q(g). Let o be y(-10). Suppose 3*b - m = -0*m + 1561, 16 = -o*m. Is b a prime number?
False
Let d be (-6)/2 + (-8 - (4 - -156)). Suppose -4*k - 5*g = -995, -2*g = 3*k + k - 998. Let z = k + d. Is z a composite number?
False
Suppose 4*i = -x - 41, 0*i + 2*i + 58 = -2*x. Let g be ((-370)/x)/(1/25). Let m = 669 -