ich is bigger: 0.1 or l?
0.1
Let q = -0.1 + -0.9. Let f = 3 + q. Let j = -2.1 + f. Which is smaller: -1 or j?
-1
Let j = -7564/429 + 230/13. Which is greater: j or -1?
j
Let w(c) = c**2 + 3*c - 3. Let d be w(0). Which is bigger: -7 or d?
d
Let o = -4 + 6. Does 1/4 = o?
False
Suppose 6 - 22 = 2*t. Is -8 greater than t?
False
Let o = 5 - 14. Let a be o/2 + 1/2. Which is smaller: a or -3?
a
Let h(y) = y**2 - 2*y. Let w be h(0). Let k = -1.1 + 1. Is k less than w?
True
Let m = 6167/11133 + 2/1237. Let i = m + -37/18. Which is bigger: -1 or i?
-1
Suppose v - 8 = -2*a, a - 3*a = -3*v. Suppose 4*o - 23 = -3*x, 4*o - 3*o = -v*x + 2. Let n be 0 + o/(0 + 2). Is n at least as big as 2?
True
Let m be (-3)/12*88/10. Which is smaller: 1/5 or m?
m
Suppose 4*c - 16 = 0, -2*w + 3*c = w + 36. Let x = 12 + w. Suppose 0*n = -x*n. Is n >= 0?
True
Let j be ((-6)/(-345))/(0 - 2/(-10)). Which is greater: -1/4 or j?
j
Let n(o) = -o + 10. Let p be n(9). Let d be ((-4)/126)/((-1)/p). Is d at most as big as 1?
True
Let m(w) = -w**2 + w + 5. Let c be m(4). Let x(y) = y - 9. Let r be x(5). Let t = r - c. Is 3 less than or equal to t?
True
Let k = 8 - 5. Let l(c) = -3*c**2 + 3*c**2 + k*c**2 + 0*c**2 - 3 - 4*c + c**3. Let j be l(-4). Which is bigger: -2 or j?
-2
Let v be (1 + (-42)/(-43) + -2)/1. Is 1 at least as big as v?
True
Let y = 13 + -9. Suppose -2*h = 5*h + 14. Let w be ((-6)/h)/((-6)/y). Which is smaller: w or -4?
-4
Suppose 5*c + 22 = k, -4*k + 3*c + 20 = -0*c. Let j = 0.13 + -1.03. Let l = j - -1. Are l and k unequal?
True
Let q = 4 + -6. Let h = -2 - q. Let y be 22/(-18) + (-2)/(-9). Which is smaller: h or y?
y
Let p be -1 + -4 + 5 + 0. Is -2/27 at least as big as p?
False
Let a = 15 + -9. Let y(l) = l**3 - 19*l**2 - 19*l - 15. Let c be y(20). Which is greater: a or c?
a
Let k be (-18)/(-76)*48/(-45). Let d be (-1)/(-2)*4/38. Let o = k + d. Which is greater: o or 1?
1
Let g be 16/84*15/10. Let z = 2 + -3. Is g <= z?
False
Let n(o) = o**3 - 3*o**2 + o. Let d be n(2). Let b be (-6)/24*(-1 - d). Which is smaller: -1 or b?
-1
Let s be -1*4/(-12)*-6. Let m be s/(3/((-9)/(-16))). Which is smaller: -1 or m?
-1
Suppose 0*y - 1 = y. Let q(j) = -j**2 - j + 3. Let a be q(0). Let w(r) = r - 3. Let c be w(a). Which is smaller: y or c?
y
Let k be (-8)/(-7)*5/(-4). Is k not equal to -1?
True
Let z = -5 - -7. Suppose 0*d = d + z. Is d at most -3?
False
Let p(h) = h**2 - 2*h - 1. Let c be p(3). Let s be (-13)/5 - c/5. Suppose -4*l - 12 = -q, -3*l = -2*l - 4*q + 18. Are l and s non-equal?
True
Let u = -35 + 26. Are -9 and u nonequal?
False
Suppose -5*y + 224 = 2*j - 721, -4*j = -4*y + 784. Let f = y + -2482/13. Let u be (-1)/2*(-3 - -1). Are f and u equal?
False
Let g = 2/740337 - 2327747/39510305016. Let w = 155514313/693784 - g. Let n = w - 224. Which is bigger: n or 1?
1
Let z = -1.2 - -0.2. Let y = 2.8 - 3. Let l = 0.3 + y. Which is bigger: z or l?
l
Let u = 46 + -47. Which is smaller: 3 or u?
u
Suppose -4*r = -4*g + 48, -14 = -5*g - 2*r + 60. Let t = -10 + g. Let y be (t/(-5))/(9/15). Does 0 = y?
False
Let q = 19/2 + -29/3. Let v(s) be the second derivative of -s**4/6 + s**3/6 - 3*s. Let n be v(1). Which is bigger: n or q?
q
Let t = -3.04 - -0.04. Let j = -2 - t. Let k be 0/((-3 - -2)*-1). Does k = j?
False
Let t be 0/((-2)/(-8) - (-70)/40). Let n be (-1)/2 + (-3)/(-6). Is n greater than or equal to t?
True
Let a be (3*(-4)/24)/3. Suppose -h = h + 2. Which is greater: h or a?
a
Let p = -71 - -425/6. Are -0.1 and p unequal?
True
Let x(y) = -y**3 + 4*y**2 + y + 1. Let j be x(4). Is j at least 3?
True
Let v be (1/2*-1)/(-11). Suppose -240*t + 245*t = 5. Is t at most as big as v?
False
Let g(x) = x - 2. Suppose -4*s = -3*s - 3. Let l be g(s). Let c(u) = u - 1. Let z be c(l). Which is greater: z or -1?
z
Let z be (-349)/1089 + (-1)/(-3). Let k = z + -77003/144837. Let a = 1/19 - k. Which is smaller: a or 1?
a
Let t(b) = b + 6. Let w be t(-6). Which is smaller: 1 or w?
w
Let q = 5 - -1. Let x be 3/6 + (-15)/q. Let b be x - 3/(-6)*6. Which is smaller: b or -2/7?
-2/7
Let b = 2 + -1.9. Let s = 0.6 + b. Let q = s - 1.5. Which is bigger: 0.1 or q?
0.1
Let z = 9 - 10. Let m be -3 + (-11)/(11/30). Let w be (-23)/m + 1/(-3). Do z and w have different values?
True
Suppose 3*z - 33 = 2*y, 2*z + y = 14 + 1. Is 9 at most z?
True
Let q = -2 + 0. Let a(i) = -i + 4. Let d be a(6). Let b be (-3 + 2)/(d/q). Does b = -1?
True
Let q be -1 - (7/(-9))/1. Suppose 0 = 3*w - 0*w + 2*c + 7, -4*w = -2*c. Is q not equal to w?
True
Let d(o) = o**2 + 8*o + 7. Let v be d(-8). Which is bigger: v or -1?
v
Suppose -6*s = -s + 400. Let c be (-2)/(-10) + s/25. Is c smaller than -3?
False
Let w(q) = q**2 + 4*q - 1. Let g = -8 + 3. Let i be w(g). Suppose -i*j + 4 = -3*j. Which is smaller: 5 or j?
j
Let r be (-2 + 3 - -2) + 2. Suppose -5*p = r*w + 10, -p + 4*p + 6 = w. Is p less than -7/6?
True
Let z = -1 - -6. Which is bigger: z or 0.01?
z
Let k(o) = -o**3 + 3*o**2 + 2*o - 1. Let r be k(-1). Let d = 3 + -2. Let h be 2/2 + d/(-1). Which is smaller: r or h?
h
Let a be 0/(-1 + 0) + 994. Let l be (-185)/a - 2/7. Let k = l - 2/71. Is 0.2 at least as big as k?
True
Let a = -0.5 - -1.5. Which is greater: -0.3 or a?
a
Suppose 0 = 2*t - 2*y + 4*y + 8, -20 = 2*t - 4*y. Let m be ((-2)/t)/(3/36). Suppose 2*u - 19 = 4*q - 3*u, q + m*u = 11. Which is smaller: 1/3 or q?
q
Suppose 0*g + 3*g - 5*o - 20 = 0, -g - 12 = 3*o. Are -1 and g equal?
False
Suppose 7*g = -1299 + 354. Which is bigger: -134 or g?
-134
Let p = 11/15 + -2/5. Which is smaller: -0.05 or p?
-0.05
Let l = 0 + 4. Suppose s = l*s + 21. Which is greater: -6 or s?
-6
Let s be 4/(-22) - (-556)/3179. Let x = 883/2312 + s. Let d be 4/2 + (-1)/1. Which is smaller: x or d?
x
Let p(k) = -k**3 + 6*k**2 - 5*k - 3. Let m be p(5). Let u(v) = -v. Let c be u(m). Suppose c*w = 3 - 6. Which is smaller: w or 1/3?
w
Suppose -3*s + 11 = 4*d, 4*d - 2*s + 19 = s. Suppose 2*j + 2*j + 4 = 0. Let q be 2/(-5) - (j + 1). Which is greater: q or d?
q
Let t = 1.9 - 2. Let n = -0.4 - 0.6. Let m = 1.2 + n. Which is smaller: t or m?
t
Suppose 4*f = -2*i + 62, -5*f + 67 + 3 = -5*i. Let q be 4*(2 - f/6). Are -2 and q unequal?
False
Let v(d) = -d**3 - 8*d**2 + 9*d. Let i be v(-9). Which is bigger: i or 1/2?
1/2
Let v(n) = n - 5. Let q be v(0). Let u = -5 - q. Let k = u - -1. Do 1 and k have the same value?
True
Let m = -0.2 + 0.3. Let k = -0.01 + -0.05. Let r = -0.04 + k. Which is bigger: r or m?
m
Suppose -4 = n - 2*k, 0 = -2*n - 0*k - k + 17. Is n at least as big as 5?
True
Let h be (2/3)/(-1 + 21/(-36)). Is -1 <= h?
True
Let n = -20 + 18. Are n and 2 unequal?
True
Let w = -329/10 - -32. Let f = -2702 - -40514/15. Let z = f - w. Is -1 at least z?
False
Let k(h) = -h**3 - h**2 - h + 1. Let z(j) = 2*j**3 + 5*j**2 + j - 3. Let o(y) = -3*k(y) - z(y). Let d be o(2). Is 5 > d?
True
Let m = -23.974 + -0.026. Let v = m + 21. Which is greater: v or 1?
1
Let w be (-2 - -1)*(-2)/2. Is w less than or equal to -2/11?
False
Let t = 0 - 1. Let m = 251/12 - 21. Which is greater: m or t?
m
Let z = 7 - 7.2. Let o = -3 - -4. Let d = o + 0. Is z at least as big as d?
False
Let w = 51 + -257/5. Is 10/9 < w?
False
Let z = -3.6 - -6.6. Which is smaller: z or -1.7?
-1.7
Let o(s) = s**3 + 7*s**2 + 7*s - 11. Let d be o(-5). Which is smaller: d or 24/7?
24/7
Let k = 353/42 + -60/7. Which is bigger: 1 or k?
1
Let o be (-6)/(-9) + (-20)/(-6). Suppose 7*n + 5 = 4*f + 2*n, -o = f + 4*n. Let r be (f + 1)*(-5)/20. Which is bigger: 0 or r?
0
Suppose -t = -2*t. Suppose 18 = -3*m - t. Let d(h) = h + 8. Let q be d(m). Which is greater: 3 or q?
3
Suppose 3*c + 53 = 3*p + 23, -40 = -3*p - 2*c. Suppose -7*q - p = -4*q. Are q and -5 nonequal?
True
Suppose -24*d + 12 = -26*d. Is d less than or equal to -8?
False
Let q(o) = -o**2 + 12*o + 16. Let g be q(10). Does g = 35?
False
Let u be (1 - 20/8)*-6. Which is bigger: 10 or u?
10
Let x = -244/9 + 27. Let k(a) = a - 2. Suppose 4*r = 4*m + 4, 0 = -r - 0*r + 3. Let j be k(m). Which is greater: x or j?
j
Let r be 1/(-3) - 1/(-3). Which is smaller: r or -3/11?
-3/11
Suppose 0 = -2*i - 130 - 32. Is i greater than -81?
False
Let l = -1293/7 - -185. Which is smaller: l or 1?
l
Let p = -2 - -1.8. Let q = -5 + 5. Suppose 2 = 2*a - q*a. Is a less than p?
False
Let q be -6*(2/3)/(-2). Suppose -1 = -q*y