rime?
True
Suppose -4*x - a = -9893 + 1427, -x = -a - 2114. Suppose -21*f - 5*i = -18*f - x, 4*i - 20 = 0. Is f a composite number?
True
Suppose -4*a + 2*g = -12 - 12, -24 = -5*a + g. Is ((-10538)/a)/(7/(-14)) prime?
False
Let r(q) = 14*q**3 + 2*q**2 - 2*q + 1. Let g be r(1). Let a(k) = -k**3 + 12*k**2 - 17*k + k + 10*k**2 - 1 - 5*k. Is a(g) a prime number?
True
Let k be (-22 - 3)/(((-20)/8)/5). Is k/(-175) - (-54231)/7 composite?
True
Suppose -1575*o = -1651*o + 256557380. Is o a composite number?
True
Suppose 3*n - 24 = -5*a + 77, 0 = -4*a - 3*n + 79. Let q = a + 14. Suppose q*c - 31*c = 655. Is c prime?
True
Suppose -1398 = -48*t + 42*t. Suppose -j = -2*i - 3*i + 14, 12 = -3*j. Suppose i*n - t = 105. Is n a composite number?
True
Let i = 99 + -42. Suppose d + 480 = 3*o - 0*d, o + 2*d - 160 = 0. Let u = i + o. Is u a prime number?
False
Let u = 1236 + 1605. Let s = u - -725. Is s composite?
True
Let b be ((-6086)/3)/(-3*2/9). Suppose 3*l = 896 + b. Let h = -894 + l. Is h prime?
True
Let h(v) = -225*v - 6. Let m = 43 + -53. Let g(y) = y**2 + 6*y - 43. Let t be g(m). Is h(t) a composite number?
True
Suppose z - 5*f = -155, -5*f = -3*z - 7*f - 431. Is 29/z - 30432/(-10) prime?
False
Is (-23 - (-288)/16) + 846692 prime?
False
Let a be ((-12)/2)/((-6)/(-2265)). Let l = -1376 - a. Is l a composite number?
True
Let x(g) = 598*g - 264. Let n be x(17). Let v = -4303 + n. Is v composite?
True
Suppose -89*z = -3922340 - 5214222. Is z a composite number?
True
Let j = -13049 - -26695. Is j prime?
False
Let a(p) = -1013*p - 567. Is a(-30) a prime number?
False
Suppose 96111 = 8351*z - 8342*z. Is z a prime number?
False
Suppose 9 = 14*y - 17*y. Let o be 1*((-2 - -3) + 9). Is (4 - o)/y - -317 composite?
True
Let d = -945059 + 1992280. Is d a prime number?
False
Let w = 38 - 36. Suppose 4*d = -w*f - 4 - 6, -5*f + d - 3 = 0. Is ((-254)/f)/((-15)/25 - -1) a composite number?
True
Let b(o) = 4*o**3 + 151*o**2 - 61*o - 83. Is b(-35) a composite number?
False
Let o be ((1 - -3) + -34)/((-2)/14684). Suppose 20*r = 32*r - o. Is r a prime number?
False
Suppose 24*x - 22*x = -4. Let g be x/(-8 - -4 - 6/(-3)). Is g + 1219 + (13 + 2)/5 a prime number?
True
Suppose 5075 - 25380 = -5*j. Let t = -1768 + j. Let y = t + -1450. Is y a composite number?
True
Let o(i) = 191*i**2 + 10*i - 83. Is o(5) a composite number?
True
Let u be 1310 + (4 - (3 + 1)) + -2. Let r = -359 - u. Let k = -916 - r. Is k composite?
False
Suppose -97*z - 630614 = -29874853. Is z a composite number?
False
Suppose 0 = -32*k - 97853 + 480541. Is k composite?
False
Let j(p) = -1036*p + 18. Let r be j(-3). Let a = r - 613. Is a composite?
True
Suppose -51197 = q - 148890. Is q a composite number?
True
Suppose 3*n = -3*m + 89130, n + 3*m = 29187 + 529. Is n composite?
True
Suppose -3*x - 19*l = -17*l - 147449, 5*x + l = 245753. Is x composite?
True
Let x(q) = q**2 + 7*q + 2. Let a be x(-5). Let u be (11 - 13)*-2*(-22)/a. Suppose 14*h + u = 15*h. Is h a prime number?
True
Let u be (0/1 + -4)/((-12)/6). Let o(p) = p**2 + 2 + 1 + u*p - 64*p**3 + 6*p**3 - 1. Is o(-1) a prime number?
True
Is (-5)/4 + (-10533160)/(-160) prime?
True
Let x be 0 + 0/(1*6/(-3)). Suppose 0 = 3*m - x*m - 3681. Is m composite?
True
Suppose -2*c - 13*g + 18*g = -7653219, 0 = -2*c - 4*g + 7653246. Is c prime?
False
Let u(z) = -91 + 259 - 110*z - 135. Is u(-7) a prime number?
False
Let c(r) = 67*r + 1. Let d be c(4). Suppose z - d = 304. Suppose -2930 = -4*b - g - 638, -z = -b - 5*g. Is b prime?
False
Suppose -10089 - 3606 = 3*s. Let l = 7948 + s. Is l prime?
False
Let t(v) = -2*v + 18. Let r be t(0). Suppose -5*l + 5*j = -380, l + r = -4*j + 69. Suppose 0 = l*y - 76*y + 13205. Is y a composite number?
True
Suppose -10946440 - 5000131 - 617886 = -91*t. Is t a prime number?
True
Let j(o) = 45290*o - 169. Is j(3) a prime number?
True
Let q = 94 + -53. Suppose -q*k + 41578 = -84661. Is k a prime number?
True
Let o = 244 - 222. Is 10595/2 - 11/o composite?
False
Let y(x) = -x**2 - 13*x - 2. Let k be y(-11). Is 670*k/6 - 186/(-279) a prime number?
False
Suppose -354156 = 2*i - 35*i. Let f = 33505 - i. Is f prime?
False
Is -6 + 1700961/9 + (-16)/24 prime?
False
Let d = -44 - -49. Suppose -d*q + 0*q + 4160 = 0. Let s = 1331 - q. Is s a composite number?
False
Let l(d) = 3*d - 5051. Let a be l(0). Let m = a + 8952. Is m a prime number?
False
Let r = 45623 + -16024. Is r prime?
True
Let p(z) = 7*z + 55. Let b be p(-8). Let w be 0/(-1) - (0 + -3 + b). Suppose -1173 = -w*u - 145. Is u prime?
True
Suppose 4*v + k = 9, -3*v + 3*k + 16 + 2 = 0. Suppose 0*j - 2*l - 2783 = -5*j, 0 = -v*j - 3*l + 1674. Is j a prime number?
True
Let a = -65939 + 99960. Is a prime?
False
Suppose 0 = 2*g - 0*g + 4*j + 8, -2*g - 2*j = 4. Suppose 2*o = -8 - g. Let m(y) = 219*y**2 - 2*y + 9. Is m(o) a prime number?
False
Let m = 565 - 560. Suppose -7*n + 31426 = -3*n - m*u, 3*n + 5*u = 23587. Is n prime?
False
Let w(f) = 1935*f**2 - 63*f - 641. Is w(-15) a prime number?
True
Let h(n) = n**3 + 22*n**2 - 17*n + 3. Let j(v) = -2*v**3 - 17*v**2 + 9*v - 10. Let b be j(-9). Is h(b) prime?
True
Let a(d) = d**2 - 3*d - 116. Let z be a(13). Suppose -z*q + 75575 + 413151 = 0. Is q a prime number?
False
Let g(c) = 2*c - 25. Let y be g(15). Let w be y*((-8)/10 + 1). Is (5 + -6)*-94 - w*3 composite?
True
Let p = -352 - -350. Let v(f) = -845*f + 13. Is v(p) prime?
False
Is (7578 + (3 - (-11 + 6)))/(8/212) a composite number?
True
Suppose 80 = -6*s - 268. Let p = -57 - s. Is 5/(-2)*p*-274 a prime number?
False
Let o = 52 - -71365. Is o a prime number?
False
Let r(p) = -3*p + 3. Let d = 52 + -52. Let b be r(d). Suppose -b = 2*l + 1, -3*i + 20509 = 4*l. Is i prime?
False
Let z(l) = 0 + 2 - 2 + 99*l**2 + 2 + 8*l. Suppose -3*o - 11 = -32. Is z(o) a prime number?
True
Suppose a + 58838 = 5*g - 106908, 0 = g - 3*a - 33152. Is g prime?
True
Let f = 25170 + -5165. Is f composite?
True
Suppose 24 - 16 = -2*x, -r - 3*x = -5725. Is r a prime number?
True
Let u = 1292954 + -703153. Is u composite?
True
Let y(c) = 133*c**2 + 175*c - 107. Is y(-33) prime?
False
Let s be -9 - -16 - (-2 + -2)/(-1). Suppose 0 = t + 1 - s. Is 3453/2*t/3 a prime number?
True
Is (760/(-30))/(-19)*(-43295511)/(-28) prime?
True
Is (-3)/(6/(-18) + 24*(-36654)/(-2639331)) a composite number?
True
Let a be 0/(6/4*2). Suppose 2*c + 4*n = 193 + 285, a = -2*n - 2. Let t = c - -52. Is t a composite number?
False
Suppose -42872 + 139104 = -8*h. Let t = -6520 - h. Is t a composite number?
True
Suppose -2*y = -3*j + 617896, 3*j + 0*y - 5*y = 617902. Suppose -8*z + j = 43972. Is z composite?
False
Suppose 0 = c - 0*c - 20. Suppose 48*l - 67 = 2*a + 45*l, 2*l - 114 = 4*a. Is c/130 + (-29090)/a composite?
True
Suppose 3*v = -2*t + 664115, -14*t - 1328215 = -18*t - v. Is t prime?
True
Suppose 5*h - 198 - 432 = 0. Suppose -122*o + h*o = 32588. Is o prime?
True
Let o = 739 - 1150. Let u = o + 154. Let x = u + 388. Is x prime?
True
Suppose 9*h = 11*h - 3*y - 526, -4*y = -h + 263. Is h composite?
False
Suppose 0 = m + 4*w + 7863, -2*m + 5855 - 21620 = -5*w. Let b = -3536 - m. Is b prime?
True
Let m(c) = 18*c + 1163. Is m(65) a composite number?
False
Is (-25)/(75/(-355716)) - (-7 - (-7 - 1)) a composite number?
False
Let c = -31939 + 92312. Is c prime?
True
Suppose -189 = -2*c - o, c - 3*o - 77 = -0*o. Suppose -5*u - 3*m = -928, 4*m + c + 864 = 5*u. Is (u/(-6))/(11/((-2805)/10)) a prime number?
False
Let m(n) = -4*n**2 - 120*n + 8. Let b be m(-30). Let r be (183/(-6))/(2/(-236)). Suppose 13671 - r = b*h. Is h a composite number?
False
Suppose -2*l + 3*l + 69544 = i, 4*l + 417258 = 6*i. Is i a composite number?
True
Let o(t) = -793*t - 47. Suppose -85*c = -83*c - 158. Let n = c - 85. Is o(n) composite?
True
Is -12 - (2 + -2 + -45035) a composite number?
True
Let s be 19 + -15 - (-1)/(-1). Suppose -s*m + 8*m + u - 1775 = 0, -m = -3*u - 355. Suppose 3*y - t - m = 0, 0 = -2*y + t - 6*t + 231. Is y composite?
True
Suppose g - 4*o - 7348 = -2*o, -5*o = -5*g + 36760. Suppose -41*d = -43*d + g. Is ((-3)/(-6))/(1/(d/3)) a prime number?
True
Let v(x) = -746*x - 37. Let r be v(-2). Suppose -7*f + r = -4*f - 3*j, 4*j = 3*f - 1455. Is f a composite number?
True
Let q(s) be the third derivative of s**4/24 + 11*s**3/6 + 35*s**2. Let v be q(-7). Suppose o = 