7*p + 6. Let g be n(-6). Let u be 5*(g + 0 + -1). Let m(d) = 3*d. Let o be m(-2). Do o and u have different values?
True
Let w = -817 - -489. Let q = -731516/1605 + 13686/107. Let g = q - w. Which is bigger: 1 or g?
1
Let t(m) = 3*m - 4. Let f be t(13). Suppose -3 = 4*v + 2*a - f, 4*a + 16 = 2*v. Is v at least as big as 7?
True
Suppose -4*n - 13 = 5*t, -4*t + 2*n = -3*t - 3. Let a be (t/(-7))/(30/35). Is a at least as big as 0?
True
Let z be (-3)/15 + (-3 - (-84)/20). Is 17/4 bigger than z?
True
Let h be 0 + (-7 - (-1)/1). Let y be 2/(-30) + 2/h. Suppose -9 = v - 5*b, 3*b = 4*b - 2. Is v less than y?
False
Let c = -6 - -5. Let m = 0 + c. Let k be -2*(m/2)/1. Is k <= 1?
True
Let n = 42 + -41.5. Which is smaller: -2 or n?
-2
Let u(z) = z + 11. Let k(r) = -2*r - 22. Let c(a) = -3*k(a) - 7*u(a). Suppose 3*s = -4*j - 29, -4*j + 22 = -5*s - 5. Let x be c(s). Is x not equal to -3?
True
Let o = -5 - -8. Suppose 0*s = o*s + 6. Let h be (s/8)/(6/8). Is h smaller than -0.2?
True
Let k = 0.8 - 0.4. Which is greater: 1 or k?
1
Let v be 2/(1 - -1) + 4. Let u = 4 - v. Suppose -8 = -5*o - j - 3, 2*o - 25 = -5*j. Do o and u have the same value?
False
Suppose 15 = l + 2*o, 0*l + 2*o = l - 3. Let b = l + -6. Let z be b + 25/(-6) + 1. Which is bigger: -1 or z?
z
Let t = 6 - 1. Suppose -t*r = 3*g - 0*g + 21, -g - 11 = 3*r. Let n(k) = -k**3 - k**2 + 2*k - 1. Let v be n(-2). Do v and g have different values?
True
Let h = 9/10 - 37/30. Suppose -p = 4*b - b - 14, -3*p + 5*b = 0. Suppose p*j + 2*l + 1 - 2 = 0, 2*l + 9 = 5*j. Is j < h?
False
Let g(c) = 5*c - 2. Let x be g(5). Suppose i - x = -0*i + 4*w, 3*w = 5*i - 30. Is 2 smaller than i?
True
Let t be (4/(-5))/(16/(-40)). Suppose 17 = -3*p + 3*j - 7*j, -3*j - 14 = p. Which is smaller: p or t?
p
Suppose -4*m - 13 = -a, 6*m - 5*m - 2 = -5*a. Let k = 11 + -17. Let w be a/(-3) - k/126. Which is smaller: 1 or w?
w
Let a(u) = -2*u - 18. Let y be a(-9). Is 2/15 at least as big as y?
True
Let w(c) = c**2 + c + 11. Let t be w(-6). Which is smaller: t or 40?
40
Let j = -57 - -54. Which is smaller: j or -8?
-8
Suppose -647 = 5*d - 5*c - 97, 5*d = 3*c - 544. Is d less than -107?
False
Let y = 0.08 + 0.12. Let c = -0.07 + 0.07. Is c at least as big as y?
False
Suppose 0*o = 2*o. Is -6/5 at most as big as o?
True
Let f be (8/(-10))/(2/(-15)). Let m be f/(-27) - (-34)/234. Is m not equal to -1?
True
Suppose 16 = 3*u - u. Which is smaller: 9 or u?
u
Let i = -970/101057 + -150969947263/1515855. Let o = -99552 - i. Let n = o + -209/5. Which is greater: n or -1?
n
Let r = -8 + 14. Let t be 4/14 + r/(-70). Suppose -9*m - 4 = -5*m. Which is smaller: t or m?
m
Let t = 11 + -15. Let v be (1 - 2)/((-1)/(-3)). Which is smaller: v or t?
t
Let u(i) = -8*i + 2*i**2 - 3*i**2 + i. Let g be u(-5). Suppose 0 = -5*c - 5 + g. Which is smaller: 2/3 or c?
2/3
Let z = -1 + 1. Let n = 6 - 6. Are n and z nonequal?
False
Let n be 3 + -2*(-2)/(-4). Suppose 3*i = v + 4, i - n*v - 5 = -2. Let t = -4 + 3. Which is smaller: t or i?
t
Let r be ((-6)/(-4))/((-2)/(-4)). Suppose r*i = -2*i. Let n = -12/25 - -17/25. Do n and i have different values?
True
Suppose 10 = -v - 4*v. Do v and 0.1 have the same value?
False
Let v be (3 + -1)*1/(-70)*2. Which is greater: 2 or v?
2
Suppose 0 = 4*c - 0*k + 3*k - 250, 4*c = 5*k + 234. Does c = 61?
True
Suppose 0 = 5*v - p - 0*p - 8, -2*v = 4*p - 12. Are 7/3 and v unequal?
True
Let i(j) = j**2 - 12*j - 44. Let k be i(15). Which is smaller: -1/55 or k?
-1/55
Let m be (1*2)/(1/6). Which is smaller: m or 32/3?
32/3
Suppose 7*x + 49 = -28. Which is smaller: x or 2?
x
Let i be (-2 - -2) + 4 + -2. Let k be ((-45)/(-6))/((-2)/4). Let v be 4/3*k/(-25). Is i < v?
False
Let r be 1 - (-2 + 2)/1. Suppose -3 = 2*z + 4*p + 15, -12 = -z + 5*p. Let v = -16/5 - z. Is r smaller than v?
False
Suppose 2*l = -m - 2*l + 4, -4 = 2*m - 4*l. Let c be -76*-3*(-3)/18. Let d = 188/5 + c. Is d less than m?
True
Let p = -1/47708 - 181884/131197. Let y = 18/11 + p. Is -2 less than or equal to y?
True
Suppose 0 = v + 4*z - 16, 2*z + 3*z - 20 = 5*v. Suppose 0*j + 3*j - 2*u = 14, -4*u = -j + 18. Let a be (j/10)/(1/4). Which is bigger: v or a?
a
Let n(v) = 5*v**3 - 1. Let c be n(-1). Let t(a) = -a**2 - 6*a. Let h be t(c). Which is smaller: -1/8 or h?
-1/8
Suppose m = -2*g - 14, -3*g - g - 24 = m. Which is greater: g or -26/7?
-26/7
Let i = -16 - -17. Is -2.1 greater than or equal to i?
False
Let t(n) = n + 3. Let w be t(-4). Is w at most as big as -4/25?
True
Let b be ((-3)/6)/(-1 - -2). Is b > 1?
False
Suppose 3*b + 2*y - 6 = 0, -b + 4*b = -5*y + 15. Let q = 1 + b. Suppose 0 = -i - 1 + 2. Is q <= i?
True
Let l = -349/21 + 100/7. Let z = -4 - l. Does z = -2?
False
Suppose 0 = -g + 4 - 6. Let n be g/3*(-18)/12. Which is smaller: n or 4?
n
Let w be 129/(-9) + -1 + 3/9. Is w <= -15?
True
Let g = -24 - -34. Suppose -v - 4*c + g = 0, -2*v + 33 = -3*c - 2*c. Which is greater: v or 15?
15
Let k be (21/(-56))/((-6)/(-4)). Let v = -21 + 108/5. Is v at least as big as k?
True
Let j be (-5 - -3)*1*(-1)/(-2). Which is smaller: 1/35 or j?
j
Suppose -10 = -y - 39. Which is bigger: -27 or y?
-27
Let h(o) = 6*o + 102. Let q be h(-17). Which is smaller: q or -2/97?
-2/97
Let m(l) = 6*l**2. Let z be m(-2). Suppose -2*a - 2*a = z. Let g be a/(1 - -1) + 3. Is g at most -1?
False
Let l = -0.1 - -3.1. Let s = -2.51 + -0.19. Let z = l + s. Does z = 0?
False
Let d(g) = -g**3 - 2*g**2 + g - 3. Let n be d(-6). Let f be -6*-3*(-6)/n. Let c = 0.1 + -0.1. Which is smaller: c or f?
f
Suppose -3*u - u + 8 = 0. Suppose -4*x + u*x - h = 0, 16 = 4*h. Let t be 3/2*(-16)/40. Is x greater than t?
False
Suppose 3*t = -50 + 14. Let o(k) = k**3 + 12*k**2 + k + 11. Let w be o(t). Let c be 90/(-56) - 6/(-8). Is w <= c?
True
Let r = -0.05 + 0.02. Let y = r - 2.97. Which is bigger: 2 or y?
2
Let k be (1/2)/((-5)/(-550)). Suppose -2*x + k = 5*r + 3*x, -3*x = 4*r - 39. Suppose r*g + 5 = g. Is -1 >= g?
True
Let m = 132 + -130. Is m <= 5/7?
False
Let a = -3.87 + 0.87. Are a and -7 equal?
False
Let u = -418/7 - -60. Let j(f) = -f**3 + 5*f**2 - 3*f - 3. Let b be j(4). Let m be (b - 0) + 0 + 0. Is m bigger than u?
True
Let i = -2527 - -250175/99. Which is smaller: i or -1?
-1
Suppose 2*k + h - 35 = 11, 62 = 3*k + 5*h. Suppose k = -f + 5*f. Suppose -4 = -5*q + f. Which is smaller: 3 or q?
q
Let r = -10 - -13. Suppose -4*a + u = -11, 0*a = -2*a - 3*u + 23. Is a != r?
True
Suppose 0 = 5*i + 1 - 21. Let h be ((-2)/7)/(i/(-28)). Suppose -b + 4 = -u, 5*b + h*u = 3*b. Is 5/2 less than b?
False
Suppose 4*k + 8 - 20 = 0. Suppose 3*f - k = -m + 1, 0 = -4*f. Is m != 6?
True
Let n(s) = -3*s + 18. Let f be n(6). Let b = -38/51 - 10/17. Do b and f have the same value?
False
Let m = -8 + 13. Let p = -5 + m. Which is bigger: p or 0.01?
0.01
Let y = 18 + -19. Is y <= 0.08?
True
Let n = -19 + 16. Let s be n/(36/(-20) - -2). Are -15 and s nonequal?
False
Suppose 4*s - 4*t = 4, -3*t - t = s + 9. Let w be (1/2*-2)/1. Is s greater than or equal to w?
True
Let f be (-10)/(-2) - 2/2. Suppose 0*u - f = 2*u. Let x be (u/4)/(1/(-2)). Do x and 1 have the same value?
True
Let m = 60925/82 - 743. Is m less than -1?
False
Suppose -5*n - d = 13, -4*n = -5*n + d - 5. Let x = n + -1. Is x > -3?
False
Let u be (9/(-6))/(2/(-4)). Suppose -u*w + 6 = -w. Let i be w/(0 + -3) + 0. Which is smaller: -4/3 or i?
-4/3
Let s = -10.6 + 9. Let f = -0.9 - s. Is f smaller than 0?
False
Let t = 0.9 - 0.89. Which is smaller: t or 2?
t
Let v(x) = x**2 - 2*x. Let p be v(2). Which is bigger: p or -2?
p
Suppose s + 4*s = 0. Suppose -4*g - 5*m + 7 = -24, s = g + 4*m - 16. Suppose g*b - 12 = -0*b. Is 1 smaller than b?
True
Let v = 0.1 - 0.2. Let y = -0.9 + 1.9. Is v < y?
True
Suppose t + 2 = 5*s, -3*s + t = -0*t. Is s <= -1?
False
Let n(h) = -h**3 + 6*h**2 + h + 3. Let j be n(6). Suppose j = 2*u - u. Which is bigger: -2/7 or u?
u
Let b = -1489622/15 + 99018. Let x = b - -290. Is 0 < x?
False
Suppose -18*p + 19 = 1. Which is smaller: -1/63 or p?
-1/63
Let c(n) be the third derivative of n**5/60 - n**4/24 - 3*n**3/2 + n**2. Let y be c(0). Let g be 4/18 - 4/y. Which is bigger: g or -0.1?
g
Let j = 14 + -10. Suppose 0 = -5*y + j*v - 5*v - 14, 16 = -5*y + v. Let k be y/(((-27)/6)/1). Is k less than or equal to 0?
False
Let w = -1 - -3. Let j = 3 - 3.1. Is w less than or