rime?
False
Let i = -44 - -75. Let s = 346 + i. Is s prime?
False
Suppose -9796 = -3*o + n, 0 = -o + 7*n - 9*n + 3263. Is o prime?
False
Let v = 168 - 37. Is v a composite number?
False
Suppose -2255 = 5*x - 8160. Is x a prime number?
True
Suppose 10*x + n = 5*x + 5521, 0 = -3*x + n + 3319. Suppose x = 5*a - 230. Is a a composite number?
True
Suppose 0 = 9*b - 71 + 26. Suppose -4*a = -3*o - 2011, b*a - 1387 = -4*o + 1150. Is a composite?
True
Let w(j) = -j**2 + 5*j. Suppose 3*s - 11 = z, -12 = -5*z + 8. Let m be w(s). Suppose -4*x - 5*p + 677 = m, 0 = 4*x - p - 0*p - 647. Is x prime?
True
Suppose 815464 = -10*d + 18*d. Suppose z - d = -12*z. Is z prime?
True
Suppose -90748 = -12*x + 255200. Is x composite?
True
Suppose -8 = 4*f - 36. Let y(t) = -t**3 - 2*t**2 + 25*t + 2. Let w be y(-6). Is (2/w)/(f/(-154)) composite?
False
Let d be (-2)/(4/4) + 1271. Let u = d - 640. Is u prime?
False
Suppose -5*v = -4*v. Suppose -4*g + 2*u + 14 = v, -5*u - 11 = 5*g - 3*g. Suppose -5*s - g*a + 813 = -a, 4*s - 662 = 5*a. Is s a composite number?
False
Let u = -44 - -6. Suppose -2*m + m = 8. Is (-7710)/u - m/76 composite?
True
Let w(t) = -t - 3. Let g be w(-6). Suppose 4013 - 1298 = 3*u. Suppose 2*r = -n - r + 295, -u = -g*n - 4*r. Is n a prime number?
True
Suppose -4284 = 24*n - 27492. Is n a composite number?
False
Let v(y) = 7*y**2 - 5*y + 5. Let u(a) = -a**2 + a - 1. Let o(f) = 4*u(f) + v(f). Let r be o(3). Suppose -r*x + 29*x = 748. Is x a prime number?
False
Suppose 87*a - 108*a = -1544277. Is a prime?
False
Suppose -17*u - 14909 = -3*k - 16*u, 2*k + 4*u - 9958 = 0. Is k a prime number?
False
Let n = -11 - -13. Suppose -v = -n*v. Suppose v = 2*g - 10*g + 1016. Is g composite?
False
Suppose -2*k - 23 = 4*b + 7, 25 = 5*k. Let f be (15/b)/(6/(-16)). Suppose 5*z - f*z - 329 = 0. Is z prime?
False
Let z(u) be the third derivative of u**6/60 + u**5/20 - 11*u**4/24 + 2*u**3/3 - 4*u**2. Let p(c) be the first derivative of z(c). Is p(-6) a composite number?
True
Suppose -9*g + 5*g - 4*a + 10116 = 0, 3*a + 7611 = 3*g. Is g a composite number?
True
Let y(i) be the first derivative of 23*i**4/2 + i**3/3 + 3*i**2/2 - i - 10. Is y(3) composite?
False
Is 48562*(7 - 143/22) a prime number?
True
Let m(z) = 51*z**3 + 39*z**2 - 13*z + 9. Is m(8) prime?
True
Let k = 76 - 66. Suppose -k*y + 4303 = 3*y. Is y a prime number?
True
Let t = 27688 - 15967. Is t a prime number?
False
Let f be 3/(-3 - 0) - -5. Let y be (3249/(-95))/((-1)/5). Suppose -f*j + y + 241 = 0. Is j a prime number?
True
Let g = 26 - 24. Suppose 5*b + 3*y - 9 = -4, -6 = -4*b - g*y. Suppose -2*n = -b*n + 764. Is n a prime number?
False
Suppose 2*z + 1169 = -4*u + 5891, 4*z - 5*u - 9418 = 0. Suppose 4*g - 772 = 2*h + 1582, -3*h - z = -4*g. Is g a prime number?
True
Let c(v) = -8*v**2 + 3*v - 4. Let a be c(5). Let k(t) = -4*t**2 - 4*t - 12. Let j be k(-13). Let w = a - j. Is w a prime number?
False
Suppose 116 = 3*m - q, -m + 2*q + 37 = -0*q. Suppose 0 = 4*g + 3*s - 0*s + m, -4*s = -5*g - 10. Is 4/g + 16/6 composite?
False
Let p = 64363 - 32486. Is p a prime number?
False
Let v = -13 - -31. Let g = -16 + v. Suppose g*w - 582 = 310. Is w a composite number?
True
Is 4128/(-7)*(-7 + 0) - 1 prime?
True
Let g(s) = s**2 + 4*s - 8. Let y be g(-6). Suppose -5*u - 11 = y. Let o(p) = 9*p**2 - 2. Is o(u) prime?
True
Suppose 24*y + 102502 - 321358 = 0. Is y a prime number?
False
Suppose 258649 = 10*k - 214821. Is k a prime number?
False
Let n(q) = 822*q**2 - 2*q + 19. Is n(3) a composite number?
False
Suppose 4248 = 9*b - 2790. Let w = 2433 - b. Is w a prime number?
False
Suppose -9*m + 22*m = 364013. Is m prime?
True
Let n(m) = 60*m**2 - 2*m - 5. Let h(f) = 121*f**2 - 4*f - 9. Let s(a) = 3*h(a) - 5*n(a). Is s(-3) a prime number?
True
Suppose -4 = 4*j, 0 = c - 3*c + j + 3. Is c - -1 - ((-306 - 0) + 1) composite?
False
Let p(q) = -7*q**3 + q**2 + 5. Let v be p(4). Suppose 0 = 19*r - 17*r + 436. Let h = r - v. Is h a prime number?
False
Suppose -60 - 60 = 10*j. Is 1 - (-9)/j - 18657/(-12) composite?
True
Let a(t) = -t**3 - 5*t**2 + 3*t + 6. Let s be a(-6). Suppose 0 = 3*x - 3*h - 48, 0*h - h = -1. Let l = s - x. Is l a prime number?
True
Suppose -2*z - 15*d + 26893 = -18*d, -10 = 2*d. Is z composite?
True
Suppose -2*c = 2*b - 2546, -5*c + 2534 = -b + 3*b. Suppose 6*w = 7*w - b. Is w prime?
True
Let t = 328 + 27091. Is t a prime number?
False
Suppose 35*u - 4241 = 10144. Is u a composite number?
True
Suppose 8*m + 41561 = 4*n + 3*m, -2*n = 3*m - 20775. Is n a prime number?
False
Let c(k) = -k - 4. Let a be c(-8). Suppose 4*w - q - 2092 = 0, 2101 - 551 = 3*w + a*q. Suppose -2*y + w = -4*i, y - 5*i + 8*i - 256 = 0. Is y prime?
False
Let t = 16598 + -871. Is t a prime number?
True
Let c be 2/(-4)*(-390 - 4). Let r = c + -100. Is r a prime number?
True
Let z = -69 + 49. Let f = 176 - 174. Is 205/f*(-24)/z prime?
False
Let i be (-23)/(-5) - 2/(-5). Suppose 94 = 2*n - i*d + d, -4*d = 3*n - 101. Suppose -j + n = -300. Is j a prime number?
False
Suppose 8*k - 10*k + 1270 = 0. Let z(m) = m - 1. Let g be z(5). Suppose -p = g*p - k. Is p a prime number?
True
Suppose -1 = -d + 2. Let g(c) = 8*c**3 - 3*c**2 - 3*c - 3. Is g(d) prime?
False
Let g(z) = -z**3 + 6*z**2 + 17*z - 5. Let o be g(8). Suppose 3*d - 27333 = -5*c, 0 = -o*d + 1 - 13. Is c a prime number?
False
Suppose 9*p - 82906 = -17737. Is p composite?
True
Let a(h) = 3387*h + 104. Is a(10) composite?
True
Suppose 3*n = 5*a + 2, 0 = 13*n - 10*n + a - 14. Suppose 4*r - 4*t = 3096, 0 = r - 0*t + n*t - 759. Is r a composite number?
True
Suppose 3*h = 2*h - 1354. Let i = 7 - 7. Is i - (-2)/((-4)/h) prime?
True
Let w = -4925 - -19114. Is w a composite number?
True
Let u(l) = -l**3 + 8*l**2 + 3*l - 10. Let w be ((-14)/(-4))/(4/8). Let q be u(w). Suppose -4*p + 424 + q = 0. Is p composite?
True
Let s(m) be the first derivative of -m**3/3 - 3*m**2/2 + 12*m + 7. Let v be s(-5). Suppose f - 46 = -w, 21 = 4*w - v*f - 169. Is w prime?
True
Let h be (3 + -1)/((-2)/(-109)). Let k = -149 - h. Let u = 373 + k. Is u prime?
False
Let g be 26/(-39)*1137/(-2). Suppose -q + v + 129 = -0*q, -3*q + g = v. Is q composite?
False
Suppose 5*g - 64 = -2*y + 53, 2*g = -4*y + 274. Let s = 744 - y. Is s prime?
True
Let v be -2 + 3 - 828/(-4). Let j be 3/(636/v + -3). Let m = j - -139. Is m composite?
False
Is (-1114688)/(-128) + 3/(-2) prime?
True
Let q(h) = -34*h - 13. Let o be 1331/187 + 2/(-17). Let i = -16 + o. Is q(i) a composite number?
False
Let r(u) = 5*u + 3. Let h be r(-3). Let b = h + 8. Is 297 - (3 + b + 5) prime?
True
Let w = 65 + -72. Is (-2)/10 - w/(175/22230) a prime number?
False
Let n(s) be the third derivative of -2/3*s**3 + 3/20*s**5 + 0*s + 0 - 1/6*s**4 + 3*s**2. Is n(-3) prime?
True
Let c(b) = -b**3 + 6*b**2 + b + 2. Let z be c(6). Let t be 1/(-2) + (-204)/z. Let n = t + 61. Is n composite?
True
Suppose -2*z = q - 675, -1637 = -4*q - 5*z + 1069. Is q a composite number?
True
Let p(u) = -3*u + 10. Let c be p(4). Let m be 31/3 + c/(-3). Let d = m + 104. Is d a composite number?
True
Suppose 2*l + 65809 = g + 7*l, 197427 = 3*g - 4*l. Is g a composite number?
False
Let r be 4/4*(-1 - -5). Is (32/r)/(-4) + 189 composite?
True
Let z(k) = 250*k**2 - 96*k + 601. Is z(7) prime?
False
Suppose -4*w - 130 = -2*y, 8*w = y + 3*w - 74. Is y a composite number?
False
Suppose 5*z + 924 = 8*z. Suppose 3*p - z = -2*w, -5*w + 413 = 4*p - 0*p. Suppose -p = -s - b, 2*s - 4*b = -3*b + 189. Is s prime?
True
Is (2 - 8) + 5138 + -3 a prime number?
False
Suppose -10*c + 2*o = -6*c - 50228, 37671 = 3*c - 4*o. Is c a prime number?
False
Let b(v) = 4*v**2 + v + 1. Let o be b(-1). Suppose 5*n = 3*i + 45, o*n + 3*i + 0*i - 36 = 0. Let h = 15 - n. Is h a composite number?
True
Let v = 13161 + -9292. Is v composite?
True
Let y = 460 - -1783. Suppose 2*g = -5*c + y, -6*c = 3*g - 8*c - 3336. Is g prime?
False
Is 11505/10 + 1/2 composite?
False
Let q = -46 + 48. Suppose -2605 = -7*o + q*o. Is o prime?
True
Suppose -4*r - 3*g + 15 = -2*g, g = 2*r - 15. Suppose 5 = -r*i, i - 24 + 147 = x. Is x composite?
True
Suppose 15493 = w - 3*l, 5*l - 48347 = -2*w - 17405. Is w a prime number?
False
Let j(l) = -2*l**3 - 9*l**2 + 11*l + 4. Let v(y) = -y**3 + y**2 - 1. Let c(u) = -j(u) + 3*v(u). Is c(8) a composite number?
True
Let p be 1/(-