 -3*d + 4 = 1. Let i be (-4)/12*d*-9. Is i <= 4?
True
Let a(o) = -o**3 + 11*o**2 + o - 1. Let c be a(11). Let g = c + -12. Let x = 4 - 3. Which is greater: g or x?
x
Let x be ((-28)/21)/((-20)/15). Is 5/16 equal to x?
False
Let k(j) = -2*j. Let u be k(1). Let n be (-4)/(-1*(u - -4)). Suppose -16 = 2*w + 2*w, -n*z = 2*w + 10. Which is smaller: 3 or z?
z
Let o = 0.14 - 0.24. Which is smaller: o or -10?
-10
Suppose -7*t = -2*t. Let r = 4 + -1. Let q(v) = -v**2 + 3*v - 1. Let p be q(r). Which is smaller: t or p?
p
Let m(t) = t**2 + 2. Let g(d) = d. Let p(c) = -g(c) - m(c). Let x be p(-2). Which is smaller: x or -0.1?
x
Let h = -1.2 - -1.3. Is h greater than or equal to 2/3?
False
Let u = 0 + -8. Let m be 6/(-4) + 4/u. Let t = -4 - m. Do -2 and t have different values?
False
Suppose -2*g + 0*g = a - 33, -4*g = 4. Let r be 60/a - (-2)/7. Which is bigger: 1 or r?
r
Let o(f) = f**3 - 9*f**2 + 16*f - 1. Let a be o(7). Do 13 and a have the same value?
True
Let k(f) = -f**3 - 3*f**2 - 2*f - 2. Let p be k(-3). Which is bigger: 0 or p?
p
Suppose 6*g + 7 - 37 = 0. Which is smaller: g or 54/13?
54/13
Suppose -24 = m - 4*m. Let f be (m/9)/((-4)/(-6)). Let d be -4 + 1 - (-3 - -1 - 1). Which is greater: f or d?
f
Let u(l) = l. Let c be u(0). Suppose n = 3*v - 8, 2*n + 0*n + 4 = c. Let x = 2/15 - 19/30. Which is greater: x or v?
v
Suppose 0 = 4*f - s - 6, f + 3*s - 4*s = 3. Let m be (9/(-27))/(f - 2). Which is smaller: m or 0?
0
Let x = -4.58 - -0.8. Let s = x - -0.7. Let h = 0.08 + s. Is h bigger than -0.2?
False
Suppose -r - 2*r - 16 = -5*s, -4*s = -5*r - 18. Which is smaller: -5/8 or r?
r
Suppose -2*i = -0*q - 2*q + 6, 5*q - 7 = 3*i. Which is smaller: -2 or q?
-2
Suppose 5 = -n - 4*z, n + 2*n - 5*z = 2. Suppose l + 2*l + k + 4 = 0, 3*l - 3*k - 12 = 0. Suppose 0*w + 5*w + 10 = l. Which is greater: w or n?
n
Let u = 9/2 + -5. Let y be 1/(-1)*1 + 0. Is u at least as big as y?
True
Suppose -5*j + 44 = 2*f, -3*j - 4*f + 3 = -15. Is 9 greater than j?
False
Let q = -2 + 2. Suppose 0 = -q*t + 2*t. Is t > 2/11?
False
Let o be (-3)/(-24) - (-1)/(-8). Is o > 4/11?
False
Let y be (-19)/(-114) + (-31)/78. Which is greater: 1 or y?
1
Let h = 199/4 + -50. Are h and 0 equal?
False
Let c be (6 - 5) + -24 + 1. Is c at most -22?
True
Let j(i) = 11 + 5*i - 3 - 6*i. Let f be j(0). Is f <= 7?
False
Let k = -9 + 3. Let d = k - -8. Let b be ((0 - d) + 2)/(-2). Which is greater: -2/5 or b?
b
Suppose -5*r = -0*r - 95. Let c = -20 + r. Do 1/5 and c have the same value?
False
Let s be 2/8*2*0. Let p(g) = -g + 1. Let f be p(0). Suppose -4*m = 3 + f. Which is smaller: s or m?
m
Let u be (38/(-54))/((-26)/(-156)). Is u equal to -5?
False
Let n = 23.2 - 22.9. Let m = -1 + 1. Does m = n?
False
Let i be (14/(-48))/((-46)/14708). Let n = 7/92 + i. Let j = -95 + n. Is -3 at least j?
False
Suppose -5*l + 6 = 1. Suppose -5 = -5*b + 20. Let u = b + -3. Which is smaller: l or u?
l
Let w(v) = 2 - 3*v - v + 5*v + 0. Let x be w(-3). Which is smaller: x or -1/3?
x
Suppose -4*l - u = -6*u + 11, -12 = -3*l - 3*u. Are 1/63 and l nonequal?
True
Let w be 1 - (-12)/7 - 3. Which is smaller: 2 or w?
w
Suppose a - 1 - 3 = -2*b, 0 = -4*b + 5*a - 6. Let i be 1/((-8)/6 - b). Which is smaller: i or -1?
-1
Let w = -5765/141 + -142/423. Let t = w - -125/3. Which is bigger: t or -1?
t
Let d(v) = -v**3 - 8*v**2 - 5*v + 13. Let i be d(-7). Is i greater than 1/4?
False
Let z be 2/(-8) + 3/(-4). Let s = -4 - -4. Let w be (-32)/14 - s - -2. Which is greater: w or z?
w
Let b be ((-4)/6)/((-224)/24). Which is greater: b or -1?
b
Suppose 9*z = 7*z. Suppose -5*j + 13 = 2*q, 2*q + 0*q - 3*j = -11. Which is smaller: q or z?
q
Suppose -p = 2 - 3. Suppose 4*z + 4 = -4. Let g = 2 + z. Which is greater: g or p?
p
Suppose 0 = 4*d - 8*d + 44. Do 0.1 and d have the same value?
False
Let o = 71 + -212/3. Let j be (-2)/9 - (-10)/18. Is j less than o?
False
Suppose 3*c + 3 = 6*c. Let d be 4/2 + (-10)/(-5). Suppose -d*m + 3*m = -1. Are c and m unequal?
False
Let h = -18 + -4. Is h < -21?
True
Let u(o) = -o**2 + 6*o + 29. Let x be u(9). Is -7/2 at most x?
True
Let v = -64.6 + 64. Which is smaller: v or -1/6?
v
Let c = -0.8 + -0.2. Let m(t) be the second derivative of t**3/2 - 5*t**2 + 8*t. Let w be m(4). Is c greater than w?
False
Let f(p) = p + 8. Let x(d) = d**3 - 5*d**2 - 3*d + 7. Let u be x(5). Let n be f(u). Are 0 and n non-equal?
False
Let a = 13 + -10. Let y(p) be the second derivative of -p**3/6 + p**2 + p. Let o be y(a). Are -1 and o nonequal?
False
Let c = 239 - 81. Is c greater than 158?
False
Let s(p) = -p**3 + 8*p**2 + 9*p - 3. Let y be s(9). Let k be 44/6 - (-1)/y. Is k less than or equal to 5?
False
Let t be (-21)/5 + 1/5. Suppose 3*x - x - 6 = 0. Suppose 0 = -4*p - 16, 2 - 6 = -2*r + x*p. Is r bigger than t?
False
Let u(h) = h**2 + 2*h - 9. Let p be u(-4). Is -5/4 greater than p?
False
Suppose -5*u + 5*v = -10, 10*v + 2 = 8*v. Which is bigger: -3/14 or u?
u
Let j(i) = i**3 + i**2. Let b be j(0). Let u = -849/5603 - 1/431. Which is smaller: u or b?
u
Let u = -279 + 1109/4. Is u < -3?
False
Let w = -76 + 75.96. Which is bigger: -0.8 or w?
w
Suppose 0 = 2*t - 2, 3*h - 2*h - 1 = 5*t. Suppose -5*p + 8*p + h = 0. Which is greater: -3 or p?
p
Let v(d) = d**3 + 4*d**2 + 3*d - 1. Let i be v(-3). Let l = i + -4. Is -5 less than l?
False
Let k = -3 - -2.9. Let h = k - -0.2. Is -2 greater than h?
False
Suppose -6 = 4*g - 2. Which is bigger: g or 0?
0
Let d = 10 + -14. Let l be (d/30)/2*-3. Is -1 at most l?
True
Let f(v) = 1 + v + 0 - 5. Let n be f(5). Which is smaller: -2 or n?
-2
Let b = -4/3 - -9/7. Is 0 at least b?
True
Let y = 0.26 - 0.3. Let f = y + 1.04. Let p = 0.06 + 1.94. Which is bigger: p or f?
p
Let v be ((-3)/(-2))/(-3)*-4. Let w(g) = -2*g + 6. Let l be w(5). Let b be v/(-4)*2/l. Is 0 > b?
False
Let h = 181 + -180.8. Let p = 2.1 + -2. Is p smaller than h?
True
Let i(f) = 31*f - 16*f - 16*f - 4. Let c be i(-7). Let v = 1 + 1. Is v at most as big as c?
True
Let l = -48/385 + -2/231. Is l greater than or equal to 11?
False
Suppose 2*v + 0*v - 12 = 0. Suppose -2*g = g + v. Let i = -3 - g. Which is bigger: i or 0?
0
Suppose -3*n - 3 = -0*n. Is -13 != n?
True
Let c(s) = -s - 6. Let o be c(-5). Let t be (-1)/(o/4*-2). Let l = 1633/15 + -551/5. Which is bigger: t or l?
l
Let x = -407.01 - -410. Let l = -3 + x. Let w = -0.46 - -0.36. Which is bigger: w or l?
l
Let m(k) = 2*k**2 - 6*k - 3. Let o be m(-1). Is o less than 6?
True
Suppose -11*h - 2*h = 1651. Is h equal to -127?
True
Suppose 0 = -6*j + j. Is -4/15 less than or equal to j?
True
Let w be ((-2 - -2) + 1)*0. Suppose -2*t + w + 4 = 0. Let g be (40/36)/(-1)*(-9)/15. Is t not equal to g?
True
Suppose 5*r - 436 + 6 = 0. Suppose -5*f + r - 26 = 0. Let g be 13/f - 3/4. Is g greater than 0?
True
Suppose 0 = 5*v - 10*v + 25, 4*u + 14 = 2*v. Suppose 0*a - 10 = -4*f + 3*a, 0 = -3*f - a + 1. Let c = u + f. Which is bigger: c or 3/4?
3/4
Let d = 64 + -446/7. Is d greater than 0?
True
Let u = -9/133 - -4/19. Let s = 4 - 3. Let g = s + 0. Which is smaller: u or g?
u
Let s = -0.14 - 0.96. Let k = 1.11 + s. Do -2 and k have different values?
True
Suppose -7*b + 3*b + 32 = 0. Let t = 156 - 1090/7. Which is bigger: b or t?
b
Suppose z + 0*x = -x + 3, 3*x - 12 = 0. Do 0 and z have different values?
True
Let s = -0.6 - -1. Let f = 2 + -11. Let i be (-3)/f*(-2)/(-3). Is s equal to i?
False
Let z = -7 + 11. Let r = z + 1. Suppose -12 = b - r*b. Which is bigger: b or 2?
b
Let m(j) be the first derivative of j**4/4 - 7*j**3/3 + 3*j**2 + 5*j + 2. Let r be m(6). Suppose r*n + 3 = 8. Which is greater: 3/2 or n?
3/2
Let o(v) = v**2 - 13*v + 5. Let a be o(12). Let u be 12*((-10)/(-4) + -3). Are a and u nonequal?
True
Let p be 11/(-33)*(-6)/(-44). Is p bigger than 0?
False
Let g be 12 + -13 - (-14)/8. Are 0 and g unequal?
True
Let s = 47 + -66. Let g = s - -9. Are g and 0.1 equal?
False
Let l be 325/(-5) + (-7 - -2). Is l smaller than -71?
False
Let z(g) = -g - 98. Let v be z(-32). Is -67 > v?
False
Suppose -h - 3 + 10 = 2*x, 0 = -2*x + 6. Let c = 6 + -3. Is c equal to h?
False
Let b be ((-1)/(-2))/(2/(-36)). Let g = 10 + b. Let w = 48/7 - 487/70. Which is smaller: w or g?
w
Let m = 0.005 + -0.005. Is 4.2 bigger than m?
True
Suppose -k - k = 0. Let g be 3/(-1)*(-1)/(-5). Which is smaller: g or k?
g
