. Suppose 0 = 8*y - 17*y + t. Is y composite?
True
Suppose 3*a = 15, 2*a + 0*a + 10 = 5*w. Suppose 5*r - w*r = 222. Suppose i = 580 - r. Is i a composite number?
True
Is (-10 + -15116)*(36/6)/(-36) prime?
True
Suppose 5*i = -5*d + 140, -d + i = -28 + 6. Suppose d*m + 12303 = 34*m. Is m a prime number?
True
Let q(n) = 37*n**2 - 3*n + 9. Let l = 141 - 136. Is q(l) a prime number?
True
Let c(s) = -s**3 - 5*s**2 + 2. Let a be c(-5). Suppose 19222 = 37230*x - 37216*x. Suppose 3*m + 5*t - 2097 = 2*t, -3*t = -a*m + x. Is m prime?
False
Is ((-2)/6)/(8/4375716)*-2 composite?
False
Let a = -18787 + 28758. Let x = -5866 + a. Is x a prime number?
False
Let b be 14 - 9 - 4/2. Suppose -4*p + 12 = -3*s, -2*s + 0*p = p - 3. Suppose 0 = b*r - s*r - 1569. Is r a prime number?
True
Let b(t) = -7*t**3 + 17*t**2 + 15*t + 22. Let d be b(9). Is (d/(-2))/(270/20 - 13) a composite number?
True
Suppose 12*p - 105295 = 11*p - 2*x, 3*p = 6*x + 315981. Is p a prime number?
False
Let n = -285422 - -411279. Is n prime?
False
Let v = 1273611 + -840194. Is v prime?
False
Let f be 3017 - (6 - 6 - (-2)/(-1)). Suppose -17455 = -12*w - f. Is w a composite number?
True
Let n = -57043 + 83592. Is n a composite number?
True
Let k(q) = -17*q**3 + 10*q**2 + 14*q - 1. Let t be k(-6). Let a = 1908 + t. Is a a composite number?
True
Let l(s) = 8571*s + 140. Is l(11) a composite number?
False
Let t(i) = -i**3 - 10*i**2 - 2*i - 14. Let y be t(-10). Let l(d) = 2*d**3 - 13*d**2 + 6*d - 9. Let z be l(y). Is z/12 - (-59995)/20 composite?
False
Is -2*(-20990172)/126*(-3)/(-4) a prime number?
False
Suppose -2*u + 711257 = 3*a, -2*a = 3*u + 2*a - 1066887. Is u prime?
True
Suppose -149*w + 7235859 - 4735190 = -42509698. Is w prime?
False
Let y = -4791 + 7552. Is y a composite number?
True
Suppose -126 = -8*d + 5*d. Let t = -40 + d. Suppose -t*w - 8 = 0, 0*w = -o - 2*w + 69. Is o a composite number?
True
Let p = -822 - -827. Suppose 0*z - 4854 = -3*z. Suppose -p*w - z = -7*w. Is w composite?
False
Let f be (-2)/(3 - (1 - 0)). Let h be (24/(-16))/(f/150). Suppose 2*k + 177 = 3*y, 4*y + 0*k - h = -k. Is y prime?
False
Let x be (-585)/(-60) + 3*(-2)/(-24). Is (27545/70)/((x/(-4))/(-5)) a prime number?
True
Let p = 200497 + -112004. Is p a composite number?
False
Let d(y) = -432*y + 55. Suppose 111 = -5*o + f + 18, -o - 3*f - 25 = 0. Is d(o) a composite number?
False
Let d(x) = 149843*x**2 + 179*x + 179. Is d(-1) composite?
True
Let z = -4139 + 81610. Is z a composite number?
False
Let h(u) = -3*u**3 - 64*u - 26. Let x(y) = 5*y**3 - y**2 + 96*y + 39. Let g(s) = 8*h(s) + 5*x(s). Is g(15) a composite number?
True
Let l(k) = 3*k**2 + k + 2417. Let c(a) = 2*a**2 + 1208. Let z(q) = -q**2 - 10*q + 19. Let y be z(-12). Let j(n) = y*c(n) + 3*l(n). Is j(0) a composite number?
True
Suppose 0 = 4*l + 5*m + 57647, -5*l + 2*m - 72080 = 4*m. Let a = -1075 - l. Is a composite?
True
Let x = -172 + 161. Let d(f) = -46*f + 23. Is d(x) a prime number?
False
Let p be (-1)/(-3 - -2)*2. Suppose 5*n + 5238 = -4*c, p*n + 1309 + 803 = 4*c. Let a = 1913 + n. Is a a composite number?
False
Let a(o) = 1721*o + 1477*o - 11 - 656*o - 58*o. Suppose -3*p = p - 4. Is a(p) a prime number?
True
Suppose 0 = 3*n + 3*g + 3, 10 = 4*n - 5*g - 13. Suppose 4*u - 2*v = -4, -n*v = 3*u - 4*u + 5. Is 2/u - (1 + 49780/(-15)) a prime number?
False
Suppose 828*y - 827*y = -2*b + 102271, 2*y + 3*b - 204536 = 0. Is y composite?
False
Let l be (-10)/(-15) - (-2848)/3. Suppose 5*t + l = 3615. Is t a prime number?
False
Let x = 31 - 18. Suppose 0 = 3*q + x + 2. Is 1 + q + 1 + 670 prime?
False
Suppose 56 = 2*v - 2*g, 2*g + 23 = 3*v - 2*v. Suppose v = 3*t + 4*w, -3*t = -3*w + 1 - 13. Suppose -15 = -t*h + 1084. Is h prime?
True
Suppose u = -3*l + 245276, -l + 3*u - 10439 = -92191. Suppose 0 = 8*r - l + 18670. Suppose 4*y = -90 + r. Is y a prime number?
True
Let z = 34425 - 173. Suppose -4*s + 28594 = 2*r, 12789 = -3*s + 2*r + z. Is s prime?
True
Suppose -9*a + 40 = a. Suppose -4*k - a*q = -12, -2*q + 6 = 2*k - 3*k. Suppose -v + 1873 + 1536 = k. Is v a composite number?
True
Let y(x) = -468*x - 37 - 185*x - 900*x - 639*x. Is y(-1) composite?
True
Let t(a) = 6*a**2 + 98*a + 1409. Is t(-44) prime?
True
Let t(f) = -4*f + 7. Suppose 5*g = 13 + 2. Let p be t(g). Is 455142/434 - (p/(-7) - 1) a prime number?
True
Is (6/4)/((33/(-88))/((-41719)/4)) a composite number?
False
Suppose 17*g + 8364 = 13*g. Let n(w) = w**3 + 14*w**2 + 13*w - 8. Let u be n(-6). Let t = u - g. Is t a prime number?
True
Let p be (-7 + (-21)/(-7))/(-1). Suppose p*m + 6117 = 7*m. Is m a composite number?
False
Suppose -3*t - 10 + 16 = 0. Suppose -2*c = -t*n + 2896, n + 3*c - 1468 = -c. Suppose -s + 1069 = 2*s + i, -4*s + 4*i + n = 0. Is s a composite number?
True
Let x(d) = d**3 - d**2 + 4*d - 518. Let y be x(0). Let l = 3891 - y. Is l prime?
True
Let i = 5358 + 18173. Is i a prime number?
True
Suppose -17*n + 118 + 1 = 0. Suppose -n*r = 139 - 16638. Suppose 0 = -c - 0*c + r. Is c a composite number?
False
Suppose -5*h + 4*t = -154361, -4*h - 6*t + 4*t + 123468 = 0. Is h prime?
True
Let v = -1626 - -700. Suppose -2*g = -4*p + 2, 0*g + p - 5 = 2*g. Is g*(-2 + v/6) a prime number?
False
Suppose 0 = 11*p - 16*p + 20. Suppose 0 = -p*x + 2*h + 18, 0 = x + 2*h + 11 - 8. Suppose 2*t + x*t = 415. Is t prime?
True
Let q = 1913 + -179. Suppose 21*h - 18*h + q = 0. Let y = -197 - h. Is y a composite number?
True
Suppose 3 + 3 = 3*j. Suppose -2*w - 784 = -4*u + 3*w, 2*u - j*w = 390. Suppose i - 2*i = -u. Is i a composite number?
False
Suppose 5*y - 17*y = 0. Let g be -1*(y - 0) + 0. Let j(c) = 2*c**2 + c + 115. Is j(g) a prime number?
False
Suppose -2*v - 2*y + 255602 = 0, 3*v = 4*v - y - 127801. Is v composite?
True
Suppose -12 = -3*n - n. Suppose -c = -2*h - 132, n*c + 2 - 403 = 5*h. Let u = c - -91. Is u a composite number?
False
Let h be 2/7 - (-3 + 9/7). Suppose -2007 = h*q - 19285. Is q prime?
False
Suppose 0 = -f + 5*x + 10928, 91*x - 93*x = 10. Is f a prime number?
True
Suppose -6313*j - 136060 = -6333*j. Is j a prime number?
True
Suppose -j + 13 = 5*u - 0*u, j = -2. Let c be 1330 + 6/(-4) + u/6. Suppose 2*b - c = -b. Is b prime?
True
Suppose -4*d + 17011 = 1259. Suppose 103*a = 105*a - d. Is a a prime number?
False
Suppose 816046 = 17*m - 15*m + 4*d, 5*d = -2*m + 816052. Is m composite?
False
Suppose -448*w + 441*w = -729029. Is w a composite number?
False
Let a(f) = 245*f**2 + 6*f + 22. Let h be a(5). Is (554/6 - 2)/(71/h) prime?
False
Suppose 7*g = 7507 + 3154 + 497. Is g prime?
False
Let v = 18260 - 9337. Is v composite?
False
Let h(m) = -2173*m + 4. Suppose a + a - 4 = 0. Suppose 0*o = 2*o + a. Is h(o) prime?
False
Let f(s) = -2281*s + 102. Let x be f(-13). Suppose -71*d + 82*d - x = 0. Is d prime?
False
Is (-9)/12*(-3006916)/111 a composite number?
True
Let p = -706762 - -1614365. Is p prime?
False
Let r = -2 - -117. Let t = 615 - 635. Let v = t + r. Is v prime?
False
Is (-166990)/(-4)*3/(-150)*-20 composite?
False
Let m(f) = -f**2 + 12*f. Let l be m(10). Let q be (-392)/(-6) + 2 + l/(-60). Suppose q*h + 876 = 71*h. Is h prime?
False
Let g = 503 + 583. Let y = 2723 - g. Is y a composite number?
False
Suppose 12*k - 17 = 19. Suppose p - k = -0. Suppose -5*j + 519 = -h - 438, 0 = -p*j - 4*h + 565. Is j prime?
True
Is (-281824)/(-24)*210/40 prime?
False
Let n = -13893 - -4327. Is n*1*(-5)/10 composite?
False
Suppose 4*j + 106259 = s, -80965 + 293537 = 2*s + j. Is s a composite number?
True
Let b(o) = 4*o - 2. Let k be b(2). Suppose k*p - 8315 = p. Is p a prime number?
True
Suppose 9*x = -x + 3*u + 815062, 0 = -x + u + 81509. Is x composite?
True
Let b be -4*(-6 - (-78)/12). Is (2348/8)/((-1)/b) prime?
True
Let u = 4465 + -6323. Let i = 2759 + u. Is i a prime number?
False
Suppose 2*x - 24 = 88. Suppose 0 = 3*i + m - 16, 16 = 10*i - 5*i - m. Suppose 0 = i*l + 4*z - 5*z - 213, l = 3*z + x. Is l a composite number?
False
Let w(s) = 239*s + 92. Let r be 5/20*4*11. Is w(r) a composite number?
True
Let h(f) = -7*f - 26. Let l be h(-3). Let y be (7 + l)/(-1 - 3/(-2)). Suppose -y*r + 1684 = -8328. Is r a composite number?
False
Let l = 16575 + -9296. Is l a composite number?
True
Let i = -46 + 51. Suppose -i*q + 3*s = 6, -4*q - s = 4*s - 10. Suppose -f + 1475 - 94 = q. Is f a composite number?
Fals