 - 198 = -o*p. Is t composite?
True
Let a(w) = -3*w**2 + 28*w - 17. Let b be a(8). Suppose -b*c - 1114 = -17*c. Is c prime?
True
Let o be (-12)/18 - -28157*1/3. Let r = -6273 + o. Suppose r = -12*h + 20*h. Is h composite?
False
Let r be (68755/(-20))/(11/(-1848)). Suppose 5*w + r = 47*w. Is w composite?
False
Suppose 3*o - 51 - 6 = 0. Suppose -2*j = -r - 22, -6*r = -3*j - r + o. Is (0 - -149)*(j - 12) a composite number?
False
Let i(j) = -j**3 - 6*j**2 - 7*j - 7. Let h be i(-5). Suppose h*v + 4 = 2*v. Is (66/4)/(v/(-8)) a composite number?
True
Let f(m) = -4*m - 29. Let o be f(-8). Let l be 26/(-2) - ((-15)/o)/(-5). Let z(t) = -t**2 - 18*t - 5. Is z(l) a prime number?
False
Let x(q) = -2760*q - 148. Let p be x(8). Let u = 38843 + p. Is u prime?
False
Let n = 21638 + -7353. Is n a composite number?
True
Let x = 144 + -140. Suppose x*u + 80 - 96 = 0, 0 = m + u - 12135. Is m a prime number?
False
Suppose -59*w + 55*w = 8660. Let k = w - -3304. Is k a composite number?
True
Is (2 + -8 - 0)*(-450134)/4 prime?
False
Let v(y) = 56*y**2 + 261*y - 13. Is v(-20) a prime number?
True
Suppose -36 = 3*d - 24. Is -45*d/2 + -4 + 1 prime?
False
Let s be ((-1)/2 + 42/(-28))*-2. Suppose -f = 3*f + s*d - 1272, -3*d = f - 328. Suppose -5*i - 34 + 9 = 0, w = 2*i + f. Is w a composite number?
True
Let u(m) = -4*m**2 - 2*m. Let z be u(1). Let f(p) = -p**2 - p + 32. Let k be f(z). Suppose -16 - 34 = -k*c. Is c a composite number?
True
Suppose 3*x - f - 158 = x, x - 79 = -2*f. Suppose -5*b - 21 = 2*b. Let h = x - b. Is h a prime number?
False
Suppose 0 = 44*a + 17*a - 7513309. Is a a prime number?
True
Is 40/(-360) + (-1050104)/(-18) composite?
True
Let n(s) = -95*s**3 - 10*s**2 + 21*s - 41. Is n(-8) a prime number?
True
Suppose 8*m = 12*m + 60. Let d be (-48)/m - 1/5. Is (-10168 + 1)*1/d*-1 composite?
False
Suppose 3*x + 4*w - 44 = 0, -6*x - w + 29 = -3*x. Let d(s) = -23 - 6*s**2 + 49 - 14 - 22 + 5*s - x*s**3. Is d(-5) prime?
False
Suppose 1840 = 4*f - 2508. Suppose t = -5*d + 1807, -7*t + f = 3*d - 5*t. Is d composite?
True
Let a(y) = 608*y**2 - y - 6. Suppose -6 = -3*m + m. Let u be a(m). Suppose c + u = 4*l, -l + 501 = -3*c - 862. Is l composite?
True
Suppose -3*y - 4*j + 617661 = 0, 10*y - 6*y + 2*j = 823528. Is y a prime number?
True
Let j(b) = -b**3 + 22*b**2 + 8*b - 20. Let f be j(16). Let x = f + -607. Is x prime?
False
Let l(t) = -188*t**3 - 7*t**2 - 287*t - 2573. Is l(-10) composite?
False
Let r(o) = -o - 3. Let g(x) = -2317*x - 18. Let m(b) = -g(b) + 3*r(b). Is m(2) a composite number?
False
Let o(f) be the first derivative of -9*f**2/2 + 13*f - 1. Let s be o(8). Is (s/(-4))/((-3)/(-12)) composite?
False
Suppose 5*b + 15 = 0, -4*u = -5*b - 66532 + 11353. Suppose -2*x + 5*g + 11134 = 0, 4*x - g - 8441 = u. Is x a prime number?
True
Let n = -12 + 30. Let p be 148/n + (-8)/36. Suppose -p*j = -0*j - 5224. Is j composite?
False
Let l(u) = -5*u**3 + u. Let c be l(-1). Let b(i) be the second derivative of 17*i**4/3 + i**3/3 + 13*i**2/2 + 712*i. Is b(c) a prime number?
True
Suppose 0 = 7*n - 61 + 19. Let h be 5 + -7 + 1 + n/2. Suppose 2361 = -h*u + 5*u. Is u prime?
True
Is 12/(-8)*4/9 - 78412028/(-444) composite?
True
Suppose 752*l = 748*l + 1132. Suppose -5*a + a + 709 = 5*z, 0 = 2*z + a - l. Is z prime?
False
Let m be (-910)/315 + 1/(-9). Let t(v) = -30*v**3 + 5*v**2 - v + 1. Is t(m) prime?
True
Let a be (53*1660/(-25))/(2/(-5)). Suppose 2*s - 3*r = a, 4*s + 5*r - 3826 = 13726. Is s a prime number?
False
Let c be 7/(-42) - (-120602)/12. Suppose 10*y = 5*y + c. Suppose 14*r = 8*r + y. Is r a composite number?
True
Let j(d) = d**3 - 3*d**2 + d - 10532. Let m be j(0). Let f = m - -17631. Is f a prime number?
False
Let m = 129703 + 25528. Is m a prime number?
True
Let c(s) = -s**2 + 2*s + 15. Let p be c(6). Let k be 3 - (36/15 - p/15). Is (-1 + (4 - k))/(30/8620) prime?
False
Let i(k) = -k**2 + 344. Let c be i(0). Let l(x) = -8*x + 41. Let p be l(26). Let z = c + p. Is z a prime number?
False
Is (-17)/(2295/584973)*-15 a composite number?
False
Let r = 91 - 78. Let j be 54/r - 6/39. Suppose 5*p - 158 = -j*d - 29, -98 = -3*d - 4*p. Is d a composite number?
True
Suppose 0 = -8*f + 7*f. Suppose 0 = 4*m - i - 21, 3*i + f = -15. Is m - ((-1670)/2 - 4) prime?
False
Suppose -33*i - 27 = 39. Is (29/(-116))/((-1)/(-13304)*i) composite?
False
Suppose 3276499 = 18*f - 6615743. Is f prime?
True
Let g(h) = 16*h**3 - 4*h**2 - h + 2. Let b(m) = -2*m - m + 10*m + m**2 - 4*m + 5. Let j be b(-2). Is g(j) a prime number?
False
Let s(p) = 4220*p**3 + 2*p**2 + p - 1. Let a be s(1). Let g = -2708 + a. Is g composite?
True
Let h(t) = -t**3 + 7*t**2 - 2*t - 8. Let o be h(6). Suppose 7*d = 3*d + o. Suppose 0*b + 4*b = -d*u + 1500, b + 738 = 2*u. Is u prime?
False
Suppose -5*t - 16 = 4*b, 5*b + 26 = t + 6. Let x = -5 - -11. Suppose -2*n + 4*m - x*m + 436 = t, -n = 4*m - 203. Is n a prime number?
True
Let x(a) = 35*a**2 - 114*a + 85. Is x(42) a prime number?
True
Let a = -60 - -39. Let k be 1 + 7/(a/(-9)). Suppose -k*y - 662 = -6*y. Is y composite?
False
Let x(w) = -w**3 - 6*w**2 - 36*w + 14. Is x(-15) composite?
False
Let q(n) = 4*n**2 - 14*n + 3. Let p be q(4). Suppose 0 = -p*m + 14*m - 1869. Is m a prime number?
False
Let y(i) = 2749*i**2 + 32*i + 77. Is y(-4) composite?
False
Let t be (-60)/33 + 2 - 6/33. Suppose t = -2*i - 0*i + 34. Suppose 13*m = i*m - 1284. Is m a prime number?
False
Let h(a) = -a - 13. Let g be h(7). Let x be (-22312)/g - (-12)/(-20). Suppose -2*u + 7*u - x = 0. Is u a prime number?
True
Let l = 174 + -150. Is (1*-83)/(l/(-72)) prime?
False
Suppose -31*a = -38*a - 10570. Let y = 3737 + a. Is y a composite number?
True
Let x be 12/(-1)*(-34)/(-136). Let q = -22 - x. Let k(j) = 3*j**2 + 28. Is k(q) prime?
False
Let c be 1*-9899 - (1 - (-4)/4). Is c*6/(18/(-3)) composite?
False
Let j = -188 - -199. Suppose j*c + 9305 = 16*c + 2*q, 3*q = 0. Is c a composite number?
False
Let d(h) = 16450*h**2 - 72*h - 17. Is d(-3) composite?
False
Let n(t) = -t**2 + 8*t - 24. Let x be n(6). Is 2579 + 0*4/x prime?
True
Suppose 0 = -4*y - 127329 + 204997. Is y a composite number?
False
Let o = -70 - -73. Suppose -o*d - 3*m = -2655, m = 3*d - 0*d - 2675. Suppose 7*v = -2*x + 3*v + d, 2*x - 2*v - 884 = 0. Is x a composite number?
False
Suppose 87*d + 74*d = 24446401. Is d prime?
True
Let o(i) = -139*i**2 - 2*i + 6. Let u(m) = -m**2 + 8*m + 11. Let g be u(9). Let r be o(g). Is (2 - 26/12) + r/(-12) composite?
True
Suppose -9*s + 13 = 76. Let a be (2988/s)/((-12)/84). Let z = -1453 + a. Is z composite?
True
Let n(f) = -61075*f - 3092. Is n(-3) a composite number?
True
Let m be 2/(-10) - -39*8/60. Suppose 52 = 4*i - 2*c, -3*i + 42 = 2*c - m*c. Is 6/2*244/i*11 prime?
False
Let b(y) = -996*y + 1. Let j(r) = 2*r**2 - 2*r - 2. Let o be j(-1). Suppose 2*s - 6 = 2*d, s = -0*s + o*d + 7. Is b(s) a prime number?
True
Suppose 25*l + 22*l + 140*l = 109818181. Is l a prime number?
True
Suppose 2*w = 4*h + 16, -2*w + h - 5*h = -24. Suppose 4*j = w*j - 12. Suppose 10*f - 1380 = -j*f. Is f prime?
False
Is ((-123430)/((-7)/(70/40)))/(1/2) a prime number?
False
Let q(o) be the second derivative of 47*o**3 - o**2/2 + 2*o - 1. Is q(7) a prime number?
True
Suppose -4*j - 1 = -m, -2*j - 2 = -4*j - 2*m. Suppose -3*q - 3*q - 12 = j. Is ((-14)/(-7))/(3672/(-1839) - q) prime?
True
Let g(n) = -n**3 + n**2 - n + 38. Let j be g(0). Let p be -1 - j/(-5) - (-2)/5. Suppose p*s - 35373 = -6*s. Is s a composite number?
True
Let p = 12130 + -8223. Is p prime?
True
Suppose 3*m - 89380 = 2*b + 3*b, 3*b = m - 29796. Suppose -a + 6*a = m. Suppose -6*j + 12*j = a. Is j composite?
True
Suppose 4*x + x = 2*r - 647, -5*r + 5*x + 1655 = 0. Is 10365 - (2/13 - r/156) a prime number?
False
Let f(s) = -672*s + 15. Let c be f(-10). Let u = c + -4783. Let b = u - -147. Is b prime?
True
Suppose 4*g + 270609 = 5*f, -27*f = -25*f + g - 108241. Is f a prime number?
True
Let v = -113 + 51. Let d be (-4 - (1 - 2)) + (-827 - 3). Let h = v - d. Is h a prime number?
False
Let o = -97963 + 171323. Suppose c + 19*c - o = 0. Let k = c + -2166. Is k a composite number?
True
Let m = -40 + 42. Is m/8 + (-60273)/(-12) + -6 a composite number?
True
Suppose 93306 = 5*s - v, -7*v + 55980 = 3*s - 4*v. Is s a prime number?
True
Let o(z) = 5 - 4 - 14*z - 62*z