 h = -4*l + t, 2*t - 7152 = -2*l. Is l composite?
False
Let p = 765 - -2534. Is p prime?
True
Let w(u) = 30*u - 17. Let v be w(12). Let j = v + -228. Suppose j = 3*y + 2*y. Is y prime?
True
Suppose 12*c - 111422 = 93694. Is c composite?
False
Let s be (-1317)/2*36/27. Let i = s - -1439. Suppose 2*x + 878 = 2*z - 228, x - i = -z. Is z prime?
True
Let f(m) = -79*m. Let j be f(6). Let z = 19 - j. Is z a prime number?
False
Let i = -4618 - -8017. Suppose 4*y - 269 - i = 0. Is y prime?
False
Suppose -3*j + 5 + 16 = 0. Let y be (7 - 1)/(14/j). Is y - (-12*12 + 2) composite?
True
Let a(m) = -m**2 - 7*m - 4. Let z(w) = -w**3 - 12*w**2 - 10*w + 5. Let i be z(-11). Let s be a(i). Suppose -255 = -s*v - 25. Is v a composite number?
True
Suppose 2*l - 10 = 0, -l = 2*k - 2*l - 11469. Is k a composite number?
False
Let a(v) = 3*v**2 + 11*v + 7. Let z be -4 + 7 + 1 + -13. Let s be a(z). Let j = s + -98. Is j a composite number?
False
Let z(y) be the second derivative of y**5/10 - 11*y**4/12 + y**3/2 + 7*y**2/2 - 9*y. Let j be z(7). Let k = j + 312. Is k composite?
False
Suppose 0 = -3*q + 12 + 6. Let o = q - 0. Let m(p) = 2*p**3 - 2*p**2 + 2*p + 7. Is m(o) prime?
True
Let y(h) = 2*h**2 - 15*h + 12. Let f(q) = 7*q**2 - 45*q + 35. Let n(i) = 4*f(i) - 11*y(i). Is n(15) composite?
True
Suppose a - 3*z = 2842, 0*z - 2848 = -a + 5*z. Is a a prime number?
True
Suppose -8*q - 2*x + 60 = -4*q, -5*x - 60 = -4*q. Let v = 14 - q. Let h = v + 150. Is h composite?
False
Let a(p) = 1381*p + 28. Is a(3) a composite number?
True
Suppose 39 + 36 = 5*m. Let p be ((-18)/m)/(2/(-5)). Let d(g) = 17*g**2 - 4. Is d(p) composite?
False
Let o(n) = -n**3 + 4*n**2 + 8*n - 6. Let k be o(5). Is 2*(11295/10)/k composite?
False
Let p(k) = -2 + 5 + k**3 - 8*k**2 - 6*k - 7*k - 4. Let z be p(11). Suppose 3*x - z = 12. Is x a prime number?
False
Suppose -5*x - 1766 = -131. Let h = x - -2906. Is h a prime number?
True
Let i(d) = 39*d**2 - 15*d - 5. Is i(-10) prime?
False
Is 36515 + 33/6 + (-65)/(-26) prime?
True
Let u = -2337 - -3994. Is u a prime number?
True
Let p be (76/10)/(2/5). Let y = p - 51. Let f = y + 67. Is f prime?
False
Let w = -7 - -9. Suppose b = 25 + w. Suppose b*y + 3715 = 32*y. Is y composite?
False
Let k(o) = 260*o**3 + o**2 - 5*o - 5. Let a be k(-2). Let b = 3689 + a. Is b prime?
False
Suppose -6514 = -42*a + 41*a. Is a prime?
False
Let w(d) = 2*d**2 + 5*d - 2. Suppose -6*l = 5*m - 3*l - 39, -5*m + 51 = -3*l. Let v be -5 + (m/(-3) - -3). Is w(v) composite?
False
Suppose -5*w - 2*v = -0*v - 12307, 3*v = -w + 2464. Is w a prime number?
False
Let n be ((-3)/(-9))/(1/516). Suppose -4*k - 172 = -2*x, 2*x + 3*k - n = -0*k. Is x composite?
True
Let s(k) be the first derivative of -63*k**2 + k - 5 - 2 + 10. Is s(-1) a composite number?
False
Suppose 4*v = 4*j - 2260, -561 = -7*j + 6*j - v. Is j a composite number?
False
Suppose 7 = 2*a - 23. Suppose -2*u + 2*w = -3*w - 187, a = 3*w. Is u a composite number?
True
Suppose 0 = -21*u + 221438 - 18221. Is u prime?
True
Suppose -712 = 2*r + 2*r. Let n = -917 + 516. Let f = r - n. Is f a composite number?
False
Suppose 3*y + 16 = -2*x, -4*y - 40 = 3*x + 2*x. Let s(b) = 2*b**2 - b**2 + 7 - b - 5*b. Is s(x) a prime number?
False
Let y(w) = -2*w**2 - 24*w - 13. Let j be y(-11). Suppose j = -4*a - 5*i - 6, -3*i - 9 = 3*a. Suppose 6*m - 10*m + 3620 = a. Is m prime?
False
Suppose -4*b = v - 3, -4*b - 3 = -v - 2*b. Let d(t) = t**2 + t - t**v + 0*t + 12 + 41. Is d(0) prime?
True
Suppose 3*y - 29 = -2*t, 0*t + 69 = 4*t - 5*y. Let m = 8 - t. Is (57/12)/((-2)/m) a composite number?
False
Suppose -3*w - 30 = p + 65, 0 = 4*w - p + 136. Let x = 38 - w. Is x a prime number?
True
Let b be (2/(-5))/(3/30). Let m be (774/24)/(1/b). Is (-9)/3*m - -2 prime?
True
Let u = 241 - 90. Let x = -96 + u. Is x a composite number?
True
Let j = 46 + -20. Let l = j - 24. Suppose -3*z = -2*z, l*a = 4*z + 398. Is a a composite number?
False
Let q = -555 - -364. Suppose -4*p + h = -1403, -p + 0*p - 2*h + 362 = 0. Let k = q + p. Is k a prime number?
False
Let k(g) = g**2 - 2*g**2 + 4 - 13 + 8*g + 0*g. Let b be k(6). Suppose -b*u = -z - 232, -5*u + 5*z = -u - 291. Is u a composite number?
False
Let x(q) = -3*q + 6. Let w be x(0). Let f(t) = 5*t**3 - 13*t**2 + 11*t + 13. Is f(w) a prime number?
True
Let q(p) = -4080*p**3 - p**2 + p - 1. Let f be q(1). Let x = -2280 - f. Is x prime?
True
Let p = -3406 + 4805. Is p composite?
False
Let l(i) be the second derivative of -i**4/12 + 5*i**3/2 - 5*i**2 - 8*i. Let y be l(14). Suppose -w + 58 = d - 40, 12 = y*d. Is w a composite number?
True
Suppose 125519 + 85065 = 8*v. Is v prime?
False
Let i = -6445 + 12894. Is i a composite number?
False
Let d be (-9)/(-15) - 1 - 3297/(-5). Let n = d + -394. Is n composite?
True
Let b(a) = -a**3 + 4*a**2 - 3*a + 1. Let m be b(3). Let z be -3 + m/((-1)/(-3)). Suppose 5*d - 3*d - 158 = z. Is d a composite number?
False
Let a be ((-8)/(-112)*7)/(2/157820). Is a/52*(4 + 0) a composite number?
True
Let w = -13 + 14. Let m = 20 + w. Suppose -5 - m = -2*k. Is k prime?
True
Let l = 40490 - 22639. Is l composite?
False
Let z = -34 - -30. Is ((-135)/(-25) + z)*185 composite?
True
Let v(u) = u**2 - 4*u. Let g be v(5). Suppose 38 = 2*z - 0*l - l, 0 = 5*z - g*l - 100. Suppose -f + z + 291 = -2*y, -15 = 5*y. Is f a composite number?
True
Let z(v) = -v**3 + 14*v**2 - v - 12. Let t be z(12). Suppose 212 = 3*m + j - 54, -3*m - 3*j + t = 0. Is m composite?
False
Suppose -d + 5 = 0, -3*r - 2*r - 4*d + 30 = 0. Suppose r*k - 520 = 894. Is k composite?
True
Let n(w) = 25*w**2 + 9*w + 5. Is n(-6) composite?
True
Suppose 3*u = 5*u - 8. Let q be 14/8 - u/(-16). Suppose q*t - 54 - 14 = -2*z, 4*z = 4. Is t composite?
True
Let m = 331 - 221. Let x = 165 - m. Is x composite?
True
Let l(d) = -d**3 - 6*d**2 + 4*d - 2. Let h(o) = -2*o**2 + 7*o - 7. Let n be h(4). Is l(n) composite?
True
Let s = 62 + -60. Is (-537)/6*s*-1 a prime number?
True
Let z(f) = -3*f**3 + f**2 + 2*f + 1. Let y be z(-1). Suppose -y*i - 5 = 2*i, 4*i = g - 1053. Is g a composite number?
False
Let l(w) = w**3 + 20*w**2 + 9*w + 45. Is l(-13) a composite number?
True
Let s be (-2 + (-98)/(-35))/((-2)/20). Let o(y) = -103*y - 67. Is o(s) a prime number?
True
Let x(i) = 321*i**3 + 2*i**2 - 4*i + 2. Let j be (19/4 - 4) + (-1)/(-4). Is x(j) prime?
False
Let u(m) = -4 - 2 - 26*m + 20*m + m**2. Let y be 3/2 + 13/(-2). Is u(y) a prime number?
False
Is 26222 + -2*(-30)/12 composite?
False
Let i be 47/9 + 4/(-18). Suppose -3*l - 28 - 171 = 2*o, 0 = -l - i*o - 62. Is l/(-3)*(-12)/(-4) composite?
False
Suppose -f = 3*b, -4*b - 4 = f + b. Let j(r) = 7*r**2 - f*r - 7 - r**2 + 3*r**2. Is j(-4) prime?
False
Let l = 32 + -27. Suppose -l*v = 3*i + 6, 3*v + i + 4 = 2. Suppose 5*y - 195 - 100 = v. Is y a composite number?
False
Suppose 0 = 4*a - 5*v + 19, 3*a - 4*v = -0*v - 14. Let t(g) be the second derivative of -23*g**3/6 + 4*g**2 + 2*g. Is t(a) prime?
False
Let b(q) = 53*q - 5. Let l be b(12). Is 0 + l - (2 - 6) a prime number?
False
Let o be 3/9 - (-368)/12. Let m = 28 - o. Is (-12)/(-3) + (m - -14) prime?
False
Suppose 2*b - 110 - 16 = 0. Let y be b/15 + 2/(-10). Suppose -5*w - 2*t + 225 = 0, y*t - 121 = -3*w - 0*w. Is w a prime number?
True
Suppose -z + 3*u + 5596 = -1821, -u = 3*z - 22231. Is z a prime number?
True
Let t be 0 + -3 + 847 + 3. Let d = 250 - t. Is (-4)/(-6) - d/9 a prime number?
True
Let p(w) = -w**2 - 2*w + 7. Let u be p(3). Is (-2 - (-142)/(-8))*u a prime number?
False
Let h be ((-610)/(-40))/((-1)/(-44)). Let a = h + -448. Is a a prime number?
True
Let n(z) = -2*z**2 - 1. Let u be n(-2). Let g(m) = 97*m - 29. Let k(w) = -24*w + 7. Let i(q) = 2*g(q) + 9*k(q). Is i(u) prime?
False
Let i(h) = 239*h**2 + 6*h + 41. Is i(-6) a composite number?
False
Let g be (-3)/1*538/6. Suppose 0 = -118*v + 113*v - 2050. Let t = g - v. Is t a prime number?
False
Let q be ((-70)/(-15)*-2)/(2/(-3)). Suppose -327 = -q*z + 11*z. Is z a composite number?
False
Suppose 2*q = 3*q + 4*t - 96, -4*t = -q + 72. Let j = q + 233. Is j a prime number?
True
Let d be 4433/2 + (-2)/4. Suppose 6007 - d = x. Is x a prime number?
False
Suppose -q = m - 13, -4*m + 2*q = -3*m - 13. Is 9745/55 - (-1 - m/(-11)) composite?
True
Suppose f = 4*i - 7, 3*f + i - 6*i + 28 = 0. Let m(o) = -o**3 - 3*o**2