h = r*f + 2*f - 3460. Is f a prime number?
False
Let y = -62 + 67. Suppose y*b = 17*b - 6492. Is b composite?
False
Let y = -59 - -60. Is (-7 - -2)/((-2)/14*y) a prime number?
False
Let q be (16/12)/(4/6294). Is (45/10 - 4)*q a composite number?
False
Is (-2187)/(-15) + -3 + (-4)/(-20) composite?
True
Suppose 7 = -5*i + 17. Suppose -6*y - 24 = -i*y. Is (y/(-15))/((-1)/(-25)) a composite number?
True
Suppose 5*c + 113616 = 4*f + 4*c, 3*f - 85201 = -2*c. Is f a composite number?
False
Let o(z) = 27*z**3 + 2*z**2 - z. Let x be o(1). Let d(r) = 10*r + 237. Let q be d(-23). Suppose v = -q + x. Is v a composite number?
True
Suppose 5*s + 3*s = 17768. Is s a prime number?
True
Suppose -2*t + 0*t = -38. Suppose 5 + t = 8*z. Suppose z*f = f + 194. Is f prime?
True
Let d = -17 + 17. Suppose d = w - 257 - 126. Suppose 5*a = 4*f - 1484, -5*a - 12 = f - w. Is f a prime number?
False
Is (3 + (-20379)/(-12))*(14 - 10) prime?
False
Suppose 32*d - 13955 = 167357. Is d composite?
True
Let p = -10 + 16. Suppose 4*j + 3*x - 8 = 0, j = p*j + x - 10. Suppose 0*b = -3*b + 2*r + 223, 0 = 4*b - j*r - 300. Is b prime?
False
Suppose 44840 = 4*z + 5*n, -2*z + 9788 = -5*n - 12662. Is z a prime number?
False
Is (-21)/(-12) - 2 - 13882/(-8) a prime number?
False
Let w = 26358 + -17435. Is w a prime number?
True
Let r be (2/(-4))/((-11)/7414). Let t be (134/6)/(8/720). Let d = t - r. Is d composite?
True
Let o = 20 - 18. Let k = o - -2. Is (-3896)/(-40) - k/10 composite?
False
Suppose -22 = 6*a + 356. Let j = 118 + a. Is j a prime number?
False
Let t = 21 - 29. Let n = -4 + 6. Is n/t - (-2153)/4 a prime number?
False
Suppose -3*a - 2*a + j = -31976, -3*a + 2*j + 19187 = 0. Let y = 9406 - a. Is y a composite number?
False
Is 32292/5 + 11/((-770)/28) a prime number?
False
Suppose y + 2*y - 6 = 0. Suppose 4*x - 2*o = 1136, x + o - y*o = 284. Is (-1)/((-856)/x - -3) a prime number?
True
Suppose 0 = -865*h + 869*h - 62116. Is h composite?
True
Let l(h) = -2*h + 12. Let d be l(4). Suppose 0*k = -4*m + d*k + 852, -25 = -5*k. Is m a prime number?
False
Suppose 4*t - 5*g = -82, 2*g - 65 = 3*t - 0*g. Let v be (-2 + 220/15)*6. Let x = t + v. Is x a prime number?
True
Let f = -23 + 26. Is -1*(-578 + f)/5 prime?
False
Let j(z) = -z**2 - 9*z - 3. Let d be j(-8). Suppose 376 = 4*t + 3*g - 138, d*t - 3*g = 629. Is t a composite number?
False
Suppose 17*f - 276016 = f. Is f a composite number?
True
Suppose 32*v - 31*v - 15015 = 4*x, 0 = -3*v + x + 44990. Is v prime?
False
Is (-168 + 166)*631/(-2)*1 prime?
True
Let q(i) = -187*i - 26. Let k(p) = -p. Let a(d) = -3*k(d) + q(d). Is a(-7) composite?
True
Is 174/(-116) - (-65157)/2 a composite number?
True
Let r(m) = -45*m**3 + 3*m**2 - 2*m - 5. Let k = 8 - 8. Suppose -3*j + 6*j + 9 = k. Is r(j) prime?
False
Let b be ((-9)/(-12))/((-1)/(-108)) - -3. Let x = -49 + b. Is x composite?
True
Let l = 40 - 54. Is (-19730)/l - ((-8)/28)/(-1) a composite number?
False
Suppose -2404 - 11411 = -5*x. Let k = 3990 - x. Is k a composite number?
True
Let v(u) = u - 2. Let m be v(1). Is (2 - m)/(((-18)/(-382))/3) a prime number?
True
Is (13022/(-4))/((-33)/66) a composite number?
True
Let l be 9*(-2)/(-6) + 2. Suppose -1246 = 3*g - l*g. Is g composite?
True
Let m(w) = -w**2 + 14*w + 17. Let x be m(15). Let j be 1768/4 - 8/x. Let v = 1325 - j. Is v a composite number?
False
Suppose -11*d + 6519 - 2152 = 0. Is d a composite number?
False
Suppose -27477 = -14*f + 201157. Is f prime?
False
Suppose 2*z = -0*o + o - 7, -2*o + 21 = 3*z. Suppose 6*r + 573 = o*r. Is r composite?
False
Suppose -k + 3*k = 24. Let f be (4/k)/((-2)/2118). Let s = f + 588. Is s prime?
False
Suppose 12*s - 2941 = 11*s. Is s prime?
False
Suppose 4*x + 2385 = 17717. Is x a prime number?
True
Let g be ((-382)/(-6) + 1)*-3. Is g*(-1 - (-36)/(-8)) a composite number?
True
Suppose 4*g - 20 = -0*g. Suppose 2*v + 10 = -5*p - 3*v, -5*v = -g*p + 30. Suppose 0 = p*o - 345 + 91. Is o composite?
False
Let c = -3311 + 5962. Is c a composite number?
True
Let x(s) = 4360*s + 31. Is x(2) a composite number?
True
Let n(u) = -2 - 2 + 2*u + u + 0*u. Let v(d) = -4*d + 3. Let l(p) = 2*n(p) + 3*v(p). Is l(-5) prime?
True
Let l = 11399 - 24745. Let y = l - -25543. Is y a prime number?
True
Suppose 8 = 3*h + 14. Let x(c) = c**3 + 3*c**2 + 3*c + 2. Let t be x(h). Let z(r) = r**2 + r + 35. Is z(t) a prime number?
False
Let m(r) = 22*r**3 + 17*r**2 - 23*r + 61. Is m(11) a composite number?
False
Let x = -68831 + 139672. Is x a composite number?
False
Let w = 11910 + -4841. Is w composite?
False
Suppose u = -5*g + 3154, -g + 502 = -4*u - 133. Is g composite?
False
Let r be (-1877)/(-6) - (-3)/18. Let g = r + -102. Is g a composite number?
False
Let t(z) = -z**3 + 39*z**2 + 53*z - 84. Let a be t(40). Suppose -2*x + 3 = n, -5*n + 0*x = -x - 15. Suppose 581 = n*h - a. Is h a composite number?
True
Suppose 5*g = -4*a + 9145 + 1276, -2*a + 3*g = -5227. Is a prime?
True
Let c = 9639 - 5672. Is c a prime number?
True
Let y(x) = -7*x**2 - 200*x - 1. Is y(-8) a composite number?
False
Let l = -516 + 1205. Let x be 20*((2 - 2) + -20). Let s = x + l. Is s composite?
True
Let p = 53 + -34. Suppose -15*s = -p*s + 740. Is s a prime number?
False
Suppose 3*f + 2*r = 5484, 2*r + 2*r = -4*f + 7316. Suppose 5*q + f = 11331. Is q prime?
True
Suppose -4*m - 14 = -2*m. Let r(x) = -x**3 + 4*x**2 - 4*x + 10. Let u be r(m). Let n = 996 - u. Is n a prime number?
True
Let s(v) = -1176*v - 1. Let r(o) = 1177*o + 1. Let k(i) = 4*r(i) + 3*s(i). Is k(4) prime?
True
Suppose -30 = d - 6*d. Suppose w - d = 4. Suppose -663 = w*i - 13*i. Is i a composite number?
True
Suppose -4*d - 17*t = -15*t - 1410, -3*t - 725 = -2*d. Is d composite?
True
Suppose 7 = -6*y + 3*y + 4*w, 5*w = -5*y. Let l be y + 1/((-3)/(-480)). Let x = l + -68. Is x a prime number?
False
Let y(t) = -t**3 - 21*t**2 - 19*t + 5. Let q be y(-19). Let w = -49 - q. Is w a composite number?
False
Is (-24758 + 64)*(-1)/2 composite?
False
Suppose 14 = 4*m - 6. Suppose -2085 = m*q - 5875. Suppose 0 = -5*s + 3*s + q. Is s a prime number?
True
Let m(v) = v**3 - 6*v**2 - 5*v - 14. Let d be m(7). Suppose d = 9*s - 2*s - 7469. Is s a composite number?
True
Let t(i) = i**2 - 10*i - 9. Let s be t(11). Suppose 0*o = 5*o + k - 20, 2*o - 15 = k. Suppose -89 = -o*n + 3*z, -3*n - 2*n - s*z = -99. Is n prime?
True
Let i be 2 + -3 + -3 + 4260. Suppose 13082 - i = 2*v. Suppose j + 2*j = v. Is j a prime number?
True
Suppose 0 = -4*f - 5*v + 27116, 5*f + 3*v = -18609 + 52504. Is f prime?
True
Let i(r) = -159*r + 136. Is i(-25) a composite number?
False
Suppose 0 = -w - 10*w + 88. Suppose i - 331 = 5*g, 3*g - 1 = w. Is i a prime number?
False
Suppose -32 = 3*h + h. Let a = h + 10. Suppose -3*q = -167 + a. Is q a prime number?
False
Let i = -538 - -1295. Is i composite?
False
Let l = 4906 + -3483. Is l a prime number?
True
Let g(s) = 4*s**2 + 42*s - 209. Is g(28) a prime number?
False
Let x be (32/10)/(42/(-105)). Let w(t) = -22*t + 35. Is w(x) a prime number?
True
Suppose -4*o = -3*t - 6523, 3*o + 6*t = t + 4914. Is o composite?
True
Let k(r) = 180 + 8*r - 2*r - 136. Is k(13) prime?
False
Let b(p) = -5*p**3 - 4*p**2 - 30*p - 4. Is b(-9) a prime number?
False
Suppose k = -4*x + 16, 3*x - 12 = -3*k - k. Let z = -213 - -347. Suppose v - 3*v + z = k. Is v a composite number?
False
Suppose 2*c = -8133 + 46271. Is c prime?
True
Let i = 1003 + -591. Let n be -134*2 - (14 - (1 - -12)). Let y = i + n. Is y a composite number?
True
Let i = 11937 - 1175. Is i prime?
False
Let f = -4858 - -44591. Is f composite?
False
Let w be (-7)/(-4) + (-18)/24. Suppose 3 = 2*r + w. Is (-13)/(-2)*(13 + r) composite?
True
Let y(z) = -3*z**3 + 6*z**2 + 10*z + 3. Let g be y(-5). Let k = -333 + g. Is k prime?
False
Suppose -3*i + 8820 = 5*p, 0*i + 4*i - 20 = 0. Is p a composite number?
True
Let f = -1257 - -4460. Is f a prime number?
True
Suppose -2*v = -b + 28 + 14, -v - 43 = -b. Suppose -8*a + 3988 - b = 0. Is a a prime number?
False
Suppose 4*d + 2*i = 18, 6*d + 5*i - 35 = d. Suppose 0 = -2*v + 4, -v - 4*v + 3648 = d*y. Is y a composite number?
True
Suppose -5*u + 0*u + 925 = -5*v, u + 2*v = 200. Suppose 0 = 5*d + 5, -3*i - 2*d + 2421 = -u. Is i prime?
False
Let c be 3 - 5 - (2 - 356). Suppose 1550 = 2*v - c. Is v a composite number?
True