umber?
True
Suppose 3*o + 0 = -4*v + 5, 4*o = -2*v. Suppose 484 = 5*g - 2*g - f, -478 = -3*g - 5*f. Suppose -2*b - 191 = -5*s + v*b, 0 = 4*s + 5*b - g. Is s composite?
True
Let j(t) = 132*t**2 - 5*t - 24. Is j(17) prime?
True
Let b be 31/(-5) - (-7)/35. Let k(x) = -3*x**3 - 3*x**2 - x + 11. Is k(b) prime?
True
Is 93652/60*1 - 16/(-120) a prime number?
False
Let w be (1 - -12)/(1/556). Suppose -2*o + w = a, 2*a - 4*o - 13431 = 1025. Is 1/(-3) - a/(-39) a prime number?
False
Suppose -601 - 1032 = -z. Is z a composite number?
True
Suppose 295*n - 208538 = 273*n. Is n a composite number?
False
Let s(m) = -7 + 739*m + 16 + 225*m. Is s(2) composite?
True
Let f = -55 + -9. Let l = f + 185. Is l a composite number?
True
Suppose -234654 = -4*q - 10*q. Suppose 5*j = -4*x + q, 7*j - 3*j = 3*x + 13415. Is j composite?
True
Is 27/6*1366 + -4 composite?
False
Suppose -5*v = -1208 - 937. Let p be 1*3/(-3)*134. Let x = p + v. Is x a prime number?
False
Let t(o) = 2404*o**2 - 4*o - 1. Is t(3) a prime number?
False
Let x be (12/9)/((-2)/6). Let u be 68/(-8) + 6/x. Is (-23)/2*(u + 4) a prime number?
False
Suppose 0 = q + 2*q - 1467. Let l be (2/(-5))/((-2)/10)*2. Suppose -l*b - q = -2*h - h, 326 = 2*h + 3*b. Is h composite?
False
Suppose 0 = 7*b + 7*b - 247198. Is b a prime number?
True
Let d(m) = m**2 - 2*m - 4. Let t be d(4). Suppose -t*f - 2083 + 431 = 0. Is (5 - f)*(-1)/(-2) prime?
False
Let y(x) = -79*x - 2. Let d be y(-1). Let t = d - 13. Is -4*(-4)/t*2732 a prime number?
True
Let t(m) = 2175*m**2 - 4*m + 9. Let g be t(2). Suppose 0 = -6*n - n + g. Is n composite?
True
Let s be (0 + -3 + -1)/(-2). Let l be -111 + (s - (-1 + 3)). Is (-3 + -1 - -3)*l a prime number?
False
Let g(n) = 46*n**2 - 20*n - 14. Let f be g(9). Let l = f - 1943. Is l a prime number?
False
Let z(t) = 337*t**2 + t + 1. Suppose a = -3*j - 6, 3*a - 3*j - 10 = 8. Is z(a) a prime number?
True
Suppose 84144 = u + 23*u. Is u prime?
False
Let j be (-2 - (-20)/12)*183. Let k = 329 - 467. Let m = j - k. Is m a prime number?
False
Suppose 25*g = 30*g + 15. Is 236 - (g - 0)*1 a prime number?
True
Suppose 77*g = 72*g + 100505. Is g prime?
True
Suppose 14*f - 16*f - 5*d + 55232 = 0, -2*f + 55226 = 2*d. Is f prime?
True
Let u(v) = -v**3 - 10*v**2 - 10*v - 7. Let z be u(-9). Suppose -p - 70 - 187 = -z*k, 4*p + 242 = 2*k. Let l = k - 76. Is l composite?
True
Suppose 0 = -19*y - 0*y + 90421. Is y a prime number?
True
Suppose -7643 = -4*q - 3*b, 3*q - 3*b - 1050 = 4698. Is q prime?
True
Let y(b) be the first derivative of -13/3*b**3 - 9*b**2 - 1/4*b**4 - 17*b - 1. Is y(-13) a prime number?
False
Let v = -19 - -33. Let l = v + -12. Suppose -169 = -4*n + 2*j + 293, l*j + 10 = 0. Is n prime?
True
Let h(j) = j**3 + 4*j**2 - 5*j - 4. Let d be h(-5). Let m be d/(-7 - -3) + 1. Suppose r + 0*r = m*b - 71, 0 = 5*b - 2*r - 176. Is b a composite number?
True
Suppose -62*l - 56751 = -67*l + 4*b, 4*l - 45408 = -4*b. Is l prime?
True
Suppose 0*s + k = -2*s + 990, 3*s + 2*k = 1484. Suppose -3*q + s + 647 = 0. Is q prime?
False
Let o be 4876 - (-4)/4*-1. Is 4/(-22) + o/11 composite?
False
Let r(l) = l - 1. Suppose -3*j = 2*m - 6*j + 11, -5*m - 8 = -j. Let b be m/2 - 145/(-10). Is r(b) prime?
True
Suppose -5*j + 3*d = -69958 - 63562, -3*d + 15 = 0. Is j a prime number?
False
Suppose -7 + 2 = 5*c, -864 = -t + 3*c. Let q = t + -508. Is q composite?
False
Let l be (-4)/8*0 - (-1 - 2). Suppose w + l*m = 5*w - 281, -5*w = -m - 365. Is w prime?
False
Let h be (-9)/(3*3/(-168)). Let m be (2 - (h + 3)) + -1. Let b = -117 - m. Is b composite?
False
Let z = -15 + 15. Suppose z = -2*i + m + 71, -5*i = 4*m + 43 - 188. Is i prime?
False
Suppose 4*y = 5*s + 11, 4*y + 0*s = s + 15. Suppose 0 = 4*l + g + 45 + 17, -y*l - 4*g = 68. Let q(w) = w**3 + 15*w**2 - 5*w - 10. Is q(l) prime?
False
Suppose -2208 = -r - 17*m + 22*m, 0 = -r + m + 2212. Is r prime?
True
Let w(x) = 3 + 0*x - 2 + 0 + x + 1229*x**2. Is w(-1) a composite number?
False
Suppose -5*m - 3*n + 5053 = 0, 997 = m + 3*n + n. Suppose 483 + m = 8*b. Is b composite?
True
Let z(d) be the second derivative of d**6/40 + d**5/40 - 11*d**4/24 - d**3/6 + 14*d. Let f(o) be the second derivative of z(o). Is f(-7) a prime number?
True
Let x(l) = -11 - 9 - 1 + 122*l. Is x(8) composite?
True
Suppose 0 = -q - q + 3*s + 2536, -q + 1270 = -2*s. Let b = q + -783. Is b a composite number?
False
Let i be (-3 + 5/3)*-9. Let y be -4*2*(i - 13). Is 2/(y/212*1) a composite number?
False
Suppose -3*v = -2*z - 1533, 4*v - 1944 = 3*z + 100. Is v prime?
False
Suppose 9*o - 312 = 7*o. Let y = o + 40. Let x = y + 3. Is x prime?
True
Let l be (4 - 0) + -5 + 0. Let u = 57 - l. Is u a prime number?
False
Suppose 0 = 5*g - 4*g + 5*s - 7136, -s = 2*g - 14281. Is g a prime number?
False
Is -6*(-146950)/(-20)*2/(-6) prime?
False
Let n(c) be the first derivative of 2453*c**3/3 + 2*c**2 - 4*c - 22. Is n(1) a composite number?
True
Suppose -2*y + 515 = 3*y. Let b = -34 + y. Is b a composite number?
True
Let z = 41 + -87. Let j be -112 - (4 + -2)/2. Let p = z - j. Is p a composite number?
False
Let m(b) = -b**2 + 5*b - 2. Let a be m(4). Let f(x) = -2 + 1 + 2318*x**a + 0. Is f(1) prime?
False
Suppose -33*t + 7*t = -336986. Is t a prime number?
False
Let h = 358 - -48. Suppose 4*u + h = 6*u. Is u a prime number?
False
Suppose -4*j + j + 84 = 0. Suppose -280 - 108 = -4*o. Suppose -j + 111 = 3*h - 5*r, -o = -3*h - 2*r. Is h composite?
False
Suppose 175 = -5*w + 2*p, 4*w + 4*p + 11 = -129. Is (-10476)/(-21) + (-5)/w a prime number?
True
Suppose 3*p = 7*p. Suppose -r + p + 5 = 0. Suppose 3*d = -4*a + 175, 2*a = r*d + 4*a - 273. Is d a prime number?
True
Suppose 16604 + 6072 = 4*o. Is o composite?
False
Let u be 2672 - 1 - (0 + -3). Suppose 3*y = 5*l - u, 0*y - 536 = -l + y. Is l prime?
False
Suppose 20*l - 9*l = 4202. Suppose -4*v + 1830 + l = 0. Is v composite?
True
Suppose 3*a = 4*a + 4*l - 95, a - 110 = l. Let w = a - 36. Is w composite?
False
Let p(j) be the second derivative of -j**5/20 - 3*j**4/4 - 2*j**3/3 + 5*j**2 + 14*j. Is p(-14) a composite number?
True
Let n(k) = k**3 + 5*k**2 - 8*k - 3. Let a be n(-6). Suppose a*h - 50 = 7*h. Is h a composite number?
True
Is (116 - -9693)*(-1)/(-1) a composite number?
True
Let u = -1893 + 4044. Let r = u + -1274. Is r composite?
False
Suppose 0 = -3*j + 4*d + 8551, 3*j + 2841 = 4*j + d. Is j a prime number?
False
Let f(b) = 998*b**3 + 26*b**2 - 5*b + 4. Is f(3) composite?
True
Let d be (-39)/(-13) - (-1)/(-1). Suppose -3*t + d*w + 14 = t, 3*t + 2*w = 0. Suppose t*r = 3*s + 413, -3*r + s + 645 = 5*s. Is r a composite number?
False
Suppose 0 = -2*s + u + 8, 3*s + 2*u - 8 = 11. Let i(m) = 31. Let f(y) = y - 25. Let w(r) = 4*f(r) + 3*i(r). Is w(s) prime?
True
Suppose -403 = -5*f + 5*r + 162, -2*f = 2*r - 238. Suppose -h + f = -113. Let a = h - 50. Is a a prime number?
True
Suppose 4*a + 5*d = a - 14, 3*d + 18 = 3*a. Suppose 4*c - a*o - 216 = 2*o, 4*o - 138 = -2*c. Suppose -c = -5*t + 11. Is t composite?
True
Suppose 313*k - 317*k = -4268. Is k a prime number?
False
Suppose 4*v - 4 = 5*d + 66, -3*d = -5*v + 94. Let y = v + -11. Is y a prime number?
False
Suppose 4*j - 1 + 29 = 0. Let t = 244 + j. Suppose 3*u - 6*u + t = 0. Is u composite?
False
Let y = -21 - -20. Is y + (-4 - -1219) + -1 prime?
True
Let z = 47 - 43. Suppose -z*a = 0, -q - 2*a + 1003 = 104. Is q composite?
True
Let t = -36 - -51. Suppose t*h = -882 + 2157. Is h prime?
False
Let m(q) = 401*q + 4. Let a(v) = v - 1. Let x(r) = -5*a(r) - m(r). Let u(i) = -406*i + 1. Let b(w) = -2*u(w) + 3*x(w). Is b(-1) composite?
True
Is ((-4)/12)/((-2)/28932) a prime number?
False
Is (-11)/(264/160662)*-4 prime?
True
Let c(l) = 6*l + 3*l - 3*l - 24 - 4*l. Let w be c(10). Is w/(-2 - 2)*409 prime?
True
Let w be (-14*(-1 - 0))/1. Suppose -w = 2*g - 4*g. Suppose -15 = -q + g. Is q prime?
False
Let x = 23 + -35. Is (-4)/x + (0 - (-650)/3) a composite number?
True
Let x(k) = 2*k**2 + k + 191. Suppose 2 + 33 = 7*i. Suppose i*d = d. Is x(d) a composite number?
False
Let f(h) = -5*h - 16. Suppose 5*l + 100 - 5 = 0. Is f(l) a composite number?
False
Let v(n) = n**3 - 16*n**2 - 15*n + 16. Let f be v(17). Let h be (8/6)/(f/75). Suppose -z = -3*z - h*j + 2078, -4*j = -2*z + 2102. Is z a composite number?
True
Suppose -2*z + 0*p - 5*p = -1168, -