
Let i be (-1 - -31)/(14/133). Suppose -3*x - 12 = -i. Is x a prime number?
False
Let g(o) = -15*o + 3. Let s(y) = 5*y - 1. Let a(v) = 4*g(v) + 11*s(v). Let x be a(-1). Suppose 17 = i + 4*d, x*i - 3*i + 5*d = 58. Is i prime?
False
Let x = -4 - -8. Suppose 4*c - 3*v + 11 - 51 = 0, 2*v + 44 = x*c. Is c a composite number?
False
Let n(m) = 103*m - 2. Is n(7) prime?
True
Suppose -3*l + 5*j = l + 8, -2*l - j = -10. Suppose 2*x + 5 - l = 0. Is x/(3/159*-1) a composite number?
False
Let n = 0 - -6. Let m(j) = 7 + 6*j + 16*j**3 - 17*j**3 - 2*j**2 + 7*j**2. Is m(n) a prime number?
True
Suppose -5*m - 570 = z - 2619, 4*m + 4*z - 1652 = 0. Is m composite?
False
Suppose 8*h = 4*h + 36. Let u be (-11)/h - (-8)/36. Is (-5)/(-2*u/(-10)) a prime number?
False
Let v(c) = 15*c**2 - c. Let g be v(1). Suppose -2*t + q = -1, -4*t = 3*q + g - 41. Is -11*(t/3 + -8) composite?
True
Suppose 5*g + 234 = 2219. Is g a prime number?
True
Let r(d) = -7*d + 3 + 0*d**2 - d**2 - 4*d. Let v(m) = -3*m - 3. Let f be v(2). Is r(f) a composite number?
True
Suppose j = 3*w - 1057, 2*w + 5*j - 111 = 605. Is w composite?
False
Let l(f) = f**2 + 6*f - 1. Let r be l(-5). Let p = r + -1. Is (-40)/p + 8/28 a prime number?
False
Let a = -41 + 117. Suppose 4*p = a + 8. Is p prime?
False
Let w(l) = 2*l**2 - 2. Let d be w(-2). Is ((-15)/d)/((-1)/10) a composite number?
True
Let s = 1270 - 647. Is s composite?
True
Let q(j) = 15 - 3*j + 20 - 30. Suppose -4*h = 5*y + 28, 3*h - 2*y + 9 + 12 = 0. Is q(h) a composite number?
True
Let m = -6 + 95. Is m a composite number?
False
Let l = 8332 + -4613. Is l a composite number?
False
Let g = 4 - 2. Suppose 3*j + 8*h - 265 = 4*h, -3*j - g*h + 257 = 0. Is j a composite number?
False
Let p = 375 - 666. Let k = p + 186. Let f = 232 + k. Is f composite?
False
Suppose -3*f - 1 = -7. Let y(o) = 2 - 2 + 2 + o**3 + f*o + 3*o**2. Is y(-2) a composite number?
False
Suppose -1013 = -f + 176. Is f a prime number?
False
Suppose -2*o - 3*a = -22, -4*o = -7*a + 2*a. Suppose -o*d + 20 = 0, -32 = -4*j - 0*j - 3*d. Suppose -5*t + 113 = -4*p, -t - j*p = 2*t - 53. Is t a prime number?
False
Let g = 0 + 2. Let r(p) = -p - 1. Let z(t) = -10*t**2 - 4. Let f(x) = 3*r(x) - z(x). Is f(g) prime?
False
Let j(s) = 33*s - 20. Is j(6) prime?
False
Suppose 4*p = -h + 2163, h = -0*p + p - 542. Is p composite?
False
Let l = 411 + -220. Is l prime?
True
Let r(s) = -s**2 + s - 1. Let y = -10 + 15. Let v be r(y). Is (-206)/(-14) + (-6)/v a composite number?
True
Let o(r) = 45*r + 1. Let x = 6 + -5. Is o(x) a prime number?
False
Let o(f) = -6*f + 5. Is o(-9) a prime number?
True
Suppose -n + 5 - 3 = 0. Let c = n - -5. Is c a prime number?
True
Suppose 5*m + 14 = -2*h, 0*m + 8 = m - 5*h. Is 8*(1/(-4) - m) a composite number?
True
Let q(v) = 5*v**2 + 10*v + 7. Is q(-6) composite?
False
Let i be 8 + 1/((-4)/12). Suppose i*x = 86 + 29. Is x a composite number?
False
Let z(x) = 37*x**3 - 2*x**2 + 4*x - 3. Let w be z(2). Let b(i) = 34*i**2 - 2*i - 1. Let m be b(-2). Suppose 4*y = -5*r + w, -2*y - 2*r + m = -r. Is y prime?
True
Let c = -784 - -1197. Is c composite?
True
Let g(c) = 22*c**3 + 6*c**2 + 6*c + 5. Is g(5) a prime number?
False
Let d(g) = -g**2 - 4*g - 1. Suppose 2*m - 6*m - 12 = 0. Let r be d(m). Suppose -3*v + 86 + 43 = r*i, 42 = i - 3*v. Is i prime?
False
Suppose -6*w = -3*w - 498. Is w a composite number?
True
Suppose -g + 17 = 5*k, -4*g - 3 = -4*k + 1. Suppose 3*n - g*y = 419, -168 - 109 = -2*n - y. Is n a composite number?
False
Is ((-310)/20)/(2/(-52)) a prime number?
False
Let u(y) = 4*y**2 + 2*y - 2. Let w = 8 + -4. Let r be u(w). Let f = r + -49. Is f prime?
False
Is (-1 - 5/(-1)) + 15 a composite number?
False
Suppose 1 = 2*f - 2*t - 5, 4*f - 2*t - 12 = 0. Let y = 5 - 0. Suppose 0 = -5*h + y, -f*h - 20 = -z - 0*z. Is z a prime number?
True
Let b be (0 - -1)/((-2)/14). Let h be b/(2/2*1). Is -1*(-1 + 3)*h a prime number?
False
Let k = -5 + 268. Is k a prime number?
True
Let i(n) = n**3 - n**2 - n - 1. Let y be i(-2). Suppose -16 = 4*j, -4*o + 23 = -4*j - 113. Let t = y + o. Is t a prime number?
True
Is ((-88)/16)/((-2)/68) prime?
False
Suppose -4*k + 4*o + 285 = -4655, -4*k = 4*o - 4956. Is k a composite number?
False
Let u be -1*0/(1 + 3). Is 2 + (u + -3 - -54) a composite number?
False
Suppose -2*y - 2*i + 346 = 0, 2*y - y - 181 = 3*i. Let o = y - -78. Is o composite?
True
Let f(k) = k - 5 + 2*k - 4*k. Is f(-7) a prime number?
True
Let m be (-2)/5 + 144/(-15). Let b = m + 14. Suppose -5*a - 109 = -4*o, 95 = 5*o + 6*a - b*a. Is o prime?
False
Suppose -232 = -5*f - 87. Let k = f + -49. Let l = k + 57. Is l a composite number?
False
Suppose -28 = 12*z - 14*z. Is z a prime number?
False
Let x(c) = 2*c - 1. Let t be x(1). Suppose 5*a - 3*o - 2*o = 10, -t = 4*a - o. Is 1*(-1 - a) - -21 prime?
False
Suppose -18125 = 5*f + 10270. Is ((-12)/18)/(6/f) prime?
True
Suppose -134 = 4*h - 6*h. Suppose -2*a + 0*z + z + 71 = 0, -2*a - 3*z = -h. Is a a prime number?
False
Suppose 0*j - 2360 = -5*j. Suppose 5*t + j = 1977. Is t composite?
True
Let r(y) = -11*y - 10. Let w be (-4 - -3)/(3/21). Is r(w) a prime number?
True
Let m = 794 + -543. Is m a prime number?
True
Let l(s) = s**2 - 3*s - 5. Is l(7) a composite number?
False
Let p be (0 - 2)/(3/6). Let y be p/10*(-2 + -3). Is (15/12)/(y/16) prime?
False
Let a be 4/8 + (-15)/2. Let x = a - -11. Suppose 112 + 124 = x*i. Is i composite?
False
Let h(l) = -l**3 - 2*l**2 + l - 5. Suppose r - 6*r + 20 = 0. Suppose -2*x + 0*x - r = 4*c, 4*c = 4. Is h(x) prime?
True
Let s(n) = 2*n**2 + n + 95. Let d(u) = u**2 + u + 95. Let q(i) = 3*d(i) - 2*s(i). Is q(0) composite?
True
Let u be 2/6 - 4722/(-9). Suppose 0 = 6*n - n - u. Suppose 5*z + 4*a + 0*a = n, 0 = 5*z - a - 130. Is z composite?
True
Let q = -3 - -1. Let w = 45 + q. Is w composite?
False
Suppose 0 = 2*a - 543 - 315. Suppose -2*n + 33 + 253 = 4*k, a = 3*n - k. Is n composite?
True
Let f = -103 - -192. Is f a prime number?
True
Let d = 1229 - 520. Is d composite?
False
Let z = 1386 + -985. Is z a prime number?
True
Let h(z) = -46*z. Let k be h(-1). Let t = k + 9. Is t composite?
True
Let a(h) = h**2 - 8*h + 15. Let w be a(6). Suppose -5*f + 94 = -0*l + 2*l, 2*l = -w*f + 86. Is l a composite number?
False
Let m = 14 - 10. Suppose -m*v - 1273 = -3*x, 0*x = x - v - 423. Is x composite?
False
Let m be (4 + -1)/(2/6). Let f = -6 + m. Let w(r) = r**3 + 2*r**2 - r + 4. Is w(f) prime?
False
Let o be (10/6)/((-1)/(-6)). Is 6/10 + 2124/o composite?
True
Let t(p) = -183*p**3 + p**2 + p. Let d be t(-1). Suppose 2*r - d + 39 = -4*f, 5*f + 5*r - 170 = 0. Is f a composite number?
True
Suppose -2722 = -2*u - a, 0 = -0*a + 2*a + 8. Suppose 4*d = -335 + u. Is d a composite number?
False
Suppose 4*g = 3*r + 2*r + 2563, 0 = -3*g + 2*r + 1931. Is g a composite number?
False
Let w be 918/(-8) - (-3)/4. Let l(v) = -v**2 + 4*v + 1. Let z be l(3). Is (4/(-6))/(z/w) a composite number?
False
Let n = -7 - -10. Suppose 92 = -n*q + 5*q. Is q a prime number?
False
Is (-11541)/(-11) + 28/(-154) composite?
False
Suppose 3*n + a - 3*a + 5 = 0, 0 = -a - 2. Let c(b) = -2*b - 4. Let q be c(n). Suppose -6*o + 84 = -q*o. Is o a composite number?
True
Let q(u) = -478*u + 3. Is q(-1) a composite number?
True
Is (-1)/(-5) - (5 + 25314/(-30)) prime?
True
Let o(h) = 4*h**2 + 20*h - 13. Is o(10) prime?
True
Let y = -7 - -896. Is y a prime number?
False
Let p = -10 + 9. Let h be ((-124)/8)/(p/4). Suppose c = b + 31, -4*b - h = -2*c - b. Is c composite?
False
Suppose z + 0*z = 0. Suppose z = -4*a + 102 - 18. Is a a composite number?
True
Let j be (2 + (-21)/6)*-6. Let i be (-33)/j + (-4)/(-6). Is (i - -1)*(-28)/8 composite?
False
Is 252 + (4/2)/1 prime?
False
Let b(h) = 10*h**2 + 2*h + 1. Let v(m) = m**2 + 2*m - 1. Let f be v(-2). Is b(f) a prime number?
False
Suppose 3*n + 2*l - 17205 = 0, 5*n - 5*l = -10687 + 39387. Is n composite?
False
Suppose 7*g = 3*g - 40. Is (-504)/g + 3/5 a composite number?
True
Suppose -3*f + 50 = -3*s + 2*s, 3*s - 2*f = -136. Let z = 97 + s. Is z prime?
True
Let k = -2 - 0. Let r(d) = 6*d**2 - 3*d - 2. Let s be r(k). Let p = -6 + s. Is p prime?
False
Let w(l) = -l. Let g(a) = a**2 - 8. Let k(j) = g(j) - w(j). Let y be k(-6). Is (y/8)/((-1)/(-4)) prime?
True
Let o be (-1)/(-6) + 22/12. Suppose -j = o*j. Suppose 