r(i) = 14*i + 3. Is r(b) prime?
True
Suppose 11*z - 9*z = 4. Suppose -3754 = -3*y - 5*u, 0*u = y - 2*u - 1244. Suppose -y = -z*v - 274. Is v composite?
False
Let z = 1105 + -698. Is z composite?
True
Let o = 112 + -105. Suppose o*n = n + 1062. Is n a composite number?
True
Let b = -8026 + 16035. Is b prime?
True
Suppose -2*u + 3*h + 17 = 1, 5*u - 2*h - 40 = 0. Suppose -6*k + k = -5*z - 355, -4*z = 2*k + 308. Let d = u - z. Is d a prime number?
True
Let m(z) = -z**2 + z - 117. Let c be m(0). Let x = 62 - c. Is x a prime number?
True
Let x(l) = 90*l**2 + 1. Suppose 4*v - 14*v = -20. Is x(v) composite?
True
Is 3903*(70/21)/2 prime?
False
Let y be (-135)/5 + (-1 - 0). Is 353*5 - (-3)/((-21)/y) a composite number?
True
Let j = -24 - -21. Suppose -3*f - 3*r = -6057, -r = -0 - 1. Is f/6 + (-2)/j composite?
False
Let j = 692 - 1112. Is -1*1 - j/(1 - 0) a prime number?
True
Suppose -i + 1 = -0. Let w be 225 + i + 3 + -1. Is w/16 - 2/8 composite?
True
Suppose 12 = -4*l + 4*i, 2*l + 2 = -3*i + 11. Suppose l = 4*x - 502 - 94. Is x a composite number?
False
Suppose -4*u - 8 = 0, 2*q - 4*u + 569 - 16995 = 0. Is q prime?
True
Suppose 5*a - 18 = k, 5*a = 5*k + 8 + 2. Suppose -a*s + 0 = -8. Is s + (0 - (-2 - 15)) a composite number?
False
Suppose 9*z = -3*z + 5*z. Suppose z = r - 4*y - 1531, 3*r - y - 2*y = 4620. Is r prime?
True
Suppose -5*x + 16 = -x. Suppose 0*f - 5 = x*i - 5*f, 0 = -4*i - 3*f + 3. Suppose i*s - 447 = -3*s. Is s a composite number?
False
Let n = -3414 + 5803. Is n prime?
True
Suppose 2*c - 6 = 0, -5*d + 24 = -2*d + c. Suppose -d - 1 = 4*q. Is -4*q/(-2) - -269 a prime number?
False
Let i(t) = 557*t**2 + t - 1. Let j be 1 - ((-4)/(-4) - -2). Let b be i(j). Suppose -2*n - b = -7*n. Is n composite?
True
Suppose 25 = -9*i + 14*i. Suppose 0 = m - i*m + 16. Suppose m*l + 89 = 5*l. Is l a prime number?
True
Let f(j) = 260*j**2 - 10*j - 1. Is f(5) a composite number?
False
Let v be (29/(-2))/(2/(-148)). Let g = -624 + v. Is g composite?
False
Suppose -5*f = -6*f - 5*r + 12559, -3*r + 62839 = 5*f. Is f composite?
False
Let l(x) = -32 - 61*x - 9 + 6 + 29*x. Is l(-11) a composite number?
False
Suppose 10*j + 76945 = 21*j. Is j prime?
False
Let c(z) = -z - 6. Let q be c(-5). Let k = -93 - -73. Let r = q - k. Is r a composite number?
False
Suppose 0 = 4*s + 225 + 1783. Let q be s/(-3) - 1/3. Suppose 4*r - 845 - q = 0. Is r a prime number?
False
Let t(o) = -8*o**2 - 5*o + 18. Let i be t(-6). Let d be 431*((-3)/3)/1. Let p = i - d. Is p a composite number?
False
Suppose 2*c - 3405 = -281. Let a = -651 + c. Is a a prime number?
True
Suppose 0*c = -4*c - 29216. Let l = -271 - -251. Is 2/(-10) + c/l a prime number?
False
Suppose 75*q = 81*q - 7554. Is q a composite number?
False
Let f = 1574 + -453. Is f prime?
False
Suppose -18366 = 6*h - 55812. Is h a prime number?
False
Let x = -37 + 37. Is (-12234)/12*(x + -2) composite?
False
Let r = -26 + 29. Suppose -4*m + r*m = -2643. Is m prime?
False
Suppose 3*f - 2681 = -k - 324, -k = -4*f + 3131. Suppose 4*j - 2 = 3*v - 3, -14 = -4*v - j. Suppose -3*b - 3*u + 278 = -2*b, v*b - f = u. Is b a prime number?
True
Suppose 5*w - 4*j = j + 84405, 50627 = 3*w + j. Is w composite?
True
Let g(i) = 1501*i - 6. Is g(5) prime?
True
Let g be 86 - 9/((-9)/(-4)). Let m = -4 + 8. Suppose m*n + 3*p = g, 59 = 3*n - p + 2*p. Is n a composite number?
False
Suppose 2*i = 2*r - 10, i + 3*i + 10 = 2*r. Suppose -528 = -2*s - 3*l + 2*l, 0 = 2*s - r*l - 540. Is s a prime number?
False
Let q be (5/10)/(-1)*-2. Let p be 1305 + 5 + -4*q. Suppose -4*r + 3*g + 444 = -p, -3*g + 6 = 0. Is r a prime number?
True
Let t(c) = 9*c**2 - c + 1. Let s be t(2). Suppose s + 19 = -3*g. Is (-1062)/4*12/g a prime number?
False
Let u(c) = -974*c - 516. Is u(-11) a prime number?
False
Let l(k) = 24*k - 6. Let v be l(14). Suppose 2*t = 352 + v. Let f = t - 48. Is f a prime number?
True
Suppose 0 = 4*k + 2*d - 14, -9 = 6*k - 3*k - 5*d. Suppose 6*q - k*q - 4*u = 52, -4*q = -5*u - 54. Is q composite?
False
Suppose 3*b + 5*j - 14993 = 0, 3*j + 601 = 3*b - 14432. Is b a prime number?
False
Suppose -2*a = 2*y + 4, -3*a - 3*y + 10 = -8*y. Let s(z) = 3*z**2 - 2. Let d be s(3). Suppose d = 5*m, q + a*m - 196 = -m. Is q composite?
False
Let z(t) = t**2 - 10*t - 32. Let w be z(13). Let o(m) be the second derivative of -m**5/20 + m**4 + 7*m**3/6 + 7*m**2/2 + 2*m. Is o(w) prime?
False
Let t be 8/12*(-12)/(-2). Suppose -3*x + 483 = t*y, x + 5*y - 104 - 68 = 0. Is x prime?
True
Let k(z) = 17157*z - 169. Is k(10) a prime number?
True
Let w(a) = 4*a**2 - 4*a - 5. Let u be w(-1). Suppose 0 = 3*o - 6, -1861 - 2449 = -u*m + 2*o. Is m a composite number?
True
Suppose -4*g + 5*d = -7, 6*d - 2*d + 11 = 5*g. Is (-208 - g)/(2 - 3) prime?
True
Let u = 6 + -4. Let q be (u - (-2 - -5))*-3. Suppose q*j + 0*j - 93 = 0. Is j a prime number?
True
Let b be 80234/112 + (-3)/8. Suppose b = -4*z + 2792. Is z composite?
True
Let n = -566 - 866. Let r = n - -2577. Is r prime?
False
Let i be (-22)/(-4)*-442 + 4. Is i/(-12) - (-18)/24 prime?
False
Is 50/125 - (-966)/10 a composite number?
False
Let i(f) = 82 + 70 - 200*f - 151. Let h = -1 - 1. Is i(h) prime?
True
Suppose s + 4*q + 90 = -55, 2*s + 2*q = -278. Let g = -359 - -607. Let y = g + s. Is y a composite number?
True
Suppose 674 = -4*y + z, -4*y + y - 5*z - 494 = 0. Let k be (y/(-9))/((-2)/6). Is (k/16)/(2/(-4)) composite?
False
Suppose -1025*l = -1015*l - 1600390. Is l prime?
False
Let u(w) be the second derivative of 103*w**4/12 + w**3/6 + w**2/2 + 3*w. Suppose -4*a + 2*m + 0*m = 2, -3*m - 8 = 5*a. Is u(a) a prime number?
True
Let r(k) = -20*k + 18. Let h be r(-12). Suppose -264 - h = -6*w. Is w composite?
True
Suppose 0*z = z - 450. Suppose -l - z = -2*v, -908 = -v - 3*v + 4*l. Is v a prime number?
True
Let v = -9 - -16. Suppose 0 = -2*r + v*r + 3*p + 5, 5*r = 5*p + 35. Suppose 2*u = 5*d + 742, -r*d - 3*d + 1925 = 5*u. Is u composite?
True
Let u = -26 - -28. Let l be u + 6/((-15)/(-5)). Is (354/l)/3*14 prime?
False
Is (-4 + -17)/7*(-8654)/6 composite?
False
Suppose -6*d + 2*d - p = -3056, -5*p - 3056 = -4*d. Let w = 1302 - d. Suppose 6*o = 8*o - w. Is o a prime number?
True
Let x = -97 + 136. Let s be 683 + 4 - 4/1. Suppose -4*n = x - s. Is n a prime number?
False
Let w(c) = 820*c + 1. Is w(1) prime?
True
Let n be 62/15 + 24/(-180). Suppose -z + n*h + 308 = -3*z, 0 = -z - h - 155. Let r = z + 283. Is r a prime number?
True
Suppose 5*d - 4*x = 315 + 1002, 0 = -2*d + 4*x + 522. Suppose -d - 677 = -2*f - 4*n, -n = 2*f - 942. Suppose -f = -7*l + 4*l. Is l a composite number?
False
Suppose -19305 = -2*u - z, -2*u + 11995 = -3*z - 7330. Is u a composite number?
True
Let g(z) = 9577*z**2 - 3*z - 2. Is g(-1) composite?
True
Let h = -42 + 43. Suppose 3*w + h - 31 = 0. Is w a prime number?
False
Let y(z) = 18*z**3 + 8*z**2 - 18*z - 11. Is y(6) composite?
False
Is (53*193/(-3))/(2/(-6)) prime?
False
Is ((-2138)/16)/(14/(-448)*4) a composite number?
False
Let s(k) = 10499 - 3*k**2 - 10*k**2 + 6*k**2 - k**2. Is s(0) prime?
True
Suppose -120 = -2*g - 338. Let r = -42 - g. Is r a prime number?
True
Suppose 11*f - 53854 = -19545. Is f composite?
False
Let w(a) = -4*a + 14. Suppose 44 = 7*g - 19. Let i be (-6)/g*-3*-4. Is w(i) a prime number?
False
Let i be 1/(0 - 1) + 5. Let u = -2 + i. Suppose -u*a + 77 = -a. Is a prime?
False
Let d(a) = 14*a**2 + 6*a + 7. Let m be d(-5). Suppose -f + 2*f - m = 0. Suppose 2*s - 115 = -2*z + f, -3*z + 886 = 4*s. Is s prime?
True
Let d(g) = g**2 - 2*g + 12. Let k be d(7). Suppose 5*q = 4*c + 450, k = q - 4*c - 27. Is q a prime number?
False
Suppose t + 1476 = -2*t + q, t + 5*q + 476 = 0. Let c = -300 - t. Is c composite?
False
Let l(z) = z**3 + 7*z**2 - 7*z + 11. Let o be l(-8). Suppose -h = -5*x + 3, 2*x + 2*x - 12 = -4*h. Suppose 159 = -h*d + o*d. Is d a composite number?
True
Suppose -3*s - 4*a = -14, s + 0*s = a. Suppose 4*d - s*d = 20. Is 6314/d - (-4)/(-10) composite?
False
Let m be ((-36)/(-54))/((-4)/318). Let r = -27 - m. Is r prime?
False
Suppose -t - 5*o - 22 = -3*t, 0 = 3*t - 2*o - 11. Let c be (1 + -78)*(-1)/t. Suppose 4*m = -5*d + 50, 0 = -5*m - 0*d + d + c. Is m a prime number?
False
Suppose 0 = -22*o + 21*o + 39887. Is o composite?
False
Let i = 8 + -4. Suppose -3*g - i = 2. Is -382*g/(-8)*-2 composite?
Fa