osite number?
True
Is (-19841364)/(-972) - (-4)/54 a composite number?
True
Suppose 4*x + 5 = -4*z - 3, -4*x - 8 = 3*z. Let m = z + 2. Suppose -4*u + m*b + 1866 = 0, 3*b - 21 = u - 475. Is u prime?
False
Let l = 620075 + -354552. Is l prime?
False
Let k(d) = -6*d**3 + 2*d - 1. Let h be k(1). Let o(n) be the first derivative of n**4/4 + 7*n**3/3 + 3*n**2/2 + 8*n - 10. Is o(h) a prime number?
True
Let n(u) = -u - 17. Let x(o) = -o. Let y(d) = -2*n(d) + 6*x(d). Let m be y(8). Suppose m*r - 724 - 546 = 0. Is r prime?
False
Let y(s) = -752*s - 84. Let k(b) = -1128*b - 126. Let p(q) = -5*k(q) + 8*y(q). Suppose 15*o = 140 - 215. Is p(o) prime?
False
Suppose 2*q - 4 = -2*q. Let o be 2/((q + -3 + -2)/(-6)). Suppose -3*s + 9084 = 4*b - 5*s, o*s + 9084 = 4*b. Is b composite?
True
Let n(s) be the third derivative of 5/6*s**3 + 0*s - 3*s**2 - 1/60*s**5 - 1/6*s**4 + 0 + 23/24*s**6. Is n(2) a composite number?
True
Let u(j) = -j - 6. Let x be u(-10). Let s(y) = -16*y**3 - 4*y**2 + 8*y + 4. Let c be s(-3). Suppose 1440 = x*o - c. Is o a prime number?
False
Let t = 788 + -2606. Let h = 235 - t. Is h a composite number?
False
Let h(i) be the first derivative of -11 + 13*i**3 + 140*i - 7*i + 102*i - 14*i**3. Is h(0) a composite number?
True
Let r(u) = u + 12. Let g be r(-12). Suppose -3*j - 587 = -l, j = -5*l - g*j + 2935. Is l composite?
False
Let i be (-1)/(-4) - (-237)/12. Let s = i - 20. Suppose h + s*b = -b + 19, 5*h - 5*b = 95. Is h a composite number?
False
Suppose 0 = 7*n - 10*n - 3, 4*f - 1475 = -5*n. Suppose c - 3*k = 193, -5*c - 5*k + 555 = -f. Is c a prime number?
False
Is ((-134625)/(-105) - 13)/((-2)/21*-3) a prime number?
False
Suppose 2*q - 10 = -3*q. Let l be q/(-11) - 368/(-88). Suppose -4*g - l*u = -9*u - 416, 343 = 3*g + 4*u. Is g a composite number?
False
Suppose -7*o - 40 = 3*o. Let a(t) = 27*t + 17. Let i(d) = 81*d + 50. Let w(j) = -7*a(j) + 2*i(j). Is w(o) prime?
True
Let f(b) = 1729*b**3 - 12*b**2 + 19*b - 71. Is f(5) a prime number?
False
Suppose -3*y - 29 = -3*p + 31, 2*y + 4*p = -52. Let b be 2*2/y + 246/22. Suppose -b*d + 3604 = -7*d. Is d composite?
True
Let d = 443160 - 176827. Is d a prime number?
True
Let p = 87602 - 176903. Is p/(-204)*4*(-1 + 2) prime?
False
Let j(a) = -266*a**3 + 25*a**2 + 23*a + 7. Is j(-5) composite?
False
Let h(r) = 79*r**2 + 8*r + 1. Let t(s) = -53*s**2 - 5*s - 1. Let y(p) = -5*h(p) - 8*t(p). Let z be y(4). Suppose z = k - 12. Is k composite?
False
Suppose -6*c - 27 = -9*c. Suppose p + 14 = c. Is 25/p*(-331)/1 a composite number?
True
Suppose 31*d - 38*d = -765814. Let r = d + -38219. Is r composite?
True
Let p be 440/((-16)/4 + 5). Let f = p - 117. Is f a composite number?
True
Suppose 5*x + 4*i = 2842035, -89*x + 4*i = -92*x + 1705229. Is x a prime number?
False
Let d be (-75)/20 + 1 - (-2)/(-8). Let k be (-11)/(-33) - 194/d. Is (-1 + (-2318)/(-4))/(k/130) a prime number?
False
Let o(h) = -h**3 + 12*h**2 - 33*h + 8. Let u be o(8). Suppose 2*t - 7741 - 4497 = u. Is t a composite number?
True
Let n(t) = t**3 - 12*t**2 - 7*t + 41. Suppose 26 = 5*p + d, 3*d - 7*d - 1 = -p. Let b be p/(-20) + -106*(-3)/24. Is n(b) a composite number?
True
Is (206686 + 6 + 1)*1 + 6 a composite number?
False
Let n be 4*(-5 - -4) + 6. Suppose 8*h = n*h + 11370. Is h composite?
True
Suppose -27*i - 57768 = -28*i. Suppose 89211 = 21*m - i. Is m composite?
True
Let l(k) = -14*k + 57747. Let u be l(0). Suppose 190*t - 187*t = u. Is t a prime number?
True
Let m = 246 + 82. Suppose 0 = -5*x - 5*j + 310, 5*x - j + 0*j - m = 0. Suppose -2139 = -4*f + x. Is f a composite number?
True
Suppose 4*n - 5*j - 1615283 = 0, 43*n - 47*n = 3*j - 1615323. Is n a prime number?
False
Let y(q) = 6087*q**2 - 146*q - 253. Is y(-12) prime?
False
Suppose 4*p + 104925 = 3*v, 2*p = -3*v + 7*p + 104931. Is v composite?
True
Suppose -5*i - 2*w + 1216 = 0, -i + 4*w - 254 = -2*i. Let d = i - 140. Suppose 0 = 26*s - 29*s + d. Is s prime?
False
Suppose -213170 = -23*q + 767182. Let j = q - 30127. Is j a composite number?
False
Let v(i) = -5*i**3 - 7*i**2 - 5*i - 3. Let s be v(-2). Suppose -s*a - 27*a + 213302 = 0. Is a composite?
False
Suppose 3*p - k + 13 = -0*p, 5*p + 17 = 4*k. Let l(q) = -47*q**3 - q**2 - 7*q - 6. Is l(p) composite?
False
Suppose -26*x = -21*x - 2*t - 122007, 2 = -2*t. Is x composite?
True
Suppose -5*b + 6*b - s - 61 = 0, 5*b = -5*s + 335. Let n = b - 60. Suppose -n*o = 3*m - 40, 0*o = -2*o + 3*m + 2. Is o a prime number?
True
Let a(c) = c**3 - 20*c**2 + 96*c. Let r be a(12). Suppose r = -17*x + 3650 - 352. Is x a composite number?
True
Suppose 38*b = 37*b + 2. Suppose b*n + 1562 = -808. Is ((-3 - -2) + -3)*n/12 prime?
False
Let i be 26*(-6)/(-15)*1105. Let x = i - 2656. Suppose 0 = 3*g - 0*u + u - x, -5*g - u + 14730 = 0. Is g a composite number?
True
Suppose 3*o + 4 = -3*p - 8, 0 = -3*p - 5*o - 18. Let t be 20*((-12)/(-15))/p. Let z(d) = -d**3 - 16*d**2 - 6*d + 7. Is z(t) composite?
False
Suppose 3*p + 643778 = 277*m - 273*m, -5*m + 3*p = -804721. Is m composite?
True
Let p(x) = 3*x**3 + 20*x**2 - 9*x - 11. Let g be p(-7). Suppose -25310 = -4*k - g*w, 0*k - 12660 = -2*k - 4*w. Is k prime?
False
Let n = 54331 - 19834. Suppose -k + 20 + n = 0. Is k a prime number?
False
Let s = 18 + -6. Let x be ((-8)/s)/((-5)/3285). Suppose -3*m + 331 = l, -6*m + x = -2*m + 3*l. Is m prime?
False
Let g = -682 + 684. Suppose 5*m - 13590 = -4*v, -g*m + 5454 = -6*v + 4*v. Is m a prime number?
False
Suppose 4*p - 52 + 72 = 4*c, 4*c = -2*p - 22. Is 89*p/(21/(-9)) a composite number?
True
Let d(v) = -v**3 + 114*v**2 - 206*v - 490. Is d(101) composite?
False
Suppose -6865193 = 64*v - 153*v. Is v prime?
True
Let k(l) = -l**3 - 5*l**2 - 3*l + 4. Let w be k(-4). Suppose w = m + m + 8, 0 = 2*j + 2*m - 2718. Is j a prime number?
False
Let p(m) = 151*m**2 - 8*m + 17. Let u be p(-12). Let w = 34650 - u. Is w prime?
False
Let f = 709 - 650. Let g be 6/27 - (-3238)/9. Let q = g + f. Is q prime?
True
Let r be ((-23616)/28)/8 + (-6)/(-14). Let y = -73 - r. Is ((-22296)/y)/1*(0 + -4) a prime number?
False
Suppose -3*n - 1223403 = -3*h, 227*h - 2*n - 4893552 = 215*h. Is h composite?
True
Let y = 17943 + 2084. Is y a composite number?
True
Let o = -47 + 51. Suppose -5*b + 1198 = -o*q, 2*q + b = -205 - 387. Let u = q + 556. Is u composite?
True
Let x = -4 + 7. Let p be (1 - 85)/(-4) - x. Suppose -5*o = 3*t - 278 + p, 2*t = 5*o + 165. Is t composite?
True
Suppose 3*g - 3*p - 1234590 = 0, -g + 2*p - 52855 = -464384. Is g prime?
False
Suppose 214040 = m + 74757. Is m a composite number?
True
Let j = -2357 - -5944. Is j a composite number?
True
Let d be -4 - (-5 - -4) - -16. Suppose d - 38 = -5*m. Suppose -m*z + 1455 = -5*l, -393 + 102 = -z - l. Is z a composite number?
True
Let i = -139 + 144. Let q(y) = 3046*y - 157. Is q(i) a prime number?
True
Let v(g) = 315*g - 4. Let w be v(-4). Let t be (5 - 0) + w/(-4). Let d = t + -74. Is d prime?
False
Suppose r - 11733 = 4*m + 33934, -2*r + 5*m = -91352. Is r prime?
True
Let k = -53 - -46. Let w(t) = t**3 + 7*t**2 + 9*t - 1. Let f be w(k). Is 1/(-4) + 8/(f/(-8026)) a composite number?
True
Let x be 5*(5 - (5 - 1)). Suppose -4*a + 33595 = x*z, -3*a + 6719 = z + a. Is z a prime number?
True
Suppose 57*u - 3410490 = 6003687. Is u a composite number?
False
Let c(j) = 299*j**2 + 4 - 5 - 3*j + j + 601*j**2. Is c(-1) a composite number?
True
Suppose 98*b - 155392 = 174966. Is b a composite number?
False
Let u(q) = 425*q**2 + 119*q + 3793. Is u(-33) prime?
False
Let z be (-7)/((-63)/(-123))*1227. Let v = -11160 - z. Is v prime?
False
Let s = -17 + 19. Suppose -3*f = -s*f + l - 3788, 0 = f - 5*l - 3782. Is f composite?
True
Let f(o) = 1692*o + 2225. Is f(64) a prime number?
False
Let r be (-16)/(-104) + (-50)/(-13). Suppose -h = -b + 32, -3*h + r*b - 64 - 36 = 0. Is (-21)/h*4 - (1 + -4289) composite?
True
Let k(z) be the first derivative of -13*z**2/2 - 13*z - 91. Is k(-20) a composite number?
True
Let f = -34 + 39. Let y be (-3 - (f + -4))/(-2). Suppose 3 = -p, -5*s - y*p + 141 = -4898. Is s a composite number?
False
Is (-8)/(-88)*11 + (12 - -154226) prime?
False
Let u = 1628 + -1624. Let h(d) = -2 + 0 + 7*d + 8. Is h(u) a composite number?
True
Let h(q) = -q - 5. Let u be h(-4). Let d(f) = -2*f**2 + 315*f**3 - 1531*f**3 + 1 - 1395*f**3 + 557*