. Is v prime?
False
Let x = -23752 - -23730. Let t(c) = -69 - 13*c - 13*c - 9*c. Is t(x) a prime number?
True
Suppose -14 = -5*z + 1. Suppose a + 5 = -3*b, 7 - z = 4*a + 4*b. Suppose -1556 = -0*s - a*s. Is s composite?
False
Let k be (-5)/4 - (-992178)/72. Suppose 2*u = 11*u - k. Is u prime?
True
Let t = -770661 - -1184102. Is t a prime number?
False
Let d(h) be the first derivative of 49*h**4/4 + h**3/3 - h**2/2 + 4*h - 5. Let b be d(2). Suppose b + 579 = w. Is w a prime number?
True
Let m be (-2)/(-6) + 115/15. Let d be (-3)/(-2) + (-932)/m. Let y = 282 - d. Is y prime?
True
Let p = 2 + 1. Let q(b) = -11 - 5*b + 41 + 0*b + 61*b**2 - 19*b**2 - 22. Is q(p) a prime number?
False
Suppose 29 - 155 = 9*l. Let f = l - -18. Is ((-892)/(-8))/(f/8) composite?
False
Let l be (-1977646)/(-110) - (-1)/10*4. Suppose -5*z + 40*y + 30005 = 45*y, 5*y + l = 3*z. Is z composite?
True
Let r(b) be the third derivative of -b**6/40 + b**5/30 + b**4/8 - b**3/2 + 5*b**2. Let t be r(-4). Let v = -112 + t. Is v a composite number?
False
Let g(t) be the second derivative of -1/20*t**5 + 0 + 257/2*t**2 + 32*t - 1/12*t**4 - 1/3*t**3. Is g(0) a composite number?
False
Let d = 294665 - -71862. Is d a composite number?
True
Suppose 3*h = 6, -5*h + 320413 - 2597280 = -3*w. Is w a composite number?
True
Let h = 7141 + -835. Suppose -2*v + 0*v = 4*k - h, -k - 15820 = -5*v. Is v prime?
True
Suppose 0 = 3*b + 5*x + 2516 + 10301, 2*b = 3*x - 8570. Let l = b + 6690. Is l composite?
False
Is 1487029/10 + 425/4250 prime?
False
Let z(r) = -133*r - 76. Let y be z(13). Let q = -1270 - y. Is q a composite number?
True
Let m(k) = 805*k**3 - 20*k**2 + 64*k - 316. Is m(11) prime?
False
Let b(j) = -777*j - 58. Let u be -13 - -2*(2 - 3). Is b(u) prime?
True
Let j(z) = 112*z**3 - z**2 - z. Let t be j(-1). Let i = t + 194. Is i prime?
False
Suppose -10*u = -5*u + 4*p - 63071, 0 = -2*u + 5*p + 25202. Suppose 3*s - u = 4*t, 3*s - 7*s = -3*t - 16810. Is s composite?
False
Suppose -5*t - 31954 - 241310 = -4*l, -4*t - 409882 = -6*l. Is l a composite number?
False
Let l be (-59 - -154) + (0 - (-1 + 3)). Suppose l*b - 80*b = 26039. Is b a prime number?
True
Let y(c) = c - 2. Let s(o) = 229*o - 93. Let g(k) = -s(k) + 3*y(k). Is g(-14) prime?
True
Let x(y) = -368*y + 1. Let v(n) = -n**2. Let o(f) = 7*f**2 - f - 12. Let z(l) = o(l) + 5*v(l). Let s be z(0). Is x(s) composite?
True
Let t(h) = 208*h - 79. Suppose i + 5*n - 9 = -12, -2*n = 4*i - 42. Is t(i) composite?
False
Suppose -80*d + 19844358 = 278678. Is d composite?
True
Suppose -a - a + 5*j + 8 = 0, -3*j + 12 = 3*a. Suppose 6*m + 47190 = 11*m + 5*u, -a*m = -u - 37772. Is m prime?
False
Suppose -5*f - 2*v - 68 = 0, 56 = -7*f + 2*f + v. Let w be ((-16)/f)/((-2)/(-6)). Suppose a + 2*a - 5*o - 260 = 0, 335 = w*a + 5*o. Is a a composite number?
True
Let t = 216 - 214. Suppose -2*l = -4*k - 3938, t*l - 3914 = 33*k - 35*k. Is l a prime number?
False
Suppose 25*w - 20*w - 3070 = 0. Suppose 4894 = 4*b + w. Suppose 0 = 4*j - 926 - b. Is j a prime number?
True
Suppose f - 3*k - 1353 = 0, -4*k + 0*k = 2*f - 2726. Suppose -4*h + 359 = f. Let t = 169 - h. Is t a prime number?
True
Suppose -w - 143702 = -0*x - 4*x, -3*x + 107799 = 3*w. Is x composite?
True
Let x = 1265624 + 279017. Is x a prime number?
False
Let l = -47362 + 1104051. Is l composite?
True
Let f = -101925 + 468558. Suppose -2*r = 25*r - f. Is r a composite number?
True
Suppose -47644172 - 13606747 = -213*l. Is l composite?
True
Let v be (-4)/(-8)*(1 - -1*3). Suppose v*z + 3*z - 5852 = -3*h, 0 = 2*z + 10. Suppose 5*c - 86 = h. Is c prime?
True
Suppose 124*r = 51632525 - 7236681. Is r a prime number?
True
Let p = 688 + -667. Suppose -12*m = p*m - 35013. Is m a prime number?
True
Suppose 3*i = -3*u + 15, i - 6*u + 5*u + 5 = 0. Suppose 0 = -i*h + 8*h - 16. Suppose 0 = -h*d + 3*r + 3278, -2*r = d + r - 1621. Is d composite?
True
Let o = -596450 + 1046103. Is o a prime number?
True
Let w(v) = 79*v**2 + 24*v + 443. Is w(-30) composite?
False
Is (-2)/(-51) + (-2153786230)/(-9690) a prime number?
True
Let d = 109 + -18. Let s = d - -58. Is s composite?
False
Let c = -1744 - -3682. Suppose 24*i - 16768 = 16*i. Suppose -q = -4*j + 1768 + i, 2*q = 2*j - c. Is j prime?
False
Suppose -1590*w - 4878184 = -1570*w - 12867644. Is w a composite number?
False
Let h be 120/15*(1 + -3). Let x = 15 + h. Is x*(-8090)/(-4)*-2 a prime number?
False
Suppose -6*f = -116 - 28. Let d be (-12)/(-27)*f + 4/(-6). Suppose -d*z - 199 = -11*z. Is z prime?
True
Let n(r) = -21*r**3 + 4*r**2 + 22*r + 15. Let p(a) = 9*a**3 + 5*a**2 + 6*a + 2. Let w be p(-1). Is n(w) a composite number?
False
Let g = -279 + -2115. Let a = g - -15830. Suppose a = -34*j + 38*j. Is j composite?
False
Let s(r) = 2*r**2 - 13*r + 9. Suppose 9*n = 7*n + 12. Let q be s(n). Suppose 1041 = -0*d + q*d - 5*b, 0 = -4*b. Is d a composite number?
False
Let t(b) be the third derivative of -19*b**4/8 + 40*b**3/3 + 33*b**2. Is t(-29) a composite number?
False
Let a(j) = -3*j - 34. Let q be a(-12). Let k(s) = 20005*s - 153. Is k(q) a composite number?
False
Let c(r) = 202*r**3 + r - 3. Let w(f) = f**3 + f**2 + f - 1. Let z(q) = c(q) - 2*w(q). Is z(2) a prime number?
False
Let y = -615214 + 1014381. Is y a prime number?
False
Let h(c) = 3852*c - 1835. Is h(26) composite?
False
Suppose -99012 = 5*h - 3*g, -3*h + 9864 = 5*g + 69278. Let y = h + 28001. Is y composite?
True
Suppose -5003 = -3*o + 10822. Suppose 9981 = 8*v - o. Is v composite?
False
Suppose v + 2*m = -0*m - 4, v = 2*m + 12. Suppose -v*a + 6082 = -2*y, 6097 = 4*a - 2*y + 3*y. Is a a prime number?
True
Suppose -263*q + 4894741 + 6337200 = 0. Is q a composite number?
True
Let h(t) = -45*t**3 - 8*t**2 - 31*t - 7. Is h(-6) a prime number?
False
Let i(g) be the third derivative of 137*g**6/120 - g**5/20 + 7*g**4/24 + g**3/6 - 15*g**2 - g. Is i(6) a composite number?
False
Let z(l) = -l**3 + 6*l**2 - 16*l - 1. Let f be z(7). Let u be (f/15)/((-3)/270). Suppose -u = -4*p + 296. Is p a prime number?
True
Suppose -2*k = 5*v - 50, -4*k + 52 - 12 = 4*v. Suppose 2*z = -0*z + v. Suppose -2*p = -n + 1529, 7*n - 7690 = 2*n - z*p. Is n prime?
False
Let p = -14323 - -215834. Is p prime?
True
Let l(f) = 2*f**2 - 32*f + 31. Let x be l(15). Is ((x - 5)/4)/(2/(-1906)) composite?
False
Let u be (-2)/(-4)*(10 - 8). Suppose -u = 5*y - 6. Is (-9)/3 - -1 - (-3717)/y a prime number?
False
Suppose 2*m = -0*m - 42. Let o = m - -26. Suppose -5*z + 5*t + 356 = -24, z + o*t - 94 = 0. Is z a composite number?
False
Suppose 75*r + 6979031 = 83*r + 171*r. Is r prime?
False
Suppose -3*h + 299073 = -4*u, 114*u - 118*u - 199390 = -2*h. Is h composite?
True
Suppose -4*m - 5*j = -436616, 0 = -4*m + 3*m - j + 109153. Suppose 392290 + m = 29*s. Is s a composite number?
False
Let d be -6 - (-12 - 0) - -26398. Let o = 50007 - d. Is o prime?
True
Let v be (-8)/28 - 2/(-7). Suppose v = -2*w - 2*g + 5522, 5*w + g - 8279 = 2*w. Is w a composite number?
True
Suppose -29*d + 1638516 = 15*d. Suppose -13568 = -v + 3*f, 5*f + 17054 + d = 4*v. Is v composite?
False
Let p(x) = 6*x**3 + 7*x**2 + 9. Let s be p(7). Suppose 10505 + s = 9*t. Suppose -l + 38 = -t. Is l a prime number?
False
Let t(c) = -27218*c + 11. Is t(-2) a prime number?
False
Let v(s) = 7671*s**2 + 150*s + 49. Is v(-10) a prime number?
True
Suppose -2*y - y - 3*r = 114396, -3*y - r - 114396 = 0. Is y*2/(-6)*18/24 composite?
False
Let b(v) = -4*v + 16. Let p(a) = -7*a - 11. Let c be p(-2). Let o be b(c). Is (3/((-36)/(-8)))/(o/4476) a prime number?
False
Suppose 5*g + 16503 = -15*i + 11*i, -3*g + 16543 = -4*i. Let x = 9561 + i. Is x a composite number?
True
Let r = -52 + 57. Suppose 0 = r*z - 4*d + 14635 + 17380, 4*z = -4*d - 25648. Let x = -1814 - z. Is x a composite number?
True
Let w = 524907 - 374564. Is w a composite number?
False
Let j(p) be the third derivative of p**5/15 - p**4/3 + 5*p**3/6 + 269*p**2. Let h be (36/10)/((-3)/(-10)). Is j(h) composite?
True
Suppose 4*k = -3*i + 2*i + 35103, -5*k - 140517 = -4*i. Let t = 52392 - i. Is t composite?
True
Suppose -26*o + 16580087 - 2781133 = 0. Is o prime?
False
Let n be 414/22 + 10/55. Suppose 31 - n = -12*j. Is 7158/30 - (6/10 + j) prime?
True
Let m = 213 - 101. Is -1*(-42)/m - 302101/(-8) a composite number?
True
Let j(m) = m + 18. Let q be j(