 h = 99 - -46. Is h a prime number?
False
Let y = 371 + -166. Is y composite?
True
Suppose -3*j = -25845 + 7824. Is j a composite number?
False
Let m be 1/(-1 + 18/15). Suppose -k = 2*y - 586, -k + 1465 = m*y - 3*k. Is y composite?
False
Is ((-635)/(-1))/(-5)*-2 composite?
True
Suppose 5*w - 2*p - 127 = 0, -w - 3*p + 22 = -0. Suppose -4*t - w = t, l = 3*t + 84. Is l a composite number?
True
Let r(q) = 2*q**3 + 4*q**2 + 14*q + 2. Is r(6) prime?
False
Let i(f) = -f**3 + 6*f**2 + f - 4. Let y be i(6). Is (14/8)/(y/136) prime?
False
Is (-2)/(-7) - 39950/(-70) prime?
True
Let u(g) = -16*g**2 + 3*g - 4. Let y be u(3). Let s = -10 + 7. Is s/9 + y/(-3) prime?
False
Suppose 0 = -3*l + 9 - 0. Suppose -2*d + 1495 = l*d. Is d composite?
True
Suppose -3*n - n = -7532. Is n prime?
False
Let v(m) = -2*m**3 + 3*m - 1. Let d be v(-4). Suppose -4*i + d + 137 = 0. Let w = i + 50. Is w prime?
True
Let g(k) = -2*k**3 + 3*k**2 + 6*k + 7. Let l be g(-6). Let f = l - 260. Is f composite?
False
Is 4 + -3 - (0 + -2 + -1210) a prime number?
True
Let w(d) = d**3 + d**2 - d + 55. Let z(a) = 5*a**2 + 7*a - 2 - 5 + 1 - a**3 + 0*a**3. Let y be z(6). Is w(y) a prime number?
False
Suppose y = 6*y. Let a = y - 0. Suppose 0 = -a*h + h - 7. Is h composite?
False
Suppose g + 9978 = 5*c + 2181, 4685 = 3*c - 4*g. Is c composite?
False
Let r = -20 + 39. Is r composite?
False
Let v be 27/2*(2 + -4). Suppose 0 = 4*x + 20 - 4. Is (-345)/v + x/(-18) a composite number?
False
Let q be 2/(-2)*(-12)/4. Let z(s) = 3 - 1 - 156*s**q - 2*s + 4*s - 1 + 2*s**2. Is z(-1) prime?
True
Let w = 13 + 72. Is w prime?
False
Suppose 50*c - 52*c = -434. Is c a prime number?
False
Let o = 0 + 2. Let v(s) = 3*s**o + 0*s - 4*s - 1 + 0*s - 3*s**3. Is v(-3) composite?
True
Let a(u) = -2*u**2 - u**3 - 2*u + 5 + 3*u - 3*u**2. Let m be a(-8). Suppose 2*t - 4*t - 82 = -2*x, 5*x - t = m. Is x a composite number?
False
Let g = -5 - -5. Suppose 3*n + g*n = 189. Suppose -2*w - w = -n. Is w a composite number?
True
Is 1 + (0 + 3 - -6) composite?
True
Let w(l) be the second derivative of 37*l**4/4 - 3*l. Is w(1) a prime number?
False
Let w(m) = -m**3 + 10*m**2 - 5*m + 1. Let r(s) be the third derivative of -s**6/120 - s**5/12 - 5*s**4/24 + s**3/2 + s**2. Let q be r(-4). Is w(q) composite?
False
Let j be (-3 - -3)/2 + 2. Suppose -z + j = -0*z. Suppose z*x = -x - 3*g + 216, 4*g + 67 = x. Is x a prime number?
True
Let h(q) = q**3 - q - 1. Let b(i) = -180*i**3 + i**2 + 4*i + 4. Let y(s) = -b(s) - 4*h(s). Let p be y(1). Suppose 4*a = -a + p. Is a a composite number?
True
Let z(u) = 89*u**2 + 2*u + 2. Is z(-1) composite?
False
Suppose -2060 = -5*q + 4*z, -4*z = -q + 367 + 45. Suppose 5*v + q = 9*v. Is v a prime number?
True
Suppose 4*g = -0*g + 5*h + 25, -g - 2*h = -3. Suppose 5*z - 40 = -4*y, g*y + 2*z - 28 = 5. Suppose 4*l = -y*w + 505, -w - 378 = -5*w + 2*l. Is w composite?
False
Is 4 + (-650)/4*-2 a composite number?
True
Let o = 39 - -33. Let k = o + -51. Is k prime?
False
Suppose -12825 = -9*c - 2196. Is c prime?
True
Let r(s) = 15*s + 3 - 3 - 3 + 0. Let l be r(-4). Is (-4081)/l - (-4)/18 a prime number?
False
Suppose 3*y + 0 = 6. Suppose 5*j = -a - y*a + 722, 5*a = 2*j - 295. Is j a prime number?
False
Let y = -332 - -801. Is y prime?
False
Suppose -807 = 4*w + 161. Let o be w/6 - (-6)/(-9). Let p = o + 76. Is p a composite number?
True
Let l(k) = 0 + 29*k**2 + 2 - 3 - 2 - 2*k. Is l(-4) a prime number?
False
Let k be (90/4)/((-1)/(-6)). Let r = -222 - -842. Suppose r = 5*j + k. Is j composite?
False
Let i(j) = -j**3 - 4*j**2 + 4*j. Let x be i(-5). Suppose 5*p = -x*g + 280 + 675, 0 = -5*g + 2*p + 927. Is g prime?
False
Let x = -17 - -574. Is x a composite number?
False
Is 1448/9 + (-2)/(-18) composite?
True
Suppose -12 = -4*n, 5*i - 4*n - 931 = -n. Suppose -i = -4*y + 2*s + 2*s, -3*y + s = -145. Is y a composite number?
True
Let s = 793 + -476. Is s a prime number?
True
Suppose 2*y - 1056 = -y. Let l = 716 - y. Suppose h = 5*h - l. Is h a prime number?
False
Let b be 218 - (3 + -1)*1. Suppose -31 = 5*p - b. Is p prime?
True
Let q = 736 + 223. Is q a composite number?
True
Let y be ((-495)/6 - 4)*-12. Let f = -731 + y. Is f a composite number?
False
Let u be 12*6/(-9) + -3. Let f(l) = l**3 + 12*l**2 + 7*l - 7. Is f(u) prime?
True
Suppose -2*c - 25 - 15 = -m, -3*c = 5*m - 187. Let l = 85 - m. Is l composite?
False
Let l = 119 - 64. Is l prime?
False
Suppose 4*z - c - 93 - 34 = 0, 3*z = -5*c + 124. Is 3*2/(18/z) a prime number?
True
Let n(u) = -11*u + 10. Let f(v) = 10*v - 9. Let h(s) = 6*f(s) + 5*n(s). Let j = 23 + -16. Is h(j) a composite number?
False
Let m = -17 + 48. Is m a composite number?
False
Suppose 2*b - 6*v = -11*v + 18, 3*b - 8 = 2*v. Suppose 0*k + 60 = b*k. Is k prime?
False
Suppose 0*q - q = -5*z - 189, 0 = 5*z - 4*q + 201. Let k(c) = 2*c**2 - 11*c + 12. Let y be k(8). Let x = z + y. Is x composite?
True
Let q(d) = d**2 - 7*d + 1. Let x be q(7). Suppose 3*f + 2*t = 14, t - 9 = -2*f - x. Suppose -2*b + 92 = f*b. Is b composite?
False
Let q(o) = -3*o**3 - o**2 + 1. Let i be q(-1). Let z(y) = 30*y**2 - y - 2. Is z(i) a composite number?
True
Let v = 26 - -93. Is v composite?
True
Let p be (-5 + 0)*(-1944)/60. Let a = p + -51. Is a prime?
False
Let y(u) = 3*u**2 - 2*u - 6. Let c be y(-4). Is -2 + 1*(-1 + c) prime?
True
Suppose 12*y = 17*y - 15. Suppose -4*o + 579 = 5*b, 8*b - 615 = y*b + 5*o. Is b a prime number?
False
Let d(w) = 15*w**3 - 3*w**2 + 4*w + 1. Is d(3) a composite number?
True
Let w = 12 + -18. Let q be (w*3)/(3/(-2)). Is 1*q*30/24 prime?
False
Let x(h) = 10*h**2 - 21*h + 1. Is x(-10) composite?
True
Suppose 5*h - 17 = 3. Suppose 4*m + h*u - 64 = -u, -5*u - 48 = -3*m. Suppose g - m = 21. Is g a prime number?
True
Suppose -9*u + 312 + 399 = 0. Is u a composite number?
False
Let h be -1 + 4/(-2) + 2. Let p be (h - -3)/((-4)/(-46)). Suppose n - 2*f - p = 0, 5 = f - 0*f. Is n a prime number?
False
Suppose -2*m + 5*i + 60 = 0, -2*i = 2*m - i - 48. Suppose -c + 4*t = -2*c + 55, 0 = 5*t - m. Is c prime?
False
Let y be (1 + -5)*(-6)/4. Let t be (-8)/y*(-6 + 3). Suppose 2*l - 2*v - 30 = 0, 0 = -3*l + t*v + 30 + 16. Is l a prime number?
False
Let p(s) be the second derivative of -s + 0 - s**2 + 3/2*s**3. Is p(3) prime?
False
Let q = 5 - 4. Let n be q + 1 + -19 + 2. Let s = -2 - n. Is s a composite number?
False
Is (-3564)/(-28) - (-8)/(-28) a prime number?
True
Suppose 4*c - 4*u = -40, 5*c - 4*u + 54 = -u. Let i = -6 - c. Suppose i = m - 5. Is m a prime number?
True
Let a(r) = 9*r - 3. Is a(14) prime?
False
Suppose 3*f + 2620 = 5*p, -2*f = f + 15. Is p prime?
True
Let f = 153 + -92. Let t = f + -22. Is ((-6)/9)/(-2)*t a composite number?
False
Let p(l) = -l**3 + 15*l**2 - 14*l + 15. Is p(14) a composite number?
True
Suppose 3*q - 4*m - 1260 = 0, -3*q - 5*m = -2*m - 1281. Let t(l) = -l**3 - l**2 - 2. Let d be t(-2). Suppose 6*p - d*p = q. Is p a prime number?
False
Let s(o) = 6*o**2 + 2*o - 8. Let p(i) = -i**2 - i. Suppose 0 = -4*r + 5 - 1. Let l(y) = r*s(y) + 5*p(y). Is l(-6) a composite number?
True
Suppose 604 = 3*f + 4*k - 717, -2*k - 876 = -2*f. Is f a composite number?
False
Is ((-21612)/24)/(1/(-2)) a prime number?
True
Let c be (-3)/9 + 22/(-6). Let l be 2 + -1 - (2 + c). Suppose l*r = 200 + 7. Is r composite?
True
Let a = 495 - 337. Let d = -99 + a. Is d prime?
True
Let x = -552 - -292. Is 3/(248/x - -1) a composite number?
True
Let i be -9*(8/6 + -2). Is i/(-21) + (-268)/(-7) a composite number?
True
Let p be -4*(-4)/(-24)*3. Is (-111)/p + 2/(-4) prime?
False
Let j = -81 + 224. Is j composite?
True
Let l(a) = -8*a + 5. Suppose 0 = -4*v - 13 - 19. Is l(v) a prime number?
False
Let t be 1 + (-4)/8*2. Suppose c = -j + 297, 2*c - 7*j + 3*j - 582 = t. Is c composite?
True
Suppose 0 = -0*o + o. Is o - 5/((-5)/111) prime?
False
Suppose 5*s = -4*t + 675, 4*s - 571 = -t + 4*t. Is s composite?
False
Let p = 3 + 86. Is p a prime number?
True
Let g(v) = v**2 - 5*v + 7. Let o be g(5). Suppose -4*u - o + 311 = 0. Suppose a + 3*a = u. Is a a prime number?
True
Let z = 4 + 43. Suppose 2*j - j - z = 0. Is j a prime number?
True
Is 175 - (-9)/((-36)/(-16)) a composite number?
False
Suppose 2*c - 3*q - 70 = 6*c, -8 = -4*q. Let o be (525/(-2))/(24/(-32)). Let l = c + o. Is l a composite number?
False
Suppose 9261 =