g = 84117 - 39502. Is g prime?
False
Let y = 1357 + -2577. Let h(t) = -93*t**2 + 2*t. Let w be h(-5). Let s = y - w. Is s a prime number?
False
Suppose 4646 = -6*q - 8572. Let a = 7254 + q. Is a a prime number?
True
Let y = -2961 + 4210. Is y a composite number?
False
Let l = 1 - -4. Suppose -180 = h + l*o, 2*h = -2*h + 2*o - 808. Let m = h + 327. Is m composite?
False
Let l(y) be the first derivative of -10/3*y**3 - 1/4*y**4 + 6*y**2 + 5 + 14*y. Is l(-12) a composite number?
True
Let a(u) = -49*u + 29. Let l be a(-13). Suppose 5*b = -4*b + l. Is b a prime number?
False
Is -18773*(3/(-4) + 18/(-72)) composite?
False
Let r = 27 - 25. Is ((-3)/2)/(2/(-5384)*r) a prime number?
False
Let g(o) = 12*o + 9. Let n(p) = -p - 1. Let z(x) = 3*g(x) + 21*n(x). Is z(9) a prime number?
False
Suppose -2*s + 5*s - 15 = -k, -k = -s + 1. Suppose 0 = b - 3*y - 235, -k*y - y = -5*b + 1131. Is b composite?
False
Suppose g = -0*g + 11. Let u be 10855/g - 2/(-11). Suppose -2*y - 4*f = -434, -4*f = 3*y - u + 342. Is y a prime number?
True
Let c(r) = r**2 - 7*r - 8. Let h be c(9). Suppose 5*w = -5 - h. Let i(u) = 5*u**2 + 4*u + 1. Is i(w) a composite number?
True
Let g be (-120)/(-16) - 3/2. Let a = 115 + -47. Is a + (g/3)/(-2) a prime number?
True
Is ((-19)/(-76))/((2/776)/1) prime?
True
Let o = -22 + 144. Let t = -42 + o. Let k = t + 251. Is k a composite number?
False
Suppose 12287 - 4262 = 3*a. Let o = a + -1362. Is o a composite number?
True
Let a(f) be the third derivative of 0 - 2/3*f**3 - 1/8*f**4 - 1/20*f**6 - 6*f**2 - 1/60*f**5 + 0*f. Is a(-3) composite?
True
Is 51136/153 + -1 + (-14)/(-18) a composite number?
True
Suppose -3*x = 2*x - 4*y - 1249, -4*y - 4 = 0. Suppose 4*i - x = 43. Suppose -4*k = -i - 51. Is k a prime number?
True
Suppose -75*j + 76*j = 1. Is (-4)/12*(j - 3 - 259) prime?
False
Let z = 32 - 32. Suppose z = -6*j + 2*j + 16. Is j/24 + 1522/12 a prime number?
True
Let h = 12109 - 6792. Is h composite?
True
Suppose -3*y + 17817 = -32166. Is y a composite number?
False
Suppose 176*d - 111776 = 172*d + 3*p, 2*d - 55902 = 5*p. Is d a composite number?
False
Suppose 0 = 25*s - 336727 - 134598. Is s prime?
False
Let j be (-1146)/9 + 3/9. Let b = j - -587. Suppose -3*v + 230 = 2*t, -4*t + 0*t + b = -2*v. Is t a prime number?
False
Suppose 4*k + 4*l - 148 = 0, 4*k - 5*l = -0*k + 121. Suppose -2 = 4*m + k. Is -8 - m - 1/(-1) prime?
True
Let y(o) = o**3 - 25*o**2 + 19*o - 6. Is y(31) prime?
False
Let j(z) = -5*z**3 - z**2 - 3*z - 2. Let d be j(-1). Suppose -2*b = -4*s + 726, 4*s - d*s = -2*b - 189. Is s composite?
False
Let q(y) = -y**2 - 7*y - 12. Let b be q(-8). Let h = b + 140. Let w = -27 + h. Is w composite?
True
Let y(h) = -2*h**2 - 2*h + 2. Let g be y(0). Is (381/2 + 1/g)*1 a prime number?
True
Suppose 5*y - 25 = 0, y = 5*g - 2*y - 7565. Suppose 51 = -5*p + g. Is p a composite number?
False
Let l(p) = 160*p**2 - p. Let m be (-2)/(-3)*(-27)/(-6). Suppose -2*k = m*k + 5. Is l(k) prime?
False
Let h = -34 - -59. Let y = h + -106. Let s = 76 - y. Is s prime?
True
Let w(n) = -5*n - 5. Let l be w(-2). Suppose -5*g = -x - 431 - 3, 353 = 4*g + l*x. Is g prime?
False
Suppose 0 = -t - 4*h + 12319, 4 - 9 = 5*h. Is t composite?
False
Suppose 4*d - 635 = 845. Let z = 857 - d. Is z a composite number?
False
Is (-5 + -147*3)/2*-41 composite?
True
Let c(t) = -t**2 - t + 19. Let o be 0/(5 - (1 - -2)). Is c(o) a composite number?
False
Let r(c) = 164*c + 1. Let p be r(-2). Suppose 11*o + 327 = -1499. Let z = o - p. Is z prime?
False
Suppose -7*o + 124474 = -227199. Is o composite?
True
Suppose 8*p = 6*p + 276. Suppose 0 = -9*h + 11*h - p. Is h a composite number?
True
Is ((-291)/(-12))/((-2)/(-136)) composite?
True
Let c = -101604 + 151931. Is c composite?
True
Suppose -3*f + 23*q - 26*q = -86289, -4*q + 86293 = 3*f. Is f composite?
False
Let l = -81 - -150. Suppose 2*a = 29 + l. Is a composite?
True
Let o(k) = -k**3 - 7*k**2 - 6*k + 7. Let v be o(-5). Let t(h) = 7*h**2 + 8*h + 30. Is t(v) a prime number?
True
Suppose -3*d + 6 = 2*h, 2*h + 2 = 4*d - 6. Suppose 3*f + f - 3228 = h. Is f a prime number?
False
Let n(r) = 321*r + 15. Is n(6) composite?
True
Let l(n) = 3*n**2 - 35*n + 13. Let a be l(-11). Suppose 0 = f + 178 - a. Is f a prime number?
False
Let p(a) = -2*a**3 + 14*a**2 - 12*a + 3. Let v be p(6). Suppose -2*c - 6394 = -q - v*q, 4797 = 3*q - 2*c. Is q a composite number?
False
Let d = 25 + -25. Suppose 3*v + d*s - 3*s - 21 = 0, v = -2*s + 1. Suppose -t + 4 = 0, 2*t - 7*t - 2075 = -v*p. Is p composite?
False
Suppose c = 646 + 825. Is c a prime number?
True
Is ((-30)/10)/(27/(-24687)) composite?
True
Is 14913/2*38/57 a composite number?
True
Suppose -4*y - 27 = -y. Let f = y + 9. Suppose 0 = -f*h - 4*h + 2708. Is h a prime number?
True
Suppose -39*m = 5*y - 34*m - 49700, 49702 = 5*y + 3*m. Is y a composite number?
False
Let v = -9309 - -28624. Is v prime?
False
Suppose -3*y + 8777 = -k, -5090 = -2*y + 2*k + 756. Is y composite?
False
Let p(l) = l**3 + 21*l**2 + 3*l + 23. Let j be p(-19). Let z = j - 477. Is z a prime number?
True
Suppose 5*o = v + 2652, 0*o - 1587 = -3*o + 2*v. Let n = -32 + o. Is n a composite number?
False
Suppose 0*u = -3*u + 48. Suppose -2*b + 6 = 0, 4*b - u = -2*d + d. Suppose 4*l - 632 = -d*s, -4*l + 379 = -5*s - 262. Is l a prime number?
False
Let m = 42320 - 27267. Is m a prime number?
True
Let h = 3823 - -101296. Is h a composite number?
True
Is (-11859 - 0)*(-5 + 28/6) a prime number?
False
Is 1 - ((-2 - -6) + (-69790)/7) prime?
True
Let l(m) = -m**3 + 6*m**2 - 6*m + 2. Let p(o) = o + 1. Let q be p(4). Let c be l(q). Let u(k) = -3*k**3 - k + 1. Is u(c) a prime number?
False
Let h = -958 - -2887. Let k = -2611 + 1571. Let z = h + k. Is z a composite number?
True
Suppose -3*z + 16 = -2*k, 0*k = -4*k - 20. Suppose -2*r = -y + z, -1 = -5*y - 11. Is r/5 + 5885/25 a composite number?
True
Let d = 105 - 101. Is d/(-8)*1174*-1 prime?
True
Is (-2)/(-12)*3*(20 + 152214) a prime number?
False
Let j = -74 + 77. Let a(i) = 513*i - 8. Is a(j) prime?
True
Suppose h - 145 = -0*h. Suppose -5*n = 4*q + 607, -3*q - 5*n - h = 309. Let k = 330 + q. Is k prime?
False
Let a(c) = 358*c**2 + 14*c - 163. Is a(8) prime?
True
Let g(p) = -p**3 + 4*p**2 + 6*p + 6. Let n be g(-2). Let u = n - -71. Is u composite?
False
Suppose 13911 - 303 = 2*y + s, y - 6809 = 2*s. Is y a composite number?
True
Suppose 9*i = 4*i + 10. Suppose 0 = 4*l - i*u - u + 9, 5*l + u = 3. Suppose l = 3*v - 6*v + 2055. Is v composite?
True
Suppose 6*j - 2227 - 2519 = 0. Is j prime?
False
Let c(r) = -15*r**2 - 9*r + 17. Let z be c(8). Let h = z + 3858. Is h prime?
True
Let r(g) = 4*g**2 - g - 1. Let k be r(-1). Suppose 0 = -2*m - 4*h + 210, -4*m + 0*h + k*h = -480. Is m prime?
False
Let a(z) = z**2 + 13*z + 4. Let g be a(-11). Let h = 20 + g. Is 230 + h - 6/(-2) composite?
True
Suppose 43*p = 35*p + 29368. Is p composite?
False
Suppose 8*a - 11*a = 2604. Let x = a - -1461. Is x prime?
True
Let j(z) = -42*z**3 - 4*z**2 + 11*z - 18. Is j(-5) a composite number?
False
Let l = 8126 - 2097. Is l prime?
True
Let s be 2/((10/(-6))/(-5)). Suppose -s*r = 268 - 658. Suppose r + 171 = 4*x. Is x a prime number?
True
Let f(x) be the second derivative of 1/3*x**3 + 1/20*x**5 - x + 0 + 1/6*x**4 - 1/2*x**2. Is f(6) prime?
False
Let t(p) = 52*p - 2. Suppose 5*v + 2 = 3*v. Let k be t(v). Let b = k + 87. Is b a prime number?
False
Suppose -51*n + 65*n = 148946. Is n prime?
True
Let n(s) = 85*s - 6. Suppose 0 = -4*o - o + 25. Is n(o) prime?
True
Suppose -v = -y + 4954, -3 = -v - 0. Suppose -5*x = 5*q - 3*x - 8279, -3*q + 4*x + y = 0. Is q a composite number?
True
Suppose 10*k - 15033 = 55657. Is k prime?
True
Suppose 8 = 2*u - 2. Let t be (u + -5)/(2 + -3). Let c = t - -111. Is c a composite number?
True
Let r(l) = l**2 + 2*l - 7. Let p be r(-4). Let i = -10 - -15. Is (p - i) + 129 + 2 prime?
True
Let q(i) = i**3 - 5*i**2 - 6*i + 1. Let v be q(6). Let d(u) = 27*u**2 - u. Let s be d(v). Is s*(-3)/(-6)*3 a prime number?
False
Let j be 4/8*2*64. Let z(n) = -n**2 - 8*n - 6. Let t be z(-5). Suppose -j = -l + 5*s, -l + t + 20 = 2*s. Is l a composite number?
True
Let m(c) = c**3 - 3*c**2 - 18*c - 31. Is m(17) prime?
True
Suppose 20*y - 312992 = 35948. Is y composite?
True
Let x be 2/6 + (-210)/(-18). Let g be (-1 + 