prime number?
True
Suppose 5*v - 7664 = -4*x - 2260, 5*v - x = 5424. Let i = 4058 - v. Is i prime?
False
Let l(n) = -218*n**3 + 25*n**2 + 192*n + 12. Is l(-7) composite?
True
Let i be 1*-6*2/(-6). Let h(p) = 26*p**2 - 2*p + 1. Let o be h(i). Suppose -o = -2*z + 2*n - 7*n, -z = -2*n - 55. Is z prime?
True
Suppose -5*a + 669266 = i - 37795, -565636 = -4*a - 4*i. Is a prime?
True
Suppose 248 = c - 176. Suppose -2*p + 1686 - c = 0. Is p composite?
False
Suppose 2*x = 2*p + 8, p = -0*p + 5*x. Let h = -7 - p. Is (-7315 - 3)*1/h prime?
True
Let z = 45 - 42. Suppose -2*v + 3*v = z. Suppose 5*m - v*m = 254. Is m a composite number?
False
Is (-10)/(-40)*(2 + 2*450145) a composite number?
True
Suppose -9*h + 69502 = 8581. Is h composite?
True
Suppose 0 = -3*z - 5*o + 526 - 133, -o = 3*z - 381. Suppose 125*h = z*h - 2021. Is h prime?
False
Let b(q) = -43*q - 13. Let j be b(-9). Suppose -j = 3*y - 2357. Suppose -5*a + y = 4*l, -5*a + 0*l + 5*l = -670. Is a a prime number?
False
Suppose 3*b = -b. Suppose -4*s - 2*s + 36 = b. Suppose s*h - 5*h = 611. Is h composite?
True
Is (-18)/(-90) - (-106884)/5 a composite number?
False
Let d(q) = -q**3 + q**2 + q - 4154. Let y be d(0). Let g = -2926 - y. Let h = -537 + g. Is h prime?
True
Let v = 1995 - -17294. Is v a composite number?
False
Suppose 2*n = -10, -169014 = -25*t + 22*t + 3*n. Is t a composite number?
False
Let j = 1721054 + -1051459. Is j a prime number?
False
Let v(j) be the second derivative of -771*j**3/2 - 13*j**2/2 - 11*j + 2. Is v(-2) prime?
False
Let w(s) = -2*s**3 + 7*s**2 - 7*s + 4. Let c be w(-7). Let x = -684 - -279. Let n = x + c. Is n a composite number?
False
Let h(l) = -l**3 + 9*l**2 + 6. Let r be 6/(-4)*(-16)/(-1). Let m be (10/(-6))/(r/72). Is h(m) a composite number?
True
Suppose 26*g - 7438147 = -2455793. Is g prime?
False
Suppose -16*o = -119080 - 457576. Is o prime?
False
Let l = 430293 + -153130. Is l composite?
False
Let i(u) = -u**2 + 9*u - 15. Let k be i(6). Suppose -3980 - 1723 = -k*w. Is w a prime number?
True
Let y be (-5)/(-10)*-10 - -1842. Let n = y + -1079. Is n a prime number?
False
Suppose 3*u - 10 = -5*g, 0 - 2 = u - g. Suppose 16384 = 2*z - p, 5*z - 4*z + 5*p - 8181 = u. Is z composite?
False
Let t(p) = 94*p - 114. Let i be t(3). Suppose -4*w - 5 = -13. Suppose i + 86 = w*o. Is o a composite number?
False
Let v(w) = 3018*w + 91. Let b be (-81)/(-18) + 9/6. Is v(b) prime?
True
Suppose -2 - 1 = 3*b. Let u = -876 - -876. Is 9 - 7 - (u + b*1067) prime?
True
Let o = 143445 - 98594. Suppose -o - 2039 = -18*k. Is k a prime number?
False
Let w(f) = 4712*f - 16. Let c be w(-2). Let d = c + 18092. Suppose -3*i = 4*m - 6293, -4*i = 2*m + 258 - d. Is i composite?
False
Let r be 16/(-3)*1*(-12)/8. Suppose -3*g + 1208 = 2*p, 3*p = -p - r. Suppose -g = -5*q - 69. Is q a composite number?
False
Let f(i) = 80*i**2 - 70*i + 187. Is f(-41) composite?
False
Let b = 13612 - 6219. Is b prime?
True
Suppose -5*y - 2*d = -982323, 5*y - 982329 = 7*d - 3*d. Is y prime?
False
Is 27369 + (-1*6/2)/((-375)/250) prime?
False
Let y = 19 - 8. Suppose 0 = -5*f - 25, -j - 2*j - y = -5*f. Is 3202 - (-30)/j*(-6)/(-5) a composite number?
True
Is 152295/169 - 8 - 8/52 composite?
True
Let b(s) = -7*s**2 - 12*s - 5. Let p(z) = -4*z**2 - 6*z - 3. Let d(x) = -3*b(x) + 5*p(x). Let n be d(-6). Is n + -3 + 260/2 prime?
True
Suppose 2164487 = 27*w - 2420572. Is w composite?
False
Suppose 179*a = 180*a + 6. Is 3574/12 - (13/a - -2) prime?
False
Let g(v) = -27*v**2 + 3*v + 4. Let j be g(5). Let c = 17 - j. Is c a composite number?
False
Suppose w - 522 = z, 0 = 5*w - 4*w + z - 524. Let x = 598 + w. Is x composite?
True
Let s(i) = -4574*i + 10. Let b be s(-1). Suppose 5*y - b = 6311. Is y prime?
True
Let t(a) = -a**2 + 11*a - 17. Let b(o) = 2*o**2 - 22*o + 35. Let k(f) = 3*b(f) + 7*t(f). Let s be k(9). Suppose s*i = -336 + 1112. Is i a prime number?
False
Suppose -16*j = -19*j, 4*j + 7 = -i. Is 4 - (38276/i + 1) prime?
True
Suppose 4*b - 12 = 4*h, -5*h = 2*b - 0*h - 13. Is (-1823)/(-1) + -4 + b prime?
True
Suppose -1096*t = -1107*t + 14897927. Is t a prime number?
False
Let l = -195 + 198. Suppose -4008 = -11*p + l*p. Is p a prime number?
False
Let v(n) = -1188*n - 7. Let w(d) = 31*d**3 - d**2 + 6*d - 5. Let j be w(1). Let z = 25 - j. Is v(z) a composite number?
False
Suppose -22*h + 26*h = -4*y - 4, -3*h - 18 = -2*y. Suppose -3*k + 3*o + 393 = 0, -526 = -6*k + 2*k + y*o. Is k prime?
False
Suppose 63733 = -124*n + 128*n + 3*c, 0 = 2*n - 4*c - 31894. Is n a prime number?
True
Suppose -3*h = 6, 2*f + f = -4*h - 8. Suppose 0 = 12*u - f*u. Suppose 4*t + b - 200 = 3*t, u = 3*t + 4*b - 601. Is t prime?
True
Let q be (-3 - (-99)/21)*161. Suppose -m - m - 5*a = -q, 2*a + 433 = 3*m. Is 2/(-11) - (-236977)/m a prime number?
True
Suppose -2*j = -3*k - 14, 4 = -k + 3*j - 2*j. Let g = 11 + k. Suppose 0 = -4*t - 3*n + 553, -g*t - 3*n + 694 = -2*n. Is t prime?
True
Let s(i) = 2568*i**3 - i**2 + 7*i - 19. Let f be s(3). Suppose 25 = -5*u, 2*d = -40*u + 39*u + f. Is d composite?
False
Let q(g) = 5*g + 37. Let k be q(-7). Let t(j) = -3*j + 3 + 2*j**k - 16 + 115*j**2 + 10*j. Is t(3) a prime number?
True
Suppose c + l + 0*l = -2, 0 = -c - 2*l - 6. Suppose 0 = -c*u + 11*u - 43866. Is u composite?
True
Let r(i) = 22*i**3 - 28*i**2 - 10*i - 71. Is r(12) a prime number?
False
Let q = -33 - -5. Let c = -30 - q. Is (c/6*-15)/((-2)/(-538)) prime?
False
Suppose -2*l = -3*v - 4005, l = -3*v - 494 + 2501. Suppose -5*t - 2*p + l = -4155, 3683 = 3*t - 5*p. Is t a prime number?
True
Let w be 1508/12 - (1/(-3) + 1). Suppose 18595 = w*i - 120*i. Is i composite?
False
Let v(c) = 370303*c - 5965. Is v(6) a composite number?
False
Suppose -3*k = -2*k - 56. Suppose 0 = 3*f - 62 + k. Suppose -j = f*t - 7*t + 1056, t - 4*j = 215. Is t a prime number?
True
Suppose -2*l = -g + 2688, -l = 3*l + 8. Let f be 70/(-15)*6*(-20)/70. Suppose f*h - g = -708. Is h a composite number?
True
Let y = 155568 - -159065. Is y a composite number?
True
Suppose -4*l + 81*s + 1402474 = 84*s, -2 = -s. Is l a prime number?
True
Let z(h) = 109*h**2 - 20*h - 17. Let f be z(9). Let q = f - 4647. Is q composite?
True
Let v(w) = -86*w**3 - 21*w**2 + 21*w - 51. Is v(-16) prime?
False
Let p(y) = -y**2 - 108*y + 36734. Is p(0) a composite number?
True
Is 528340/5 + (-408)/(-68) a composite number?
True
Let c = 58658 + -31711. Is c a prime number?
True
Is (-28)/(-14)*(-661587)/12*-2 a prime number?
True
Let p(l) = 5781*l + 541. Is p(16) a composite number?
True
Let r be 2403*(1 - 4/3)*-1. Suppose -9*q = -15534 + r. Is q prime?
True
Let i = -74 + 76. Suppose i*a - 1169 = 5585. Is a a prime number?
False
Let v(s) = -s**3 - 2*s**2 + 3*s + 36. Let f be v(0). Let n be ((-1)/3)/((-1)/f*1). Suppose 23 + n = c. Is c a composite number?
True
Is (9 - (-60384485)/50) + -3 + (-66)/(-20) a composite number?
False
Suppose -11*a = -20*a. Suppose a = -13*y + y + 60. Suppose -5016 = -2*j + y*l, -5*j + 3*l + 13683 = 1162. Is j composite?
False
Suppose -k + 318308 = l, -22379 - 295949 = -l + 3*k. Is l a composite number?
False
Let g be (((-34370)/4)/(-5))/((-7)/(-42)). Suppose x = 5*t + g, 3*x - 2*t = -x + 41280. Is x prime?
True
Let r(j) = -13609*j + 323. Is r(-16) prime?
False
Let a be ((-10)/30)/(-2*2/276). Suppose 0 = -a*y + 136391 + 10464. Is y composite?
True
Let x(j) be the third derivative of -11*j**7/5040 + 7*j**6/720 - 11*j**5/60 + 13*j**2. Let r(t) be the third derivative of x(t). Is r(-18) a composite number?
True
Let f(b) = b**3 - b**2 - 4*b + 6. Let k be f(-5). Suppose 0 = -3*c + 498 + 255. Let g = k + c. Is g a prime number?
True
Suppose -4*k + 5*y + 16518 = 29, -4141 = -k + 5*y. Let w = -987 + k. Suppose w = 2*v + v. Is v prime?
False
Let u(x) = 14*x - 56. Let n be u(5). Suppose -n*w + 4374 = -6308. Is w a prime number?
False
Let m(s) = s**3 + 5*s**2 + 4*s + 1. Let w be m(-3). Let x(o) = 12*o**3 + 10*o**2 - 5*o - 18. Is x(w) prime?
False
Suppose -6*k - 173641 = -25*k. Let a = k - -21046. Is a a composite number?
True
Let y(k) = -321*k - 40. Is y(-7) prime?
True
Suppose a - 2*a = -16. Suppose -f + 9 = -4*i, 50*i = -2*f + 47*i - 15. Is -4*(0 + ((-4396)/a - f)) composite?
False
Suppose -25*r - 28*r - 63*r = -40245388. Is r a composite number?
False
Suppose -72 + 21 = -q - 5*n, -4*q + 132 = -4*n.