 6*h - 6449. Let p = -66 + h. Is p prime?
True
Let b = 44 + -48. Is (2 - 314/b)/(10/20) prime?
False
Let b = 357 + 530. Is b a prime number?
True
Let g be ((-638)/(-11))/(-2 - (-1 + 0)). Is (g/(-6))/(28/24 + -1) a prime number?
False
Let u(f) = -2*f - 2. Let l be u(-2). Suppose 3*c = l*a + 2, 0*c - 2*a - 2 = -5*c. Suppose 4*g = 4*v + 60, -3*g + c*v = v - 41. Is g composite?
True
Suppose -14 = 6*x - 13*x. Suppose i = -x*i + 1923. Is i prime?
True
Let g(u) = 836*u + 5. Let b be g(5). Suppose -530 - b = -5*x. Is x composite?
True
Let o be ((-8830)/30)/(1/(-3)). Suppose a - 5*z - 864 = 0, 2*z = -4*a + 4405 - o. Is a prime?
False
Suppose j = 3, -o + 6*o - 3820 = 5*j. Is o a composite number?
True
Let n(f) = -f**2 + f + 3. Let j be n(4). Let b(u) = -u**3 - 8*u**2 - 2*u - 10. Let d be b(-8). Is 400/d + (-3)/j a prime number?
True
Let l = 582 + -400. Let j = 397 - l. Is j a prime number?
False
Suppose 0 = -3*o - 9*s + 7*s + 5267, 2*o - 3516 = s. Is o a composite number?
True
Let n be (-5 + 5)/((-2)/2). Suppose n*d - 5*d = m - 10761, 3*d - 5*m - 6479 = 0. Is d a prime number?
True
Let u(l) = l**3 + 2*l**2 + l - 2. Let b be u(-2). Let k be 8/6*(-282)/b. Suppose -3*v - k = -2*o, 3*o - 4*v + 51 = 194. Is o a prime number?
True
Is 3/(-7) + 146766/126*3 a composite number?
True
Suppose 0 = 16*z - 155154 + 33410. Is z prime?
False
Suppose 2*a + 6 = 34. Let v be a/56 - (-5526)/8. Suppose -v = -3*b - 118. Is b a composite number?
False
Let z = -323 - -620. Suppose 4*b = 3248 + 1448. Let t = b - z. Is t a composite number?
False
Let p(m) = m**2 - 4*m - 10. Let c be p(-7). Suppose d - c = 6. Let j = d + -30. Is j a prime number?
True
Let j = -1792 + 3635. Is j a composite number?
True
Is 7 - (7 - (1 - -9310)) prime?
True
Is (-1283906)/(-529) + (-1)/23 composite?
True
Let y = 199 - -45. Suppose 2*m - r - 802 = -m, 0 = m - 5*r - y. Let w = -156 + m. Is w a composite number?
False
Let v = -9 - -9. Let h = v + -16. Let c = 19 - h. Is c composite?
True
Let b be 443*(-2 - (-1 - 3)). Let l(r) = r**2 + 18*r - 37. Let x be l(-20). Suppose -x*g + b = 223. Is g composite?
True
Is (-4)/(-8)*8*(-405477)/(-36) a prime number?
True
Let p(s) = -s**2 - 7*s + 9. Let w be p(-5). Suppose w*c - 445 = 14*c. Is c a composite number?
False
Let d be 103/((3/2)/3). Suppose 4*i - 350 = -2*p, 3*i - d + 32 = -p. Is p composite?
True
Let r be 0 + (-8)/(-12)*438. Suppose 0*c = 2*o - 3*c + r, -3*c - 468 = 3*o. Is 2 + (6/2 - o) a composite number?
False
Suppose 5*n - 8213 = 3052. Is n a prime number?
False
Let r = 2384 + 15675. Is r prime?
True
Let n be -10*(3 - (-313)/5). Let c = 1525 + n. Is c prime?
False
Is (-208233)/(-30) + (-12)/120 a composite number?
True
Let p = -168 + 247. Is (p/3)/((-8)/(-24)) a composite number?
False
Let x = 13 - -1. Let m = 22 - 36. Is 94/x - m/49 composite?
False
Let r(n) = 2*n**2 + 3*n - 2. Let o be r(2). Is (o - 86)/(4/(-10)) composite?
True
Let g = 10 - 8. Suppose 0 = -g*h + 5 + 1. Suppose 462 = 3*y + h*c, -133 = -y + 5*c - 9. Is y a prime number?
True
Let o = 4807 - 1022. Is o prime?
False
Suppose 3*z - 40 = j - 184, -3*j - z = -442. Suppose -90 = r - j. Is r prime?
False
Suppose 4*w - h = 1961, -4*w + 7*w - h - 1470 = 0. Is w a prime number?
True
Suppose n + 4*z - 8 = 0, -4*n - 3*z + 32 = z. Let i be 760 - (n/2 + -2). Suppose 3*t - 2*k - 2163 + i = 0, -5*k = -3*t + 1402. Is t prime?
False
Let b be ((-3)/(-9))/(2/(-18)). Let x be (-5)/(-3)*9/b. Let l = x + 31. Is l composite?
True
Let s = 5593 - -17200. Is s composite?
True
Let s = 2140 - -1817. Is s composite?
True
Let m(w) = -w**2 - 9*w - 9. Let c be m(-6). Suppose -c*n + 13*n - 1284 = 0. Is n a prime number?
False
Suppose 2*b + b + 3*k = 258, -2*b + 177 = -3*k. Let o be 1 + -2 - (0 + 7). Let q = b + o. Is q prime?
True
Let v(j) = 4*j + 821. Is v(0) composite?
False
Let p(t) = 15*t**3 - 3*t**2 - 4*t - 4. Let j be p(-2). Let u = j - -286. Is u composite?
True
Let f = 5362 - 2907. Suppose -g = -924 - f. Suppose 646 = -3*c + g. Is c a composite number?
False
Let u = 9 - -244. Is u a prime number?
False
Suppose 109797 = 4*z + 3*g, 2 = -9*g + 7*g. Suppose 4*y - z = -9766. Is y a composite number?
False
Let u = 2011 + -1248. Is u prime?
False
Suppose 6*m = 14*m + 48. Is (-2 + (-15)/m)*3694 a composite number?
False
Let q(g) = 21*g**2 + 27*g - 113. Is q(22) a prime number?
False
Suppose 0*t = 7*t - 208922. Is t a composite number?
True
Suppose 5*n - 10 = 0, 4*n = -5*t + t. Let b be 2 - (-3 + 7)/t. Suppose -481 = -b*h + 339. Is h prime?
False
Let a(h) = -2*h - 2. Let v be a(4). Let k be (54/30)/((-2)/v). Suppose n + 3*j = 520, -4*n + k*n - 2639 = -2*j. Is n a prime number?
False
Suppose 0 = 16*d - 15*d - 4236. Let w = d - 2135. Is w composite?
True
Suppose -15*w + 58*w = 68327. Is w a prime number?
False
Let g be ((-12)/8)/(3/(-8)). Suppose 0 = -5*s - y + 531, -3*y + g*y + 529 = 5*s. Is s a composite number?
True
Let r(z) = -3*z**3 + 12*z**2 + 11*z - 5. Let w(v) = -5*v**3 + 18*v**2 + 16*v - 7. Let o = 0 - 8. Let s(m) = o*r(m) + 5*w(m). Is s(-6) composite?
False
Let n(v) = -60*v**3 - 4*v**2 + 2*v - 5. Let f be n(-5). Suppose -2*j + 4*j = 0, -f = -5*q - 3*j. Is q a prime number?
False
Suppose 119*y - 130*y = -47927. Is y a prime number?
True
Let s(r) = -2*r - 25 - 5 - 107*r. Is s(-7) prime?
True
Suppose -2*a - 27 = -4*n - 11, 4*a - 4*n = -12. Let i = -329 - -592. Suppose -o = 3*v - i - a, -o - v = -265. Is o prime?
False
Suppose -x + 5 = 2*x - c, 3*c = -2*x + 7. Suppose -2*a - a - 475 = -l, 0 = a + x. Is l prime?
False
Let c(k) = 0*k**2 - 5 + 0*k**2 + 2*k - 6*k**3 - 3*k**2. Is c(-6) composite?
False
Suppose -g + 2*g = 4. Suppose -22 = g*o + 2. Is 89*(o/(-3) + -1) a composite number?
False
Let o(y) = y**3 - 16*y**2 + 16*y - 13. Let x be o(15). Suppose -x*u + 2093 = 5*t, 0*t + 5*t = 3*u + 2098. Is t a prime number?
True
Let s = 48 - 48. Let o(f) = 6*f + 1087. Is o(s) a prime number?
True
Let w = -6483 + 11990. Is w a composite number?
False
Let t = -6344 + 14535. Is t a prime number?
True
Let q = 31463 - 19612. Is q composite?
True
Is -1*2030166/(-42) + (-6)/21 composite?
False
Let u(b) = 12*b**3 - 3*b + 4. Let h = -28 - -13. Let l be (-40)/h - (-3)/9. Is u(l) prime?
False
Suppose -21539 = -24*o + 6373. Is o composite?
False
Suppose 27 = 2*b + 17. Suppose b*y = -0*j - j + 305, y = 2. Is j prime?
False
Let c be -2 - 0 - 0/(-3). Let j be -4*((-5)/c - 0). Is j + 11 + (71 - 1) composite?
False
Is (9 + -4999)*(-24)/30 - 3 a prime number?
True
Let p = 23 + -23. Suppose -5*r = -0*x - 5*x - 3940, -2*r + 5*x + 1585 = p. Is r a composite number?
True
Let g(m) = -6413*m - 120. Is g(-7) composite?
False
Suppose -10*a + 49565 = -5*a. Is a a prime number?
False
Let r = 25 + -34. Let l = r - -13. Suppose -l*y + 1076 = 4*t, -5*y + 299 = -4*y - 5*t. Is y prime?
False
Suppose 161653 - 20870 = 23*i. Is i a composite number?
False
Suppose 3*b + b = 4*x - 60, 0 = b + x + 5. Let q = b - -20. Let m = q - -9. Is m a composite number?
False
Let g = 7331 + -1264. Is g prime?
True
Let y = 852 + 279. Let d = 1067 - 493. Let r = y - d. Is r a prime number?
True
Let p(x) = x**2 - 14*x - 4. Let j be p(14). Is (-16)/j*521/4 a composite number?
False
Let q(k) = 192*k + 2. Let x be q(1). Let a be x*(-3)/(-12)*20. Suppose 3*o - 1455 = -2*u, 3*o - u - a = o. Is o a composite number?
True
Let p(v) = 42*v + 5. Let l(z) = z**3 - 3*z**2 + z. Let s = -3 - -6. Let c be l(s). Is p(c) a composite number?
False
Let q be (0 - 1)*6*12/(-24). Suppose -136 = -2*v + 286. Suppose -a = 3*g - v, 0*g + 4*a = -q*g + 223. Is g a composite number?
True
Let f(i) = i**2 - 24. Let l be f(5). Is 588 + (-1 - (l - (-1)/(-1))) a composite number?
False
Let i be (-2)/8 - 102/(-24). Suppose 3*j = 3*m + 2127, i*j = -4*m + 3215 - 403. Is j composite?
True
Let l be (-2)/(1/4 - 0). Let u = l - -12. Is (38/u)/((-1)/(-6)) prime?
False
Let c = -4185 + 12092. Is c prime?
True
Suppose l + 8583 = 3*a, 3*a - 8583 = -12*l + 16*l. Is a a composite number?
False
Let m(v) = -v**3 - 7*v**2 - v - 4. Let q be m(-7). Suppose 6*c - q*c = 603. Is c prime?
False
Is 2 - 11 - (-27927 + 17) a composite number?
False
Is -1 + 6/8 + 15503702/184 composite?
True
Let d(z) = -10*z - 3. Let m be d(-1). Is 3/21*-2 + 3859/m a prime number?
False
Is 15081/17 + (-24)/204 prime?
True
Suppose 0 = -3*f + 3*s + 3132, 