t + 3*h, 160720 = 4*t + 4*h. Is t a prime number?
True
Suppose 2*w = -i + 7, -14 = w - 0*w + 4*i. Let o be 1*5/((-10)/w)*-1. Suppose o*t - 408 = 9723. Is t composite?
True
Let f be (1 + 0)*-5469*(39 + -38). Is (2 - 3)/(-4 - 21873/f) composite?
False
Let w be 6/(-9)*-3*1. Suppose 5*i - 13 = g, 0 = -3*i + w*g + 1 + 4. Suppose 3*h - 870 = -i*y, 0*y + 2*h + 299 = y. Is y composite?
False
Suppose -32280 = -5*w - 5*s, -2*s + 2062 = -2*w + 15002. Is w prime?
False
Let p(l) = 41*l**2 - 72*l + 233. Is p(-14) composite?
False
Let c(m) = -m**2 + 23*m + 15. Let a(h) = -2*h**3 + 4*h**2 - 3*h + 2. Let f be a(2). Let q be (-38)/(-2) + (24/f - -3). Is c(q) composite?
False
Suppose -4*i = 3*x + 13 + 2, -2*x - 10 = 0. Suppose i*b = -8*b + 904. Is b a composite number?
False
Let w = 36 - 30. Is (-4 - -6 - -3873) + w composite?
False
Suppose 18*f - 35418 = 151188. Is f a prime number?
False
Let t(j) be the first derivative of -j**4/4 + 2*j**3 + 7*j**2 - 20*j - 32. Suppose -2*o + p - 18 = 0, -4*o + 5*o + 5*p = -9. Is t(o) a composite number?
False
Let i(j) be the third derivative of -3*j**6/40 - 7*j**5/30 - 9*j**4/8 + j**3/6 - 89*j**2 - 2*j. Is i(-7) a prime number?
True
Let f = 14163 + -6054. Suppose 8*z - 26875 = f. Is z prime?
True
Let q = 4362455 - 2098942. Is q a composite number?
True
Let a = -81 + 87. Let u be (-2)/2 - (0 - a*-180). Let j = 1356 - u. Is j a composite number?
False
Let b = 53900 + -6279. Is b prime?
False
Let c(s) = -s**3 - 14*s**2 + 6*s - 21. Let p be c(-15). Let g = p + -106. Suppose 0 = 21*b - g*b - 9581. Is b a prime number?
False
Let t(p) = 3*p**2 - p**2 + 21*p**3 + 1 - 3*p - 4*p. Let g be 124/(-93)*9/(-6). Is t(g) prime?
True
Suppose -u + 2*f - 119831 = -1044310, -5*f = -35. Is u composite?
False
Let c = 131 - 132. Is (c - -3)/(10/48965) a composite number?
True
Suppose -9*k - 16*k = -50*k + 28410275. Is k a composite number?
False
Let k = 3780 - -53371. Is k prime?
False
Let o(h) = -h**2 + 23*h. Let b be o(23). Suppose b*s - 10 = -2*s - 2*m, s - 25 = -5*m. Let q(p) = -p**3 - p**2 - 2*p + 265. Is q(s) a prime number?
False
Let f = -41 - -41. Suppose a + a - 4 = f. Suppose 0 = o - a - 29. Is o composite?
False
Suppose -176*y + 5942264 = -168*y. Is y prime?
True
Let b = 11701 - -43426. Is b prime?
True
Let q = -1191 - -2189. Let n be (-4)/(-4)*(-4670)/(-2). Let w = n - q. Is w a composite number?
True
Let k = 372625 - 34082. Is k composite?
False
Let c(v) = 20*v - 70. Let s be c(10). Let z = s - -137. Is z composite?
True
Suppose -4*k + k = -1827. Suppose -k = -3*j + 279. Suppose 6*z - 1102 = j. Is z prime?
True
Let f be (-2)/(-4)*-2 - -13. Let p = 14 - f. Suppose 4*l - 2916 = -4*j, -5*l + 0*j = -p*j - 3631. Is l composite?
False
Suppose -31*n = -33*n - 16. Suppose -158 = 3*u + 160. Is ((-16)/n)/((-2)/u) a prime number?
False
Suppose -273 = -0*a - 7*a. Suppose 0 = 5*s - 416 - a. Let j = 160 + s. Is j composite?
False
Let c be (-25)/(3/(-3) + (4 - 4)). Let l = c + 9. Let p = l + 53. Is p a prime number?
False
Let s be 14/(-70) - (-2)/10. Suppose s = -h + 7*h - 18. Let q(m) = 8*m**3 - 3*m**2 - 4*m + 2. Is q(h) prime?
True
Suppose 0 = -527*b + 535*b - 1421896. Is b a composite number?
True
Suppose -10*l - 13*l - 325839 + 3925546 = 0. Is l a composite number?
True
Is (2/(-8))/(-1) - (-2 - 2438/8) a prime number?
True
Let b = -5533 - -7899. Suppose x = -5*g + 25198, 3*x + 12742 = 3*g - b. Is g composite?
False
Suppose 2*q - 2*y - 20 = -0*q, -16 = -2*q - 2*y. Let g be (1*q)/(((-6)/(-213))/2). Let c = g + 192. Is c a prime number?
False
Let x(c) be the second derivative of 7*c**4/12 - 13*c**3/6 - 45*c**2/2 + 124*c. Is x(-22) a prime number?
False
Let q(m) = 9*m + 104. Let t be q(-11). Suppose 0*a - 2920 = -t*u + a, 0 = -2*u + a + 1171. Is u prime?
False
Let m(i) = -i**2 - 21*i + 65. Let p be m(-14). Let b = p + -66. Is b a composite number?
False
Suppose -4*j - q + 13 + 7 = 0, 0 = -5*j + 3*q + 25. Suppose -j*h + 16 = y, -3*y + 6*y - 4*h = -9. Let d(r) = 349*r**2 - 3*r + 1. Is d(y) a composite number?
False
Let w be -4*(-15)/(-80)*1480. Let f = w - -2911. Is f prime?
True
Suppose -2*a - 129719 = -4*w + 112165, w + 2*a - 60461 = 0. Is w prime?
False
Let o = -109339 - -243917. Is o composite?
True
Suppose 56*f = -110*f + 742186. Is f composite?
True
Suppose 18*c - 2955465 = 15*c - 2*n, 0 = -c + n + 985145. Is c a prime number?
True
Let y(d) = 7*d**2 + d**2 + 6 - d**3 + 7*d**2 - 10*d + 0*d**3. Let v be 2*1/(2/13). Is y(v) composite?
True
Suppose 6*t = 107*w - 104*w - 849939, 2*w - 566631 = -t. Is w a composite number?
True
Suppose 4*b - 492208 = -4*c, -9427 = -b - 5*c + 113661. Is b composite?
True
Suppose -54 = -2*m + 12. Let c(x) = x**3 - 33*x**2 + 41*x + 8. Is c(m) prime?
True
Let c(i) = 9*i**2 + 31*i + 6. Let w be c(-5). Is (w/152)/(2/14092) prime?
False
Is (-5)/(-10)*(19448416/65 - 2/5) composite?
False
Suppose i - 40 = -3*i. Suppose i + 16 = 2*v. Let b(y) = 17*y**2 + y - 23. Is b(v) prime?
False
Is 4 - 1 - (34 + -69762) composite?
True
Suppose -4109 - 129 = 13*h. Is 7/49*0 - h prime?
False
Suppose -2*j - 2*s + 12 = 0, 3*j = 4*s + 10 - 20. Let y(p) = 615*p**3 - 2*p**2 - p - 1. Is y(j) a prime number?
True
Is -1 - -18 - (68 - 22520) a prime number?
True
Let g(k) = -k**3 + 5*k**2 - 6*k + 3. Let n be g(3). Suppose 12621 = 6*q - 5*q + 2*j, 4*q - n*j - 50495 = 0. Is q a prime number?
False
Let z(f) = 9*f**2 - 4. Suppose 5*h - 5*p + 36 + 9 = 0, -9 = 5*h + 4*p. Is z(h) a prime number?
False
Let n(r) = -234635*r + 48. Is n(-1) prime?
True
Suppose 2*y + 10 = 2*l, 3*l = -3*y - 0*y + 3. Suppose 5*x = -0*k + 4*k - 27958, x - 27946 = -4*k. Suppose 2*g + k = 5*a, g = l*g + 2. Is a a prime number?
False
Suppose -11*u + 8*u + 6 = 0. Let n be 39/6 + u/8*-2. Is ((-25400)/(-15) - 1) + 4/n a prime number?
True
Let m(c) = -c. Let d(f) = 4389*f + 51. Let t(b) = d(b) + m(b). Is t(5) prime?
True
Let a(y) = -6*y**3 - 56*y**2 - 34*y + 39. Is a(-16) composite?
True
Let g = -213 + 218. Suppose k + 4079 = 2*f + 272, -f + 1881 = -g*k. Is f prime?
False
Let j(i) = 4*i - 151. Let c be 7/49 - (-4)/(-28). Let o be j(c). Let b = 278 + o. Is b a prime number?
True
Suppose -7 - 3 = 2*f. Let b be 1 + -2 + f + 2. Let g(n) = -467*n + 3. Is g(b) prime?
True
Suppose -23*l - 3*l + 575901 + 1245269 = 0. Is l a prime number?
False
Let f(g) = -16332*g - 181. Is f(-7) prime?
True
Let s(m) = 2*m**3 - 4*m**2 + 18*m - 113. Is s(49) composite?
False
Let n(i) = 827*i + 174. Is n(7) composite?
True
Let j = -103 - -138. Suppose -i - j = -6*i. Let u(w) = 128*w - 19. Is u(i) prime?
True
Let b(y) = -428*y + 269701. Is b(0) prime?
True
Is (-1)/2 + -6 + 1149976/16 a composite number?
False
Let g = -139468 + 351551. Is g a prime number?
False
Suppose 2*m = 2*d, -2 = -4*d + 5*d - 2*m. Is (23245/20 + 0)/(d/8) a composite number?
False
Let y(d) = 463*d**2 + 10*d + 45. Let s be y(-6). Let i = 24646 - s. Is i a prime number?
True
Let z = -39545 - -122722. Is z a composite number?
False
Let l(f) = 196*f**2 + 363*f + 16. Is l(-11) prime?
True
Let f be (5 - (-3)/3) + 2211. Suppose -i + f = -2680. Is i a prime number?
False
Let n = -955 + -72. Let r = 2024 + n. Is r composite?
False
Let m(z) = 150*z**3 - 6*z**2 + 21*z + 71. Let s be m(-5). Is (10 - 110/10)/(2/s) a prime number?
True
Suppose -z + 19 = 2*k, 2*k - 3 = 3*z - 4. Suppose 5*l + 2695 = 5*n, -k*l + 3*l + 2172 = 4*n. Is n a prime number?
True
Suppose 29*w - 1117 = -247. Suppose -w*q + 96845 = -25*q + 5*y, -96849 = -5*q - 4*y. Is q a prime number?
True
Suppose 15*z - 21385 = 8*z. Suppose -21270 = -5*s - z. Is s a prime number?
True
Let t(a) = 53*a - 114. Let y be t(4). Suppose 4433 = -85*z + y*z. Is z prime?
False
Let y(k) = k**3 - 6*k**2 + 12*k - 26. Let t be y(7). Suppose -114*p = -t*p - 15757. Is p a composite number?
False
Suppose -3*n - 5*c + 20 = 0, -c - 5 = -6*c. Suppose 483 = n*u + 2*z, -2*z + 98 = 2*u - 94. Is u composite?
False
Is (0 + 607)*2695/245 a composite number?
True
Suppose -13560 - 17447 = -39*w + 105454. Is w a composite number?
False
Let l = -66257 - -102181. Suppose -l = -6*f - 2426. Is f a composite number?
True
Suppose 74*k - 474645 = 59*k. Is k prime?
True
Suppose 3*c - 4*l - 11 = 0, -5*l = 4*c - 23 - 2. Suppose 5*p - 3*u - 8 = 0, c*p + 4*u - 2 = u. Is (-5*(1 - 2))/(p/599) prime?
False
Let d = 78205 - -138906. Is d a prime nu