t w(h) = 5715*h - 385. Is w(8) a composite number?
True
Suppose -v = -2*f + 14, -3*f + 3*v + 12 = -6. Suppose f*t - 7*t = 1834. Let a = t + -1245. Is a composite?
True
Let s(g) = 17 + 103*g + 189*g - 20 - 38*g. Is s(1) composite?
False
Suppose -2*s - 3*s - 16 = 2*l, -4*s - 20 = 4*l. Let x(k) = -21*k**3 + 2*k**2 + 3*k + 1. Let z be x(s). Let q = -14 + z. Is q a composite number?
False
Suppose -4*o + 2706 = 2*g, -8*g + 6821 = -3*g - 4*o. Is g prime?
True
Let t(c) be the third derivative of 7*c**6/40 + c**5/20 + c**4/24 - c**3/2 - c**2. Is t(2) prime?
True
Suppose 62*a - 95110 = 464688. Is a prime?
True
Suppose -4*t - 5*j + 3644 = 0, -2*t + 2*j + 1801 = -3. Suppose -t = -7*x + 39379. Is x a composite number?
True
Suppose q + 5*m - 4382 = 0, -13*m = -q - 10*m + 4342. Is q prime?
True
Is 3/(-9) + 0 - (-41578)/3 prime?
True
Let n = 42071 - 29994. Is n prime?
False
Suppose 6*n - 16 = 2*n. Suppose 2*k - 5*r = 801, n*r - 381 = -2*k + k. Let q = -88 + k. Is q a composite number?
True
Let g(p) = 3*p - 23. Let u be g(12). Suppose 23 = -2*b + 7*b - 4*v, 0 = -b + 5*v + u. Suppose t - 4*t = -b*m - 273, 2*t = m + 182. Is t composite?
True
Is ((-12)/(-22) - (-3671185)/(-385))*-1 composite?
True
Is 2 + 2582 + -9 + 4 a prime number?
True
Suppose -5*d - 8*d + d = 0. Is d/1 - (-795 + 2 - 4) prime?
True
Let n be (1498/(-35))/((-2)/50). Suppose 11*c = 6*c + n. Is c a prime number?
False
Let q(i) = 21500*i + 149. Is q(7) prime?
True
Let d(j) = 4*j**2 + 15*j - 9. Let p be d(-10). Suppose 3*r - p + 10 = 0. Is r a composite number?
True
Let h(f) = 1402*f**3 + f**2 + f + 1. Let w be h(-1). Let v = w - -3502. Is v prime?
False
Suppose -10791 - 69001 = -16*x. Is x composite?
False
Let n = -5264 + 10947. Is n a composite number?
False
Let g(z) = 13*z**3 - z**2 - 6*z - 15. Let h be (-6)/2*(-45)/27. Is g(h) prime?
False
Suppose -5*g = -6*g - 23. Let l = 200 - g. Is l composite?
False
Let y(r) = -r**2 - 4*r + 13. Let b be y(-6). Is b/2 - (-1 + (-1063)/2) a composite number?
True
Suppose 3825 = 4*u + 5*p, -2*p + 2 + 0 = 0. Suppose u = -6*i + 7*i. Is i a prime number?
False
Let s(a) = -10 + 9 - 13 - 9 + 28*a. Is s(18) a prime number?
False
Let i(q) be the first derivative of q**2 + 79*q - 1/3*q**3 - 10. Is i(0) prime?
True
Let d = 3 + 25. Let p be (-3)/2*d/(-14). Suppose 2*o - 985 = -o - w, -p*w = -o + 335. Is o composite?
True
Suppose u = 5*u + 4. Is ((-2)/(5806/1934 + -3))/u prime?
True
Suppose 19*s - 228028 = -1719. Is s a composite number?
True
Let w(v) = -2*v**3 + 2*v**2 + 2*v + 1. Let u be w(-5). Suppose 1463 = 5*z + q, -3*q + u = z - 2*q. Is z a prime number?
True
Is (-3 - 7) + (21225 - 4) composite?
False
Let t(k) = 44*k**3 - k + 2. Let c be t(1). Let f be (18/c)/(1/10). Suppose -1372 - 1432 = -f*y. Is y a prime number?
True
Let r = 620 - 264. Suppose -3*p + p - 5*o = -211, 3*p + 3*o = 312. Suppose m - p = 3*t, -3*m - 2*t + r = m. Is m a prime number?
False
Suppose -2*m + m + 40 = 0. Let x be (1 - -2)*(5 - 4). Suppose x*n = n - o + m, 4*n = o + 86. Is n composite?
True
Suppose 0 = -0*v - 5*v - 2795. Let m = -224 - v. Is m prime?
False
Suppose -3*p + 41695 = -4*x + 108605, -x + 2*p = -16725. Is x prime?
True
Let u = 9314 + 405. Is u a prime number?
True
Suppose -2*x + g = 3*g + 14, -6 = 2*g. Let z = 315 - x. Suppose -z + 1449 = 5*v. Is v composite?
True
Let a be (-8)/(-6)*9990/12. Suppose 432 - a = -6*p. Let l = 312 - p. Is l a composite number?
False
Suppose -4*j + 4*n = -2760, -3*j - n = -j - 1365. Is j a composite number?
True
Let a(v) = 2*v + 26. Let n be a(-7). Is 8478/8 - (-3)/n - 3 a composite number?
True
Let c = 3507 - 2129. Let d = -461 + c. Is d composite?
True
Let a(f) = -f**2 + 14*f - 2. Let h be a(14). Let m be 172/h*(7 - 6). Let j = m + 123. Is j a prime number?
True
Suppose -32481 = -3*d + 3*g, 0*d - 3*g - 10819 = -d. Is d prime?
True
Suppose 0 = 11*l - 7*l - 88. Suppose -15*z - 12929 = -l*z. Is z composite?
False
Is 2573 - ((-2)/2 - (27 + -32)) composite?
True
Let y be 2/(-7) + (-2119)/7. Let g = y + 808. Is g composite?
True
Let x be 921/4*(-1 + 5). Let g(i) = i**3 - 20*i**2 + 26*i + 31. Let m be g(17). Let q = x + m. Is q prime?
False
Let k(c) = 2337*c - 4. Suppose 3*t = 13*t - 10. Is k(t) a composite number?
False
Let i(n) = 176*n - 65. Is i(7) composite?
True
Suppose -3*h + 7*h + 2*q = 2, 2*q - 14 = 2*h. Let n be ((-4)/h + -3)*0. Suppose n = -2*t + 38 + 76. Is t a composite number?
True
Let t = 0 - -98. Let s be 1/2*(30 - 2). Is 598/s - (-28)/t prime?
True
Suppose 3*r = 12, -5*g - 10*r = -9*r - 46169. Is g prime?
False
Let y = -28 + 30. Suppose -m - 2*q = -89, 0 = 4*m + y*q - 219 - 143. Is m a prime number?
False
Let d(k) = -k**2 - 6*k - 2. Let l be (8 + -3)/(0 - 1). Let b be d(l). Suppose -b*v - 20 - 33 = -t, 4*t - 233 = 5*v. Is t a composite number?
True
Let u = -1112 - -2097. Suppose 5*s + 75 = u. Suppose -5 = l, -5*l = 3*f - s - 264. Is f a prime number?
True
Let r(s) = -s**2 + 15*s - 8. Let i be r(14). Is (-6)/4 + 10779/i a composite number?
True
Let v(z) = z**2 + 7*z - 20. Let y be v(-9). Let d(x) = -3*x - 2. Let p be d(y). Suppose -5*f + 268 = p*q, 0 = 3*q - 6*q + 2*f + 201. Is q prime?
True
Suppose -831 = -3*r - q, 2*r = -2*q - 0*q + 554. Suppose -6*x + r = -29. Is x a composite number?
True
Let u = 4972 - 363. Is u prime?
False
Let y(m) = 2*m**2 + 3*m + 3. Let b be y(-2). Is (-3)/5 + 793/b a prime number?
False
Let y(c) = -17*c**3 - 5*c**2 - 3*c + 1. Let g be y(-4). Suppose -3446 = -5*f - g. Is f a prime number?
False
Let a be (2/1)/((-4)/(-16)). Suppose a*s - 1447 = 169. Is s a prime number?
False
Let t be (0 - -236)/4*3. Is (-10)/((-1)/(t/6)) a composite number?
True
Suppose 2*n + 7*n - 109341 = 0. Is n prime?
True
Let f(t) = 10*t**2 - 14*t + 25. Is f(5) a prime number?
False
Suppose -5*u - 4*j + 3*j = 61, -5*u = 2*j + 62. Let a = u - -15. Suppose -a*y = 19 - 64. Is y prime?
False
Let f(d) be the third derivative of 41*d**8/10080 + d**7/5040 - d**6/720 - d**5/15 - d**2. Let g(z) be the third derivative of f(z). Is g(2) composite?
True
Let b(n) = 304*n**2 - 7*n + 7. Is b(6) composite?
False
Suppose t = -4*t + 28260. Suppose 1072 = 5*w + t. Let h = w - -1637. Is h composite?
True
Let o = -7730 - -13503. Is o a composite number?
True
Let a = 2597 - 22. Suppose 9*h = 14*h - a. Is h composite?
True
Let t = -2184 - -6031. Is t prime?
True
Suppose 3*v - 4*v = -756. Let z = -361 + v. Is z composite?
True
Suppose -k = 3*l - 539, -4*k - 4*l - l + 2191 = 0. Is k a composite number?
True
Suppose 3*n + 2*u = u + 205, 0 = -3*n - 4*u + 199. Is n a composite number?
True
Suppose -2*z + 5*t + 25 = 0, -2*z + 19 = 7*t - 10*t. Suppose z*c - 2*c - 1011 = 0. Is c composite?
False
Let n be 2/7 - (-12)/7. Let i(o) = 21*o**2 + 105*o**n + 3 + o + o. Is i(-2) composite?
False
Suppose 0 = 16*z - 31743 + 7055. Is z prime?
True
Let o be 2/(-4)*2/3*-5298. Let g = o - 705. Is g a prime number?
True
Suppose j + 3*f = -j + 16, 5*f = 3*j - 62. Suppose k - 2*a - 5 = 0, -4*k - 3*a + j = -8*a. Is k*(36 + 2)/2 a prime number?
True
Let x = -95 - -98. Let b(p) = -p**3 + 6*p**2 - 6*p - 4. Let l be b(5). Is ((-237)/9)/(x/l) prime?
True
Suppose 3*u = 18 - 9. Is ((-6)/u - (-2710)/2) + 4 composite?
True
Let k = -3 + 6. Let h = 5 - k. Suppose -q + h*q - 23 = 0. Is q prime?
True
Let y(k) = -51*k**3 - 35*k**2 - 289*k - 3. Is y(-16) a composite number?
False
Let l(j) be the second derivative of -199*j**3/6 + j**2 - 13*j. Is l(-3) a composite number?
False
Suppose -14*x = j - 17*x - 29233, -146093 = -5*j - 3*x. Is j prime?
True
Suppose 0 = -5*q + 3*v - 172 + 683, 5*v = -5*q + 535. Suppose -2*o = -g + 55, 5*o + 60 = 3*g - q. Is g prime?
True
Suppose -1469 - 4588 = -9*n. Is n a prime number?
True
Suppose 5*g + 4*c - 16 = 0, 17 = 4*g + 5*c + 6. Suppose -2*w = -3*o + 32169, g*w - 11626 = -3*o + 20543. Is o prime?
True
Let o = -6 + 8. Suppose 2*w + 310 = 4*w. Suppose 3*i - o*m = 7*i - 592, -w = -i + 3*m. Is i composite?
False
Let j(o) = -o**3 - 8*o**2 - 10*o - 15. Let y be j(-7). Is 3/(y/(-4)) + 1363 prime?
True
Let r(i) = -i + 4. Let l be r(0). Let a(w) be the first derivative of 3*w**4/4 - 2*w**3/3 - w**2/2 - w + 1. Is a(l) prime?
False
Let w = 81 - 79. Suppose q - 3861 - 1457 = -w*h, 0 = 3*q - 12. Is h a composite number?
False
Suppose 5*s - 3965 = -2*i - 1260, -3*i - 541 = -s. Suppose 1