3 - 13*a**2 + 14*a. Let z be f(-14). Suppose 0 = -4*b - 2*n - z - 2, 0 = 3*b - 5*n - 31. Let i(t) = 4*t**2 - 5*t + 4. Is i(b) composite?
True
Let t be (16/(-24))/(2/(-9)). Suppose 0 = 2*l - t*l - 5*y + 29, 13 = l - 3*y. Is l composite?
False
Let d(y) = 19530*y**2 + 3*y - 2. Is d(1) composite?
False
Suppose 2*g + 5 + 7 = 0. Is g/2 + 1414 - 2 composite?
False
Let p(n) = 379*n**3 - 9*n + 17. Is p(3) prime?
True
Let s(b) = -b**3 + 20*b**2 + 19*b - 29. Let o be s(18). Let l = 1404 - o. Is l a composite number?
False
Suppose 6 + 9 = 5*z. Suppose z*p + 3925 = 8*p + 4*w, -5*w = 0. Is p composite?
True
Let i(p) = 2*p**2 - 3*p. Let m be i(2). Suppose -5*j - 6*b + 1630 = -b, b + 667 = m*j. Is j composite?
False
Let j = 8 - -25. Is (-6)/j + (-29343)/(-33) prime?
False
Let a(y) = y**3 - 2*y**2 + y - 6. Let b be a(3). Suppose -b*s + 5*c = -4*s - 526, 0 = -3*s - 5*c + 739. Is s a prime number?
False
Is (3 - -17314)*(-3)/15*-5 composite?
False
Let d(l) = 915*l + 1. Is d(4) composite?
True
Let y be 4 + 0 + (-10 - -5). Let i(a) = 6*a**2 - 2*a - 2. Let d be i(y). Is (-2)/d - (-3860)/15 composite?
False
Suppose -7*f + 4*f - 5*n + 7973 = 0, -4*n = f - 2653. Is f composite?
True
Let n(y) = 19*y**2 + 3*y + 8. Suppose -5*z - 32 = b, -3*z - 26 = -3*b + 7*b. Is n(z) composite?
True
Suppose -5*b + 4*b - 210 = -4*p, -2*b - 365 = 3*p. Let t = b - -773. Is t prime?
False
Suppose -13*p + 14056 = -5*p. Is p prime?
False
Suppose 3921 = 29*r - 26*r. Suppose r + 616 = 3*i. Is i a prime number?
True
Is 90/360 + (14491/4 - 1) prime?
False
Let i = -5154 + 7360. Is i a composite number?
True
Let j(u) = 40*u**2 - 9*u - 26. Let z be j(9). Suppose -2*m + z = 1147. Is m prime?
False
Let w(t) = 44*t**2 - 42*t - 61. Is w(-18) composite?
False
Suppose -5*i + 3*g = 4*g - 41120, -5*g = -4*i + 32867. Is i a prime number?
False
Let a(y) = -2*y - 8. Let g be a(-7). Is -3 + 5169/9 + (-2)/g composite?
False
Let w(k) = k**2 - 27*k - 59. Is w(34) a prime number?
True
Let y(d) = d**2 + 3*d + 95. Let p(h) = -h**2 + 4*h - 4. Let z be p(2). Is y(z) prime?
False
Let w(m) = m**2 + 9*m - 20. Let x be w(-11). Suppose 2*a + 244 = x*n, 2*n - 2*a = -5*a + 269. Is n prime?
True
Let k = -520 - -116. Let m = 327 - k. Is m prime?
False
Suppose 4*w = 5*v + 293454, 5*w - 3*v - 192994 = 173817. Is w a composite number?
False
Suppose -n + 16027 = 4*o - 4*n, -5*o + 2*n = -20039. Is o prime?
False
Let r(a) = -a**3 - 13*a**2 - 8*a + 13. Let s be r(-7). Let f = s - -1706. Is f composite?
False
Suppose 9*c - 36127 + 5086 = 0. Is c composite?
False
Let d be (-1)/(-1) + -7 - -3. Let h be 3 + -3 + 3 + d. Suppose h = x - 0*s - 4*s - 435, -4*x + 5*s + 1762 = 0. Is x a prime number?
True
Suppose 48*c = 63*c - 532815. Is c a prime number?
True
Suppose 3*x = -5*s + 24851, -x + 24849 = 5*s + x. Is s prime?
True
Suppose -42*d + 846243 = 9*d. Is d a composite number?
True
Let c be (-30)/(-10) - 6/1. Suppose 4*v = -3*d + 75, 0 = -2*v - 3*d + 65 - 20. Is ((-2395)/v)/(1/c) composite?
False
Let j(g) = -2*g**3 - 10*g**2 + 7*g + 106. Is j(-7) a composite number?
True
Suppose 2 = m - 1. Suppose 3*l + m*d + 3 = 0, -2*l + 0*l + d = -7. Suppose 3*u + l*a - 23 = 6*a, 2*a - 34 = -2*u. Is u a prime number?
True
Suppose -2906 = -2*y + 41712. Is y composite?
True
Suppose 52819 = 12*q - 59777. Is q prime?
False
Let w(d) = 3 - 7 + 2*d - 13. Let t be w(13). Let f(u) = u**3 - 6*u**2 - u - 11. Is f(t) a composite number?
False
Let n be (-1)/(-4) - 2/8*-23. Suppose -2472 = -n*q + 594. Is q composite?
True
Suppose 2*t - 3*z = 2*z + 6517, 6547 = 2*t + 5*z. Suppose -4*i = y - 13051, i + 9*y - t = 12*y. Is i composite?
True
Let g = 9043 - 5256. Is g a composite number?
True
Suppose 4*i - 10430 = 12494. Is i prime?
False
Suppose -31 - 45 = 4*u. Let v = u + 21. Suppose 0 = -v*p + 3*d + 509, 0 = -2*p - 2*d + 403 + 81. Is p prime?
False
Suppose 4*d = -y + 3*d + 31959, -2*y + 63916 = d. Is y prime?
True
Let x = -4633 - -7380. Is x composite?
True
Suppose 4*r - 5*k - 84048 - 22170 = 0, 6 = 3*k. Is r prime?
True
Let b = 1542 - -5527. Is b a composite number?
False
Suppose a - 234 = -v, a - 2*v - 339 = -102. Is (-4)/(-1) + -2 + a prime?
False
Suppose -t + 4138 = j - 4*t, 2*t + 10 = 0. Suppose -5*g + 350 = -2*q - j, -3*q + 3583 = 4*g. Is g a composite number?
True
Let d = -26 + 28. Suppose 0 = 2*n - 5*y - 853, 4*n + 884 - 2566 = d*y. Is n prime?
True
Is 1 + (-5 - 0) - -3989 a prime number?
False
Let x(f) = -58*f - 25*f - 754 + 757 + 12*f. Let l be (-2)/4 + (-3)/2. Is x(l) a prime number?
False
Is (-231980)/(-11) + 102/(-1122) composite?
False
Let t(n) be the first derivative of -n**2/2 + 15*n + 1. Let a be t(9). Suppose h - 133 = -a. Is h prime?
True
Let u = 19751 + -9540. Is u prime?
True
Let s be 1/(-4) + 7649/4. Suppose -3*d - 121 = -157. Is s/d*6/4 composite?
False
Let n be -107 + (-2 - (0 + 0)). Let k be (n + 1)*1/(-2). Is 10671/27 - 12/k a prime number?
False
Suppose -2*g + 175 = -4*g - 3*z, -5*z + 15 = 0. Let s = -45 - g. Is s prime?
True
Suppose -2*q + 0*w + 1597 = 3*w, 5*q = 5*w + 3955. Is q a prime number?
False
Suppose 4*b - 51 = 3*q, 2*q - 7*q = -3*b + 52. Suppose b*u - 7*u = 658. Is u composite?
True
Let g(f) = -f + 4. Let d be g(2). Suppose -d*t = 3*t + 15. Is (-6)/t + -4 + 487 a prime number?
False
Suppose -3*g + 3 = 18. Let v = 10 + g. Suppose -4*x = x + 4*l - 411, -296 = -4*x + v*l. Is x prime?
True
Suppose -5*d - t = -25, -d + 4 + 1 = 4*t. Suppose 4*f - 186 = 238. Suppose 4*k = 3*c - 115, c + 2*c = -d*k + f. Is c a composite number?
False
Suppose 76 + 284 = 9*d. Suppose d*u - 41*u + 502 = 0. Is u a prime number?
False
Let j = -1114 + 2083. Suppose 1426 + j = 5*m. Is m a prime number?
True
Let c be ((-194)/4)/(-1 + 132/136). Suppose 14*v - c = 13*v. Is v a prime number?
False
Suppose -2*q + 4*n = -66, -2*n - 8 = 2*n. Suppose 0 = -23*u + q*u - 3084. Is u prime?
False
Suppose -3*o = -5*o. Let y be 2 + 29 + (-4 - o). Let a = 12 + y. Is a prime?
False
Let u(b) = -6*b + 1635. Let l be u(0). Suppose -n - l = -6*n. Is n a prime number?
False
Is 199276/(-88)*(-4)/7 prime?
False
Suppose 258 + 151 = b. Is b a prime number?
True
Suppose -29*h + 187309 - 33290 = 0. Is h composite?
True
Suppose -33*p + 25*p = -3560. Is p a composite number?
True
Let p = 52 - 47. Suppose -p*b + 262 = -793. Is b a prime number?
True
Suppose -3*h + 4*b + 20911 = 0, -21628 - 13231 = -5*h + 3*b. Is h a composite number?
True
Suppose -4*i + 28848 = -19940. Is i a composite number?
False
Suppose 4*t + t = 160. Suppose t*b = 37*b - 4175. Is b a prime number?
False
Let l be ((-6)/(-4) + 3/(-3))*10. Suppose -2*d + 5*z + 41 = 9, l*z + 8 = -2*d. Is d prime?
False
Suppose -4*s + 62 - 6 = 0. Suppose -5*n + s = -16. Is (812/n)/(6/9) a composite number?
True
Suppose -o + 2 = 6. Let b be 0 + (-1 - 16/o). Suppose -z = -4*r - 149, r + 433 = b*z - 4*r. Is z a composite number?
True
Let p(k) = -k**2 + 7*k + 4. Let m be p(7). Let j = m + 1. Suppose 2*x + c - j*c = 590, 5*x - c = 1439. Is x composite?
True
Let c(a) = a - 2*a + a**3 + 3 + 5*a**2 - 5*a. Let g = 46 + -52. Is c(g) composite?
False
Suppose 3*j - 13 = -58. Let m be (-425)/j - (-1)/(-3). Suppose -n - m = -381. Is n composite?
False
Suppose -5*x + 3*p = 4*p - 5962, 5*p + 4758 = 4*x. Suppose 10*k = 14*k - x. Is k composite?
True
Let z = 4961 - 766. Is ((-14)/35)/((-2)/z) a prime number?
True
Let i(w) = 2205*w**3 + 2*w**2 - w. Is i(1) prime?
False
Let m(t) = 7 + 4*t**2 + t**3 + 5*t**2 + 5*t + t - 3*t**2. Let v be m(-5). Suppose 777 = -v*u + 5*u. Is u composite?
True
Is -3 + 33628/16 - (-2)/8 a prime number?
True
Suppose 5*h = 3*a + 33 - 6, a + 4 = 0. Suppose -s - 4*d = -3, h*s = -d + 3*d + 51. Suppose 0 = j - 2*j + s. Is j prime?
False
Let b be (1 - 0)/(-2) - (-9)/2. Suppose -b*g - 437 = -5*g. Is g a composite number?
True
Let y(a) = -a**3 - 33*a**2 - 57*a - 80. Is y(-33) a prime number?
True
Suppose 2*c = -c + 90. Suppose 0*b + 6*b - c = 0. Suppose 4*h = -5*p + 907, -2*h - b*p = -3*p - 452. Is h a prime number?
True
Let d = 1 - -1. Suppose -3*v + w = -1343, -8*v + 3*v = -d*w - 2237. Is v composite?
False
Let g be (-10)/4*64662/(-65). Let b = g - 1774. Is b composite?
True
Let c(n) = 2 + 7*n**2 - 2*n**2 + n**3 - 6 - 3*n. Suppose -y - 1 = -4*x - 6, 3*y = -3*x - 15. Is c(y) a composite number?
False
Suppose -40*i + 280402 = -2*i. Is i a pri