 a prime number?
False
Let q be ((-4203)/18)/((-1)/(-2)). Let r = -222 - q. Suppose 3*g + a = 147, -7*g - 3*a + r = -2*g. Is g prime?
False
Is 2156/14 - (-2 - -2) - -5 a prime number?
False
Let b be ((-4)/32 + 2/16)/2. Suppose -7*v + 3*v + 11068 = b. Is v a composite number?
False
Suppose 4*g + 1553 - 46381 = 0. Is g prime?
False
Suppose 11 - 84 = -2*w - 3*y, -107 = -3*w - 2*y. Let t = w + 11. Is t a composite number?
True
Let m(d) = 3*d**2 - 6*d + 5. Suppose -4*s = -y - 22, -2*y + 6 = s + 14. Is m(y) a composite number?
False
Suppose -2*f - 6 = -12. Suppose 0 = -13*j - f*j + 28496. Is j prime?
False
Suppose -15*k + 1731031 = 399466. Is k a composite number?
False
Suppose 5*j + 13*f = 12*f + 1641, -967 = -3*j - 5*f. Is j composite?
True
Suppose 0 = 4*b - 3*v - 22301, 0 = 16*b - 14*b + 5*v - 11183. Is b a composite number?
True
Suppose 0*u + 247485 = 15*u. Is u composite?
True
Let c = 311 - -466. Let w = c + -398. Is w composite?
False
Let c be 2430/2 - 93/(-31). Let n = 325 + c. Is n composite?
False
Let v = 9469 + 5970. Is v a composite number?
False
Suppose -3*j + 22049 = -f, -5*f + 3*f - 22051 = -3*j. Is j a composite number?
False
Suppose -2*q = -2 - 8. Let o(u) = q*u**2 - 6*u**2 + 2*u + 6*u**2 + 4 - 1. Is o(-2) a composite number?
False
Suppose -4*d - 4*j + 3256 = -9*d, -3261 = 5*d + j. Let y be 3 + ((-3768)/20)/(3/15). Let g = d - y. Is g a composite number?
True
Let y = -1752 + 6823. Is y a prime number?
False
Let h = 112 - 20. Let g = 231 - h. Is g prime?
True
Suppose 4*f + f = 5, 2*t - f = 73. Is t composite?
False
Let d(s) be the first derivative of -s**3/3 + 7*s**2/2 + 8*s - 2. Let n be d(8). Suppose -3*t + 5*j - 140 + 572 = n, -5*j = t - 164. Is t a composite number?
False
Let i(p) = p**3 + 11*p**2 - 8*p + 15. Let m be i(-12). Let f = -20 - m. Suppose 3*w - 80 = f. Is w a prime number?
True
Is 3 + (-35)/15 - 30495/(-9) composite?
False
Let a(z) = 175*z**3 + 2*z**2 - 22*z + 98. Is a(5) a composite number?
True
Suppose n = 4*t - t + 5284, -5287 = -n + 4*t. Is n/3 + (-6)/(-9) a composite number?
False
Let o = 9 - 9. Let r be 0*(-2 + 1 - o). Suppose -15*s + 12*s + 381 = r. Is s prime?
True
Suppose 0 = 2*t - 2 - 2. Let j(m) = 21*m**3 + m**2 - 2*m. Let p be j(t). Let c = p - -91. Is c a composite number?
True
Let l(p) = 732*p**2 - 7*p - 6. Is l(4) composite?
True
Suppose 198 = 6*o - 3*o. Suppose -3*u + 243 = o. Is 18/12 + u/2 composite?
False
Let a(c) = -6891*c + 386. Is a(-5) prime?
True
Let f(t) = 400*t + 29. Is f(3) prime?
True
Let m = -16 + 12. Let y be (0 - m) + 1 + 1. Suppose z - 91 = -y*z. Is z prime?
True
Let a(q) = -2*q**3 + 23*q**2 + 17*q - 11. Let u be a(12). Suppose u - 455 = -2*t. Is t a composite number?
True
Let i = 16 + -6. Suppose 2*a - 2*p = 0, 4*a + 4*p + i = 42. Suppose -2*c - c + 1016 = a*d, -3*d + c = -749. Is d composite?
False
Let u(w) = 71*w + 416. Is u(27) a prime number?
True
Let v be (-4)/(-6) - (-1)/(12/(-39644)). Let b = v - -4742. Is b prime?
True
Let z(w) = w**3 - 8*w**2 + 6*w + 11. Let j be z(7). Suppose j*g - 344 = 9404. Is g composite?
False
Is (-112425)/(-9) - 3/((-54)/(-12)) composite?
False
Let q = -17 + 22. Suppose 0 = q*k + 5918 + 222. Is (k/(-8))/((-5)/(-10)) a composite number?
False
Let b(m) = 190*m**2 - 12*m - 5. Is b(-11) a composite number?
False
Suppose -700*g = -705*g + 27815. Is g composite?
False
Let i be 2192/14 - (-1 - 4/(-7)). Suppose -s = 2*n - 3698, -4*n = 5*s - 7251 - i. Is n a composite number?
False
Suppose 7*i = 5*j + 2*i + 5, 0 = -5*j + i + 15. Let f be 3262/j - (-11)/(-22). Suppose -u + 6*u = f. Is u prime?
True
Let w be 1 - (4 + -7 - -45). Is w/(-2)*7/((-14)/(-20)) prime?
False
Let x(m) = 2*m**2 + 5*m + 4. Suppose 5*y - 6*y - 2 = 0. Let h be x(y). Suppose 0 = -4*w - w + 3*l + 61, -2*w + 18 = h*l. Is w prime?
True
Suppose 0 = 4*a - 233 - 287. Let c(v) = 2*v + 17. Let l be c(-7). Suppose l*t = 2*r + 711, 5*r + 572 = 3*t - a. Is t a composite number?
False
Suppose 5*x + 0*g - g - 7 = 0, -2*x + 7 = g. Suppose 1600 = 5*q - p, -15 = -x*p - p. Is q a composite number?
True
Let q(l) be the third derivative of l**6/60 - l**5/10 + l**4/6 - 2*l**3/3 + 5*l**2. Let j be q(6). Suppose 6*y - 2*y = j. Is y a composite number?
False
Let v(q) = 1414*q - 63. Is v(23) composite?
True
Suppose 0 = 5*j - 529 - 2381. Let q = j - 41. Is q a composite number?
False
Suppose -19*v + 6845 = -14*v. Is v a composite number?
True
Let u be (-326)/(-4) - 4/8. Let s = u - 35. Suppose -3*q = 4 - s. Is q a composite number?
True
Let j = -7027 + 10848. Is j composite?
False
Suppose b = -5*v - 2, 5*b + 8 + 2 = -2*v. Let n(t) = 38*t**3 + t**2 + 2*t + 1. Let j be n(b). Is (10/15)/((-1)/j) a prime number?
False
Suppose 5*c - 2*t - 11 = 5, 10 = 5*t. Suppose -6*p + c*p = 0. Suppose -20 = -5*k - p. Is k prime?
False
Let d(k) = -2801*k + 15. Is d(-4) a composite number?
True
Let q = 5040 - 3002. Is q prime?
False
Is -3*(-6)/(-72)*18332/(-1) prime?
True
Let i be ((-2808)/90)/(1/100). Let c = 5441 + i. Is c composite?
True
Suppose -14393 - 8888 = -31*k. Is k prime?
True
Is (-3)/(9/(-8886)) + (-6 - -9) composite?
True
Let j be ((-3)/(-9))/((-4)/24). Let n(t) = -t + 2. Let p be n(j). Suppose 0 = p*r - 163 - 225. Is r composite?
False
Is 10 - (3 + -9 - 2083) prime?
True
Let i(h) = -h**3 + 5*h + 18013. Is i(0) a composite number?
False
Let b = -519 - -2446. Is b a prime number?
False
Let d(q) = 158*q + 101. Is d(6) prime?
True
Let f(n) = n + 5. Let y be f(-5). Suppose -3*z - 46 = 5*r, z - 36 = 3*r - y*r. Let s(l) = -8*l + 9. Is s(r) a prime number?
True
Let k = 1712 - 659. Suppose -j = -578 - k. Is j a prime number?
False
Let f be (-6)/3*37*1. Let r = 157 - 200. Let b = r - f. Is b a prime number?
True
Suppose -80 = 4*d + 3*p + 2*p, 3*p = -4*d - 72. Let w(m) = m**3 + 16*m**2 - 16*m + 2. Is w(d) composite?
False
Suppose 4*k - 10 - 14 = 2*h, -5*k + 3 = 2*h. Let v be (-10)/h + (-4)/6. Is (6/12)/(v/62) composite?
False
Suppose 310797 = 12*u + 79809. Is u composite?
False
Suppose -15*a = -13*a. Suppose 3*r - 2*s - 397 = a, 5*r - 120 - 537 = s. Is r a prime number?
True
Suppose -5*k = 9*z - 13*z + 20323, 4*z = 3*k + 20317. Is z a composite number?
False
Suppose -3*a + 4*a - 12 = -2*d, d - 12 = -2*a. Suppose 0 = a*c + 4*q + 3380, 3*c + 1694 = c - q. Let h = -422 - c. Is h a composite number?
True
Suppose -s - 91 = -329. Suppose 2*b = -0*b + 378. Let g = b + s. Is g composite?
True
Let x be (1 + 1)/((-2)/(-17)). Let f(q) = 11*q - 38. Is f(x) prime?
True
Is (142*(-92)/(-16))/((-19)/(-38)) a composite number?
True
Suppose -94*r + 97*r - 9939 = 0. Is r a prime number?
True
Let r be -3*(966/9)/(-1). Suppose -2*b = -4*h - r, 5*h = 5*b - 156 - 234. Is (-3 + -7)/(2/h) composite?
True
Is -5 - ((13 - 5)/4 + -2186) a composite number?
False
Let r be (-856)/(4/(-1) + 3). Let s = -549 + r. Is s a composite number?
False
Let r(m) = -m**2 - 10*m + 11. Suppose 2*v + 4*s = -26, 5*v = 3*s + s - 51. Let p be r(v). Suppose p = -4*z - 3*b + 587, -7 = -5*b - 22. Is z prime?
True
Let x = -1855 - -4782. Is x a prime number?
True
Let h be 0 + (3 - (-2)/(-2)). Is 86*h/4*1 prime?
True
Let g = 54 + -54. Suppose 1880 = 4*d - 4*w, d + g*w - 471 = 2*w. Is d composite?
True
Let j(y) = 2*y**2 - 3*y + 1. Let i be j(5). Let q be (3/6)/(2/(-428)). Let g = i - q. Is g composite?
True
Let v be 4/10 + (5004/(-10) - 5). Let h = v - -2198. Is h a prime number?
True
Is 85/51 + (-16768)/(-12) composite?
False
Suppose -3*h - 2*m + 890 + 2591 = 0, 0 = -h - 4*m + 1167. Is h composite?
True
Is (12801/(-34))/((-12)/8) prime?
True
Suppose z = 5*a - 20604, -5*a - 3*z + 4124 = -4*a. Is a prime?
False
Suppose 18*b = -5*c + 15*b + 45455, 3*c + 4*b - 27273 = 0. Is c a composite number?
False
Let l = 4609 - 1579. Suppose l = 8*g - 2*g. Is g a prime number?
False
Let q(o) = 881*o**2 + 5*o - 6. Let x be q(-3). Suppose 0 = -7*y + 8241 + x. Is y a prime number?
False
Let u(d) = -d - 5. Let p be u(-9). Suppose p*n + 776 = 8*n. Is n a prime number?
False
Suppose -88*z + 354598 + 1210306 = 0. Is z prime?
True
Let l = -437 + 3246. Is l composite?
True
Let j be 48/10*40/6. Let r = 137 + -47. Let n = r - j. Is n composite?
True
Let b(t) = 8*t + 4*t - 7 - 4*t + t. Let d be b(6). Suppose -j + d + 18 = 0. Is j prime?
False
Suppose 10 = -2*c - 0*c. Let g be ((-40)/12)/c*918. Let y = g + -233. Is y