 prime?
True
Let v(z) = -115*z - 19. Suppose 59*c - 60*c = 2. Is v(c) a prime number?
True
Suppose 196430 = 4*c - 101*s + 98*s, -c + 49127 = -4*s. Is c prime?
True
Let q = 102 + -105. Let l be (-1)/q + (1424/24)/(-1). Is ((-2)/2 + -30)*l a composite number?
True
Let d be (45/(-12))/(57/152). Let h(q) = 25*q**2 + 21*q + 43. Is h(d) a prime number?
True
Is 325092/(-20)*7030/(-222) prime?
False
Suppose 130*w = 129*w. Suppose w = 4*n + 2*k - 7336, 4*n - 3*k - 1841 = 3*n. Is n a prime number?
False
Suppose 4*w = 16*w - 288. Let n be (-153)/(-2)*1/(9/w). Let k = n - 130. Is k composite?
True
Let z(n) = 531*n**2 - 49*n + 71. Is z(-9) prime?
False
Suppose 186*j + 1045853 - 39159232 = 3240187. Is j composite?
True
Let f(z) = z**2 - 7*z - 142. Let j be f(-9). Let q be 1043/(2*2/(-44)). Is j/(-3) + q/(-33) a composite number?
False
Let f(r) be the first derivative of -145*r**3/6 - 36*r**2 + 18*r + 22. Let i(h) be the first derivative of f(h). Is i(-15) a composite number?
True
Suppose -2*v - 118911 = -5*a, 81*a - 23785 = 80*a - v. Is a a composite number?
True
Let w(r) = r**3 - 6*r**2 + 26*r + 320. Is w(51) prime?
True
Let i(r) = 24097*r - 560. Is i(3) a composite number?
True
Let p(a) = 19*a - 24. Let n be p(2). Suppose 21*i - n*i = 4403. Is i composite?
True
Suppose -1776309 - 2309981 = -68*c + 9339698. Is c composite?
False
Suppose -173 = -6*t + 91. Let s = -40 + t. Is 1*(4754 - (s - 1)) composite?
False
Let l = 70 + 676. Let n be -6*(2*l/(-8) - 2). Let y = n - 574. Is y composite?
False
Suppose -3*m - 5*o = 683 - 4600, 5*m - 2*o - 6549 = 0. Let n = -783 + m. Suppose n = -2*r + 3*r. Is r prime?
False
Let l = 25134 - -7697. Is l composite?
False
Suppose g = 4*f - 75093, -g = f - 24980 + 6213. Suppose -2*y = -5*x + 8*x - 18779, -3*x + 5*y + f = 0. Is x composite?
True
Let b(m) = -126794*m**2 + 6*m - 7. Let x be b(3). Is (-14)/(-161) - x/115 composite?
False
Let q(w) = 3506*w + 1869. Is q(8) a prime number?
True
Let c(x) = 90*x**3 - 8*x**2 + x + 10. Let f(m) = m**2 - 11*m + 15. Let g be f(11). Suppose -6 = -g*n + 13*n. Is c(n) a prime number?
True
Let z = 3306 + 7812. Suppose 6*r = -0*r + z. Is r composite?
True
Let b be (0/5 - 3) + 75. Suppose -2*a + b = -8*a. Is -2*(10803/a + 1/(-4)) composite?
False
Let w(d) = 83671*d + 15251. Is w(6) a composite number?
False
Suppose -6*d - 4 = -16. Suppose -d*j + 20118 = 4000. Is j prime?
True
Let j be ((-3)/(-2))/(6/20). Suppose -20 = 3*v + v - i, -j*i = 20. Is 4/16*-314*v prime?
False
Suppose 4*m + 1 = 17. Let w(l) = -l**3 + 2*l**2 - 12*l + 8*l + 2*l**3 - m*l + 6. Is w(7) prime?
False
Let d(q) = 942*q**2 - 127*q + 1634. Is d(27) prime?
True
Suppose -261*c + 1469975 = -237*c - 4609. Is c prime?
True
Let d be (-2)/((-4)/(-14)) - -52. Is ((-1497)/(-2))/(d/390) a prime number?
False
Let c(m) = -4*m**2 + 5*m - 18. Let f(u) = -7*u**2 + 8*u - 38. Let g(j) = -13*c(j) + 6*f(j). Is g(7) composite?
True
Suppose v = 4*d - 16, 4*v + d + 9 = 6*d. Suppose b = -2*h + 1438, v*b + 2*h - 5791 = 7*h. Suppose 5*a - b - 591 = 0. Is a composite?
True
Let b = 40434 - 16418. Suppose 7*m - 68963 + b = 0. Is m a composite number?
False
Let g = -141717 - -459170. Is g prime?
True
Suppose x = 4*p + 11545 + 7720, 2*x = 5*p + 38539. Is x a composite number?
True
Let w = 7338 - -3084. Let z be w + (10 + -2)*(-2)/4. Suppose -680 = -2*c + z. Is c a composite number?
True
Suppose 0 = -26*h + 29*h + 3*i - 77730, 103598 = 4*h - 2*i. Is h prime?
True
Suppose o = -3*j + 32, -2*j + 8 = -0*j - 2*o. Let b(u) = -5*u + 8 + 0*u**3 - 3*u**3 + 2*u**3 - 7*u**2 + 4*u**3. Is b(j) a prime number?
True
Suppose -21*s + 215334 = -12*s. Suppose -3*w = 3*d - 0*w - 17937, -4*d + s = -w. Is d a prime number?
True
Let w = 64 + -56. Suppose -w*q - 13015 = 22585. Is (-9)/27 + q/(-3) a prime number?
True
Let h(x) be the third derivative of x**5/20 - 17*x**4/12 + 7*x**3/3 + 2*x**2. Let s be (5 - 16)/(2 + -1 + 0). Is h(s) a prime number?
True
Is 11 - (-14 - (8 + 76384)) a prime number?
False
Let x(z) be the second derivative of 1999*z**4/12 + 5*z**3/6 - z**2/2 - 91*z. Is x(-2) prime?
False
Suppose 286*t - 172*t - 144*t = -669930. Is t a composite number?
True
Let g be ((-1155)/(-14))/(3/(-1192)) + 4. Let w be ((-3)/6)/(4/g). Let b = w - 1780. Is b a prime number?
False
Let l(a) be the third derivative of a**6/120 - 13*a**5/60 + 31*a**4/24 - a**3 - 1362*a**2. Suppose -5*r + 8 + 57 = 0. Is l(r) a composite number?
False
Suppose 0 = -n + 2, -9*n + 6*n = 5*o - 75451. Is o a prime number?
False
Suppose 0 = -2*x - 0*q + q + 17, 0 = -4*x + 4*q + 36. Let n be ((-58)/8 - -7) + 1762/x. Let c = n + -107. Is c composite?
False
Suppose -2*a - 5*l + 533158 = 0, -553330 = -4*a - 3*l + 512930. Is a composite?
True
Let x be 8/(-5)*400/(-64). Is x/(-2) + 2 - -9034 composite?
True
Let k(n) = 59*n**2 + 37*n + 175. Is k(16) a composite number?
True
Suppose -2*r = 3*f + 3*r - 58, 47 = 2*f + 5*r. Suppose 6*d - 4782 = 4506. Suppose -f*z + 2159 = -d. Is z a composite number?
False
Let k = 240669 - 361356. Is (-4)/(-6)*k/(-49) composite?
True
Let n be -3*(2 - 3) + 25. Suppose -5*g = 3*x - 19 - 15, x = -5*g + n. Suppose 10479 = x*o - 0*o. Is o a prime number?
False
Let k(n) be the third derivative of 1243*n**5/5 - n**4/6 + 2*n**3/3 - 33*n**2. Let g be k(1). Suppose -g = -5*h + 13039. Is h a composite number?
False
Suppose -2*n + 1408 = 2*f - 4*f, -2*f = 4*n + 1432. Let v = f + 5239. Is v a prime number?
False
Let d = 11705 - -34634. Is d a prime number?
False
Let i(u) = u**3 + u**2 - 14*u + 21. Let t be i(2). Suppose 2*l - l = t*b + 12761, 2*b = -l + 12761. Is l prime?
False
Let o = 32 - 8. Let x be (1/2)/(4/o). Suppose r + 2*n = 99, -3*r = 4*n - x*n - 292. Is r a prime number?
True
Let f(b) = -b**3 + b**2 - 7*b + 501. Let s = -434 - -434. Is f(s) a composite number?
True
Suppose 0 = -7*q + 11*q - 16. Suppose -q*n + 12 + 0 = 0. Suppose 4*s - l - 4385 = 2*l, 3289 = n*s - 2*l. Is s prime?
True
Suppose 0 = -4*i - 5*z + 835714, 159*z = 5*i + 162*z - 1044623. Is i a prime number?
False
Suppose 7*u - 8*u + a + 218354 = 0, 3*a - 218366 = -u. Is u a composite number?
False
Let v = -104 + 107. Suppose 5*l - 2491 = -5*f + 59224, 5*l - v*f = 61715. Is l composite?
False
Let n = -27784 + 100757. Is n prime?
True
Suppose 0 = 14*o + 4175 + 8047. Let i = o + 1612. Is i composite?
False
Let k be 252/35 - (-24)/30. Suppose -4*p + 11459 = 5*h, -2*p = -5*h + k*h - 6875. Is h a prime number?
False
Suppose -227449 = -18*d + 205649. Is d a composite number?
False
Is (((-160)/(-6))/(-5) + 4)/(24/(-4523814)) prime?
True
Let w be 0*(3 + (-4)/1). Suppose -3*l + w*l + 13097 = -2*f, 17465 = 4*l - 5*f. Suppose -4*q + l = 5*s + q, q = 3*s - 2603. Is s prime?
False
Suppose 76 = 3*x - 0*v + 5*v, 0 = -4*x + 4*v + 48. Suppose -x*b + 3*b + 14252 = 0. Is b composite?
True
Let m = 5739 - -64780. Is m a composite number?
True
Let i(v) = 7*v - 12. Let s be i(8). Let b = s + -40. Suppose 4*o = -3*x + 6628, 0*x + 6628 = b*o - 2*x. Is o composite?
False
Suppose 11 = 3*m - 25. Let x = m + -12. Suppose -4*r - 4*i + 568 = x, 0 = -3*r - 2*i - 3*i + 428. Is r a prime number?
False
Suppose v - 2*v + 9 = 0. Suppose 0 = v*l - 12*l - 6. Is l - 261/(-3 - 0) prime?
False
Let t(w) = -w**3 - 6*w**2 - 5*w + 5. Let s be t(-6). Let j = s + -37. Is (4460/(-16))/(j/8) composite?
True
Let q = -267012 + 635099. Is q prime?
False
Let z(k) = -96*k**3 - 6*k**2 + 5*k - 5. Let l(v) = 95*v**3 + 7*v**2 - 4*v + 5. Let b(i) = -2*l(i) - 3*z(i). Is b(2) composite?
True
Let h = -4996 - -15937. Suppose -56*m = -53*m - h. Is m prime?
False
Let l = -67317 - -176068. Is l prime?
True
Suppose -11*p = -53*p + 116663 + 28447. Is p a composite number?
True
Suppose -3*s - 2*c = 2*c - 1268943, 0 = -3*s + 4*c + 1268991. Is s a composite number?
True
Let k = -3 + -6. Let y be (-116)/(-10) - k/(-15). Let r = y - -3. Is r prime?
False
Is 20369 + 0 + (-6 - -6)/((-2)/2) a composite number?
False
Let c = -2433 + -1635. Let g = -2411 - c. Is g prime?
True
Suppose 240 = 9*y - 4*y. Suppose 6*b = y + 30. Suppose -282 - b = -5*m. Is m composite?
False
Let a = 12777 - -3716. Is a prime?
True
Suppose 5*w + 13*w - 4328343 = -9*w. Is w a prime number?
True
Suppose -3*y + 7 = -4*p, -2*y + 25 = 5*p + 5. Let u(g) = 1328*g - 7. Let r be u(6). Is (p - r)*((-12)/(-18) + -1) composite?
True
Let q(g) = 4