12. Let b = t + 28791. Suppose -3*j + b = 4*r - 2*r, -3*r + 17341 = -j. Is r a composite number?
False
Let d be ((-37)/(-3))/((-5 - -12)/273). Suppose -2*l + s = -958, s + 0*s + d = l. Let u = l - 338. Is u a composite number?
False
Let y be (-15225)/55 + 2/(-11). Let h = y - -841. Suppose 11*s + h = 15*s. Is s composite?
True
Suppose 10*j - 12 = 28. Suppose j*w - 2*u - 4318 = 1288, 3*u = 3. Is w composite?
True
Let s(r) = -r**3 - 10*r**2 - 10*r - 8. Let a be s(-9). Let b(v) be the first derivative of 164*v**2 + v + 44. Is b(a) prime?
False
Suppose -499*m = -510*m + 389741. Is m composite?
True
Let z be (-6)/(-42) + (0 - 314751/21). Is (z/(-18))/((-1)/(-3)) - 1 prime?
False
Let a(q) = q**2 + 11*q - 9. Let s be 25/(-5) - 4 - (2 - -1). Let g be a(s). Suppose -g*f = 381 - 2490. Is f prime?
False
Suppose -26 = -3*y + 2*y. Suppose c = v + 2*c - 206, 0 = -3*v + 5*c + 594. Suppose -27*k + v = -y*k. Is k composite?
True
Suppose -2*y + 9*y - 14 = 0. Suppose 3*x + 7 = 5*h - 2, 0 = -y*x - 5*h + 19. Is (-1)/x - (-4723)/2 prime?
False
Is (-24)/(-78) - (-130305)/65 a prime number?
False
Let h = -323 + 326. Suppose h*c = 3*z - 3543, -z + 2362 = z - 5*c. Is z prime?
True
Suppose 26204 = 2*i + 2*l - l, -5*i + 65510 = -l. Is i composite?
True
Suppose -4*g + 4*o - 70371 = -189179, -118848 = -4*g - 4*o. Is g a prime number?
False
Let b(v) = 39*v**2 - 10*v - 41. Let f(d) = -8*d**2 + 2*d + 8. Let n(o) = 2*b(o) + 11*f(o). Let k be n(-7). Is (-2*(-1)/(-6))/(2/k) a prime number?
True
Suppose -791*o + 817*o + 698349 - 3388075 = 0. Is o composite?
False
Suppose 6*h + 9192 = 10*h - 2*p, 5*p = 5*h - 11480. Suppose -3*f + 3077 + 1550 = 2*g, -g + 3*f = -h. Is g a composite number?
False
Let p(r) = 6*r**2 + 165*r - 43. Is p(24) a composite number?
True
Let n = -51 + 55. Let f = 6 - n. Suppose -f*i = -478 - 1012. Is i prime?
False
Is -9*(-6)/(-324)*-318282 composite?
False
Let y(o) = -16144*o**3 + 5*o**2 - o - 5. Is y(-2) composite?
False
Suppose -1053 - 939 = -3*r. Suppose -p + 666 = -r. Suppose 0 = -2*q + 2988 + p. Is q composite?
True
Let s = 144278 + -47785. Is s a prime number?
True
Is (225 + 37924)*(1 - 3 - -3) a composite number?
False
Suppose 0 = -9*i + 10*i - 3. Suppose 0 = 4*h, 0 = 8*x - i*x - 4*h - 1420. Let m = x + 17. Is m prime?
False
Suppose x - 6 + 3 = 0. Suppose 3*n - 1423 = 4*f, -n + x*f = -0*f - 481. Is n composite?
True
Suppose 6*m - 22 = -4. Suppose m*a - 2862 = -6*a. Suppose 5*t - 317 = a. Is t a prime number?
True
Let m = 7660 + 83813. Is m prime?
False
Suppose 4*v = 2*s + 76, -s - 2*v = -6*s - 150. Let d be 6535 - 1 - s/7. Suppose m - d = -3*g, 2*m - 6*m - 8712 = -4*g. Is g prime?
True
Let i = 438285 + -162112. Is i composite?
False
Let a(t) = 12*t**2 - 10 + 2*t**3 - 9*t - 26 + 4*t - 7*t. Is a(11) prime?
False
Suppose -2*u - 2*r = 50, -2*u = -0*u - r + 53. Let d = u + 29. Suppose 0 = 4*w - 4*c - 2160, 3*w + c = -d*c + 1599. Is w a composite number?
True
Let v = -2902 + 8371. Is v a composite number?
True
Let i(n) = 4908*n - 1415. Is i(8) composite?
True
Let w(v) = 52 - 9 + 13 + 119*v + 17. Is w(20) composite?
True
Let k be (-117)/(-45) + (-2)/(-5). Suppose 2*z + 2*u - 15116 - 14442 = 0, 5*u = -k*z + 44329. Is z composite?
False
Suppose -g + 61 = 66. Let k(h) = -1449*h - 38. Is k(g) a composite number?
False
Let z(u) = 2*u + 4. Let j be z(0). Suppose 5*s - 6943 = -6*t + 3*t, 2*s - j*t = 2798. Is s prime?
False
Let t(f) = -2*f**2 + 8*f + 4. Let l be t(4). Suppose 3*d + 5*a - 912 = 0, -2*d - l*a + 1208 = 2*d. Is d a composite number?
True
Let v = 932 - 931. Let f(c) = 3453*c**2 - 11*c + 11. Is f(v) prime?
False
Suppose 0 = 151*f - 124*f - 2642085. Is f a prime number?
False
Suppose -60 + 9 = -3*c. Let o(f) = -3*f + 8. Let x(i) = -i. Let w(l) = -o(l) + x(l). Is w(c) prime?
False
Let p(g) = 22*g**2 + 6*g**2 + 8*g + 6 - 20*g - 11 + 11. Is p(7) composite?
True
Suppose -123*h + 91 + 51 = 19. Let j(o) = 0 + 0 + 677*o. Is j(h) a composite number?
False
Suppose 3*p - 10088571 = 3*r, 491*p - 4*r = 489*p + 6725702. Is p a composite number?
True
Let y(z) be the second derivative of 67*z**5/20 - z**4/6 + z**3/2 - z**2 + 11*z. Let s be y(2). Let l = 2009 - s. Is l prime?
False
Let p(y) = 36*y + 941. Is p(60) a composite number?
True
Let r = 384735 + 630460. Is r prime?
False
Let b = -297 - -21174. Is b a prime number?
False
Let s be -2*(210/(-12))/5. Let w(m) = 43*m**3 + 2*m**2 - 27*m - 19. Is w(s) composite?
False
Suppose q = p + 7 - 6, -3*p + 2 = -2*q. Suppose 3*w = -p*h + 3586, 475 = 2*w - 2*h - 1925. Is w prime?
False
Let l(i) = -298*i - 41. Let u be 2/3 - (-210)/(-45). Is l(u) a prime number?
True
Let y = 530 + -809. Let r = 1184 + y. Is r a prime number?
False
Let p be ((-1)/5)/(((-4)/(-25))/(-4)). Suppose 0 = -8*l + 5*l - p*d + 2437, -l - d = -811. Is l prime?
True
Let d(r) = r**2 - r. Let w be d(1). Suppose -39 + 383 = 4*a. Suppose -t + 993 - a = w. Is t composite?
False
Let d(x) = 11*x**2. Let q be d(-8). Let t = -139 + q. Suppose 3*k - t = 2*k. Is k a composite number?
True
Let k be 4/(-20)*-44*(0 - -5). Let x = 44 - k. Suppose 3*t = t - 4*d + 2862, 5*t - 5*d - 7215 = x. Is t composite?
False
Let c(u) = 19*u**2 + 3. Let q be ((-3)/(-2 - -5) - 0)/1. Let o be 0 - q/((6/8)/3). Is c(o) prime?
True
Let g(h) = -151*h**3 + 3*h**2 + 6*h + 85. Is g(-6) a composite number?
True
Let z(c) = 951*c - 415. Is z(14) a prime number?
True
Let f = -109 - -112. Is (2 + -4)/(f/((-89826)/4)) a prime number?
False
Let w(b) = 14*b**3 - b**2 + 10*b + 13. Let a be w(-9). Suppose 5*x - 13794 = -2*o - 50073, -o - 2 = 0. Let l = x - a. Is l a composite number?
False
Let p(o) = -o**3 + o**2 + o + 1. Let z(g) = 7*g**3 - 13*g**2 - 13. Let w(u) = 4*p(u) + z(u). Is w(8) prime?
True
Let o(f) be the third derivative of 146*f**6/5 - f**4/12 + f**3/2 - f**2. Let q = 5693 + -5692. Is o(q) composite?
True
Suppose 1251828 = 9*r + 3*l, -4*r - 149346 = -3*l - 705727. Is r composite?
True
Let s(w) = 111*w**3 + w**2 + 2*w - 2. Let z be s(1). Let n(q) = 76*q + 34*q - 123 + z. Is n(3) composite?
True
Let a(y) = 7*y**2 + y + 1. Let m be a(2). Suppose -3*p + 37 = m. Suppose p*v - 4*f + 2*f - 1306 = 0, -3*f + 637 = v. Is v prime?
False
Let m be 0/(-2) + (-85)/(-17). Let x(p) = -27 - 13*p + 4*p**2 - m - 7*p - 25*p. Is x(23) prime?
True
Let m = 38 + -45. Is 1/m - ((-45364)/28 + -3) a prime number?
False
Let n(v) = -106*v**3 + 4*v**2 + 4*v + 37. Is n(-5) a composite number?
False
Is (0 + 31437/2 + -3)*(-1248)/(-144) composite?
True
Let n(v) = -4*v**3 + v**2 - 9*v - 92. Let z(c) = 2*c**3 + 3*c + 1. Let x(w) = -n(w) - 3*z(w). Suppose 0 = -4*h + 5*h. Is x(h) a composite number?
False
Let q = -11 + 3. Let o(r) be the second derivative of -3*r**5/20 - r**4/2 - r**3/6 + 3*r**2/2 - 8*r. Is o(q) composite?
False
Suppose -11*m = -0*m - 112234 - 21339. Is m a prime number?
True
Let h(n) = n**3 - 3*n**2 + 35725. Let k be h(0). Suppose -5*t + k = 5*v, 35729 = 5*v + t + 2*t. Is v composite?
True
Let i(t) = -687*t - 69. Let m(u) = 1. Let w(x) = -i(x) - 5*m(x). Let c(d) = d**2 - 9*d - 433. Let h be c(-17). Is w(h) a composite number?
False
Is (72507/(-5))/(189/(-315)) a prime number?
True
Let h = 417137 - 168180. Is h composite?
True
Let x be 6*(-3)/(-6) - (-5 - -1). Let c be -1 + x/(14/6). Is ((-8604)/(-8) - -1)*c prime?
True
Is 3 + 5 + 44/(8 - 12) - -230140 a composite number?
False
Suppose -4*x = -2*x - 6992. Suppose 3*p = 2*q + 34675, -q + 31191 + x = 3*p. Is p composite?
True
Suppose -j - 4*r = 3*j + 65844, 0 = r + 1. Let b = 28111 + j. Is b composite?
True
Let r be 27*-1*335764/(-78). Is (2 - 5/2)/((-9)/r) prime?
False
Let m(h) = 6*h**3 + 65*h**2 - 14*h + 6. Let l be m(-11). Let u(v) = 10*v**2 - 7*v - 14. Is u(l) prime?
True
Suppose -268*s + 277*s = -108. Let y(t) = 15*t**2 + 3*t + 35. Is y(s) prime?
False
Let j(y) = -y**3 - 18*y**2 + 20*y + 23. Let i be j(-19). Suppose -i*t + 5*q - 2111 = -10637, -8510 = -4*t - 3*q. Is t composite?
False
Suppose -27*d = -28*d + 2. Let b(y) = 171*y**3 - 2*y**2 + 9. Is b(d) prime?
False
Let d(n) = -36*n**2 - 5*n + 13. Let w be d(-8). Let x = w - -4304. Is x composite?
False
Suppose 2*v - 1277990 = 4*m, -309*v + 316*v = 3*m + 4472954. Is v composite?
False
Let h be 10*4/(-32)*-4*1973. Let k = h - 6828. Is k composite?
False
Let v = 23635 - 7273. Suppose v = 18*l - 5760. Is l prime?
