 a prime number?
True
Suppose 54*k = 43*k + 98879. Let o = k + -4656. Is o a composite number?
True
Suppose -114 = -4*f + 70. Let b = f - 35. Is 2/b - -1542*27/66 a composite number?
False
Let d(k) = k**3 + 11*k**2 + 23*k - 15. Let g be d(13). Let b = -1665 + g. Let z = b + -1434. Is z a prime number?
False
Let o(g) = -3*g - 8. Let b be o(10). Let s = 43 + b. Suppose 10*f - s*f = 2455. Is f a composite number?
False
Suppose -2*s + 49788 = 4*q, 3*s = -2*q + 5*q - 37341. Suppose 0 = h + 2, -5*a + 21414 = 2*h - q. Is a a prime number?
False
Let h(u) = -142614*u**3 + 3*u**2 - 11*u - 9. Is h(-1) a composite number?
False
Suppose 4*b = 2*d, 2*b - b + 4*d + 9 = 0. Let q(x) = -6*x**2 - 5*x - 2. Let k be q(b). Is -2*(k/4)/(6/2692) a composite number?
False
Let g be -2 - (-715 + (-56)/(-8)). Let a be 1*-1*(0 - 227). Let i = g - a. Is i prime?
True
Let z be (24/20)/((-9)/120). Is (-4)/z*7116*1 composite?
True
Let w = 55319 + 94416. Is w a composite number?
True
Suppose 1207797 = 10*u + 523226 - 2087799. Is u a composite number?
True
Suppose 4*d - 3*h - 6 = 0, -13*d + 15*d - 3*h - 6 = 0. Is -1637*(d - 10 - -5) a prime number?
False
Suppose -4*h = 5*k - 8, h - 1 = -5*k + 1. Suppose c - 9 = -s - k*c, 5*s - 15 = c. Suppose s*r - x - 119 = 0, -r - 8 = 4*x - 59. Is r a prime number?
True
Let a = -3 + 25. Let y be 451/(a/(-12) - -2). Suppose 4*f - 6*c = -4*c + y, 0 = f - 2*c - 675. Is f prime?
True
Let p be (4/14 + 1045/(-154))*-354. Let u = p + -1480. Is u prime?
True
Suppose 4*t + 10004 - 3764 = 0. Let g(p) = 13*p**3 + 7*p - 9. Let l be g(-4). Let j = l - t. Is j composite?
False
Suppose -71 - 9 = 20*v. Is (-7 - v)/(24/(-536)) a prime number?
True
Let b(t) = 6*t**2 - 6*t + 5. Let w be b(5). Suppose w = 4*i + i. Suppose 2*f = -3*f - i, -2*p - 4*f = -1278. Is p a prime number?
False
Let x(u) = -u + 9*u - 9 + 81. Let a be x(-8). Suppose -24*r + a*r + 17232 = 0. Is r a prime number?
False
Let l(q) be the second derivative of -4201*q**3/6 - q**2/2 - 83*q. Is l(-12) a composite number?
False
Suppose 127*n + 135259 = 168*n. Is n a prime number?
True
Let a be 1 - (4*-1 - (-7413 - -19)). Let p = -4784 - a. Is p a composite number?
True
Suppose -2*z = i - 185137, 300*i + 3 = 301*i. Is z a prime number?
True
Let a = 36 - 23. Let t(g) = -2*g**2 + 6*g**2 - 12*g - 3 + g**3 - 9*g**2. Is t(a) prime?
True
Is 1 + 15/(-16) - 220347668/(-6848) a prime number?
False
Let v(u) = -u + 20. Let r be v(-7). Suppose -r*w + 25*w = -79214. Is w a composite number?
False
Let k(t) be the third derivative of t**4/24 + 13*t**3/6 + 16*t**2. Let i be k(-10). Suppose -3*z + 213 = 3*j, -2*j + 10 = i*j. Is z a composite number?
True
Let j be (21 - 17)*(2 + -1). Suppose j*l + 381889 = 35*l. Is l composite?
True
Suppose 1 = y - 2. Suppose -18979 + 1409 = -35*t. Suppose -k - t = -y*k. Is k composite?
False
Suppose 3*q - 12 = x, -2*x + 5*q = 4*q + 4. Suppose -2*s + x*s + 1150 = -4*v, 0 = 3*s + 2*v - 1741. Is s prime?
False
Suppose -45 = -2*k - 41. Suppose 3*u = k*m - 9, -u - 3*m - 4 = -1. Is (-1193)/3*u - 0 prime?
True
Let v = 49385 - 23862. Is v a prime number?
True
Let c be 6*(-5132)/6 + -3. Let s = c - -9336. Is s prime?
True
Suppose 36*a - 3529364 = -40*a. Is a prime?
True
Let b(j) = 2*j + 3278*j**3 - 5*j + 2055*j**3 + 4*j**2. Let x be b(1). Suppose 18*w - x = 12*w. Is w a composite number?
True
Let w = 364632 - 84815. Is w composite?
False
Is (-13*(-44)/286)/(4/380522) prime?
True
Let v = -44 - -43. Let d(m) = 53*m**2 - 1. Let t be d(v). Suppose j + t = 461. Is j a prime number?
True
Let v = -92 + 85. Let s(c) = c**2 + 10*c + 25. Let d be s(v). Suppose -d*o + 2*o = -1942. Is o prime?
True
Suppose -m + 3511 = -0*m + c, -m + 2*c + 3505 = 0. Let l be -4 + 12/(-5)*120/(-48). Is (l/1)/(22/m) a composite number?
True
Suppose 0 = 664*y - 670*y + 24. Suppose -3*d + 85309 = y*d. Is d a composite number?
True
Let m be -56 - -15 - 5/(-1). Is (-8)/m - (1 - (-77900)/(-18)) a composite number?
False
Suppose -4*i + 14977 = -7231. Let b = i + -2005. Is b composite?
False
Suppose 3*g - 54238 = -2*u + 30357, g - 5*u - 28221 = 0. Is g a prime number?
True
Suppose -2*v + 6*g - 26259 = -106237, -4*v + 4*g = -159908. Is v a prime number?
True
Let v(j) = -3*j**3 - 11*j**2 - 11*j - 44. Suppose -5*x + 19 = -4*u - 0, -4*x = 4*u + 28. Is v(u) a prime number?
False
Suppose -6*r - 11 + 53 = 0. Is 140 + (3 - (r + -4)) + 1 a composite number?
True
Suppose -3 = k + 1, 5*z + k + 4 = 0. Let u(m) = 2*m - 1797. Let l(b) = -4*b + 3595. Let c(x) = 4*l(x) + 7*u(x). Is c(z) prime?
True
Let s = 19 + -15. Suppose -4*m + 38221 + 34467 = 4*d, -m = s*d - 18184. Suppose 564 = 12*w - m. Is w composite?
True
Let s be 340/6 + (-92)/138. Suppose -23*h + s*h = 93027. Is h composite?
False
Suppose 29*v - 31*v + d = -603063, -1206106 = -4*v - 2*d. Is v composite?
True
Suppose -511*x + 507*x - 26459 = -u, 3 = -x. Is u composite?
True
Is (-4307145)/(-9) - ((-187)/(-33) + -5) a prime number?
True
Suppose 1679246 = 47*y - 463373 - 1451142. Is y prime?
True
Suppose 18*t - 4569872 = -187563 - 295823. Is t composite?
False
Suppose 5*a - 1343 = -5*c + 4352, 3*a = 3*c - 3435. Is 2/24*6*c prime?
True
Suppose 0 = 8*v - 18 - 150. Suppose -13 = 8*p + 163. Is (v + p)*79*-1 prime?
True
Suppose 0 = 4*g, 15*u - 2*g + 345404 = 19*u. Is u a composite number?
False
Let h(x) = 12*x**2 + 682*x - 751. Is h(106) composite?
True
Let f be (-400)/((-37)/45 + (-15)/(-25)). Suppose -f = 4*y - 13*y. Let j = y - -59. Is j composite?
True
Let x = 450 - 460. Is x + 6628 + (-10)/(-3 - -1) a prime number?
False
Let k = -189 - -200. Is (-1)/((1/(-1))/(k + 7890)) composite?
False
Let p = 623 - 615. Is (8916/18)/(p/12) a prime number?
True
Let x(y) = 5*y**3 - 57*y**2 + 125*y + 221. Is x(44) a composite number?
False
Is 136/51 - (-1316860)/12 a composite number?
False
Suppose 19*c - 13917 - 22050 = 0. Is c composite?
True
Suppose -6*z + 215441 = -578977. Is z prime?
True
Let a be ((-2)/12*2)/((-7)/63). Suppose 0 = a*m + 6, m - 15 = -r + 6*m. Suppose -5*q + 743 + 593 = 3*k, 0 = r*q + 2*k - 1339. Is q a composite number?
False
Suppose 0 = v - 2, 5*r + 57*v = 62*v + 1944405. Is r a prime number?
False
Let q be 14*((-26)/4 + -1). Let c = 751 + -657. Let b = c - q. Is b composite?
False
Let m = -25 + 34. Let x be m/(-2)*(-76)/171. Is (-30)/(-45)*669/x prime?
True
Let p(t) = 12*t**3 + 6*t**2 - 9*t + 14. Let w be p(10). Let n = w + -6526. Is n a prime number?
False
Let o(i) = -46*i**3 + 26*i**2 + 209*i - 21. Is o(-10) a prime number?
True
Suppose 4*z + 3177*d - 293113 = 3178*d, 6*d + 30 = 0. Is z a composite number?
False
Let d(a) be the first derivative of 322*a**3/3 - 13*a**2/2 - 29*a - 73. Is d(-2) composite?
True
Let m = -7 + 8. Let q(o) be the second derivative of 63*o**3/2 - o**2 - o + 55. Is q(m) composite?
True
Let j(a) = -347*a - 6 + 1 + 3 + 22. Is j(-3) prime?
True
Let o be ((-23 - -6) + 7)/(1/2). Is o/(-5) + -1 - -4630 prime?
False
Let y(f) = -174*f**2 - 5*f - 14. Let z be -6*3*5/(-45). Let m(d) = -870*d**2 - 24*d - 69. Let k(w) = z*m(w) - 11*y(w). Is k(-3) composite?
True
Let a(m) = 14*m + 9*m + 6*m - 9*m + 16*m - 9*m**2 - 43 - 3*m**3. Is a(-17) a prime number?
True
Suppose 66*h = 68*h + 16. Is (4 - (-17250)/h)/(4/(-16)) prime?
True
Let f(o) = -156*o - 81. Let n(s) = -31*s - 16. Let h(q) = -2*f(q) + 11*n(q). Let d(p) = -58*p - 27. Let c(a) = -4*d(a) + 9*h(a). Is c(-13) prime?
True
Suppose 4*q + 14 = 5*t, -3*t = 5*q - 1 - 0. Suppose 3*f = -3*v + 10107, 2*f + v = -t*v + 6742. Is f a composite number?
True
Suppose 97992 = 5*k + 4*k. Suppose 38*w - 46*w + k = 0. Is w a prime number?
True
Let c be (-2)/(-3) + 0 - 42672/(-9). Let o = c + -3150. Let b = -913 + o. Is b a composite number?
True
Let l(t) be the second derivative of -1/6*t**3 - 1/12*t**4 + 13*t + 0 + 685/2*t**2 + 1/20*t**5. Is l(0) a composite number?
True
Is 49213983/247 + 12/114 prime?
True
Let q = -2269 - -5969. Let r = q - 1889. Is r a composite number?
False
Let r(h) = -h**2 + 7*h + 6. Let m be r(7). Suppose 0 = -5*q - 3*z + 3, -m*z - 3 = 3*q - 3*z. Suppose 4*y = 5*n + q*y - 1285, 4*y = 0. Is n prime?
True
Suppose k - 257 = -2*a, 0 = -0*k + 4*k + 12. Let v = a - 128. Suppose -2*m = -8*j + 5*j - 301, v*m - 299 = j. Is m composite?
False
Is 521021 + 14/(-6) + (-341)/165*-5 a prime number?
False
Suppose 2*t + 3*t = 4*y