Is b prime?
True
Suppose 0 = -4*s + 28 + 12. Let d be 94/10 - (-6)/s. Suppose d = -n + 20. Is n prime?
False
Let x(s) = s**2 + 15*s + 27. Let f be x(-16). Suppose -371 = 42*g - f*g. Is g prime?
False
Suppose 5*s - 5 + 155 = 5*j, s + 3*j = -26. Let a = -23 - -83. Let v = a + s. Is v a prime number?
True
Suppose 6*p - k - 39799 = 5*p, -2*p = -k - 79598. Is p composite?
False
Let q(p) = 24*p**2 - 9*p - 12. Let c be q(-15). Is (-2)/5 - 26*c/(-70) composite?
True
Suppose -47*w - 604807 = -54*w. Is w prime?
False
Suppose 5*v = 13622 - 1642. Suppose -2*p - 3*p + 5*x = -2420, 3*x = -5*p + v. Is p prime?
False
Let v = 29 + -24. Let w = 47 + -19. Suppose 0 = -3*b + v*g + 659, 3*b + g - 699 + w = 0. Is b composite?
False
Is 2 + (2/(-4))/(11/(-1270082)) prime?
False
Let i be (-40)/(4 + 1) - 2. Let h be i*-69*(-4)/(-15). Suppose h = 7*s - 3*s. Is s prime?
False
Let d = 2142 - 331. Is d prime?
True
Suppose 0 = -20*c + 28616 + 79004. Is c composite?
False
Suppose 2*a - 4*v = 58314, 0 = -71*a + 72*a + 4*v - 29127. Is a prime?
True
Is (-208097)/(-34) + (6/4)/3 a composite number?
False
Let i = 17 + -8. Let b = i - -10. Is b composite?
False
Let o = 809 - 528. Let c = o - 182. Suppose 39 = 3*b - c. Is b a composite number?
True
Suppose -v + 826 = -535. Is v composite?
False
Suppose q - t = 0, -t + 5*t = q - 9. Let y be 8/36*q*-6. Suppose -a = -y*r + 170, -2*r - 4*a + 137 = r. Is r a composite number?
False
Let m(h) = h**2 + 6*h + 14. Is m(11) composite?
True
Let h = -445 + 741. Let o = 789 - h. Is o composite?
True
Is (116155/(-39))/((-3)/9) composite?
True
Is 2*((-8500)/(-8) + 2) a prime number?
True
Suppose 47*t - 2942 = 45*t. Is t prime?
True
Let a(k) = k**3 + 9*k**2 - 11*k + 1. Let h be a(5). Suppose 2*g - 5*w = 226, h = 4*g - 4*w - 132. Is g a composite number?
False
Let a = -1 + 5. Suppose -a*o = -3*o. Suppose -5*c - 4*g - g + 255 = o, 5*g = c - 21. Is c a composite number?
True
Let k(l) = -l**3 + 6*l**2 + 8*l - 5. Let a be k(7). Suppose j - 380 = -a*h, 577 = 3*h - 2*j - 0*j. Is h prime?
True
Suppose 3*u + u - 3*u = 0. Let b = 6 - 2. Suppose -4*r - b*i + 81 + 43 = u, -25 = -r - 3*i. Is r composite?
True
Suppose -4*l + 5*z + 14 + 6 = 0, -5 = -l - z. Suppose l*n - 3*b = 1335 - 135, -2*b + 1175 = 5*n. Is n prime?
False
Suppose 3*n - 7*n = -16. Suppose 9*h - n*h + 695 = 0. Let f = -62 - h. Is f a composite number?
True
Suppose -4*l = -2*h + 2298, 33 = h - 4*l - 1124. Is h composite?
True
Let g(i) = i**3 - 6. Let p be g(0). Let j = 9 + p. Is j/((-6)/4) - -415 composite?
True
Is 44010/4 + (-41)/82 prime?
False
Let j(b) = -60*b**2 + 13*b - 19. Let d(v) = -240*v**2 + 53*v - 75. Let k(g) = 2*d(g) - 9*j(g). Is k(5) a prime number?
False
Suppose 3*p + 2*r + 222 = 7*p, p = -4*r + 51. Suppose -m - 2*v - 4 + p = 0, -265 = -5*m - 5*v. Is m a composite number?
True
Let i be -86 - 3/(-2)*-2. Let z = 422 + i. Let s = 488 - z. Is s prime?
False
Let n(f) = f**2 + 1. Let y(k) = 6*k**2 + 3*k + 8. Let s(r) = 4*n(r) + y(r). Is s(11) composite?
True
Let l(t) = t + 23. Suppose -2*d - 18 = -2*b + 2*d, -3*b - d = 1. Let c = -9 - b. Is l(c) a prime number?
True
Let f be ((-18)/15)/(2/(-15)). Let h be -3*(-6)/f - -183. Suppose 0*g - h = -5*g. Is g composite?
False
Let d(h) = -h**3 - 8*h**2 - 12*h - 3. Let o be d(-6). Let q be (-15 - -6)/(o/(-50)). Let w = 277 + q. Is w a prime number?
True
Let r(d) = -d**3 - 10*d**2 + 15*d + 16. Let s be r(-12). Let t be (-1)/(((-4)/s)/1). Let v = 202 + t. Is v a prime number?
True
Let q(a) = -a - 3. Let l = 3 + -14. Let w be q(l). Suppose -5*r = -w*r + 261. Is r a composite number?
True
Let k(a) = -a - 5. Let q be k(-5). Suppose q*m = -6*m + 2382. Is m prime?
True
Is (-2)/(1506684/301346 + 10/(-2)) a prime number?
False
Suppose 6*x + 23*x - 223793 = 0. Is x composite?
False
Suppose 4*u + 74 = -234. Let m be ((-8)/10)/(2/(-325)). Let t = m + u. Is t a composite number?
False
Let y(i) = 535*i**2 + 56. Is y(-9) composite?
False
Let p(d) = -194*d + 6. Let o be p(-3). Suppose 4*n + 314 = 2*v, 5*n = -4*v + 3*n + o. Is v composite?
False
Let q = -1 + 10. Suppose 0 = -6*t + q*t - 1266. Let f = t + -277. Is f composite?
True
Suppose -5*c - 3*w = -201, 4*c + 5*w = w + 164. Is (-14834)/(-6) + 26/c composite?
False
Is (-6243)/(-5) + (2 - (-48)/(-30)) a prime number?
True
Suppose -6*c + 9139 = 3865. Is c a prime number?
False
Let l be -3*(-33)/(-9)*-3. Let n = l - -25. Is n prime?
False
Let o(v) = v**3. Let z(q) = -5*q**3 + q**2 + 7*q - 2. Let c(k) = 4*o(k) + z(k). Let x = -60 - -53. Is c(x) a composite number?
True
Let l(v) = v**3 - 9*v**2 + v - 10. Let s be l(9). Let w(k) = -4*k - 1. Let o be w(s). Suppose -x - 3*x + 12 = f, o*x = -2*f + 14. Is f a prime number?
False
Suppose -3*k + 23727 = -450*a + 445*a, -5*k - 3*a = -39545. Is k a prime number?
False
Suppose -3*q + 41896 = -3*l - 12290, -3*l - 9 = 0. Is q prime?
True
Let u(f) = 386*f + 243. Is u(47) a prime number?
False
Suppose -23*y - 156448 = -55*y. Is y a prime number?
True
Let f(u) = u**3 + 8*u**2 + 2*u + 3. Let r be f(-6). Suppose 3*m + 2*m - 10 = 0. Is r/m - (-11)/(-22) a prime number?
True
Let o = -9 - -1. Let l be (o/6)/(2/(-6)). Suppose w - 5*j - 231 = 0, -101 + 507 = 2*w + l*j. Is w a prime number?
True
Let q = 338 - -2267. Is q a prime number?
False
Suppose 1 = 2*r - u, -r = -0*u - u + 2. Suppose -5*g - 5*z + 7 = -8, -r*g = -4*z - 23. Suppose g*c - 15 = 4*c. Is c prime?
False
Is ((-7)/4 + 2)/(14/179480) composite?
True
Suppose -31*x + 34*x = 27. Suppose -x*g + 19*g - 7870 = 0. Is g composite?
False
Let a(q) = 46*q**2 + 9*q + 18. Suppose 0 = -10*j + 7*j - 15. Is a(j) composite?
False
Let v be (-2)/((-8)/(-500)*5). Is (((-120)/v)/4)/(2/745) prime?
False
Let q = 182 + 197. Is q a prime number?
True
Let c be (-996)/(-10)*70/28. Is (c/2)/((-11)/(-2) - 5) a composite number?
True
Suppose 3*g + 2*x = 1895, -x - 3*x - 1258 = -2*g. Is g a composite number?
False
Let u be (-1)/3*3*29. Let y = 29 + u. Suppose w - 497 - 462 = y. Is w composite?
True
Let t(r) = -3*r - 60. Let y be t(-25). Suppose -1949 = 14*k - y*k. Is k a prime number?
True
Suppose 2*x - 20 = -2*y, 0 = 2*y + 3*x + 2*x - 29. Is 358 + y/(14/(-6)) a prime number?
False
Let p be ((-10)/6)/(2/(-6)). Suppose -p*t = -u + 31, t + 20 + 85 = 4*u. Let a = u + 27. Is a prime?
True
Suppose -3*h + 165 = -2*h. Let c be (1 - (1 + 0)) + h. Suppose 0*d - c = -x - 4*d, 170 = x - d. Is x a composite number?
True
Suppose 0 = 46*q - 55*q. Suppose -5*s + 3863 + 7722 = q. Is s a prime number?
False
Let o = 5283 + -3694. Suppose 2*n - t = o, 4*n + 3*t = t + 3198. Is n a prime number?
True
Let t be 2/4 + 20/8. Suppose -2*v + 20 = t*v. Suppose v*l - 130 - 146 = 0. Is l a composite number?
True
Suppose 5*z - 22*x + 19*x - 286250 = 0, -x = 2*z - 114511. Is z a composite number?
True
Let t be -306 - (-2 + (-2)/(-2)). Let s = t + 822. Is s composite?
True
Let v be 9 - (-1 + 8/2). Suppose -4056 = -v*b - 210. Is b a composite number?
False
Suppose -62*x = -4*i - 65*x + 46267, 0 = -5*i + 5*x + 57790. Is i composite?
True
Let g = 409 - 399. Let y(o) = o**3 - 9*o**2 + 2*o + 9. Let i(f) = 2*f**3 - 19*f**2 + 4*f + 17. Let w(a) = -2*i(a) + 5*y(a). Is w(g) a prime number?
True
Let p = 5237 + -1682. Suppose 5*a - 3*a - p = -5*q, -a - 5 = 0. Is q prime?
False
Suppose 2*q - 7 = -5*q. Let j(y) = 518*y**2 + 2*y - 1. Is j(q) prime?
False
Suppose 10*p = 11*p. Suppose 3*z - 13 - 11 = p. Is 46*(4/z + 3) composite?
True
Let i be (-120)/(-28) + (-6)/21. Let x be i*(-1 - (-2)/4). Let d(f) = -111*f - 5. Is d(x) composite?
True
Suppose 6*c - 5*c + 3 = 0, 6*c - 67967 = -5*r. Is r prime?
True
Is (-3)/(-5) - (-219760)/25 a composite number?
True
Let o = -15 + -140. Suppose -5*l = -4*k + 424, -4*l + 3*k - 255 = -l. Let i = l - o. Is i composite?
False
Is -6410*2/1*(-8)/32 a composite number?
True
Let m(b) = 266*b**2 - 4*b - 1. Let l(n) = n**3 - 7*n**2 - 2*n + 10. Let j be l(7). Is m(j) a prime number?
True
Suppose 2*k - 2*l = -l + 7179, 0 = -2*k + 3*l + 7181. Is k a prime number?
False
Suppose -1120 = -a - p, -3*p = 5 - 14. Is a a composite number?
False
Let t(o) = 4*o**2 + 17*o - 18. Let n be t(-13). Let g = n - 165. Let x = -69 + g. Is x prime?
False
Suppose -9*h + 4*v = -5*h - 577112, 4*h = 2*v + 577110. Is h a composite number?
True
Let u(z) = z**2 - 3*z - 2. Let g be u(4). Is g/(-4) - 155