s(o) prime?
False
Let t(s) = 250*s + 27. Is t(4) a prime number?
False
Suppose 9191 + 4522 = 3*b. Is b composite?
True
Is (113609/3 + 256/192)*1 composite?
False
Suppose -2*w + 4*w = -872. Let m = w + 1023. Is m a prime number?
True
Let s(u) = -5 + 8 + 74*u**2 - 22*u**2. Is s(2) composite?
False
Suppose 41*w = -44*w + 5826665. Is w composite?
True
Let o be 0 + 0/(-1) + 3. Suppose o*u = -r + 2*r + 7, 3*r - 5*u = -9. Suppose 2*t - 5*b - 162 = -2*t, -r*b + 34 = t. Is t a prime number?
False
Is (-27)/36*(-15292)/3 a composite number?
False
Let o be (-13224)/(-32) - 2/8. Let w = -89 + -37. Let q = w + o. Is q a composite number?
True
Suppose -25*b - 21674 = -76249. Is b a prime number?
False
Is 206494/10 - (2 - 112/70) a prime number?
False
Let c(a) = -3*a + 710. Let n be c(0). Let u = n - -605. Is u a composite number?
True
Let a be 19/4 + 3/12. Suppose -4*k = -3*x - a + 2, 4*k + 5*x = 27. Suppose k*c = 426 - 45. Is c composite?
False
Let o = 4 - 3. Let y = 1 - o. Suppose -21 = -p - 4*t, -p - 2*p + 5*t + 114 = y. Is p a prime number?
False
Suppose 79899 + 17936 = 17*o. Is o composite?
True
Let h be ((-4822)/5)/((-13)/(-5) + -3). Let x = -846 + h. Is x prime?
False
Let i(t) = -2*t - 6*t + 29 + 7*t. Is i(8) prime?
False
Suppose 72508 = 3*b + 5*o, 3*b + 2*o = 26856 + 45637. Is b a composite number?
True
Is 1*(-16)/4 - 23079/(-7) a composite number?
True
Suppose -5*f + 2*t - 5*t = -380, -5*f - 4*t = -375. Is f composite?
False
Suppose 13*f = 11*f + 818. Is f prime?
True
Let a(q) = -4*q - 1. Let z be a(-3). Suppose -z*g + 7*g = 12. Is (g/3)/(5/(-3275)) composite?
True
Let j(m) = 10*m**2 + 19*m - 115. Is j(-43) a prime number?
False
Suppose 3*a + 9 = 4*h + 3, 0 = 3*a + 3*h - 15. Suppose 0 = a*q - 4*l - 218, -q - 3*l = -65 - 29. Is q composite?
False
Let m = 1864 + -1118. Suppose u = b + m, 0 = 2*u + 2*b + 3*b - 1485. Is u composite?
True
Let p be (-2)/(-6) + 8/3. Suppose -f = -2*k + 40, f = -46 + 42. Suppose -p*w = -39 - k. Is w a prime number?
True
Suppose -229010 = -7*c + 515433. Is c prime?
True
Let y = 2137 + -1237. Suppose -149 = -p + y. Is p composite?
False
Let d(c) = 45*c + 6. Let k be d(5). Suppose -13*n = -10*n - k. Suppose 4*g = n + 239. Is g composite?
False
Let i = 3361 - 1926. Suppose -397 = -4*z + i. Is z prime?
False
Suppose 0 = 3*t - 2*u - 4742 - 2693, 3*u = -3*t + 7440. Is t prime?
False
Suppose -2*x = -4*t + 41040, 0 = -3*t - 5*x + 23327 + 7479. Suppose -7*a + t = -5*a. Is a composite?
True
Suppose -3*k = -5*k + 10. Suppose -k*j + 5*v = -7320, -4*j + 0*v + 5859 = -v. Suppose -2*w - j = -7*w. Is w a composite number?
False
Let a(o) = -119*o + 40. Let t be a(22). Let h = t + 4735. Is h a composite number?
True
Let m = -107835 - -162374. Is m composite?
False
Suppose 0 = -5*b - 2*p + 3576, -4*b - 2*p - 2136 = -7*b. Let v = -483 + b. Suppose -v = -m + 4*q, 0 = 2*m - 3*m - 3*q + 196. Is m composite?
False
Let c(n) = 478*n**3 + 1. Let h(s) = s**3 - 6*s**2 - 2*s + 13. Suppose 0*y = -4*y + 4, -14 = -3*r + 4*y. Let q be h(r). Is c(q) a composite number?
False
Let k = -72 - -155. Let y = k + -123. Let d = y - -62. Is d a prime number?
False
Suppose l + 70626 = 5*l + 2*g, -g = 1. Is l a prime number?
True
Let c = 631 - -538. Is c composite?
True
Let y(i) be the second derivative of 47*i**4/6 - 5*i**3/6 + i**2/2 - 13*i. Is y(-3) a composite number?
True
Suppose -2*h = 2*h + 20, 5*h - 4647 = -4*c. Suppose 0 = 6*y - 5090 - c. Is y a composite number?
True
Let g(r) = 8*r**3 + r**2 + 11*r + 6. Let u be g(6). Let w = -859 + u. Is w composite?
False
Let y = -14 - -11. Let m(g) = 100*g**2 + 5*g + 3. Let a be m(y). Suppose 4*i = -2*u + a, i - 1113 = -4*i - u. Is i prime?
True
Let z(u) = -3*u**3 + u**2 + u. Let l be z(-1). Is ((-2)/l)/2*-447 prime?
True
Let f(y) be the third derivative of 1/30*y**5 - 2*y**2 + 0*y - 11/6*y**3 + 0 - 1/6*y**4. Is f(-5) prime?
True
Let b = 64 + -61. Suppose -b*v + 3*z = -1563, 4*v - 1477 - 607 = 5*z. Is v a composite number?
False
Let x be (-1055)/15 - (-4)/(-6). Let l = -46 - x. Is (-2)/(-5) + 7465/l composite?
True
Suppose -8*z = 5*z - 539383. Is z a composite number?
False
Suppose 3340 = -b + 5*f + 17459, -b + f + 14111 = 0. Is b a composite number?
True
Let a = -50 - -119. Let l = a - 47. Is l a prime number?
False
Is (605797/138)/(4/24) prime?
True
Let k(y) = 110*y**2 - 5*y + 19. Is k(4) prime?
True
Let b be (1 + -2)*(-3 + -38). Let g = 98 - b. Is g prime?
False
Let j = 38 - 25. Suppose 10*r + 561 = j*r. Is r composite?
True
Suppose 2*y = 5*y + 5*o + 23, 3*y + 11 = -2*o. Is (-3*(0 - (-14428)/12))/y prime?
True
Let r = -3223 - -14866. Is r a prime number?
False
Suppose -6*i + 3 + 9 = 0. Is (-2 + i)/(-1) + 445 composite?
True
Let m(s) = s - 1. Let z(x) = -117*x + 13. Let p(o) = -6*m(o) - z(o). Let v be p(-3). Let r = v - -489. Is r a composite number?
False
Let s = 477 - 1372. Let b = 2913 + s. Is b composite?
True
Is 29/((4 - 572/82) + 3) composite?
True
Let v(i) = 432*i + 557. Is v(18) a composite number?
True
Is 7191 + (1/3)/((-2)/24) a prime number?
True
Suppose 5*p = 3*u + 104318, -21262 = -2*p + 4*u + 20468. Is p prime?
False
Suppose 13*h + 24405 = 85778. Is h prime?
True
Let s(j) = -2754*j + 133. Is s(-15) a prime number?
True
Let y(l) = 441*l**2 + l + 1. Is y(3) a composite number?
True
Let w(b) = 31*b**2 - 2*b - 2. Let d be w(2). Suppose 8*h + d = 6*h. Let l = h - -138. Is l a prime number?
True
Is 4/11 - (-2413827)/429 composite?
True
Let c be 3 - (-1 - 0)*1. Let p = 594 + -589. Suppose 759 = c*q + 5*s, -p*q - s = s - 953. Is q prime?
True
Let i be (6/(-10) + (-10)/25)*-8. Suppose 2003 + 15333 = i*k. Is k composite?
True
Let o(z) = z - 5. Let g be o(9). Suppose 2*t - 998 = -2*x, 0*x + g*t + 1996 = 4*x. Is x composite?
False
Let b(x) be the second derivative of -x**5/20 + 13*x**4/12 - 3*x**3/2 - 8*x**2 - 7*x. Let z be b(12). Suppose -2*r = -138 + z. Is r prime?
True
Suppose 5*v - 14 = -2*t, 5*v - 2*t - 26 + 0 = 0. Suppose 3*p - 16 = -v. Suppose -3*j = 2*z - 83, p*j + 37 + 11 = 2*z. Is z prime?
False
Is ((-10938)/21)/((-14)/49) a prime number?
True
Suppose 1865 = 2*j - q, 3 = -2*q - 7. Let c = j - 513. Is c prime?
False
Let i = 50953 + -30104. Is i a composite number?
False
Let g be -1 + 0 + -2 + 7. Suppose 2*l + 1612 = g*l. Let v = l + -515. Is v a composite number?
True
Suppose -12*n + 62578 = -197930. Is n composite?
True
Let t = -17 + 27. Suppose -2*x = -7*x - t, 412 = 2*o + 3*x. Is o a prime number?
False
Let d(x) = 163*x + 62. Is d(5) prime?
True
Let h(k) = k**2 + 19*k + 8. Let x be h(-18). Is (-1)/5 - 5412/x composite?
False
Let r = -8326 + 11895. Is r a composite number?
True
Is 39129/(-2)*((-215)/(-15) - 15) a composite number?
False
Suppose -9 = -2*b - b. Suppose -5*q - 7 = b*y, 0*q + 13 = -5*q + 3*y. Is (-66)/(-10)*(3 - q) composite?
True
Suppose -3*y = -2*u - 3*u + 3798, -3*u = 0. Is y/(8/(16/(-4))) a composite number?
True
Suppose 89474 = 4*c - 2*p, -10*p - 22382 = -c - 5*p. Is c prime?
True
Suppose 24*v = 75688 + 88304. Is v composite?
False
Is (-1497)/9*-21 + 6 prime?
True
Suppose 0 = 6*h + 10*h - 29552. Is h a prime number?
True
Let m(p) be the second derivative of p**4/4 - p**3/3 + p**2 - 6*p. Let h be m(-3). Is (-44)/2*h/(-10) a composite number?
True
Suppose 3*g - 16 = -2*b, 3*b + 4*g + 7 = 30. Suppose -5*t - b = q, -5*q - 25 = -2*t - 2*t. Suppose -5*y - u + 1059 = -3*u, -5*y + u + 1062 = t. Is y prime?
False
Suppose 14*x = -18 - 38. Is -5 + (x - -4) - -424 composite?
False
Let k(f) = 80*f**3 - 3*f - 22. Is k(7) prime?
True
Let h(r) = -3*r - 8. Let c be h(-4). Suppose 6 = 3*l, -3*w + 785 = -l - c*l. Is w a composite number?
True
Let k = 4 - 1. Suppose -k*t = 2*t. Suppose -3*u + 5*c = -102 - 254, -u - 4*c + 147 = t. Is u a prime number?
True
Let m(w) be the second derivative of -1/20*w**5 + 13/12*w**4 - 7/2*w**2 - 3*w + 1/3*w**3 + 0. Is m(9) composite?
True
Let r(q) = q**3 + 3*q**2 - 2*q + 3. Let f be r(-3). Let w = f + -5. Suppose 2*m - 5*t - 496 - 235 = 0, -w*m + 1407 = t. Is m a prime number?
True
Let c = 97 - -220. Let q = c - 114. Let d = 34 + q. Is d prime?
False
Let r(t) = 2*t**2 + 13*t - 49. Is r(-14) a composite number?
True
Suppose -w - 6 - 1 = 0. Let z(g) = g**2 + 9*g + 8. Let q be z(w). Is (-46)/(-2*(-3)/q) a composite number?
True
Let t(a) = 5*a**2 - 8*a + 6. Let v(d) = -d**3 + 1