?
0
Let r(d) = d + 10. Let v be r(-7). Suppose -12 = -v*i - i. Suppose 4 - 1 = a. Is i bigger than a?
False
Let n = 177 + -6193/35. Let l = 2 + -3. Which is greater: l or n?
n
Suppose 2*h - z - 8 = -1, 5*h = 2*z + 16. Suppose -a + 1 = h. Which is greater: -4/11 or a?
-4/11
Let w(s) = s**2 + 6*s + 6. Let z be w(-4). Let r = 8 - -10. Let m be (-48)/r + 2 + 0. Do m and z have different values?
True
Let z be 1 + 0 - 10/14. Let i be (18/(-30))/((-54)/(-116)). Let y = i + 8/9. Is z less than or equal to y?
False
Let k(v) = -3*v**2 - 6*v - 5. Let o be k(-2). Is o bigger than 4?
False
Let n(m) = -2*m - 3. Let t be n(-3). Let h be 1/4*2 - (-77)/22. Which is greater: h or t?
h
Let c be ((-19)/(-18))/(10/3). Let h = c + -1/15. Which is greater: 0 or h?
h
Let z = 20 - 17. Is 0 > z?
False
Suppose -3*r + 40 = 4*z - 87, -5*z + 4*r + 120 = 0. Let w be 60/(-14) + 8/z. Are -5 and w equal?
False
Suppose -1 = r, r - 86 = 4*m - r. Let d be (-15)/m + 4/(-22). Let b = -5.05 - -0.05. Is b greater than d?
False
Let w(i) = 2*i + 5. Let r(t) = -t. Let x(g) = 4*r(g) + w(g). Let y be x(6). Is -8 smaller than y?
True
Suppose -1 = 2*n - u, -2*n + 15 = 2*u + 1. Let l be 8/(-28) - 23/(-7). Is l greater than n?
True
Let w be 0 - (14 + -2 - 2). Let q be 1*w/4 + 1. Suppose 6*d - 8*d - 15 = 3*r, 3*r + 24 = -5*d. Is d > q?
False
Let u(l) = -l - 3. Let h be u(-5). Suppose -h*q - 2*q = 0. Let p = -8 - -5. Which is greater: p or q?
q
Let t = -192.97 - -192. Let i = t - 0.03. Which is smaller: i or -3?
-3
Let o = -6 + 2. Let z = o - -4.4. Let w = z - 0.5. Which is greater: w or 1/7?
1/7
Let b be (-36)/(-234) - 15/13. Suppose 3*o - 6*o = -15. Suppose -o*d + 0*d = 0. Is b less than or equal to d?
True
Let m be 1/(-1) - 0/2. Let w be (0 - 6/(-8))/3. Which is bigger: w or m?
w
Let l = -56 + 115/2. Let y be -1*1 - (5 - 8). Let i be y*1/(-4)*-6. Which is smaller: l or i?
l
Let j(s) = -s - 4. Let l be j(-4). Suppose -d + 3 + 4 = l. Is 7 at most d?
True
Suppose 6*o - r + 101 = o, 0 = -4*o - 4*r - 76. Let y = o - -17. Is y greater than or equal to -2?
False
Let b = 134/3 - 2279/51. Are -1 and b equal?
False
Suppose -3 = -0*p - 3*p. Suppose 2*l + p = l. Is l at least -1/13?
False
Let q = 6 - -3. Let d(a) = a**2 - 9*a - 1. Let z be d(q). Which is smaller: -2/7 or z?
z
Let s be (6 - 8)*1/(-22). Is s greater than -1?
True
Suppose -a = 2*q - 17, 3*q - 5*a + 3*a = 8. Let d be q - (-2 + 4 + 0). Let n be (d - 2) + -1 - 2. Which is smaller: -2 or n?
-2
Suppose -9 = -7*f - 2. Which is bigger: f or -4?
f
Let b = -2/5 - -7/15. Let g(d) = d**2 + 8*d + 15. Let p be g(-3). Are p and b unequal?
True
Let z = 0 - -2. Suppose z*b - 2 = 6. Suppose 0 = -3*o - 2*r - 5, 9*o + 10 = b*o - 5*r. Which is smaller: -1/13 or o?
o
Suppose -9 = 2*o - 3*o. Let k(y) = -y + 8. Let g be k(o). Let d be 2/6 - (-28)/(-30). Which is smaller: g or d?
g
Let r(d) = -d**3 + 3*d**2 + 3*d - 2. Let p be r(4). Let s(f) = f**2 + 7*f + 8. Let v be s(p). Are v and 3/2 unequal?
True
Let u be (5 - 79)/(21138/(-15)). Let b = u - 1/813. Is b smaller than 0?
False
Suppose 1 = 6*m + 7. Which is bigger: m or -7/3?
m
Let x = 5 + -5.15. Let r = 0.09 + x. Which is bigger: r or -0.1?
r
Suppose 0 = -f + 5*z + 24, 0 = -4*f - f + z. Let b = 2 - f. Suppose 0 = -4*p + w + 8, -4*p - 12 + 28 = w. Is p <= b?
True
Suppose -5*w = -4*w - 4. Suppose -2*a = 3*m - 5 - 3, 0 = -3*m + w*a + 20. Which is smaller: -2/3 or m?
-2/3
Suppose -2*l + i + 88 = 17, -4*i = 3*l - 79. Suppose -q - 3*q = w - 24, -5*q - 2*w + l = 0. Suppose 3*n - 3 = m, 3*n + 7 = q*m - 2. Is 1 >= m?
False
Let g be (-30)/(-8) + (-4)/(-16). Suppose -5*l + q = -l - 13, 5*l + 5*q = 10. Let c be -2 + l - -1*g. Which is smaller: c or 4?
4
Suppose 9 = j + 2. Suppose 7 + j = -4*l - 2*s, -4*l - 19 = 3*s. Is -2/41 at most l?
False
Let i = 13 + -15. Let v be (1/2)/((-6)/i). Which is smaller: v or 0.2?
v
Let j be (-4)/6*(-12)/(-1). Let w be 1/(-3) - 20/3. Are j and w nonequal?
True
Let c = -2 - -1. Let y = -5 + c. Is y at least 2?
False
Suppose -2*z + 3*v = -16, -4*z + 15 + 1 = 2*v. Suppose -3*u + 9 = 3*m, m + 4*u - z*u = 1. Let w = 0.12 - 0.02. Which is smaller: w or m?
w
Suppose 6*w - w = 3*a - 12, -2*a + w + 8 = 0. Let k = 174 - 244. Let p be a/(-10) + 7/k. Which is greater: p or 0?
0
Suppose -4*c + 2*c + 2*t = -18, -2*c = 3*t + 7. Suppose 5 = -c*x + 17, 2*x + 19 = 5*h. Is 7/2 equal to h?
False
Let u be (-3)/(-5) - (-438)/(-30). Let r = -10 - u. Are 4 and r nonequal?
False
Let p = -40/111 + 1/37. Let g = -452.91 - -453. Which is greater: g or p?
g
Let c = 14 - 16. Is -9/4 greater than or equal to c?
False
Let i = -0.13 + 0.03. Which is smaller: -0.03 or i?
i
Let r be (1 - 4)/(13 + -12). Let t be (-22)/12 - 1/(-3). Which is greater: r or t?
t
Suppose 2*g + 5*w = 101, -47 = -g - w + 2*w. Suppose -2*z + 6*z = g. Let b be (-1)/(-6) + (-2)/z. Which is greater: b or 0.1?
0.1
Let n = -8 + 16. Let c = 10 - n. Which is greater: -1 or c?
c
Let x = -5 + 5.1. Let q = 0.7 - x. Let m = 0.3 - q. Do 0.1 and m have the same value?
False
Let w = -6.8 - -6.7. Is -26 smaller than w?
True
Let y(s) = 10*s + 1. Let i be y(-1). Let a = i + 15. Which is smaller: 7 or a?
a
Suppose -11 = -4*m - 3. Let f be -2*(-1 + m/(-4)). Suppose -f*i = -0*z + z + 15, 5 = -i. Is z bigger than 0?
False
Suppose -4*s - 6 + 34 = 0. Let z(r) = r**3 + 8*r**2 - 10*r + 1. Let y be z(-9). Let q = s - y. Is 1 smaller than q?
False
Let s be 0/(-1) + -6 + (5 - -2). Which is smaller: -1 or s?
-1
Suppose 10*n = -80 + 90. Let q be (-4)/2 + (-1 - -2). Is n > q?
True
Suppose 5*z = -3*h + 43, 5*z + 3 = 2*h + 16. Suppose -2 + h = 4*j. Suppose 0 = 2*b - j - 1. Is b smaller than 1/11?
False
Suppose -7 = 3*a + 5*d + 32, -3*a - 2*d - 39 = 0. Are a and -14 unequal?
True
Let w = 6 + -5. Let g be (-49)/(-7)*1*-1. Let q be (-1 - -1)/(g - -5). Is q not equal to w?
True
Let l(n) = -7*n**3 - 2*n**2 - n + 2. Let p be l(2). Let v = p + 446/7. Let u = -0.1 + 0. Which is bigger: u or v?
u
Let z(l) = -l**3 - 7*l**2 - 6*l + 6. Let i be z(-6). Is 4 less than or equal to i?
True
Let o be 2 - (0 + 1)*1. Let w = 507/568 + -5/284. Is w smaller than o?
True
Suppose -5*s + 2 = 5*t - 13, 4*s - 16 = 0. Let y = -4/63 + -181/126. Which is smaller: t or y?
y
Suppose 59 = 4*n - 3*o, n + 0*n = 4*o + 31. Which is smaller: 10 or n?
10
Let m be -29 + -9 + (-1)/3. Let j = m - -2651/69. Which is smaller: j or 0?
0
Suppose 5 = -5*x + 15. Suppose -f = -4*u - 1 + 13, -x*u - 4 = -3*f. Suppose a - 4 = 0, -f*a = -2*h + 4*h - 22. Which is bigger: h or 4?
4
Let i be 2 - (-70)/(-22) - -1. Suppose -4*q = -2*v + 4, -q - 2*v - 1 = -0*v. Which is smaller: q or i?
q
Let s = 13 + -14.4. Which is smaller: 0 or s?
s
Let p(q) = 2*q**3 + 3*q**2 + 3*q. Let i be p(-2). Let m be 6/(-24) - 78/8. Do m and i have different values?
False
Let l = -5.8 + 6. Let t = l - 0. Let j = t + -0.6. Which is smaller: j or 1?
j
Let m = 22 - 24. Which is greater: m or 0?
0
Let v be (1 - -1)*(-6)/4. Which is smaller: v or -2?
v
Suppose 7*l = 34*l - 54. Let s be ((-8)/(-6))/(4/6). Let x be (-2 - -2)/(s/2). Which is bigger: l or x?
l
Let h(u) = -u**2 - 3*u + 4. Let t be h(-5). Let y be 2/(-4) + t/(-4). Does y = -1/4?
False
Let d = 971/2632 - -2/329. Is d > 1?
False
Let p(w) = 3*w - 11. Let v be p(6). Is 4 smaller than v?
True
Let h = 72533/38 - 1909. Let x = h - -139/266. Suppose -15*l = -14*l - 1. Is x >= l?
False
Let k = 591 - 2993/5. Which is smaller: -8 or k?
-8
Let y = 1.69 - 6.69. Is y > 10?
False
Suppose -5*h + 17 = 2*y, 3*y + 3*h + 0*h - 12 = 0. Which is smaller: 7/4 or y?
y
Let b be (-1553)/(-3) + (-2)/(-6). Let w be (-2)/7 + 260/b. Let s = w - 178/481. Are 1 and s nonequal?
True
Let u(o) = 4*o**2 + 4*o + 3. Let a be u(-2). Suppose f = a - 5. Suppose -2*d + 6 = -d. Is f <= d?
True
Let p(h) = 3*h - 32. Let u be p(8). Is 0 <= u?
False
Let f = -81 - -98. Is f at least 0.1?
True
Suppose o + 3 - 2 = 0. Let m = 9 - 15. Let a = 6 + m. Does o = a?
False
Suppose -2*n - 20 = -k, -2*n - 26 = -2*k - 10. Do n and -12 have the same value?
True
Let p be 4/(-3 - 11/(-3)). Is p equal to 39/8?
False
Let o(j) = -j**2 - 8*j + 10. Let p be o(-9). Let x = 7 - 6. Is p bigger than x?
False
Let b = 15 + -5. Let t be b*5/(25/(-2)). Let z = 0 + -3. Which is greater: z or t?
z
Let p = 230/11 - 3912/187. Let k = 20/187 - p. Suppose -3*o = -o - 2. Which is bigger: