 Is u prime?
True
Suppose -36840 = -4*a - a - 5*u, a - 3*u = 7372. Is a a composite number?
False
Suppose -5*n + 2 = -3. Suppose -p = -n - 1. Is ((-22)/(-4))/(p/44) composite?
True
Let a = -106 - -297. Is a a composite number?
False
Let r be 44 + (0 + -1)*-3. Let d = r - 29. Let j = 85 - d. Is j prime?
True
Suppose 0 = 4*r - 5*r + 1. Is -131*((-33)/11 + 0 + r) prime?
False
Suppose 2*w = 1398 + 155872. Is w a prime number?
False
Is 7 + (11 + -6 - -8489) prime?
True
Suppose -5*x + 33 = 2*s - 0*s, -8 = -4*x + 3*s. Suppose 0 = x*o - 4 - 11. Suppose o*q = -3*z + 110 + 34, -2*q + 90 = 4*z. Is q a prime number?
False
Suppose -17*d = -15*d - 6098. Is d prime?
True
Let s = -30 + 36. Let c(x) = x**2 - 8*x + 4. Let y be c(s). Is (2/y)/((-6)/12984) prime?
True
Let a = 42 + -40. Suppose a*r + 11869 = 13*r. Is r a composite number?
True
Let r(m) = 14*m**2 - 9*m - 107*m**3 - 4*m + 106*m**3 - 7. Is r(6) prime?
False
Let l be 4/(20/3505) + 4. Suppose 1104 = 9*y - l. Is y a prime number?
False
Let h(o) = 2*o**3 - 9*o**2 + 11*o - 9. Let m be h(7). Let l = m - 168. Is l composite?
True
Let j = 4157 + -328. Is j a prime number?
False
Is 696050/(-30)*(1 + -4) a composite number?
True
Let p(v) = -12469*v + 104. Is p(-11) a prime number?
False
Let k(m) = 31*m**2 - 4*m - 94. Is k(-9) prime?
False
Suppose -2*d = 4*j - 8, -5*d + 0 = -2*j + 28. Is (-12)/(0 + 3) - 4572/d prime?
False
Let b(l) be the second derivative of 0 + 1/2*l**2 - 59/3*l**3 - 10*l. Is b(-1) composite?
True
Let b(l) = 283*l**3 - 2*l**2 + 5*l + 1. Is b(4) composite?
True
Let i(r) = -r**3 - 28*r**2 - 13*r + 103. Is i(-39) a composite number?
False
Suppose -49 + 166 = v. Suppose p = n + v, -p + 4*p - 327 = -3*n. Is p a composite number?
False
Suppose -j = f - 12, f + f - 48 = -5*j. Is 4/j*-1*-422 a composite number?
False
Let s = -1068 + 3361. Let y = s + -1386. Is y a prime number?
True
Suppose 4*h + 3*f - 7*f + 40 = 0, 2*h - 5*f = -32. Let j be (-4200)/(-18)*h/(-4). Let l = 537 - j. Is l composite?
True
Suppose 15*y - 10*y - 2*j - 5363 = 0, -2*y = -j - 2145. Is y a prime number?
False
Suppose 0 = -4*c + c + 90. Suppose 159 = 4*i + 2*u - 57, 5*u + 10 = 0. Let z = i - c. Is z composite?
True
Is (-3 + 2)*(-3530)/6*3 a prime number?
False
Let w(n) be the third derivative of n**5/20 - 7*n**4/12 - 5*n**3/2 - 10*n**2. Suppose 2*f = 5*a - 80 + 20, -2*f + 60 = 5*a. Is w(a) a composite number?
True
Let d(w) be the second derivative of -30*w**3 - 3*w**2/2 + 8*w. Let l be d(-7). Suppose -25*j = -22*j - l. Is j prime?
True
Let c(q) = -7*q**3 + 2*q**2 - 21*q + 1. Is c(-10) composite?
False
Let a = 88 + -89. Is 0/9 - 97*a prime?
True
Suppose 34*a = 31*a + 8427. Is a a prime number?
False
Suppose -49*d + 57*d = 27464. Is d a composite number?
False
Is (1 - 1659/28)*-4 a prime number?
True
Suppose -a - 3 = -i, -5*i + 15 = -3*a - 0*a. Suppose a = -2*h - 4*d - d + 2118, -h - 3*d + 1061 = 0. Is h a composite number?
False
Let k(z) = 3*z**2 + 8*z - 10. Let n = -87 + 79. Is k(n) a composite number?
True
Let y = 25799 + -18130. Is y prime?
True
Let y be -5 - (-5)/((-25)/(-1030)). Suppose -2*z - z + y = 0. Is z prime?
True
Suppose 0 = -3*s + 2*n + 2 + 8, -5*s + 3*n = -15. Suppose 12 = 4*y, -3*u = -2*u + y - 9. Let z = u + s. Is z composite?
True
Suppose 3*c - 20 = -c - 2*s, 3*c - 3*s = 24. Is 2/c + (-4812)/(-9) prime?
False
Let k be 1 + -19 + (-5 - -5). Let p = k + 37. Is p composite?
False
Suppose 3*z + 9 = 0, -8076 = -3*b + 4*z - 2*z. Suppose -5*g = -5*j + b, -5*j + j + 2167 = g. Is j a composite number?
False
Let p(w) = w**2 - 4*w. Suppose 4*z + 53 = -5*t, -4*t - 50 = t + 5*z. Is p(t) a prime number?
False
Let n be (-1)/(-3)*(21 - 15). Suppose n*x + 182 = 876. Let y = 642 - x. Is y a composite number?
True
Let j = -15 - -1156. Is j a prime number?
False
Suppose -2*p - i = -10 + 2, -12 = -3*p - 2*i. Let a(b) = -3*b**3 + 7*b**2 - 5*b + 1. Let y be a(4). Is -2 - (y + p - -4) composite?
False
Suppose 8*a - 5*a = 4*z + 47799, -3*z + 31849 = 2*a. Is a prime?
False
Let v = 14715 - 10443. Suppose -9*t - 1293 = -v. Is t a composite number?
False
Suppose 3*f - 5*y - 26953 = 0, 3*y + 18072 + 26839 = 5*f. Is f composite?
True
Let o = 458 + -267. Is o prime?
True
Let g(u) = u**2 + 3*u + 5. Let r be g(4). Suppose 4*w = r - 9. Suppose w*o - 31 = 5*o. Is o a prime number?
True
Let h be (-1)/(-3*(-3)/(-18)). Suppose 0 = -h*q - 3*t + 371, 5*q + 5*t = 1288 - 368. Is q a prime number?
True
Let u be ((-2)/4)/(1/124). Let r = 44 - u. Is r composite?
True
Let a(n) be the first derivative of n**3/3 + 2*n**2 + 7. Let r be a(-5). Suppose 3*w - o = -2*o + 475, w = r*o + 137. Is w a composite number?
False
Let n be ((-6)/(-2))/(-6 + 7). Suppose 4*s + 725 = 6*s + 5*b, -n*b = -4*s + 1385. Suppose 2*t = 4*i - s, -t = -i - 4*t + 98. Is i a prime number?
True
Let l(f) = 390*f**2 + 5*f - 4. Let p(o) = -o**3 - 2*o**2 + 2*o - 2. Let g be p(-3). Is l(g) prime?
False
Let m be (-126445)/(-30) - (2 + 39/(-18)). Let u = m + 824. Is u a prime number?
True
Suppose -16 = 66*m - 68*m. Let f(i) = 3*i**3 + 10*i**2 - 10*i + 5. Is f(m) a prime number?
False
Suppose 8*p - 157371 = -4963. Is p a prime number?
True
Let l(b) = 59*b**2 - 12*b - 12. Let x(u) = 118*u**2 - 23*u - 23. Let o(q) = -7*l(q) + 4*x(q). Is o(-7) a composite number?
False
Let a = 20 - 6. Suppose -a - 6 = -5*s. Suppose -6*j = -s*j - 66. Is j prime?
False
Let j = -7 - -62. Suppose 0 = -2*r + 39 + j. Is r prime?
True
Suppose -1128 = 7*u - 3*u. Let v = 11 - u. Is v composite?
False
Suppose -21094 + 7142 = -16*v. Suppose 3*w = 3*p - 1326, -2*w = -2*p + 3*w + v. Is p a composite number?
True
Let w be 6/4*(-4)/(-3). Let l(t) = t + 20. Let i be l(-15). Suppose -g = -5*z - 35, i*g + 2*z = -w*z + 175. Is g a prime number?
False
Let x(j) = -45*j**2 - 3*j - 3. Let c be x(-1). Is -1 + 5 + (-2 - c*11) prime?
False
Is (-6 + 8 - 0)*(-76058)/(-4) prime?
False
Suppose 53*c - 2793125 - 1006922 = 0. Is c composite?
False
Is 45157 - ((11 - 23) + 8) a prime number?
True
Let c(p) = 427*p - 121. Is c(6) a composite number?
False
Suppose -7*n = h - 3*n - 15, 0 = -3*h - 3*n + 18. Suppose 5*g + t - 110 = 0, h*t = 2*g - 2*t - 44. Is g composite?
True
Let p = 2960 + -811. Is p a composite number?
True
Is 10 - 2/((-2)/59323) composite?
False
Suppose -b + 5 = 2. Suppose 1641 = 6*y - b*y. Is y prime?
True
Let v be 1/(4/(-16)) + 4. Suppose 0 = x + 5*o - 1253, v*o - 3759 = -3*x + o. Is x a prime number?
False
Is (39417/(-3))/(5/(-5)) a composite number?
True
Is (-206354)/(-10) - (-36)/(-90) a composite number?
True
Let b = -3962 + 2296. Let g = -449 - b. Is g composite?
False
Let f = 13959 + -7846. Is f composite?
False
Let w = -32 - -37. Let y(t) = 2*t**3 + 6*t**2 - 5*t + 6. Is y(w) a composite number?
True
Suppose -4*n - 19 + 7 = 0. Let q = 886 - n. Is q composite?
True
Suppose 28 - 70 = 7*l. Is l/3 + 389 + -5 a composite number?
True
Suppose 5*n + 12 = 5*z - 13, 21 = 4*z - 5*n. Suppose 3494 = 2*r + 5*f, -5255 = -3*r - 8*f + z*f. Is r a composite number?
True
Suppose l = 5*l + 12. Is 494*-3*l*3/54 a composite number?
True
Suppose 0 = -4*f - 2*w + 5*w + 2, -4*w = -8. Suppose 31 = f*v - 47. Is v a prime number?
False
Is 2754839/335 - (-7)/(-5) composite?
True
Suppose -8337 = -4*g + g. Is g a composite number?
True
Suppose 0*c = 2*c + 14. Let d(r) = -39*r + 5. Let p be d(c). Is (p/(-4))/((-3)/6) a prime number?
True
Let b(f) = 1550*f - 477. Is b(21) composite?
True
Suppose 4*c = -3*i + 27301, 6*c - 8*c - 3*i + 13655 = 0. Is c composite?
False
Suppose -3*r - 3*i = -37773, -25188 = -2*r - 14*i + 9*i. Is r a prime number?
True
Let t = 3 - 11. Let s = t + 9. Is -4 + (542 + s)/3 prime?
False
Let z(d) = 57*d**2 + 8*d - 59. Is z(-10) a prime number?
False
Suppose 178 = -2*n + 4*n. Let c be 9/(45/10)*29. Let k = n - c. Is k a composite number?
False
Suppose -5*p - 189 = 206. Let l = 260 + p. Let r = 435 - l. Is r prime?
False
Suppose 2*i + 42 = -i. Let o = 28 + i. Is o prime?
False
Let z be -32*(-2)/(2 + 2). Let l be (-4)/z + 42/8. Let i(s) = 7*s**2 - 6*s + 4. Is i(l) prime?
True
Suppose 2*l + 3*z + 92 - 673 = 0, 3*l + 2*z - 869 = 0. Let m = l + -176. Is m composite?
False
Suppose 3*v - 1131758 = -31*v. Is v prime?
True
Let b be (-2)/8 + (-218)/(-8). Suppose l + b + 76 = 0. Let y = 172 + l. Is y composite?
True
Suppose -7 - 41 = -4*s. Suppose