ite?
True
Let u be (-1)/1 + 3 + -1 + 1. Let r(o) = 41*o + 7. Is r(u) a prime number?
True
Let i(b) = -b**3 + 27*b**2 + 25*b + 32. Is i(21) a prime number?
True
Suppose -5 = -i - 9. Is (i + (-44)/(-8))/((-3)/(-932)) composite?
True
Is (-5)/(-10)*2782 - (0 - 6) composite?
True
Let l be (-3)/54*-58 - 4/18. Suppose 3*s + 4318 = l*n - 4781, n + 2*s = 3039. Is n a composite number?
True
Suppose -4*u - 242 = -5*u. Let f(z) = -z. Let k be f(-2). Suppose 2*l = k*h - 55 + 303, -u = -2*l + 4*h. Is l a prime number?
True
Suppose 4*m - 2*u = 2500, -m - 2*m - 4*u + 1875 = 0. Let i be (m - 1) + 4/4. Suppose 0 = 4*c - i - 195. Is c composite?
True
Let d = -445 + 5478. Is d a prime number?
False
Let o(w) = -5*w**3 - 7*w**2 + 8*w + 13. Let v be o(-6). Suppose -3*h - 4 + 1 = 0, 3*m - 4*h = v. Is m composite?
False
Suppose -2 = 2*p, -22*v + 26*v - 2*p = 45214. Is v a prime number?
False
Let d = 3615 - 2450. Is d composite?
True
Let f(k) = -26*k**2 - 6*k + 16. Let n be f(7). Is (-7)/(35/n) - -3 composite?
False
Let w be ((180/5)/(-4))/(3/(-2)). Let k(b) = 4*b**3 - 3*b**3 + 5 - 3*b + 8*b. Is k(w) a composite number?
False
Suppose 4*y - 161180 = -16*y. Is y a prime number?
True
Let n = -141 + 18. Let q = n + 206. Is q prime?
True
Suppose 4*f + 0*u = -2*u - 2, 22 = -5*f + 4*u. Let p be 2 - 0*f/(-2). Suppose -o + 3*q + 21 = 0, 2*o + q + 3 = -p*q. Is o a prime number?
False
Let u(a) = -30*a**2 + a - 1. Let b be u(1). Let k be (-5622)/b - 6/(-10). Let q = k + 141. Is q a prime number?
False
Let c = -5 - -10. Suppose c*d = -4*i + 28, -d + 6*i = 4*i. Is 27/18 - (-3478)/d composite?
True
Let v be 1/2*-6 - -3. Suppose v*l = 3*l - 894. Suppose -7*x + 5*x = -l. Is x a composite number?
False
Let w(s) = 454*s - 119. Is w(9) a composite number?
False
Suppose 4*j + 4 = 20. Suppose -2*d + 205 = j*g - 237, 3*d - 641 = 5*g. Is d a prime number?
False
Suppose -12*r + 16*r = 10680. Suppose 7*s - 4183 = r. Is s a prime number?
False
Suppose 4*w = 5*z - 34 + 11, -9 = -z + 3*w. Let j be (-14)/(z + -4 - 1). Suppose -d + j*d - 492 = 0. Is d prime?
False
Let f be ((-3)/(-1))/(-15) - (-105)/25. Is 270 - (-5)/(-4)*f a prime number?
False
Suppose -w + 16150 = -0*w + m, 4*w + m - 64603 = 0. Is w prime?
False
Let i = -26 - -30. Is 3/i - 40575/(-60) composite?
False
Let t = 34844 + -12411. Is t prime?
True
Let l(z) = -z**3 + 5*z**2 - 5*z + 6. Let s be l(4). Suppose 2*y = 6, -s*t - 1 + 48 = 3*y. Suppose 0 = 2*j - t - 43. Is j prime?
True
Let l(r) = r**3 + 8*r**2 + 11*r - 5. Let x be l(-6). Is (-3)/((-12)/524*x) a composite number?
False
Let j = -1413 + 3774. Is j a composite number?
True
Let z be 8/(-3)*483/(-4). Suppose 0*w + 2*w = z. Is w a composite number?
True
Let q = 22 + -17. Suppose 5*i = -3*o - 2*o + 850, 510 = 3*i - q*o. Let j = i + -73. Is j a composite number?
False
Let s = 3954 - 2723. Is s prime?
True
Let a be ((-10)/(-3))/((-1)/(540/(-2))). Let t = a + -47. Is t prime?
True
Is 39062*299/92*(-2)/(-13) prime?
True
Suppose 0 = 4*h - 4*i + 592 - 4096, h + 3*i - 880 = 0. Is h composite?
False
Suppose -y = 4*h - 259, -3*h - 157 = -5*h + 5*y. Suppose 4*m = -3*o + 5*m + h, -4*o + 4*m = -88. Suppose -o*w + 17*w = -815. Is w prime?
True
Let v(k) be the second derivative of -43*k**5/10 + k**4/4 + 7*k**3/6 + 5*k**2/2 - 2*k. Is v(-2) prime?
True
Let t(x) = -2376*x + 233. Is t(-30) composite?
True
Suppose 3*d + 5*t - 11 = 0, 5*d + 3 = t - 16. Let v(j) = j**3 + j - 6. Let g be v(0). Is (1196/g)/(2/d) prime?
False
Let c(x) = -280*x + 41. Is c(-8) a composite number?
False
Let y be (1 - -2) + (-12)/(-4) - 1. Suppose k + 5*f = -k + 138, -y*f = 10. Is k composite?
True
Let v(b) = 3408*b - 133. Is v(3) composite?
False
Is (-11474)/4*(-2)/((-6)/(-6)) a composite number?
False
Suppose -2*f + 5*f + 21 = 0. Let k(n) = -n**3 - 6*n**2 + 4*n. Let o be k(f). Suppose -7 + o = m. Is m a composite number?
True
Let a be ((-138)/(-12))/(3/30). Suppose 0 = 2*b + a - 689. Is b prime?
False
Let f = -23 - -52. Is (22/2 - 4)/(1/f) a prime number?
False
Is 11034/5 - 8/(-40) a prime number?
True
Is (29243 - 0)/((-1 - -3) + -1) prime?
True
Is -32842*5/4*(-30)/75 composite?
False
Let w = -87 - -83. Is ((-22242)/12)/(1/w*2) a composite number?
True
Let y(r) be the third derivative of 167/24*r**4 + 0 + 4*r**2 + 0*r + 0*r**3. Is y(1) composite?
False
Let a(w) = -23 + 12 + 2*w**2 - 19 - 5*w. Is a(-13) a composite number?
False
Let s(h) = 33*h**2 + 15*h - 38. Let p(b) = 11*b**2 + 5*b - 13. Let i(d) = -11*p(d) + 4*s(d). Let y(r) = r**2 + r + 1. Let l(z) = i(z) - 3*y(z). Is l(-5) prime?
False
Let d be -2*2*8/(-16). Suppose -45 = d*z + 3*z. Is (-46)/(z/(180/8)) prime?
False
Let s be (-6 + 3)*(-6)/9. Suppose 5*f = -s*p - 361, 4*f - 6*f = -4*p - 710. Let m = -107 - p. Is m prime?
True
Let a(j) = 91*j + 14. Let b = -50 - -78. Let p = b - 23. Is a(p) composite?
True
Let u(k) = 15*k - 52. Let n be u(11). Suppose -6926 = -3*i - n. Is i a composite number?
True
Suppose -214357 = -17*d + 197434. Is d composite?
False
Is ((-121926)/(-15))/(-7)*-5 composite?
True
Is (-8615 + -3 + 7)/(5 - 6) a composite number?
True
Let z(w) = 479*w - 2. Let m be z(2). Is ((-1)/2)/((-2)/m) a prime number?
True
Let x(a) = a**3 + 2*a**2 - 667. Let m(y) = -2*y**3 - 5*y**2 + 1334. Let o(n) = -2*m(n) - 5*x(n). Is o(0) composite?
True
Suppose 3*h = 4*u + 71699, -46081 = -4*h - u + 49524. Suppose -3*g + 17140 - 2802 = -5*i, -5*g + 4*i = -h. Is g a prime number?
False
Let o(m) = -24*m**2 + 5*m - 4. Let k be o(5). Let y = k + 342. Is 2/(1/(y/(-6))) composite?
False
Suppose -113*y = -86*y - 41283. Is y composite?
True
Let z = 7 - 1. Let v(j) = 4*j**2 - j**3 - z*j**2 + 14*j**2 + 7 - 9*j. Is v(8) a composite number?
False
Let l(g) = g**3 - 50*g**2 - 46*g + 64. Is l(51) composite?
True
Suppose 9*l = 6*l + 2208. Suppose 741 = 7*g - l. Is g a composite number?
False
Let z(t) = 5*t**3 + 5*t**2 - 14*t - 1. Is z(8) composite?
False
Suppose 5*y + 38955 = 5*h, -3*h - 4*y = -21433 - 1926. Is h a prime number?
True
Let b(u) = 2*u**2 + 5*u - 1. Suppose 5*z - m + 43 = 13, -2*z + 4*m = -6. Let w be b(z). Let d = 151 - w. Is d composite?
False
Let r(x) = 682*x - 235. Is r(16) composite?
True
Suppose -h - 2 = 4*m - 9, 11 = 3*m - 5*h. Let i be 2 + m - (-2 + 2). Suppose 0 = -i*t + t + 99. Is t a prime number?
False
Suppose 2*b + 4 = 0, 2*s - 19*b - 32328 = -17*b. Is s a prime number?
False
Let r be ((-7)/14)/((-1)/(-12)). Let i = r + 10. Is (i/(-6))/((-6)/3357) composite?
False
Suppose -4*l - 6 = -3*n, 3*n = -n - 5*l + 39. Is ((-2)/n)/(2/(-834)) a prime number?
True
Suppose -8*y + 6 = -6*y. Is -2*(-29)/3*y prime?
False
Suppose -2543 = -3*a + 38386. Is a composite?
True
Let p(i) = -22*i - 9. Let w(s) = s**3 + 2*s**2 - 2*s + 2. Let u be w(2). Suppose -7 - u = 3*o. Is p(o) a composite number?
True
Let n be 5/1*38/95. Let v(h) = 9*h**3 + 2*h**2 - 3*h. Is v(n) composite?
True
Let u = 81 + 212. Suppose -2*q + u = -q. Is q composite?
False
Let b(u) = u**3 + 7*u**2 + 7*u + 8. Let f be b(-6). Suppose 3*w + 2 = f*w. Is w/((-6)/369) + 4 composite?
False
Let s(a) = -3*a + 683. Let q = 0 + -3. Let m be (0*q/(-12))/2. Is s(m) a composite number?
False
Suppose -p + 14 = 3*a - 6*p, 3*a - 28 = -2*p. Let y be a + 5 + -2 + -1. Let i(c) = 3*c**2 + 12*c - 7. Is i(y) prime?
False
Let p be 2/(-3)*4/((-32)/4044). Let v = p + -176. Is v prime?
False
Suppose 0 = -161*y + 157*y + 6548. Is y prime?
True
Let o be (-4)/(-14) - (-52)/14. Let k = 3 + o. Is ((-29)/2)/(k/(-182)) composite?
True
Suppose -t + 19 = -1. Suppose -4 = -3*n - w + 30, -2*w = -2*n + t. Is -79*1*n/(-11) a prime number?
True
Let h = -3041 - -11098. Is h a prime number?
False
Let v(g) = -116*g - 107. Is v(-20) a composite number?
False
Suppose 5*r + 2*k - 314231 = 0, -2*k + 188529 = 3*r - 4*k. Is r a prime number?
False
Let v be (-1 + -4 - 1)*135/(-54). Is (-179)/((2/3)/((-10)/v)) a composite number?
False
Suppose a - 2*k = -4*a - 76, -5*k + 57 = -3*a. Let f = 13 + a. Is f/3 - 4592/(-24) composite?
False
Suppose 7410 + 252 = 6*v. Is v prime?
True
Suppose -v + 0*p + 2*p = 0, 4*p = -5*v + 56. Suppose 2*o - v = -0*o. Suppose -2*f = -2*n - 7*f + 339, 4*f = o*n - 608. Is n prime?
True
Suppose 0 = -3*p + 4*a + 54566, -2*p - 5*a + 39919 = 3580. Is p composite?
True
Let d(c) = -595*c**3 - 20*c**2 + 11*c + 83. Is d(-6) composite?
False
Suppose -2575 = 