rime number?
False
Suppose 0 = v + v + 138. Let f = 105 + v. Let q = f - 14. Is q a composite number?
True
Suppose -345 = 5*n - 0. Let q = 260 + n. Is q composite?
False
Let p = -217 - -122. Let l be (-348)/(-2)*(-1 + 2). Let j = p + l. Is j a prime number?
True
Let t(j) = 2*j - 8. Let f be t(8). Let x be (-1 + -3)*(-6)/f. Suppose l - 263 = -4*g, g + x*l - 72 = 4*l. Is g a prime number?
True
Let s be 1 - (-2 - -1 - 1). Suppose -l = -4*p + 785, -3*p + s*l = -0*p - 591. Let v = -105 + p. Is v a prime number?
False
Suppose 5*c = -1 + 11. Let l be (2 + 2)/(1*c). Let a(r) = -r**3 + 4*r**2 - 1. Is a(l) prime?
True
Suppose -2*m - 3*k = -6277, -4*m + 14895 - 2345 = 2*k. Is m prime?
True
Suppose 2*b + 5*b = 483. Is b a prime number?
False
Is (-3)/(-4)*(91 - -1) a prime number?
False
Let c(o) = 9*o**2 + 7*o + 1. Is c(-8) prime?
True
Let h = 29 + -19. Let a(p) = 13*p + 1. Is a(h) composite?
False
Let r(x) = -x - 1. Let d be r(-6). Suppose 7 = 4*b - n, -5*n = -3*b - 2*b + d. Is b composite?
False
Let m = -98 - -219. Is m a prime number?
False
Let u(h) = -4*h**3 + 4*h**2 - 21. Let p(w) = -2*w**2 - 3*w**2 + 6*w**2 - w**3 - 7. Let s(r) = -7*p(r) + 2*u(r). Is s(0) a composite number?
False
Suppose p - 10 = 2*p. Is p/55 + 167/11 a composite number?
True
Suppose 7*z - 1645 = 2*z. Is z composite?
True
Let q(a) = 20*a**2 + a + 1. Let v be q(-1). Suppose -h = -0*h + v. Let u = 55 + h. Is u composite?
True
Let a(k) = k**3 + 19*k**2 + 19*k + 16. Is a(-15) prime?
True
Suppose -2 = -2*n - 22. Let f = -6 - n. Suppose 0 = f*l - 1 - 219. Is l a prime number?
False
Let a(n) = 26*n**3 - 3 - 48*n**2 + 45*n**2 + n + 3*n + 121*n**3. Is a(2) a prime number?
False
Suppose 0 = -5*m - 44 - 11. Let a = -7 - m. Is 32 - 2*2/a a composite number?
False
Suppose 28 = d + 5*h, 0 = -3*h - h + 12. Let s = d + 70. Is s a prime number?
True
Let o = 13 - 9. Suppose y + 18 = o*y. Is (-3)/y*2*-67 a prime number?
True
Let s(x) = -958*x + 3. Is s(-1) composite?
True
Let t(z) = -3 + 18*z + 5 - 4 + 37*z. Is t(3) prime?
True
Suppose 4*i = -3*g + 4 + 3, 4*g = -12. Suppose -j = -n + 262, -523 = -6*n + i*n + 3*j. Is n prime?
True
Let l(h) = -2*h**3 - 3*h**2 + h - 4. Is l(-6) composite?
True
Let r be 60*(1 + 0)*1. Suppose -i + r = i. Suppose 2*x + x = i. Is x a composite number?
True
Let c = 1728 - 1019. Is c composite?
False
Suppose 5*m - 4*g = 130, 0 = -2*m - m - 4*g + 78. Is m composite?
True
Is (-16)/28*(-2 - (-7423)/(-2)) a prime number?
False
Suppose 6*u - 7*u - 112 = 0. Let d = -41 + -22. Let a = d - u. Is a a prime number?
False
Suppose 0*x + 4 = -x, n - 25 = 3*x. Suppose -5*z + k + 0*k = 17, k = 4*z + n. Let h = 6 - z. Is h prime?
False
Let n = -2479 - -3485. Is n a prime number?
False
Suppose 3*p + 16 = 1. Let l(d) = d**3 + 5*d**2 - 4*d - 1. Is l(p) a prime number?
True
Let k(s) = s**3 - 7*s**2 - 9*s + 8. Let z be k(8). Suppose z = j + 1, 4*d - 2*j - 337 + 39 = 0. Is d prime?
False
Let n = 5 - 9. Let b be n/3 + 6/(-9). Let s(f) = f**2 + f + 1. Is s(b) a prime number?
True
Suppose 3*j = -0*j. Suppose 3*m - 223 - 23 = j. Is m a prime number?
False
Let l(b) = -2*b**3 - 2*b**2 + 2*b + 1. Let f be l(-2). Suppose 3*t + 13 = -f*a, 6*a - 2*a + 20 = 0. Suppose -h + 62 - 6 = -3*r, t*r - 261 = -5*h. Is h prime?
True
Let r be 2*(1 + 5 + 0). Let d = r + -5. Is d a composite number?
False
Let o = -12 + 4. Let z be (-7 + 10)/((-6)/o). Is ((-106)/z)/((-3)/6) prime?
True
Suppose 4*h = -2*f + 8, -3*h - 5 = -3*f - 11. Suppose -169 = -f*l - l. Is l composite?
True
Suppose 0*d + d = 5. Is 130*(-2 - d/(-2)) composite?
True
Let n(a) = 29*a**2 - a + 3. Is n(-4) composite?
True
Let a(q) = -6*q - 57*q - 18*q - 9. Let u be a(-6). Suppose -4*j = -2*f + 206, 4*f + 5*j = -0*f + u. Is f a composite number?
False
Suppose -4*z + 1676 = -4*h, -2*z + z + 419 = -5*h. Is z prime?
True
Let z = 201 - 115. Let v be z/12 - 6/36. Let q = v - -8. Is q a composite number?
True
Suppose 0 = -3*j - 3*z, -5*j = 3*z - z. Suppose -3*c + 6 = -j. Suppose -3*i = -c*i - 77. Is i composite?
True
Let z be 0 + 6*3/2. Let n(l) = -l**3 + 8*l**2 + 11*l + 3. Let u be n(z). Is 2 + -4 + u - 0 a prime number?
True
Is 9/15 - (-152)/5 prime?
True
Suppose 306 = -3*g + 915. Is g a prime number?
False
Suppose 4*d - 15 - 1 = 2*w, 2 = -w. Suppose 4*a = 8, -3*a + 840 = d*n - n. Is n prime?
False
Let j(i) = -i**2 - 8*i + 7. Let q be j(-8). Suppose q*h = 2*h + 785. Is h a prime number?
True
Let i = -4 + 8. Suppose i*c + 3*d = 151, -c + d + 36 = -0*c. Is c a prime number?
True
Let k(b) = b**3 + 4*b**2 - 2. Suppose -4*x - 3*a = 7, -4 = -5*a + 11. Let p be k(x). Let g = p - -21. Is g a prime number?
True
Suppose 7*x - 11*x = 0. Suppose -3*k + 2189 = 5*w, 2*w + k - 735 - 141 = x. Is w composite?
False
Let r = 9 - 6. Suppose -r*l - 102 = -357. Is l a composite number?
True
Let o be -106 - 0 - -2 - 0. Let g = -27 - o. Is g a prime number?
False
Let n = -1 - -3. Let i(u) = -3*u - 1. Let g be i(-13). Suppose 4*f - n*f - g = 0. Is f prime?
True
Suppose 0*z = 2*z. Suppose z = -a + 2*a - 2, -5*w + 5*a = -285. Is w composite?
False
Let s = 267 + -139. Suppose -3*n + 125 = -5*u + 408, 3*n = 2*u - 277. Let w = s + n. Is w prime?
True
Suppose 0 = -2*r + 4*r - 1678. Is r prime?
True
Let l be (-2)/(2/(-4)*1). Suppose l*h = 144 + 40. Is 5*-6*h/(-20) composite?
True
Let c(j) = 85*j**3 - j**2 + 2*j - 1. Let m be c(1). Suppose 0 = 4*n - 0*n - 192. Let a = m - n. Is a a prime number?
True
Suppose -4 - 2 = -3*j. Suppose j*g + 3*g - 10 = 0. Suppose -g*z = -v + 3, 3*z - 6 = -0*z. Is v composite?
False
Suppose -14*m = -12*m - 2122. Is m a composite number?
False
Let h be (3/2 + -1)*4. Suppose 3*u + 620 = 2*p - 650, 0 = h*p + u - 1270. Is p prime?
False
Let w(d) = 3*d**2 - 9*d - 11. Let q(h) = -h**2 + 1. Let f(t) = -2*q(t) - w(t). Suppose -3*x + 22 - 1 = 0. Is f(x) a composite number?
False
Suppose -2*g - 6 = -292. Is g composite?
True
Suppose -9 = -3*n - 3. Suppose -21 = 5*k - 4*c - 115, -2*k = -n*c - 36. Is k composite?
True
Suppose 2*w + 2*w = 0. Suppose w = f - i - 131, 4*i + 14 = -2. Is f a composite number?
False
Suppose 5*g - 20 = -0. Suppose 0 = 4*x - 4*z - g, -3*x = -6*x + z + 9. Suppose -24 = -x*o + 68. Is o a prime number?
True
Let a(t) = 9*t**2 + 18*t + 77. Is a(-10) prime?
True
Suppose 0 = v - 3, 4*v - 7 = -3*h + 11. Suppose q + 4 = h*q. Is q/14 - 771/(-21) composite?
False
Let w(v) = 6*v**3 - 3*v**2 + 30*v - 7. Is w(6) a composite number?
False
Is (-786)/(-10) + (-4)/(-10) a composite number?
False
Suppose -4*l + 2*l - 2*b + 2 = 0, -2 = 2*l + 3*b. Suppose 0 = l*k - 298 + 53. Is k composite?
True
Suppose -3*c = -5*c + 2638. Is c composite?
False
Let k(t) be the first derivative of t**2/2 + 2. Is k(3) composite?
False
Suppose -5*p = 4*a - 4723, 4 = 2*p - 2. Is a a composite number?
True
Let v be (-1 + 14)*3*1. Let g be ((-2)/3)/((-2)/(-60)). Let x = g + v. Is x composite?
False
Suppose 0 = 4*f - k - 391, 0 = 5*f + 5*k + 173 - 643. Is f a prime number?
True
Let w(u) be the first derivative of -u**3/3 - 5*u**2 - 2*u + 4. Is w(-7) a prime number?
True
Is (-3)/(5 - 2)*-1009 a composite number?
False
Let v be -78*(-4)/(8 + 0). Is (-8)/(-52) - (-13215)/v a composite number?
True
Let k(t) = 17*t - 2. Let w(g) = -g**2 + 6*g - 3. Let q be w(4). Is k(q) composite?
False
Suppose 10*b + 58499 = 14*b - 3*z, -2*b + 5*z = -29267. Is b composite?
False
Is (2 - 4)*(-242)/4 a prime number?
False
Let g(r) = 131*r**2 + 19*r + 5. Is g(6) a composite number?
True
Let a = -559 + 1148. Is a composite?
True
Let y be (-1 + 1)/(1*-2). Suppose 4*i - 318 = 218. Suppose y*s = 2*s - i. Is s prime?
True
Let t be -324 - 4/(-4 - 0). Let y = t + 472. Is y a composite number?
False
Suppose 6*q - 2*q - 4 = 0, -5*q + 3760 = 5*n. Is n prime?
True
Let t = 4 - 3. Let n(z) = -206*z**3 - 2*z**2 + 3*z - 4. Let w(b) = -413*b**3 - 3*b**2 + 5*b - 7. Let r(y) = 7*n(y) - 4*w(y). Is r(t) a composite number?
True
Let z be ((-10)/8)/((-3)/12). Let o be -1*(z - 1)*-1. Suppose 0 = -5*k + 2*x + 65, -o*k = -0*x + 4*x - 80. Is k a composite number?
True
Let c = 1112 - 259. Is c composite?
False
Let q = 128 + -39. Suppose -n + q = 2*t, 3*t + 2*t = 4*n - 408. Is n a composite number?
False
Suppose -3*j - j - 20 = -4*i, i = 4. Let v be 2 - (j - 0) - 1. Suppose -3*z + v*z = -23. Is z prime?
True
Suppose 3*a + 1684 = u, 0 = u - 4*u - 3