 = l + 117. Is x prime?
True
Let x(k) = -k**3 - 8*k**2 - 8*k - 3. Let j be x(-7). Let n(l) = 2*l - 5. Let a be n(j). Suppose 2*o - 27 = -3*q, -3*q + 19 = q - a*o. Is q a composite number?
False
Let r(j) = 4*j**2 + 1. Suppose 5*d = 3 - 23. Let v be r(d). Let p = 120 - v. Is p a prime number?
False
Suppose -517 - 308 = -3*i. Let x(o) = -o**3 + 3*o**2 + o - 2. Let r be x(2). Suppose -r*k + i = k. Is k composite?
True
Let n(a) = a**2 + 3*a - 1. Let z be n(-4). Suppose 0 = 5*q - 6*q + z. Suppose -w - 5*r + 613 = 0, 0 = q*w - 6*w + 3*r + 1875. Is w composite?
True
Let b be ((-6)/(-10))/((-5)/(-25)). Is (b/9)/((-3)/(-999)) a prime number?
False
Let w(m) = m**2 + 5*m - 4. Let d be w(-6). Suppose -26*b + 25 = -21*b. Suppose 2 = b*f - 3, -177 = -s + d*f. Is s a prime number?
True
Let n be 105 + (-1)/(-1)*-2. Let t(f) = f**3 + 21*f**2 + 26*f + 29. Let y be t(-20). Let l = n - y. Is l a prime number?
False
Is 2 + (-64380)/(-4) + 0/(-8) a composite number?
False
Let a be (2/((-4)/366))/(-1). Suppose 5*n + 437 = 4*x, -4*n + 81 = -5*n + 4*x. Let p = a + n. Is p a prime number?
False
Let g(f) be the third derivative of 71*f**7/840 + f**6/240 + f**5/120 - f**4/12 - 7*f**2. Let s(v) be the second derivative of g(v). Is s(-1) composite?
False
Let j(n) be the first derivative of -7*n**3/3 - 3*n**2/2 + 8*n + 8. Let q be j(5). Let i = q - -275. Is i a prime number?
False
Suppose a = 240 + 171. Let w be (2 + (4 - 2))*161. Suppose -w = -5*m + a. Is m a prime number?
True
Is 19582*7/4*18/63 composite?
False
Let k = 15831 - 11080. Is k prime?
True
Let i(g) = 842*g + 533. Is i(8) prime?
False
Let b(g) = -5*g - 26 + 16*g**2 + 4 + g**3 + 11*g. Is b(-15) a composite number?
False
Suppose f = 71 + 32. Suppose -859 + f = 3*g. Is 10 - 9 - g/2 composite?
False
Let h be (-2)/12 + (-17020)/(-24). Suppose 2*l + 95 = h. Is l prime?
True
Is (-24987)/(-2)*48/72 prime?
True
Let n(h) = -93*h - 71. Is n(-13) a prime number?
False
Suppose 83 = -2*s + 225. Suppose -s = -2*t + 85. Suppose 2*q + 5*o = 87, 0 = 3*q - 0*o - 3*o - t. Is q a prime number?
True
Let z = -38 + 48. Is (z + -10)/(-1*2) + 921 a composite number?
True
Suppose 0 = 31*q - 36*q + 28740. Let o = q + -3421. Is o prime?
False
Let c be 20/6 + (-2)/6. Suppose c*w - 201 - 276 = 0. Suppose -2*t + 784 - w = 3*s, 3*t = -2*s + 415. Is s a prime number?
False
Let m(z) = -2*z**2 - 151*z + 44. Is m(-51) prime?
True
Suppose -4*p + 4 = -4*l, 2*p + 3 - 9 = 0. Let i(o) = 417*o + 4. Let h be i(l). Suppose h = 4*c - 670. Is c composite?
True
Let t = 5295 + -2238. Is 24/(-64) + t/24 a prime number?
True
Suppose -1 = -7*q + 27. Suppose q*g - 7693 = 1179. Is g prime?
False
Suppose -5*c + 3622 = -0*c + t, -5*c + 3*t = -3614. Suppose 3889 - c = 5*v. Is v prime?
False
Let f = 16 + -13. Suppose 0*v + 5*m = -5*v + 20, f*v - 12 = -4*m. Suppose -s = -1, v*i - 3*s = s + 312. Is i a prime number?
True
Let v(z) = -2 + 0*z - 2*z + z**2 - 3. Is v(-4) a composite number?
False
Suppose 2*k + 5*b - 36333 = 0, 6*b - 90848 = -5*k + 9*b. Is k composite?
False
Let b = -2158 + 4090. Suppose -r + 13*r = b. Is r a prime number?
False
Let a(n) = n**3 + 8*n**2 - 19*n + 15. Let s be a(-10). Suppose -s*z + 1063 + 462 = 0. Is z a composite number?
True
Suppose 338 = 3*q - 778. Suppose -3*y - y + 1511 = -3*t, y + 5*t - q = 0. Is y a prime number?
False
Suppose d - 35683 = 3*n, 0 = -3*d - 4*n + 56951 + 50046. Is d prime?
True
Let z be (-8)/(-6)*-3*2/8. Let m(t) = -1 - 164*t**3 - 124*t**3 + 2 - 2*t**2. Is m(z) a prime number?
False
Suppose 1535 = -14*a + 9*a. Let t = a - -516. Is (1 + 14)*t/57 a composite number?
True
Suppose 23*u - 61*u = -4978. Is u composite?
False
Let q = 65 + 84. Is q prime?
True
Suppose -875 = 3*m + 5*g, 2*m + 0*m = g - 566. Let y = m - -1334. Is y composite?
False
Let v = -6268 - -2921. Is v/(-3) - 30/45 prime?
False
Suppose -q - 3*r - r + 2485 = 0, 2491 = q - 2*r. Let j = q + -472. Is j a prime number?
True
Suppose 0 = 2173*a - 2180*a + 59213. Is a composite?
True
Suppose 23518 = 16*i + 6*i. Is i a composite number?
False
Is 5*((-56)/(-84))/(2/25689) a prime number?
False
Let a(n) = 2150*n + 623. Is a(6) a composite number?
False
Let h(z) = -20*z**3 - z**2 + 2*z - 7. Let w be h(-3). Suppose -6*q = -4*q - w. Is q composite?
True
Is (-4)/(-10) - -1*5132/20 a prime number?
True
Let o be (-3)/(-1)*3/3. Let m(t) = -o - 2*t**2 - t - 33*t**3 + 3*t - 6*t + 2*t. Is m(-2) a composite number?
False
Let s(a) = a**2 + 4*a + 6. Let m be s(-4). Let f(i) = 8*i + 11. Is f(m) a composite number?
False
Let r(q) = -q. Let v be r(-3). Let l be (-2)/v - 110/(-30). Is ((-1)/(-3))/(l/198) a prime number?
False
Suppose k = -g + 3*k - 18, 5*k = -5*g - 15. Let b(j) = -145*j - 59. Is b(g) a composite number?
True
Let u be (0/1 - 2) + -296. Let b = -208 - u. Let g = 301 - b. Is g a prime number?
True
Suppose -9*u + 31396 = -12803. Is u prime?
False
Let q(d) = 327*d - 1. Let n be q(2). Suppose 55*i - 258 = 54*i. Suppose n = 5*s + i. Is s prime?
True
Is (-2)/(-20) - (-56445496)/1840 composite?
False
Let o be 1*(78/90 + (-6)/(-45)). Is 1337/((7 + -9)*o/(-2)) a prime number?
False
Let o(b) = 349*b**3 - b. Let u be o(-1). Let m = -237 - u. Is m a composite number?
True
Suppose 0 = -26*c + 20*c - 180. Is 3/(c/2636)*55/(-22) a prime number?
True
Let k be (-135372)/(-28) + 0 + (-6)/(-21). Let r = k - 2754. Is r composite?
False
Let t(y) = y**2 - 4*y + 2. Let u(i) = -i + 7. Let b be u(3). Let a be t(b). Suppose -4*m - z - 289 + 1177 = 0, a*m = 3*z + 458. Is m composite?
False
Let n(u) = 33*u**2 + 9*u - 3. Is n(-4) a composite number?
True
Suppose 0 = -3*v - 3 + 18. Suppose 42 = -v*n + 217. Suppose 4*l = -l + n. Is l a prime number?
True
Let g be (-63)/(-28) + 2/(-8). Suppose 5*m + 5*p + 10 = 0, -g*m - 10 = 6*p - 2*p. Suppose -299 - m = -z + k, -3*z + 910 = -5*k. Is z a prime number?
False
Let p(y) = 2*y**3 - 3*y**2 - 4*y - 19. Let v be p(8). Let k = v - 392. Is k a composite number?
False
Suppose 0*t - 130 = -5*t. Suppose t*c - 31*c + 155 = 0. Is c a prime number?
True
Let i be 12/9 + 2/3. Is 163/(-3)*(i - 5) a prime number?
True
Let k = -104 - -258. Let t = k + 225. Is t a composite number?
False
Suppose -122965 = -5*y - 4*a, -5*a + 8*a - 98372 = -4*y. Is y a composite number?
False
Suppose -10 + 1 = 9*k. Is ((-6)/9)/k*(-738)/(-4) a composite number?
True
Suppose -61922 = -4*v + 2*q, -3*v - 24*q + 46455 = -21*q. Is v a composite number?
True
Suppose -2*l + 4*l = 762. Let t = -108 - -300. Suppose 3*o - t - l = 0. Is o composite?
False
Let m(z) = -85*z + 177*z - 15*z - 22 + 284*z. Is m(3) composite?
False
Suppose w = 5*w - 2*c - 6, 2*c - 8 = -3*w. Suppose -3170 = -4*p - 2*z, w*p - 476 = 5*z + 1091. Is p composite?
True
Let z(h) = h**2 - 13*h - 26. Let i be z(15). Suppose -1614 = -3*o + 6*f - 3*f, -i*f - 1619 = -3*o. Is o a composite number?
True
Let o = -9 + 11. Suppose 3*x = 3*j + 12, -o*x + 2*j - 3*j + 5 = 0. Suppose 0 = -x*f - 151 + 532. Is f a composite number?
False
Let n(g) = -3*g + 14. Let i be n(4). Is 1839 + i + 34/(-17) a composite number?
True
Suppose 0 = 35*r - 13*r - 172018. Is r a composite number?
True
Let l(t) = -59*t**3 + t + 1. Let c be (-6)/(2*1/(-2)). Let f = c + -7. Is l(f) prime?
True
Let g(k) = -59 + 34*k + 36 + 46. Is g(11) a composite number?
False
Is (2059499/(-884))/(1/(-12 + 0)) a prime number?
False
Let h = 3568 - -5834. Suppose -2*n - h = -8*n. Is n a composite number?
False
Let h(n) = 4*n**2 + 14*n - 44. Let k be h(-13). Suppose -3*c + 109 + k = -r, -720 = -4*c - 5*r. Is c prime?
False
Let q(z) = z + 7. Let l be q(-5). Suppose 1120 = 2*b - 990. Suppose l*w = -3*w + b. Is w a prime number?
True
Let t(h) = 61*h**2 - 6*h + 3. Let u = -21 + 15. Let b be ((-2)/u)/((-10)/(-60)). Is t(b) prime?
False
Let q(a) = 689*a**3 - 8*a**2 + 10*a - 11. Is q(2) a prime number?
False
Suppose 3 + 3 = 2*i. Let m(t) = 2*t**2 - 6*t + 6. Let z be m(i). Let g(u) = u**3 - 6*u**2 + 3*u + 7. Is g(z) a composite number?
True
Suppose -i - o - 18 = -3*o, 4*i + 3*o + 39 = 0. Is (-297)/6*8/i prime?
False
Suppose -4*v - v + 35 = 0. Suppose 0 = -v*t - 3*t + 4090. Is t composite?
False
Let k(t) = -57*t + 5. Suppose -b - 4*w - 4 = 0, -2*b + 5*b + 29 = 5*w. Let j be k(b). Let g = 796 - j. Is g prime?
False
Suppose 2*b = 3261 + 3997. Is b prime?
False
Let q be 213/((4/18)/((-4)/(-9))). Let