+ -3 prime?
False
Let b(m) = 585*m + 11. Let q(s) = -s**3 + 13*s**2 - s + 15. Let l be q(13). Is b(l) composite?
False
Let l = 302 - 298. Suppose 2*o + 3*w - 17810 = 0, 0 = 5*o - l*w - 29151 - 15328. Is o prime?
False
Let q(j) = -3*j - 53. Let a be q(-20). Suppose -4*o = -a*o + 11127. Is o prime?
True
Suppose -979*f + 993*f - 49667 - 158219 = 0. Is f a prime number?
False
Suppose -2*v + 29668 = 4*b - 46638, -4*b = 4*v - 152604. Is v composite?
False
Let s(b) = 70*b**2 - 10*b + 3. Suppose -2*z = 2*l - 14, 2*l + 0*l = 2*z - 10. Suppose z*h - 16*h = -20. Is s(h) a composite number?
False
Suppose -3*d - 3 = 0, 3*d - 2633 = 2*c + 1458. Let o = c - -7986. Is o a composite number?
False
Let v(i) = -2435*i + 59. Suppose 72 = -12*w - 0*w. Is v(w) composite?
False
Suppose -10 = 2*s, -a - 12 = a + 4*s. Suppose 20*n + 4*o - 1023 = 19*n, 2058 = 2*n - a*o. Is n prime?
False
Is (-15)/(-90)*4*5768259/14 prime?
True
Suppose 0 = 2*a - 4*x - 139506, -5*a - 5*x + 139542 = -3*a. Is a a composite number?
False
Suppose -5*i + 18412 = 10127. Let s = -15 + 23. Suppose s*g - 9705 = -i. Is g composite?
True
Suppose 23904 = 4*r - 10*r. Let i = r - -8375. Is i composite?
False
Let u(h) = -h**2. Let w(c) = -c**3 + 2*c**2 - 4*c + 989. Let v(b) = u(b) + w(b). Is v(0) composite?
True
Let s = 2617592 + -1119625. Is s composite?
True
Let t = 4412 + -2444. Suppose -t = 26*m - 7454. Is m a composite number?
False
Suppose 417*g - 415*g - 227686 = 0. Is g prime?
True
Let n(d) = -391848*d - 193. Is n(-3) composite?
False
Suppose 2*z - 1435510 = -2*q, -4*q = -3*z + 842889 + 1310376. Is z a composite number?
True
Is (517/3 - 1)/(560/126840) a composite number?
True
Suppose 192*r - 2749022 - 13174306 = 0. Is r composite?
True
Let y(n) = -n - 2. Let k be y(0). Let u(l) = 725*l**2 + 6*l + 9. Is u(k) prime?
True
Suppose 867 + 38 = -5*k + 3*z, k + 3*z + 163 = 0. Let w = k + 759. Is w a composite number?
True
Suppose -k + 2723 = -6344 - 1716. Is k a prime number?
False
Let i = 5921 + 13740. Is i a prime number?
True
Suppose 0 = -4*o + 3*g - 12, o - 2*g = -g - 4. Suppose -4*n + 11835 = 3*p, o*n + 3 = n. Is p a prime number?
False
Let q = 3 + 0. Suppose -h + 3*h = 2*g + 510, q*g = 6. Suppose -5*z + h + 378 = 0. Is z prime?
True
Let s(d) = 2092*d**2 - 4*d + 499. Is s(10) prime?
True
Suppose 5*d = 151 - 211. Is 1404 + (-3)/(d/(-20)) a composite number?
False
Let n = 125588 - 83109. Let p = n + -11118. Is p a composite number?
True
Let d = -52 - -54. Suppose -4*b = -d*z - 16, 2*z = -4*b - z + 36. Suppose 0 = -2*g - 2*a + 1788, a - 3531 = -4*g + b*a. Is g a composite number?
True
Is -172*(6957/(-4) + (-500)/(-200)) composite?
True
Let n be 11/22 + 21/6. Suppose -g + 14973 = -n*q + 2*q, -59907 = -4*g + 5*q. Is g a composite number?
False
Let c = 134606 - -126615. Is c prime?
False
Let g be -15*17/(170/12). Let v(p) = -2*p**3 + 24*p**2 + 40*p + 23. Is v(g) composite?
False
Let q(l) = l**2 + 16*l + 50. Let n be q(-12). Suppose -23 = -4*i - w, -5 = -3*i - i + 5*w. Suppose 0*g + n*h + 5604 = 4*g, 0 = -i*h - 20. Is g prime?
True
Let b = 660566 + 341439. Is b a composite number?
True
Suppose -7*v = -3*v + 296. Is ((-1)/((-1)/v))/((-32)/176) a prime number?
False
Is ((-48)/128 - (-11)/40)*-1518410 a composite number?
False
Let j(c) = 15*c**2 - 4*c - 2. Let q = -42 + 39. Is j(q) a prime number?
False
Let l be 8 + -1 + -2*(-6)/(-4). Let n be -1 + 1 - l - (-60172)/49. Let b = 2059 - n. Is b composite?
True
Suppose -4*o - 2*j = -2093196, -o - 41149 + 564442 = -j. Is o a composite number?
False
Let k(y) be the second derivative of -y**3/2 + 7*y**2 - 8*y. Let h be k(4). Suppose 0*c - h*c = -322. Is c prime?
False
Let t = -671 - -10082. Is t a prime number?
False
Let f = -1130 - -1689. Suppose f = -4*l + 3843. Is l composite?
False
Let p(q) = -9659*q + 285. Is p(-8) composite?
False
Let k be (-3)/(-15)*145 - -3. Suppose -3*f = -k*f + 735469. Is f a composite number?
True
Suppose r - 5801 + 2222 = 0. Suppose 5129 = 4*z - r. Is z composite?
True
Let q be ((-242)/6 + 1)/((-12)/4194). Suppose 2*g = x - q, -4*g = 5*x - x - 54976. Suppose 0 = -16*p + 8607 + x. Is p a prime number?
False
Suppose -15 = -5*a, -8*a - 3690 = 4*y - 6*a. Suppose 2790 = 2*s - 0*h - 4*h, 3*s + 3*h = 4176. Let t = s + y. Is t a prime number?
False
Suppose 10*o - 24 = 6*o. Let f(l) = 3 - 27*l + o - 8 - 9. Is f(-10) prime?
False
Let b be (-2)/3 + (-52791)/(-9). Suppose 0 = -4*d - 5*p + 3923, 2*p - 986 = 5*d - b. Is d composite?
False
Let b = 497 - 237. Suppose -1319 = -5*h + 4*k, h = 6*k - 9*k + b. Is h a prime number?
True
Is ((-505244)/14)/((-470)/1645) composite?
False
Suppose 2*u + 10 = 0, 3*i + 3*u = 8*i. Let z(b) = 38*b**2 + 5*b + 2. Let l(f) = 113*f**2 + 14*f + 5. Let a(v) = 6*l(v) - 17*z(v). Is a(i) prime?
False
Let m(g) be the second derivative of 14*g**3 - 11*g**2/2 - 36*g. Let f(a) = -a**3 - 6*a**2 + 6*a + 2. Let r be f(-7). Is m(r) prime?
False
Let p(z) be the first derivative of 479*z**2 - 33*z - 68. Is p(4) a composite number?
True
Suppose n - 3*v + v + 11 = 0, 4*n + 38 = 2*v. Is 4/14 - ((-606792)/84 + n) a prime number?
False
Let o = 592 + -587. Is -3*1*(13188/(-18) + o) composite?
True
Suppose -18 = -3*y + 9. Suppose z = -0*f + 3*f + 37868, -3*z + 50484 = -4*f. Is 1 + f/(-9) - 6/y prime?
False
Let k = 22898 - 6299. Suppose -394*d = -397*d + k. Is d prime?
False
Let s(a) = 50*a + 172. Let m be s(-8). Is 4/(-38) + 1116/m + 3240 prime?
False
Let q(w) = 64*w**2 - 295*w - 120. Is q(-43) a prime number?
False
Is ((-2)/(-6 - -4))/(5/571035*3) a prime number?
True
Let x = -17588 - -61101. Is x a composite number?
True
Let g be (41 + -1)*84/(-112). Is 12/10*g/(-9) - -2211 a prime number?
False
Suppose 0 = -2*a - 4*v + 257106, a + 29*v - 28*v - 128551 = 0. Is a a composite number?
False
Suppose 3*z - 6*z + g = 85, -g - 5 = 0. Let r be 5/(z/4) + (-69)/(-9). Suppose 6*v = r*v - 19. Is v a composite number?
False
Suppose -l + 196314 = -2*t + 6*t, 5*t - 245399 = 2*l. Suppose -6*a + 11*a + 16351 = j, 2*a = 3*j - t. Is j prime?
True
Is 4/(6 + (-2764432)/460744) composite?
False
Suppose 330 = -21*k + 330. Suppose k = 14*o - 23*o + 5229. Is o composite?
True
Suppose 3*u = -9*g + 307947, -20*g + 22*g - 102655 = -u. Is u composite?
False
Let b(g) = 77*g - 47. Suppose 2*t + 5*r = 23, -4*t + 6*t + 2*r - 26 = 0. Is b(t) prime?
True
Let k be (-166605)/(-58) - (-1)/2*1. Let o = k - 540. Is o prime?
True
Let a = 2469780 + -1071187. Is a prime?
False
Let g be ((-9)/(-6))/((-6)/(-40)) - 5. Suppose 0 = g*t + 5*x - 29870, 8*t + 11943 = 10*t + x. Is t a composite number?
True
Let f(o) = -4*o**3 - 6*o**2 + 11*o - 9. Let c be f(-9). Let x = -751 + c. Is x prime?
True
Let q = 577 + -6209. Let i = q + 11103. Is i a prime number?
True
Suppose -3*y = -p - 394975, 3*y - 394955 = 4*p - 8*p. Is (-3)/((-33)/y) - (-198)/1089 a composite number?
False
Is 3049914/(-15)*55/(-22) a composite number?
True
Let l(m) = 28846*m + 4559. Is l(2) a composite number?
True
Suppose 87*r - 167*r = -24720587 + 2292667. Is r prime?
False
Let p(m) = -6*m**3 + 49*m**2 - 38*m + 17. Is p(-26) composite?
True
Is ((25361 - 5)/12)/(2/142 - 0) prime?
False
Let d(x) = -2699*x - 1911. Is d(-22) a prime number?
True
Suppose f = -14*p + 4*p + 780351, -2*p + 156075 = 5*f. Is p composite?
True
Let b = -497 + 3077. Let g = b - 421. Is g composite?
True
Let x(j) = -3 + 18*j + 3*j + 2. Let g be -1 - (0 - 6)/(6/8). Is x(g) composite?
True
Suppose 2*v = 6, 5*n - n - v - 37 = 0. Suppose -278 - 18512 = -n*x. Is x a prime number?
True
Let i = 133568 + -27461. Suppose -28*b + i = 11719. Is b a prime number?
True
Let l(y) = -y**3 - 26*y**2 + 56. Suppose -4*t + 3*k - 130 = 0, -t - 21 = -2*k + 7*k. Is l(t) a prime number?
True
Suppose -188390 = -3*b - 4*o + 428743, -3*b + 617103 = -o. Is b prime?
True
Let b be (-12)/(15/20*-2). Let y = 2 - b. Let i = y - -163. Is i a composite number?
False
Let u(f) = -155*f**3 - 6*f**2 - 71*f - 467. Is u(-7) a composite number?
False
Suppose 0 = k - 2*k + 5*j - 4, -2*k - 8 = 4*j. Is 50642*(6 + k)/4 composite?
False
Let g(b) = b**2 + 5*b - 3. Let n be g(-6). Suppose -2*h = -5*s, 2*h - 31 + 13 = -4*s. Suppose y - 523 = -5*r, -s*r - 1076 = -2*y + n*r. Is y prime?
False
Is 1 + 12 - -36028 - 4 prime?
True
Let l be (4 - 2)/(3/12). Let n be l/14 + (-1)/((-28)/100252). Suppose 4*r =