j = 1119. Is p a prime number?
True
Let w(o) = -4 + 3 + 279*o + 31*o. Let t be w(-1). Let j = t - -690. Is j prime?
True
Let c = 1135 + -605. Suppose 10*k = 8*k + c. Is k a composite number?
True
Let c(a) = 1376*a**2 + 97*a + 5. Is c(4) composite?
False
Suppose 0 = -47*a + 44*a + 143769. Is a composite?
True
Let y(c) = 4*c - 6. Let s be y(-4). Let m(d) = d**3 + 22*d**2 - 18*d - 25. Is m(s) a prime number?
False
Suppose -3*n - 3*q - 996 = -6*n, 3*n = q + 994. Is n a prime number?
True
Is -65561*(1 - 2)/(26 - 25) prime?
False
Is -2554*(-20)/(-16)*-2 a prime number?
False
Suppose 5*w + 50 - 65 = 0. Suppose -2*y + 1162 = -2*o, 0*y + 4*o + 1741 = w*y. Is y prime?
False
Let v(w) = -w**3 - 4*w**2 + 7*w - 4. Suppose 5*m = 3*d + 33, -5*d - 3*m + 0*m - 21 = 0. Is v(d) prime?
False
Suppose -12*i + 13*i = -4*x + 59998, 5*i + 74985 = 5*x. Is x a prime number?
False
Let o = -19942 + 35964. Let h be o/(-9) + (-10)/(-45). Is 2*(-2)/(16/h) prime?
False
Let v(f) = 8 - 5*f - 1 + 4 + 2*f**2. Is v(6) prime?
True
Let h be (138/(-5))/(1/(-15)). Suppose -15*j - 35 = -22*j. Suppose -f = 5*u - h, 4*u + j*f - 3*f - 330 = 0. Is u prime?
True
Let g(m) be the first derivative of -6*m**2 + 15*m - 52. Suppose 3*i - 3*f + 15 = i, -5*i - 69 = 3*f. Is g(i) composite?
True
Suppose -10 = -r - 2*p, -r + 3*p - 8*p + 22 = 0. Suppose -2*q + 5*h = -5085, -7*q = -3*q - r*h - 10178. Is q a composite number?
True
Let l(k) = 222*k**2 + 8*k + 21. Is l(-5) composite?
False
Suppose 15 - 1 = b - 3*a, -11 = -4*b + 3*a. Let k(w) = -9059*w**2 + 1. Let z be k(b). Is 2/(-9) - z/18 a composite number?
False
Suppose -13634 = 5*n - 4*k - 52947, -2*k - 7865 = -n. Suppose 4*q = 11*q - n. Is q prime?
True
Suppose o - 5*y = 3*o + 25, -25 = -5*o + 5*y. Suppose -4*w + o*w = 0. Suppose 2*l - b - 502 = w, -5*l - b = b - 1255. Is l prime?
True
Suppose -11*y + 12715 = -9*y - b, -4*y + b = -25433. Is y a prime number?
True
Let t(n) = 8236*n**2 - 10*n + 33. Is t(3) a prime number?
False
Suppose n - 5*t - 8829 = 0, -35*t = -3*n - 30*t + 26527. Is n a prime number?
True
Suppose 3491 = 4*m + 5*z, 0 = 7*m - 3*m + 3*z - 3493. Suppose -2*q - m = -4*q. Is q a composite number?
True
Suppose 8*l = l + 31640. Suppose 3*u - l = -5*u. Is u composite?
True
Suppose 3*h + 28 = -5*g + 318, 2*h = -4*g + 192. Suppose 6*y - 5*y - h = 4*c, 0 = 2*y - c - 207. Suppose -y = -3*z - 38. Is z a composite number?
True
Let k be 5/(5/4) - 21. Let q = 19 + k. Is 3 - (q + -2) - -742 composite?
True
Suppose -d = 2*d. Let s be (1 + d)*-3 + -12. Let l(t) = 2*t**2 + 12*t + 1. Is l(s) composite?
False
Let h = -914 + 1506. Suppose -4*a + h + 1932 = 0. Is a prime?
True
Let a(i) = -10*i**3 + 6*i**2 + 4*i + 5. Let t be a(5). Let q = 2042 + t. Is q a composite number?
False
Let z be 2/(-4) + 18/4. Suppose -z*t = -2*t - 70. Is t composite?
True
Is 44376/28 + 2/14 a composite number?
True
Suppose 0 = -3*w + 2*y + 786, -8*w = -3*w - 5*y - 1315. Suppose -w = -3*q + 247. Is q composite?
True
Suppose -2*p + 0*p - 4 = 0, -3*o + p = 52. Is (-6)/o + 2328/9 a composite number?
True
Is (155/(-124))/(1/(-2876)) composite?
True
Let o = -1728 + 2969. Suppose -o = -3*a + 2368. Is a a composite number?
True
Let y be ((-4728)/32)/((-6)/32). Is y/6*(-612)/(-24) prime?
False
Suppose -x + 2*s = -7, -3*x + 0*s = -3*s - 15. Is ((-12)/(-54)*x)/(2/114) a composite number?
True
Let d(s) = 43*s**3 + 13*s**2 + 53*s - 30. Is d(13) a composite number?
False
Suppose -4*s + 79651 = 9*s. Is s a prime number?
False
Is (-49148)/(-88)*11*2 prime?
False
Let u(j) = -2*j**2 - 10*j + 6. Let q be u(-5). Let y(t) = 5*t**2 - 14. Is y(q) a prime number?
False
Is 3 + 126/(-7)*-81 a composite number?
True
Let v = -31799 + 45166. Is v prime?
True
Let y = -9821 - -25074. Is y a composite number?
True
Let n = 3914 - 1767. Is n a prime number?
False
Let d(y) = 5*y**3 - 10*y**2 + 5*y + 8. Let w be d(6). Suppose w = 17*v - 15*v. Is v prime?
True
Suppose 3*c - 2*l = 98797, -4*l + 22601 + 10336 = c. Is c a composite number?
False
Is 12793 + (-4 - -2) - (-4 - -2) composite?
True
Suppose -2*w - 259 = -263. Suppose w*z - 3357 = k - 4*k, -5*z - 3378 = -3*k. Is k a prime number?
False
Let g(q) = -q**2 - 5*q - 5. Let s be g(-5). Let a(x) = 56*x**2 + x - 6. Let n be a(s). Let b = -430 + n. Is b composite?
True
Suppose 0 = -15*b + 31627 + 35483. Is b a composite number?
True
Is 3595*(-4 - -5) + 1 + -3 prime?
True
Suppose 11732 = v - 5151. Is v prime?
True
Suppose -m + 20 = 4. Suppose 3*i - 122 = m. Is i a composite number?
True
Let b = 24190 + -7713. Is b a prime number?
True
Suppose y + 3 = 4*c - 6, -y - 7 = -2*c. Suppose m - c = -0. Is (-30 - 1)/(m/(-13)) a composite number?
True
Suppose 0 = -0*i + 9*i - 59355. Is i a prime number?
False
Let b = 1855 - 3523. Let f = 1201 - b. Is f a prime number?
False
Suppose 2*f = 2*d - 146, -38 = 2*f - d + 108. Let a = f + 212. Is a composite?
False
Let w be -2*(0 - (1 - 4)). Let x(k) = k**2 - 8*k + 7. Is x(w) a composite number?
True
Let m(b) = -71*b - 20. Let p(o) = 47*o + 13. Let r(n) = 5*m(n) + 7*p(n). Is r(-4) a composite number?
True
Is ((-207882)/15)/(14/(-35)) a composite number?
True
Let c be (12/7)/((-1)/7). Let x = c + 15. Suppose -x*f - 305 = -878. Is f a prime number?
True
Let k(t) = -t**3 + 11*t**2 - 11*t + 4. Suppose -n + 5*x + 50 = n, -x + 38 = 2*n. Suppose n = 4*z - 16. Is k(z) composite?
False
Suppose 9*d = 3*d - 3162. Let c = 1530 + d. Is c a composite number?
True
Let v = 2122 + 136. Suppose -m = q - 563, 4*m + 0*m + q = v. Suppose 5*f + 2*j = 959, -f + m = 2*f - 4*j. Is f a prime number?
True
Is (-10)/(-35) + (-635358)/(-14) a composite number?
True
Let u be ((-18)/4)/(-2 - 25/(-10)). Let o = 22 + u. Is o a composite number?
False
Suppose 4*l = -2*l + 24. Suppose l*u - 24 = -0*u. Is -526*(9/u + -2) composite?
False
Let i(l) be the third derivative of -l**4/8 - 11*l**3/6 - 7*l**2 - 5. Let x(c) = 15*c + 1. Let d be x(-1). Is i(d) composite?
False
Let r = -37 - -49. Suppose -14*y + r*y = -422. Is y a composite number?
False
Let j(q) = q**3 + 9*q**2 + 11*q + 1. Let b be j(-9). Suppose -5*f = -0*f - 15, 3*k = f - 3060. Let i = b - k. Is i a prime number?
False
Let j be -5*(-2 + 3)*1. Suppose -4*x - 3 = -7. Is ((-1030)/j)/(3 - x) composite?
False
Suppose -8*q = 2*u - 4*q - 50662, -101368 = -4*u + 3*q. Is u prime?
True
Suppose 0 = 22*a - 18*a - 94036. Is a prime?
True
Suppose -4*m - 2*n = -n - 667068, -5*n = -5*m + 833835. Is m a composite number?
True
Let c be 28/3*36/24. Let k be ((-4)/(-14))/(2/c). Suppose -5*i - 5*p = -935, i + k*i = 4*p + 533. Is i composite?
True
Let x = -3846 - -6195. Suppose 4*s - 3524 = i + 1185, 0 = -2*s - 5*i + x. Is s prime?
False
Let a(i) = 78*i**2 + 11 - 569*i + 124*i**2 + 564*i. Is a(3) a prime number?
False
Let m(c) = 7*c**2 - 51*c + 235. Is m(31) a composite number?
False
Let q(d) = -2*d**2 + 7*d - 10. Let s be q(2). Is (s - (-4 - 2)) + (904 - -1) prime?
True
Suppose 0 = 2*m - 0*m. Suppose -g - 18 + 0 = m. Is 2140/24 - (-3)/g a composite number?
False
Let t = 1140 + -841. Is t composite?
True
Suppose -406 + 54 = 4*h. Let y = 301 - h. Is y prime?
True
Is 1 + (-10 + 10 - -1008) prime?
True
Let m(j) = j**3 - 9*j**2 + 10*j - 14. Let c be m(8). Suppose c*l - 134 = 284. Is l prime?
False
Suppose g - 146 + 750 = 0. Let m = -1107 - g. Let k = -244 - m. Is k composite?
True
Let f be (-2)/((-3)/((-156)/(-8))). Let j = f + -10. Is 74*((-5)/2 + j) prime?
True
Suppose -3*s - 2*s = -10. Suppose -s*l = -4*o - 824, o - 813 = -3*l + 423. Is l/(-24)*-2*3 a composite number?
False
Let q(u) = 68*u**2 + 38*u + 17. Is q(12) prime?
False
Let j(z) = -z - 6. Let o be j(-6). Suppose o*h = -2*h + 12. Suppose h*b - 435 = b. Is b a prime number?
False
Let b(y) = -y. Let i(m) = -5*m - 3. Let v(o) = 3*b(o) - i(o). Let q be v(0). Suppose l - 92 = -q*l. Is l composite?
False
Let u be 4 - (3/(-1) - -6) - 3. Is u + 85 + (-1 - -5) a prime number?
False
Suppose 0 = 16*z - 4043 + 1531. Is z a prime number?
True
Suppose 25*h - 233658 = 7*h. Is h prime?
False
Let x(n) = 65*n + 31. Let u(j) = 66*j + 31. Let r(v) = -4*u(v) + 5*x(v). Is r(6) composite?
False
Let n = 60 + -15. Let p = 154 - n. Is p prime?
True
Let h(o) = 61*o + 156. Is h(21) prime?
False
Let m(q) = 140*q**3 + q**2 - 1. Let n be m(-1). Let x be (-391)/(-46)*1*(-20)/2. Let o = x - n. Is o a prime num