 Is r a composite number?
True
Let q(l) = 72*l - 1. Is q(16) a composite number?
False
Let p(r) = -4 + 2*r + 4*r + 0*r**2 + r**2 + 8*r**2. Is p(-5) a composite number?
False
Suppose 4*x + 6 = 34. Suppose -x*o + 2*o - 151 = -s, 6 = 3*o. Is s composite?
True
Let v(i) = -i**2 - 9*i - 8. Let l(s) = -8*s + 1. Let d be l(1). Is v(d) a composite number?
True
Suppose 0 = g - 0*g - 19. Let v = g - 0. Is v composite?
False
Let d be (-1)/(4/(-2 + -434)). Suppose 0*h + h - d = 0. Is h composite?
False
Let u = -30 - -14. Is (15/(-4))/(4/u) a prime number?
False
Let f = 188 + -117. Is f prime?
True
Let l(k) = 3 + 2 - 15*k + 4 - 5. Is l(-3) prime?
False
Let u(d) be the first derivative of -31*d**4/4 + 2*d**3/3 - d**2 - 3*d - 1. Is u(-2) a prime number?
True
Let k = -6 - -8. Suppose -728 = -2*s - k*s. Is (3 + -5)/((-4)/s) composite?
True
Suppose 3*p - s - 65 = 0, -3*s + s - 10 = 0. Let h = p + -13. Suppose 4*v - 3*n = 136, 5*v + 4*n = h*v - 78. Is v composite?
False
Suppose -4 = -2*i + 8. Let o = -4 + i. Suppose -a - 4 = -o*g + 32, 0 = 2*g - 2*a - 34. Is g a prime number?
True
Suppose 8628 = 11*a - 9863. Is a a prime number?
False
Let m = 23 + 70. Suppose -3*w + m = -0*w. Is w composite?
False
Let r be 5 + (-4)/2 + 0. Let p = r - 23. Let n = 111 - p. Is n a composite number?
False
Suppose 4*f = -0*f - 324. Let l = -54 - f. Suppose l = v - 26. Is v a composite number?
False
Let n = -13 + 2. Let i be n - 0/(2/(-2)). Let y = i - -18. Is y prime?
True
Let m be ((-6)/(-3) + -2)*1. Suppose m*j + 15 = 3*j, 2*n - 2*j = 372. Is n composite?
False
Let i be 2 - (-572)/(1/1). Suppose -u = u - i. Is u a composite number?
True
Let n = -2 + 1. Let q be 9*(n/3)/(-1). Let k(y) = 18*y - 1. Is k(q) composite?
False
Let b(o) = -20*o - 23. Is b(-17) a prime number?
True
Let j be 3 + 22/(-2) - -1. Let r = j - -12. Suppose -2*m + 2*o = -10, 0*m - 17 = -m - r*o. Is m composite?
False
Suppose 38721 = 8*j + 5881. Is j a composite number?
True
Let i be (-68)/(-18) + (-8)/(-36). Suppose -i*m + 3 = -m. Is (0 - (1 - 80))/m composite?
False
Let q(w) = 0*w + 0*w**2 + 0*w**2 - 4 - 5*w**2 + w**3 + 7*w. Is q(5) prime?
True
Let x = 289 - 87. Is x a composite number?
True
Let p = 61 - 36. Let d be (0*(-1)/2)/(-3). Suppose 5*x + 48 = 4*g - p, -g - 3*x + 31 = d. Is g a prime number?
False
Let t(b) = -b**2 - 11*b + 5. Suppose v + z = 2*z + 7, 3*v - 4*z = 26. Suppose 3*a = -v*o - a - 22, a + 23 = -4*o. Is t(o) composite?
True
Let x(p) = 35*p + 3. Is x(10) composite?
False
Let m(o) = -o + 2. Let j = -1 + 4. Let q be m(j). Is (-3)/q + -1 - -8 a prime number?
False
Let a = 3 + 0. Suppose 2*j - 9 = -j + a*q, -4*j + q + 12 = 0. Suppose -3 = -w + j. Is w a prime number?
False
Let g be 1/1 - (0 - 0). Let t(l) = 537*l**3 - l**2. Let q be t(g). Is 18/(-30) + q/10 composite?
False
Let v = 236 - 23. Is v composite?
True
Let b = 1 + 1. Suppose -5*z + b + 3 = 0. Is 65 + (z - (-1 + 0)) a composite number?
False
Suppose 5*u - 2090 = -b, 0 = -2*u - 3*b + 6*b + 853. Is u prime?
True
Let m be 4 + -1 + 93*3. Let a = m - -113. Is a a composite number?
True
Let s(l) = -l - 4. Let g be (-6)/(-10) - 43/5. Let d be s(g). Suppose 3*u = d*u - 53. Is u a composite number?
False
Suppose 0 = 4*s - 26 + 6. Let r(d) = -7 + 3*d**2 + s*d**2 + 2*d - 4*d**2. Is r(-5) a composite number?
False
Let i be -1 - (-15)/3 - 24. Let t = i - -63. Is t prime?
True
Suppose 4*j = 323 + 273. Is j composite?
False
Suppose o + 4 - 351 = 0. Is o composite?
False
Suppose -w + 330 + 1713 = 0. Let a = w + -1366. Is a composite?
False
Suppose j - 6*j + 4760 = 0. Let i = j + -411. Is i composite?
False
Suppose 2*o + 0*o + 6 = 0. Let u(i) = -3*i**3 - i**2 - 2*i - 1. Is u(o) a composite number?
True
Let r(n) = 861*n**2 - 10*n + 3. Is r(2) a composite number?
True
Suppose 4*k + 2*u - 50 = 0, k - 9 = -u + 5. Let z = 2 + -3. Is (15/(-3))/(z/k) composite?
True
Let c(h) = h + 6. Let i be c(-6). Suppose i = 5*t - 5*l - 225, -15 = -t - l + 30. Suppose y - 3*j = t + 16, 272 = 4*y + 2*j. Is y a composite number?
False
Let g = -5 - -10. Suppose -4*q + 2*n = -3*q - 5, n = -g*q + 14. Is q a prime number?
True
Suppose -u = -2*a - 125, -5*u - a = -2*a - 598. Is u prime?
False
Let r(f) = 11*f**2 + 3*f - 3. Is r(6) composite?
True
Let m = -4 - 7. Let r = -7 + 6. Let t = r - m. Is t a composite number?
True
Is 518 + (36/(-6) - -3) prime?
False
Suppose 2*s - s = 2*g + 50, 2*g = 2*s - 100. Suppose -25 - s = -3*w. Suppose -f + 8 = 3*h - 7, -f + 2*h + w = 0. Is f a prime number?
False
Suppose 5*a = 1389 + 656. Is a prime?
True
Let f = -98 - -177. Is f composite?
False
Is 1399 + 3 + (-9)/3 prime?
True
Let w(o) be the first derivative of -o**2/2 + 10*o - 1. Suppose 0 = -3*f + 5*t - 27, 3*f + 4*t = t - 27. Is w(f) composite?
False
Suppose b = 5*q - 129 + 790, 3*b + 5*q - 1963 = 0. Is b - (-3)/(1 - 2) a composite number?
False
Suppose 5*a + 5*x = 340, -3*a - x + 133 = -a. Suppose -4*q = 5*j - a, 3*q = 3*j + 18 - 3. Is 968/q + (-2)/(-10) prime?
True
Is 358/((-1 - -1) + 2) a prime number?
True
Let w(d) = 158*d**2 - 3*d - 5. Is w(-2) prime?
False
Is 2543/2*10/5 a composite number?
False
Suppose -16 = -w - f + 7, -w + 4*f = -38. Let u = w - -85. Is u prime?
False
Let j = -13 + 9. Is (-1 + 70/j)*-6 prime?
False
Let j(n) = n**3 + 10*n**2 + 6*n + 1. Is j(-7) a composite number?
True
Suppose -1 = -3*a + 4*a. Let l(j) be the third derivative of -5*j**4/4 + j**3/6 + j**2. Is l(a) composite?
False
Suppose 5*g + 1418 = 3*t - 1311, 3*t - 4*g - 2731 = 0. Is t composite?
True
Suppose 0 = -0*s - 3*s - 18. Let x(m) = -10*m - 7. Is x(s) a composite number?
False
Let g be (7 + -7)*(-1)/(-2). Suppose g = -6*j + 2*j + 460. Is j prime?
False
Suppose 5*r + 248 - 13 = 0. Let s = -115 + r. Let u = -73 - s. Is u composite?
False
Let i be -2 + -15 + (-6)/3. Is i*(1 + 0 - 2) a prime number?
True
Suppose 99 = 25*q - 24*q. Suppose -q = 2*u - 5*u. Is u prime?
False
Let i(h) = -h**3 + h + 673. Is i(0) a prime number?
True
Let a(m) = -m**2 + 5*m - 4. Let v be a(4). Suppose v = -5*r + 770 + 425. Is r composite?
False
Let s = 64 + -36. Suppose -3*v + 193 = s. Is v prime?
False
Let m(s) = 62*s**2 + 3*s - 12. Is m(5) a composite number?
False
Suppose -3*k + 513 = -69. Is k a prime number?
False
Let q(x) = -96*x - 29. Is q(-6) composite?
False
Let h be (2/(-4))/(3/(-144)). Let m = h + 15. Is m + (3/3 - 3) prime?
True
Suppose -a - 2*l = -80, 4*a - 312 = -4*l - 0*l. Let d = a + 391. Is d prime?
True
Suppose 26*l - 9070 = 21*l. Is l prime?
False
Let x = 5 - 5. Suppose -2*n + 2*o + 4 = 0, x*o + 6 = 3*n + 2*o. Suppose j - 44 = -3*r, -n*r = -j + 5*j - 26. Is r a composite number?
True
Suppose 98 = 3*d + d + 5*u, -26 = -d - 2*u. Let b = -11 + 22. Let v = b + d. Is v a prime number?
False
Let u be 4310/6 + (-8)/24. Suppose -2*y = -3*a - 1168, -y + 3*a - 137 = -u. Is y prime?
True
Let s(d) = 18*d**2 + 3*d - 2. Let r be s(-6). Suppose -a - 3*a + r = 0. Is a prime?
True
Let d be ((-2)/4)/((-2)/4). Let m be (-5)/d - (-1 - -3). Let p = m - -28. Is p prime?
False
Suppose -2*q = -4*q + 92. Is q a composite number?
True
Suppose -2*i + 3*h + 141 = i, -4*h = -3*i + 142. Suppose 3*g + 72 = -3*l, 104 = -5*l - 0*l - g. Let z = l + i. Is z a prime number?
False
Suppose -z = 3*z - 8. Suppose z*q - 4*q = -38. Is q a prime number?
True
Is 7*2/(-4)*-6 composite?
True
Suppose 0*k = 3*k - 6. Is 0 + -89*(1 - k) a composite number?
False
Let b(x) = 46*x**2 + x. Let a = 0 - -2. Let v = a - 1. Is b(v) a composite number?
False
Suppose 2*g - 52 = -2*g. Is g a prime number?
True
Let y(q) be the first derivative of 1/2*q**2 + 1 + 33*q - 1/3*q**3. Is y(0) prime?
False
Suppose -3025 - 1751 = -m. Is 2/3*m/16 a prime number?
True
Suppose 4*q + 0*q - 56 = -3*x, -2*q - 2*x + 26 = 0. Is (-3)/(-2 - (-33)/q) composite?
True
Suppose -5*c = -1143 + 68. Is c composite?
True
Let i be -1*(-3 + 2) - -2. Suppose -s + i*s = 230. Suppose 0 = -2*l - 37 + s. Is l prime?
False
Suppose 3*w - 2*w = 123. Is w composite?
True
Let j = 11 + -23. Let k = j + 19. Is k a composite number?
False
Let d(k) = -k**3 + k**2 - k - 1. Let p be d(0). Let v(w) = 5*w - 1 + 6*w + w**2 - 30*w**3 - 9*w - 3*w. Is v(p) a composite number?
False
Let m = -636 + 1138. Is m composite?
True
Suppose 0 = 4*u + 26 - 1034. Suppose -5*h - 400 = 295. Let x = h + u. Is x a prime number?
True
Let z = 30 - 