v a prime number?
False
Let w(a) = a**3 - a**2 - a + 34. Let o be w(0). Let s = o + -2. Suppose 3*f - 4*b - s = 23, -f + 25 = -3*b. Is f a composite number?
False
Suppose -3*o + w + 6004745 = 0, -3*o + 2232973 = -3*w - 3771776. Is o a composite number?
False
Suppose 13*c + f - 2490624 = 9*c, f = 4*c - 2490632. Is c a composite number?
True
Let j be ((-501)/2)/(2/4). Let r be -33*(-26)/(-351)*639. Let m = j - r. Is m prime?
True
Suppose 16*l = 17*l + 2. Is ((-9)/l + -3)*(-35082)/(-27) a composite number?
False
Suppose -61239947 = 264*d - 96526265 - 161832186. Is d prime?
False
Let l = 10806 + -5123. Let q = l - 822. Is q a prime number?
True
Is -14*49451/(-8) - 86/344 prime?
True
Let n(k) = -4*k + 6. Let o be n(-21). Suppose 0*q = -5*q + o. Suppose -13*h - 2035 = -q*h. Is h a composite number?
True
Suppose 0 = 2*d + 14 - 18. Suppose 3*f = -o + 15, -5*f + 15 = -4*o - d*f. Suppose o = -4*z - 7*s + 6*s + 648, -314 = -2*z + 2*s. Is z prime?
False
Let q(k) = -k**3 - 7*k**2 + 6*k + 27. Let b be q(-6). Let t be -3*(-5)/b*-8133. Let s = t + -1560. Is s a composite number?
False
Suppose -3*j + 5*j = 876. Suppose -17*f + 19*f = -114. Let i = f + j. Is i a prime number?
False
Suppose -13*d = -23*d - 70. Is (d/(3 + 4))/((-3)/16671) composite?
False
Let n = -5361 - -15709. Let s = 18971 - n. Is s composite?
False
Suppose l - 3*v - 37119 = v, 4*l - v - 148476 = 0. Is l a composite number?
True
Let u be (3/6 - 345/6) + 3. Let n be (11 - 1)*(-4 - u/12). Suppose -89 = -p - n*z, -170 = -3*p - z + 55. Is p a composite number?
True
Let n(r) = -7*r**3 + r - 1. Let j be n(1). Let d be 618/(-42) - (-2)/j. Is 2/(-10) + (-6018)/d a composite number?
False
Let q = -663 - -1628. Let z = q - 424. Is z a composite number?
False
Suppose 51 = 5*n + 1. Suppose n*v - 12*v = 6. Is (105/(-28))/(v/20) a prime number?
False
Let f(l) = 134*l**2 + 3*l - 3. Let p(i) = -6*i**2 - 46*i + 7. Let s(x) = -9*x**2 - 69*x + 11. Let y(z) = -7*p(z) + 5*s(z). Let t be y(-8). Is f(t) composite?
True
Let p be (0 + -6)*(164/(-24) - -6). Let x(c) = 55*c**3 + c**2 + 4*c - 13. Is x(p) a composite number?
False
Let m(x) be the first derivative of 599*x**2 - 171*x - 60. Is m(4) prime?
True
Let n = 6968 - 4093. Suppose 7*a - 1073 = n. Suppose -5*m + 705 = -p, p = 4*m + 2*p - a. Is m prime?
False
Let a = -278042 + 453271. Is a prime?
True
Suppose 3*k + 3260 = 5*k. Suppose 9130 = 5*u + 4*a, 3*u = -a + 2610 + 2861. Suppose -4*f = -2*h - u, h + k = 5*f - 652. Is f a composite number?
False
Suppose 0 = -4*d + 12, 5*r - d - 18595 = -6*d. Suppose 98986 = 14*x + r. Is x a composite number?
True
Let u(h) = -47*h**3 - h**2 + 3*h + 5. Let a be u(-2). Let n = a + -180. Is n a composite number?
False
Let m = 41314 - 20869. Let n = m - 6500. Suppose 3*t = -2*t + n. Is t a composite number?
False
Suppose -59*x = -9084832 + 904862 - 412967. Is x prime?
True
Suppose -8*i - 42 = 6*i. Is 5432 - (-5 + 3 - i) prime?
True
Suppose -4*u = -32 + 32, -5*l = -3*u - 60385. Is l prime?
False
Let a(y) be the third derivative of y**6/60 + y**5/10 - 2*y**3/3 + 10*y**2. Let c be a(4). Let q = 343 + c. Is q prime?
True
Is ((-1939316)/(-20))/((-1)/(-5)) prime?
True
Let p(t) = 343*t**2 + 12*t + 21. Let l be p(-7). Suppose 3*a - 7*a - l = 0. Let v = -983 - a. Is v prime?
True
Let f = 381 - 378. Suppose f*v - 4532 = 7111. Is v prime?
True
Let r = -1992 + 14014. Is r a prime number?
False
Let w = -109855 - -192612. Is w composite?
False
Let g(z) be the first derivative of 1975*z**2/2 - 7*z - 3. Is g(2) prime?
True
Suppose 96*p = 88*p + 14024. Suppose 2*i + 3519 = f, 14061 = 3*f + f - 5*i. Suppose 6*l - p = f. Is l composite?
False
Let w = -46 + 51. Suppose -4*a = 4*b + 300, -w*a - 311 = 3*b + 74. Is (-686)/(-8) - 5/a*4 a composite number?
True
Let q(j) = -3*j**2 - 55*j - 14. Let s be q(-18). Suppose -d = 14*g - 16*g - 797, 3*g - 3188 = -s*d. Is d a composite number?
False
Let f(x) = -2*x**2 - 9*x + 42. Let g be f(-5). Let i(b) = 16*b + 95. Is i(g) composite?
True
Let h(t) = -t**3 - 11*t**2 + 14*t + 28. Suppose 16*b - 8*b + 96 = 0. Let n be h(b). Is (-4 - n*-1263) + 3 a composite number?
False
Suppose 428429 = 15*f - 1063786. Is f composite?
True
Suppose -2*l + 4*g = 0, 2*l + 0*g = -3*g + 7. Let r(x) = 1259*x**3 + 2*x**2 - 6*x + 5. Is r(l) prime?
False
Let w be (-11)/(-22) + (-34986)/4. Let y = w - -19545. Is y composite?
False
Let b(t) = -t**3 + 22*t**2 - 73*t + 22. Let c be b(18). Suppose -7*u - 5441 = -2*h - 4*u, -3*h + c*u + 8161 = 0. Is h a prime number?
True
Let p(a) = -8*a - 4. Let y be p(-2). Suppose -y = -8*m + 5*m. Suppose 3*g - 1967 - 3296 = -5*h, -4240 = -m*h + 5*g. Is h a composite number?
True
Let a = 140994 + -61855. Is a a composite number?
False
Let u(v) = -4*v + 44. Let r be u(10). Suppose -f - r*c = 5, -4*c - 8 = -0. Suppose 5*q - 208 = -f*q. Is q composite?
True
Let r(h) = 698*h**2 + 20*h - 69. Is r(13) a composite number?
True
Suppose -26*b = 10*b - 1188. Suppose -b*i + 114803 + 239188 = 0. Is i prime?
False
Let p be 1/3 + (-112)/(-24). Suppose -2888 = -3*z + 2*z - p*h, 4*h - 8642 = -3*z. Is z composite?
True
Let q(o) = o - 5. Let m be q(5). Let a(h) = -4*h**3 + 20 + 42 + 12*h + 3*h**3 - h - 10*h. Is a(m) a prime number?
False
Let d = 35271 - 27650. Is d composite?
False
Let a(c) = -c**3 + 12*c**2 + 5*c + 11. Let p be a(12). Let f(m) = 9*m + 22 - p + 40 + 19*m**2 + 25. Is f(-5) prime?
False
Let h(z) = 5*z**2 + 14*z + 19. Let f be (-5 + (-108)/(-24))/(1/20). Is h(f) composite?
False
Let d = 222 + -270. Is (1277/2)/(4/d*-6) a prime number?
True
Suppose -76*d = -2*l - 74*d + 120882, 12 = 6*d. Is l prime?
True
Suppose -381*i + 28022492 = -38125585. Is i a composite number?
False
Suppose -51*c = -108*c + 2586489. Is c composite?
False
Let l(h) = 312063*h - 530. Is l(1) prime?
True
Let c(t) = 821*t + 5. Let i be c(7). Suppose -11*d + 19*d - i = 0. Is d a prime number?
True
Suppose 0 = -4*q + 4*o + 43960, -3*o - 18337 = -5*q + 36621. Let k = 16267 - q. Is k a composite number?
False
Let k = -448 - -633. Is k/2*(-13246)/(-185) a composite number?
True
Suppose -40*z = 51*z - 11*z - 318160. Is z prime?
False
Let z(p) = -3*p**2 + 16*p - 12. Let g be z(5). Let u(v) = -3*v**3 + v**2 + 7*v - 20. Is u(g) prime?
True
Let j = -107351 + 642048. Is j a composite number?
False
Suppose -4*n = 1046 + 1234. Let p be (n/2 + -2)/(-1). Is 2 + (p - 0/2) composite?
True
Suppose 0 = -u + 4*j + 7, 2*u - j = -0*u + 7. Let w(b) = 4*b**3 + 234 - b**3 + 112 - 4*b**u + 3*b**2 + 2*b. Is w(0) composite?
True
Suppose -3*q + 5468911 = w, 8*q + w = 11*q - 5468903. Is q composite?
True
Let r = 12839 - -13312. Let d = r + -12854. Is d composite?
False
Let h = -616 - -621. Suppose 4*a = t + t - 39300, 0 = h*t + a - 98294. Is t a composite number?
True
Let c(m) = m**3 + 11*m**2 - m + 7. Let g be c(-11). Is 2/g - (-420600)/54 a prime number?
True
Let x = 10 - -5. Let b = 21 - x. Suppose 5*a = 4*p + 6045, 0 = b*a - 3*a + 4*p - 3659. Is a a prime number?
True
Let v = 11680 - -48397. Is v prime?
True
Let z(v) be the second derivative of 245*v**3/6 - 3*v**2 - 10*v + 2. Is z(7) a composite number?
False
Let z(w) = -4*w - 24. Let v be z(-5). Let k be v/(0 - (-7 - -5)). Is k/(0 + -2) + 1400/7 composite?
True
Let o = -9649 - -12138. Is o composite?
True
Suppose 3*j - 97181 = -2*z, 41019 = 5*j + 3*z - 120949. Is j composite?
True
Let z(o) = 715*o**2 + 185*o - 19. Is z(8) a prime number?
True
Let u(x) = -4*x**3 - 7*x**2 - 12*x - 77. Let f(t) = 2*t**3 + 4*t**2 + 6*t + 39. Let n(d) = -11*f(d) - 6*u(d). Is n(17) prime?
False
Suppose -2*k = -4*w + 247718, -10*w - 309679 = -15*w - 2*k. Is w a prime number?
True
Let t be 9067/6 - (-5)/(-30). Let z = -4 - -4. Suppose -k + 505 = -n, z*n = -3*k + n + t. Is k prime?
True
Let o = -321 - -326. Is 37600/24 - ((-5)/3)/o prime?
True
Let s = 410 + 132. Let y = s + -243. Is y composite?
True
Suppose -11*c - 16*c + 200002 = -5*c. Is c composite?
False
Is (1 + -16670)*(-9 + 14 + -6) prime?
False
Let k(a) = 6*a**2 + 15*a - 107. Suppose -250 + 178 = 4*h. Is k(h) prime?
True
Let z(h) be the third derivative of -h**6/40 - 7*h**5/60 + h**4/24 + 7*h**3/3 - 45*h**2. Is z(-8) a prime number?
False
Let q = -11256 + 51136. Let m be (q/25)/(((-8)/5)/(-4)). Is m + 3/(-1 - -2) a prime number?
False
Let k be (-5)/((-2 - 1) + 8/4). Is (-4699)/(-37) + (k -