*h + 16*t - 19*t - 2802 = 0, -b*t = 2*h - 1833. Is h prime?
True
Suppose 10*q - 213 = 237. Let r = q + -40. Suppose -506 - 1199 = -r*y. Is y composite?
True
Let y = 366 + 18. Suppose t - y = -t. Let w = 11 + t. Is w prime?
False
Is (1006809/12)/(15/25 + 14/(-40)) a prime number?
False
Suppose -4*k = 4, -2*i - k - 4*k + 1 = 0. Let h(g) be the first derivative of 107*g**2/2 - 2*g - 5. Is h(i) composite?
True
Let r be -59842 + (-1)/(0 + 1/3). Is (6/(-10))/(3/r) a prime number?
True
Suppose -k = -4*k + 6, 3*k + 239 = 5*b. Is b/(-147) + 26888/6 composite?
False
Let f(b) = b**2 + 15*b + 17. Let m be f(-14). Suppose 0 = m*o - 5*o + 9738. Suppose -8*p - p + o = 0. Is p a prime number?
True
Let p = -29 + 29. Suppose p = -t - 8 + 7. Is t + 2 - 3/(6/(-1460)) composite?
True
Let r(i) be the second derivative of i**4/12 - 5*i**3/6 + i**2 - i. Let p be r(2). Is (-4 + (-45)/(-6))*(-632)/p a prime number?
False
Let c be (8*(-10)/(-240))/(1/15). Suppose -3*r - y - 44702 = -8*r, -c*r + 44711 = 2*y. Is r a prime number?
True
Suppose 178510 = 2*s - 2*q, 0 = s + 5*q - 16084 - 73207. Is s prime?
True
Let b = 320741 + 6450. Suppose 0 = -26*q + 148635 + b. Is q a composite number?
False
Let h = -689311 - -1174512. Is h a prime number?
True
Suppose -25*p = -5*x - 26*p + 4643462, -p - 3714775 = -4*x. Is x prime?
False
Let r(u) = -10 + 4*u**2 + 13*u - 12*u**3 - 5 + 5*u**2 + 33. Is r(-4) composite?
True
Let q be ((-4)/(-6))/((-1)/(-6)). Suppose 0 = -5*m + 133*u - 129*u + 1173, -4*m + 3*u + 938 = 0. Suppose -q*w - m = -973. Is w composite?
True
Let c(m) = 207*m**2 + 42*m - 40. Is c(13) a prime number?
False
Let y(h) = -266136*h + 4583. Is y(-4) a prime number?
True
Suppose j + 6 = -4*y + 18, j = 2*y - 6. Suppose 2*c + 1267 = 5*g, 4 + j = -4*c. Is g a composite number?
True
Let j = -417 - -419. Suppose -98160 = -3*k - 3*f - 34989, j*k = f + 42108. Is k a prime number?
False
Suppose -5*t + 47 = 3*m - t, -3*t = -5*m + 59. Let i(h) = -21*h**3 + 22*h**3 - 11*h**2 + m*h + 7*h**2 - 7. Is i(9) prime?
False
Let w = 744904 + -371715. Is w a composite number?
True
Suppose 62*f = -35*f - 5606369 + 41046580. Is f prime?
False
Suppose 1622*p + 226357194 = 1844*p. Is p a prime number?
False
Suppose 3*c + 89 = 80. Is (c/9)/(1/(-20841)) a composite number?
False
Let m(c) = c**2 + 4*c - 8. Suppose 8*q - 6 = 9*q. Let y be m(q). Let g(s) = 69*s**3 - 10*s**2 + 2*s + 1. Is g(y) a prime number?
False
Let z = 24093 - -36966. Is z prime?
False
Let d(q) = -807*q + 3644. Is d(-9) a composite number?
True
Let b(x) = 334*x**3 - 21*x**2 + 33*x - 1. Is b(9) composite?
True
Let s = 292000 - -719461. Is s prime?
False
Suppose 2*g - 3915 - 2401 = 0. Let t be (2 + 8225/(-21))/(6/(-18)). Let u = t + g. Is u a prime number?
True
Let v = -175 + 320. Suppose 5*y - 127 = -3*w + v, -478 = -5*w + 4*y. Let s = w + 895. Is s prime?
False
Let b be 288/63 + 3/7. Suppose -b*t - 4*h + 3475 = -8920, 4*t = 3*h + 9916. Is t a composite number?
True
Let r = 1850 - -639. Let w = 6008 + r. Is w prime?
False
Let j(p) be the third derivative of 833*p**4/24 + 2*p**3/3 - 29*p**2 + 1. Is j(3) a prime number?
True
Suppose 0 = 5*o - 2*s + 21, 10*o = 9*o - 4*s + 9. Is (-25299)/(-18)*(5 + o) prime?
False
Let i(l) = -l**2 + 9*l - 16. Let p be i(6). Let u(c) = 652*c**3 + 2*c**2 - 2*c - 1. Is u(p) prime?
False
Is (1384112/(-228))/((-8)/6) a composite number?
True
Let k = -159 - -153. Is (-1)/(-2) + (-387060)/48*k composite?
False
Let t = -234 + 238. Suppose -4*q + 16216 = t*m, -5*m + 20250 = -0*m + q. Is m a composite number?
False
Is -27 + 31 - (-4)/((-8)/(-44570)) composite?
True
Let n(d) = -d**3 + 40*d**2 - 223*d + 5. Is n(20) a prime number?
False
Let i = 359 - 1271. Let f = 461 + i. Let g = f + 1220. Is g prime?
True
Let n = 271795 - 175924. Is n composite?
True
Let g(i) = 101*i + 60. Let v be g(8). Suppose -l + c + 1496 = 0, 8393 = 5*l + 4*c + v. Is l a prime number?
False
Let h be (-30)/(-12) - 6/4. Let f(u) = -3 - 9 + 81*u - 16*u + h. Is f(2) a composite number?
True
Suppose 11*h + 2*h = -12103. Is (-6 - h) + (-2 - 1) a composite number?
True
Let f(x) = 76*x**2 - 10*x + 6*x + 64 - 61. Suppose 0 = -4*n - 20, -w + 6 = -2*w - 2*n. Is f(w) composite?
True
Suppose -65744 = -2*g + 4*w + 54894, 0 = -4*g + 3*w + 241306. Is g prime?
True
Let i(a) = a**3 + 3*a**2 - a + 1. Let s be i(0). Is ((75776 + -17)*s/(-3))/(-1) a composite number?
False
Let k = 1089 - 441. Suppose -4*t + 18*t = 48314. Let x = t + k. Is x a composite number?
False
Let w = -130300 + 249669. Is w prime?
False
Let u be (1 - -2 - 5) + 4/2. Suppose 3*k + 317 - 3755 = u. Let i = -653 + k. Is i composite?
True
Let j = 154597 + -73088. Is j composite?
False
Suppose 21*k - 27*k - 3*l + 248826 = 0, k = -2*l + 41471. Is k prime?
False
Let y(b) = 67*b**3 - 2*b + 2. Let c = 36 - 31. Suppose 5*v = -3*x - 2, -2*x - 2 = -c*v - 9. Is y(x) a composite number?
False
Is ((-2)/(-18))/((-24)/(-10952712)) composite?
False
Suppose -4*c + 547 = -y, -3*y - 5*c = 1870 - 280. Let r = y + 3774. Is r a composite number?
True
Let v(n) = 85*n**3 - 56*n**2 - 31*n + 21. Is v(23) prime?
True
Let m = -36 - -35. Let v be 3 + (-1)/1*m. Suppose -v*u - 5*u + 1953 = 0. Is u a composite number?
True
Let o(l) = -8 - 6 + 3252*l + 21 + 10. Is o(2) composite?
False
Suppose -395953 = 17*o - 2357226. Is o a prime number?
False
Let m(g) = -76*g**3 + 3*g**2 + 7*g + 25. Let x(p) = -p + 9. Let h be x(13). Is m(h) prime?
True
Let j(i) = -10*i**3 - 11 + 3*i + i - 3 + 9*i**2. Suppose 0 = -3*m - n - 19, 55*m + n = 56*m + 5. Is j(m) prime?
False
Let p(a) = 281*a**2 - 2*a + 4. Let w be p(4). Suppose 0 = 2*s + 674 - w. Is s a prime number?
False
Let d(f) be the third derivative of 2*f**5/3 - 3*f**4/8 - 5*f**3/2 + 13*f**2 - 8*f. Is d(-8) prime?
True
Let w = -33538 + 64809. Is w prime?
True
Let x(r) = -26 + 1102*r - 337*r - 14. Let m be x(18). Suppose 6*q - 5752 - m = 0. Is q a prime number?
False
Let f = -3161 - -4722. Let h = 973 - 1431. Let u = f + h. Is u a prime number?
True
Let p = 37356 + -5669. Is p composite?
False
Suppose -2*z = z + 6, 0 = 3*k - 2*z + 2. Is 9 - -6107 - 1 - k a prime number?
False
Let d(i) = i**3 - 7*i**2 + 2*i - 1. Let b be d(7). Let f(y) = 37*y**2 + 6 - 26 + b. Is f(3) a prime number?
False
Is (-11 + 5272)/((-7)/(-413)) a prime number?
False
Let n = -729775 + 1025402. Is n a prime number?
False
Let u(c) be the first derivative of -c**4/4 - 14*c**3/3 - 10*c**2 - 5*c - 31. Let n be u(-9). Let r = n - -767. Is r composite?
True
Suppose 4*n = -4*t + 60, -4*n + 15 = -0*t + t. Let m(l) = 93*l**2 + 15*l + 11. Is m(t) composite?
True
Is (120/200 + 27/(-20))/((-4)/2600368) composite?
True
Let n(m) = 3*m**3 + 4*m**2 + 8*m + 6. Suppose -4*x - 8 = r, -2*r - 5 = -3*x - 0. Let w be n(r). Let h = 813 - w. Is h prime?
True
Let c(a) = -a**2 + 1143. Let s be c(0). Let w = -544 - -548. Suppose -s = -w*y - 5*y. Is y composite?
False
Let o be (-1 - 0)*22210/(-3 - 2). Suppose -b - o = -5*q, -638 = -4*q - 2*b + 2924. Is q a prime number?
False
Suppose 2*g + 2*d - 20 = 0, -d + 2 = -2*g + 7. Suppose -3*i + 6 = g*k - 6, i = 2*k - 7. Suppose z - 425 = -2*o, -2*o + 648 = k*z - 615. Is z composite?
False
Let t(s) = -33401*s + 514. Is t(-9) composite?
False
Let j be -2*(-9 + 7) + (0 - -1). Suppose -j*b = -10*b + 8545. Is b a prime number?
True
Let c(g) = 33*g**2 + 40*g + 7426. Is c(-143) prime?
True
Suppose 8*z - 7*z + 2*l - 10267 = 0, -l + 10262 = z. Suppose z = 130*n - 127*n. Is n a prime number?
False
Let a = 55 + 7. Suppose 2*c - 2*o = 968, 5*o = 3*o. Suppose 2*v - c = -a. Is v composite?
False
Let n(p) = 2*p**3 - 12*p**2 + 91*p + 26. Let a be n(-15). Let l = 18812 + a. Is l composite?
True
Let s(t) = -t**2 - 17*t + 17. Let x be s(-16). Let o = x + -23. Is (-8)/o*(-615)/3 - 3 a prime number?
False
Let v = 153 + -141. Let f be ((-7)/(-2) - 2)*16/v. Suppose 3*n + 15 = 0, -f*n - 204 - 471 = -5*i. Is i prime?
False
Let u(j) = -2*j**3 - 3*j**2 - 16*j + 11. Suppose -3*o = 2*o + 2*t + 40, -5*o - 5*t - 25 = 0. Is u(o) prime?
True
Let n be -1 + (6/(-8))/(2/(-24)). Suppose r = -2*z + 6, 19 = n*r - 3*r - z. Suppose 9*x = r*x + 1535. Is x composite?
False
Let z(i) = -3*i**3 - i - 1. Let v be z(-1). Suppose -5*r - 5*w = -10*r + 11940, -v*r + 7188 = 5*w. Is r a composite number?
True
Let w = -192 - -189. Let f(j) = -4677*j - 5. Is f(