 c a prime number?
True
Let h(j) = 3*j + 19. Let r be h(-7). Is (-20)/(-4) - (6702/r + 3) composite?
True
Let m(i) = i**2 + 5*i + 4. Let q be m(-4). Suppose q = -3*g + 3*t, 28 = 4*g - 0*g + 3*t. Suppose 2 = -g*c + 150. Is c composite?
False
Suppose 2*o = 5*f + 2850, 4*o + 2*f - 3*f - 5664 = 0. Let g be ((-10)/6)/(264/18 - 15). Suppose -g*v = -9660 + o. Is v a prime number?
False
Let m(p) = -161*p**2 - 2*p - 3. Let s(o) = -160*o**2 - o - 4. Let z(n) = 3*m(n) - 4*s(n). Is z(2) a composite number?
False
Suppose -l - 4*b = -0*b - 5481, 3*l = -5*b + 16443. Let o = 9619 - l. Is o prime?
False
Is (200894/(-2))/(136/17 - 9) a composite number?
False
Let y(a) = a**3 - 12*a**2 + 11*a + 7. Let j be y(11). Suppose -3*x + 26195 = -5*p, 2*x + j*p - 3*p - 17478 = 0. Is x a composite number?
True
Let x(j) = 19*j**3 + 9*j**2 + 96*j - 1395. Is x(13) composite?
False
Let j(n) = n**3 - 4*n**2 + 6*n - 5. Let q be ((-52)/20 + 2)/((-2)/10). Let l be j(q). Suppose -l*t = -3*t - 141. Is t a prime number?
False
Suppose -3*o + 98 = -424. Suppose 2*h + 163 = -b, 3*h + 697 = -4*b + 4*h. Let q = o - b. Is q composite?
False
Let q be (10/4)/(15/36). Let g = 9 - q. Suppose 0 = g*m - 4*m - c + 63, m + 3*c - 73 = 0. Is m prime?
False
Let h(z) = -35*z - 27. Let d be h(-3). Let t = 899 + d. Is t a composite number?
False
Let y be (-5)/((-20)/6816) - (6 - 5). Is (y/2)/((-25)/(-50)) prime?
False
Let v(k) = -391*k + 31. Let u be v(-3). Let y = u - 465. Is y composite?
False
Let s(z) = z**2 - 36*z + 23. Let j(d) = d**2 - d - 1. Let u(w) = 4*j(w) - s(w). Is u(-14) a prime number?
True
Suppose -3*s + 321186 = 4*a - 470045, -2*s = -4*a - 527474. Is s a composite number?
True
Suppose 6*k - 8 = 4*k, l - 5*k - 9351 = 0. Is l a prime number?
True
Let g = 176104 - -11841. Is g a prime number?
False
Is (-5 + -16644)*7/(-35)*5 a composite number?
False
Let p = 3785 - 2061. Suppose -4*h = -18*h + 25418 + 19956. Let n = h - p. Is n a prime number?
False
Let s = -3621 - -6380. Let g = s + -556. Is g prime?
True
Suppose -5*i + 7 = 3*l, 0*i - 3 = -l - 2*i. Let m be ((398 - 2) + -3)*l. Let t = m + 604. Is t composite?
False
Let g(k) = 5*k**3 - k**2 - 2*k + 387507. Is g(0) composite?
True
Suppose -32*w - 3*q + 30734956 = 0, -5*q + 2339334 = 3*w - 542087. Is w prime?
True
Let r = 5 + -10. Let y(k) = -k**3 - 5*k**2 - 3*k - 3. Let i be y(r). Let c = 129 + i. Is c a composite number?
True
Suppose 2*t - 6*t - 2*b = -12, 3*t + 5*b = 16. Suppose -t*z - 2*d + 2986 + 3828 = 0, -3407 = -z - 3*d. Is z composite?
False
Let b be (-3 + 10)*(-2)/2. Let i be b*(30/21 - 2). Suppose 0*t - 4196 = -i*t. Is t a composite number?
False
Let y be -2*8/((-144)/63). Suppose -2992 = -y*h + 8607. Is h composite?
False
Let d be (4/17)/(-2) + (-12236)/34. Is 36/d - 46211/(-10) composite?
False
Is (10/(-30) - (-372320)/15) + 5 prime?
False
Let c be (4 - -3) + -6 - 0/(-2). Is -8394*1/(-6)*c composite?
False
Let j(r) be the third derivative of 2*r**6/9 - r**5/20 - 19*r**4/24 - 19*r**3/6 - 5*r**2. Let z(t) be the first derivative of j(t). Is z(-7) prime?
True
Let g(m) = 280*m**2 + 106*m - 4111. Is g(54) composite?
False
Let x(r) be the second derivative of -149*r**3/2 + 2*r**2 - 47*r. Let a be x(-7). Suppose -348 = 5*p - a. Is p composite?
False
Is 635470336/1632 + 14/(-6) prime?
False
Let f(a) = 13*a - 66. Let i be f(5). Let v be (i + 1)/(-2 + 0). Is (v - (-28)/6)*(-10767)/(-74) a composite number?
True
Suppose 305*q = 324*q + 20596. Let x be 2*6/8*1214. Let r = x + q. Is r composite?
True
Let p = 121390 - 58289. Is p composite?
True
Suppose -12*c + 2756 = 2744. Let s(f) = -f**3 + f**2. Let g(o) = 461*o**3 - 6*o**2 + 4*o - 2. Let k(p) = g(p) + 5*s(p). Is k(c) a composite number?
False
Let k(h) = -377*h + 6. Let t(p) = 9048*p - 145. Let w(m) = -145*k(m) - 6*t(m). Let x be w(2). Suppose -x = -4*a + 2*a - 3*d, -5*a + 1859 = d. Is a prime?
False
Suppose -2*p - 3*c = -3*p + 269695, 5*p - 4*c - 1348541 = 0. Is p composite?
False
Let w = 482 - 433. Is (w/14 + -6)/((-2)/1796) a composite number?
True
Suppose 179 + 2187 = -3*h - 2*t, 5*h + t = -3948. Let w = h + 1209. Is w prime?
True
Suppose 48*c - 14483100 = -252*c. Is c a prime number?
False
Let m be -1 - (-20 - (-2 + -1)). Suppose -9*o = -5*o - m. Is o/(-7) + 7204*8/112 a prime number?
False
Let l(j) = 526*j - 31. Let o(b) = -527*b + 29. Let u(x) = -4*l(x) - 5*o(x). Is u(4) a composite number?
True
Suppose -16 + 10 = -3*n. Suppose n*i = 10*i - 9808. Is i prime?
False
Suppose 0 = -4*l + 27*l - 27416. Suppose 0 = 15*u - 33023 - l. Is u composite?
False
Let o(i) = 1 + 5 + 4*i + 3 - i**2 - 1. Let u be o(5). Suppose -u*l + 5*n = 2*l - 21700, -4*l = -3*n - 17357. Is l prime?
True
Suppose 26*q + 10081 - 408063 = 0. Is q a composite number?
False
Let o(c) = -5*c**3 + c**2 - 134*c + 65. Is o(-48) composite?
False
Suppose 0 = -69*v + 4558476 + 1117533. Is v composite?
False
Suppose 1074 = -6*b + 5904. Let n = b + 73. Is n a prime number?
False
Let r be 2 + (-4 - -1) + 4 + -9. Let f(c) = -207*c + 46. Let v be f(r). Let n = 2729 - v. Is n prime?
False
Suppose 3*y + 2634 = -2*r + 32329, -5*y + 5*r + 49525 = 0. Is y prime?
True
Let d(f) = f**3 + 3*f**2 - 2*f + 19597. Is d(0) a prime number?
True
Let x(p) = 43*p - 13. Let w(h) = 44*h - 13. Let z(v) = 3*w(v) - 4*x(v). Let o = -4 - -1. Is z(o) composite?
True
Suppose i - 5*p = -98, p - 3*p - 379 = 3*i. Let h = i + 126. Suppose -5*r = -0*q + h*q - 1127, 3*q + 3*r = 1131. Is q a composite number?
False
Let r be (-35)/(-1*((-4796)/2396 - -2)). Let g = r + 29954. Is g prime?
False
Suppose 37*t - 1154574 = -757532 + 1071007. Is t prime?
False
Let y = 43 - 43. Suppose y*n + 108 = 4*n. Is ((-9)/n)/((-1)/(-157))*-3 a composite number?
False
Let c be 3/(-2) + (-6)/(-16)*4. Suppose 3*s + 2*i + 401 = c, 3*s - s = -2*i - 270. Let j = s + 594. Is j a composite number?
False
Let q(z) = 34*z**2 + 7*z + 60. Let n be q(-6). Suppose a = -331 + n. Is a a prime number?
True
Let u(j) = -10573*j - 2. Let x be u(-1). Let h = -3882 + x. Is h composite?
False
Suppose 0*n = 34*n - 13715776 - 177814. Is n a composite number?
True
Let c(o) = -3*o + 11. Let p be c(5). Let d be (-1)/(p/14294) - (-1)/(-2). Suppose 4*y = -3*m + 6143, 525 = 2*m + 2*y - d. Is m prime?
True
Let z(i) = i**3 - 4*i**2 - 6*i + 10. Let s be z(5). Let k be (-3 + -1 + s)*(-4)/1. Is (4/(32/(-1516)))/(2/k) prime?
True
Let d = 701210 - 409605. Is d a prime number?
False
Let w(s) = -813*s + 5866. Is w(-61) prime?
False
Let v = -23865 + 36578. Is v a prime number?
True
Suppose -5*x + 745213 = 3*q, 3*q - q = 2*x - 298082. Is x a composite number?
True
Let r(z) be the first derivative of 14*z**3/3 - 5*z**2 - 91*z + 36. Is r(14) a composite number?
True
Let u = -393 - -397. Is 15544/7 + (124/28 - u) composite?
False
Let b = -269355 - -942218. Is b prime?
True
Let t(c) = -5*c**2 + 52*c - 15. Let z be t(10). Suppose z*w - 62139 = -16*w. Is w composite?
True
Suppose 3*r = 5*h - 2*r + 15, 0 = 2*h - 3*r + 9. Suppose h = v - 92 - 1007. Is v a composite number?
True
Is (-62796)/(-1) - (192/8 + -31) a composite number?
True
Let q(s) = 163*s**2 + 15*s + 43. Let i be 30/(5/(-1)) + 1. Is q(i) a prime number?
False
Let l be (-1 - (-2)/(-3)*-12) + 2. Let b(c) = 6*c + l + 40*c - 68. Is b(15) a composite number?
False
Let a(v) = -6*v**2 - 22*v + 10. Let s be a(-4). Suppose 0 = -3*g + s*g + 1793. Is g a composite number?
True
Let h be 1/(-4) - (-426393)/(-236). Let c = 10566 - h. Is c a prime number?
True
Let f = 387 + -392. Is (1/f)/(-1) - (-84920)/25 composite?
True
Let t(q) = 20011*q - 1207. Is t(8) composite?
False
Let y(z) = 1080*z**2 + 7*z - 6. Let m be -3 - -10 - 4 - -5. Suppose c - 4*j - 25 = -4*c, 2*j = -2*c - m. Is y(c) prime?
False
Is ((2/(-78))/((-26)/169))/((-2)/(-3783756)) a prime number?
True
Let d(q) = 18*q**2 + 5*q - 8. Suppose 0 = -3*w - p + 22, -2*w + 0*w + 22 = -3*p. Let k be d(w). Suppose 10*j - 9686 - k = 0. Is j a prime number?
True
Suppose 3*w + 5*r - 10 = -w, -2*r = 4. Let z(t) = 281*t**2 + 4*t + 12. Is z(w) a prime number?
True
Let q(r) = 2*r**2 - 44*r - 83. Let x be q(25). Suppose x*y - 42*y = 152825. Is y a composite number?
False
Suppose -5*m = -5*w + 30350, 5215 = w + 4*m - 855. Let y = 1323 + w. Is y a composite number?
False
Let y be 3*(2 - (-2 + 5)). Is y/5 + (-44712)/(-45) a composite number?
Tru