(3 - 88/33). Is l <= j?
True
Suppose 0 = x + 5*h + 8, -23 = -5*x + 4*h - 5. Let c = 0 + 4. Is c less than x?
False
Let t = -3.2 - -4.2. Is -0.7 at most as big as t?
True
Suppose 5*v - 3*v + 10 = 0. Which is greater: -6 or v?
v
Suppose -5*u - 3*b - 3 = 0, -2*u + u - 4*b = 4. Let z be -3 - ((-363)/51 - -4). Which is smaller: u or z?
u
Let h(w) = w**2 + 7*w. Let b be h(-7). Let c(q) = 2*q - 3*q + b*q. Let l be c(2). Are l and -3 unequal?
True
Suppose -2*l - 2 + 22 = 0. Suppose -3*h + 0*h = 6, -r = h - 8. Is r not equal to l?
False
Let k = 631 - 34707/55. Let t = -116/165 - k. Which is greater: 0 or t?
0
Let p = 34 - 67/2. Is p >= -0.45?
True
Suppose 28 = 3*s + 4*s. Is 2 greater than or equal to s?
False
Let u = 185 + -2032/11. Suppose -4*i - 5*w + 4 = 0, w - 4*w = 0. Which is smaller: i or u?
u
Let x = -521/1071 - -8/17. Is 0 <= x?
False
Let y = -41/5 + 169/20. Is 0.034 at most y?
True
Let c be 1/(-10)*-1*-3. Let t be ((-7)/((-252)/(-24)))/((-2)/3). Are c and t unequal?
True
Let v = 5.77 + -3.78. Let b = -0.01 - v. Let z = -4 + 5. Is z greater than b?
True
Let o = -95.9 + 90. Let b = 6 + o. Let k = -1.9 - -2. Does k = b?
True
Let z = -0.138 - -18.138. Are z and -2 equal?
False
Let h be (-8)/((-14)/4 - -3). Let x = h + -17. Is x > -3/4?
False
Let w be (-1 + 21/(-6))*2. Let j be (0 + 0)/(w + 12). Are j and -1 unequal?
True
Let a(p) = p + 1. Let v be a(1). Let c be ((v - 3)*1)/4. Let h be (-16)/(-18)*(-2)/8. Is c smaller than h?
True
Let b = -303/56 - -45/8. Let z(i) = i**2 - 12*i + 36. Let a be z(6). Is b not equal to a?
True
Let z(l) = l**2 + 2*l - 1. Let b(k) = -k**2 - 2*k + 1. Let h(n) = -4*b(n) - 5*z(n). Let d be h(1). Which is smaller: d or -1?
d
Let d = -2.6 + -0.4. Let c = -2.06 + 0.06. Let k = d - c. Which is smaller: 1/6 or k?
k
Suppose -6 = 3*f, 3*f + 1 = -c - 3. Is c less than or equal to 0.5?
False
Suppose -5*y + 0*y - 598 = -3*c, 5*y - 1010 = -5*c. Let n = -799/4 + c. Is -1 bigger than n?
False
Let v be (-2)/(-5) - 276/(-60). Suppose -9 = 2*u - v*u. Is 2 greater than or equal to u?
False
Let s = -9 + 2. Let f be (4/8 + 1)/(6/(-26)). Are f and s equal?
False
Let t = -3 + -1. Suppose 0*u - 2*u = 8. Is u less than t?
False
Suppose 0*g + 4*g + 8 = 0. Let d be -1 - -1 - 2/g. Let v be (3/(-18))/(d/(-4)). Which is bigger: v or 2?
2
Let l(t) = -6*t**2 + 2*t + 1. Let z be l(-1). Let q = -645/2 + 316. Which is greater: z or q?
q
Let x be 1 - ((4 - 0) + -3). Suppose 0*v - f - 12 = 2*v, x = -4*f. Let w be (-6)/9 + 2/v. Which is bigger: w or 1/7?
1/7
Let k(u) = -u**3 + 2*u**2 + 5*u - 3. Let p be k(3). Suppose 0 = 4*c - p*c. Suppose 2*x = -c*x - 4. Is -2 less than or equal to x?
True
Let m = -50 + 301/6. Let k = m - -1/3. Are 2/5 and k non-equal?
True
Let x = 0.9 + 0.1. Let c = -0.04 - -0.04. Is x greater than or equal to c?
True
Suppose -2*u - u + 15 = 0. Suppose -14 = u*l - 19. Which is bigger: l or -4/17?
l
Let x = 1.3 + -2.18. Let f = -0.18 - x. Let k = -0.3 - f. Which is smaller: k or 0.1?
k
Let q be (-1)/(-10)*60/6. Let f be (8/(-30))/(3/5). Which is bigger: f or q?
q
Let p be ((-6)/(-4))/((-4)/(-8)). Suppose -p*r + r = -10. Is r at least as big as 5?
True
Let c = 8 - 2. Let w be (120/(-32))/(c/16). Is w smaller than -9?
True
Suppose 0*m = -2*m. Let l = -1355/9 + 151. Which is bigger: l or m?
l
Let l = -1 + 1. Suppose l - 6 = 3*x. Is x > -2?
False
Let g(l) = -l**3 + 6*l**2 + 8. Let m be g(6). Let t(v) = v**3 - 7*v**2 + v + 1. Let z be t(7). Is m >= z?
True
Let n = -289/5616 + 3/208. Which is smaller: n or 3/2?
n
Suppose 0 = -5*b + 2*u + 3*u + 15, -3*b = -2*u - 10. Let x(t) = t**2 - t - 3. Let f be x(3). Suppose 3*g = 2*g + f. Are g and b equal?
False
Let o = 33.121 - -0.779. Let i = -31 + o. Let j = -3 + i. Which is greater: -2 or j?
j
Let m = -177 - -178. Which is smaller: m or -13?
-13
Suppose -j - 10 = -5. Let v = j - -8. Let y be v/6*(4 - 0). Is y > 1?
True
Suppose -3*d + 21 = g - 3*g, -2*g + 2*d - 26 = 0. Is -58/3 greater than g?
False
Let f = -11.55 + 11. Let u = f - -0.7. Let p = 0.05 + u. Which is greater: -3/5 or p?
p
Let x = 13 - 14. Let z = x + 1.2. Which is greater: z or -6?
z
Let y = 3.9 + -4. Which is smaller: 22 or y?
y
Let n be (-14)/3 + 3 + 0. Let d = -1 - 2. Is d <= n?
True
Suppose -f + 3 = -1. Let d(a) = -a**3 + 9*a**2 + 5. Let n be d(9). Suppose n*o - 2 = 13. Are o and f equal?
False
Suppose 0 = -3*u + 1 + 8. Let s(v) be the third derivative of v**6/120 - v**5/15 + v**4/6 + v**3/6 + 2*v**2. Let m be s(3). Is m >= u?
True
Suppose -16 = 4*i, 25 = 5*z - 2*z - 4*i. Let l be (-19)/21 - (z - 4). Which is smaller: -1 or l?
-1
Let z(p) be the second derivative of -p**4/12 + 11*p**3/6 + 9*p**2 - 8*p. Let o be z(13). Does -7 = o?
False
Let s = -4 + 11. Is s != 6?
True
Suppose 6 = -2*z - 4, d + 3*z + 3 = 0. Which is greater: 6 or d?
d
Suppose -2*k - 4 = 3*h, -h + 24 = h - 4*k. Let x = -0.007 + 3.107. Let t = x + -0.1. Is t bigger than h?
True
Let q be (-2)/(-2) + 2/1. Suppose 4*z = 2*t + 3*z + q, -3 = 3*z. Let o be -1 - (-2)/(t/(-1)). Which is smaller: 1/5 or o?
o
Suppose 0 = 5*v + 3*x - 7, -3*v = 2*v + 5*x - 15. Let q = -3517/17 - -207. Is v at most q?
True
Let x = -11 + 6. Let d = x - -4.6. Let g = d + -0.6. Is g > 0.1?
False
Suppose 3*h - 3*m - 375 = 0, 4*h + 5*m - 575 = -h. Let k = h - 602/5. Which is greater: 1 or k?
1
Let z(a) be the second derivative of a**4/12 - 3*a**3/2 - 3*a. Let m be z(8). Is m at least -7?
False
Let c = -1 + 3. Suppose 2*l - 22 = -c*k - 0*l, -15 = -3*l. Let s be (0/(k/2))/(-1). Are 0 and s unequal?
False
Let n = -0.1 - 0.2. Let l = 0.7 - n. Is l greater than or equal to 4?
False
Let f(y) = y**3 + 6*y**2 - 6*y + 10. Let m be f(-7). Suppose 0 = 3*g - r - r + 40, -3*g - 2*r = 32. Let c be 8/g + 5/m. Which is greater: c or 1/6?
c
Let s(h) = 4*h**3 + 2 - h**2 + 0*h**3 - 3*h**3. Let q be s(0). Let c = 0 - q. Is c at least -2?
True
Suppose 4*n = 12, h - 3*h = -4*n + 472. Let w be 15/h*2/3. Which is greater: -1 or w?
w
Let u = -3 + 1. Let l be (u/7)/((-4)/7). Which is smaller: -0.3 or l?
-0.3
Let z = -4 + 1. Suppose -9 = 3*q - t + 6*t, 2*t = 0. Is z greater than q?
False
Let c be (-10)/6 - 8/(-12). Let s be (155/20)/(1/(-4)). Let w = s + 154/5. Which is smaller: c or w?
c
Suppose m + 3*m - i - 19 = 0, -3*m + 20 = 5*i. Let b = -7 - -8. Suppose k = 5*a - m, -k + 4 = 3*a + b. Is 1/2 at least as big as a?
False
Let h be 2/7 - (-228)/(-14). Let z be (3/12)/((-18)/h). Let j = -488/9 + 54. Which is bigger: j or z?
z
Let r = -6 + 8. Suppose -4 = -2*h - t - 1, 0 = -r*h - 2*t + 6. Let i = -323/6 - -54. Do i and h have different values?
True
Suppose a - 5 = 2*s, -4 = -5*a - s + 10. Suppose -b - 4*n - 37 = -4*b, -n + 32 = 2*b. Suppose b*k - a = 12*k. Which is bigger: k or 4/7?
k
Suppose 4*b - 15 = 7*b - 4*a, -13 = b - 4*a. Is -1 at most b?
True
Let u = -1.7 - 14.3. Let q = 18 + u. Which is smaller: -0.4 or q?
-0.4
Let b(i) = -47*i**3 - 3*i**2 + 2. Let t be b(1). Which is smaller: 2 or t?
t
Let h(a) = -a**2 - 5*a + 3. Let j be h(-3). Suppose j*g - 7*g = -4. Which is bigger: g or -3/5?
-3/5
Let x be 9 + -11 - (0 - -6). Let t be 6/x*2/3. Which is bigger: t or 0?
0
Let b(v) = v**2 + v + 4. Let g be b(-2). Is g not equal to 4?
True
Suppose -4*m + 12 = 0, -2*g - g - 5*m + 27 = 0. Let b = -0.03 + 1.03. Is g at most as big as b?
False
Let n = 46/7 - 237/35. Are n and 0.2 unequal?
True
Let y(d) = d**3 + 6*d**2 - 5*d - 5. Let p be y(-5). Is 44 != p?
True
Let j(t) = t + 2. Let i be j(-6). Let b be (-2)/(-11) - (-172)/22. Let r = 4 - b. Is i at least as big as r?
True
Suppose -t - 4*g - 9 = -25, -5*t + 32 = 4*g. Let i = 12.67 + 3.43. Let k = -16 + i. Which is bigger: t or k?
t
Let f be 18/12*(-102)/27. Which is greater: -7 or f?
f
Let p = -133.9 + 145. Let r = p - 11. Is 7 not equal to r?
True
Suppose -c - 22 = 2*j, 10 = 3*j - 3*c + 34. Let h be (6/j)/((-9)/6). Let u be (4/6)/(10/(-6)). Is h != u?
True
Let a be 2/(-4) - (-14)/4. Let r be -9 + 14 + 1 + -4. Which is greater: a or r?
a
Let y be (-26)/(-80) - (-5)/(-25). Let f be 2/40*(-130)/(-12). Let h = f + y. Is h <= -0.2?
False
Let b be 6/8 - (1 - (-89)/(-4)). Which is greater: 41/2 or b?
b
Suppose p = -2*p + 12, -5*p = 4*q. Let c be -1 - (-1 - 1/q). Let k = 2 + -2. Is k bigger than c?
True
Let i = -7 + 10. Suppose h = -i*h - 5*g - 9, h - g = 0. Let x(l) = -2*l**2 + 3*l. Let b be x