8*x + 151. Is q(-16) a prime number?
True
Suppose -149 = -7*t - 135. Suppose t*o - 268 - 175 = -h, 3*o - 440 = -h. Is h composite?
False
Let w be -2 + (-2 + 5)/((-6)/(-4)). Suppose -5*d - 2*a + 38 = w, 8*d - 9*d - 6 = -3*a. Suppose -10*y + 568 = -d*y. Is y composite?
True
Suppose -6777*i = -6825*i + 40774512. Is i a prime number?
False
Suppose 2*y + 4*l - 87646 = 0, -l - 61095 + 280192 = 5*y. Is y composite?
True
Let o = -13555 - -203246. Is o a prime number?
True
Suppose -496 = -36*l + 28*l. Let g = l + 15297. Is g composite?
False
Let g be 0/2 - (4 + -4). Let a be (2 - g - -1304) + -3. Let l = a + -560. Is l a composite number?
False
Let k = -6260 + 10461. Is k a prime number?
True
Let o = 154 - 152. Suppose 4 = 4*l, o*l + 67222 = 3*c + 14283. Is c prime?
False
Let f = 5143 + -5138. Suppose 0 = -3*i + 2*i + 2. Suppose f*d = -5*c + 5200, 3 = -i*c - c. Is d a prime number?
False
Let g(y) = 2596*y + 19. Let z(i) = 7787*i + 56. Let x(q) = -11*g(q) + 4*z(q). Let f be x(5). Is (-4)/7 - f/(-105) prime?
False
Suppose -3*v = -2*w + 75585, -1934 = -w + 4*v + 35866. Let k = w - 24695. Is k a prime number?
True
Let i = -13 - -23. Suppose -8 = -4*a, -i = 4*v + 2*a + 14. Let w(d) = 15*d**2 + 14*d - 4. Is w(v) composite?
True
Is 18637/(-3)*(16 + -19) prime?
True
Suppose 2*m - 41 = -5*v, 4*m + 2*m + 57 = 5*v. Let p be ((-5)/(-3))/(3/9). Suppose -p*c - 3508 = -v*c. Is c a composite number?
False
Suppose -13*x + 12*x = -2*j + 101256, -5*j = x - 253133. Is j a composite number?
False
Let o = 244 - 7. Suppose -5*j - 4*l + 4588 = -2112, -2*j + 2687 = 3*l. Let n = j - o. Is n composite?
True
Suppose 2*a = -3*u - 1559 + 39052, 2*u - 24996 = -2*a. Is u composite?
False
Suppose -152*q + 110*q + 9125382 = 0. Is q composite?
False
Let v(h) = -7 - 36 + 1 + 46*h. Is v(20) a prime number?
False
Let j(y) = -1 + 1 - y + 2*y - 3. Let r be j(5). Let w(f) = 170*f - 5. Is w(r) a composite number?
True
Let p(s) = -16*s - 71. Let i be p(-4). Is (3 - -4) + i - -29897 a prime number?
False
Let f(n) = n**3 + 21*n**2 + 2*n - 59. Suppose -4*y + 12*y = -96. Is f(y) prime?
True
Let s = 13772 + 29433. Is s a prime number?
False
Let q(f) = 6*f**3 - 194*f**2 - 19*f + 89. Is q(34) prime?
True
Suppose -34 - 218 = -18*g. Is (-1724 - (-3 + 3))*g/(-8) a composite number?
True
Suppose -4 = u - 3, -x + 2*u + 10 = 0. Suppose h + 5*c - 8 = 2, -h + x = 4*c. Suppose h = -5*l - 4*i + 7405, -3*i + 1481 = l - 2*i. Is l a prime number?
True
Let c(v) be the second derivative of -16*v**3 + 103*v**2/2 - v - 47. Is c(-8) composite?
True
Is (102 - 103)/((-2)/775102) a prime number?
True
Suppose -4*k - 366 = -94. Let j = k + 66. Is (-10305)/(-6) + 1/j a prime number?
False
Let n = 2309 - 1831. Is n a prime number?
False
Suppose -3*a - 2*a = 45. Let w(c) = -4*c**2 - 20*c - 1. Let z be w(-5). Is (z/((-4)/46))/(a/(-198)) prime?
False
Let l(k) = -8022*k + 514. Is l(-4) prime?
False
Let r = 578 + -570. Let i(f) = 1828*f + 477. Is i(r) composite?
False
Let u = 45 + -50. Let h be (-5797)/(-4) + u/20. Let z = 2246 - h. Is z prime?
True
Suppose d - 900 = 1020. Let c = 1024 - d. Let f = -75 - c. Is f prime?
True
Suppose i + 30 = 7*i. Let z be -4*i/(-10) - -2. Suppose 76 = z*d - 24. Is d prime?
False
Let f(h) = 145*h**3 - 3*h**2 - 16*h + 3. Let l be f(5). Suppose -3*w - t + 26630 - 8654 = 0, -3*w - 2*t + l = 0. Is w a prime number?
False
Let r = 150500 - 47193. Is r a prime number?
True
Let p = -80418 + 151477. Is p composite?
False
Suppose -4*n - 2 + 4 = -3*t, -8 = -4*t. Is ((-9052)/(-72) - 4/18)*n a prime number?
True
Suppose -21*c - 3845 = -26*c. Let x = c - -642. Is x a prime number?
False
Let f = -674830 - -950993. Is f a composite number?
True
Let b(v) = -2*v**2 - 296*v + 72. Let h be b(-55). Is (11 - 32/3)/(2/h) composite?
True
Let s(d) = 60*d**2 + 24*d**2 + d + 5*d**2 - 2 + 31*d**2. Let x = -1013 + 1016. Is s(x) a composite number?
True
Let o = 3328340 - 1811841. Is o prime?
True
Let j be (4 - 1) + 0/(-1). Let a be ((-6)/j)/(-6) + 2650/(-30). Is (-42306)/a - 2/(-8) composite?
True
Let u = 12637 + -3956. Suppose 2*t + j = 4*j + u, 2*t - 2*j = 8680. Is t a composite number?
False
Let d be 4376*7*(-1)/(-2). Let v be d/13 + 3 - (-8)/(-52). Let g = -252 + v. Is g a prime number?
True
Let b(q) = 4*q + 18. Suppose -v - 5*z + 15 = 4*v, 0 = -3*v - 2*z + 4. Let a be (-2)/(v/8 + (-7)/28). Is b(a) prime?
False
Suppose 3*d = 2 - 17, -3*l + 39803 = 2*d. Suppose 4*m - 3*h - 2883 = l, 0 = 4*m - 2*h - 16152. Is m a prime number?
False
Let c be (-858)/(9/(-264)*2) + 0. Is (-8)/(-12) + c/6 composite?
True
Let p(g) = -g**3 - 9*g**2 - 7*g - 17. Let n be p(-4). Let b = 71 + n. Suppose -2*i - 7510 = -b*j, -7510 = -2*j + i - 6*i. Is j prime?
False
Suppose -2*g - 12955 = -4*o + 4875, 0 = -5*o - 4*g + 22320. Suppose 5*r - 4*b - 12926 = -1743, 2*r + 5*b = o. Suppose 74 = d - r. Is d a composite number?
False
Let h be (-4 + 3)*(4393 - 0). Let v = -11358 + 4818. Let s = h - v. Is s a composite number?
True
Suppose -23*x + 3824477 = 51*x - 2259285. Is x prime?
False
Suppose -763*w + 1008*w = 4529805. Is w a prime number?
False
Let g = 57484 - 16877. Is g a prime number?
False
Suppose 5*u = -3*i - 12 + 41, -2*u + 5*i - 7 = 0. Let w = u - 2. Suppose 3*x = w*k + 6311, x - 4202 = -x + 4*k. Is x prime?
False
Let w be 58*1/(-1 - (4 + -4)). Let n = 277 - w. Is n a composite number?
True
Suppose -3*v + 9 = j, -4 = -j - v - v. Is (-115)/((-2)/(-4 - j)) a composite number?
True
Suppose -237*m + 238*m = -2*z + 999612, -5*z - m + 2499027 = 0. Is z a prime number?
False
Suppose -50*n - 4 = -46*n, -4*g = -4*n - 1297448. Is g a prime number?
True
Let m(r) = 12*r - 7. Let s be m(1). Suppose -7707 = -5*j - 4*o, -s*o - 1513 - 40 = -j. Is j composite?
False
Let k(a) = -7*a + 5. Let h(n) = n**2 - 3. Let p be h(2). Let g be k(p). Is 3369/27 - (-2)/9 - g a composite number?
False
Let m(g) = -9*g**3 + g**2 + 5*g + 16. Let r(h) = h**3 + h**2 - h + 1. Let s(t) = -m(t) + 6*r(t). Is s(7) composite?
False
Let s = -224 + 3749. Suppose -s = 6*a - 411. Let x = 94 - a. Is x composite?
False
Suppose -21*f = 130574 - 1724117. Is f a composite number?
False
Suppose 24*r = 1484323 + 293237. Is r a prime number?
False
Let v(u) = u**2 - 2*u - 9. Let d be v(-3). Suppose 4 + d = 2*j, -11192 = -3*w + 2*j. Is w prime?
False
Let r(l) = 214*l**2 - 95*l - 227. Is r(-22) a composite number?
True
Suppose -107 - 454 = -11*t. Suppose 50*a = t*a - 12. Suppose d - 14261 = -a*d. Is d a prime number?
True
Suppose 224 = -42*j + 50*j. Let c(o) = 69*o - 199. Is c(j) a prime number?
True
Suppose -25*w + 35*w = -20. Is (w/(2/3))/(90/(-10230)) a prime number?
False
Let o(j) = -j + 3. Let v be o(3). Suppose -y + 3*k - 7211 = v, 5*y + 4*k = 2*y - 21659. Is (-1 - 0)/(7/y) prime?
True
Suppose -4*i = 5*h - 95583, 0*h + 4*h - 2*i = 76430. Is h composite?
True
Suppose -5*i + 20 = -3*c - 3*i, -2*i = -8. Is (-39012)/8*c/6 composite?
False
Suppose -5*n = 3*z - 502769, 3*n + 837971 = 127*z - 122*z. Is z prime?
True
Suppose a = -5*d + 1251717, 5*a - 1303857 = -5*d - 52132. Is d prime?
True
Let m be (9 + -4)*(-3 - -4). Suppose m*k + 5*h = 5710, 5*h - 4 = 11. Is k composite?
True
Let y be (24/56)/((-2)/(-14)). Suppose 2*k + 3949 = h, -2*k + 8685 + 3154 = y*h. Is h a prime number?
True
Let r(o) = -o + 13. Let k be r(9). Suppose -k*f + 4*b - 3*b = 1371, -f - 5*b = 348. Let w = f + 554. Is w prime?
True
Suppose 0*i - 2*z = 4*i - 24, -12 = -2*i + 3*z. Suppose 0 = 17*v - i*v - 21703. Is v composite?
False
Suppose 4*k = -4*j - 100, 4*j - 8*j - 102 = 3*k. Is j/45 - 1008/(-5) composite?
True
Let d = 396203 + 129776. Is d a composite number?
False
Suppose 4575069 - 3102720 + 3744664 = 29*o. Is o a composite number?
False
Suppose 66*a - 7992622 = -16*a. Is a a prime number?
False
Let i be (11412/(-30))/((-9)/30). Suppose -2*f = 3*m - 1907, -2*m - 4*f + 6*f + i = 0. Is m composite?
True
Let v = -20129 - -36888. Is v a prime number?
True
Let l(i) = -5*i + 20. Let c be l(3). Suppose -q = 4*z - 19, -5 + 2 = 3*z - c*q. Suppose -6*b + z*b + 6094 = 0. Is b a composite number?
True
Suppose -3*z = -24 - 57. Suppose -7*x = -15 - z. Is (16/3)/(-4) + 32006/x prime?
True
Is ((-2127852)/648*(4 + -1))/(2/(-12)) a prime number?
True
Let a(w) = 5047*w + 238. Is a(37) composite?
True
Suppose -5837218 = -115*o + 77*o. Is o composite?
Fa