1. Let n(c) = 10*c**2 + 10*c + 31. Let t(d) = -40*d**2 - 40*d - 125. Let b(a) = 9*n(a) + 2*t(a). Is b(o) composite?
True
Suppose -2*a + 12*i + 426930 = 15*i, 0 = -4*a - i + 853840. Is a a prime number?
False
Suppose -54*q + 48*q + 42 = 0. Suppose 472 + 151 = q*k. Is k a composite number?
False
Let d be 1 - -1 - ((-3 - -1) + 1). Suppose -d*b - 4*b = 35. Is (b - (-12)/3) + 398 prime?
True
Let r be (-60)/90 - 2/(-3). Suppose r = -10*b + 2061 + 66009. Is b a prime number?
False
Suppose 5*n + 33 = u + 7, -30 = -5*u + 5*n. Let t = 1635 + -4296. Is t*((-32)/(-12) - u*3) a composite number?
False
Let t(c) = 3*c + 4. Let l be t(8). Suppose 0 = 4*p + l - 40. Suppose 0 = -2*m - p*y + 292, m + 4*y - 151 = -0*y. Is m composite?
True
Suppose 24575 + 937963 = 3*g. Is g a prime number?
False
Suppose k - 1000771 = -5*y, k + 336561 = 3*y - 263908. Is y composite?
True
Let n be (-6 - (-125)/20)/(2/8). Is -4 + (3 - (-1 - n)) - -1732 prime?
True
Suppose -7*k + 273633 - 214225 + 1364763 = 0. Is k a prime number?
False
Suppose 4*d - 4*i = 3*d - 2, 2*i - 46 = -2*d. Suppose d*b - 1448 = 10*b. Is b a prime number?
True
Suppose -20*v + 159*v - 21384588 = 15681569. Is v prime?
True
Let j(l) = 3*l**3 - l + 3623. Let d = 54 - 54. Is j(d) composite?
False
Let y = 16291 - 7368. Is y a composite number?
False
Let b = -235 + 151. Let t be -4*51/b - (-4)/7. Suppose -5*u + t*v + 1705 = -v, 3*v + 352 = u. Is u a composite number?
False
Let r(b) = -b**3 + 5*b**2 + 5*b + 6. Let w be r(6). Suppose 0*o + 19370 = 2*o - 4*n, w = 5*o + 2*n - 48449. Is o composite?
False
Let l(n) = -2*n**2 + 20*n + 1. Let a be l(9). Let h(t) = t**3 - 9*t**2 - 21*t + 18. Is h(a) a composite number?
False
Let x(v) = 1415*v**2 - 2*v. Suppose 0 = 5*j - j - 3*d + 19, 0 = j + d - 4. Is x(j) a prime number?
False
Let s(o) = -1299*o**3 + 7*o**2 + 17*o + 3. Let f be s(-3). Suppose -7*k + 118948 = f. Suppose -2*h = 2*h - k. Is h a composite number?
True
Let c(o) = 909*o**2 + 2*o + 2. Let u be c(-1). Let x = -647 + u. Let q = x - -217. Is q a prime number?
True
Suppose -2*m - 308847 = 499*h - 502*h, 4*h - 4*m - 411800 = 0. Is h composite?
True
Let q = 6952 + -1556. Let p = q + -2763. Is p a composite number?
False
Suppose -19*r + 6677377 = -3871822. Is r prime?
True
Suppose 0 = 3*v + 78 - 636. Suppose -12 = 4*u - 3*m - v, 0 = -4*u - 2*m + 184. Suppose -n = u - 158. Is n composite?
False
Let w be 5/10*2*5. Suppose -r + 7464 = w*h + 2460, 2*h = r - 5039. Is r composite?
True
Let b = -32619 + 57760. Suppose -b - 5500 = -13*l. Is l a prime number?
True
Let h(n) = -54*n**3 + n**2 + 2*n - 2. Let t = 21 - 24. Let d be h(t). Suppose -2*j = j + 4*u - d, -5*j - 5*u = -2425. Is j a composite number?
True
Let b(i) = -i**3 - 18*i**2 + 28*i - 14. Let l be b(-21). Suppose 0 = -5*h - 4*x - 129 + l, x + 229 = 2*h. Let t = h - -53. Is t a prime number?
False
Suppose -16148 = 4*q - 3*c, 0 = q - 4*c + 1217 + 2820. Let b = 27510 + q. Is b prime?
True
Is (-436871)/(559/43 - 28/2) a composite number?
False
Suppose 0 = 20*n - 8*n - 4836. Suppose -n*m = -387*m - 50608. Is m composite?
False
Suppose -3*o - 860 = -2*z - o, -2*o = 2*z - 868. Suppose -18*y + 191682 = -z. Is y a composite number?
True
Let p = -117147 + 228086. Is p a composite number?
False
Suppose -c - 3*c + 11703 = -j, 5*c = j + 14629. Let d = c - 972. Is d a prime number?
False
Let w = 231105 + -31238. Is w prime?
False
Suppose -7 = 2*a - 11. Suppose a*b - 60 = 12*b. Let t(x) = -2*x**3 - 6*x**2 - 5. Is t(b) a composite number?
False
Let t = 57524 + 172583. Is t composite?
False
Suppose 5*b - 2*q - 2*q = 109825, 0 = -5*b - 4*q + 109785. Is b a composite number?
False
Let c be (48/20)/((-9)/(-232005)). Is (-2)/(c/(-20620) + 3) composite?
True
Let s(c) = -9 - 63*c + 120*c - 56*c**3 - 48*c - 5*c**2. Let u be s(4). Let v = -2423 - u. Is v composite?
True
Let x(c) = 5*c**2 + 24*c + 2496. Is x(87) a prime number?
False
Is 8 + (408131 + 19 - -11) composite?
False
Suppose 0 = 406*m - m - 125803935. Is m prime?
True
Let m = 14 - 20. Let n(s) = 2*s**2 + 12*s - 2. Let r be n(m). Is (3/r)/(17/(-35326)) composite?
True
Suppose 6 = -4*i + l, 0*l - 3*l = -4*i - 2. Let u(m) = -35*m**2 + 5 - 12111*m + 283*m**2 + 12114*m. Is u(i) composite?
False
Is 6365645/91 + 66/77 a composite number?
True
Suppose -36*h + 20618696 = -8111716. Is h prime?
True
Let c(j) = 45692*j**2 - 70*j - 135. Is c(-2) a prime number?
True
Let o(n) = n**2 - 2*n + 24. Let b be o(-7). Let h = b - 82. Suppose 0 = -h*d - 3*l + 751, -4*d - 2*l + 594 = -3*l. Is d a composite number?
False
Let t be (-6)/(-9)*(-3 - -19 - 4). Suppose -617 + 3033 = t*v. Let i = v + -189. Is i a prime number?
True
Let d(p) = 663*p**2 - 2*p - 62. Is d(-3) a prime number?
False
Let d(x) = -126*x + 18. Let b be d(4). Let o be ((-2)/3)/(36/b). Is (-9)/(o/(-338)) + -3 composite?
True
Suppose -31*m - 17940 = -19*m. Let n = m - -3164. Is n prime?
True
Is (-11 - -13)/((-4)/(-41614)) a prime number?
True
Is (105 + -108)/(((-24)/(-9639598))/(-4)) composite?
False
Is 1 - (0 + 5) - 1*(-31305)/5 a prime number?
True
Let z(i) = 71*i**2 - 4*i + 3. Suppose -3*v + 6 = -6. Let p be z(v). Suppose -p - 2734 = -7*k. Is k prime?
False
Let g = -1395 - -1389. Suppose -l + 1 = -2. Is 54 + (g/(-9) - 5/l) a composite number?
False
Suppose 0 = -5*j - 5*p + 961700, j - 16924 = 4*p + 175421. Is j prime?
True
Let y = 63871 - 31142. Is y composite?
True
Let c be (3 + -24)/7 + 28. Suppose 31*s - c*s - 57210 = 0. Is s composite?
True
Let b be (-12)/54 - 397851/(-27). Suppose -4*r + b = 3*a, -17*r - 4903 = -a - 14*r. Is a a prime number?
True
Let b(c) = -3*c + 35. Let x be b(6). Suppose 9932 = x*w - 13*w. Is w a prime number?
False
Let x = 50 - 62. Let a be x/4*(-2)/(3 + -1). Suppose 0 = -4*g + 16, a*w + 4*g - 6067 = -0*g. Is w a composite number?
False
Suppose -1387700 = -9*r - 541394. Is r a composite number?
True
Suppose 0 = 3*c + 59*r - 53*r - 41205, -3*c = 3*r - 41202. Is c prime?
False
Let v = 3 + -1. Suppose 2*j + 2*j + 5743 = 3*q, v*q - j = 3832. Let t = q - 1248. Is t a composite number?
True
Let q(c) = 75*c**2 - 2. Let n(f) = -f**2 + 10*f - 3. Let y be n(10). Is q(y) a composite number?
False
Let b(w) = w**2 + 9*w + 5. Let t be b(-2). Is (6/t)/(6/(-25011)) a prime number?
False
Let y be -1*(-2 - -1) + 4. Suppose 8*h = y*h - 9. Let z(d) = 72*d**2 - 3*d - 2. Is z(h) a composite number?
True
Let n(w) be the third derivative of -433*w**4/3 + 3*w**3/2 + 60*w**2. Is n(-2) composite?
True
Is 8 - -14*367057/46 a prime number?
True
Suppose -3*d + 87009 = 3*f, 3*d - 32741 = -f - 3750. Is f prime?
True
Let t be ((-5)/(-120)*8)/((-1)/(-114)). Suppose -36274 = -t*n + 24*n. Is n composite?
False
Let y(g) = 228*g + 83. Suppose -2*p = -6*p + 48. Is y(p) a composite number?
False
Let o = -217 - -220. Suppose -1977 = -10*f + 9*f - 4*x, 0 = o*f - x - 5918. Is f prime?
True
Let x(m) = -m**2 - 3*m + 348. Let f be x(17). Suppose -3*d = -f*d - 3*o + 103277, 5*d - 2*o = 103257. Is d prime?
False
Suppose 2*v - 5*n - 678436 = 0, 5*v = -5*n + 1263555 + 432570. Is v prime?
True
Suppose 0 = 3*i + 3*h - 332766, 4*i - 224*h = -229*h + 443693. Is i composite?
False
Suppose -3*t - 4 = 8, 5*i = 2*t + 32293. Is i composite?
True
Let i = -752 - 1268. Let t = 11023 - i. Is t prime?
True
Let w = -721285 + 1090778. Is w prime?
False
Let y(z) = -36*z - 29*z - 13 + 4*z**2 - 29*z + 105*z. Is y(8) a prime number?
True
Let j(k) = -2*k + 12. Suppose f - 3 = 0, -3*s + 12 - 3 = -3*f. Let m be j(s). Suppose -307 = -0*o - o + g, m = -5*g. Is o a composite number?
False
Suppose -4*r + 1895 = -6449. Suppose 35*t = 102*t + 85291. Let m = r + t. Is m a composite number?
True
Let u be (6 + 1)*3/21. Let a(c) = 228*c + 298*c + 513*c. Is a(u) a prime number?
True
Suppose -w + 25 = 4. Suppose 3*y + 4*y - w = 0. Suppose -3*b = y*d - 342, 5*d - 520 = -0*b + 5*b. Is d composite?
False
Let r = -5 - -3. Let f be ((-4)/(-5))/(r/10). Is 287 - (-10)/5 - f a composite number?
False
Let j(w) = 3816*w - 581. Is j(13) a composite number?
True
Suppose -5*g - 2200 = -5*u - 0*u, -4*u + 1770 = -2*g. Let k = u - 374. Is k composite?
False
Is ((-323130)/(-8))/5*11/((-66)/(-8)) a composite number?
False
Let a(l) = 11*l**2 + 20*l + 577. Let k(p) = -4*p**2 - 7*p - 192. Let n(h) = 3*a(h) + 8*k(h). Let b be n(0). Is (4 - b/10)/((-2)/20) a composite 