t a = -180 - 220. Let n = -122 - a. Is n composite?
True
Suppose 71*x - 67*x = 844. Is x a prime number?
True
Let v(z) = 12699*z + 419. Is v(4) a prime number?
False
Suppose -24*j = -205697 - 136495. Is j a composite number?
True
Let d(b) = 7*b**2 - 8*b - 2. Let y be (-2)/(-7) - (-517)/77. Let f be d(y). Suppose n - f = -2*n. Is n prime?
False
Suppose 2*y = 2*c + 534, 3*y + y - 2*c = 1068. Is (-6)/(-18)*y/1 composite?
False
Let d be 2/3 + (-2226)/(-9). Suppose 0 = 2*c + 33 + 221. Let k = c + d. Is k composite?
True
Suppose 2*t - 4472 = 5*x + 28049, 5*t = -4*x + 81253. Is t prime?
True
Suppose -x - 5*s - 15427 = -3*x, -3*s = -15. Is x prime?
False
Let z(u) = -48*u - 11. Let w(o) = 48*o + 12. Let k(x) = 4*w(x) + 5*z(x). Let g be k(-3). Suppose -303 = -h - 2*m, 4*h - m = g + 1030. Is h a composite number?
False
Let d be (-125)/(-3) - (-1 + 10/6). Let x = 100 - d. Is x composite?
False
Let f(p) be the second derivative of 2*p**4/3 + p**3/6 - 3*p**2 + 32*p. Is f(3) prime?
False
Suppose 5*g = -66 + 41. Is (-5442)/24*(3 + g)*2 a prime number?
True
Is 3/(311122/44443 + -7) composite?
True
Suppose -5*o + 53 = 5*s - 2, 11 = s + 5*o. Is (953/(-4))/(s/(-44)) a prime number?
True
Let g = -115 + 229. Let k = g - 80. Is k a prime number?
False
Let f(g) = -9 - 23 - 5 - 22*g. Is f(-15) prime?
True
Let j be 3 - (-893 + -1 + 0). Suppose -5*b = r - j, r + 885 = 2*r - b. Is r a composite number?
False
Suppose y = 3*l - 1541, 2*y + 1101 + 445 = 3*l. Let g = -310 + l. Is g prime?
False
Let i(j) = j**3 - 15*j**2 + 15*j - 28. Let o be i(13). Let r = -10 - o. Is r a prime number?
False
Let m(r) = 54*r - 10. Let f be m(12). Suppose 2*q - 248 = -2*o, 0 = -2*q - 3*q + o + f. Is q composite?
False
Suppose -11*g = g - 51096. Is g a composite number?
True
Let h(r) = -19*r**3 + 6*r**2 + 6*r - 4. Let l be h(-3). Suppose 3*y - 2*c = -2*y + 921, 3*y = 5*c + l. Is y a composite number?
True
Suppose 7 + 3 = 2*b + 4*d, -3*d + 15 = 4*b. Let o be -59 + -2 + 15/b. Let s = 189 + o. Is s prime?
False
Suppose 9*v + 3514 = -3317. Suppose -2649 - 1461 = -3*y. Let a = y + v. Is a prime?
False
Let j be ((-48)/(-42))/(4/14). Suppose -4*n + 181 = -n + m, n = j*m + 69. Is -6 + 3 + -1 + n composite?
True
Suppose 5*u - 3*u - 65692 = -3*d, 65708 = 2*u - 5*d. Is u composite?
True
Let n(s) = 223*s + 42. Is n(17) composite?
False
Suppose -4*z - 134 + 14 = 0. Let f = z + 499. Is f a prime number?
False
Let d = 55 + -121. Let q = d - -251. Is q a prime number?
False
Let a(n) = 301*n**2 + 4*n + 15. Let i be a(7). Is (-6)/(-14) + i/14 a prime number?
False
Suppose m - 2*r = -74 - 239, -942 = 3*m - 3*r. Let t = m + 538. Is t prime?
True
Let j(q) = q**3 - 5*q**2 - 14*q - 18. Suppose 0 = -h + 2 - 10. Let t be j(h). Let c = -527 - t. Is c prime?
True
Suppose 2*h = -35 - 5. Let k = 42 - h. Let a = 355 - k. Is a a prime number?
True
Suppose 0 = 6*o - 12900 - 65286. Is o prime?
False
Let c(b) = -b + 8. Let y be c(8). Suppose -5*h - 15 = -3*l, y = -h - h + 5*l + 13. Is (-6)/(-2)*(-1402)/h a prime number?
True
Let y(b) be the second derivative of 5*b**4/12 + 23*b**3/6 - 7*b**2/2 - 16*b. Is y(-10) prime?
True
Let y = 59 - -2864. Is y composite?
True
Let x(f) = -f - 3. Let v be x(-3). Suppose -5*s - 3*u = -2495, -2495 = -v*s - 5*s + 4*u. Is s composite?
False
Let p(w) = -w**2 + 3*w + 13. Let b be p(5). Suppose b*c = -c + 884. Is c a composite number?
True
Let c(m) = m**3 - 19*m**2 + 16*m - 21. Let f be c(20). Suppose 13*t - f = 6152. Is t a prime number?
False
Let j = 3 - -8. Let v(r) = -15*r**2 - j*r + 3*r**2 + 1 + r**3 + 10 - 4. Is v(13) composite?
True
Suppose 3728 = 6*v - 3*v - 5*w, 4*v - 5*w = 4969. Is v composite?
True
Suppose 5*b = 5*r + 10, -2*r - 5*b - 1 = -32. Is r/(-10)*-1494 - (-12)/15 a composite number?
False
Let q = -7 + 45. Suppose -42*s + 3508 = -q*s. Is s prime?
True
Let x(w) be the second derivative of -w**4/12 + 5*w**3/6 + 3*w**2/2 - 6*w. Let r be x(5). Suppose -496 = -t + r*o, -t + o + 502 = 4*o. Is t a composite number?
False
Suppose 4*m - 5*m + 5*j = -7704, -2*j + 10 = 0. Is m composite?
True
Let l(v) = v**3 + 9*v**2 + 15*v + 7. Let d be l(-7). Suppose d = -7*a + 5*a + 1814. Is a composite?
False
Let w(j) = 4*j**2 - 24*j + 161. Is w(-25) a prime number?
False
Suppose f + 5*j = 3139, 6*j = -3*f + 2*j + 9373. Is f composite?
False
Is (-9 - -6)*(-87346)/42 a composite number?
True
Let z be (-8)/(-36) - 50/(-18). Suppose -4*r + r + 2379 = -z*v, 4*r + 5*v - 3136 = 0. Is r prime?
False
Let l(f) = -376*f + 57. Is l(-5) prime?
False
Let i = 366 - 30. Let l = 117 + i. Is l prime?
False
Let p = 28 - 21. Is (-1)/(-1) - -30*p composite?
False
Let y = 2 + 4. Let i(t) = -11*t + 1 + 3*t**3 - 5*t - 5*t + 24*t - 7*t**2. Is i(y) composite?
True
Suppose z - 607 = -3*h - 0*h, -3*h + 4*z + 617 = 0. Is h a composite number?
True
Suppose 0 = h + k - 73, -437 + 82 = -5*h + 5*k. Let q = h - 149. Let i = q - -468. Is i a prime number?
False
Suppose 72*d + 116987 = 85*d. Is d prime?
True
Let d(i) = i**3 + 8*i**2 - 8*i + 2. Let g be d(-9). Let j(u) = u**2 + 5*u. Let o be j(g). Is ((-105)/o)/(2/(-4)) a prime number?
False
Suppose 3*m = 7*m + 48. Let v be 15/18 + (-2)/m. Is 4/(-8)*-514*v prime?
True
Let c be 1062/(-30) - (-4)/10. Let z be (-4)/(-14) - 130/c. Suppose -z*b + 230 = -2*b. Is b composite?
True
Let o(u) = 3*u**2 + 24*u - 51. Let a be o(19). Let m = 135 + a. Is m a prime number?
False
Let k = 45 + -42. Suppose k*s - 430 = -g, 3*g = -2*s + g + 280. Is s a prime number?
False
Let h be ((-4)/((-8)/3))/(5/10). Is (-1 - 14)/h - -336 prime?
True
Let h = 701 + -370. Is h a prime number?
True
Let w be (-9)/2*90/(-9). Let s = w - 29. Let d(q) = 15*q + 23. Is d(s) a prime number?
True
Let u = 283 - 456. Let w = u - -97. Is 7/(4 - (-300)/w) prime?
False
Suppose 5*j - 5*g - 12240 = 0, 13*j - 4*g = 16*j - 7379. Is j composite?
True
Suppose h - 4 = 3*m - 2*m, 0 = 4*m - 3*h + 20. Let y = m - -8. Suppose y = -3*k + 5*g + 90, -3*g + 38 = 5*k - 146. Is k a composite number?
True
Suppose -4*v + 54 = 38. Suppose 4*j + 4*o = 864, -v*j - 4*o + 643 = -j. Is j composite?
True
Suppose x + 28 - 353 = 2*a, 2*a = -5*x + 1589. Suppose l - x = 520. Is l a prime number?
True
Let x(i) = -287*i - 720. Is x(-59) composite?
True
Suppose -2*j + 30262 = -5*y, 0*y + 60488 = 4*j - y. Is j prime?
True
Let f(n) = n**3 + 10*n**2 + 12*n - 12. Let v be f(-14). Let w = -435 - v. Is w a prime number?
False
Suppose 0*x = -3*x + 4731. Let a = x - 908. Suppose 309 = 3*f - a. Is f prime?
False
Let j = -101 + 101. Suppose -u + 3*k + 1115 = j, 2*u - 2214 = -k + 3*k. Is u composite?
False
Let o = 7890 - -1627. Is o composite?
True
Let q = 37 - 26. Let o(y) = y**3 - 11*y**2 + 3*y - 10. Let a be o(q). Let u = -13 + a. Is u prime?
False
Suppose -7 = -5*f - 37. Let y = f - -9. Suppose y*w - 133 = -4*k, 6*w - 4*k = 3*w + 173. Is w a prime number?
False
Let d = 29 - -975. Let o = 11 + -6. Suppose -o*s = -s - d. Is s a prime number?
True
Let v(o) be the second derivative of 53*o**3/6 - 5*o**2 + 14*o. Is v(3) a prime number?
True
Let s = 6615 + 332. Is s prime?
True
Let u(j) = -14*j + 1. Let z be u(-1). Let i(c) = c**3 - 14*c**2 - 14*c - 12. Let w be i(z). Suppose 0*m = w*m - 447. Is m composite?
False
Suppose -x + 1109 = 3*z - 2*x, 4*z + 2*x - 1492 = 0. Is z a composite number?
True
Let q = 66722 - 30075. Is q a composite number?
True
Is (624751/(-118))/(2/(-4)) a prime number?
True
Suppose 0*j = -2*j + p + 33, 2*j - 2*p = 30. Suppose j*o - 5863 = 7*o. Is o a composite number?
True
Let v = -13 + 13. Suppose v = -2*d + 3*d + 57. Let b = d + 143. Is b a composite number?
True
Let w = 9551 + -4420. Is w composite?
True
Suppose 2*g = m - 0*m - 10161, -3*m + 2*g + 30463 = 0. Is m a prime number?
True
Suppose 0 = 5*o - 6*o + 5, 0 = 2*k - 4*o - 268434. Is k composite?
False
Suppose -3*y - 3*t = -7*t + 12, 4*y + 9 = 3*t. Suppose 0 = 2*c + 4*o - 433 - 1913, 4*c - 5*o - 4666 = y. Is c a composite number?
True
Let b be ((-6)/5)/((-12)/40). Suppose -4*v + 0*j - b*j = -4784, v - 5*j = 1178. Is v prime?
True
Let g = -20 + 20. Suppose g = -0*v + v - 34. Is v a composite number?
True
Let i = 8 + -3. Suppose -t + 4*t + 15 = -i*q, -3*t - 12 = 4*q. Is 1 + 44 - (-1 - q) prime?
True
Let b(n) be the third derivative of n**7/720 - 7*n**6/720 - n**5/20 - 6*n**2. Let m(l) be the third deriv