 3445, -5*h + 5*l = -o. Is h prime?
True
Let k be -2 - (-203)/14*1762. Suppose k = 4*m + 1079. Is m composite?
True
Let f be 148/8 + 4/8 - 4. Is 230/f*9051/14 prime?
False
Let m = -188297 + 325176. Is m composite?
False
Let p be 5 + -12 + (10 - -1). Suppose b = 46*i - 43*i - 20068, -i - p*b = -6685. Is i composite?
False
Let s(o) = 30624*o**2 + 2. Is s(-1) a composite number?
True
Let d = -857 + 612. Let y = d - -430. Suppose -3*v - 2*v = -q - y, -v + 37 = -q. Is v a composite number?
False
Is (-174)/(-29)*(-6476457)/(-18) a composite number?
True
Suppose 3*a + 837 = 3*g, -3*g = 2*a + 3*a - 845. Let p = g + -245. Is p prime?
False
Suppose 7*a - 2*h = 8*a - 7, 5*h = -5*a + 55. Let r(w) = w**2 + 3*w + 6. Let t be r(-5). Suppose t*u - 415 = a*u. Is u a prime number?
False
Let j be 13*5/5*3. Let l = -42 + j. Is (-37 - l)*37/(-2) prime?
False
Let x(i) = 82*i**2 - 7*i + 1. Let j be x(-7). Let n be -3 + -1 - (4 - (-4 - j)). Let h = 6351 + n. Is h prime?
False
Let x be (-4)/8 - ((-45570)/4 + 2). Suppose -5*n = 2*a - 22781, x = a + 4*n - n. Is a prime?
True
Let o be (-95)/(-30) + -3 + 430/12. Let q(h) = -h**2 + 53*h - 47. Is q(o) composite?
True
Let o(b) = b**3 - 32*b**2 - 71*b + 2. Let x be o(30). Let v = -2531 - x. Is v a composite number?
True
Suppose 4*d + 15264 = -5*q + 822, 4*d + 14462 = 5*q. Let n = 7002 + d. Is n a prime number?
True
Let h = 13889 + -7510. Is h prime?
True
Let a = 12062 + -2939. Is a a prime number?
False
Let l(a) = -a - 3. Let s be l(-5). Suppose v + 2*n - 8 = -0*v, -4*v - s*n + 14 = 0. Suppose 3*r = -q - v*q + 3006, 4011 = 4*r + q. Is r a composite number?
True
Let z = 12947 - -4230. Let i = z + -8418. Is i a prime number?
False
Suppose -7 + 43 = 6*t. Is 6300/2 + 10/60*t a prime number?
False
Let m = 3729 + -1192. Suppose m = 3*u - 3172. Is u composite?
True
Let d be (-78)/13 + -2 + 3. Let s be (-10)/50 - 16/d. Suppose -4*b + s*w = -2853, -2*w = -3*b - 0*b + 2141. Is b a composite number?
True
Let z(o) = -o + 12. Let g(l) = 2*l - 24. Let u(q) = 4*g(q) + 7*z(q). Let d be u(15). Suppose -a = -d*n + a + 6051, -3*n = a - 6051. Is n a prime number?
True
Is (3/12)/(6/2399064) a prime number?
True
Let h = 507348 + -160269. Is h a composite number?
True
Suppose 9328 = 7*f - 3*f. Suppose -w - 31 + 32 = -5*x, -3*x + 6*w = 6. Suppose f = 4*m - x*m. Is m prime?
False
Let t(c) be the first derivative of -2*c**4 - 2*c**3 - c**2 + 19*c - 9. Is t(-6) prime?
True
Suppose 4*k + 5 = -3*g, 3*g + 4 = -3*k + 1. Is ((-305564)/(-35))/7 + k/10 prime?
False
Suppose -19*s = -12*s. Suppose -8*t - 14*t + 63734 = s. Is t composite?
False
Suppose -167*g = -189*g + 186758. Is g composite?
True
Let m = -415 - -1821. Suppose m = -3*d + o - 5*o, 5*d + 2*o = -2334. Is 21/14*d/(-3) a prime number?
True
Let p(a) = -6*a - 4. Suppose 5*m = 1 - 6. Let d be p(m). Suppose 0 = g + 5, -369 = -5*v - d*g + 12136. Is v a prime number?
True
Suppose -270 = -16*c + 82. Let u(o) = 227*o + 93. Is u(c) a prime number?
True
Let k be (1 + -4)/(9/66). Let r = 27 + k. Suppose -r*l = 5*v - 1118 + 23, 0 = -3*v + l + 637. Is v a composite number?
True
Suppose 43*s - 94726 = -7393. Is s composite?
True
Suppose -13*k + 4*k = -27. Let p be k/18 - 2/12. Suppose 5*x + 4*s = -p*x + 9639, 12 = -3*s. Is x composite?
False
Let c = 634651 - 253350. Is c a prime number?
True
Suppose -13*i + 4*c - 8 = -16*i, -5*i + c = -21. Suppose 5*n - 15075 = i*y, 7*n - 15085 = 2*n + 2*y. Is n composite?
False
Let m(a) = a**3 + 20*a**2 - 42*a + 58. Let s be m(-22). Is ((-7)/s)/(2*(-4)/311312) a prime number?
True
Let b(u) = -30 - 152*u - 1 + 165*u + u**2. Let x be b(-15). Is (46 + (x - -1))/((-2)/(-19)) prime?
False
Let i = 37623 + 44765. Is i + (-14 - -10) + (3 - 2) prime?
False
Suppose 582 + 678 = -l + 2*r, -4*l + 4*r = 5052. Let p be (-1 + -2622)*(6 - 8)/(-8 + 6). Let y = l - p. Is y composite?
True
Let b = -22 + 70. Let m be 2 + 162/b - (-9)/(-24). Suppose -779 = -4*u + m*i, 3*u - 579 = i + i. Is u a prime number?
True
Let b = -444 + 446. Let a = 10 - 8. Suppose -b*s = 2*s + c - 3811, -a*s + 1910 = -4*c. Is s a composite number?
False
Let u be (7 - (1 - -6))/(4 + -2). Is (175/(-525))/(2/(-98292) - u) a prime number?
False
Suppose o - 3*f = 1771 + 2455, 4*o = -3*f + 16934. Suppose 6*r = 12406 + o. Is r composite?
True
Suppose 4*y = 9 - 1. Let s be (-2216)/(y/2)*-1. Suppose 0 = -10*x + 6*x + s. Is x a prime number?
False
Let o be (-4765)/(-3*(-5)/(-15)). Suppose 247 - o = -3*c. Suppose 0 = -2*s - 4*s + c. Is s a composite number?
False
Suppose 5*p - 1651941 = -2*o, 115*o = 2*p + 112*o - 660765. Is p composite?
True
Suppose -154*l + 437*l = -186*l + 903529907. Is l prime?
False
Is (-15)/(-12) + 5 + -6 + (-176193)/(-12) a composite number?
False
Let c = -8062 - -17067. Is c composite?
True
Suppose 55*g + 217926 = 3292811. Is g a prime number?
False
Let y(d) = -124*d - 1692. Let u be y(-18). Let g = 331 - -190. Suppose -557 = -2*f - 4*l + g, f = -l + u. Is f a composite number?
False
Let d = 5851 - -6162. Is (9/(-6))/(6/(-4))*d a composite number?
True
Let p(m) = -405*m**3 - 3*m**2 - 3*m + 15. Let t be p(5). Let y = t + 72353. Is y a prime number?
False
Suppose -4 = 5*q - 24. Let f = 43520 + -26016. Suppose 2*z - q*h - 5026 = 0, -5*z + h = -f + 4930. Is z a prime number?
False
Let c(a) = -3*a**3 - 8*a**2 + 16*a + 9. Let h(v) = v**3 - v**2 - v - 1. Let t(w) = c(w) + h(w). Suppose 2*r - 2*k + 3 = 1, 55 = -5*r - 5*k. Is t(r) prime?
False
Let y = 1864848 - 978125. Is y a prime number?
False
Let j = -16 - -21. Suppose -863 = -j*f - 2*h, 2*h = -4*f + 3*h + 680. Let d = f - 94. Is d prime?
False
Let f(q) = q**2 + 8*q - 33. Let w be f(-11). Suppose -h + 186 = 4*n, w = 4*h + 3*n - 112 - 619. Let g = h - -157. Is g prime?
False
Let v(x) = 3*x**2 - 78*x + 4. Let y be v(26). Suppose -y*l = -5*o - 41765, 5*l - 3*o - 65135 + 12919 = 0. Is l prime?
False
Let g be (137/(-959) + 72/14)/((-1)/(-87)). Suppose -19 + 3 = 4*o. Is g/10*(o/(-3) - 0) a prime number?
False
Let d = 24 - -33. Suppose -d = -4*g - 33. Suppose 5*r = g*r - 254. Is r a prime number?
False
Let p be 1458 - ((-6)/(-3 + 4))/2. Let c = p + -935. Is c a prime number?
False
Let r(d) be the second derivative of 118*d**4/3 + d**3/3 + d**2 + 12*d. Let c be r(-3). Suppose 2*j - c = -2*j. Is j prime?
True
Is (15/(-55)*1)/(4/(-44)) - -87100 a composite number?
False
Suppose 2*j - 5*s + 3*s = 10, -4*j - 4*s - 4 = 0. Suppose 0 = j*h + 3*q - 26704, -5*h + 5*q - 4*q = -66777. Is h a prime number?
False
Let w(l) = -l**2 - l + 1. Let c(t) = -t**3 + 29*t**2 - 5*t + 15. Let f(z) = c(z) + 5*w(z). Let a = -53 + 76. Is f(a) prime?
False
Suppose 4 = o - 3*l, -3*l = -0*l - 3. Let t be (-43*3)/(o/(-21)). Suppose -p = -t + 50. Is p a composite number?
False
Let w be 6/2*(-2)/3 - -2480. Suppose -18*s + w = -15*s. Let i = 975 + s. Is i a prime number?
True
Let o be 3/(-7) - (-3951933)/259. Suppose 13*n - 93635 + o = 0. Is n composite?
False
Let a be (6/(-8))/((-9)/36). Let d be (a - 7)*(1 - 2). Suppose -3*w + 1103 = -d*h, -2*w - 2*h + 758 = h. Is w a prime number?
True
Let a(l) = 300195*l + 409. Is a(4) a composite number?
True
Suppose 16*u - 224678 - 15554 - 67912 = 0. Is u a prime number?
True
Suppose -5*c + 54782 = h, 3*c = 45*h - 44*h - 54742. Is h a prime number?
False
Let m be ((-6)/9)/((14/39)/(-7)). Suppose -m*w = -18*w + 8285. Is w composite?
False
Let s(j) be the third derivative of -j**5/60 + j**4/3 - 7*j**3/6 - 26*j**2. Let y be s(6). Suppose y*o + 3*r = 815, 160 + 166 = 2*o + 3*r. Is o a prime number?
True
Let q(c) = 18*c**2 + 8*c**3 - 4*c**3 + 11 - 7*c + c**3 - 4*c**3. Is q(-15) a composite number?
True
Let j(b) = -19*b**3 - 5*b**2 + 6*b + 17. Let i be (-2)/(-1) - (2 + -1 - -6). Is j(i) composite?
False
Let m(n) be the third derivative of 0 - 11/6*n**3 + 0*n + 30*n**2 + 197/12*n**4. Is m(7) composite?
True
Let x = 20 - 18. Suppose x*o = 3*u + 53009, -4*u + 5169 = o - 21363. Suppose 0 = -5*q - w + o, q = -0*w + 4*w + 5315. Is q composite?
False
Let s(f) = 959*f**2 + f - 13. Let t = 339 + -335. Is s(t) a composite number?
True
Suppose -61*u + 64*u - 5 = 5*y, -y - 8 = -2*u. Suppose 0 = j - y*j + 4*b + 33899, 4*j = 3*b + 135583. Is j prime?
False
Let p be 8 + (5 - 7) - 4. Is ((-3)/(-3) - p)/(-1) - -2962 a prime number?
True
Let h be 4/((-8)/(-6)) + 37. Let n = -31 + h. Suppos