composite?
True
Let l be (64/4)/(-4) + 23. Suppose 5*n - 3*n + y + l = 0, 2*n - 3*y + 23 = 0. Let p(b) = 10*b**2 - 15*b - 17. Is p(n) prime?
False
Let g(d) = 6 + 3 - 25*d - 5 + 2. Suppose -u + 3 = 7. Is g(u) prime?
False
Let n be (-1 - -165) + (-4)/2. Let y = 44 + 56. Let u = n - y. Is u prime?
False
Let t be 2 + (-3 - (-55)/5). Is (t/(-30))/((-1)/4755) a composite number?
True
Is ((-81)/45 - (-2 - 0))*15395 a prime number?
True
Suppose -5884 = -5*k + k. Is k prime?
True
Suppose -4*f - 8 = 0, 3*f + 36 = k - 1093. Is k composite?
False
Let x(z) = -z**3 - z**2 - z + 6. Let g be x(0). Let m(y) = 13*y**2 - 4*y + 3. Let b be m(g). Is b/2*12/18 composite?
False
Let v(n) = n**2 + 3*n - 2. Let r be v(-9). Let m = 207 + r. Is m a composite number?
True
Suppose -2*j + 2*d + 36301 - 8131 = 0, -d - 42247 = -3*j. Is j composite?
False
Let i(b) = -1579*b + 53. Is i(-6) a prime number?
False
Let p be (-1 - -2)*(-7)/(-1). Let d(t) = 4*t + 5. Let y be d(p). Let j = 86 + y. Is j a prime number?
False
Suppose -11*p + 2769635 = 44*p. Is p a composite number?
True
Let j be 0*(-4 + 15/3). Suppose j = 4*p - p - 2913. Is p composite?
False
Let p be (-3167)/5 - (-6)/(-10). Let n(d) = 128*d + 9. Let h be n(-7). Let t = p - h. Is t a composite number?
True
Let g(q) = q**3 - 7*q**2 - 10*q - 22. Let j be g(9). Let a = j + 153. Is a a composite number?
True
Suppose -1196881 = -121*y + 213616. Is y a composite number?
False
Let w(b) = b - 25. Let s(m) = -2*m + 51. Let y(z) = -6*s(z) - 13*w(z). Let l be y(13). Is l/1*5140/60 prime?
False
Is ((-2691)/78)/(-3*3/1074) prime?
False
Is ((-22106)/(-21))/((-6)/(-9)) prime?
True
Suppose j + 3*j - 3*a = 34661, -5*j + 4*a = -43327. Is j composite?
False
Suppose 5*b - 369884 - 4691 = 0. Is b prime?
False
Let g(o) = 12*o**2 + 0*o**3 - 3*o**3 + 2*o**3 + 2*o**3 - 6 - 2*o. Let h be g(-5). Suppose 0*f - f + h = 0. Is f composite?
False
Suppose -5*b - 11 = 3*p - 5*p, -5*p = b - 14. Suppose -p*z - 4*z = -9863. Is z a prime number?
True
Let d be (-2 + -1)*(-3 + -4). Suppose -30742 - 41855 = -d*i. Is i composite?
False
Suppose 5*x + 2*l = 11073, 0 = -5*l + 19 + 1. Is x prime?
True
Suppose 0 = -y + 22 + 67. Let q = 32 - 29. Suppose -y = -q*l - 26. Is l a composite number?
True
Let m(l) = 3489*l**2 - 2*l - 2. Let y be m(-1). Suppose 25*j = 22*j + y. Is j a composite number?
False
Let x(d) = -53*d**3 + 18*d**2 - 26*d + 14. Is x(-9) a prime number?
True
Let n(l) = -l**3 + 11*l**2 - 9*l - 8. Let k be n(10). Let g = k + 129. Is g prime?
True
Let p = -13 + 15. Suppose -r + 3*h - 60 = 0, 3*h - p*h - 60 = r. Let w = 127 + r. Is w composite?
False
Suppose -3*b + 1702 + 17861 = 3*u, -5*u + 2*b = -32605. Is u prime?
True
Suppose 36*k = 38*k - 8. Suppose k*y + 51 = c, -3*c + y = c - 204. Is c a prime number?
False
Let m(p) = 5*p**2 + 4*p + 421. Is m(-63) a composite number?
True
Suppose 0*k - 20 = 4*y - 2*k, 0 = -k + 2. Is (21/3)/(y/(-1556)) a prime number?
False
Let f = 58 - 70. Let k(h) = 5*h**2 + 17*h + 38. Is k(f) prime?
False
Suppose -88*g + 87*g = -59. Suppose 0*t - 126 = -4*t - 2*q, 0 = -t + 5*q + g. Is t a prime number?
False
Suppose 2*r + 5736 = r. Let o = r + 8186. Let l = -1495 + o. Is l a composite number?
True
Let j = -1004 + 1691. Suppose -j - 110 = -n. Is n prime?
True
Let a(d) = -d**3 + 4*d**2 + 7*d + 1. Let h be a(5). Let p = -56 - h. Is (-45)/(-15)*p/(-3) composite?
False
Let n(x) = 2*x**2 + 2*x + 7. Let m(k) = -k**3 + 12*k**2 - 11*k + 2. Let q be m(11). Suppose q*b = -4*r - 30, 2*b - 9 = 5*b. Is n(r) a composite number?
False
Suppose 0 = -4*l + 17341 + 6303. Is l a prime number?
False
Suppose -3*f = -4 - 5. Suppose -3*r - 8 = 5*g - 32, 3*g = 2*r + f. Suppose -g*p + p = -1442. Is p prime?
False
Let c(g) = -g**2 + 6*g + 5. Let y be c(5). Let a = y - 5. Suppose 0*q = -a*q + 1570. Is q a prime number?
False
Let r(a) = 5*a**2 + 7*a - 11. Let x = 17 - 6. Let c be r(x). Suppose 0 = d + 5*n - c, -n + 2672 = 3*d + 659. Is d composite?
True
Suppose v - 71468 = -4*q, -5*q - 3119 = -2*v - 92454. Is q a prime number?
False
Let o(x) = -10*x**3 + 3*x**2 - x + 1. Let w be o(-3). Suppose -4*p = -w - 315. Is (-9)/3*p/(-6) composite?
True
Suppose 3*a + 0*a - 1891 = h, a - 629 = h. Is a a composite number?
False
Let d be 27688/10 - 3/(-15). Suppose -5*z - 3*m + 2216 = -z, -d = -5*z - 4*m. Is z a prime number?
True
Let a(y) = y**3 + 71*y**2 + 38*y + 8. Is a(-63) composite?
True
Suppose -3*i - 28 = -i + 5*f, 20 = -2*i - f. Let p = 121 - 127. Is p/(-4)*(-3246)/i a prime number?
True
Is ((-36776)/12)/((-2)/9) a composite number?
True
Suppose -9*u + 8656 + 28649 = 0. Is u a composite number?
True
Let t = 2642 + 2805. Is t prime?
False
Let j be (-1)/(-4 - 10014/(-2504)). Is j/6 - -2 - 3/(-9) composite?
False
Let a(l) = l**2 - 10*l + 1. Suppose 0*i + 4*s = 5*i + 45, -45 = 5*i + 4*s. Let m be a(i). Suppose o - m = -3*o. Is o composite?
False
Let d = -34 - -59. Let p = 60 + d. Is p composite?
True
Let v(u) be the third derivative of u**5/6 - 13*u**4/24 - 11*u**3/6 - 29*u**2. Is v(-8) a prime number?
True
Let t = -7309 - -13846. Is t prime?
False
Suppose -r = 3*z - 173, -5*z - 295 = -10*z + 5*r. Let j = z - -207. Is j composite?
True
Let s = 22165 - 9994. Is s composite?
True
Let p = -357 - -1127. Let i = 1311 - p. Is i prime?
True
Suppose -12 = -3*q + 6. Suppose q*i - 368 = 1174. Is i prime?
True
Suppose -6*i + 9 = -3*i. Let u be 2 + (i - -342) - 2. Suppose t = 4*t - u. Is t a composite number?
True
Let m = 58 + -56. Suppose 1036 = m*u + 2*u. Is u a composite number?
True
Let t(l) = -5*l - 4. Let p be t(-2). Suppose -2*c = -2*y - 0*y + p, 4*y = 2*c + 16. Suppose -884 = -5*o - 3*b - 88, 5*o + c*b - 799 = 0. Is o composite?
True
Suppose k + 4*a - 8 = 0, 0 = -5*k + a - 3*a + 22. Suppose -4*x + 2*x + c + 730 = 0, k*x - 1460 = -3*c. Is x a composite number?
True
Let g(p) = -p**3 + 5*p**2 - 2*p + 17. Let i be g(6). Let u = 38 + i. Suppose -u*o + 25 = -52. Is o prime?
True
Let i(k) = -k**3 + 3. Let y be i(0). Suppose 2*f = y*f. Is 100 + (f + 1)*3 a prime number?
True
Let o(s) = s**3 - 10*s**3 + 7*s**3 - 15*s**2 + 19 - 3*s. Is o(-14) prime?
True
Let n(w) = -52*w**3 + 7*w**2 + 16*w + 2. Let q be n(-6). Let r = q - 6529. Is r composite?
False
Suppose 90*t = 57*t + 553674. Is t prime?
False
Let g(y) = -4*y**3 - 6*y**2 + 8*y + 9. Suppose 4*c + 15 + 6 = -3*m, -4*c + 4*m - 28 = 0. Let j be g(c). Suppose 5*f - j - 2546 = 0. Is f composite?
False
Suppose 2*p + 124 + 208 = 0. Let g = p - -519. Is g prime?
True
Suppose 3*f + 521 = -2*w, -f + 245 = -3*w - 553. Let q = 392 + w. Is q a composite number?
False
Suppose 4*f + 4*w + 792 = -0*w, -966 = 5*f - 3*w. Suppose -4*o + 182 = 4*m - 1110, 5*m - 5 = 0. Let r = o + f. Is r a composite number?
False
Let o = -46003 - -67106. Is o a prime number?
False
Let g = 75 + -70. Suppose g*d + p + 2*p = 6589, -2 = p. Is d composite?
False
Suppose -5*v + 1960 = -4*x - v, -3*x = 5*v + 1430. Let c(r) = -10*r**2 + 3*r. Let n be c(6). Let m = n - x. Is m a composite number?
True
Let b = 221 - 105. Suppose 4*u + 2*h = 22, -2*h + 8 = 5*u - 6*h. Suppose b = u*x - 344. Is x composite?
True
Suppose o - w - 19 = -0*w, 3*w + 9 = o. Let l be (-6)/o + 2923/(-4). Let j = -330 - l. Is j prime?
True
Suppose 6*h - 317603 = h - z, 4*z = 3*h - 190571. Is h prime?
True
Let a(x) = -4*x - 6*x - 25*x - 27 - 12*x. Is a(-14) composite?
False
Let p(h) = -h**3 + 11*h**2 + 3*h - 23. Let a(m) = m**3 - 10*m**2 - 3*m + 24. Let y(w) = -3*a(w) - 4*p(w). Let f be y(14). Is (-9134)/f - 6/33 a prime number?
False
Let l be 136/42*3 + (-2)/(-7). Suppose -s + 3*n = -l - 18, 2*n = -s + 43. Is s a prime number?
True
Suppose -5*k - 4*s = -225, 0 = -5*k + 2*s + 3*s + 270. Suppose -5*m - 2*l = -404 - k, l + 1 = 0. Is m prime?
False
Suppose -44 = f + 10*f. Let t(i) = -150*i + 31. Is t(f) a prime number?
True
Let q be 5098/5 - (-12)/30. Let c(g) = 147*g - 13. Let x be c(-4). Let z = x + q. Is z prime?
True
Let h = -7283 + 15612. Is h composite?
False
Let h = 15383 - 8916. Is h a composite number?
True
Suppose -19 - 6 = 5*y. Is (313/(-4) + -1)/(y/20) a composite number?
False
Let u = -2525 + 18883. Is u prime?
False
Let r(i) = 2202*i + 5. Is r(6) a composite number?
False
Suppose -4*a = 5*w - 9897, -9896 = -7*a + 3*a - 4*w. Is a composite?
False
Let c(g) = g**3 + 2*g**2 - 4*g - 5. Let d be c(