2*z = 4. Do 2/9 and v have different values?
True
Suppose -4*g = 12, -3*l - l = -5*g - 31. Suppose 5*v - 16 = -l*y + 16, -4*v + 28 = 4*y. Which is bigger: 0 or y?
y
Suppose -3*d + 0*d + 74 = -5*s, -s - 16 = -d. Let t = 5 + 4. Let k = t + s. Is k less than or equal to -3?
True
Let a be 11 - (2 - (1 - 1)). Suppose 3*g = -3*h + g + 17, 4*h - 51 = 3*g. Are a and h non-equal?
False
Suppose 3*q + 0*x = 5*x + 8, q - 2*x - 4 = 0. Is -1 greater than or equal to q?
True
Suppose 0 = -4*c + x + 5, 0 = 3*c + 4*x + 1 + 19. Do 2 and c have different values?
True
Let h(r) be the second derivative of r**5/20 - r**4/12 - r**2/2 + r. Let l(f) = f**2 - 7*f. Let m be l(7). Let g be h(m). Do g and 0 have different values?
True
Let k(b) = -b**2 + 4*b - 25. Let v be k(5). Which is greater: -31 or v?
v
Let l = -1.25 + 6.25. Let f(c) = 2*c - 3*c + 7 + 0*c. Let p be f(7). Which is smaller: l or p?
p
Let f = 0.1 + -0.2. Let x = 1 - 1. Let l = f - x. Which is smaller: 1 or l?
l
Let m be (16/80)/((-4)/(-70)). Which is smaller: m or 5?
m
Suppose 17 = -2*j + 23. Are 1/2 and j nonequal?
True
Let m be (-1)/(-1*(-1 - -2)). Is m less than 1?
False
Let c = 28141/14 + -2011. Is 0 greater than c?
True
Let k = 5 + -3. Let f be k/(4/2) - 1. Suppose -4*q = 4*s - 16, -8 = -5*s + q - f*q. Do 2 and s have the same value?
True
Suppose -3*d + 5*u + 7 = -14, 5*d - 3*u - 35 = 0. Let r(z) = -z**3 + 6*z**2 + 8*z - 5. Let g be r(d). Let i be ((-2)/(-4))/(3/g). Which is smaller: i or 0?
0
Let a = -0.5 + 0.34. Let t = 6.16 + a. Let z = 0 - 0.1. Which is bigger: z or t?
t
Let h = 0.24 - 0.37. Is 3/2 <= h?
False
Suppose -4*z + 9 = g, 0 = 2*g - 0*z + 3*z - 3. Let y be (-6)/3 + 1 - g. Suppose 0 = 3*s + 2*w - 6, -5*s + 1 + 9 = 5*w. Is s less than or equal to y?
True
Let q be (7 + -1)/((-3)/(-2)). Suppose 3*t + t - a = 0, t = q*a - 15. Which is greater: 1/4 or t?
t
Suppose -2*f = -i + 3 - 32, 0 = -2*f - i + 31. Let u = f - 13. Which is bigger: 1 or u?
u
Let i be (-8)/52 + 54/13. Suppose 18 = -i*n - 2*w, 7*n + 27 = 2*n - w. Do n and -5 have the same value?
False
Suppose -4*g + 5 = -3*g. Suppose g*x - 2*x - 9 = 4*w, w = 0. Is 2 at least as big as x?
False
Suppose 0 = -2*i + 2*o + 6, 2*o = -i - 0*o. Is i less than 0?
False
Let f = -26 - -26. Let z be 0*(-2)/4 - 0. Is z at most as big as f?
True
Let t(o) = o - 9. Let b be t(8). Let r = 952739/7 + -136323. Let s = r - -217. Is b at most s?
True
Suppose 3*m - 1 = -55. Let r be -3 + m/(-17) + 2. Are r and 0 unequal?
True
Let d be -1 - (3 + -1 - -4). Which is greater: -6 or d?
-6
Let i be 2/66*(-1)/2. Is i > 1?
False
Let z(i) = i. Let l be z(-1). Let q be 3/21*(5 + 16/(-4)). Is l greater than q?
False
Let z be 24/(-30) - ((-42)/65 + 2). Which is smaller: z or -2?
z
Suppose 4*s - 20 = 5*g, 8*s = -2*g + 3*s + 25. Let x = 2 + g. Let d = x + -1. Which is smaller: 1/4 or d?
1/4
Let z = -2 + 1. Let f(i) = -i**2 - 9*i - 8. Let w be f(-7). Suppose w*p + 3 = 3*p. Is p less than z?
False
Let s be (-2)/(-6) + (-39)/36. Let q be ((-3)/(-5))/(1/(-5)). Let m = q - -3. Which is greater: s or m?
m
Let c = -2 - -2. Suppose 2*l - 3*j = -j + 4, c = 4*l - 3*j - 6. Which is bigger: l or -2?
l
Suppose 0 = 3*h - 7*h - 4*q - 4, -h - 10 = 4*q. Let j be ((-6)/1)/h - -2. Do 1/5 and j have the same value?
False
Let b = 2 - 1.67. Let o = b - -0.07. Is o > 0?
True
Let j(r) be the first derivative of -r**2/2 + 12*r - 2. Let a be j(-9). Is a > 20?
True
Suppose -a = -3*z + z - 96, -a + 108 = 4*z. Is 100 < a?
False
Let s = -369 + 2591/7. Let b(p) = -p**3 - 6*p**2 - 6*p + 7. Let n be b(-5). Let h = 12 - n. Are h and s non-equal?
True
Let j = -2 + 1. Suppose k = -2*p + 2 + 3, -k - p + 2 = 0. Is k at least as big as j?
True
Let b(w) = -w**2 + 2. Let x be b(-1). Is x less than 2/61?
False
Suppose l + 17 = -3*d, 5*l - 3*d + 0*d - 5 = 0. Which is bigger: -7/10 or l?
-7/10
Let v be 9/(-12) + (-68)/16. Let s be (5/(-2) - -2)/((-3)/(-12)). Does v = s?
False
Let m(v) = -2*v + 2. Let k be m(2). Are k and -5/6 nonequal?
True
Let c be (6/8)/((66/72)/11). Which is greater: 26/3 or c?
c
Let z be (7/72)/7*-397. Let q = 45/8 + z. Which is bigger: q or 1?
1
Let o = 0.8 + 7.2. Let v = -70 + 77.6. Let j = v - o. Is j at least as big as -1?
True
Suppose 2*o - 5*o + 18 = 0. Which is bigger: 3 or o?
o
Let b = -1 - -2/3. Let q(o) = -o**2 - 4*o. Let m be -2 + 2 - 4/2. Let w be q(m). Which is smaller: b or w?
b
Suppose 7 = 2*a + 3*o, 0*a + 3*o = 2*a - 13. Which is smaller: a or 4?
4
Let n = 11 - 2. Let f = 9.3 - n. Let c = 23/36 + -8/9. Which is smaller: f or c?
c
Let x = 26 - -2. Let l = x + -16. Which is greater: l or 11?
l
Let v = 8 + -5. Suppose -b + 2*g = 9, 0 = b + 4*g - 15. Let n = 3 + b. Is n > v?
False
Let p = -18 + 29. Let n = 15 - p. Let v = n - 3. Do v and 0.3 have different values?
True
Let n(r) = -r**2 - 8*r + 5. Let w be n(-8). Suppose 0 = -w*m + 2*c - 7, -2*m + 5*c = 7. Which is smaller: m or -2/21?
m
Let d be ((-8)/(-18))/((-1)/3). Is d at least as big as 0?
False
Let h(p) = -3*p**2 - 6*p + 3. Let v be h(4). Is -69 <= v?
True
Let a be (-30)/12*(3 + -1). Which is greater: -6 or a?
a
Suppose -z + 4*u = -15, 4*z - 3*u - 18 = z. Which is bigger: z or 2?
z
Let r be (3 - 1 - 1*-2)/3. Is 0 != r?
True
Let j be 69/12 - 1/(-4). Suppose 2*q + s + j = 0, 2*q + s - 6 = 3*s. Are q and -3 non-equal?
True
Let s be 32/(-12)*3*2/4. Which is greater: s or -7?
s
Let i = -4 - -3. Let r(j) = j + 9. Let u be r(-5). Let n be ((-1)/u)/(1/4). Is n not equal to i?
False
Suppose -2*w + 8 = 0, 3*o - w = -o - 12. Are 5 and o nonequal?
True
Let m = 6 - -180. Let u be m/45*-1 + 4. Is 0 <= u?
False
Let t = -2.1 + 2. Let k = 0.1 - t. Let l = -1.2 + k. Is l bigger than 1/3?
False
Suppose -2*x = 2 - 10. Suppose -3*t + 1 = -2*c + 2*t, x*c + t - 31 = 0. Which is greater: c or 8?
8
Suppose 0 = 2*d - 3*z - 23, d - 31 + 12 = 4*z. Which is smaller: d or 1?
1
Let b be 200/378*(-9)/(-6). Let i be (-2)/3 - 2/(-21). Let j = i + b. Is j not equal to 1?
True
Let m = 9 - 7. Which is greater: m or -2/7?
m
Suppose -32 = 10*l - 6*l. Which is bigger: l or -7?
-7
Let o = -9.1 + 9. Which is bigger: 64 or o?
64
Let f(d) = -1. Let s(p) = p - 8. Let z(y) = -18*f(y) + 2*s(y). Let b = 2 + -4. Let i be z(b). Which is greater: -1 or i?
-1
Let l = 14/289 - 2923/6647. Is l >= -1?
True
Let y = 0.4 - 0.425. Let q = y + 2.125. Let u = q - 2. Which is bigger: u or 3?
3
Let w be (2/(-3))/((-2)/(-15)). Let v be ((-4)/(-2))/((-2)/4). Is v >= w?
True
Let d(y) = -y**3 + 7*y**2 - y + 10. Let p be d(7). Suppose 1 = 4*o - p. Is -1/10 smaller than o?
True
Let h = 23 - 15. Let j be -2*(0 + 1)/h. Which is greater: j or 1?
1
Let k = -56 - -170/3. Let c = -23 - -24. Suppose -3*a - 5*i = -1, -3*i + c = -4*a + 12. Do a and k have different values?
True
Let d(z) = -z**2 - 6*z + 6. Suppose 0 = 3*b + b + 8. Let s = -8 - b. Let i be d(s). Which is bigger: i or 5?
i
Let x = -5 - -5.2. Let w = 2 + -1. Is x less than w?
True
Let t = 2 - 0.8. Let v = t - 2.2. Which is bigger: v or 5?
5
Suppose 15 = 3*r, -5*t + 2*r = -0*t - 60. Suppose 5*p - 16 = -3*h, 3*p - 4*p + t = -3*h. Is h less than -3?
False
Let g = 10166 + -914927/90. Let z = 1/18 + g. Is 1/2 > z?
True
Let c = -1435/6 - -240. Is c greater than 1?
False
Let t(z) = -z**3 - 6*z**2 + 6*z - 7. Let q = -10 - -3. Let u be t(q). Let y = -0.2 - -0.1. Is u < y?
False
Suppose 7*b = 2*b - 2*r + 43, -r = 2*b - 17. Is 10 less than b?
False
Let h = -35.876 + -0.124. Is -1 > h?
True
Let r be 2/(-3)*(-18)/4. Let y = 2 - -3. Suppose y*j = 3*j + 4. Is j bigger than r?
False
Let m = -1/13 + -35/52. Let r = -1 + 3. Suppose -r = -4*d - 6. Is d equal to m?
False
Let l(v) = -v - 1. Let w be l(-7). Suppose u = w*u. Let x = 0.8 - 0.7. Which is smaller: u or x?
u
Let s(m) = -m**2 + 11*m. Let i be s(11). Let d = 8 - i. Is 7 greater than d?
False
Let q(g) = g**3 - 5*g**2 - 7*g + 6. Let j(b) = -b**3 - b**2 + 5*b + 3. Let s be j(-3). Let i be q(s). Suppose -4*n + 3*n = i. Which is smaller: n or 1/2?
n
Let n = 5.008 - -0.092. Let u = 5 - n. Is -0.2 smaller than u?
True
Let f = -114 - -114.3. Suppose -2*x = x. Suppose x = 2*i + 1 + 1. Which is greater: f or i?
f
Let c(y) be the third derivative of y**6/120 - y**5/20 + y**3/6 - 4*y**2. Let l be c(3). Which is bigger: 0 or l?
l
Let a = 1/11 - 14/33. Let x(r) be the first derivative of -r**4/4 - 2*r**3/3 + r**2 - 4