0 = 4*j - 0*j - 8. Let a be j/(-8) + (-125)/(-4). Let u = a + 96. Is u prime?
True
Suppose 2*n = 12 - 0. Suppose n*b - b = 385. Is b composite?
True
Suppose 0*m - m + 1366 = 3*k, -1358 = -3*k + m. Suppose 2*z + 2*p - k = 0, -z + 5*z - 896 = -p. Suppose -2*j - z = -3*j. Is j a prime number?
True
Suppose 0 = -3*z - 4699 + 26914. Suppose 3*m - z = -2*m. Is m composite?
False
Let u be 4/(-14) - 45510/(-35). Let b = 2118 - u. Is b composite?
True
Suppose 5*l - 2*n = 3367, -6*n + 669 = l - 2*n. Is l composite?
False
Let y(f) = -9232*f + 3. Is y(-1) composite?
True
Let t be (-1)/((4/(-682))/(-2)). Let x = -175 - t. Is x composite?
True
Let x be 1/1 - (-1 - -2). Is (x + -1531)/(-3 + (-5 - -7)) a composite number?
False
Let t = 1 - 8. Let n(q) = q**2 + 6*q - 4. Let z be n(t). Suppose 2*p - 2*r = 588, 0 = 4*r + z + 1. Is p prime?
True
Let v = 188 - 50. Let d = v - -1019. Is d a composite number?
True
Suppose 31*g - 23*g - 134248 = 0. Is g prime?
False
Let r = 20256 - -3727. Is r prime?
False
Let o(z) = -38*z**2 + 11*z + 15. Let c(x) = 13*x**2 - 4*x - 5. Let v(f) = -8*c(f) - 3*o(f). Let d(u) be the first derivative of v(u). Is d(6) composite?
True
Let u(p) = -37*p**2 + 3*p + 6. Let y be u(-2). Let w = 169 - y. Is w a composite number?
False
Let z(f) = 21*f**2 + f + 14. Let y be z(10). Let j = 3439 - y. Is j a composite number?
True
Let g(n) = n**2 - 15*n - 6. Let u be g(16). Let x(v) = 15*v - 7 - u*v + 4*v**2 + 2*v**2. Is x(8) composite?
True
Let h = -80 + 79. Let w(k) = -1564*k**3 - 2*k**2 - 2*k - 1. Is w(h) a composite number?
True
Let t = 51407 - 34128. Is t a prime number?
False
Suppose -4*m - 2 = -6. Let q be ((-59)/(-2) - m)*2. Suppose 3*z = 12 + q. Is z a composite number?
False
Suppose -974118 = -51*u + 620040. Is u composite?
True
Suppose -h - 6 = -3*h. Suppose h*q - 2355 = -2*q. Let x = q + -270. Is x prime?
False
Suppose 0 = 2*p + 4*v, -2*v + v = -3*p - 35. Is 13/65 + (-5408)/p prime?
True
Suppose -9 = d - 3. Let s(o) = 45*o + 14. Let i be s(d). Let b = 521 + i. Is b prime?
False
Let t(n) = 2*n**3 + 18*n**2 - 11*n - 6. Let g be t(10). Suppose -2*y + 8*y = g. Is y a composite number?
True
Let x(a) = a**3 - 4*a**2 + 5*a - 3. Let u be x(3). Let z be 1/(u + 15/(-6)). Suppose -z*p = 3*r - 1504, -p - 2 + 749 = -r. Is p prime?
False
Let l(o) = 491*o**2 + 5*o - 13. Is l(-3) composite?
False
Let w = -3711 + 11994. Suppose 8*z + 2323 = w. Is z prime?
False
Is (91066/(-4))/(32/(-64)) a prime number?
True
Let l be (-1)/1 + 20/4. Suppose -l*b = -3*b + 142. Let h = -75 - b. Is h a prime number?
True
Let l(v) = -2*v + 5. Let s(k) = -2*k + 6. Let z(h) = 3*l(h) - 2*s(h). Let b be z(-5). Let w(p) = p**2 + 3*p + 18. Is w(b) a prime number?
False
Suppose -4*j = 2836 - 9400. Let y = j - 4. Is y a prime number?
True
Let z be -4 - -7 - (-9900)/((-4)/2). Let n = 6998 + z. Is n a composite number?
True
Let d be -3*(-2 - (2 - 5)). Let r(i) = 384*i + 2. Let z be r(d). Let f = -771 - z. Is f prime?
True
Suppose n + 4*c - 2515 = -c, n = 5*c + 2505. Suppose -n = 11*w - 13*w. Is w prime?
False
Suppose -5*d = -2*d - 4*a - 10391, 3*a = -15. Is d a prime number?
True
Suppose 6 = -33*p + 36*p. Suppose -p*m = -1002 + 28. Is m a prime number?
True
Suppose 3*m - 44969 = -k, -16*k + 13*k = 4*m - 59962. Is m a composite number?
True
Suppose -40 + 8 = -8*c. Suppose d = 2*d - 2. Is ((-2930)/(-20))/(d/c) prime?
True
Let w(j) = -2*j + 27. Let d be w(15). Is 69 + (-3 - (d + 0)) prime?
False
Let f be ((-2 + 3)*-21)/(3/8). Let m = -33 - f. Is m a prime number?
True
Let u(r) = -r**3 + 12*r**2 - 12*r + 5. Suppose -5*n = t - 51, 5*t - 29 = -4*n - 5. Let x be u(n). Let o(j) = 6*j**2 + 4*j - 5. Is o(x) prime?
False
Is (-2)/(-5) - 1/(5/(-15183)) a composite number?
False
Suppose -127*r = -121*r - 3126. Is r a composite number?
False
Suppose 0*i - i + 4*c + 1 = 0, 0 = -2*c. Let a be (0 + 2 + -1)/i. Is a - (3 + 230)*-2 a prime number?
True
Let m = 70413 - 39548. Is m a composite number?
True
Let w = 1075 - 569. Suppose 8 = 16*j + 8. Suppose 2*a - 2*g - w = -j*g, -4*a - 3*g = -1012. Is a a composite number?
True
Suppose -6*h = -2*h + 5*o - 10978, 5*h = -3*o + 13729. Is h a composite number?
True
Let n be ((-3)/4)/(7/(-56)). Suppose j - n*j = -1465. Is j a prime number?
True
Let y = 270 + -177. Suppose v - 158 = y. Is v a prime number?
True
Let l(k) = k**2 + k - 7. Let y be l(-4). Let x be 2/4*2*1. Is x + -4 + 1 + y a prime number?
True
Let y(v) = 252*v**2 + 5*v + 7. Let j(o) = 1. Let w(z) = -3*j(z) + y(z). Is w(-1) prime?
True
Let g = 15480 - 5149. Is g a prime number?
True
Let l = -11462 + 20371. Is l prime?
False
Suppose -5*y = -m - 172, -3*y + 2*m + 85 + 14 = 0. Let s be (-117)/(-12) - (-1)/4. Is s/y - (-4098)/14 prime?
True
Suppose -5*u = 112 + 493. Let j = 252 + u. Is j composite?
False
Let j(w) be the first derivative of -w**4/4 + 4*w**3 - 9*w + 8. Is j(10) prime?
True
Let q = 6407 + 2320. Is q a prime number?
False
Let t = -145 + 207. Let n be t/12 + 10/(-60). Suppose 0 = -n*j - j + 474. Is j composite?
False
Suppose -3*b = -0*b - 2025. Suppose 0 = -4*l - 77 - b. Is l/(-6) + (-9)/27 composite?
False
Let m(o) = -6*o + 0*o**3 + 11*o**2 + 14 + 0*o**3 + o**3 + 17*o. Let i be m(-10). Suppose i*s - 5*n - 121 = 100, -3*n - 64 = -s. Is s a prime number?
False
Let v(f) = -11*f + 10. Let s be v(6). Let x = -30 - s. Is x prime?
False
Let t(m) = -30*m + 41. Let w(h) = -61*h + 82. Let x(r) = -9*t(r) + 4*w(r). Let j(v) = -17*v + 27. Let c(k) = 7*j(k) + 5*x(k). Is c(15) composite?
False
Let x(l) = -1097*l - 11. Is x(-2) a composite number?
True
Let s be -3 - -1 - -1 - 2. Is (s/(-6))/(1/30) a composite number?
True
Is (4*(-2)/4)/((-16)/41336) a prime number?
True
Suppose -10*s + 363059 - 106969 = 0. Is s a composite number?
False
Let p(x) = 32*x + 3. Suppose -11 = -5*q + 2*a + a, 0 = 2*q - 3*a + 1. Is p(q) a prime number?
True
Suppose -f + 1541 = 6*j - j, j = 5. Suppose 0*w - 4*w + f = 0. Is w prime?
True
Let a = 9716 - 5995. Is a prime?
False
Let h(i) = 2 - 3 - 13*i - 53*i. Let w be 4/(-10) - 48/30. Is h(w) prime?
True
Let y(x) = -6*x + 3 - x**2 + 3*x + 2*x + 3*x. Let c be y(3). Is 23 - (-2)/(c + -2) a prime number?
False
Suppose -197660 - 129297 = -31*t. Is t a prime number?
False
Let s be (-13503)/(-49) - 8/(-42)*-3. Suppose -h = -128 - s. Is h a composite number?
True
Let o(p) = p + 91. Let z(d) = -d**2 - 3*d + 10. Let l be z(-6). Let s = l + 8. Is o(s) prime?
False
Suppose -19*k + 35872 = -20862. Is k a composite number?
True
Let q = 197 + -116. Suppose q - 292 = -n. Is n prime?
True
Let q = 15875 + 116. Is q composite?
False
Let o(v) = -v**2 + 25*v - 17. Let q be 267/9 - 2/3. Let g = -12 + q. Is o(g) composite?
True
Let b = -16 + 22. Suppose -4*n + 2 = -b. Suppose 0 = -5*a + 2*s + 393, n*a - 73 = a - s. Is a prime?
False
Suppose -13*w + 3*w = -1680. Suppose l + w = 2*f + 3*l, 4*l = -5*f + 419. Is f composite?
False
Let s(p) = p + 3. Let i be s(-2). Suppose -7 + i = -3*g. Suppose 2*a - 5*t = 151, 160 = g*a + t - 3*t. Is a a composite number?
False
Suppose -8*j + 116 = -4*j. Let y = -27 + j. Suppose -y*p - 335 = -3*p. Is p composite?
True
Let q(a) = 1676*a**2 - 4*a - 2. Is q(-1) a composite number?
True
Suppose m = -3*l + 16, l = -2*m - 2*l + 17. Let y(k) = 1192*k - 1. Is y(m) a composite number?
True
Let r = 14984 - 7707. Is r composite?
True
Let w(h) = 158*h**2 - 3*h + 26. Is w(-5) prime?
False
Let g(n) = n**2 + 3*n - 1. Let i be g(-4). Let r(w) = -54*w**i + 1 + 12 + 15*w**2 + 53*w**3 - 17*w - 1. Is r(13) a prime number?
False
Let k = -115 + 561. Is k a prime number?
False
Suppose -17 - 81 = 7*y. Let f = y + 16. Suppose -f*w = 16 - 338. Is w prime?
False
Suppose -3*i = -4*g + 6906 + 1733, -i = -g + 2159. Let o = g - 397. Is o prime?
False
Let x(w) = w**2 + w + 159. Suppose 2*a - 5*p - 15 = 0, 4*a = -2*p - 2 - 4. Is x(a) a prime number?
False
Let n = 29663 - -1202. Is n a composite number?
True
Let j be (-3)/4 - 75/12. Let p = 15 + j. Suppose p*t - 5*t = 357. Is t a composite number?
True
Suppose 2*y - 43827 = -v - 4*v, -3*y = 3*v - 26298. Suppose 4*b + 3*k + 2*k = v, -5*k + 2180 = b. Is b prime?
False
Suppose 8*p - 11*p + 4023 = 5*q, 0 = -q - 4*p + 791. Suppose -5*g + g = -3*d - q, -d = 1. Is g a composite number?
True
Let j be (-6)/3 + (-1 - -5). Let w(m) = -1 + 1 - 4*m + m + 3 + 25*m**j. Is w(2