 + j - 15 = 5*j. Let p(k) = -2*k - 22. Let x be p(t). Is 1*6887 - (12 + x) a prime number?
True
Let j(m) = 42*m**2 + 21*m + 0*m**3 - 17*m**2 - 3*m**3 + 1 + 2*m**3. Is j(24) a composite number?
True
Let h = -100 + 57. Let x = -40 - h. Suppose -5*w = m - 70, 5*w + 185 = -m + x*m. Is m a prime number?
False
Suppose 17*l - 326025 = 3962. Suppose -43*s + 45*s = -p + l, p + 4*s = 19405. Is p composite?
False
Suppose 6316 = -4*t + 368. Let s be (-4)/12*t - 2/3. Let w = s - 58. Is w a composite number?
True
Let w = 1314434 + -864513. Is w prime?
True
Let v = -342 + 327. Is ((-46120)/v - 3) + (-2)/3 composite?
True
Let z = 990 - 456. Let y = z + 373. Is y a composite number?
False
Suppose -4*f + 45 = -19. Let s be 27126/21 + f/56. Suppose 4*r = -0*r + s. Is r prime?
False
Let s = 250 - 244. Let h(v) = 419*v + 7. Is h(s) a composite number?
False
Suppose 5*h - 23*y + 24*y + 1698 = 0, -1694 = 5*h + 3*y. Let x = h - -1317. Is x a prime number?
True
Suppose -13*j + 8*j = -30. Is 1/j + 145935/162 a composite number?
True
Suppose 2247*i = 2214*i + 14457531. Is i a prime number?
False
Suppose -228*w - 6743111 = 79*w - 50446710. Is w composite?
False
Let z(j) = 44*j - 3. Let g be z(3). Suppose 5*a + 2*s - 118 = 0, -449 = -4*a - 4*s - 345. Suppose 25*m - g = a*m. Is m prime?
True
Let x = -14 + 14. Suppose x = 4*u + 7 - 23. Suppose -159 = i - u*i. Is i prime?
True
Suppose 0 = 4*q - 4*d, 6*q + 5*d - 20 = q. Suppose -3*f = q*c - 0*f + 15, 30 = -5*c - 5*f. Is (c/(-24))/((-5)/10)*-2164 a composite number?
False
Let d be 6*-1 - (79 + -104). Let a(z) = 606*z - 80. Is a(d) composite?
True
Let i(v) be the third derivative of v**4/12 + v**3/6 + 6*v**2. Let d be i(2). Suppose 0*n - 2445 = -d*n. Is n prime?
False
Let j be (0 - 16)/(5 - 3) - -4. Let s = j - -331. Is s a composite number?
True
Let j = -1175 - -1863. Suppose 5*u - 5616 + j = -3*s, 3*u - s - 2954 = 0. Is u composite?
True
Let r = -2090 + 3377. Let b = 2280 - r. Is b composite?
True
Suppose 0*j + 4*a = 4*j - 24, -3*a - 24 = -5*j. Suppose -4*b + 11068 = j*r - 4*r, 11068 = 4*b + 5*r. Is b prime?
True
Let l be 15/(-6)*(-1 - (-1 - -316)). Let j = l + 2359. Is j a composite number?
True
Suppose -3*h = 3*n - 0*n - 21, 5*h = n + 35. Let t(c) = 2*c**2 + 58*c - 536. Let l be t(33). Suppose l = h*g - 3*g. Is g prime?
False
Suppose 9*m + 689274 = 27*m. Is m prime?
False
Let m = 110 - 109. Let x = 8 - m. Suppose 0 = 4*n - 8, 5*b - 2*n = x*b - 4914. Is b a composite number?
True
Let l = 183 - 51. Suppose 2*h = -h + l. Is ((-418)/4)/((-22)/h) composite?
True
Let b(p) = -4 + 82*p**3 - 83*p**3 + 2*p + 3 + 5*p**2. Let a be b(5). Is 4524/9 + (39/a - 4) composite?
False
Let n(m) = 3313*m - 1143. Is n(88) a prime number?
False
Suppose -2 - 2 = 4*y, 5*i + 2920 = -5*y. Let r = i - -3520. Suppose -3*x + 3*j + 3453 = 0, 4*j + r = 3*x - 516. Is x prime?
True
Is ((-2)/((-4)/(-9)))/(13*39/(-5847062)) prime?
False
Let h(b) = -15793*b + 1487. Is h(-90) prime?
True
Let s(m) = 5*m**3 - 2*m**2 + 7. Let x(w) = -w**3 - 1. Let y(k) = s(k) + 4*x(k). Let h be y(2). Suppose 5*p + h*t = 1945, p + 5*t - 1167 = -2*p. Is p prime?
True
Let k(n) = -n**3 - 9*n**2 - 6*n + 62. Let x be k(-6). Let l(j) = 68*j - 1. Let c(u) = -136*u + 1. Let p(o) = 4*c(o) + 7*l(o). Is p(x) a prime number?
True
Suppose -77*d - 4*u = -82*d + 602519, -3*u = -4*d + 482014. Is d composite?
True
Let n = -5347 - -3075. Let f = 1087 - n. Is f a composite number?
False
Suppose -32*a = -33*a + 31. Let d(l) = 14*l**2 - 29*l + 43. Is d(a) a composite number?
True
Suppose -205*n + 199*n = -22098. Is n prime?
False
Suppose -31*p + 8 = -27*p. Suppose 2*g - 5*t = -1, -t - 3 = -4*g + 4. Suppose 4*w = -h + 2253, -h - g*w = p*h - 6769. Is h a composite number?
True
Suppose -8*u + 65 = -5*r - 3*u, -43 = 3*r + u. Let y(v) = -442*v - 87. Is y(r) prime?
True
Let l(a) = 18*a - 143 - 126 - 133 + 428 - a**2. Is l(13) prime?
False
Suppose u + 3 - 5 = 0. Suppose 5*i + u*f + 5 - 16 = 0, -5*f - 7 = i. Suppose 1836 = i*b - 3*w, -2*w = -w - 1. Is b prime?
True
Let s = 183867 - 17144. Is s prime?
True
Let n = 61 + -44. Let h = n + -13. Suppose -4*p = h - 272. Is p a prime number?
True
Let s = 356004 - -53179. Is s composite?
True
Let s(q) = 7*q - 205. Let r be s(30). Suppose -3*z = 2*h - 9553 + 1599, r*h - 19927 = 3*z. Is h a prime number?
False
Let m(j) = 14*j + 9*j - 7*j + 283*j**2 + 86. Is m(-7) a prime number?
True
Suppose 2*g - 4*j = 344346 - 18652, 4*g = -4*j + 651424. Is g prime?
True
Suppose -244*k + 27445603 = 225*k - 422*k. Is k a composite number?
True
Let h = -38331 + 20079. Let j = h + 27071. Is j a composite number?
False
Let c = -887 + 3817. Suppose 2*j + 0*j = c. Is j a composite number?
True
Let a = 232 + -229. Suppose 2*f + a*l = 5299, 2*l + 1573 + 1094 = f. Is f a composite number?
False
Is -97718*1/((-46)/115) composite?
True
Let n(y) = -y**3 + 5*y**2 + 8*y + 10. Let x be n(7). Let p be (-44)/(-6) + x/(-48). Suppose 6*g + 874 = p*g. Is g composite?
True
Let c(j) = 15*j + 77. Let s be c(-6). Is (-1)/4 - ((-879970)/(-8))/s prime?
True
Let v(l) = 3*l - 33. Let p(t) = 3*t - 32. Let k(i) = 2*p(i) - 3*v(i). Let c be k(11). Is -33*(-335)/30*c prime?
False
Is (-84831)/5*(-675)/405 a prime number?
True
Let x = 221 + -229. Is ((-6)/(-4))/(x*(-1)/87536) composite?
True
Let i = 263 - 227. Is (-9 - 37485/i)/(2/(-8)) a composite number?
False
Let h(t) = -t**2 - 17*t + 22. Suppose -2*s + 4*s + 36 = 0. Let b be h(s). Suppose -4*i + w + 9140 = -0*i, 0 = b*w. Is i prime?
False
Let b(h) = -110*h + 27. Let d(f) = -18*f - 35 - f**3 + 18 + 8*f**2 + 18. Let c be d(4). Is b(c) composite?
False
Let r be 1/((-3)/((-178692)/4)). Suppose 5*k = 3*u - r, -3*k + 19874 = 4*u - 0*k. Is u prime?
True
Let s be (-45)/(-10)*2/3. Let w = 697 + -434. Suppose 0*k + 5*y + 396 = s*k, -2*k + 3*y = -w. Is k a composite number?
False
Suppose 1167*m - 877201 = 1154*m. Is m composite?
False
Is 60/18*(-3524127)/(-26) + 174/(-1131) a composite number?
True
Is 72753 + 7*110/77 a prime number?
True
Let s(j) = -100171*j**2 - 25*j + 14. Let o(b) = 33391*b**2 + 9*b - 5. Let q(g) = -17*o(g) - 6*s(g). Is q(1) a prime number?
True
Let x(b) = 11*b**3 + 6*b**2 - 3*b + 5. Let g be x(5). Suppose -3*u + 1641 = -g. Suppose 0 = -0*w - 4*w + u. Is w a prime number?
True
Suppose -22 = -2*d + 4*d + 5*o, 4*d + 4*o = -32. Let s be d + (-15)/5 - -2. Let q(v) = 2*v**2 - 6*v + 5. Is q(s) composite?
True
Let j = -1881 - -6887. Suppose 10*i - j = 8*i. Is i composite?
False
Let b(m) = -27*m**3 - 4*m**2 - 4*m - 2. Let v be b(-2). Suppose 4*w = -h - v, 4*h + 0*h + 769 = -5*w. Is 20/16*4 - h a prime number?
True
Suppose 42 - 51 = -3*k. Suppose -2*r = -3*u, -5*r = 4*u - k*r. Suppose 0 = -2*c - 3*z + 1484, u = -4*c - 4*z + 3*z + 2958. Is c composite?
False
Let q(f) = 17*f**3 - 4*f**2 + 30*f + 6. Let b be q(7). Suppose 1714 + b = 5*g. Is g prime?
False
Let l be (10 - 4)*5/6. Suppose -3*f = 5*m - 1690, -l*f + 2396 = -m - 430. Is f prime?
False
Is 298656956/902 - 6/22 composite?
True
Let d be ((-30)/9 - 11/(-33)) + 5. Suppose -3*q - 55623 = d*j - 5*j, q - 18537 = -j. Is j prime?
True
Is -2 + (189078 - -12) - 1 prime?
False
Suppose -12*q + 9*q + 12 = 0. Suppose -2*d + 3*o = -25616, 0*o = 5*d - q*o - 64047. Is d a composite number?
True
Let u be ((-378)/(-4))/(2/872). Suppose 0 = -13*i + 6*i + u. Suppose -3*o + 8813 = k, -2*o + i = 4*k - 6*k. Is o a composite number?
False
Suppose 4*z = 3*u + 13, 0*u + u = -2*z - 1. Suppose -3*n + 6 = -3*l, 2*n = -2*l + 5 - z. Suppose -n*j - 403 = -5*t, t - j = -2*t + 241. Is t prime?
True
Suppose -1334*f - 1286739 = -3*l - 1338*f, 0 = -3*l - 3*f + 1286733. Is l a prime number?
False
Suppose 3*i - 276 = 3*x - 0*x, -4*x = i + 383. Let j = -93 - x. Is (3*(-739)/(-6))/(1/j) a composite number?
False
Suppose -1 = 3*t + t + 5*k, -3*t + 5*k = -8. Is 15448/24*(t - -2) a prime number?
True
Let r(o) = -8667*o - 3. Let u be r(1). Let p = 31091 + u. Is p a prime number?
False
Let c be ((-4)/14)/(1/(-14)). Suppose 11*n - c*n = 30807. Suppose -n = -5*t + 3134. Is t prime?
False
Let o(v) = 6*v + 151. Let q be o(-25). Let d(u) = 2428*u**2 + 4*u - 3. Is d(q) prime?
False
Let g = -73887 - -130942. Is g a prime number?
False
Let k(n) = 2*n**2 + 2*n - 2. Let m be k(2). Suppose 5*g - 49474 = 2*b, -g = -77*b + 76*b - 9896. Suppose -m*t + g = -4*t. Is t c