site?
False
Let m(y) = 3*y - 15 - 10*y + 10*y - 63*y**2. Let n be m(3). Let l = -164 - n. Is l a composite number?
False
Is 3*8430/(-27)*7*15/(-70) composite?
True
Let l(n) = 3*n**3 - n**2 - 3*n + 14. Let y be l(4). Let z = y - 29. Is z a composite number?
False
Suppose -y + 6 = h, -5*h = -3*y + 4 + 6. Is (-21)/105 - ((-9066)/y - -2) composite?
False
Let m(s) = 138*s**2 - 2*s - 823. Is m(18) prime?
True
Suppose -6132059 = -22*w + 3816495. Is w a prime number?
False
Let c be 16/6 + (-8)/(-6). Suppose 0 = -c*u - 25 + 17. Let o(n) = -157*n**3 + n**2 - 1. Is o(u) a composite number?
False
Is (-73873974)/(-1990)*(-10)/(-6) a composite number?
False
Let a(r) = 119*r + 224. Is a(87) prime?
False
Suppose 0 = -5*d - 5, 2*d = -11*c + 9*c + 4492. Let k(o) = 274*o - 6. Let f be k(4). Let j = c - f. Is j a prime number?
False
Let c be (-3)/2 + (11/2 - 0). Suppose 4*n - 2*n - c*f - 2156 = 0, n - 1074 = 4*f. Suppose 24*g + n = 26*g. Is g a prime number?
True
Let w = 42 - 199. Let i = w + 328. Suppose -1063 = -4*h - i. Is h a prime number?
True
Let i(t) be the first derivative of t**2 + 12*t - 15. Let x be i(-4). Suppose -2*y = -0*h + 3*h - 622, -x*y - 2*h = -1260. Is y a prime number?
True
Suppose 14*g + 9*g - 566986 = 9*g. Is g prime?
True
Let g(r) = -7*r**2 + 7*r + 35. Let n(h) = 14*h**2 - 13*h - 69. Let s(b) = 11*g(b) + 6*n(b). Suppose -16*w = -19*w - 42. Is s(w) a composite number?
True
Suppose -9*x + 7*x - 76867 = -p, 230605 = 3*p - 4*x. Is p a prime number?
True
Suppose 22164 = 9*y - 15*y. Is (y/3)/(1/3*-2) a composite number?
False
Let l = 206 - 795. Suppose -3*m - 2514 = 4206. Let a = l - m. Is a a prime number?
False
Suppose -5*k = -2*m + 7527, 5*m - 20966 = -4*k - 2165. Is m prime?
True
Let h(l) = 674*l - 189. Let y be h(23). Let s = -10200 + y. Is s composite?
False
Let l be (-12)/10*(-5)/3. Let g(c) = -l*c + 6*c**3 - 22*c**2 - 7*c**3 + 3*c**3 + 23 + 0*c**3. Is g(13) a composite number?
False
Let w(j) = -j**3 - 11*j**2 - 11*j - 5. Let b be w(-10). Let n be 4 - (-13)/(52/50628). Suppose b*s = 16*s - n. Is s a composite number?
False
Suppose 268 = d - 2477. Suppose -2*s + d = -1729. Is s a composite number?
False
Let a = 544 + -466. Suppose -2*f + 4*o + 19302 = 0, a*f + 2*o = 83*f - 48223. Is f prime?
True
Let c(y) = 111*y**2 - 4*y - 14. Suppose -r - 57 = -2*l, l - 41 = -r - r. Suppose -l = -5*h - 6. Is c(h) a composite number?
False
Let c be (-42)/(1 - 15) + -1*1. Suppose 2*f - 14998 = -c*x, 9*f = 5*f - 8. Is x composite?
True
Suppose 32253 = -10*a + 391023. Is a prime?
False
Let b = -56023 - -105120. Is b prime?
False
Suppose 2*r - v - 5 = 6*r, -v - 5 = 2*r. Suppose 3*z = -3*t, 2*z - t - 3 = -r. Is 0 - z - (-187 - 1) a prime number?
False
Let q = -210 - -213. Is 1*q*60038/66 a composite number?
False
Let n(g) = 1169*g**2 + 23. Let d be n(4). Suppose -27765 = -4*b + d. Is b a composite number?
True
Let i = 395534 - 273465. Is i composite?
False
Let h(a) = -70879*a**3 - 3*a**2 - 6*a - 5. Is h(-1) a composite number?
False
Let f(n) = -n**2 + 9*n + 2. Let k be f(9). Suppose -2 = b + 3, -k*l + 8775 = -3*b. Suppose 0 = 5*h - l - 13945. Is h prime?
False
Let h(b) = 11*b**3 - 6*b**2 - 11*b + 11. Let l be 45/3 + (-8)/1. Is h(l) a prime number?
True
Suppose -220 = 4*r - 4*l, 172 = -2*r - 2*l + 42. Is r/80*(-138328)/6 a composite number?
False
Suppose -3*u + 3 = -3*b, -12 = 4*u - 6*u - 3*b. Suppose -4*x = -u*d - 3667, 5*d - 3225 = -3*x - 453. Is x composite?
False
Let j = 149 + -146. Suppose 0*d - 5*d - 2*c + 44 = 0, -j*d = -5*c - 14. Suppose -3*h - 4*o = -5699, -3*h - 4*o - 9445 = -d*h. Is h prime?
False
Let z be (2634 + 2 - (17 - 17)) + 0. Suppose -z = -5*y + 1469. Is y composite?
False
Is -43 + 379034 + 2*-7 composite?
False
Let s(a) = 8*a**3 - 15*a**2 + 4*a - 1. Let m(i) = -i**3 + i**2 + i - 9. Let h be m(0). Let u be 4 - (-5 - h/3). Is s(u) a prime number?
False
Let l(a) be the second derivative of a**7/2520 - a**6/720 - a**5/8 + 7*a**4/6 - 2*a. Let h(y) be the third derivative of l(y). Is h(-8) prime?
False
Let t(w) = -10*w - 32. Let d be t(-4). Is 16712 + d + 1 - -6 prime?
False
Let x(g) = 4*g**3 - 7*g**2 - 17*g - 3. Is x(11) a prime number?
False
Let z be (6874164/(-231))/(1/(-7)). Is z/(-30)*(-35)/14 a prime number?
True
Suppose -15*a + 452506 = -a + 20*a. Is a prime?
True
Is 15/105 - 3731664/(-56) a prime number?
False
Let a(x) = 21*x**2 + 1061*x + 65. Is a(-98) composite?
False
Let t = 1 + -2. Let g = 4144 + -4143. Is t/(2/(g + -21)) a composite number?
True
Let g = -13221 - -23113. Suppose c - 3*o = -174 + 5120, -2*c - 3*o = -g. Is c composite?
True
Let h(b) = -291*b - 136. Let n(y) = -9*y + 5. Let m be n(2). Is h(m) a composite number?
True
Let w be ((-30)/9 + 3)*69. Let j be 2*w/(-2) - 3. Is (-4212)/(-30) - (-12)/j prime?
False
Let u(t) = t**2 + 8*t - 24. Suppose n - 5*n + 192 = 0. Let l = n - 67. Is u(l) prime?
False
Suppose -4*f + 160342 = 2*x, 145*f = x + 143*f - 80159. Is x a prime number?
False
Let x(z) be the first derivative of z**2/2 + 14. Let b be x(4). Let a(o) = 49*o**2 + 7*o - 9. Is a(b) composite?
True
Let x(u) = 303*u + 409. Let n be x(-7). Let q be (35336/(-12))/(6/(-9)). Let g = q + n. Is g a composite number?
True
Let v be 4/36 + 2*(-5645)/(-45). Let h = 570 - v. Is h a prime number?
False
Suppose -125*r + 15*r + 67739837 = 26135307. Is r a composite number?
False
Let w = 81954 - 45209. Is w a prime number?
False
Suppose 3*o = 2 + 4. Suppose -11 = o*v - 17. Is -1*v/2*-2234 a prime number?
False
Suppose -39*o + 36*o = -27. Suppose -2*j = -o*j + 5964. Suppose -j - 1513 = -5*i. Is i composite?
True
Let p = 52 + -49. Is 5*p*388/12 a composite number?
True
Let j(c) = 1145*c**2 - 290*c + 285. Is j(44) prime?
False
Let v(z) be the second derivative of -26*z**3/3 + 29*z**2 + 31*z. Let q be v(-6). Suppose -67*x + 72*x = q. Is x a composite number?
True
Suppose -10*m + 21890 = -49940. Is m composite?
True
Let k = 10967 - -764. Is k a composite number?
False
Suppose 3*t + 2*r = 16, -3*t - 2*r + 21 = r. Suppose -4*c - 2 = 5*p, 2*p + 0 = -c - t. Suppose 973 = c*q + 3*x, -2*q - x = -406 - 565. Is q a prime number?
False
Let v(w) = 113*w**2 - 58*w + 114. Is v(16) a prime number?
False
Is (211416/18)/((-32)/(-24)) prime?
False
Let a(r) = -2*r**3 + 4*r**2 - 2*r + 10. Let f(z) = z**3 - 3*z**2 + 3*z - 11. Let m(j) = -3*a(j) - 4*f(j). Let c be m(7). Let s = 1107 - c. Is s composite?
False
Let j(u) = 510*u - 529. Is j(4) a prime number?
True
Suppose 59*g - 1670339 = 1273112. Is g prime?
False
Suppose -3*b - 4 = -4*b. Let d = -1044 - -1504. Suppose 2*z + 26 = b*j + 316, -d = -3*z + j. Is z a prime number?
False
Is ((-864)/(-168) + -5)*(0 + 25815769) a composite number?
False
Suppose 1916053 = 41*d - 2290046 - 2116552. Is d a composite number?
False
Is -5 + (17 - 4) + 8145 a prime number?
False
Let o(d) be the second derivative of -40*d**3/3 + 59*d**2/2 - 21*d - 2. Is o(-21) composite?
True
Let y be (-20)/(-5)*284/16. Suppose -66*c + y*c = 1255. Is c composite?
False
Suppose -2*z - 2*w - 2 = 0, -4*z - 18 = -0*w - 3*w. Is (z + 43096/16)*2 a prime number?
True
Let r = 221501 + -110266. Is r prime?
False
Let s = -777 - -1591. Suppose 7*j - 13743 = -s. Is j a composite number?
False
Let p be (-5)/((-9)/(4 - 1) - -2). Suppose 2*t + 2*t = 3*d + 5006, 0 = p*d - 10. Is t a prime number?
False
Suppose 12 + 12 = 3*d. Suppose -5*g + 38 - d = 0. Suppose -4*p + 2950 = g*p. Is p prime?
False
Let g(c) = -2*c**2 - 3*c + 2. Let i be g(1). Let b(j) = j**2 + j - 6. Let m be b(i). Suppose -4*t - 3*t + 1757 = m. Is t a prime number?
True
Suppose 0 = -85*b + 90*b - 5655. Let j be (-4)/(-6)*3 + b. Suppose 3305 + j = 2*g. Is g prime?
False
Suppose 5*h = 5*m + 53580, -45*m + 44*m - 107115 = -10*h. Is h prime?
True
Let r(p) = -p**3 + p**2 - 3*p + 3. Let u be r(4). Let z = u - -39. Is (6/z*2631)/(0 + -1) a composite number?
False
Suppose -22*a + 17*a + 222067 = -3*p, p + 133245 = 3*a. Is a a composite number?
False
Suppose 4*m - 3*g = -23, 9 = -5*m + g - 17. Is 66/(-110) + (-158)/m a composite number?
False
Let n = 415 + -424. Is -1 + n + 6676 - (4 + 1) prime?
True
Let l(q) = 3*q**3 + 1 + 34*q - 27*q - 7*q**2 - 5*q**3 - 6*q**3 - 3*q**2. Is l(-10) a composite number?
True
Suppose -358 - 542 = -6*f. Suppose 4*u + t - 418 = f, -u - t = -145. Is u prime?
False
Suppose -7898 =