prime number?
False
Let d(i) be the first derivative of i**4/4 - 16*i**3/3 - 3*i**2 - 8*i - 203. Let y = -28 + 45. Is d(y) a composite number?
False
Let x be ((-9)/(27/40))/((-2)/6). Suppose -5*j - 5*m = -x, -17 = 8*j - 7*j - 4*m. Suppose -5*q - j*f + 8225 = -3*q, -2*q = -3*f - 8219. Is q prime?
True
Let a(x) be the first derivative of 45*x**2/2 + 11*x - 1. Let r be 210/(-140) - 33/(-6). Is a(r) a composite number?
False
Let v(i) = 19*i**3 + 2*i**2 + 5*i - 9. Let d be 10/(-20)*(-9 + 1). Let q be v(d). Is ((-2)/(2/q))/(49 - 50) composite?
False
Suppose -2*r + 2*f + 18 = 0, -24 = -5*r - 0*r - 2*f. Let w be ((-3764)/r)/(-5*(-10)/(-75)). Let i = w - 478. Is i a prime number?
True
Is ((-1)/(-3) - 5351440/3)*(-695 + 694) prime?
True
Let q(u) be the second derivative of 2*u**3/3 + 10*u**2 + 3*u. Let n be q(-6). Is (-28 + -1)*(-34)/n*-2 a composite number?
True
Let h = -1384160 + 1985701. Is h a prime number?
True
Suppose 0 = -3*b + 3*l - 222, 3*b - 2*l + 52 = -166. Let q be (-2)/10 - 23254/b. Suppose 4*d + 0*d = q. Is d prime?
True
Is 1/(-4) - 903217/(-20) - 84/(-210) a prime number?
True
Let j(w) = -11*w**2 - 3*w. Suppose -21 = -5*z + 12*z. Let u(o) = o**2 - o + 1. Let t(p) = z*u(p) - j(p). Is t(-11) prime?
False
Suppose 4*s + 5796 = 6*s. Let y = s + -1645. Is y composite?
True
Let a = -479588 + 852295. Is a a prime number?
True
Suppose 0 = -l + 5*c + 808, 2339 = 4*l - l + 2*c. Suppose 5*r - 272 - l = 0. Is r a composite number?
False
Suppose -3*f = -4*c - 101, -4*c - 26 = -2*f + 48. Suppose -4*g - f*g + 127441 = 0. Is g a prime number?
True
Let k(c) = -126*c + 5. Let q(g) = g**2 + 2*g - 13. Let v = -28 - -24. Let a be q(v). Is k(a) prime?
False
Is (-142)/213 - (-3 + (-1053512)/3) a prime number?
False
Suppose -5*d - 3122215 + 10928660 = 4*s, 5*d - 6*s = 7806445. Is d a composite number?
True
Let y(q) = -3*q**2 - q - 9. Let r be y(-3). Let v be 2 - r - (-2 - -5). Suppose 4*u - 2*n - 9716 = 0, 0 = -3*u + 4*n + 7255 + v. Is u a prime number?
False
Is 2*(-8 + (109805/(-4))/(15/(-30))) composite?
False
Let c(q) = 96*q**2 + 2*q + 1. Let v be c(-3). Is v + -5 + (-48)/(-6) composite?
True
Suppose 3*s - 24 = 0, s - 171309 = -3*w + 664076. Is w a composite number?
False
Let b = 35182 + 55609. Is b a prime number?
False
Let s(b) = -b**2 - 7*b - 14. Let l be s(-3). Let r(f) = -955*f + 6. Let d be r(l). Suppose -3*q = q - d. Is q a composite number?
False
Let d(c) = 368*c - 457. Is d(13) a prime number?
True
Let v be ((-1)/(-2))/(25/50)*-1. Is v/(-5) + 907632/165 a prime number?
True
Let y(g) = 133*g**2 - 174*g - 18401. Is y(-92) composite?
False
Is (-2)/6*(-140950 + -29) composite?
False
Suppose -1510779 = 1588*n - 1591*n. Is n prime?
True
Let s(m) be the second derivative of 0 + 3/20*m**5 - 1/12*m**4 + 3*m - 3/2*m**3 + 0*m**2. Is s(7) prime?
False
Suppose 3680 = -18*z + 13*z. Let l be -1*2/(-2)*1155. Let q = z + l. Is q composite?
False
Let f(m) = 15289*m + 38. Is f(17) a prime number?
False
Let b be 1558/190 - (-8)/10. Let d(r) = 205*r**2 - 10*r - 28. Is d(b) a composite number?
False
Let k be (9 - (-13 - -6)) + -4. Suppose k*j + 137 = 449. Is j a prime number?
False
Let c be (-1)/(-4) - ((-24703)/4 - -3). Let z be 2/1 + 6 + 1959. Suppose 6*r = c - z. Is r composite?
False
Let m be (19271/(-21))/(1/(-6)*-1). Let p = -1937 - m. Is p a composite number?
True
Suppose 2163838 = 4*d - y, -2163868 = -4*d - 2550*y + 2546*y. Is d composite?
False
Suppose 0 = 3*j - 15, 95*a - 97*a + 173349 = -j. Is a composite?
False
Let p(x) = 56932*x**2 - 51*x + 37. Is p(2) prime?
True
Let g(w) = -4*w**3 - 2*w**2 + w + 2. Let x be g(-1). Suppose 0 = x*z + l - 3012, -4*z + 0*l + 4014 = 2*l. Let t = z - 562. Is t composite?
False
Let a(k) = -7852*k - 25. Let j be a(-12). Suppose -j - 349192 = -39*c. Is c composite?
False
Let t(u) = 1710*u**2 - 78*u - 75. Is t(11) a prime number?
False
Let l(q) = 95*q**2 + 73*q - 419. Is l(6) a prime number?
False
Suppose 20*v - 3*v = -153. Is (v - -11)*(0 + (-7318)/(-4)) a composite number?
False
Let a = -311 - -301. Is 10/2 - -424*(-165)/a a prime number?
True
Let o = 870490 - 602711. Is o prime?
False
Suppose 5*x - 30 = 4*b, 29*x - b + 1 = 32*x. Suppose z + 62250 = 4*t, 11*z = x*t + 7*z - 31118. Is t a composite number?
True
Let g(m) = -m**3 + 16*m**2 - 14*m + 3. Let v be g(15). Let s(d) = 2*d - 26. Let a be s(v). Suppose a*f = -1880 + 6550. Is f prime?
True
Let i = 46 + -42. Let l be 2 + i - (4 - 0). Suppose 4*y - 2552 = -3*z, -l*y = -4*y - 4*z + 1286. Is y composite?
True
Let c(k) = -9925*k + 101. Let p be c(5). Is 2/(25/20 + 61881/p) a composite number?
False
Suppose -5939 + 191 = -6*x. Suppose -x = 6*k - 8*k. Is k composite?
False
Let r(k) = 24*k**2 + 7*k - 14. Let d(x) = -2*x**3 - x - 1. Let b be d(-1). Suppose 2*z = 3*g - 23, 19 = b*g - 3*z - 2*z. Is r(g) a composite number?
True
Let u = -32 + 47. Suppose -u*t = 36 - 156. Suppose -3*s + t = -s, 2*j = -s + 378. Is j a composite number?
True
Let d be (12/8 - 2)*4. Let m = d - -4. Suppose -2*p = -m*f - 5*p + 511, 2*f = -4*p + 514. Is f composite?
False
Is ((-220)/(-440))/(2/1259228) a prime number?
True
Let w be -100 - 11 - (2 + -3). Is (908138/w)/(1/(-5)) a composite number?
True
Let a(q) be the second derivative of -2*q**5/5 + 5*q**4/12 + 2*q**3/3 + 2*q**2 - 27*q + 2. Is a(-3) a composite number?
True
Let k = -31 + 28. Let c(l) = 42*l**2 - 14*l - 31. Is c(k) a composite number?
False
Suppose -4*p + 20 = 0, p + 0*p - 13 = -4*c. Suppose 2*q - 4*a + 57 = -7, q = -c*a - 16. Let j = 679 - q. Is j composite?
True
Suppose -20 - 34 = -6*s. Let q = -5 + s. Suppose -q*l + 2*l + 3970 = 0. Is l composite?
True
Let w(f) = 47*f - 3. Let r be w(1). Suppose 0 = b + r - 47. Is (1/(-2))/(b/(-3126)) a prime number?
True
Let p(f) = 1023*f**2 - 11*f + 12. Let r be p(14). Suppose -4*u = -30446 + r. Is u/(-112) + 4/(-14) a composite number?
False
Suppose -m - 3*w + 438 = -558, -2*m - 2*w = -1992. Suppose 0 = -5*u - 10, 0 = 2*h + 5*u + 1103 - 107. Let i = h + m. Is i prime?
True
Let c = 2396 + -1576. Let t = -441 + c. Is t a prime number?
True
Let q = 108945 - -116176. Is q prime?
False
Let l(h) = 0*h + 3*h**2 - 11 + 27*h - 19*h**2 + h**3 - 11*h. Let u be l(15). Let w(q) = 263*q - 15. Is w(u) a prime number?
False
Suppose -2*y - 4*o = -2095958, 5*y - 3*o = 7226696 - 1986853. Is y composite?
False
Suppose j = 1, 8*j - 66 = -4*z + 10*j. Suppose 2*w - 7590 = -4*b, -4*b = z*w - 21*w + 15168. Is w a prime number?
True
Let r(l) = l**2 - 27*l - 152. Let y be r(32). Is 2574 - ((-5)/4)/(2/y) a prime number?
True
Suppose -377*l - 5756163 = -398*l. Is l prime?
True
Let i = 52067 - -34002. Is i a prime number?
True
Let g be ((-1)/((-1)/25))/(3 + -2). Let m(o) = -34 + 74*o + g*o + 16*o. Is m(5) prime?
True
Let p(j) = 236*j - 2. Let l(f) = f**3 - 5*f**2 + 3*f + 9. Let d be l(4). Let c be p(d). Suppose -59 + c = 3*a. Is a composite?
False
Suppose -12*i + 6*i - 204 = 0. Let h be (-166)/i - 6/(-51). Suppose -37279 = -h*m - 6*m. Is m composite?
False
Let t(r) = 4*r + 43 - 6 + 13. Let c be t(-16). Is c/(3*3/(-9)) composite?
True
Suppose -5*g - 1334 + 18369 = 0. Let t be 139212/(-60) - 2/(-10). Let r = t + g. Is r composite?
False
Let s = -95402 - -136983. Is s a composite number?
True
Let w(s) = 1077*s + 45. Let u be w(11). Is ((-24)/(-30))/(-4) + u/10 a composite number?
True
Is 4292353/117 + 2/9 + -5 a composite number?
True
Suppose -25616 = -4*z + b - 6822, -z + 4696 = b. Suppose 3146 = 4*m - z. Is m composite?
True
Let f(q) = 4*q - 35. Suppose j = 5*z - 37, -j + 4 = 5*z - 39. Let s be f(z). Is (-2 - s)/(-2)*-2174 a prime number?
True
Let q = 117701 - -63782. Is q composite?
True
Let h be (-2393 - (1 + 2)) + -2*1. Let v be (-123676)/(-35) + 1 - (-4)/10. Let f = v + h. Is f a prime number?
False
Suppose 93*s + 8*s - 1544997 = 0. Is s a composite number?
True
Let a(d) = -23*d + 210. Let s be a(9). Suppose s*x - 10*c - 12313 = -5*c, 16 = 4*c. Is x a composite number?
False
Let y(l) = -141*l**3 + l**2 + 6*l - 27. Let f(g) = -g**2 + g. Let x(k) = -4*f(k) - y(k). Is x(4) a composite number?
False
Suppose 19*u - 17*u - 1054 = 0. Suppose -5*s + u = -b - 2*b, 3*s + 199 = -b. Let n = b + 725. Is n composite?
False
Let h be 1026/14 + (-195)/21 + 9. Suppose -2*n = -4*i + 5*i - h, -i + 175 = 5*n. Is n prime?
False
Suppose 0*k - 9 = 3*k, 186