number?
False
Let c = 35043 - 23140. Is c prime?
True
Let k(t) = 27*t**2 - 41*t - 3367. Is k(-75) prime?
False
Suppose 16*w - 69832 - 428175 = 162489. Is w prime?
True
Let r(b) = 7 - 3*b - 27 + b**2 - 20*b. Let c be r(24). Is -3 - (c + 1158*-1) prime?
True
Suppose -21*t + 762287 + 278200 = 0. Is t prime?
True
Let g(i) = i**3 - 2*i**2 - i + 3. Suppose 5*b - 31 - 29 = 0. Suppose -14*q = -11*q - b. Is g(q) prime?
True
Suppose w + 8*q - 4*q - 2785 = 0, w - 5*q - 2830 = 0. Let x(p) = p**2 + 4*p + 3. Let n be x(-4). Suppose -w = -n*j - 702. Is j a prime number?
True
Let t = -3274 + 6234. Suppose 5*c + 3*q = 6911, -t = -5*c - 5*q + 3955. Is c a prime number?
True
Let q = 479 + -475. Suppose -q*l = -2*u + 57379 + 6151, -u + 5*l + 31762 = 0. Is u a prime number?
False
Suppose 2*s - 3*s - 3*r = 13, 3*r = -2*s - 11. Let q = -386 - -454. Suppose s*u + q = 386. Is u a prime number?
False
Let h be 6*((-2)/4)/(-1). Suppose 0*c = h*c - 11292. Suppose c = 6*v - 2*v. Is v a prime number?
True
Suppose 0 = 9*c - 14*c + 5*r + 3315, 5*c = -r + 3309. Suppose y - c - 1521 = 0. Is y composite?
True
Let y(c) = -c**2 - 2*c + 19. Let o be y(-6). Let r(i) = 5*i - 1 - 4*i - 6*i + i**2 + 2*i. Is r(o) prime?
False
Let h be 20/5 - 0 - -1. Let q(x) = 32*x**2 - 6*x. Let n be q(h). Let u = -379 + n. Is u prime?
False
Let t(o) = o**2 + 13*o + 44. Let m be t(-7). Suppose -5797 = -3*w + m*x, -w + 2003 = -3*x + 66. Is w composite?
False
Let n(d) = -2*d**2 + 11*d + 124. Let s be n(0). Suppose -y + 5 = 0, -5*y + s = i - 88. Is i prime?
False
Let x = -40 - -45. Suppose -3*w + 2*m - 5*m + 6 = 0, 0 = w - x*m - 2. Let s(r) = 321*r**2 - 2*r - 1. Is s(w) composite?
False
Let f = -39 + 42. Suppose -9*x = -f*x - 19194. Is x composite?
True
Let p = -928 + 948. Suppose -p*u = -322992 + 7172. Is u prime?
True
Let a(h) = h**2 - 6*h + 8. Let k be a(5). Suppose 2*y + 0*j = -2*j + 1828, -3*y + k*j = -2772. Is y a composite number?
False
Let u = 9709 + -15068. Let n = 478 - u. Is n a composite number?
True
Let x = -18 + 6. Let i be ((-27)/x + -3)*-4. Suppose 0 = 9*k + i*k - 12972. Is k composite?
True
Let u(b) = -2414*b - 2717. Is u(-18) prime?
False
Let b(y) be the first derivative of -2435*y**2 + 25*y + 89. Is b(-3) prime?
False
Suppose 2*z - 3*j + 5 = 0, 5*j = -6*z + 5*z - 9. Let b be 20 - 20 - z/2. Suppose 630 = 5*a + y, -a = b*a - 5*y - 406. Is a composite?
False
Suppose 4*a + 2*c - 1985 = -3*c, -3*a + 1489 = 4*c. Suppose -2*r + a = 3*r. Let j = r - 65. Is j composite?
True
Let t = 52 - 49. Suppose -t*o + 833 = v, v + 67 = o + 884. Is v composite?
False
Is (-1263790)/(-11) + -8 + 18/(-2) + 4 a composite number?
True
Let h(a) = 6*a**2 - a**3 + 9*a**2 - 3*a**2 - 13*a - 5. Let f be (-10 + 11)/((-2)/(-14)). Is h(f) prime?
True
Is 5/(-20)*3 - 71435/(-20) prime?
True
Let u(d) = -3*d - 4. Let l be u(-2). Suppose -l*o + 22 = 4*j, -2*o + j - 14 = -3*o. Is -19 + o + 402 + 1 a prime number?
True
Suppose -55*c + 59*c - 22228 = 0. Is c a prime number?
True
Is 32/80 + 155023/55 a composite number?
False
Let n be 3 + -17079*2/(-6). Let u = n + -2799. Is u a composite number?
False
Let p = 153466 - -18841. Is p composite?
False
Suppose -8*m = 16*m - 264. Let v(f) = 12*f**2 - 13*f + 10. Is v(m) a prime number?
True
Let a = 597110 - 421159. Is a a prime number?
False
Let w(l) be the first derivative of 101*l**3/6 + 22*l**2 + 19*l - 22. Let f(k) be the first derivative of w(k). Is f(7) a composite number?
False
Let l(v) = -95*v - 15. Suppose 3*m - 3 = -4*u - 35, -4*u = m + 16. Is l(m) a prime number?
False
Let y(s) = 47559*s**3 - s**2 - 10*s + 35. Is y(2) prime?
True
Suppose 0 = 10*s - 25*s - 14355075. Is s/(-49) - 10/(-35) a prime number?
True
Suppose 83651 = 3*y - 214*d + 213*d, 3*d = 5*y - 139421. Is y composite?
False
Let r = -390 - -935. Let d be (-2*4/8)/(-1). Suppose 0 = -0*k + k + d, -3*k + r = 2*c. Is c prime?
False
Let u = -4858465 - -6987726. Is u a prime number?
True
Let u = -187138 + 492527. Is u composite?
True
Let v be ((-1)/2 - 180/40)*-66. Is (-66)/v - 82911/(-5) composite?
True
Let g(w) be the third derivative of w**6/60 + 37*w**5/60 - 5*w**4/24 - 7*w**3/6 + 125*w**2. Is g(-15) prime?
False
Let p(m) = -11924*m**3 + 11925*m**3 + 2*m + 0*m + 339. Suppose 7*a = 8*a. Is p(a) a prime number?
False
Let n(j) = -704*j**2 + 7*j - 4. Let t(h) = -702*h**2 + 7*h - 3. Let i(l) = 5*n(l) - 6*t(l). Is i(-3) a composite number?
False
Suppose -5*h = -4*l - 0*l - 203, -2*l = 4. Let x(w) = w**3 - 7*w**2 - 30*w + 171. Let n be x(14). Suppose 40*v = h*v + n. Is v prime?
True
Let h be (1/(12/32))/1*6. Suppose -4*k + h*k = 48588. Is k a composite number?
False
Is (1558/(-190))/(1 + -1*4196/4195) a composite number?
True
Let b = -101 - -180. Let c = 741 - b. Is c composite?
True
Let g = -127 + 143. Let y(b) = 83*b - 69. Is y(g) a prime number?
True
Let j(i) = -1743*i + 188. Let n = -318 + 313. Is j(n) a composite number?
True
Suppose c + k = 2, 3*c - k = -3*k + 7. Suppose c*r - 23080 = -5*j, 4*j - 18447 = 2*r - r. Is j a prime number?
False
Suppose 2*z - w - 11 = 0, 2*z = 3*z - 4*w - 23. Let i be (37*-33)/(-4 + 3). Suppose -i = -6*v + z*v. Is v composite?
True
Suppose 159*y + 5*s = 154*y + 123435, 0 = -3*y + 9*s + 74013. Is y a composite number?
False
Let r = -20 + 40. Suppose -r*h - 8 = -21*h. Suppose h*x - 698 = -34. Is x a composite number?
False
Suppose 26*o + 1025170 = 2884565 + 956743. Is o prime?
False
Suppose -2*w - 720630 = -3*f + 493393, 3*f = w + 1214018. Is f a composite number?
False
Is 100/75 + -2 + 1087889/3 composite?
False
Let u(z) be the first derivative of 31*z**3/3 + 5*z**2/2 - 13*z + 32. Let n(f) = 2*f**3 - 4*f**2 + 2*f + 2. Let v be n(2). Is u(v) composite?
True
Let z = 119 - 117. Let w = -22 + 36. Suppose -z*p + 60 = w. Is p a prime number?
True
Suppose 3*x + d - 388082 = 49012, -x - 5*d + 145712 = 0. Is x composite?
True
Let d = 230271 + 292294. Is d a composite number?
True
Let j(i) = 9*i - 12. Let h be j(0). Is 3*8/h*15783/(-6) a prime number?
True
Suppose -17*d + 2920 = -15*d. Let s = d - 199. Is s prime?
False
Let j(d) = 15*d**2 + 29*d - 46. Let n be j(-15). Suppose 4*k + 16392 = 4*u, 1219 = u + 4*k - n. Is u prime?
False
Let u(k) = 18*k**2 - 7*k + 81. Let y be u(39). Suppose 5*m - 51211 = -f, -y - 3563 = -3*m + 5*f. Is m composite?
False
Suppose -31*p = -44*p - 26. Is (4 - (-17323 - p/2))/2 prime?
True
Suppose -87*x + 4470630 + 8901141 = 3675534. Is x a prime number?
False
Let o = -6 + -63. Let w = o + 259. Is 6 + 15/(-3) - -1*w prime?
True
Suppose 20*g - 4*x = 18*g + 302, -2*g - 5*x + 338 = 0. Let r = g - 120. Is r a composite number?
True
Is (-33 + -3)/9*14519/(-4) composite?
False
Is (-6)/9*(-3 - -6)*54037/(-2) prime?
True
Is 314352 + (-553)/237 + 6*2/9 composite?
False
Suppose 5*b = -4*j + 51391, 2*b = -b - 5*j + 30832. Is b composite?
True
Suppose 15*d + 188979 = 1180044. Is d a prime number?
True
Let o(a) be the first derivative of a**3 + 43*a**2/2 + 12*a + 32. Let w be o(-14). Is (w - (-24)/10) + 64899/15 prime?
True
Let o = -116 - -349. Suppose -230*n = -o*n + 37809. Is n a prime number?
False
Let r(q) = q**3 + 6*q**2 - q - 4. Let c be r(-6). Suppose 0 = -w - 4*x - 13, 0 = 45*w - 49*w + 2*x + 20. Suppose -w*h + c*h + 781 = 0. Is h prime?
False
Let z(n) = 2765*n**3 - 4*n**2 + 420*n - 1667. Is z(4) prime?
False
Let o(b) = -15 + 18 + 20 + 1038*b**2 + 2*b. Is o(4) a prime number?
False
Let s(f) be the first derivative of f**4/4 - 5*f**3/2 + 11*f**2/2 + 10*f - 12. Let l(i) be the first derivative of s(i). Is l(-8) composite?
True
Let k be (64/12 - 4)/(4/18). Let d be (-116)/(k + -10) + (0 - -3). Suppose -d*c + 37*c = 2495. Is c composite?
False
Let w(m) = 2*m**3 - 2*m**2 - 3*m + 20. Suppose 20*q + 12 = 22*q. Suppose q*s = 10*s - 28. Is w(s) composite?
False
Suppose -140*g + 19*g + 1241339 = 0. Is g a composite number?
False
Is ((-2625165)/60)/(50/(-56)) - 4/50 prime?
True
Let r(p) = -3620*p - 42. Let b be r(-5). Suppose -8*h + 9*h - 3608 = v, v - b = -5*h. Is h prime?
False
Let g be (-1 + 11)/(-10)*(-27 - 2). Is g*(21357/33 - 26/143) composite?
True
Suppose -2*l - 77041 = -p, 82*p = 85*p - 4*l - 231133. Is p composite?
True
Suppose -3*o = y - 469315, -212*y + 210*y = -2*o + 312866. Is o a composite number?
False
Let c(a) be the first derivative of -a**2 - 5*a + 29. Let s be c(-5). Is 