44*f - 37*f. Is f a prime number?
True
Let o(r) = 5*r**2 - 2*r + 2. Let v be o(-5). Let f = v - -54. Is f prime?
True
Suppose 2*z - 24 + 8 = 0. Let d(h) = h**3 - 8*h**2 - h + 11. Let u be d(z). Suppose -u*p - 423 = -3*m, -4*p + 3*p = -4. Is m prime?
False
Suppose 2*f - 5*z - 26 = 0, 3*z = -7 - 5. Let r be 2 - (f + -2 - -1). Suppose r*y + 2*l - 60 = -3*y, -5*l + 29 = 2*y. Is y composite?
True
Suppose -1526 - 10914 = -8*z. Is z a prime number?
False
Is ((-84)/(-42))/((2/(-6997))/(-1)) a composite number?
False
Let n(y) = 7*y + 4. Let i be n(5). Let p = i - 39. Is (-12)/3 + p + 135 a prime number?
True
Let g be (3/6)/((1 + 0)/666). Suppose i = -2*b + 457, 4*i - 4*b = -g + 2113. Is i a prime number?
True
Suppose 26 = 4*d + 3*u, 5*d = -0*d - 5*u + 35. Let k(t) = 3*t**3 - 2*t**2 + 11*t - 7. Is k(d) prime?
True
Suppose 3*t - 5*t + 3060 = 4*g, -5*g = -t - 3839. Is g a composite number?
True
Suppose -6*r = -5*r. Suppose r = -2*o + o + 37. Is o a prime number?
True
Suppose 6 = -3*b + 5*r, 2*b + b - r - 6 = 0. Suppose 0 = t + b - 6. Is 33*2 + t - -2 composite?
False
Let q(c) = 8*c**2 + 5*c. Let f be q(-6). Suppose -269 - f = -o. Suppose -3*y + o = 5*l, l - 36 - 141 = -y. Is y a prime number?
True
Let d = -27558 + 80267. Is d a prime number?
True
Is 6 - -334 - (0 - 7) prime?
True
Suppose -12*f + 8*f = 4*o + 3168, 782 = -f - 3*o. Let y = 2011 + f. Is y prime?
False
Let d = 5618 + -3860. Suppose 5*l - 2*m - 3455 = 0, -5*l + 1677 = 2*m - d. Is l a composite number?
True
Let s = -33 - -44. Suppose s*w = 6*w + 3805. Is w composite?
False
Let h = -25 - -33. Suppose -2*n = -2*d - 584, 0 = 3*n - h*n - 4*d + 1469. Is n prime?
True
Let w(b) = -b + 8. Let i be w(3). Suppose 3*k = i*c - 31, -c + 9 = -k - 0*c. Let a(z) = -z**3 - 6*z**2 - 8*z - 2. Is a(k) composite?
False
Let a be 0*(-1)/6*-3 - 6. Is (-1)/a - (-14728)/48 composite?
False
Let j(f) = 47*f - 6. Suppose 3*p - 6 = -q + 4*q, -5*p = 2*q - 31. Let x be j(p). Suppose -3*w = 2*s - 3*s + x, 4*s = -2*w + 888. Is s a composite number?
False
Suppose 0 = -p - 4*f + 1732, 2*p + 2*p - 6858 = -2*f. Let m = -1077 + p. Is m a prime number?
False
Let x = 22772 - -63009. Is x a composite number?
False
Let g(p) = 80*p**3 - 2*p**2 - 2*p + 3. Let z be ((-6)/15 + 0)*-5. Is g(z) a composite number?
False
Let h = 5036 + 12467. Suppose -12*x = 11*x - h. Is x a prime number?
True
Let d = -5515 + 8774. Is d prime?
True
Suppose -3*j = -2*b + j + 54670, 0 = -3*b - 3*j + 81969. Is b a prime number?
False
Suppose 0 = 5*u + 2*b + 1347 + 2104, 3*b = 6. Let o = 1113 + u. Is o composite?
True
Let h(b) = 30*b**2 + 13*b + 8. Let j be h(6). Suppose v - 395 = j. Is v prime?
False
Let p(r) = r**3 + 8*r**2 + 6*r + 2. Let i be p(-7). Let q be i - (-5)/(20/(-12)). Suppose 9 = -3*y, q*y - y - 432 = -3*b. Is b a composite number?
False
Suppose -5*k + 26078 = 2*j - 8037, -4*j - 13646 = -2*k. Is k prime?
True
Let h(c) = 3026*c - 261. Is h(5) prime?
True
Let g(j) = -j**2 - 5*j - 1. Let f be g(-5). Let k = f - -5. Is 847/4 - 3/k composite?
False
Let b be (35238/(-4))/((-1)/2). Suppose 12*p = 5*p + b. Is p a prime number?
False
Let f = -20 + 24. Suppose 0 = f*j + 2*l + 42, j - l = -0*l - 12. Is 2/j - (-59073)/77 a composite number?
True
Let j(s) = -s**3 - 22*s**2 + 12*s + 3. Let w be j(-11). Let o = 2751 + w. Is o a composite number?
False
Let q(j) = j - 6. Let k be q(8). Let w(m) = -7*m + 22*m + 0 + 8 - 7. Is w(k) composite?
False
Is 311 - (1/1 - (-1 - 2)) composite?
False
Let f = 4402 + -2487. Is f composite?
True
Suppose -5*x = 2*k - x - 22, 6 = 3*k - 3*x. Suppose 347 = k*n - 198. Is n a prime number?
True
Suppose 5*s + 2*b + 239 = 6*b, 0 = -4*s - 2*b - 186. Let r = s - -124. Is r composite?
True
Let f(n) = -60*n**2 + 4*n + 5. Let l be f(7). Is 2 + 18/(-12) - l/6 a prime number?
False
Let d(m) = -m**3 + 20*m**2 + 4*m + 23. Is d(16) prime?
False
Is 39067938/1190 - 4/(-5) composite?
False
Suppose 0 = -14*k + 15*k - 5. Suppose 0*d + 2*d = 3*j - 67, 0 = -k*j - 3*d + 99. Is j composite?
True
Suppose -4*f + 4 = -4*v, -2*v + 3*f - 1 = 2. Let l(t) = -13 + 78 - 2*t + 354. Is l(v) prime?
True
Let a(s) = -3883*s - 215. Is a(-12) composite?
False
Let h(s) = -59*s**3 + 2*s**2 + 26*s - 7. Is h(-6) a prime number?
True
Let n(m) = m**2 + 2*m + 1. Let i(h) = -h**2 - 4*h + 6. Let u be i(-5). Let c = -11 - u. Is n(c) prime?
False
Let j(z) = 1405*z - 25. Let c be j(9). Let t = -8761 + c. Is t prime?
False
Let v be -1*1/1 - 3. Let c be 12/16 + (-9)/v. Is (-36)/(c/(-3)) + -3 prime?
False
Suppose -25 = -6*g + g. Suppose g*n + 65 + 555 = 0. Let x = n + 211. Is x prime?
False
Let i be 5 + 3831 + 0 + -1. Suppose 7*p = 9934 + i. Is p composite?
True
Let r(m) = 5*m - 57. Let y be r(12). Suppose 3*u + 311 = d - 2*u, -4*d - y*u = -1336. Is d composite?
False
Let f(o) = -30*o + 1. Let q(s) = -120*s + 3. Let l(u) = 15*f(u) - 4*q(u). Suppose 0 = -3*y - 5*g + 11, -5*y + 8*g - 4*g + 43 = 0. Is l(y) a composite number?
True
Let n be (-35374)/(-460) + 2/20. Suppose 0*g + g - 10 = 0. Suppose -g = 5*t - 2*x - 139, -3*t + x + n = 0. Is t a prime number?
False
Let j = -4 + 16. Let b be j/10*(-1470)/(-9). Let c = b + -83. Is c composite?
False
Is 692 + 5 + -12 + -8 prime?
True
Is -11*(5 + -74 - -2) prime?
False
Let o = 3 + -9. Let j be (-138)/(-5)*(o + 1). Let u = 251 + j. Is u prime?
True
Let k be 260/(-6)*(-135)/18. Suppose 0 = h - k - 124. Is h prime?
True
Suppose 990 = -6*p - 924. Let o = 162 - p. Is o a composite number?
True
Is 1 + (-1)/4 - 130340/(-16) a composite number?
False
Let h = 223 + -120. Let g = h - -204. Is g prime?
True
Let h = 3632 + -1918. Let a = -6448 + h. Is (a/(-1 - 2))/2 composite?
True
Suppose 95*q = 94*q. Suppose -d - 5*w = -1564 - 5104, q = -w - 1. Is d prime?
True
Let w = 1389 + -411. Let h = -283 - -894. Let z = w - h. Is z a prime number?
True
Let v(l) = 78*l**3 + 5*l**2 - 10*l + 7. Is v(4) composite?
False
Let y be ((-6)/4)/((-9)/24). Suppose 0 = -q + y + 5. Is -1 + 606/q*6 a composite number?
True
Let p(j) = j**3 + 9*j**2 - 10*j - 13. Let n be p(-9). Let l = n + -24. Suppose -2*x - l = -3*x. Is x a composite number?
False
Let w(d) = -1. Let h(k) = -109*k + 27. Let l(o) = -h(o) - 4*w(o). Is l(4) a composite number?
True
Let i be 72/(-42) + 2 - 508/14. Is ((-295230)/i)/13 - 2/(-12) prime?
True
Suppose -44414 = -4*z - 5*g, 39*z = 40*z - 3*g - 11095. Is z a composite number?
True
Is 32602 - (-2 + 0) - 1/1 a prime number?
True
Let l = 16 - 16. Suppose 49 = h + 5*f, -5*h - f - 15 + 356 = l. Is h a composite number?
True
Let h = -23 + 12. Let n(q) = -10*q + 16. Let j be n(-5). Is ((-5)/2)/(h/j) a composite number?
True
Let h be (-1)/(0 + 1 - 216/210). Let o be 3/((-1)/(-2) - -1). Suppose d - 2*d + 2*t = -h, 2*t - o = 0. Is d a composite number?
False
Let a be (-132)/(-28) - 10/(-35). Is (-4)/a - 44356/(-20) a prime number?
False
Let o(g) = -g**2 - 4*g - 2. Let y be o(-2). Suppose 3*u = 6*u. Suppose -y*b + 961 + 129 = u. Is b a prime number?
False
Let p(f) = -206*f - 3. Let m be p(-4). Suppose -2*o = 787 + m. Is o/(-14) + 12/(-28) prime?
False
Let u(c) = -180*c + 6. Let w be u(-1). Suppose p - 455 = w. Is p a prime number?
True
Suppose -4*b + 2*b + 1 = a, -10 = 5*b. Suppose -4*j + 1246 = 2*g, -g - 2*g + a*j = -1913. Is g composite?
False
Let l = 426788 + -303415. Is l a composite number?
False
Let v(x) = 58*x - 3. Let t be v(2). Let a(j) = 2*j + 25. Let w be a(-10). Suppose w*o - 4*h + 224 = 9*o, -h + t = 2*o. Is o composite?
True
Let t = 1554 - 923. Suppose 61*h - 62*h = -t. Is h a prime number?
True
Suppose 7*l - 15924 = 26125. Is l prime?
True
Suppose -102 = -5*o + 28. Suppose 23*d - o*d = -9. Is (d - 1)*(-1662)/(-12) prime?
True
Let l = 843 - 385. Suppose 0 = 3*a - l + 98. Is 3 - (0 - a - -2) composite?
True
Suppose 220*n - 35078 = 218*n. Is n a composite number?
False
Let n = -7905 + 15188. Is n prime?
True
Suppose r - 2 = -4*l + 2, -4*r - l = -1. Suppose b + t + 1 = 3, -5*b - t + 22 = r. Is 2802/15 + 1/b prime?
False
Is (1 + 2353)*((-6)/(-4))/3 prime?
False
Let v = -59 - -57. Suppose -3*k = 2*s - 3*s + 121, -4*k = -4*s + 172. Is v + k/2*-6 composite?
True
Let s = -142 - -169. Suppose -4 - 2 = -3*m. Suppose 1 + s = m*q. Is q a composite number?
True
Suppose 46*f + 280701 = 55*f. Is f composite?
False
Let d(q) = -2*q - 3. Let t be d(-2). Suppose 2*y = 1 + t. 