t = v + -39. Is ((-53)/4)/(((-20)/(-32))/t) a composite number?
True
Let p(l) = 8*l + 11*l - 9*l + 163 + 38. Is p(29) a prime number?
True
Suppose 0 = 5*q - 11*v + 16*v - 51140, 3*q - 30649 = 4*v. Is q a composite number?
False
Let c = -114016 - -188369. Is c a prime number?
True
Let s(m) = 46*m**3 + 26*m**2 - 11*m - 18. Let i be s(-6). Let v = i - -14903. Is v prime?
False
Let m = -393523 - -748242. Is m prime?
False
Let y = -59 - -62. Suppose y*m - 3557 = -4*u, -3*m + 5951 = 2*m + u. Is m a prime number?
False
Suppose -2124 = -d + 848. Let x(u) = u + 59. Let v be x(0). Suppose d = 63*p - v*p. Is p composite?
False
Let u(h) = 255*h**2 + 234*h - 1127. Is u(-38) a composite number?
False
Let g(a) = 2*a**2 + 99*a - 94 + 99*a - 138*a. Is g(-38) prime?
False
Suppose -19*s + 112197784 + 74262157 = 130*s. Is s a prime number?
True
Let m = 29351 - 5417. Suppose -66009 + m = -3*z + 3*u, 0 = -3*z - 2*u + 42095. Is z prime?
True
Suppose -12*g - 5352 = -20*g. Let z(j) = -187*j**3 - j**2 + j - 1. Let r be z(1). Let u = g + r. Is u composite?
True
Suppose 28*x - 740 = 2*j + 24*x, -j - 4*x - 382 = 0. Is -2*1/11 - 594354/j composite?
True
Suppose -4*h + 116998 = 55*h - 473415. Is h prime?
True
Let g(v) = v. Let u(j) = j - 13. Let w(o) = -6*g(o) + u(o). Let p be w(-11). Let k = 76 + p. Is k a prime number?
False
Let v = 25 - 30. Is ((-25)/(-15))/v + (-86648)/(-6) a composite number?
True
Suppose 2*c = 5*p + 996, 0*p = -4*p - 8. Is c prime?
False
Let g = 1195078 + -695259. Is g composite?
False
Let j(l) = l**3 + 8*l**2 + 13*l + 26. Let p be j(-6). Suppose 682 + 4338 = p*x. Is x a prime number?
True
Let a = -58796 - -138243. Is a prime?
False
Suppose 40*n - 13148 = 21*n. Suppose -2*m + 4*z + 68 = -570, 2*z = 0. Let f = n - m. Is f composite?
False
Suppose -2*g = -o + 2*g - 751, 0 = -3*o + g - 2297. Let i = o + 1456. Let r = -348 + i. Is r composite?
True
Let b(a) be the third derivative of 0*a + 11*a**2 + 529/6*a**3 - 1/6*a**4 + 0. Is b(0) prime?
False
Let i be ((-1)/2 + 3/14)*-1883. Suppose 0 = -81*a + 80*a + i. Is a prime?
False
Suppose 3*o - 2*s = -799 + 24294, 3*o - 23490 = -3*s. Is o a composite number?
True
Is (-3)/((-3)/(-2))*(-326641)/14 prime?
True
Let u(q) be the first derivative of 3 + 2/3*q**3 - 19*q - 19/2*q**2. Is u(-22) composite?
False
Suppose 0 = -67*w + 14685760 + 498919. Is w a prime number?
True
Suppose -32 + 168 = -4*r. Let s = r - -39. Is 898*(-3)/(-30)*s prime?
True
Let l = -38638 + -42634. Let n = -29559 - l. Is n a composite number?
False
Let z(a) = 33273*a**3 + 85*a**2 - 237*a - 16. Is z(3) composite?
False
Suppose -3*i = 4*o + 27090 - 362837, 4*o - 6*i - 335702 = 0. Is o prime?
True
Let i(r) = -48 + 621*r + 595*r - 1239*r - 23. Is i(-20) prime?
True
Let f = 332809 - -74420. Is f a composite number?
True
Let d be (501*(8 + -2) - 1) + 0. Let b = d + -1638. Is b a composite number?
False
Is 551/(-8816) - (-4110946)/32 a composite number?
False
Let t(r) = -15*r**2 - 10*r + 61. Let p(i) = 17*i**2 + 10*i - 61. Let a(g) = -4*p(g) - 5*t(g). Is a(20) a composite number?
False
Let n(y) = 199331*y**2 - 8*y - 2. Is n(-1) composite?
False
Let x = -43 - -51. Let c(t) = -t**2 - 6*t + 11. Let r(y) = 6*y - 11. Let q(g) = -4*c(g) - 3*r(g). Is q(x) composite?
False
Suppose 0*v + 6*v + 6 = 0, r - 5*v - 14616 = 0. Is r composite?
True
Let i(n) = 28807*n - 3846. Is i(11) prime?
True
Let b(m) be the second derivative of 2*m**4/3 - 13*m**3/6 - 29*m**2/2 + 97*m. Is b(-10) a composite number?
True
Let y be (-30)/(-8) + (-5)/(-20). Suppose 3*a + 10298 - 465 = y*x, 0 = 3*a - 15. Is x composite?
True
Suppose 5412837 = 362*a - 5596669. Is a composite?
True
Let y be (0 - 5/5)/(3/(-27)). Suppose v - 4*d - 2 = -y, -2*v + 1 = -3*d. Is 1/(-6) + v/(-120)*-55996 composite?
False
Let j be (-3)/(28/(-8) - -2). Suppose 0 = -i - 7*b + j*b - 15, -4*b = 4*i - 4. Suppose 0 = 2*t - 5*d - 271, -i*t + 261 = -5*d - 439. Is t composite?
True
Let i be ((-3)/4)/(3/12)*-57. Let v(r) = 4 + 5 + i*r**2 + 17*r - 21*r. Is v(4) a prime number?
True
Suppose -3*g - 2*g = -4*t + 10, -3*t = -5*g - 5. Suppose -2*z + 26842 = t*o - 66432, -3*z = -2*o + 37302. Suppose o = -5*i + 11*i. Is i composite?
False
Suppose 17*i + 7404 = 13*i. Let f = 3150 + i. Is f prime?
False
Let i(u) = 119794*u + 79. Is i(1) prime?
False
Let k = 328 + 470. Let m = k + -394. Let h = m - 193. Is h prime?
True
Suppose 53049 = 2*g + 3*d - 3803, -142163 = -5*g + 9*d. Is g a composite number?
False
Let q be (-3)/(-6)*-2 + 338. Let w(a) = -a**3 - 33*a**2 - 47*a - 175. Let i be w(-33). Let r = q + i. Is r a composite number?
True
Let c = -50 - -80293. Is c prime?
False
Suppose 5*w + 5*q - 13690965 = 0, 36*q + 2738197 = w + 35*q. Is w a prime number?
False
Let t(u) = 2*u**2 - 9*u - 3. Let m be t(5). Let c be ((-2495)/(-3))/(m/6). Suppose -19*k = -24*k + c. Is k a composite number?
False
Let d(w) = 32*w**2 + 9*w + 40. Let x be d(6). Let s = x - 663. Is s a prime number?
False
Let o be 4/18 + (-2)/9. Suppose 3*s - 1589 - 1696 = o. Let v = 1798 - s. Is v composite?
True
Let z(u) = 1237*u + 1592 - 3217 + 1576. Is z(3) composite?
True
Let h = -27058 + 39207. Is h composite?
False
Let v(p) = 2*p**3 + 19*p**2 + 9*p + 10. Let x be v(-9). Let t(o) = 17*o - 103. Is t(x) a composite number?
False
Suppose 4151 = -11*k + 15767. Suppose -z - 4*z = -7540. Suppose -k = -4*d + z. Is d composite?
False
Is 221596 - -167 - 2*-10 a prime number?
False
Suppose 0*r + d = 5*r - 14, 0 = -4*r + 4*d + 8. Suppose -3*i - 6 + r = 0, 3*i = -3*v. Let a(u) = 333*u**2 + 4*u - 3. Is a(v) composite?
True
Suppose -5*s - 2*w - w = -194, 99 = 3*s - 4*w. Let t = s - -450. Is t a composite number?
False
Let j(i) = 851*i**2 - 76*i - 1283. Is j(-26) prime?
False
Let a = -18 - -19. Let z be 2 - (1 + -243*a). Suppose -5*j = -3*t + 258 + z, 0 = -4*t - j + 677. Is t composite?
True
Suppose -g + 0*g = 3*h + 2, 2 = -g - 5*h. Let r(i) = 69*i + 66. Let w(k) = -34*k - 35. Let j(l) = -6*r(l) - 11*w(l). Is j(g) prime?
False
Suppose -5*l - 15 = f, l + 5*f - 9 = -3*l. Suppose 5*j = -8 + 3. Is 2*226/l*j composite?
False
Let p(z) = z**3 - z**2 - 19*z - 223. Is p(64) a prime number?
True
Suppose 7050 = -5*d + 5*c, 0 = -5*d - 2*c - 0*c - 7029. Let r = -500 - d. Is r composite?
False
Let r = 54 - -42. Suppose r - 453 = -w - 3*t, 3*w - 1071 = -4*t. Suppose 6*x = -w + 2241. Is x composite?
True
Suppose 399*l - 172396 = 413*l. Let u = l + 23979. Is u a prime number?
False
Suppose 116 = 3*t + 5. Let a(f) = f**3 + 43*f**2 + 40. Let o be a(-43). Let g = o + t. Is g prime?
False
Let r(k) = -37207*k**3 - 4*k**2 - 3*k - 35. Is r(-3) prime?
True
Suppose 11759430 = 12*u + 4424226. Is u composite?
True
Suppose 13211 = 4*k - 70609. Suppose -3*w + k = -0*w. Suppose 5 = -u, -5*m + 2*u + w = 1120. Is m prime?
True
Let t(f) = 4 - 10*f**2 + f - 23 - 8*f - 3. Let v(u) = 9*u**2 + 6*u + 22. Let z(x) = 4*t(x) + 5*v(x). Is z(-9) prime?
True
Let j = -353037 - -1068538. Is j a composite number?
True
Let w = -5 + 16. Suppose 5*c - w = 2*c + r, 5*c - 24 = -4*r. Is 2*((-434)/c)/(-7) a prime number?
True
Let t be -4 + 6 + 29 + -7. Suppose 14*a + 8790 = t*a. Is a prime?
False
Suppose -5*v - 3*n = -5898749, -9*n + 13*n = -5*v + 5898747. Is v a prime number?
True
Suppose 0 = -41*s - 117 - 252. Is 3/s*(-7 + -21200)*1 a composite number?
False
Let w be 1*-2 + -12 + 6 + 5. Let j(g) = g**3 + 5*g**2 + 6*g + 9. Let f be j(w). Let z(a) = 7*a**2 + 11*a - 13. Is z(f) a composite number?
False
Suppose -13*r + 16*r + j = 211137, -2*r - 4*j + 140758 = 0. Is r a prime number?
True
Suppose -2*f - 2012 = n + 3*f, 10008 = -5*n + f. Let p = n + 4769. Is p prime?
True
Let m = 298626 - 213245. Is m a composite number?
False
Suppose -3*x + 5*i + 70 = 0, 2*x = -x - i + 40. Suppose 3*q = -2*t + x, -10 = 5*q - 2*t - 35. Suppose 3*s = s - d + 6489, 2*d = -q*s + 16225. Is s composite?
True
Let p = -32 + 72. Suppose -p*q + 35*q + 25 = 0. Suppose -3 = -q*l - 8, 4*s = 2*l + 3342. Is s composite?
True
Let n(c) = -3*c**3 - 25*c**2 - 20*c - 20. Let g be n(-17). Let q = g + 2443. Is q a composite number?
True
Suppose -3*o = -356 + 47. Suppose 367 + o = 2*i. Is i a composite number?
True
Let l be (-27142)/(-6) - 4/6. Let u be 67413/33 + -3 - ((-320)/(-55) + -6). Let v = l - u. Is v composite?
True
Suppose -4537241 = -52*z - 2399499 + 3931022. Is z a