 - 125. Which is smaller: 18 or t?
t
Let n = 18574/41 + -453. Which is greater: n or 1?
1
Suppose -4 = -5*t + 6. Let q be t/(-6)*30/(-2). Which is bigger: q or 3?
q
Let n be -2 - ((-4)/2 + 1). Let q(w) = -2*w**3 + w**2. Let t be q(n). Is t not equal to 3?
False
Let t = 0 + 20. Suppose 13 = 2*z + 5*r, 3*r = 5*z - 2*r + t. Which is smaller: -7/3 or z?
-7/3
Let c be 6/(-4) - (804/(-136) - -5). Which is smaller: 0 or c?
c
Suppose -3*j - 5*h + 18 = 0, 6*h - 2*h = 3*j + 9. Which is bigger: j or 3/44?
j
Let w = 83859/284 + -1181/4. Which is greater: 1 or w?
1
Let u(w) = -w**2 + 1. Let n be u(-2). Let k(x) = x + 4. Let g be k(-2). Let t be (-4)/8 - n/g. Are -2/17 and t unequal?
True
Suppose 4*r - 19 = -x, 2 = -2*r + 4*r - 2*x. Suppose r*g - y = 121, 4*g + 2*y - 74 = 56. Suppose -5*s - g = -11. Does s = -5?
False
Let z be (-18)/22 + 2*1/(-11). Which is smaller: z or 1/15?
z
Let f be (-4)/(-6) - (-208)/(-168). Is 0 at least f?
True
Suppose 0 = -4*k - 5 - 11. Which is smaller: k or -1?
k
Let f be 42/153 + (-1)/3. Is -1 greater than f?
False
Let o = -2 - -2. Which is smaller: o or 1/2?
o
Let f = -84 - -254/3. Let c = 0.311 + -0.011. Which is smaller: f or c?
c
Suppose -2*g + 5 = -x, 3*g - 6 = 3. Is 1/13 at least x?
False
Let k = -1211/9 - -133. Let w = 11/9 + k. Let h(r) = r. Let j be h(1). Is w less than j?
True
Let n(v) = -13*v + 15. Let k be n(2). Is k <= -12?
False
Let b = 14 - 11.2. Let s = 3 - b. Let d = 1/39 - 85/273. Which is bigger: d or s?
s
Let p be -30 - (1 + (4 - 3)). Is -32 not equal to p?
False
Suppose 0 = -2*s + 3*s + 2*l, 0 = s + 3*l + 2. Let g = 7 - s. Are 3 and g unequal?
False
Let z = -64 + 61.1. Let h = 3 + z. Let m = h - 0.1. Is -0.1 != m?
True
Let c = 16/17 + -146/119. Let k = 16 - 14. Which is smaller: k or c?
c
Let a = -89 + 89.6. Do 2 and a have the same value?
False
Suppose 0 = -5*f + 2*i - 2, 0 = -3*f - i - 8 - 2. Let w be ((-1)/(-19))/(f/4). Which is greater: w or -1?
w
Let n(m) be the third derivative of m**6/24 - m**4/12 - m**3/6 + 6*m**2. Let v be n(-1). Suppose -5*k = 9 + 6. Is v smaller than k?
True
Let i be (-2 - 30/(-8))*4. Let y(w) = -2 + i - w - 2. Let m be y(4). Which is smaller: -2 or m?
-2
Suppose 0 = -4*g + 2 - 10. Let c be (-2 + (-8)/g)*-2. Do c and -4 have different values?
False
Suppose 18*g - 14*g + 24 = 0. Is -7 less than or equal to g?
True
Let o = 1.98 - 2. Let l = o + 0.05. Let g = l + -0.03. Which is smaller: -1 or g?
-1
Let s = 23 - 18. Suppose o = s - 2. Which is smaller: 4 or o?
o
Suppose 2*d = -3*d + 55. Let i = d - 11. Which is smaller: 4/13 or i?
i
Let l be (-4)/6 + (-21)/(-36). Are l and -1 unequal?
True
Suppose -3*j + 9 = p, 3*j - 5*j = -4*p - 6. Suppose -5*d + j*o = -0*o + 24, 3*d + 4*o - 3 = 0. Do -2 and d have the same value?
False
Let i be ((-9)/3)/6*2. Let h = -175 - -2276/13. Which is smaller: i or h?
i
Suppose 2*n = -3*w - 1, -w + 4*n + 3 = -6*w. Suppose -2*l = -2*g, 4*g - 1 = 5*l - 0. Let m be (-1 + 0)*(-2 - g). Is w at least m?
True
Suppose -5*p = -7 - 18. Suppose p - 2 = -z. Let q = -3 - 1. Is z > q?
True
Suppose 2*f + 3*f - 20 = 0. Suppose -22 = 3*k - 2*w, -f*k + 5*w - w = 28. Is -8 < k?
False
Let t = 11 + -10. Which is greater: -1/3 or t?
t
Let n be 969/(-45) - (2 - 20/6). Which is smaller: -21 or n?
-21
Let u be 4/14 - (-20)/28. Let z(w) = -w**2 + w - 1. Let d be z(u). Is d at least as big as 2/11?
False
Let m = 5 + -6. Let v be m/((-23)/(-2)) + 0. Suppose 4*i - 3 - 1 = 0. Does v = i?
False
Let h be 2*1 - 33/18. Let j(q) = q**2 + 9*q - 23. Let s be j(-11). Which is smaller: h or s?
s
Let m = -6/17 + 1/51. Let u = -4/21 - m. Which is smaller: u or -1?
-1
Let u = -1 + 1. Let t = 23 + -47. Let i be 2 + (t/(-9))/(-1). Is i != u?
True
Let a(o) = -o - 24. Let b be a(0). Let n be 43/(-9)*(-14 - -19). Let r = n - b. Which is bigger: r or 1?
1
Suppose 2*d - 9 = -3*v, -5*v = -3*d + 2*d - 2. Suppose -d*w = -w + 6. Is w greater than or equal to -3?
True
Let a(j) be the first derivative of j**3/3 + 7*j**2/2 + 6*j + 6. Let s be a(-4). Which is smaller: -5 or s?
s
Let n be 1 + (-1 - -1) + 4. Let x(m) = -4*m**3 - 8*m**2 + 15 + 6*m + 5*m**3 - n. Let t be x(7). Is t >= 3?
True
Let z = 66 + -727/11. Is 0 <= z?
False
Let o be (-22)/33 + (-50)/6. Is -7 at most o?
False
Let h(q) = -q**2 + 12*q + 10. Let w be h(12). Let z be 2 + (-44)/w - 0. Which is smaller: -1 or z?
z
Suppose -5*c + 5*k - 45 = 0, -2*k = -k - 5. Let g = 0 - c. Suppose 0*f + g*a - 18 = f, 3*a - 22 = 5*f. Which is smaller: f or -1?
f
Let z = 151 - 150. Is z < -1/7?
False
Let d = -731.02 + 723. Let z = d + 0.02. Which is bigger: z or -1?
-1
Let v(c) = c + 4. Let r be v(-3). Let b(p) = 43*p + 2. Let s be b(-5). Let m = 857/4 + s. Is r > m?
False
Let w = -95 - 258. Let m = 2467/7 + w. Which is smaller: m or 0?
m
Let z = -9 - -6. Let u = z - -6. Let y be 4/(-4)*(-3)/u. Is 1 > y?
False
Let d = -291466/65 - -4484. Which is greater: 1 or d?
1
Let o(v) = -v - v**2 - 2 + 3*v + 0*v**2 + 2*v. Let g be o(3). Which is bigger: -2/23 or g?
g
Let d = 22 + -32. Let m = -10 - d. Which is smaller: -0.2 or m?
-0.2
Let c(k) = k + 12. Let f be c(-7). Let g be 10 - (-2 + f + 1). Which is smaller: 3 or g?
3
Let x = -0.2 + -0.2. Let t = -0.2 - x. Is t > -3?
True
Let s be (1 + 15)/(-4) + 5. Is s greater than 2/59?
True
Let a(f) = f**3 + 5*f**2 - 8*f - 8. Let k be a(-6). Suppose 3*q = 5 + k. Which is smaller: q or 2?
2
Suppose 0 = c - 10*c - 27. Is c at least as big as 5?
False
Suppose -2*o + o = 0. Let b = 6 - 5. Suppose b = -j - o*j. Is 0 greater than j?
True
Let t = 1.8 - -0.2. Let p = -6.1 - -1.1. Is t greater than or equal to p?
True
Let q = -15 + 10. Let v = q - -10. Which is greater: 2 or v?
v
Let z(i) be the first derivative of -i**2/2 - 8*i + 1. Let q be z(-7). Is q less than -2/15?
True
Suppose -5*u + 12 = -48. Let k be 2/(-8) + 195/u. Let x be 40/k - 1*2. Which is smaller: x or 1?
x
Suppose v - 24 = -26. Which is smaller: v or -16/11?
v
Suppose 5*w - 3*l - 19 = 112, -2*w - 3*l = -44. Which is greater: 51/2 or w?
51/2
Suppose -5 = -3*a + 3*z - 2, -4*z = 4*a - 12. Suppose -4*n - 3*y + a = -0*y, -5*y = -10. Is n bigger than -2?
True
Suppose 0 = 3*g + 5*n + 10, -5*g + n + n - 58 = 0. Let l = -4 + g. Let i be 2/4 - 1/l. Which is bigger: 1 or i?
1
Let j(s) = -s + 6. Let d be j(7). Which is smaller: 1.4 or d?
d
Suppose -3 = o + 3. Let t(p) = -p**2 - 7*p - 3. Let s be t(o). Is 4 != s?
True
Let a = 53 - 38. Let r = -14 - -28. Is a >= r?
True
Suppose -16 = 2*l - 0. Let t(n) = n**2 + 8*n + 1. Let c be t(l). Is c smaller than 4/3?
True
Suppose -2*d - 10 = 0, 2*h + 2*h - 4*d + 224 = 0. Is h at least -63?
True
Let t be (-153064)/(-30) - 6/(-9). Let r = t + -5037. Let g = r + -66. Is -1 at most as big as g?
True
Let l = -4.5 + 1.5. Let m = -0.018 + 3.118. Let v = m + -3. Are v and l non-equal?
True
Let s = -165 - -165.05. Are s and -3 equal?
False
Let u(f) = -f + 11. Let i be u(6). Suppose 0*s + i*s = -10. Let t be 4*(s/(-20))/1. Which is smaller: 0 or t?
0
Suppose 5 + 0 = 5*b. Let z be (b + 2/(-10))/2. Which is greater: -2 or z?
z
Suppose w = -4*g - 8, -10 = g + 4*w + 7. Let x be (-59)/10 - (5 - 5). Let y = 11/2 + x. Which is smaller: y or g?
g
Suppose -4*a + 0*a = -h + 15, -3*a - 2*h - 3 = 0. Let v(n) = 2*n + 3. Let w be v(-5). Let z = 5 + w. Which is smaller: z or a?
a
Let d = -0.03 + -8.07. Let z = 8 + d. Let p = -0.1 - 0.9. Which is greater: z or p?
z
Let q = -6 - -7. Let u be (-2 - -2)/(2/q). Let t(v) = -3*v - 1. Let r be t(-1). Is u <= r?
True
Let o(i) = -i**3 - 5*i**2 - 5*i + 1. Let r be o(-2). Are r and 1 nonequal?
True
Let q = 142 + -992/7. Is q > -2?
True
Let f(p) = 2*p - 5. Let y be f(4). Let w be (y/2)/(45/(-12)). Which is smaller: 2 or w?
w
Let i be (-30)/(-12)*(-4)/(-5). Is i bigger than 1?
True
Suppose v - 5*d - 40 = -9*d, -85 = -5*v + 3*d. Which is smaller: v or -1?
-1
Let u = 161 - 161.33. Which is bigger: u or -4/5?
u
Let s(x) = x**2 + 2*x - 1. Let v be s(-3). Suppose k = 5*n + 21, v*n + 5 = -k - 2. Is k smaller than -2/19?
False
Suppose 0 = -2*q - k - 73, -57 = 2*q + 2*k + 21. Which is smaller: -32 or q?
q
Let p be ((-1)/((-3)/(-36)))/(-14). Let b be ((-2)/(-3))/(-2)*-3. Is p bigger than b?
False
Let g = -3 + 5. Let r(t) = 2*t**3 - 2*t - 1. Let d be r(g). Is 11 greater than or equal to d?
True
Let h = 8.14 + -0.14. Which is smaller: -0.2 or h?
-0.