number?
True
Let p(h) = h**3 - 15*h**2 + 16*h - 18. Let l be p(14). Is (-7)/35 + 2212/l a composite number?
True
Suppose 0 = 312*o - 316*o + 5804. Is o composite?
False
Suppose -9*x + 10*x = 0. Suppose x = -3*f + 53 + 61. Suppose 0*v + v - f = 0. Is v composite?
True
Let t = -11 + 11. Suppose t*k = 4*k - 3740. Let q = k + -640. Is q prime?
False
Let g be (-336)/(-9)*((-46)/(-4) + -1). Suppose 0 = z - 327 - g. Is z prime?
True
Suppose -45 = -h + 1000. Suppose 5*p - h = 325. Suppose 3*a - 17 - p = 0. Is a composite?
False
Suppose 3*w - 5 = 1. Let x(o) = 2*o + 38 - w*o - o. Is x(0) prime?
False
Let o = -1724 - -3769. Is o composite?
True
Let p be (-16)/(-5) + (-10)/50. Suppose p*b + 4*j + j = 349, b - 3*j = 135. Is b a prime number?
False
Suppose -2*y + 220 = -550. Suppose 0 = -3*b + 359 + y. Suppose -5*h - 76 = -2*j + 81, -3*j + b = -5*h. Is j prime?
False
Let l(t) = t**2 + 46*t + 340. Let c be l(-47). Let z be -6*((-1)/(-2))/(-1). Suppose 0 = -z*v - 30 + c. Is v a prime number?
False
Suppose 0 = -4*m + o + 302614, m + 4*o - 16197 = 59448. Is m prime?
True
Let k be 2/(27/(-13) + 2). Let p be (-24)/6 - (k + 0). Let i = 36 - p. Is i a composite number?
True
Suppose 880 = 5*q + 7525. Suppose -4*z = -4*a - 7672, -7656 = -6*z + 2*z - 4*a. Let i = q + z. Is i a prime number?
True
Let h(v) = v**3 - 3*v**2 + v + 1. Let g be h(2). Let d(s) = -15*s - 1. Is d(g) a prime number?
False
Is (-4)/(-6)*(-9911742)/(-284) a composite number?
True
Suppose 3*h = 3*i, 3*h - 2 = 3*i - h. Suppose -4*k + 3*k - 3*v = -656, -i*k = 2*v - 1292. Is k a composite number?
False
Suppose 0 = -m + 5*m - 12. Suppose z - 476 = m*c, 3*c = z - 2*c - 466. Is z composite?
False
Let i = 23831 - 16721. Suppose i = -7*l + 2*l. Is (l/27)/(4/(-6)) composite?
False
Suppose 0 = 5*n + 5*j + 310, -2*n + 3*j = -4*n - 125. Let c = 219 + -119. Let d = n + c. Is d a composite number?
True
Let w = -6588 - -10285. Is w a prime number?
True
Let x(b) = -3*b**3 - 15*b**2 + 11*b - 64. Is x(-15) a composite number?
False
Is 2/(-16)*-1 - (-22285766)/592 a composite number?
True
Suppose 2*w + 0 - 2 = 0. Let l be (-56)/(-21) - w/(-3). Suppose d + l*t = 76, 0*d - 4*d + 4*t = -352. Is d composite?
True
Let o = 39 + -29. Is 4/o + (-15565)/(-25) composite?
True
Let s be (-6340)/4 - 6/2. Is s/(-6)*(-42)/(-28) a composite number?
False
Let u(l) be the second derivative of 2*l**4/3 + l**3/3 + 15*l**2/2 - 18*l. Is u(8) a composite number?
True
Suppose 10*t - 4*t - 5514 = 0. Is t composite?
False
Suppose -2*o = -3*o + 152. Let n = o + -87. Is n a composite number?
True
Let c = 0 - -4. Let h(f) = 13*f**2 - f + 2. Let i be h(7). Suppose -i = c*t - 3708. Is t a prime number?
True
Suppose 12542 = 7*b - 13624. Is (b - -1)/1 - (-60)/20 a prime number?
False
Let r(w) = -2*w**3 - 2*w**2 + 1. Let v be r(-2). Is (60/8)/5*582/v composite?
False
Let o(t) = t**3 - 2*t**2 - 16*t + 25. Suppose 4*r = -r + 4*j + 66, r + 4*j = 18. Is o(r) a prime number?
True
Suppose -2*i = 5*u - 115, 3*u = -2*u + i + 115. Let y(q) = -q**2 + 4*q + 3. Let f be y(4). Suppose -f + u = 2*d. Is d a prime number?
False
Is ((-24764)/6)/((-2)/3) a composite number?
True
Let b = -76 + 58. Is 4/b - (-9310)/18 composite?
True
Suppose 0 = -g - v - v + 210, -4*v = 3*g - 626. Let x = g + -88. Is x prime?
False
Let r(h) = -4958*h - 1331. Is r(-9) a prime number?
True
Let p be 5/25 - ((-134)/5 - 0). Is (-27774)/p*(-9)/6 prime?
True
Let j = -223 - -632. Is j prime?
True
Let i(w) = w**3 - 16*w**2 + 4*w - 22. Let l be i(14). Suppose 0 = 2*f - 1696 + 598. Let x = l + f. Is x composite?
False
Suppose -4*y + 8*y - 24 = 0. Let b be (-5487)/(-12) + (-3)/12. Suppose -s + 2*i - y*i + b = 0, 4*i = 4*s - 1768. Is s composite?
True
Is (-26)/(-247) - ((-3743220)/76 + 2) prime?
False
Suppose i + 1 = -0*c - 2*c, -2*c - 4 = -2*i. Is i/(2*(-4)/(-6152)) a composite number?
False
Let a(r) be the first derivative of -r**3/3 - 3*r**2/2 - 7*r - 2. Let i be a(5). Let y = -33 - i. Is y composite?
True
Let c be 0/(-4)*-1 - 0. Suppose c*i - 596 = -3*i + m, 401 = 2*i + 3*m. Is i a composite number?
False
Let y be (-1952)/10 - (-1)/5. Let z = 98 - y. Suppose -h + z = -0*h. Is h a composite number?
False
Suppose -3*n - 1390 = -o, 1396 = 4*o - 3*o - 5*n. Is o a composite number?
False
Suppose 6*y - 2*y - 16 = 0. Suppose 20 = y*m + m. Is 74/m + 8/16 composite?
False
Suppose -5*y - m - 4*m + 290 = 0, 5*m = -3*y + 180. Suppose -b - 22 = -2*q, -q - 3*b + y = 4*q. Is q a prime number?
True
Let h be 1 + -2 + 1377 + 2 + -1. Suppose -3*t = -2766 - h. Is t a composite number?
False
Let r = 152 - -226. Let o = r - -41. Is o a composite number?
False
Suppose 0 = -d + 1070 + 1028. Let p(w) = -32*w - 59. Let o be p(-2). Suppose -o*t = 20, -4*t - d = -2*r - t. Is r prime?
False
Suppose 3*d = -4*w - 0*d + 65164, -d = 0. Suppose 9*c - w = -2*c. Is c prime?
True
Let u(f) = f**3 + 14*f**2 - 9. Let h be u(-14). Let x(m) = m**2 + m. Let c(w) = w**3 - 21*w - 19. Let p(a) = -c(a) - 2*x(a). Is p(h) prime?
False
Suppose 150 = -4*u + 162. Is u - 12*392/(-6) a composite number?
False
Let a(n) = -35*n - 15. Let y(r) be the third derivative of -35*r**4/8 - 22*r**3/3 + 8*r**2. Let z(d) = 7*a(d) - 2*y(d). Is z(-12) a prime number?
False
Let y = 3979 + -394. Suppose y = -2*o + 5*o. Let f = o + -582. Is f prime?
True
Is (1126*9/27)/(2/3) a composite number?
False
Let s(h) = 22*h**2 + 15*h - 12. Let o be s(10). Let p = -1443 + o. Is p prime?
False
Suppose -4*p + 6 = -6. Suppose 0 = 2*u - 4*g - 66, -u + 4*g = p*u - 152. Is u prime?
True
Let t = 4478 - 2278. Suppose t = 5*u + n - 1782, -2*u = -4*n - 1606. Is u composite?
False
Suppose -5*r - 11141 = -4*r. Let d = -7776 - r. Is d a composite number?
True
Let o be (40/(-16))/((-1)/(-2)). Let z = o + 16. Let m = z - 8. Is m a composite number?
False
Suppose 0 = 3*l - 2*l + 3*u + 875, l + 859 = 5*u. Let c = 1432 + l. Is c prime?
True
Let t be 8*(1 - 7/(-2))/6. Suppose -t*d + 119 = -103. Is d composite?
False
Let y(z) = z**2 + 2*z + 1. Let h be y(-3). Suppose 0 = 5*a - 6*a + h. Is ((-574)/a)/(1/(-2)) a prime number?
False
Let r(t) = t**3 + 47*t**2 - 96*t - 29. Is r(-37) a composite number?
True
Let f(l) = 482*l**2 - 4*l - 5. Suppose -3*v + 16 = -2*x, 20 - 8 = 3*v. Is f(x) composite?
False
Let p(t) = 5*t + 1. Let f be p(1). Let k be (-39)/((-1)/(f - 3)). Suppose -4*q + 191 = -k. Is q a prime number?
False
Let l(w) = -w**2 - 27*w - 16. Let d be l(-11). Suppose 94 = 2*q - d. Is q a prime number?
True
Let c = 1025 + 106. Suppose -v - 288 + c = 0. Is v a prime number?
False
Suppose 3*x = 4*g + 3 + 2, 2*g - 2*x + 2 = 0. Is (g - (-68)/8*-2)*-1 composite?
False
Let l(r) = -r + 18. Let u be l(11). Let o be 4/10 - (-26)/10. Suppose -u*q + 596 = -o*q. Is q prime?
True
Let t = 10287 + -2894. Is t a composite number?
False
Is 3/6*-4 + (-30657)/(-1) prime?
False
Let m(z) = z**2 + 12*z + 12. Let x be m(-11). Let f be (-4 - -2)/x - -5. Suppose f*t - 1839 = 396. Is t prime?
False
Suppose -3*a = -7346 + 512. Let d = a - 1019. Is d composite?
False
Let t = 6988 - -1275. Is t prime?
True
Let g = -20415 + 30937. Is g a prime number?
False
Let z(b) = -b**2 - 29*b + 35. Let u = 14 + -40. Is z(u) a prime number?
True
Suppose p - 8 = -p + s, -3*p + 5 = 2*s. Suppose 0 = 9*i - p*i - 402. Is i composite?
False
Is ((-4144)/32)/(2/(-4)) a prime number?
False
Let r(b) = -2*b. Let q be r(1). Let x(u) = 87*u - 2. Let w be x(q). Is 1/(1 - w/(-178)) a prime number?
True
Let c = 2668 + -1742. Is c composite?
True
Let a = -59 + 61. Suppose n + 2*v = 423, 0*n - a*v = -3*n + 1285. Is n a prime number?
False
Let n(i) = 3*i**2 - 3*i + 2. Let h be n(4). Suppose l - 2*l = 0. Suppose m + l*m = h. Is m composite?
True
Suppose 6 = -4*o - 30. Let b(f) = f**2 + 11*f - 13. Let k(n) = n**2 + 11*n - 13. Let y(s) = -4*b(s) + 3*k(s). Is y(o) a prime number?
True
Suppose 105303 = 3*z - 3*o, 0 = z - 5*o - 11065 - 24044. Is z a composite number?
False
Suppose -26*a + 518206 = -174096. Is a a prime number?
True
Let x = -1199 + 9642. Is x a prime number?
True
Let k = 6 + 6. Let z = -11 + k. Let n(q) = 148*q**3 + 2*q**2 - 1. Is n(z) composite?
False
Suppose 0 = -4*q - 5*w - 13916, -q - 4*q - 2*w = 17412. Is 6/4*q/(-6) composite?
True
Let y(g) = -52*g + 4. Suppose -5*x = 4*r + 34, -2*x - r - 17 = 4*r. Let q be y(x). Let b = q - 125. Is b a 