t - n. Is d a prime number?
True
Let l = -328274 + 829117. Is l a prime number?
False
Let z(h) = -63*h + 32. Let r(l) = -l - 1. Let n(v) = -4*r(v) - z(v). Let o = 246 + -241. Is n(o) prime?
True
Let t(m) = 34180*m**2 - 91*m + 4. Is t(3) prime?
False
Let x(a) be the first derivative of 8*a**3/3 - a**2 + a - 483. Let k(d) = d + 6. Let o be k(-5). Is x(o) prime?
True
Let q(m) = -199*m**3 + 2*m**2 - 2*m - 16. Suppose 8*a + 1 = -23. Is q(a) composite?
False
Let g(z) = 2*z**2 + z. Let o(c) = -125*c**2 - 10*c - 1. Let n(u) = -2*g(u) - o(u). Is n(4) a composite number?
True
Suppose 120 = -6*t - 42. Let g(x) = -133*x - 100. Is g(t) composite?
False
Is (8007590/(-25))/(((-4)/(-20))/((-5)/10)) composite?
False
Suppose -5*t = 2469 + 1106. Let l = -71 + t. Is (1 + 2)/3 - l a prime number?
True
Let m = 8414 + -2144. Suppose -7*n + 6285 = -2*n - 2*o, 5*n - m = 5*o. Is n a prime number?
True
Let i = -128 - -110. Is 42/189 + (-60458)/i a composite number?
False
Let u = 14473 - -5946. Is u prime?
False
Let b(p) = 5808*p**2 - 2*p - 1. Let o be b(-1). Suppose 437 + o = 9*x. Is x prime?
False
Let a(v) = -16 - 4*v + 4 - 9*v + 125*v**2 + 34*v**2. Let b be a(-5). Let z = b + -2665. Is z a composite number?
True
Suppose 0 = -356*p + 352*p + 382656. Suppose -v - 44248 - 27505 = -3*q, -4*q = 2*v - p. Is q composite?
False
Let r(s) = 8263*s**2 - 2*s - 2. Suppose -214*d + 10 = -224*d. Is r(d) a composite number?
False
Suppose 3*i + 4*u = 17 + 11, 5*i + 3*u - 32 = 0. Suppose -i*r = -3*k + 4 + 1, k = -3*r - 20. Is (-2)/(k/(1105/2)) prime?
False
Let k(a) = 262*a**2 + a + 1. Let z be k(2). Let b = 958 + 72. Suppose d = z + b. Is d prime?
True
Suppose -8*n + 4*n - 280 = 0. Let u be (56/n)/(2 + (-18)/10). Is ((-1018)/(-6) - u)*21 a prime number?
False
Let r = -157384 - -255155. Is r prime?
True
Suppose -5*c + 98918 = i, 6*c - 4*i = 3*c + 59337. Let w = c - 10548. Is w a composite number?
True
Let u = -3046 + 3575. Is u composite?
True
Let o(m) be the third derivative of m**5/20 + 5*m**4/8 - 23*m**3/3 - 21*m**2. Let a be o(8). Suppose n + s = -s + 63, -a = -4*n - s. Is n prime?
True
Suppose 30*z = -5*z - 16*z + 20387046. Is z composite?
True
Suppose -23*t - 8860967 = -66*t. Is t a composite number?
False
Suppose 96*x + 148754 = 98*x. Is x composite?
False
Suppose 5*q - 2715 = -g + 9688, 5*q - 61895 = -5*g. Is g a composite number?
False
Suppose -2*g = f - 1129740, 2824361 = 5*g + 5*f - 8*f. Is g composite?
False
Suppose -2*r + s + 1 = -2, 0 = 3*r + s + 3. Let a be (-6 + 0 + r)/(-1). Suppose 0 = -20*o + a*o + 9366. Is o composite?
True
Let h(b) = b**2 - 16*b + 26. Let v(d) = d**2 - 12*d + 14. Let p be v(12). Let j be h(p). Is (-1 + 3)/j - -2*34 a prime number?
True
Is 138/(-2415) - 152534/(-70) prime?
True
Let n = -208 - -236. Is 12/28 + 5 + 42492/n composite?
False
Let y(d) = -654*d**3 - d**2 - 6*d + 1. Let x be y(-2). Suppose 3*h - x = -0*b - 3*b, 3*h = 3*b + 5253. Suppose -2*k - h = -5*k. Is k prime?
False
Let i be (-1 - (-5)/(-5)) + 4. Suppose 0 = z + 2*d - 4357, 10165 = i*z + 2*d + 1451. Is z a prime number?
True
Is 884967/63 + 56/(-588) composite?
True
Let o(g) = 145*g**2 + 11*g + 77. Is o(-31) composite?
True
Suppose 7*w - 8*w = -3*a - 4406, 3*a = -4*w + 17699. Is w prime?
True
Suppose 10*t - 35 = 5. Let b(z) = 10*z - 4*z + 22*z**2 + 5 + 2*z. Is b(t) prime?
True
Suppose 5*v + 17 = 2*y, -v - 4*v + 25 = 0. Let m be 27/4 + y/84. Let c = 24 + m. Is c composite?
False
Let g(x) = -7*x**3 - x**2 - 2*x - 1. Let q = 128 - 126. Let f be g(q). Is (2/(-5) - f/(-25))*-853 composite?
True
Let c be (-48)/(-84)*14/2. Suppose 3*k + c*v = 1835, -2*k + k + 613 = 2*v. Suppose 4*b = -u - 2*u + 1831, u - k = -2*b. Is u prime?
True
Let z(s) = -s**3 - 10*s**2 + 17*s + 9. Let m = 15 + -9. Let b be (4 - 21/m)*-26. Is z(b) a prime number?
False
Let n(y) = -177*y + 9. Let u be n(4). Let i = 1273 + u. Suppose -4*l = -2*l - i. Is l prime?
False
Suppose 12*h - 132*h + 47150760 = 0. Is h composite?
False
Let l(w) = 9*w**2 - 16*w + 479891. Is l(0) a composite number?
False
Let f(h) = 13*h**2 - 25*h + 23. Suppose 0 = -10*u + 3*u + 70. Is f(u) prime?
False
Let a be 1264/(-12) + (-8)/12. Is 3767/6*2 - a/(-159) a prime number?
False
Let r(t) = t**3 - 8*t**2 + t + 1. Let b be r(8). Let p(i) = -i**3 + 10*i**2 - 7*i - 4. Let h be p(b). Suppose -9*j - 3070 = -h*j. Is j composite?
True
Let k = 12064 + -6790. Suppose 2*u - 16660 - k = 0. Is u a prime number?
False
Let p(r) = -184*r - 19. Let h(i) = 1. Let t(g) = 6*h(g) - p(g). Let f be t(15). Suppose m - f = -0*m. Is m composite?
True
Let w = 16222 + 113925. Is w a composite number?
False
Suppose 3*v + 21 = 105. Let l = v - 35. Is (-3)/l + (-39570)/(-35) + 2 composite?
True
Let x(g) = -g**2 + 10*g + 32. Let o be x(12). Suppose 30252 = 20*t - o*t. Is t a prime number?
True
Suppose -2*u = 1 - 5. Suppose 2 = o + u. Suppose m - 1431 - 3103 = -5*t, 4*t + m - 3627 = o. Is t prime?
True
Let q = -219 - -214. Is (-3 - -1)*(168735/6)/q composite?
True
Suppose 18*r - 6*r - 17494432 = -20*r. Is r a prime number?
False
Let p be (-81)/(-189) - (-3679)/7. Let o = p - 399. Is o a prime number?
True
Is ((-34)/170)/((-1)/840335) prime?
True
Let x(r) = 4*r - 130. Let k be x(35). Is k*8/20 - -1797 a prime number?
True
Let p = 9451 + 60. Is p composite?
False
Let j = 260673 + -3484. Is j a prime number?
True
Suppose -2*x + 2*b = 5*b - 8, 2*b + 25 = 3*x. Suppose -330 = d - x*d. Is d prime?
False
Suppose -2*q + 26 = 4*s, 3*q - 4 = -0*q + s. Let r be (2/(-3) + (-10)/q)/(-2). Is -4 + r + 1 + 1643 + 1 composite?
True
Suppose -2*z + 13 = 5. Suppose 0*s + 3 = s, -3*a - z*s = -51. Is a a composite number?
False
Let z = 42093 + -7774. Is z a composite number?
False
Let a(o) = 41*o**3 + 15*o**2 - o + 498. Is a(17) composite?
False
Suppose 84*t - 240991 = 31*t. Is t a composite number?
False
Let g(w) = -14*w + 6. Let u be g(6). Let z = u - -78. Suppose 3*h - 358 = -5*q + 126, z = -3*h + 2*q + 491. Is h a prime number?
True
Let z = 47825 + -31565. Suppose -m - 3*f - f = -4080, -4*f - z = -4*m. Suppose -7*a - 1114 + m = 0. Is a composite?
True
Let y = -3318 - -1950. Let d = y + 3805. Is d prime?
True
Let a = 14 - 13. Suppose -3*g + 15 = -x, 2*g = -2*x - a - 5. Is 179*24/21 + x/(-14) composite?
True
Suppose 7*b - 4210256 = -l, 4086743 = 5*b - 5*l + 1079423. Is b composite?
True
Suppose -4*l + 20 = -2*s, 2*l = -2*s + 5 + 5. Suppose -l*u + 11 = i, 3*u - 10 + 2 = -2*i. Is i - 12408/(-14) - (-2)/(-7) a composite number?
False
Suppose -10*p + 2113 - 2233 = 0. Let l(f) be the first derivative of -9*f**2 - 58*f + 2. Is l(p) composite?
True
Let g(s) be the first derivative of s**3/3 - 2*s**2 + 5999*s - 1. Is g(0) a prime number?
False
Let h be ((-158520)/200)/(1/(-20)). Suppose 7*o - 13681 - h = 0. Is o a prime number?
True
Suppose 0 = 99*g - 196*g + 98961631. Is g a prime number?
True
Let d be ((-20)/9)/((-18)/(-81)). Is 36683 + (d - -2) - 4 composite?
False
Let z be (14553/84)/77*(-4)/(-1). Let u be 12806 + 1 + 2 + -1. Suppose -u = -z*l + l. Is l a prime number?
True
Suppose -w = 2, -68*n + 3*w = -64*n - 897442. Is n a composite number?
False
Let t(j) = -4 - j + j**2 + 19 + j + 3*j. Let p be t(0). Is (p/(-6))/(2/(-316)) composite?
True
Let j be (-210)/24 + 9 + (-30)/(-8). Suppose -2*t - t - 3791 = -s, -j*t = 4*s - 15100. Is s a composite number?
False
Let k = -33 - -36. Suppose 5*q = 3*s + 21352, 0 = 2*q - k*s - 12127 + 3588. Is q composite?
False
Is (-3)/(9*387189/(-580779) + 6) a composite number?
True
Suppose 0 = 8*m - 13 + 85. Let h(n) = -5*n**3 - 2*n**2 - 16*n - 34. Is h(m) a composite number?
False
Let y = 16692 + -697. Suppose -33*p - y = -38*p. Is p prime?
False
Let h = -160 - -165. Suppose -h*k + 63184 = 11*k. Is k a prime number?
False
Suppose 0 = -4*l, -2*h - 6 = h + l. Is 1 - 4783/h - (-1)/2 a composite number?
False
Let p(u) = 94*u**2 - 15*u + 11. Let n be 4/6 - 612/(-54). Is p(n) prime?
True
Let t(h) be the second derivative of -15*h**3/2 - 79*h**2/2 - 67*h. Is t(-16) prime?
True
Let b(h) = 3*h**3 + 16*h**2 - 15*h + 21. Is b(34) composite?
True
Suppose 856294 = 37*a - 154435. Is a prime?
False
Suppose 1115980 = -459*t + 479*t. Is t prime?
True
Let p(v) = 776*v - 3159. Is p(83) composite?
True
Let y be ((-3)/9 - 2)*-6. Let q be 68*((-57)/(-38) - (4 - -1)). Is (4/y)/((-2)/q) a composite n