 p a composite number?
True
Let c be (3/(-12) - 0)*-4*3. Suppose c*l = 5*f + 6984, 0 = -4*l - 4*f - 0*f + 9344. Is l prime?
True
Let i(h) = -4*h**2 + 12*h - 3. Let m(u) = u. Let a(n) = -4*n**2 + 9*n - 2. Let c(v) = a(v) + 4*m(v). Let d(w) = -6*c(w) + 5*i(w). Is d(13) a prime number?
True
Suppose 3*o = 2*u - 3*u - 8, 0 = -u - 2. Let p = 0 - o. Suppose -6*i = -p*i - 232. Is i prime?
False
Let p(w) = w**3 + 20*w**2 + w + 20. Let f be p(-20). Suppose 3*c - 7 + 43 = f. Is 2*21/c*-94 a prime number?
False
Suppose -z - 4*n - 10 = -2*n, -4*z - 20 = 4*n. Suppose -4*p + 126 + 94 = z. Is p a prime number?
False
Let d(m) = m**2 - 3*m - 2. Let o be d(2). Is (-2633)/(4 + o - 1) a composite number?
False
Let w(t) = 9280*t**2 + 2*t - 1. Is w(-1) prime?
True
Let a = -66 - -66. Suppose a = 12*u + 1575 - 8643. Is u a prime number?
False
Let d(l) = -l**3 + 4*l**2 - 3. Let s be d(4). Let c be (1 - 3)/(s + 2). Suppose -c*w = 3*x - 101, -3*w + 5*w = x - 47. Is x composite?
False
Let d(g) = 280*g - 3. Let f be (-1)/(2/(-5 - 3)*1). Is d(f) prime?
True
Let t(r) = -6*r - 1. Let q be t(2). Let k = -327 - -261. Let l = q - k. Is l a prime number?
True
Let v(z) = 18*z**2 + 45*z - 152. Is v(-35) prime?
True
Let l be 189/(0 - 3/(-2)). Let t = l + 853. Is t composite?
True
Let t = -146 - -238. Let a = t - -483. Suppose -4*s - 2*z = 2*z - 568, 3*z + a = 4*s. Is s composite?
True
Let i = 740 - 1562. Let v = i + 543. Is -1 + 5 - (-24 + v) a composite number?
False
Let s = -24 + 26. Suppose -6*b + g - 10 = -3*b, -s*g = 5*b + 13. Is (-4 - (-170 + b))*1 a prime number?
False
Suppose 543625 = 61*u + 199646. Is u a composite number?
False
Let k(j) = 10*j**2 + 2*j - 17. Suppose 20*g - 21*g - 6 = 0. Is k(g) a composite number?
False
Suppose -15 = -0*q - 3*q. Suppose 159 + 136 = q*j. Is j a prime number?
True
Is 59157/39 + (-32)/(-208) a composite number?
True
Suppose -l = -3*i - 3*l + 2100, -5*l + 3500 = 5*i. Suppose p = -4, -i = -4*v + 4*p - 7*p. Is v prime?
False
Let g(d) = -93*d - 9. Let k be g(-10). Suppose k = -0*a + 3*a. Is a composite?
False
Let p(z) = z**3 + 33*z**2 + 13*z + 49. Let g be p(-20). Suppose -5*k + 4*o = -4569, -g = -4*k - o - 1317. Is k composite?
True
Let s(i) = -i**2 - 17*i - 28. Let y be s(-14). Let k = y - -1173. Is k a composite number?
False
Is -6*28/21 - -42795 prime?
True
Let y be 0 - ((-436)/(-8))/(2/(-36)). Let z = y + 490. Is z a composite number?
False
Let v(y) be the third derivative of 0*y + 1/12*y**4 - 7/6*y**3 + 0 + 4*y**2. Is v(13) composite?
False
Let j(b) = 196*b**3 - 5*b. Is j(3) prime?
False
Let d(m) = -m**2 + 20*m - 8. Let f be d(20). Let q(u) = -5*u + 3. Is q(f) a composite number?
False
Suppose -2*q - 3*x + 4*x = -3856, x = -2*q + 3852. Is q composite?
True
Let c(j) = j**3 + 6*j**2 - 78*j - 30. Let x be c(-12). Suppose 5*m + 0 - 5 = -3*t, -30 = -4*t + 5*m. Suppose 293 = t*d - x. Is d a composite number?
False
Suppose 18 - 6 = -2*t. Let h be (-56)/t*3 - 0. Suppose -4*r - 90 = -5*v + h, v - 23 = r. Is v composite?
True
Let n(q) = -148*q - 35*q - 1 - 285*q. Let u be n(-1). Is u/7 - 4/(-14) composite?
False
Let w = 299 - -665. Let d = w - 258. Is d a composite number?
True
Let r be 2 + 10/5 + -3. Let n = 21 + r. Is n composite?
True
Suppose -3*n + 0*n - 5*g = 13, 3*g + 10 = -4*n. Let j(a) = 97*a**2. Is j(n) a prime number?
True
Is 242240/10 + 9/3 prime?
False
Is (-10)/35 - ((-467529)/21 + 4) a prime number?
True
Let l = 35 + -41. Is 7020/28 + l/(-21) a composite number?
False
Let n = 13 + 9. Let z = 31 - 31. Suppose z*h = -h + n. Is h a composite number?
True
Let h(z) = 10*z - 12. Let q be h(2). Is 4/q*6 - (-1109 - -1) a prime number?
False
Let m be ((-262)/4)/(2/(-12)). Suppose -521 - 184 = 3*o. Let p = m + o. Is p prime?
False
Let i = 14 - 4. Let j be ((-3)/3)/(5/i). Is 178 - (j/1 + 2) composite?
True
Let b(l) = -2*l + 16. Let n be b(-11). Let x = -10 + n. Suppose -4*h = 2*m - x, 0*h - 8 = -2*m + h. Is m composite?
True
Let a(n) be the third derivative of -53*n**4/24 - 7*n**3/2 - 34*n**2. Is a(-4) prime?
True
Let v = 7456 - 3129. Suppose -4*m + 3045 + v = 4*n, -3*m - 2*n = -5533. Is m a prime number?
True
Let a = 29485 - 12794. Is a prime?
True
Suppose 3*a = -3*s + a - 8, -4*s + 3*a = 22. Is 3 + 113 + -3*s/(-12) a composite number?
True
Let q = 232 - -399. Is q composite?
False
Let u(f) = -f**3 + 6*f**2 + 3*f - 5. Let o(y) = -y**3 + 4*y**2 - 3*y + 8. Let q be o(4). Is u(q) prime?
False
Suppose 0 = -4*d + 8*d - 544. Let y = -65 + d. Let b = y + -38. Is b a composite number?
True
Let z = 689 + 457. Is ((-6)/(-18))/(1/z) a composite number?
True
Is (12/8)/(27/249138) composite?
False
Is (-16944)/(-5) + 3/(-15)*-1 prime?
True
Suppose 10*a - 8942 - 23108 = 0. Is a a composite number?
True
Let u = 1732 - 483. Is u a composite number?
False
Let w = 83 + 51. Is w composite?
True
Suppose n + 76702 = 2*x, 5*x - 8*x = -3*n - 115053. Is x a composite number?
False
Let t be (4 + -2 - 5) + 5. Let d be (3/(-2))/((-1)/t). Suppose -v = -0*v + k - 80, 0 = -k - d. Is v composite?
False
Let v be -9*95/(-30)*4. Suppose v + 443 = f. Is f composite?
False
Suppose -75*s + 70*s = -330. Let c = s + 29. Is c composite?
True
Let j = 3377 - 1566. Is j a composite number?
False
Suppose 0 = -17*q + 7*q + 23320. Is (6 - q)/((-6)/(6 + -3)) prime?
True
Suppose 9*u - 10*u = -7773. Is u composite?
True
Let h = -57120 + 82657. Is h composite?
False
Suppose 0 = f + 4*g - 2075, 7627 = 5*f + 3*g - 2680. Is f a composite number?
True
Is (-50684)/(-7) + 9/21 a composite number?
True
Let q(s) = -s**2 + 3*s + 3. Suppose 6 = u + 16. Let g be q(u). Let v = g + 418. Is v a prime number?
False
Let q = -435 + 612. Let i = 97 - q. Is (0 - -3) + i/(-2) a prime number?
True
Suppose -11*c + 7*c + 3408 = 0. Suppose -7*d + 13*d = c. Is d a prime number?
False
Suppose 2*x - c = 2952, 7*c + 4423 = 3*x + 3*c. Is x a composite number?
True
Is (-9 + 4)*1 + 6243 a composite number?
True
Let n be ((-12)/3 - -5) + -36. Is 58530/21 - (-5)/n composite?
True
Let u be (0 + 0)/((-11)/((-22)/4)). Suppose -10*g + 494 + 2496 = u. Is g a composite number?
True
Suppose 5*v + 32 = 3*j, 0 = 2*v - 2*j - 3 + 15. Let x = -2 - v. Suppose -x*n + 4*l + 241 = 0, 4*n - 3*l - l = 192. Is n composite?
True
Let g = 73 - 55. Suppose -m = g*y - 20*y - 2413, -m = -4*y - 2413. Is m a composite number?
True
Suppose -44 + 8 = 6*r. Let j(n) be the third derivative of -n**6/60 + 7*n**5/60 + 3*n**4/8 + 5*n**3/6 + 2*n**2. Is j(r) a composite number?
True
Let l(q) = 4*q - 1 - 9*q + 4*q. Let g be l(-6). Suppose -2*z + 4*h + 228 = g*h, 5*z = 5*h + 555. Is z prime?
True
Let l = -44 + 38. Is (1659/63)/((-2)/l) prime?
True
Suppose -3*w + 5*x - 1560 = -24976, -5*x - 7802 = -w. Is w a composite number?
True
Let f = -171 + -166. Let l be (8808/16)/(3/(-4)). Let c = f - l. Is c a composite number?
False
Let k = 25 + -45. Let d = k + 421. Is d a prime number?
True
Let t(g) = g**3 - 6*g**2 - 5*g - 5. Let b be t(7). Is 6/b*13278/4 a composite number?
False
Let v = 11 + 1. Let m be v/(-15) - (-14644)/5. Suppose -5*b - 58 = 3*x - 2252, 4*x = -4*b + m. Is x a prime number?
True
Let p(y) = y**3 - 16*y**2 - 8*y + 16. Let r be p(18). Suppose 0 = -3*g + r - 46. Is g prime?
False
Suppose 5*w - 74977 = -3*a - a, 0 = 5*w + 2*a - 74981. Suppose -w + 4121 = 4*q. Let f = 3932 + q. Is f a composite number?
False
Let o(r) = 10*r + 6*r + 6*r**2 - 13*r + 1. Is o(-7) a composite number?
True
Suppose -41*w + 24638 = -39*w. Is w a composite number?
True
Suppose 0 = -2*z + 2637 + 1317. Is z a prime number?
False
Suppose x - 3*x + 3*q - 357 = 0, -4*x = -3*q + 729. Let u = x - -283. Suppose -73 = -2*g + u. Is g composite?
True
Suppose s + u = 267, 5*u = -5*s + 4*s + 251. Let r = s + -69. Suppose -265 = -j + r. Is j prime?
True
Is 4 - 5 - 26100/(-6) prime?
True
Let m(p) = 6*p**3 - 2*p + 9329. Is m(0) prime?
False
Let r be 5967/15 + 6/30. Suppose 0 = 3*k - 1381 - r. Is k a composite number?
False
Let y(g) = 64*g**2 + 2*g + 3. Let z be y(9). Suppose -k + 2*n = -1737, 5*k - 3*n - z = 2*k. Is k composite?
False
Suppose 3175 = 5*n - 1720. Is n composite?
True
Let x(z) be the second derivative of -3*z**5/20 - 3*z**4/4 - 2*z**3 + 2*z. Let t be x(-8). Suppose -4 = 4*w - t. Is w a prime number?
True
Let t be (-4)/(-30) + -5 + (-438)/(-90). Suppose p + 5*h - 1550 = t, 5*p - h - 