Is f a prime number?
True
Is 2/4*(79/(-553) - 9399014/(-14)) prime?
False
Let v(k) be the second derivative of -k**5/20 - 5*k**4/4 - 5*k**3 + k**2/2 - 3*k + 5. Is v(-30) a prime number?
True
Suppose -3*x = -3872 - 11830. Suppose -2*v + x = -4154. Is v a prime number?
False
Let l = -82472 - -118513. Is l prime?
False
Let c = -5158 - -24217. Is c prime?
False
Let d be 1/((24/6)/24). Let j be 2 - 0 - 0/(-1). Is j + -5 + d + (1 - -231) composite?
True
Let a = -55682 - -81681. Is a prime?
True
Let u be (-1)/(-5) - 262423/(-35). Suppose 0 = -5*t + 2017 + u. Is t composite?
True
Let s = 242 + -238. Is s/22 - 2808700/(-220) a prime number?
False
Let a be -6 + ((-8)/4 - -42352). Suppose 67*m = 75*m - a. Is m a prime number?
False
Suppose -3*l = b - 167879, 4*b - 423*l + 426*l - 671462 = 0. Is b a prime number?
True
Let h = -699757 - -1023264. Is h composite?
False
Suppose 9980263 = 45*n + 2042848. Is n a prime number?
False
Let l = -22 - -22. Suppose -4193 = -2*r - 3*o, l = 4*r + 5*o - 7780 - 609. Is r composite?
True
Let x = -11 - -16. Suppose -16*q + 101585 = -x*q. Suppose 11*r = 6*r + q. Is r a prime number?
True
Suppose -18935558 - 54604359 = -263*j - 13761858. Is j composite?
True
Let k be 1*((-4 - -11) + 14848). Suppose -8522 - 6323 = -j - 4*d, -d = -j + k. Is j a composite number?
True
Let h = -447888 + 672767. Is h prime?
False
Suppose -j - 3*v + 18 = 2, 15 = 5*j + 2*v. Let i be j - -1*(-4 - -5). Suppose -6*r + y + 32600 = -r, 3*r - i*y = 19553. Is r prime?
True
Let o = -3449 - -5770. Is o a prime number?
False
Suppose 3*t + 3218 - 18164 = 0. Let s be ((-14)/(-4) - 3) + t/4. Suppose -4*c = -2*a + 864, 7*a - s = 4*a - 4*c. Is a composite?
True
Let s be (47 + -2)*16/40. Suppose -32*u + s*u + 1582 = 0. Is u prime?
True
Let k(x) = 135*x - 186. Let d(h) = 27*h - 37. Let s(c) = -21*d(c) + 4*k(c). Let l be s(13). Is (l/4)/3*-2 a composite number?
False
Let x = 1745 - 1141. Let f = x + -314. Suppose -f - 291 = -c. Is c a composite number?
True
Let b be (-33)/(-66) + (-3)/(-2). Is (b - -3) + -2086*(-6 + 4) a composite number?
False
Let m = -78526 - -159699. Is m composite?
False
Suppose -2*o - o + 3*n + 81 = 0, -2*o - 3*n = -39. Suppose -o*m + 4038 = -18*m. Is m prime?
True
Suppose -2*w + 11 = -3*u, 10*w + 2*u + 11 = 15*w. Is ((-5)/(-15))/(w/4323) prime?
False
Suppose 16*s = 8*s + 38880. Suppose w + 4*g + 545 - s = 0, -4*g + 8642 = 2*w. Is w composite?
False
Let g = -637801 - -1173010. Is g composite?
True
Let f be (-6)/(-15) - 2/5. Let c(g) be the first derivative of g**3/3 + 3*g**2 + 2413*g - 435. Is c(f) a composite number?
True
Suppose 123*t - 6285 = 124*t. Is ((-3)/(105/14))/(3/t) composite?
True
Suppose 3*k + 2*m + 78 = -36, -3*m = 9. Let l = k - -39. Suppose -2 - l = -5*g, 2*i + 3*g = 505. Is i a prime number?
True
Let s be (4/(-6) + 229220/15)*9. Suppose 5*x + 13561 = s. Is x composite?
False
Let y(d) = -26280*d**3 - 18*d**2 - 34*d + 1. Is y(-2) a composite number?
True
Let p = -135 - -225. Let y be (-1858)/(-12) - (-15)/p. Let s = 728 - y. Is s a prime number?
False
Suppose -5*u - 4*f = -23, 2*u + 5*f - 4*f - 8 = 0. Suppose -2*j + 1 + 3 = 0. Suppose u*a + 4*z - 154 = 0, -j*a = -4*z - z - 72. Is a composite?
True
Suppose -2*k = 5*q - 1733107, 0 = 2*k - 2*q - 1675854 - 57274. Is k a composite number?
True
Let k(t) = -127*t**2 + 5*t - 87. Let j be k(10). Let a = j - -25678. Is a a composite number?
False
Suppose 2*t + 156 = 166. Suppose 13*i + 49723 = 2*v + 12*i, 49693 = 2*v + t*i. Is v a prime number?
True
Suppose 0 = f - f + 2*f. Suppose f = 2*k + 3*k - 5. Is 1896/k + 1/(2/(-6)) a composite number?
True
Let d(u) = -u**2 + 4*u - 15. Let c be d(0). Let s be (-1)/((-7)/28*(-2)/c). Is 21108/s*(-5)/(-2) composite?
False
Suppose -11315470 = -117*x + 4706861. Is x a composite number?
False
Let p(o) = -8*o + 42. Let a be p(0). Is (13146/1)/(a/28) + 1 a prime number?
False
Let v(z) = 43*z + 1. Let u be v(1). Suppose 4*l - u = -4. Is l/(-3 - (-175)/55) a composite number?
True
Let c be (5 - -15)*2/5. Suppose 0*d + 8 = d + 4*y, -4*y = -d - c. Suppose d = -2*g + 59 + 555. Is g a composite number?
False
Let u(p) = 4831*p + 673. Is u(16) a composite number?
False
Let p(r) be the second derivative of 19*r**5/20 - 5*r**4/24 - 2*r**3 + 29*r. Let i(c) be the second derivative of p(c). Is i(16) a prime number?
False
Is (-2 + 1)/(224/(-8329888)) a prime number?
False
Let l(h) = 16557*h + 4559. Is l(32) a composite number?
True
Is (-1462018)/(-10) + (5 - 0 - 145/25) composite?
True
Suppose -94*k + 2733065 + 2616579 = 1270890. Is k a composite number?
False
Let p(m) = 608 + 70 + 2*m + 406 - 95. Let o be p(0). Let i = o + -291. Is i a composite number?
True
Let j(r) = 30271*r**2 + 54*r - 623. Is j(6) a composite number?
False
Let u(w) = 44*w**3 + 38*w + 13. Is u(17) a composite number?
True
Suppose -3075 = 14*o - 8577. Let k = 143 - o. Let v = -129 - k. Is v a prime number?
False
Let r = -42 + 39. Let w be (-63)/r*(-10 + -4). Let n = 208 - w. Is n prime?
False
Suppose 5*r + 2*o - 9015 = 0, 4*r - 348 = -4*o + 6864. Let u(k) = 449*k**2 - 2*k + 7. Let s be u(2). Suppose 4*g - 5*f - s = 0, f + r = -0*g + 4*g. Is g prime?
False
Suppose 3*k - 4*b - 34882 = 44527, -132359 = -5*k - 4*b. Is k a prime number?
False
Suppose -t = -2*s + 1814 - 8412, 6596 = -2*s + 2*t. Let b = 6997 + s. Is b a composite number?
False
Let g = 162697 - -97506. Is g a composite number?
True
Let f(t) = -11*t**3 + 23*t**2 - 3*t + 3. Let m(q) = -5*q**3 + 11*q**2 - 2*q + 1. Let u(v) = 4*f(v) - 9*m(v). Let k be u(6). Is 5218/(1/k*6) composite?
False
Let p(t) = -4*t**3 + 31*t**2 - 39*t + 26. Let h(m) = -11*m**3 + 92*m**2 - 117*m + 77. Let w(s) = -3*h(s) + 8*p(s). Is w(29) prime?
True
Let w(u) = 61*u**3 + 103*u**2 - 42*u - 13. Is w(10) composite?
False
Let r be 72/18 + 4/2 + -3. Suppose 0 = -r*o - 12, -2*p - 4246 = -4*p - 3*o. Is p a composite number?
False
Suppose -61*n + 8614745 = -18*n + 112*n. Is n prime?
True
Let y = 865 + -88. Suppose -2*w + y - 131 = 0. Is w a composite number?
True
Let y(v) = 8*v - 85. Let d be y(14). Suppose d*b = 22*b + 8665. Is b composite?
False
Let t(h) be the second derivative of 37/12*h**4 + 0 - 15/2*h**2 + 10*h - 7/6*h**3. Is t(-7) prime?
True
Let s = -52 - 62. Let d = -118 - s. Is ((-2)/d)/((78/(-5028))/(-13)) a prime number?
True
Suppose 0 = -5*p - 21*p + 3120. Is (-3398)/(-5) - 72/p composite?
True
Let a = 67 - 1106. Let v = a - -4826. Is v a composite number?
True
Let o(m) = 2*m**3 - 3*m**2 + 12*m - 72. Suppose -16 = 18*w - 322. Is o(w) a prime number?
True
Suppose 80*k - 459586 = -79*k + 12976709. Is k prime?
False
Suppose -31 + 40 = 3*p. Suppose -2*s + s - p*c = -3139, s - 3135 = -2*c. Is s a prime number?
False
Let y(j) = 6*j**2 + 11*j + 147. Let p be y(-27). Suppose 0 = 2*w + 5*l - p, -4*l - 10593 = -17*w + 12*w. Is w a composite number?
True
Let t be 18*5*(24/45)/(-4). Is t/10*3165/(-12)*2 composite?
True
Let v = 83 + -79. Suppose 8*p - 2*c = 5*p + 6453, 8615 = v*p + c. Is p composite?
False
Let w(t) = -12399*t - 443. Is w(-10) composite?
False
Let a = 137219 - 10876. Is a a composite number?
True
Let g(l) = -39*l**3 - 14*l**2 - 16*l - 6. Let z be g(-9). Suppose 4*d = 5*q + z, 653 + 26817 = 4*d + 2*q. Is d composite?
True
Suppose -52*z + 2156433 = 54749. Is z composite?
True
Let y be 193832/6 + (-5)/(-90)*12. Suppose -110967 + y = -11*w. Is w prime?
True
Let b(i) be the first derivative of i**3 + 19*i**2/2 + 87*i - 91. Is b(-17) a composite number?
False
Suppose 5*f + 3*b + 2 = 0, -f + 6 = -5*b - 16. Suppose 2*c = 5*o - 2791, -f*o + c + 528 = -589. Is o composite?
False
Let x = -108 + 107. Is (31501/17)/(2 + x) prime?
False
Let q be (-5464)/(-24)*5*3. Suppose 9*d = -q + 15664. Is d a composite number?
False
Suppose 6737 = 5*a - 1978. Let s = a + -52. Is s prime?
False
Suppose -34 + 2 = 16*v. Is v/(2/(-4666)*(2 - 0)) prime?
True
Let v be 7*(-22)/539 + 44609/(-7). Let j = v - -9266. Is j prime?
False
Let t = 125 - 129. Let o be ((-33)/(-66))/(1 + 5/t). Is ((-707)/(-5))/(o/(-10)) composite?
True
Let c = -6614 - 1182. Let t = -4149 - c. Is t a prime number?
False
Suppose -4*c + 5*y + 10 = -12, 2*c - 4 = -y. Is 2722/c + (-110)/330 composite?
False
Suppose 13*r - 2688186 - 176294 = -19*r. Is r prime?
False
Suppose -164*f - 25 = -169*f. Suppose -3*n + 5162 = g + 554, 