47 = 0. Is f prime?
True
Suppose 6*t - 3*t - 9 = 0. Is 1/((-3)/(-1035)*t) composite?
True
Let c = 1 - 0. Let l = c + 24. Suppose 2*a - l = -5*t, 5*t + a = 6*a - 10. Is t a prime number?
True
Suppose 5*g + s - 1987 = -2*s, -4*s = -4*g + 1564. Is g a prime number?
False
Let k(z) = -2*z**3 + 3*z**2 + 6*z + 6. Let t be k(-4). Suppose a = 571 - t. Is a prime?
False
Suppose 3*i + 2525 = 4*r, 2*i = -r - 2*i + 655. Is r prime?
False
Suppose -5*k + 10 = 0, 3*q + 2*q + k - 17 = 0. Suppose 0 = -5*l + 4*c + 16, -4*l + 14 = c - q*c. Suppose 0 = 4*p + 4*w - 108, -l*p + 144 - 8 = -3*w. Is p prime?
True
Suppose 14*l - 6130 = 4*l. Is l a prime number?
True
Let l = 12 + -10. Suppose x + 79 = 3*q + 2*q, -22 = -l*q - 2*x. Is q a prime number?
False
Let r(z) = 178*z**2 - 9*z + 3. Is r(4) a composite number?
True
Let l(v) = 3*v**2 + 2*v - 1. Let t be l(1). Suppose 2*z = -t*u - 4, -10 = -2*u - z + 6*z. Is (-1 + u - 32)*-1 a prime number?
False
Let l be 4/10 - (-2184)/40. Suppose -4*s - 34 - l = -j, -4*j = 5*s - 335. Is j prime?
False
Is 5*((-838)/(-20))/(5/10) a composite number?
False
Suppose -5*f = -7 - 13. Let r = f + -1. Suppose 0 = 4*p + o - 480, -5*o + r*o = -5*p + 587. Is p composite?
True
Let z(u) = u**3 - u**2 + 134. Is z(0) a composite number?
True
Suppose -67 = 4*l + 4*n - 451, -2*n - 366 = -4*l. Is l prime?
False
Let d = -4 + 6. Let t(q) = 102*q - 3. Let a be t(d). Is (-1)/(-2 + a/102) a prime number?
False
Suppose 3*h + 5 = -2*h, 4*h = 5*g - 94. Suppose g - 3 = -5*m. Let z(k) = 18*k**2 + 5*k + 2. Is z(m) prime?
True
Suppose -n + 1768 = 4*b, -b + 2*n + 2223 = 4*b. Suppose 5*h = -5*i + 2245, -2*h + b = i + 2*h. Is i a composite number?
True
Let n = 2 + 2. Is 357/n - 1/4 a composite number?
False
Suppose 2*n + 5 = 11. Suppose 2*a = -n*a + k + 28, 0 = 3*a + k - 20. Is a prime?
False
Let a(l) = l**3 - 2*l**2 - l - 2. Let g be a(3). Suppose -v + g*v = 0. Is -2*((-9)/2 + v) a composite number?
True
Suppose -5*y = 25 + 5. Let u(z) = z**2 + 3*z + 1. Is u(y) prime?
True
Let r = 46 - -245. Is r composite?
True
Suppose -2*z - 5 = 2*z - 5*a, 0 = 2*a - 10. Suppose 2*i - 1 = 3, -i - 73 = -z*u. Is u a prime number?
False
Let l(v) = 5*v**3 - 2*v**2 + v. Let z be l(1). Suppose -z*r - 50 = -10. Let t = 48 - r. Is t prime?
False
Let o(v) = 19*v**2 + 8*v + 10. Is o(-5) a composite number?
True
Let j(o) be the third derivative of 17*o**4/12 + 5*o**3/6 + o**2. Let i = 12 + -6. Is j(i) a prime number?
False
Let f(r) = 1 - 11*r**2 + 4*r + r**3 + 7*r + 5*r**2. Is f(8) a prime number?
False
Suppose -4*s + 53 = -35. Let c be 4/22 + 2438/s. Is c/(-6)*-2 + 0 composite?
False
Is -2*-2122*(-5)/(-20) prime?
True
Let y(w) = 21*w + 3. Let d(x) = -x. Let r(v) = 5*d(v) - y(v). Is r(-5) a composite number?
False
Suppose r = 4*l - 2003, 0*l - l - 3*r + 504 = 0. Is l a composite number?
True
Let j = 22 + -9. Suppose 3*i + j = 76. Is i a composite number?
True
Suppose -2*d + 330 = 3*d. Suppose -2*h = -d - 10. Is h a composite number?
True
Let q(o) = 0 + 16 - 2*o**2 + o**3 - 8*o**2 + 9*o - 2*o**2. Let l be q(11). Let j(c) = 3*c**2 - 2*c - 5. Is j(l) a composite number?
True
Suppose 5*o = 4*o + y + 7, 4*o + 2*y - 10 = 0. Let r = o - 0. Suppose -2*c = 4*m - 58, c + r*c - 5*m = 115. Is c a prime number?
False
Is (-3072)/(-10) + (-7)/35 composite?
False
Let u be (12/8)/(6/20). Suppose r + u*q = -4*r + 1710, 689 = 2*r + 3*q. Is 9/12 + r/4 composite?
True
Let r(u) = -u**2 - 9*u - 9. Let y be r(-9). Let d(f) = -22*f + 7. Is d(y) a composite number?
True
Let y = 12 - 9. Suppose 998 = y*i - i. Is i composite?
False
Let b = 0 + -2. Let i be (9 - (-6)/3) + -2. Let n = i + b. Is n a composite number?
False
Is 4/(-6) + (-10)/(-12)*1850 a prime number?
False
Suppose 0 = -3*x - 5*f + 41, f + f + 13 = 3*x. Is x prime?
True
Is 1/(-7) - 11512/(-28) prime?
False
Suppose 3*t + 60 = 3*m, 5*m - 45 = -4*t + 10. Suppose -25 = -7*h + 2*h + 5*s, 0 = -5*h - 5*s + m. Suppose o - h*o + 921 = 0. Is o a composite number?
False
Let g(u) = 54*u + 1. Let v = -12 + 13. Is g(v) a composite number?
True
Suppose 7*l - 3 = 4*l. Let r(y) = 21*y. Let i be r(l). Let z = 14 + i. Is z composite?
True
Let a be (-10 + 3)*(-1 + -2). Suppose 0 = -5*v + 5*o, 0*o = -2*v - 2*o + 4. Let s = a + v. Is s a composite number?
True
Suppose 2*g - 459 = 5*k, 0*k - 4*k + g - 369 = 0. Is k/(-5) - 6/(-15) prime?
True
Is 2 + -2 + 56 - 3 composite?
False
Let r be (0 - (5 - 0))/(-1). Suppose 4*p - 5*q + 114 = 372, -r*p = -5*q - 325. Is p prime?
True
Let r(d) = 297*d**3 + 3*d**2 - d - 1. Is r(1) prime?
False
Let k = -2 - -5. Suppose 2*t + k*f + 0*f - 811 = 0, -5*t - 4*f = -2038. Is t/4 - (-4)/8 composite?
False
Let f(z) = z - 4. Let s be f(4). Let k be -2 - -1*(745 - s). Suppose -5*t - 2*i = -k, 0 = 2*i - i + 1. Is t a composite number?
False
Let k(a) = -a**3 + 5*a**2 + a - 5. Let t be k(6). Let r(n) = -2*n**2 + n + 7. Let d be r(4). Let s = d - t. Is s a prime number?
False
Let n be (5/2 - 0)*2. Suppose 3*h - 20 = -n*z, -4*z + 3*z = 5. Is h composite?
True
Suppose 356 = 3*a + 17. Is a a prime number?
True
Suppose -2*p = -5*p + 6. Suppose p*n = 6*n + 24. Is ((-92)/n)/((-4)/(-6)) a prime number?
True
Suppose -28*c + 110 = -26*c. Is c a composite number?
True
Suppose -h - h = 0. Suppose 3*q - 2*g - 235 = -h*g, 5*g = -5*q + 400. Is q a composite number?
False
Let k = -1295 - -1926. Is k prime?
True
Let p(k) = k**2 + 10*k - 10. Let x be p(-8). Is 8/(-52) - 4970/x composite?
False
Suppose l - 90632 = 3*l. Is l/(-36) + (-2)/(-9) composite?
False
Let j(h) = -3*h + 11. Let p = -26 + 12. Is j(p) a prime number?
True
Is (-1)/(-1*3/285) a composite number?
True
Is (148/8)/((-3)/(-6)) a prime number?
True
Suppose -2*f = 308 - 3126. Is f a prime number?
True
Let h = -89 - -966. Suppose -3*o + 2*v = -h, -3*v = 5*o - 1570 + 83. Is o a prime number?
False
Let r(g) = 2*g**2 + 6*g - 3. Is r(5) composite?
True
Let g be 24/10*(5 - 0). Let j = 25 - g. Is (-4)/((-28)/j + 2) prime?
False
Suppose g - 13 = -4*n, -2*n = -0*n + 4*g - 24. Suppose h = n*l + 19, -h = 4*h + 3*l - 95. Is h a prime number?
True
Suppose 3*k - 15 = -5*a - 3, 4*a - 20 = -5*k. Let f = 1 - k. Is 10/(f - (-23)/7) composite?
True
Let q(c) be the third derivative of -7*c**5/20 + c**4/8 + c**3/2 + c**2. Let d be q(-3). Let p = 378 + d. Is p prime?
False
Let y(d) = 8*d**2 + 17*d + 6. Is y(-11) prime?
True
Suppose -2*o + 3 = 5, -4*n = 5*o + 5. Suppose n*z = -4*z + 88. Is z prime?
False
Suppose -2*q = q - 9. Suppose 4*a = -2*l - a + 276, q*l + 3*a = 405. Is l a composite number?
True
Let r(t) = -32*t + 5. Is r(-21) a prime number?
True
Let q be 10/(-45) + 2/9. Suppose 2*c + q*c - 158 = 0. Is c a composite number?
False
Let p(w) = -w + 7. Let k be p(11). Let s(j) = 3*j**2 - j + 1. Is s(k) a prime number?
True
Let z = -252 + 1061. Is z composite?
False
Let d(n) = -n**3 - n**2 + 4. Let c be d(0). Suppose -c*u + 2*u = -6. Suppose -2*t - 3*b + u = -11, 2*b = -5*t + 35. Is t a prime number?
True
Let s be (-2)/(-8) - (-51)/(-12). Let t be 166/8 - 1/s. Is 7/(t/18) - 0 a prime number?
False
Let g = -10 + 56. Is g composite?
True
Suppose 4*n = 4*w - 3 - 1, 5*n + 17 = -w. Let d be ((-13 + w)/(-3))/1. Let k = 11 - d. Is k composite?
True
Is (-102)/34 + (360 - -1) a composite number?
True
Let u(v) = v - 8. Let q be u(0). Let a = q - -11. Suppose 302 = a*f + 20. Is f a prime number?
False
Suppose -n = -2*n + 2. Let f be -2 + 1 - (-50 - -1). Suppose y + f = n*v - 84, -63 = -v - y. Is v a prime number?
False
Suppose -407 = -3*o + 238. Is o a prime number?
False
Let g(a) = -5*a**3 + 8*a**2 - 11*a + 7. Let h(k) = 4*k**3 - 8*k**2 + 11*k - 8. Let u(n) = -5*g(n) - 6*h(n). Is u(-9) composite?
False
Suppose -162 - 337 = -j. Is j a prime number?
True
Let u(r) = -r**3 + 16*r**2 - 3*r - 31. Is u(15) a prime number?
True
Suppose -b + 3 = -2. Suppose -699 = -b*w + 2*w. Is w prime?
True
Let m be ((-48)/(-7))/(3/105). Let l = m + -157. Is l prime?
True
Suppose 0 = -4*x + 2148 + 2824. Is x composite?
True
Let b be 64 + (6/(-3))/2. Let d = 212 - b. Is d a prime number?
True
Suppose 2*l - 3*s = -2*l + 2710, 2*s = 4. Is l a composite number?
True
Suppose -2*y - 3*o = -1586, 2*y - 3*y = o - 791. Is y a prime number?
True
Suppose -u + 309 = -70. Is u composite?
False
Suppose 0*t + 46 = -2*t. Let b = 60 - t. Is b a composite number?
False
Let q = 453 