 = 26 - 23. Suppose 802 = o*t - 635. Is t prime?
True
Let m be -2*(6/4 + -3). Suppose 2*b + b - m*a = 1503, -b + 2*a + 503 = 0. Is b composite?
False
Suppose 2*i + 4 = i. Let l be (-2)/(i/8*1). Suppose j + l = 455. Is j prime?
False
Let t(j) = 420*j - 17. Let z be t(5). Suppose -6*v + z - 337 = 0. Is v a prime number?
False
Let h be (0 + 12/15)*5. Is 33 - (h/16 - (-1)/(-4)) a prime number?
False
Let w be (24 - 8)*(-1 + 2/8). Is 9678/36 - 2/w composite?
False
Suppose 5*v - 3*v - 40 = 0. Suppose -5*o + o = -v, -c + 2*o = 5. Suppose -g = -c*g + 220. Is g composite?
True
Let t = -385 + 543. Let z be 136/(-2) - (1 - 0). Let b = z + t. Is b composite?
False
Let o be (-8)/(-6) - (-78)/(-18). Is 26960/12 - (o + 11/3) a prime number?
False
Suppose -r - 5*r + 10458 = 0. Suppose -22 = 4*f - 6, 2*f + r = 5*j. Is j a prime number?
True
Is (-104915)/(-9) + (-176)/792 prime?
True
Suppose -2 = -4*r + 6*r. Let j(i) = 17*i**2 - i - 1. Let v be j(r). Is 899/v + (-20)/(-170) a prime number?
True
Let t(a) = 7*a. Let g be t(5). Suppose -6*p + p - g = 0. Is 1 + p/(7/(-12)) a composite number?
False
Suppose 4*v - 9 = 3*d + 4, 4*v = -2*d + 18. Is ((-554)/v)/((-11)/242) a prime number?
False
Let d(z) = 56*z**2 + 8*z - 11. Is d(9) a prime number?
True
Suppose 4*a - 2*a = -5*n + 70, -3*a - 95 = -5*n. Let o = n - 13. Suppose -o*w + 798 = -861. Is w a composite number?
True
Suppose 0 = -0*q + 4*q. Suppose q = -3*n - 2*n + 25. Suppose -2*a - 1445 = -n*s + 3*a, -a + 289 = s. Is s a prime number?
False
Let q be 2*19/(-4)*-2. Let d = q + -19. Is 443/(-1 + d - -2) a composite number?
False
Let h = -547 - -1150. Let i = h - 422. Is i a prime number?
True
Let x(f) = 51*f + 36. Let l be x(-5). Let j = 98 - l. Is j composite?
False
Suppose 0 = -u - 5*i + 11, 0 + 14 = 3*u - 4*i. Suppose 5*p + 53 = u*p. Is p composite?
False
Let i = -24 + 27. Is (i + -6 - 9/(-4))*-2164 composite?
True
Let j = -26157 - -37238. Is j composite?
True
Let u(o) = 24*o**3 + 8*o**2 + 34*o - 7. Is u(13) a prime number?
False
Let w = -1755 + 5908. Is w prime?
True
Suppose -2 = 3*w - 14. Suppose -4*u - 4200 = -7*c + 3*c, -4193 = -w*c - 3*u. Is c a prime number?
True
Let l(p) = 21*p**2 + 9*p - 1. Suppose -8*i = -4*i - 4*m - 24, m - 8 = -i. Is l(i) a prime number?
True
Suppose 4*v + 4 = -h, -4*h - 16 = -0*h - 3*v. Let p(i) = -13*i + 3. Let r be p(h). Suppose -r = -5*f + 2*m, -3*m = -4*m. Is f a composite number?
False
Let w = 19 - 7. Let g = -11 + w. Let b(s) = 67*s**3 - s + 1. Is b(g) prime?
True
Suppose 0*f + 2*f - 28 = -2*v, 2*f - 4*v - 16 = 0. Suppose f = 3*j - 3. Suppose -p = j*z + 74 - 515, 4*z = 5*p - 2263. Is p composite?
True
Let p(a) = -a**3 + 16*a**2 + a + 11. Let l be p(15). Let n = 605 - l. Suppose -2*d - 4*w = -n, d - w = -3 + 192. Is d prime?
False
Suppose 2*r - 3417 = 1373. Is r prime?
False
Is (((-2356527)/(-18))/(-31))/(3/(-18)) a composite number?
False
Let n be (1251/(-6))/((-9)/(-12)). Let a = n - -420. Is a/3 - (-6)/(-18) prime?
True
Let o(d) = 507*d - 155. Is o(26) a prime number?
False
Let b be (-2)/4*-2 - -1. Suppose -892 = -2*c - 2*c. Suppose g - 6*g + c = 3*v, -b*g = -2*v - 102. Is g prime?
True
Let p(n) = 1925*n + 102. Is p(7) a composite number?
False
Let g = 913 - 1992. Let u = 1828 + g. Is u prime?
False
Suppose q - 5*q - 747 = 3*u, -2*q - 251 = u. Let j = -112 - u. Is j a prime number?
False
Suppose -16*o + 86872 = -989784. Is o a composite number?
True
Suppose 12*i + 1091 = 3803. Suppose -4*g - 339 = -3*o, 0*g + 2*g - i = -2*o. Is o prime?
True
Let x(a) = 4 - 9 + 7 + 143*a + 5. Let t be x(-4). Is 1/(-3)*(-8 + t) a composite number?
False
Let j(r) be the first derivative of -r + 2. Let n(q) = 45*q + 8. Let p(b) = -6*j(b) - n(b). Is p(-1) prime?
True
Suppose 357 = -x + 8*c - 10*c, -5*x = -c + 1796. Let y = -20 - 128. Let l = y - x. Is l prime?
True
Let j(p) = p**2 - 9*p - 4. Let c be j(10). Suppose 0 = c*b - 9*b + 987. Is b a prime number?
False
Suppose -52*o - 339260 = -62*o. Is o a prime number?
False
Suppose 0 = -2*d + 7*d + 2*w - 29, 0 = -d + 5*w + 22. Suppose -d*a + 2*a = -2*x + 138, -67 = -x + 3*a. Is x a prime number?
True
Suppose 0 = t - 0 - 2. Suppose t*i - 54 = 1228. Is i a composite number?
False
Let s(i) = -615*i + 3. Let o be s(-1). Suppose z - 5*y = 2*z - 598, -o = -z - y. Is z composite?
True
Let v(f) = 13*f - 4. Let p be v(10). Is p/4 + (-13)/26 composite?
False
Let t = -2985 + 19906. Is t a prime number?
True
Suppose -138 - 426 = -2*p. Let l(v) = -v**3 - 2*v**2 + 6*v + 12. Let m be l(-3). Suppose -p = -m*k + k. Is k prime?
False
Let b be -4 + 1 + 8 + 0. Suppose -b*l = -8*l. Suppose 2*t + 4*k - 522 = 0, -5*t - k + 1296 = -l*k. Is t a prime number?
False
Suppose -5*w = -0*w - n - 41870, w + 2*n - 8363 = 0. Is w a prime number?
False
Let s = -16153 - -29048. Is s a prime number?
False
Suppose -y = -6*y + 1920. Suppose 2*h - 4*f - 258 = y, 682 = 2*h + 4*f. Is h prime?
True
Let w(b) = b**3 + 6*b**2 + 2*b + 2. Let c = -8 - -12. Suppose -l + n = -c, 0 = 3*l - 5*l - n + 11. Is w(l) a prime number?
False
Suppose -5*o + 5342 = -3*g, -3*o + 4033 = 2*g + 824. Is o a prime number?
True
Let b be (-1)/(-4) + 46/8. Let n be 3 + (3/3 - b). Let k(q) = -20*q**3 - 2*q**2 - q + 1. Is k(n) composite?
True
Let o be (-806)/(-30) - (4 + (-434)/105). Suppose 30*y - 2733 = o*y. Is y composite?
False
Suppose 19*z + 15354 = 74273. Is z prime?
False
Let d be (4/(-6))/(3/((-18)/(-4))). Suppose 0*h = -4*h + 4. Is (-116 - 3/h)*d a prime number?
False
Let b(m) = 312*m**3 - 2*m**2 - 6*m + 3. Is b(2) composite?
True
Suppose 60*s = 63*s - 5037. Is s a prime number?
False
Suppose d - 1270 = 4*q, -5*d + 5*q + 3243 + 3077 = 0. Suppose s - d = -s. Is s composite?
False
Let l = 319 - 51. Let v(u) = -u**3 + 6*u**2 + 6*u + 8. Let d be v(7). Is -3 - l/(d - 3) composite?
False
Suppose 4 = -8*m + 52. Let r = -592 + 893. Suppose 4*n + i - r = m*i, -64 = -n - i. Is n composite?
True
Suppose -3*i - 8 - 7 = 0, 0 = 2*q - i + 8405. Let s = q - -7808. Is s a composite number?
True
Let n be 4*6/16*2. Suppose n*a + 5*i - 3148 = 0, 4054 + 138 = 4*a + 4*i. Is a composite?
True
Let v be (-4)/3 - 10/15. Let o be 4 + v - (-1960 + -1). Suppose -2*i = 5*j - o, 5*j - 2320 = -i - 356. Is j a prime number?
False
Let f be (-1)/(-1 + 2 + 0). Let u(c) = -5936 - 235*c + 5936. Is u(f) a composite number?
True
Suppose -6*z = 378 + 1350. Let y = z + 505. Is y a composite number?
True
Suppose -12*j + 294910 = 44698. Is j a prime number?
False
Let b(h) = -2642*h - 191. Is b(-15) composite?
False
Let o(d) = -4*d. Let r be o(-1). Suppose 4*u - 1180 - 7 = -s, -4828 = -r*s + 4*u. Is s composite?
True
Suppose 2220 = 13*n - 12*n. Suppose -6*v + v - 4*a + 3737 = 0, 5*a = 3*v - n. Is v a composite number?
True
Let d = 13 - 8. Let x = d - 11. Is (226/x)/(6/(-18)) a composite number?
False
Let d(l) be the first derivative of 32*l**3/3 - l**2/2 + l + 17. Suppose -4 + 2 = -x. Is d(x) prime?
True
Suppose 72*z - 68*z - 12 = 0. Is 2*z/((-6)/(-157)) composite?
False
Suppose 2*t - 4630 = y, -2*t + 0*t + 2*y = -4626. Is t composite?
True
Let o = -629 + 1421. Let a = 1365 - o. Is a a prime number?
False
Suppose -c - 5*c = -11406. Is c prime?
True
Suppose 12*p - 517510 = 2*p. Is p a composite number?
True
Is 1261786/18 + (-22)/99 a composite number?
False
Let s = -11 - -240. Suppose -g - 5*m = -s, 0*g = 2*g + 4*m - 476. Suppose -2*p + 7*p - g = 3*d, -p - 5*d = -32. Is p composite?
False
Suppose 14*i - 13611 - 37279 = 0. Is i composite?
True
Let q(s) = -3*s**2 - 7*s - 10. Let z be q(-3). Is z/(-48) - ((-1726)/6 + -1) composite?
True
Let x(y) = -3*y - 13. Let n be x(-5). Is 4/8 - (-65)/n a prime number?
False
Let l(q) = -64*q**3 - q**2 + 1. Let z be l(-1). Is 2/8 - (-4)/(z/2028) a prime number?
True
Suppose 5*z = 2*d + 1274, -14*z + 516 = -12*z - 4*d. Is z a composite number?
True
Suppose -f + 3964 - 174 = b, 4*b + 2*f - 15166 = 0. Is b composite?
False
Suppose 37 = -2*j + 3*o, -j = 3*o - 5*o + 16. Is j/(-6)*(1 + 300/6) a composite number?
True
Let h(p) = p + 7. Let d(s) = -3*s - 15. Let c(m) = -2*d(m) - 5*h(m). Let q be c(7). Suppose 4*w = -q*l - 153 + 799, 3*w - 484 = -l. Is w composite?
True
Let r(c) = 2227*c**2 - 2*c - 1. Let a be r(-1). Suppose -a = 4*s - 8*s. Is s prime?
True
Let f = 28509 + -14018. Is f a prime number?
False
Suppose -6 - 13 = 3*q - 