t a = 334 - 131. Is a prime?
False
Suppose 0 = -6*p + 4*p. Suppose p = -10*s + 5*s. Is s - 447/(-4 + 1) a composite number?
False
Let q(f) = -f**3 + f**2 + f + 89. Let u be (-3)/(-9)*(0 + 9). Let x = -3 + u. Is q(x) a prime number?
True
Let a(k) = k**3 + 5*k**2 + 4*k. Let x be a(-4). Suppose x = -2*t + 237 + 281. Is t composite?
True
Let o(x) = -4*x**3 - x**2 - 10*x + 9. Let z(m) = -3*m**3 - 2*m**2 - 10*m + 9. Let k(t) = 4*o(t) - 5*z(t). Let l be 26/4 - 2/4. Is k(l) a composite number?
True
Let h(k) = 5*k**3 + 0*k**3 - 2*k**3 - 3*k - 3. Is h(3) composite?
True
Suppose 3*n + 70 = 2*c + 263, 3*c = 2*n - 137. Let u(w) = 2*w. Let l be u(1). Suppose l*j - 45 = n. Is j a prime number?
True
Let v = 9 + -2. Suppose 4*a - v*a = -273. Is a composite?
True
Let h be (-2)/(-8) + 6/8. Let g(u) = u**2 + 7*u + 5. Let r be g(-7). Suppose 386 - h = r*i. Is i a prime number?
False
Suppose 8*x - 3*x = -125. Let j = -12 + x. Is j/(-3) + (-6)/(-9) composite?
False
Suppose 0*w - 4*o - 7 = -5*w, 3*o + 9 = 5*w. Suppose w*a = 6*l - 2*l + 119, -2*l = 10. Is a a prime number?
False
Suppose 0 = -4*h + 35 - 3. Let q(w) = w**2 + 0 + 0*w + 2 - 7*w. Is q(h) composite?
True
Suppose 0 = 4*n - n + 33. Let o(t) = t**2 + 2*t - 21. Let s(k) = 5*k**2 + 11*k - 105. Let z(r) = n*o(r) + 2*s(r). Is z(0) prime?
False
Let d = -8 + 28. Let n = d - 28. Is n/6*9/(-6) a prime number?
True
Suppose -5*s - 4*h + 316 = 0, s - 260 = -3*s - 5*h. Suppose 0 = -2*f - 3*a + 94, 0 = -f + 6*f - 5*a - 185. Let m = s - f. Is m a composite number?
False
Is ((-25)/(-10) + -2)*3086 a composite number?
False
Suppose 300 = 3*z + 2*z. Suppose j = 5*j - z. Is j composite?
True
Let a(z) = -z**2 - 8*z + 1. Let w be a(-9). Is w*1/(-2) + 587 a composite number?
True
Let m = 319 - 228. Is m prime?
False
Let h(p) = -2*p - 23. Let y be h(-16). Suppose 0 = -y*r + 5*r + 260. Is r prime?
False
Let s(g) = 39*g + 13. Let f be s(9). Suppose f - 126 = 2*x. Is x a prime number?
False
Is ((-653)/4)/(((-10)/8)/5) prime?
True
Let x(m) = -m**3 + m**2 + 4*m + 87. Is x(0) a prime number?
False
Let b = 10 + 67. Is b prime?
False
Suppose -2*z + 0*z + 9 = -5*p, 3*p - 3 = -3*z. Suppose 0*j - 4*j = -8, z*u - 10 = -2*j. Suppose u*n = -2*n + 435. Is n a prime number?
False
Let v be (-1 + 0)/((-5)/(-15)). Is (-213)/(-4) - v/(-12) a prime number?
True
Suppose 2*v = -586 + 2888. Is v a prime number?
True
Suppose 0 = 2*q + 3*o - 86 + 3, 120 = 3*q + 3*o. Is q a prime number?
True
Is 8/(-12)*(-2 + -487) a prime number?
False
Let n(v) be the first derivative of 22*v**3/3 - v**2/2 - v - 1. Let r(a) = 2*a + 13. Let g be r(-7). Is n(g) composite?
True
Let p be (-2)/9 + (-40)/(-18). Suppose 0 = -x - x + 5*v + 32, -4 = -p*x - 2*v. Is x/9*3 - -19 a composite number?
True
Suppose -4*t + 5608 = 4*c, -t + 3*c = -2*t + 1408. Is t a composite number?
False
Let z(u) = 14*u**2 + u - 4. Let l(d) = -d**3 + 6*d**2 - 4*d - 5. Let k be l(4). Suppose 19 = -h - 4*n, 4*h + 9 + k = -2*n. Is z(h) a composite number?
True
Suppose k = 3*k + 2*d - 12, 18 = 2*k + 4*d. Suppose k*j = -n + 3, -3*n + 1 = -3*j + 4. Suppose o - 79 = -y - n*o, -4 = o. Is y a composite number?
False
Suppose 352 = 6*w - 4*w. Suppose 3*k - 174 = 3*i, -4*k + k + w = -i. Is k prime?
True
Suppose -5*t - 274 = -2*m, 2*t - 6*t = 5*m + 206. Let c = t - -109. Is c prime?
False
Suppose -g + 302 + 192 = x, -3*g - x + 1480 = 0. Suppose -7*h + 2160 + g = 0. Is h a composite number?
False
Let d(i) = -i**2 + 4*i + 3. Let u be d(6). Let f(c) = -8*c + 5. Is f(u) a prime number?
False
Let p be 2/17 - 49/(-17). Suppose 218 = p*j - j. Is j a composite number?
False
Suppose 2*o - 178 = 150. Let i be (-6)/2 - 432/4. Let g = i + o. Is g a prime number?
True
Let o(m) = -m**3 - 5*m + 7*m**2 - m + 2 - 2. Let y be o(6). Suppose -170 = -2*n - y*n. Is n a composite number?
True
Let c = 4 + 4. Is (4/c)/(1/170) a composite number?
True
Let m(t) = -9*t**3 + t + 11. Let z(h) = 5*h**3 - 6. Let w(l) = 3*m(l) + 5*z(l). Is w(-2) a composite number?
False
Let u = -409 - -950. Is u a prime number?
True
Let y(f) be the second derivative of -f**3/3 + f**2 + f. Is y(-6) a composite number?
True
Let c = 84 + -41. Is c a prime number?
True
Let t = 0 - 0. Let x = t - 3. Is 2 + x + 3 + 5 a composite number?
False
Is (9303/(-9))/(-7) + (-4)/(-3) a prime number?
True
Let r(m) = -4*m + 2*m + 3*m + 0*m. Let h be r(8). Suppose -h = -3*n + 439. Is n prime?
True
Suppose 3*o - 18 - 51 = -5*g, 3*g + o = 39. Let w = g - 9. Suppose 0 = -a - a + 4*k + 4, -2*k = -w*a + 14. Is a a prime number?
False
Is (-2 - -1) + 4 - -152 composite?
True
Let l = 5 + 0. Let m = 1 + l. Is ((-4)/m)/((-8)/2436) prime?
False
Suppose u + 16 = 2*o, -4*u - 54 = -2*o - 2. Let i be ((-3)/2)/(9/u). Suppose i*z = 3*z - 67. Is z a prime number?
True
Is -9*(-3)/9*(-2798)/(-6) prime?
True
Let c(x) = -91*x - 5. Is c(-6) composite?
False
Let o = 33 - -4. Is o a prime number?
True
Let k be (-1 - -1) + (11 - 9). Suppose 5*f = 2*r + 95, 6*r - r - 38 = -k*f. Is f a prime number?
True
Let y(f) = -48*f + 9. Let t be y(7). Let w = 208 - t. Is w a prime number?
False
Let g(v) = 8*v + 10. Let q be g(-5). Let k = 143 + q. Is k a prime number?
True
Suppose -5*l = -l - 44. Let r = 2 - l. Let c = r - -76. Is c composite?
False
Let l = -17 + 20. Suppose -304 = -j - g, -3*g = l*j - 2*j - 302. Is j prime?
False
Suppose -3*u - 64 = -5*u. Suppose -2*k + u = w, 3*w - 9 = -4*k + 83. Suppose -w = -c + 51. Is c composite?
False
Suppose -p = 3*d + 12, -4*p - 5*d = -2*d + 3. Suppose p*n = 4 + 2. Let b(o) = 2*o**3 - o**2 - o - 1. Is b(n) a prime number?
False
Let w(i) = 313*i + 5. Is w(2) a composite number?
False
Let x be (138/(3/1))/2. Suppose x = 4*w - 3*w. Is w a prime number?
True
Suppose -5*o - 11 = 9, 0 = -5*s - o + 351. Suppose 0 = 5*k - 2 - 78. Let g = s + k. Is g a prime number?
False
Suppose -y = -3*y + 4. Suppose -3*o = 3*m - 351, 36 = 3*m + y*o - 311. Is m prime?
True
Suppose 0 = 5*d + 4*v - 4 + 2, -8 = -d + 3*v. Suppose d*l - 480 = -l + 3*h, 485 = 3*l - 2*h. Suppose 6*n - l = n. Is n prime?
False
Let q = -10 + 15. Suppose 166 = q*h - 3*h. Is h composite?
False
Let g(k) be the third derivative of -k**4/2 + 7*k**3/6 + 2*k**2. Is g(-5) prime?
True
Suppose g + 0*s - 237 = -s, -3*s = g - 237. Is g a composite number?
True
Is (235/10)/((-2)/(-12)) a composite number?
True
Suppose -a + 4 = 1. Suppose -8*r + 405 = -a*r. Let h = 115 - r. Is h a prime number?
False
Let s(f) = 3*f**2 - f - 309. Let a(r) = 7*r**2 - 2*r - 619. Let i(j) = 2*a(j) - 5*s(j). Is i(0) prime?
True
Let r be -3 + 6 + -2 + 3. Suppose -3*m = -r*g - 110, 0*m + m = g + 36. Is m a composite number?
True
Is 586/(-2)*(-1 + 0) a composite number?
False
Suppose 4*b + 818 = 2014. Is b composite?
True
Suppose -5*o + 5123 = -3*q + 684, 0 = -3*o + 2*q + 2663. Is o composite?
True
Let p(y) = 12*y**2 + y + 3. Let u be p(-3). Suppose -g + 22 = -4*q, 5*q - u = -4*g + q. Is g a prime number?
False
Suppose n = -4*n + 3695. Is n a composite number?
False
Let c(m) = -48*m + 11. Is c(-5) a composite number?
False
Let k(s) = -s**3 - 6*s**2 - 4*s + 7. Let i be k(-5). Let y(g) = 17*g. Is y(i) prime?
False
Suppose 5*t - 6069 = 2*h, 0 = -2*h - 1 - 3. Is t prime?
True
Let n = 31 - 9. Is n a prime number?
False
Suppose -1080 = -10*r + 4450. Is r prime?
False
Is -2 + 93 + 1 + 1 composite?
True
Let c be (-6)/3 + 1 - -1. Suppose 2*q - 5*q = c. Let s = q + 21. Is s a prime number?
False
Let t(r) = -36*r**2 + 3*r - 3. Let v be 10*(-1)/(-2) + -3. Let m be t(v). Let w = -10 - m. Is w a prime number?
True
Let p(m) = -2*m - 6. Let f be p(-4). Let b(k) = 7 + 2*k**3 - 6*k**2 - 7*k + 3*k**3 - 4*k**3 + 15*k**f. Is b(-8) composite?
False
Let h(b) = -b**3 - 9*b**2 - 3*b - 24. Is h(-10) prime?
False
Suppose -3*i + 2 = -2*i. Suppose 0 = -i*t + 4*t - 20. Is t composite?
True
Let t(a) = -a**3 - a**2 + 5*a + 2. Let c be t(-3). Let y = -3 + c. Is y*5 - (2 + -3) a composite number?
False
Suppose -18 = -5*q + 2*x - 0, x - 9 = -2*q. Suppose q*a - 36 - 231 = -5*g, 2*a + 169 = 3*g. Is g composite?
True
Let s(z) = 1. Let v(a) = -7*a**2 - 4*a - 5. Let w(q) = -5*s(q) - v(q). Let r be w(-5). Suppose -3*l + r = 2*l. Is l a prime number?
True
Suppose 0 = -2*n - n + 447. Is n a prime number?
True
Let x(f) = -f**3 - 3*f**2 + 4*f + 2. Let i be x(-4). Is (-1 + 0)*-129 - i prime?
True
Let a = 1 - 