ppose f*u - 15 = 0, 5*l - 210 = u - 6*u. Is l a prime number?
True
Let x(h) = h**3 - h - 1. Let m(a) = 2*a**3 + a**2 - 9*a + 2. Let f(i) = m(i) - 3*x(i). Is f(-6) a prime number?
True
Let z be (-171)/(-36) + (-6)/8. Suppose 0*l = z*l - 76. Suppose -b - a + l = -20, -4*b = -3*a - 128. Is b composite?
True
Is (-32339)/(-9) + 54/(-243) a prime number?
True
Let p(k) = k. Let q(r) = -r**3 - 4*r**2 + 6*r + 5. Let y be q(-5). Let c be p(y). Suppose w = -2*x + 5*w + 310, c = x + w - 158. Is x composite?
False
Let l = 18 + -15. Suppose 4277 = l*t + 518. Is t composite?
True
Let p be ((-148)/(-5))/((-6)/(-105)). Suppose -5*x = -4*j - p, -2*x - 6*j = -4*j - 218. Is x prime?
False
Let q(c) = -107*c + 2 - 2 - 5. Is q(-2) a prime number?
False
Suppose 3*g - 6 = -0*b - b, 0 = -2*b - 3*g + 18. Let i be (9*-5)/(b/(-16)). Is 16044/i - (-4)/(-10) prime?
False
Let n(a) = -a**3 + 5*a**2 + a - 1. Let u be n(5). Suppose -5*h = -u*h + 77. Let r = h - -186. Is r a composite number?
False
Suppose -4*d + 15 - 1 = -2*n, 3*n = -2*d + 27. Suppose -d*k - 18351 = -15*k. Is k a composite number?
False
Let z(l) = l**3 + 11*l**2 + 3*l + 1. Let m = -15 + 18. Suppose 3*j = -4*b - 36, -m*b - 5*j - 38 = -0*b. Is z(b) composite?
False
Suppose -4*p = -2*p - 8. Suppose 2*t + a - 1987 = -p*a, -3*t + 3033 = -3*a. Is t a prime number?
False
Suppose 61*x = 58*x - 2*t + 16667, -2*x + 11110 = 2*t. Is x prime?
True
Let d(f) = 3691*f**2 - 19*f + 59. Is d(5) a composite number?
True
Let q = -56 - -56. Suppose 2*o + a - 1113 = q, 0 = 4*o - 7*o + a + 1672. Is o a composite number?
False
Let x be (15 - 2) + (-3)/(12/4). Is (15/12)/(-5) - (-1359)/x a composite number?
False
Let s be 10/(-45) + (-11)/(-9). Let v be s/1 + (-4 - -5). Suppose -131 - 455 = -v*w. Is w composite?
False
Let p(a) = 11*a + 1. Let w be p(-1). Let v(l) = -8*l - 6. Is v(w) composite?
True
Let w(l) = 4*l**3 + 865 - 8*l - 5*l**2 - 856 + l**3. Is w(5) composite?
True
Suppose 4*a - 1425 = a. Suppose 1270 - a = 5*m. Is m prime?
False
Suppose 2*b - 9 = 4*t + 45, 54 = 2*b - 5*t. Let d = b + -22. Suppose 63 = 3*l + 5*c - 325, -d*c - 580 = -5*l. Is l a composite number?
True
Let f(q) be the second derivative of q**4/12 - 5*q**3/6 + 3*q**2/2 + 5*q. Let t be f(5). Suppose -5*k + 5*r = -46 - 184, -2*k + 92 = -t*r. Is k a prime number?
False
Suppose -14*d = -182725 + 70179. Is d composite?
False
Let g(p) = 2*p + 34. Let c be g(-17). Suppose c = -6*w - 120 + 1926. Is w prime?
False
Let b(d) be the second derivative of 17*d**4/4 + 2*d**3/3 + 3*d**2/2 + d. Let n(p) = p**2 - 4*p - 2. Let i be n(4). Is b(i) a prime number?
True
Suppose -q + 5*q - 7552 = -2*o, 0 = 5*o + 3*q - 18915. Suppose 5*b + o = 7*b. Is b prime?
False
Let n(r) = -329*r - 398. Is n(-29) a composite number?
True
Let l be 1/4 - (-21)/(-4). Let w(o) = 17*o - 5 - 14*o - 17 - 10*o - 4*o. Is w(l) a prime number?
False
Let h be -1 - (-3 + 2 - -12). Let u(p) = p**3 + 11*p**2 - 15*p - 4. Let q be u(h). Suppose 339 = o - q. Is o a composite number?
True
Let o = 72 - 55. Suppose -6*h + o*h - 2849 = 0. Is h prime?
False
Let b(l) = l**2 - 7*l. Let i be b(7). Suppose i = 7*g + 35 - 126. Is g a prime number?
True
Suppose 15185 = 89*c - 84*c. Is c composite?
False
Let h(b) be the first derivative of -475*b**2/2 + 9*b + 1. Is h(-2) prime?
False
Suppose 0 = -5*t + t + 1488. Let y = 1283 + t. Is y prime?
False
Let t be (-9)/(5/(-155)*1). Suppose -t = -6*l + 39. Is l prime?
True
Let v be (-2)/((-1264)/(-634) + -2). Let a = v - 210. Let h = a - 48. Is h a composite number?
False
Let a be 15/15*(2 + -2)/1. Is (63824/96)/(1/6 + a) a composite number?
False
Let m = -141 + 481. Suppose h - 84 = -3*z, 5*h - 5*z = -4*z + m. Is h a composite number?
True
Let g be 0/((-2)/5*(4 - -1)). Suppose -4*o = h - 4177, 4*o - h - h - 4162 = g. Is o composite?
True
Let c(z) = 18 + 24*z + 2*z - 31. Let h be c(8). Suppose -4*x + h = -89. Is x prime?
True
Let h(c) = -20 - 17 + 3*c + 13*c. Is h(6) prime?
True
Let h(c) = -c**3 + 9*c**2 + 3*c - 5. Let o = 17 - 8. Suppose -o + 1 = -y. Is h(y) a composite number?
False
Let b(t) = t**2 + 5*t + 7. Let v be b(-8). Let l = v + -18. Let z(n) = -n**3 + 13*n**2 + 15*n + 8. Is z(l) composite?
True
Suppose 416351 = 63*z - 522160. Is z a prime number?
True
Suppose 6 - 2 = 2*p. Let n be 89/p*(3 - -1). Suppose -m - n = -3*m. Is m a composite number?
False
Suppose 10*c - 5*c + 390 = 0. Let j = c - -177. Let z = j - 40. Is z a composite number?
False
Suppose -2*n + 7352 = f, -f - 6*n + 2*n + 7356 = 0. Suppose 2*p + f = 4*l, 4*l - 5*p - 7356 = -p. Is l prime?
False
Let p(z) = -z**2 + 26*z - 162. Let j be p(11). Let k(q) be the second derivative of 5*q**4/12 - q**2 + q. Is k(j) prime?
True
Is (8803 + -12 + 12)/(-1 + 2) a prime number?
True
Let x = 3102 + 2399. Is x composite?
False
Suppose -65*h = -73*h + 130408. Is h prime?
True
Let v(i) = 3*i + 9. Suppose 66 + 3 = 3*k. Suppose -k = -2*z - 3. Is v(z) composite?
True
Let v = 80 - 84. Is (31/v)/(-4 - 15/(-4)) prime?
True
Suppose -2579 - 1943 = -7*u. Suppose -4*y = -2*y - u. Is y prime?
False
Suppose -a + 2 = 0, -a + 910 = 2*y - 3674. Is y a prime number?
False
Let s(d) = -82*d - 83. Is s(-8) composite?
True
Suppose 3*c = 2*n + 341, 5*c + 19 = -6. Let q = 297 + n. Is q a composite number?
True
Suppose 3*i - 4*i = -2. Suppose -j + 5*h = -1029, j + 3*h - 3051 = -i*j. Is j prime?
True
Suppose m - 317354 = -45*m. Is m composite?
False
Suppose 0 = -2*d + 6, 2*x - 12 = 4*d. Suppose 1740 = -0*h + x*h. Is h composite?
True
Suppose -2*f - 5 + 1 = -2*j, 3*j = -3*f + 24. Let l(p) = -p**2 - 2*p. Let z be l(-2). Suppose -j*a + 2*w + 493 = z, 3*w = -11 - 1. Is a prime?
True
Let u = 28791 + 3336. Is u a prime number?
False
Suppose 38773 = -1006*t + 1013*t. Is t prime?
False
Let i = -4994 + 95221. Is i prime?
True
Suppose -84 = -16*x - 4. Let w(j) = -75*j - 10. Let t(o) = -1. Let f(k) = 6*t(k) - w(k). Is f(x) composite?
False
Let k(u) = -2*u**3 - 2*u**2 - 3*u - 1. Let d be k(-1). Let h be (44/4)/(d/10). Is h/3*(-6 - -9) composite?
True
Is 3/9*(-5 - -1556) composite?
True
Suppose 35*w = 33*w + 16. Is (1082/(-6))/(((-32)/12)/w) composite?
False
Let a = 0 + 11. Suppose 3*c = -n - 0*c + 13, -5*c + a = -n. Let s(v) = 5*v**3 + v - 5. Is s(n) a prime number?
False
Let b(a) = -3*a**2 - 11*a - 1. Let o be b(-5). Let v be (-15342)/o - 8/14. Suppose 4*l = 2*l + v. Is l composite?
True
Suppose 0*f - 2*f = 1472. Is (f/(-48))/(2/3) a prime number?
True
Suppose -3*u + 359 + 11489 = h, u = 0. Suppose -9*o = -o - h. Is o composite?
False
Suppose 0 = -0*t - 2*t - 692. Let x = -241 - t. Suppose 31 = -2*a + x. Is a a composite number?
False
Let n = -5 - -7. Suppose 5*u + 802 = 3*c + c, -n*c - 4*u + 414 = 0. Is c a composite number?
True
Suppose 7 + 2 = -s - 2*m, 5*s = -4*m - 21. Let n be ((-193)/s)/(1 + 0). Let i = n + -126. Is i a prime number?
True
Let s = 1633 - 888. Suppose -5*x + s = -4*x. Is x a composite number?
True
Suppose -464 = -4*w + 8*w. Let i = 275 - w. Is i composite?
True
Let a = 34154 - 23737. Is a prime?
False
Let l(v) = -156*v + 45. Is l(-4) composite?
True
Let v = -43 + 47. Is ((-3)/(-3) - v)*1916/(-12) prime?
True
Let d be 23/(-1)*(-4)/((-4)/(-13)). Suppose -2*h = -3*w + 185, h = w + 4*w - d. Is w a prime number?
True
Suppose -v = -5*j + 2 + 11, -4*j + 10 = -v. Suppose -v*z - 758 = -2*m + z, 3*z + 385 = m. Is m prime?
True
Let m(a) = 2*a**2 - 21*a + 17. Let t be m(10). Let b(x) = 42*x - 3. Let g(c) = -21*c + 1. Let y(z) = -3*b(z) - 7*g(z). Is y(t) prime?
True
Let z(b) = 64*b**2 - 7*b. Let l be z(2). Let i = l + 1651. Is i a composite number?
True
Let y = -5624 + 14091. Is y a prime number?
True
Suppose -s - 4 = -5*f, -3*s - 3*f + 7*f = 1. Let d(i) be the second derivative of 45*i**4/2 + i**3/6 - 4*i. Is d(s) prime?
True
Let v(x) = 3 - 1 + 1 - x. Let l be v(-1). Let t(h) = 3*h**3 - h**2 + 3. Is t(l) prime?
True
Let c = 65978 + -46059. Is c composite?
False
Let q = 2516 - 3948. Is (q/(-16))/(2/4) a composite number?
False
Let g = -7 + 9. Suppose 7 + 12 = 5*n - y, 3*n + g*y = 1. Is n a composite number?
False
Let w(k) = k**2 - 7*k - 12. Let v be w(10). Let q(h) = 3*h - 40. Let f be q(v). Is 4/6*23961/f a composite number?
True
Suppose 5*y - 14184 = -4*x, 11*x + 2*y = 9*x + 7094. Is x a prime number?
False
Suppose 3 - 277 = -5*l - 2*n, -12 = 4*n. Suppose