 a prime number?
True
Suppose w - 4024 = -1481. Is w prime?
True
Is (-56)/336 + (-1109510)/(-12) composite?
False
Let r be ((-3)/4)/(4/(-32)). Let q = -6 + r. Suppose -4*p = 0, -2*t + 2*p = -q*p - 242. Is t prime?
False
Let u be (1 + -3)/(8/(-36)). Let t be -6*2/u*3. Is 81 + (-7)/((-14)/t) a composite number?
False
Let z(i) = 8*i + 2. Let b be z(-2). Let q be 628/(-6)*21/b. Suppose -q = -3*o + 224. Is o a composite number?
False
Let k(p) = 318*p + 26. Let f be k(3). Let s = -73 + f. Is s composite?
False
Suppose -o - 2 = 2*i, -5*o = -2*o + i - 9. Suppose -o*p + 3*w = -1866 - 5945, -3*p + 5*w = -5872. Is p a composite number?
False
Let y(v) = v - 8. Let j be y(6). Let u(s) be the third derivative of -37*s**4/6 - s**3/2 + 217*s**2. Is u(j) a composite number?
False
Suppose 0*g + 2*g = 4. Let q be g*15/(-20)*-2. Suppose -206 = -q*u - f, 5*f - 143 = -2*u - 10. Is u a prime number?
False
Let y(a) = -164*a + 6. Let d be y(-12). Let q = d + 637. Is q a prime number?
False
Suppose 28*y = 24*y + 15452. Is y composite?
False
Let f = 14 + -11. Let n be 457 + (-2 - -6 - f). Let w = n - 259. Is w prime?
True
Let h(n) = -n**2 - 1. Let f(k) = 116*k**3 + 9*k**2 - 4*k + 12. Let a(p) = f(p) + 5*h(p). Is a(3) composite?
False
Let i(z) = z**3 - z**2 - 16*z + 9. Let w be 2 - (7 + -5 - 10). Is i(w) a composite number?
True
Let n(v) = 237*v**2 - 31*v + 93. Is n(4) prime?
True
Suppose 2*o + 189 = 3*o. Let n = o + 22. Is n composite?
False
Suppose -3*z + 98 = -10*z. Is (-7011)/(-2) + z/28 composite?
True
Let v = 2620 + -5019. Let y = -578 - v. Is y prime?
False
Suppose -616 = -11*a + 3*a. Let j = a - 132. Let o = j - -104. Is o prime?
False
Let c = 27522 - 15325. Is c prime?
True
Let t(k) = -3897*k + 3. Let l be t(-3). Suppose 11*f - l = 8*f. Is f a prime number?
False
Suppose 2*g = -2*o + 10, o + 11 = -g + 4*o. Let n be 6/(-3)*(g - 3). Is (-1769)/(-7) + n/14 a prime number?
False
Let l be ((-6)/(-3))/(-4 - (-88)/20). Suppose l*s = 238 + 117. Is s composite?
False
Suppose 25*k = 21*k + 47956. Is k a prime number?
False
Let a = 31334 - 15151. Is a a composite number?
False
Let n(h) be the second derivative of h**4/12 + 2*h**3/3 + 7*h**2 - 6*h. Is n(-5) a prime number?
True
Suppose 5*o = 4*f + 1124 - 91, 0 = o + 3*f - 218. Suppose o + 26 = n. Is n a prime number?
False
Let r(q) = 103*q**2 - 4*q + 509. Is r(18) a composite number?
False
Let q be -10 - -9 - (2 + 1). Is (0 + 358)*(-2)/q prime?
True
Let q = 11985 - 5668. Is q prime?
True
Let n(c) = 438*c**3 + c**2 + c + 1. Let w(f) = f**3 + 2*f - 1. Let i be w(0). Let b be n(i). Let m = b - -640. Is m a prime number?
False
Let r(f) = 1160*f**2 - 69*f - 291. Is r(-4) a composite number?
True
Let m = 45036 - 17435. Is m prime?
False
Let m(r) = 828*r**3 + 3*r**2 - 4*r + 2. Let c be m(1). Suppose 985 = s - 2*q, 2*s - 5*q - 1145 = c. Is s a prime number?
True
Suppose -15453 = -5*z + 162532. Is z a prime number?
True
Let b = -112 + 161. Suppose 4*i = 5*s - 76 - 129, -2*s - 5*i = -b. Is s a composite number?
False
Is ((-510)/45)/((-2)/33) a composite number?
True
Suppose n + 9711 = 2*s, -3*n - 4868 = -s - 0*n. Is s a composite number?
True
Let p be 97*((4 - 2) + 13). Suppose -p = 21*x - 24*x. Is x composite?
True
Let a be 5 + 5/((-20)/(-12)). Suppose -12 = 4*u + 3*m, -4*u - 2*m - a = -6*u. Suppose 4*l - 2*q - 188 = 0, 2*l + u*l + 3*q - 110 = 0. Is l composite?
True
Suppose -2*s - 4*w + 2*w = 0, -s + w = 8. Is s/14 - (6 + (-3922)/7) prime?
False
Is (-5 - (-254405)/(-10))/(1/(-2)) prime?
True
Suppose -3*j + 15086 = 1349. Is j a prime number?
False
Let n be -367 + 1*12/(-3). Let l = 35 - 15. Let y = l - n. Is y composite?
True
Let t = 26 + -26. Suppose -2*c - 2*l + 2288 = -2030, t = -5*c + 2*l + 10781. Is c prime?
False
Suppose 4*c + 2*s = 6, -4*c - 2*s - 18 = -8*c. Suppose 0 = -2*h + 12 - 4, -4*m + 160 = c*h. Is m - (-2 - -2 - 0) a prime number?
True
Is (-8)/32 - (2 - (-1333)/(-4)) a prime number?
True
Let h(z) = 3*z**2 - 31*z - 16. Let w be (-1 - 1)/(32/(-240)). Is h(w) prime?
False
Let x = 85282 - 53925. Is x composite?
False
Let b be ((-54)/15)/((-12)/30). Suppose 5*x + 0 = -2*i + b, 0 = -2*x - 2*i. Suppose 0 = -x*g + 168 + 198. Is g prime?
False
Suppose 6183 = f + 2396. Is f a prime number?
False
Let z = -29 - -9. Let d be (-15)/z - (-2377)/4. Suppose 5*h - d - 60 = 0. Is h a prime number?
True
Let i = -1735 - -2624. Is i prime?
False
Suppose -77*r + 72*r + 64205 = 0. Is r a prime number?
True
Let x be (-12)/(-6)*(68 - 1). Let b = -90 + x. Suppose -7 = r - b. Is r composite?
False
Suppose 0*i + 22 = 3*q - i, 2*q + 4 = -4*i. Let y = q - -363. Is 5/20 - y/(-12) a prime number?
True
Let z be 0/(5/(15/(-9))). Suppose d - 2*d + 3 = z. Is d*7*(-10)/(-6) a composite number?
True
Let p(w) = -w**2 + 22*w + 24. Let m be p(23). Is (m/2)/((-6)/(-63084)) a prime number?
False
Let h(u) = -19*u + 4. Let k be h(-6). Let c = k - -31. Is c a prime number?
True
Let u = 7 + -6. Let r be 3/2 - 3/2. Is (-117)/(r - u) - -2 a composite number?
True
Let u be 4/(-6)*(-42)/(-28). Let a be (15 + -378)*(u + 3). Let m = 1139 + a. Is m a composite number?
True
Suppose -5*h + 56915 = 3000. Is h prime?
False
Let t be 7*((-2)/(-1) - 0). Suppose -w + 2*o = 16, -3*w + 5*o + t - 57 = 0. Is (8144/(-48))/(2/w) composite?
False
Let s(n) = 3*n**2 + 3*n + 1. Let o be s(-2). Suppose 359 + 978 = o*t. Is t composite?
False
Suppose -3*q = -2*p + 2 + 33, -p + 5*q = -35. Suppose -172 = -3*m - 2*o - 3*o, 0 = -5*o + p. Is m - ((-3 - 1) + 3) prime?
False
Let i = -1525 - -2590. Suppose 4*k - i = 1939. Is k a prime number?
True
Let b be ((-8)/(-10))/((-8)/(-20)). Let i be (-5 + b)/(3/(-2)). Suppose -327 = -y - i*y. Is y composite?
False
Suppose -2*n = 2*n + 160. Let b be (46/(-3))/(n/1860). Let v = -334 + b. Is v composite?
False
Let q(f) = f - 5. Let s be q(9). Suppose -2*x = 2*a - 690, -3*a + s*a + 1 = 0. Is x composite?
True
Let x be 3 - (-4 + 4) - -1. Suppose 0 = 2*m - x*m + 902. Suppose -5*g + m = 3*s, 3*g - 5*s = 136 + 121. Is g composite?
False
Let t(w) = 19*w**2 + 16*w + 85. Is t(-18) a prime number?
True
Suppose 5*v - n = -3539, -4 = 2*n + 2*n. Let x = 2837 + v. Is x a prime number?
True
Let l = -5983 + 9814. Is l a prime number?
False
Let b = -377 - -804. Suppose 3*x + b = 3*f + f, f = -2*x + 104. Is f composite?
True
Let v = 352 - -1587. Is v a prime number?
False
Suppose 3*t - 67 = 647. Let h = t - 132. Is h composite?
True
Suppose -7518 = -2*l - o, 3*o = -4*l - l + 18793. Is l prime?
True
Is 28/462*11 + (-9254)/(-6) a composite number?
False
Let f = -10089 - -17990. Is f prime?
True
Let n(h) be the second derivative of -23*h**3 + h**2/2 - 10*h. Is n(-4) composite?
True
Suppose 3*m = 5 + 1. Suppose 0 = 3*p - 4*p. Is 220 + (5 - (m + p)) composite?
False
Suppose 2*r = 3*w + 1968, -4970 = -5*r - 2*w - 3*w. Let b = r - 281. Is b composite?
False
Suppose 5*n - 13 = -x, 3*n + 2*n = x - 23. Let f be (336/x)/((-1)/(-27)). Suppose -642 - f = -6*o. Is o a composite number?
False
Suppose -16 = -3*h + 20. Suppose 5*a + h = a. Is (0 - (-77)/a)*-3 prime?
False
Suppose 20*n - 21118 = 18*n. Is n a prime number?
True
Suppose 5*z - 2*y = -5*y - 75, z + 3 = -3*y. Let b = z + 20. Suppose -b*q - q = -1551. Is q prime?
False
Suppose 4*l + 7*t - 4*t - 147982 = 0, -4*l + 147998 = -5*t. Is l a prime number?
True
Let c(o) = o + 1. Let f(x) = 19*x + 24. Let g(r) = 3*c(r) + f(r). Is g(16) a prime number?
True
Suppose -2*g = -4*f + 8, 0 = -4*f + 2*f - g + 8. Suppose 30 = f*j - 63. Is j a composite number?
False
Let f(g) = -52*g**2 - 2*g - 5. Let u be f(-2). Let a = -98 - u. Is a a composite number?
True
Suppose 0 = 21*i - 44124 - 87945. Is i a prime number?
False
Suppose 0 = -3*b + u + 641, 2*b - 6*b = -2*u - 852. Let o be (-1 - (1 + -3))*b. Suppose 3*l - 107 = -4*x + 116, -4*x + 5*l = -o. Is x composite?
True
Suppose -2*r - 17 + 25 = 0. Suppose 4*g - 637 = -q, r*q = -5*g - 24 + 2616. Let b = -262 + q. Is b a composite number?
True
Suppose -o + 3*o - 5*d = 33, 5*d + 9 = -4*o. Suppose 2*t + 5227 = 3*z, -o*t + 0*t + 1733 = z. Is z composite?
False
Let b = -122 - -117. Suppose 3*r = -2*r. Is (97 + r)*(6 + b) a composite number?
False
Let z(d) = 103*d**2 - d + 27. Let p be z(6). Suppose -p + 1555 = -2*f. Is f composite?
False
Suppose -6*n + 6 = -3*n. Let m = n + 4. Let q(l) = 2*l**2 - 7*l - 5. Is