179 - h. Is t a prime number?
True
Suppose 2*y - 33*u = -31*u + 39812, 59717 = 3*y - 4*u. Is y composite?
True
Let z(h) = 51*h + 180. Let b be z(19). Let q = b + -784. Is q composite?
True
Let r be 2/7 - 5/(-7). Let k be -2386 + (-20)/((-140)/(-63)). Is -2 + r + 0 - k/5 a composite number?
True
Suppose -18*h = -764623 - 2193191. Is h a prime number?
False
Let b(h) = -76714*h - 4523. Is b(-13) prime?
False
Suppose -w = 3*x + 1, 0 = x - 4*x - 3*w - 3. Suppose x = -2*q - 1395 + 6091. Suppose 0 = 4*a + k - 0*k - 2348, 0 = 4*a + 2*k - q. Is a prime?
True
Let u(h) = 12*h**2 + 29*h + 58. Let k be u(-21). Suppose 4*l = -3*a + 14225, -6*a = -5*a + l - k. Is a a composite number?
True
Let g(t) = 8*t - 10. Let n be g(6). Let k = n + -33. Suppose 7690 = k*w - 3415. Is w prime?
True
Let x(z) = 3 - 6*z - 5*z - 3 - 2. Let j be x(-4). Is (2/(-3))/(j/(-122787)) a composite number?
False
Suppose 2*i + 6071 = 66825. Is i prime?
False
Is (152/760)/(2/1929590) a composite number?
True
Suppose -2*s + 191968 = -23*u + 26*u, -2*u + 3*s = -127957. Suppose -u = 17*w - 63*w. Is w composite?
True
Let g(b) = -5*b**3 - 7*b**2 - 2*b - 11. Suppose -20 = -12*f + 10*f. Suppose 2*j + 3*t = 2*t - f, -5*t + 10 = 0. Is g(j) prime?
True
Let i(p) = -5*p + 597*p**2 + 206*p**2 + 924*p**2 + 4 + p. Is i(1) a prime number?
False
Suppose 58*v = 94*v - 1944684. Is v a prime number?
False
Suppose 2*c + v - 109655 = 0, -4*c + 158140 + 61161 = 5*v. Is c composite?
False
Suppose 1362*z = 1372*z - 381910. Is z a prime number?
False
Is (0/(-2) - 651411/(-39)) + 240/1560 prime?
True
Let g(t) = 86*t + 16. Let u = 6 - -1. Let c be g(u). Suppose -4*l = -l - c. Is l composite?
True
Let k = 213 + -212. Is 569*(2 + 0 + k) a composite number?
True
Suppose 57*g = -4*g + 12415391. Is g a composite number?
False
Is (-6982863)/(-69) - 14/(-161) a prime number?
False
Is (0/1 - 7)/(1/(-14387)) prime?
False
Suppose 1447 = 3*p - 2*d, -14*d = 4*p - 13*d - 1933. Let i = p + 668. Is i prime?
True
Suppose -5 = 8*v - 21. Suppose t + q = 1906, 5*t - 3*t - 3816 = v*q. Is t composite?
False
Suppose 268*l = 10053288 + 7599068. Is l prime?
True
Suppose 2*s - 1240993 = -11*s. Is s composite?
False
Suppose 4*x + 3*m - 81 = 0, -5*x - 2*m = 64 - 160. Let u(f) = 3*f - 1. Let n be u(1). Is (n - -3073) + x/(-9) composite?
True
Let m = -8041 - -38202. Is m a composite number?
False
Suppose 0 = b + t, 0 = b + b + 3*t. Let k(r) = 3*r + 781. Let u be k(b). Is u + (-3)/9*0*-1 a composite number?
True
Let s = -14 + 13. Let u(t) = -459*t**3 + 3*t + 3. Let w be u(s). Suppose 0 = -8*n + 365 + w. Is n prime?
True
Suppose -2*a + x = -691904, -5*a + 10*x + 1729757 = 6*x. Is a a composite number?
False
Is 171577890/1386 + 4/(-7) prime?
False
Let c be (-1 - -4) + 4/(28/91). Suppose -c*z = -30*z + 9646. Is z a prime number?
False
Let u = 81150 - 41449. Suppose 7*k + 508 = u. Is k composite?
True
Is (34972/((-49)/(-7)) - 9)*7 composite?
True
Let m = 2 - -38. Let b = -36 + m. Suppose -b*r + 4333 = 5*v, 2*v - r = -2*v + 3479. Is v composite?
True
Suppose 5*z - 170085 = 4*l + 6682, -2*z - 3*l + 70716 = 0. Suppose 8460 = -15*k + z. Is k composite?
True
Suppose 17*l - 64 = 9*l. Suppose -6*a + 15946 = l*a. Is a composite?
True
Let t = 2060 - 350. Suppose 4*m + h = 2786 - 506, 3*m - t = 5*h. Suppose i + 32 = -k + m, -1079 = -2*k - i. Is k a composite number?
False
Let a be ((-10)/(-6))/(((-77)/21)/(-11)). Suppose 0 = -2*q - 3*h + 3317, -a*h - 2985 = -3*q + 1943. Is q composite?
True
Suppose -3*k + 5*k = -2092. Let x be k*((-2)/(-4) - 2). Let p = x + -880. Is p prime?
False
Let x be (-201036)/55*((-21)/9 - 1). Suppose 19*z + x = 21*z. Suppose 4*d = 5*g - g + z, -3*d + 5*g = -4569. Is d prime?
True
Let x be 1*-5*(-3)/5 - -5. Let f be 16/(-32)*(-4)/(-2). Is (f - (-4 + x)) + 472 prime?
True
Let y(d) = d**3 + 11*d**2 - 10*d + 27. Let j = -43 - -31. Let n be y(j). Suppose -u + p + 1645 = -3*p, -n*u = -p - 4968. Is u a composite number?
False
Suppose -209*d - 221*d = -73423939 - 16195371. Is d a prime number?
False
Suppose 3*i - 5257297 = 4*c, 4*i - 1488*c + 1485*c = 7009727. Is i prime?
False
Let i = -26 + 29. Suppose -i*j - j + 496 = 0. Is ((-4)/8)/((-2)/j) prime?
True
Suppose -5*y - 25 = 0, -17*y = -3*s - 21*y + 173002. Is s a prime number?
False
Let s(k) = -31797*k + 520. Is s(-3) a composite number?
False
Let b = 12 + -18. Is (-13677)/(-6) - b/4 prime?
True
Is (14 + -3 + (-11 - -1))/((-1)/(-82339)) a composite number?
False
Let d(n) = -174*n - 522. Let c be d(-4). Let s(z) = -23*z + 1. Let k be s(1). Is (-4)/(-3) + c/(-18)*k prime?
False
Let w(u) = -2*u**3 - 2*u**2 - u + 2. Let c be w(-6). Suppose 5*p + 22 = 2, -4*p = -4*i + c. Let n = 155 - i. Is n prime?
True
Suppose 4*w - 16369 = 1871. Suppose 0 = 4*x + 7 - 27. Suppose 0 = 2*n + m - 1827, 2*n + 3*n - x*m = w. Is n a composite number?
True
Suppose -4*a + 33 = -4*l + 5, -5*l - 30 = -4*a. Suppose 4*b - a*o - 96134 = 0, 5*b + 0*o - 120151 = -2*o. Is b a composite number?
True
Is 2155700/100*(-1 + 0 + 2) a prime number?
True
Let a(d) be the second derivative of 175*d**3/3 + 43*d**2/2 + 203*d + 1. Is a(17) a composite number?
True
Let z(k) = 7*k + 2391. Suppose 7*j = -3*j. Is z(j) composite?
True
Let n(a) = -5*a**2 + 14*a - 5. Let x(d) = -4*d**2 + 14*d - 4. Let o(w) = 5*n(w) - 6*x(w). Let v(q) = q. Let j(b) = -o(b) + 5*v(b). Is j(8) prime?
False
Suppose 3*b + j = 6 - 1, -b = -2*j + 10. Let x be (-89)/(6 - 25/4). Suppose 3*l + 677 = 2*n, -n + 5*l + x = -b*n. Is n a prime number?
True
Suppose 21*b = -43*b + 5392064. Is b a prime number?
False
Let o be ((-9)/(-15))/((-6)/(-30)) - -1. Let h be 703 + 2 + -4 - o. Suppose -5*q - 2*k = -2097, -5*q - 4*k + 1402 = -h. Is q a composite number?
False
Let t(q) = q - 4. Let r be t(-9). Let m be (1 + r)*(-193 + 0)*1. Let j = -1439 + m. Is j a composite number?
False
Let w be (0 + -1)/(-9 - -10). Let d be w/2 - 7/2. Is (-12)/d - (-2 + -30) a composite number?
True
Suppose -4*j = 22*o - 2857664, 5*j - 1476497 = -3*o + 2095730. Is j prime?
False
Suppose 52500 = 64*m - 52*m. Suppose -4*g = 2*x - m - 3447, 0 = -2*x - 5*g + 7823. Is x composite?
True
Let d = 51268 - -323713. Is d composite?
False
Suppose -z + 3*g + 29631 = -95564, -4*z - 4*g + 500876 = 0. Is z composite?
True
Let j(b) = 4*b**2 - b - 5. Let y be j(4). Suppose y*w - 51*w = 1320. Is (w + -4)*(0 - (-3)/6) composite?
False
Let x(z) = 1724*z + 4. Let o(p) = 1723*p + 4. Let u(g) = 3*o(g) - 2*x(g). Is u(3) a composite number?
False
Suppose 2*h = -2*y + 961017 + 601537, 5*y = 2*h + 3906385. Is y composite?
True
Let x(m) = 59*m**3 - 33*m**2 + 95*m + 71. Is x(20) prime?
True
Suppose 0 = 24*h - 21324 + 2364. Let d = 9 - -108. Let r = h - d. Is r a prime number?
True
Let n(j) = 1378*j + 601. Is n(42) composite?
False
Let h = -9 + 5. Let z(t) = t**2 + 4*t - 2. Let p(v) = -21*v**2 + 32*v - 1. Let g(y) = -p(y) + 6*z(y). Is g(h) a prime number?
False
Let f = 3964 + -1791. Is f a composite number?
True
Let q be (-6862)/(-1314) - 2/9. Suppose v - 9 = -2*u, 8*u - 5*v = 3*u + 15. Suppose -3*r + q*i + 2169 + 8 = 0, 3579 = 5*r + u*i. Is r composite?
False
Suppose -2*c + c + 108 = m, -4*c = -3*m - 453. Suppose 0 = -y + 2*p + 3*p + 48, -4*p - c = -3*y. Suppose -3*l = -1902 + y. Is l composite?
True
Let k(z) = -23*z + 3571. Suppose 8 - 8 = -8*c. Is k(c) a prime number?
True
Suppose -229*n + 223*n - 190092 = 0. Let a = 72049 + n. Is a prime?
False
Suppose 0 = -5*j - 5, -5*k + j = -10*k + 59. Let a = 14 - k. Is 7427/14*4/a a prime number?
True
Let z be -12*(-6)/36 + 1 + 2. Suppose -m + 20610 = 5*y, -z*m + 128758 = 5*y + 25608. Is m a composite number?
True
Suppose -5*h - 360 = -11*h. Let v = h - 129. Let m = 442 + v. Is m prime?
True
Let t(b) = 28*b**2 + 6*b + 23. Let z(r) = r**2 - 16*r + 34. Let g be z(14). Is t(g) a prime number?
False
Let x(r) = -35*r**3 + 14*r**2 + 53*r + 21. Is x(-5) a composite number?
False
Suppose 725*u = 709*u + 870704. Is u a composite number?
False
Suppose -11 = 3*v + 2*d + 3*d, 4*d + 20 = -4*v. Let x(y) = -6 - 72*y + 10*y + 8 + 1. Is x(v) composite?
True
Suppose -3*y + 4005 = -3*d, -y - 72 = 5*d + 6591. Let t = 2848 - d. Is t a prime number?
False
Let u = -135 - -140. Suppose -5*b + s + 8640 = 0, -1186 + 8069 = 4*b + u*s. Is b prime?
False
Let g be (-7 + -1)*3/6. Let x be 64/(-48)*(g + 1). Suppose -m + 