10 = 26. Let k be w/q*2/14. Which is greater: k or 0.1?
0.1
Let q be ((-3)/4)/((-3)/12). Let u = -6 + 7. Do q and u have different values?
True
Suppose -4*b - r = 3*r - 8, -b - 2*r = -4. Suppose b = -5*u - j + 4, -5 = -3*u - j - 1. Which is greater: 3/8 or u?
3/8
Let m = -0.3 - -2.3. Is m at most as big as -7?
False
Let i(b) = -b**2 - 4*b. Let y be i(-3). Let j = y + 2. Which is greater: j or 4?
j
Let j = 20 + -16. Suppose 5*y = 2*t - 7*t - 15, 5*t - 2*y = 6. Suppose v + 1 + j = t. Is -5 at most as big as v?
True
Let a be (-114)/328 - (-1)/4. Let u = a + -54/287. Do u and 2/9 have the same value?
False
Let w = 0.3 + -0.21. Let p = -0.29 + w. Is p at least as big as 9?
False
Suppose 4*u = -2*l - 38, 4*u + l + 28 = u. Is u bigger than -8?
False
Suppose 3*h + s - 12 = 0, -2*h + 0*s + 21 = 5*s. Let u = 72 - 106. Let y be (-1)/h*(-12)/u. Is y at least as big as -1?
True
Let j(t) = t**3 + 4*t**2 + 4*t + 4. Let f be j(-3). Is -1/89 < f?
True
Let c = 100 + -68. Let o be 1 + 1 + c/(-18). Let r be ((-4)/(-2))/(0 + 2). Is r smaller than o?
False
Suppose -7 + 1 = -2*h. Suppose 5*w - 3*t - 24 = -6, -3*w - h*t = -30. Are 7 and w equal?
False
Suppose 3*l + 2*x = 8*l, 0 = -5*l - 5*x. Is -2/133 at least l?
False
Let x = 1.5 - 5.5. Are x and 0 non-equal?
True
Let v = 23 - 23. Which is greater: v or -5/4?
v
Suppose -3*m = -3*t + 7*t, 4*t - m = -16. Let i(q) = -q - 1. Let x be i(t). Let k = -5 + 8. Which is greater: x or k?
k
Let m(z) = -z**3 - 12*z**2 - 20*z - 1. Let o be m(-10). Suppose 3*l - 2 = 4. Let c = l + -5. Does c = o?
False
Let i = 39/16 + -51/80. Which is smaller: 1 or i?
1
Suppose 6*v = 2*v + 40. Let c be 16/10 + (-6)/v. Let k be 2/c*2/(-12). Is 0 less than k?
False
Let g(z) = -z**2 + z + 2. Let o be g(0). Suppose -1 = 5*k + p, 4*k - p - 4 = 3*p. Suppose o*m + m = k. Is m equal to -2?
False
Let a = -0.82 - -1.02. Does a = 2/31?
False
Let t(a) be the first derivative of a**2 - a - 1. Let y be t(1). Let f(r) = 2*r - 2. Let u be f(2). Which is smaller: y or u?
y
Suppose -5*g - 4*p = -0*p + 8, p = -2*g - 2. Which is smaller: g or 5/11?
g
Let k(y) = y**2 - 6*y - 27. Let g be k(9). Which is smaller: g or 4/13?
g
Let k be (0 - 0)*(0 - 1). Suppose -a = y + 2, 2 = -y - 1. Let t be (a/4)/(9/48). Are k and t nonequal?
True
Suppose -2*m = -4 - 4. Suppose m*q - 3*g = 20, g = -5*q + 3*g + 18. Let j be q/(-4) - (-20)/48. Which is smaller: j or 0?
j
Let l(k) = -k**2 + 3*k + 4. Let m be l(5). Let n be (-14)/(-30) + 4/m. Let d = 1.03 - 0.83. Are d and n unequal?
True
Let o = 0 - 0. Let j be o - ((-6)/(-3) - 4). Let g be 0 + -1 + (-10)/(-6). Which is smaller: g or j?
g
Suppose 0 = -3*o - 2*t + 3*t + 11, 4*o + 4*t = -12. Is -1 less than or equal to o?
True
Let a be ((-2)/(-895))/((-2)/10). Which is bigger: -1 or a?
a
Let r(p) = p**3 - 9*p**2 - p + 5. Let t be r(9). Let q be 29/9 + t/18. Suppose 0 = 2*j - q*j + 4. Is 2 at least j?
False
Let x be ((-4)/(-5))/(4/10). Suppose -1 = -8*l + 7*l. Are x and l unequal?
True
Let r be 1*-2*1/(-2). Let b = -7 + 16. Suppose -r = -4*o - b. Which is smaller: o or 1?
o
Suppose 0 = -5*q + 2*q. Let u(l) = 6*l**3 - l**2 + l - 1. Let x be u(1). Suppose 2*j + p - 6*p + 20 = q, -3*j = x*p - 20. Which is bigger: 3/4 or j?
3/4
Suppose 27 = 2*h - 3*k - 17, k + 97 = 5*h. Is h less than 0?
False
Suppose 0 = 2*t + 7 - 43. Suppose -3*g + t = -f, 3 = -f - 0*f. Is g > 2?
True
Let o = -0.161 - -0.012. Let l = -3.199 - o. Let k = l + 0.05. Is k greater than or equal to -1/4?
False
Let a = -0.62 - -0.52. Which is greater: a or -26?
a
Let m = 21 + -20. Which is smaller: 2/39 or m?
2/39
Let t(q) = -q - 4. Let f be t(-5). Let d = 1/56 + 1/8. Which is greater: f or d?
f
Suppose d + 0 - 2 = 0. Suppose -d*b = 2*b + 2*f, -f + 8 = -2*b. Are -2 and b nonequal?
False
Suppose 4*v + 0*p = -5*p - 10, 0 = 2*v + 3*p + 6. Are -3/4 and v unequal?
True
Let s be 308/(-595) + (-4)/(-10). Let j = s - 3/119. Let i(f) = -f**2 - 6*f - 6. Let m be i(-5). Which is smaller: j or m?
m
Let c(b) = -b**2 - 3*b - 2. Suppose -4*w - 10 = w. Let o be c(w). Let m = -1/142 + 289/710. Which is bigger: m or o?
m
Suppose -5*o = o + 18. Is o at least as big as -1?
False
Let w be ((-48)/40)/((-6)/10). Is 1 at least w?
False
Suppose -q = q + 4. Which is smaller: q or -4/3?
q
Let w = 212.7 + -222. Let p = w + 9. Let z = 0.1 - 0.1. Which is bigger: p or z?
z
Let c = -3 - -3. Let z = c - 1. Which is smaller: z or -4?
-4
Let y = 107/165 + 1/55. Are -2/5 and y equal?
False
Suppose 4*d = -5*x + 15, -3*x - d + 10 = -8*x. Let n be (x/5)/((-3)/15). Is 4/11 != n?
True
Let y = 0 - -0.1. Let l = y - 0.1. Which is bigger: 0.2 or l?
0.2
Let c(o) = -o**2 + 8*o + 2. Let m be c(8). Let i = 0.01 + 0.29. Let s = -0.1 + i. Which is bigger: m or s?
m
Let j be 21/24 + (-2)/(-16). Let o be (-32)/40 - 2/10. Which is bigger: o or j?
j
Let h = -6.1 - -1.1. Let p = h + 5.2. Let t = -0.8 - p. Which is smaller: t or -2/3?
t
Let f = 26 + -28. Which is smaller: f or -4?
-4
Suppose 7*h - 3 = 4*h. Suppose 5*q - 6 = -h. Which is smaller: q or 0?
0
Let r(k) = -k**3 - 13*k**2 + 15*k + 18. Let s be r(-14). Is s < 11/3?
False
Let n = 8 + -4. Let q be 0 - ((-24)/39)/n. Is q greater than -1?
True
Let i be (-1)/2*0 - 0. Let b be (3/((-9)/6))/2. Let q = b - 0. Is i smaller than q?
False
Let g = 3.7 - 2. Let x = 0.3 + g. Let n = 488/7 + -70. Is x greater than or equal to n?
True
Let s(u) = -u**3 - 7*u**2 - 6*u + 5. Let y be -4*2*3/4. Let c be s(y). Suppose -f - 2 = -v - 3*f, 2*v = c*f - 14. Is -2 not equal to v?
False
Suppose -2*q = -5*q - 3. Is -1 >= q?
True
Let h be (-9 + 9 + 0)/(1*-2). Which is greater: 2/275 or h?
2/275
Let w(f) = -f + 1. Let d be w(7). Suppose 11*b = -5 - 61. Is b at least d?
True
Let r = -18/5 + 188/55. Let b(p) = -p**2 + 5*p + 8. Let y be b(6). Suppose g - 23 = 3*q - 4*g, -y*q = 5*g - 18. Which is smaller: q or r?
q
Suppose -22 = -0*i - 2*i. Let s be 9/11 + 2/i. Let l be 1/(-2)*2/5. Is s < l?
False
Suppose -3*m + 6 = -0*m. Let a be (0 + -2 - -3)*0. Which is smaller: a or m?
a
Let f = -44/15 - -427/120. Which is bigger: f or 2?
2
Let j(f) = f**2 - 2*f. Let y be j(5). Let a be ((-12)/y)/((-3)/15). Let w = 0 + 3. Which is bigger: a or w?
a
Let u(t) = -t**3 - 6*t**2 + 8*t + 6. Let y = -3 - -4. Suppose 41 = -3*f + 4*m, -3*f - 3*m - 5 - y = 0. Let a be u(f). Which is smaller: a or 1/10?
a
Let d = 35 - 36. Let c be -4*5/(-11) + -2. Is d > c?
False
Let s be 1*2*4*(-21)/112. Which is bigger: 7/5 or s?
7/5
Let z = -0.6 - -1. Let b = 0.064 - 2.064. Which is bigger: b or z?
z
Let p = 1.1 + 0.2. Let o = p + -0.3. Let w(k) = k**2 - 6*k. Let f be w(6). Which is bigger: f or o?
o
Suppose 3*i - 60 = 3*g, 6*i + 22 = -2*g + 2*i. Let o = g - -9. Let z = o + 9. Which is greater: -1/5 or z?
z
Suppose -z = -0*z + 18. Let a be (9/z)/(2/8). Do -4/7 and a have different values?
True
Let h(m) = -m - 1. Let n be h(-2). Is -1 smaller than n?
True
Let f(p) = p**2 + p. Let k be f(-1). Let i = 91/4 + -23. Which is bigger: k or i?
k
Suppose 2*c + 112 = 4*j, -8*j + 3*j + 5*c = -140. Let m = -24 + j. Is m > 5?
False
Let p = -10 + 4. Let m be 20/(-9) - p/27. Let b be ((-3)/12)/(-1)*m. Which is smaller: 0.6 or b?
b
Let h = 26 - 187/7. Are -1 and h equal?
False
Let d = -4 - -4. Let i = d - 1. Suppose -1 - 7 = -4*k + y, 2*k + 4*y = 4. Is k at most as big as i?
False
Let z(h) = h + 6. Let m(i) = 2*i + 13. Let y(a) = -2*m(a) + 5*z(a). Let f be y(-5). Let j be (-1)/2 + 2/4. Which is smaller: f or j?
f
Let s = -38 + 38.02. Which is smaller: s or 0.2?
s
Suppose 4*r + r - 19 = 2*x, -5*r + 23 = -4*x. Suppose r*z = -z. Suppose -l + 4*l + 3 = z. Is l at most as big as -1?
True
Suppose -5*i = -46 - 9. Suppose l - 4*a = -18 + 2, -l + 3*a = i. Which is bigger: 2 or l?
l
Suppose 2*u - 57 = -17. Is u >= 19?
True
Let c be 2/7 - (-232)/(-28). Let w be (18/8)/((-10)/c). Are 3 and w non-equal?
True
Let w = -31 + 30. Let k = 41/385 + 2/55. Is k greater than or equal to w?
True
Let v be 7 + 6/(3 + -6). Is 5 bigger than v?
False
Let n(r) = -12*r - 139. Let j be n(-12). Suppose w - 19 = -4*p, -5*w + 28 = 4*p - 3. Which is smaller: p or j?
p
Suppose 3*i + 41 + 106 = 0. Which is smaller: i or -48?
i
Let p be 11 + -8 + 0 + 106/(-34). Is -1 <= p?
True
Let r be (-10)/(-5)*1/2. Suppose b = 2*b - r. Which is smaller: b or 1/7?
1/7
Let r = 1/10 + 3/10. Which is smaller: -11 or 