29 = -n. Is t composite?
False
Suppose 6*d - 7*d + 4*k = -45, -d + k = -45. Let v = d - -10. Is v composite?
True
Is 636/27*2104 - 5/(-45) a prime number?
False
Let f be (1513/(-267))/(2/(-120)). Suppose f = -q + 643. Is q prime?
False
Suppose -27*o + 26*o + 18 = 0. Suppose 0 = -6*u - o + 42. Suppose g - 3*n = -2*n + 64, u*n - 329 = -5*g. Is g a composite number?
True
Let o be (-48)/12 - (-1 + -10). Suppose -o*u - 3*s = -2*u - 61484, -12301 = -u - 2*s. Is u a composite number?
True
Is (-551830)/(-8) + (-1708)/976 prime?
False
Let v(y) be the second derivative of 1/2*y**3 + 14*y + 23/12*y**4 + 1/10*y**5 - 9/2*y**2 + 0. Is v(-11) composite?
False
Let h(y) = 10159*y**2 - 1. Let w be h(-1). Let o be -3*(-2)/(-12) - w/(-4). Suppose -7*l - 292 = -o. Is l a prime number?
False
Let m(s) = -5*s - 32. Let d be m(-10). Let n be (-1)/3 - (-6)/d. Suppose 0 = -2*x - x - 3*j + 159, n = 5*j. Is x a composite number?
False
Let m(h) = 508*h**2 - 504*h - 47. Is m(27) prime?
False
Is (-5)/(90/(-814268)) + 54/(-486) + -4 prime?
True
Is (-42)/(-6) + 175058 + 4/(-1) a composite number?
False
Suppose 55909 = 3*u - t + 6830, -2*u + 32706 = -4*t. Is u prime?
True
Let b(h) = -6*h**3 - 52*h**2 - 61*h + 104. Is b(-21) a prime number?
True
Let j = -280660 - -486759. Is j a composite number?
True
Suppose -23*v = -37533 - 22957. Suppose 4*f = 2*f + v. Is f prime?
False
Let f(m) be the third derivative of -9*m**5/20 + 17*m**4/24 + 17*m**3/6 + 47*m**2. Let o(j) be the first derivative of f(j). Is o(-10) a prime number?
True
Let s = -33865 + 82476. Is s composite?
False
Let a = -46 + 50. Let f(w) = -3*w - 39. Let u be f(-11). Is -4414*(27/u + a) composite?
False
Suppose t = -2*l + 41774, -t = -2*l + 47049 - 5283. Is l composite?
True
Let a(u) = -4*u**3 - 4*u**2 + 14*u - 5. Let f = -367 - -361. Is a(f) a prime number?
True
Suppose -441 = -21*q + 28*q. Let x be (q/35)/(-1)*1*5. Suppose -x*f = 6*f - 14295. Is f a composite number?
False
Suppose -2*p + 3*q - 4*q - 590 = 0, 5*q + 277 = -p. Let b = p + 334. Is b a prime number?
True
Let i be 8173/3715 + (-1)/5. Suppose 0*z - 3*z + 3*l = -5484, l = 2*z - 3658. Suppose -x + i*j = x - z, -2*j - 4563 = -5*x. Is x a prime number?
True
Let p = -157126 - -93289. Let s = p - -107690. Is s prime?
True
Let s = 157 - 141. Suppose 0 = -s*j + 246 + 570. Is j composite?
True
Suppose 8 = -4*c - 0*c - 4*n, -2*n - 4 = -c. Suppose -5*q + c*q + 25 = 0. Suppose -2*u + 3955 = 5*a - 6*u, -3920 = -q*a - 3*u. Is a a composite number?
False
Let v = 144 - -245. Let u = 58 + v. Is u composite?
True
Let d(u) = -u**3 + 20*u**2 + 2*u - 38. Let k be d(20). Let s be ((-8)/10)/(k/(-1330)). Suppose -3*m - 823 = -4*a + s, 0 = -5*a + m + 1702. Is a a prime number?
False
Is -1 + 0 + ((-5)/((-15)/(-1846554)))/(-1) composite?
True
Let z be (-24)/(-6)*(-114)/12*-1. Suppose -3*f - 5*x = -108546, 40*f - 72365 = z*f - 3*x. Is f prime?
True
Let g(r) = r**2 + 5*r + 8. Let x be g(-11). Suppose -2*l - 4 = 6, 2*l - x = -3*j. Suppose -j = -5*q + 142. Is q composite?
True
Let i(u) = u**3 - 66*u**2 - 616*u - 202. Is i(105) composite?
True
Let r = 186 + -114. Suppose -n - r = 2*m, -4*m - 375 = 5*n + m. Is 4005/21 - (-4 - n/21) a composite number?
False
Let d be 2*(1 + (-6)/(-4)). Suppose -t + a + 2*a = -90, -15 = d*a. Let z = 796 + t. Is z a composite number?
False
Suppose -21 + 98 = 7*b. Let j(x) = x**2 - 20*x + 2. Let g be j(b). Is 9 + -9 - g*1 composite?
False
Let o(f) = 2 + 1 - 4 - 16 - 878*f. Is o(-2) a composite number?
True
Suppose -3*i - 5*p + 10*p + 34 = 0, 5*p = 5*i - 50. Suppose 0 = -5*a - i*a + 506623. Is a a composite number?
False
Let q(z) be the second derivative of -77*z**3/6 - 16*z**2 + 23*z. Let i be q(-4). Suppose 111 = 3*t - 5*c - 59, -c = -5*t + i. Is t a composite number?
True
Let s = -4 + 7. Let u(t) = 8 + 5*t + 6 - 11 + 1 + 44*t**2. Is u(s) composite?
True
Let f(x) = 525*x**2 - 4*x - 7. Suppose -4*z - 6*u + u + 16 = 0, -2*u = 0. Let k be (((-1)/2)/(-1))/((-1)/z). Is f(k) composite?
True
Suppose 10*v = 78639 + 57551. Is v prime?
True
Let r(l) = 34*l**2 + 28*l + 23. Let o(x) = 21*x + 408. Let h be o(-19). Is r(h) a prime number?
False
Let f(g) = 989533*g**3 - g**2 + 10*g - 9. Is f(1) a prime number?
True
Suppose -451*j + 456*j = 17490. Suppose 2*t - j - 28 = 0. Is t a prime number?
False
Suppose 2*c = 4, 3*b + 2*c = -0*b + 256792. Suppose 2*m + 10*m = b. Is m a composite number?
True
Let i(u) = 29*u**3 - 11*u**2 + 38*u - 251. Is i(8) composite?
False
Let b(m) be the first derivative of 2 - 4*m**2 - 9*m + 41/3*m**3. Is b(-4) prime?
False
Suppose -556 = 3*s - 2*t, 2*t = s - t + 176. Let v = 513 + s. Let q = 474 - v. Is q a prime number?
True
Suppose -17*f - 622213 = 11*f - 3296969. Is f composite?
False
Suppose 2 - 5 = -4*c - k, -5*k + 15 = 5*c. Suppose 0 = 5*s + 3*p - 505 - 1590, c = -s - 3*p + 419. Is s a prime number?
True
Let h = 27 - 30. Let v be (2 - h - (4 - 1))*5. Suppose -5*r - 1075 = -v*r. Is r a composite number?
True
Suppose 0 = -2*z - m + 6784, -z + 6*z - 16960 = 4*m. Suppose -h + r = -z - 2644, 0 = 2*h + 4*r - 12054. Is h a prime number?
False
Suppose 2*p = 4*u - 4266216, -10*p - 2133102 = -2*u - 12*p. Is u composite?
False
Let d be -5 - (-14)/7 - (4 - 1). Is ((-4689)/d)/(18/12) a composite number?
False
Let q(h) = 21*h + 10. Let w = 30 - 35. Let u be q(w). Is (-3399)/(-19) - 10/u prime?
True
Let q(u) = -u**2 - 43*u + 109. Let c be q(-45). Suppose 2*k = -2*w + 1396, -22*k + 2*w + 2094 = -c*k. Is k a composite number?
True
Let s = 187734 - 132361. Is s a composite number?
False
Suppose 34*y + 42 = 36*y. Is (y/7 + -4)*-1399 composite?
False
Let c = -369905 - -801118. Is c composite?
False
Suppose 3*b + 2 + 10 = 0. Let d(y) = 240*y**2 - 242*y**2 - y - 7*y**3 - 4*y**3 + 3. Is d(b) a prime number?
False
Let k(b) = b**3 - 10*b**2 + 10*b + 12. Let p be k(9). Let i = 25 - p. Suppose -3279 = -i*m + x, -5*x + 4130 = 7*m - 2*m. Is m composite?
False
Let y be 0 + 1 + 852/(-4). Suppose 0 = 5*s - 3*q + 445 - 115, 0 = 3*s + q + 198. Is (y/(-6))/(1 - (-62)/s) prime?
False
Let t(d) = 1286*d**2 - 505*d - 5107. Is t(-10) prime?
False
Let q be (12/(-9) - (-16215)/(-9))/(-3). Let p = 1 + -1. Suppose p = -6*a + q + 1013. Is a a prime number?
True
Let b = 11461 + -8141. Let x be (b/(-25))/((-3)/15). Let m = -373 + x. Is m a prime number?
False
Suppose -5*d + 0*x + x - 1518 = 0, 5*d - 4*x + 1527 = 0. Let p = 106 + d. Let s = p - -1074. Is s a composite number?
False
Let x(i) = 729*i + 51. Let d be x(6). Suppose -m + d = -2*c, 15 = -4*c + 7. Is m a prime number?
True
Suppose 10*n + 24 + 86 = 0. Let r(c) = -763*c - 142. Is r(n) a prime number?
False
Let j = 137 + -135. Suppose 7*u = -w + 2*u + 1878, -3811 = -j*w + u. Is w a composite number?
True
Let j be (-34)/153 - 40/(-18). Suppose 3*c + m = -j*c - 2, 0 = 3*c - 2*m + 9. Is 4930/17 - (-3)/c a composite number?
True
Suppose 41*i - 280 = i. Suppose 21858 = -i*r + 138079. Is r a composite number?
False
Let f = 19219 - 2918. Is f a composite number?
False
Let a(r) = 12*r**3 + 7*r**2 + 37*r - 551. Is a(20) composite?
True
Suppose -2510*g + 2512*g - 642318 = 6*s, -5*g = -s - 1605795. Is g composite?
True
Let j = 402529 + 439636. Is j composite?
True
Is (-402310*(-15)/20)/(36/24) composite?
True
Let c(i) = 4*i**2 - 39*i + 1974. Is c(-61) composite?
False
Suppose v - 7 = -2*x, -2*x + 3*v = 2*x + 1. Let f be (15 + -3)/x + -3. Suppose 4*o + 289 = b, 5 = 2*o + f. Is b a prime number?
True
Let w(m) = m**3 - 78*m**2 + 60*m - 128. Is w(151) a prime number?
False
Suppose -5*s + 35 = -3*t + 8*t, -4*t - 2 = -2*s. Suppose -w + t = -3269. Is w prime?
True
Suppose -4*u + 4*b = 32102 + 42006, 0 = 4*b + 4. Is 1 - -1 - (u + 49) a prime number?
True
Suppose -4*d = j - 460942, -2*j + 576171 = 5*d - 4*j. Suppose -74*g = -55*g - d. Is g prime?
False
Is (18/3 - 1) + 12*382717/114 a composite number?
True
Suppose 0 = 5*k - k + 2*v - 36664, 0 = k - 2*v - 9161. Let j = k + -4843. Is j a composite number?
True
Suppose -2*k - 1 = 3, -2*k + 5374 = f. Let i = f + -2485. Is i a composite number?
True
Suppose 3*z - 136 = 2*w + 1951, -2 = -2*z. Let v = 11593 + w. Is v prime?
False
Suppose -196 = -66*p + 59*p. Suppose p*l = 22*l + 1842. Is l a prime number?
True
Suppose -7*w + 21 = 7. Suppose f - 3*j = 1256 + 1071, -f + w*j + 2329 = 0. Is f a prime number?
T