-4 + 4 - (1 + 0). Is j <= t?
True
Let m = 0.023 - 3.053. Let i = 0.03 + m. Is -2 at least as big as i?
True
Let c = -0.97 + 13.67. Let j = c + -13. Do 1/5 and j have the same value?
False
Let z be (12/(-3 + 0))/1. Let b be 136/48 + (-6)/z. Which is smaller: 4 or b?
4
Suppose 5*l + 65 = -5*f + 15, 0 = 4*f + 2*l + 32. Let g be f/(-10)*(-8)/12. Let v(j) = -j**3. Let z be v(1). Which is bigger: z or g?
g
Let p = -28 - -28.5. Is -0.1 at most p?
True
Suppose 0 = -3*w - 0*w. Let k = -30.96 + 29. Let y = 0.04 - k. Is y not equal to w?
True
Let b = 4 - -2. Suppose 5*m + 35 = 3*c + 7, -2*m = 4*c + b. Suppose -o = -8*w + 4*w - 20, 3*o = -3*w. Which is smaller: w or m?
m
Let b be 48/(-36) + 100/66. Which is bigger: 1/37 or b?
b
Let d = -0.16 + 0.14. Let o = -0.18 + d. Let l = -0.5 - 1.5. Which is smaller: o or l?
l
Let v be (-15)/4 + (-9)/36. Let m be ((-15)/v + -3)/3. Which is smaller: m or 0?
0
Let w be 5*(-1)/2*2. Let s be ((-5)/9)/(w/15). Are s and 1 nonequal?
True
Let g = 3.97 - -0.03. Let j = -4 + g. Let t = j + 3. Which is greater: t or -2/5?
t
Let o = 0.6 + 14.2. Let r = -15 + o. Is 5 not equal to r?
True
Let v = -2 - -3. Let k = v - 1.1. Is k > -2/11?
True
Let q = 16 + -16. Which is smaller: 2 or q?
q
Let r = -5.2 - -1.2. Let w = r + 4. Let p = -3 + 1. Which is smaller: w or p?
p
Let w = 0.3 + -6.3. Let y = w - -6.3. Which is smaller: -1 or y?
-1
Let p = -181 - -174. Is -8 != p?
True
Let w = 112 + -111. Let h = 8.6 + -8. Let f = h - -2.4. Is f != w?
True
Let w be (-2)/2*(-16)/4. Suppose -8 - 8 = w*f, -5*b + 2*f + 28 = 0. Suppose 3*k + k = b. Is k bigger than 4?
False
Let b = -5 + 7. Let x be (-8)/3 - 2/(-3). Let j be 6*1*x/(-16). Which is bigger: j or b?
b
Suppose 0 = 5*b, 5*j - b + 80 = b. Let u be 44/j + (-2 - -5). Do u and 2 have the same value?
False
Let q = -757/6 - -129. Let v = q - 10/3. Let p = -7 + 5. Which is smaller: v or p?
p
Let p be -1*3*(-6 - -8). Let z = -2 - p. Let a = z + -6. Which is smaller: -1 or a?
a
Let j(s) = -s**2 + 10*s - 12. Let w be j(5). Which is bigger: w or 14?
14
Suppose 2*x + 3*x + 10 = 0. Let q be x + 1*(2 - 0). Let t(s) = -s**2 + s + 2. Let y be t(q). Which is bigger: y or 3?
3
Let z = -32 - -25.94. Let f = 6 + z. Is 1 at most f?
False
Let n(q) = -q + 7. Let a be n(0). Let y(f) = -f**3 + 6*f**2 + 7*f + 2. Let i be y(a). Suppose i*v + 3 = -1. Are v and -1 unequal?
True
Suppose 0 = -4*g + 8 + 4. Suppose 2*f = g*f. Which is bigger: 1 or f?
1
Let y = 72 - 133/2. Which is smaller: y or 7?
y
Let x = 0.2 + 2.8. Let c = x - 3.04. Does c = -0.1?
False
Let o = -15 - -43/3. Is o equal to 19?
False
Let u = 0 + 2. Which is bigger: 1 or u?
u
Let t = -0.05 + -0.35. Let z = -2.03 + 0.03. Is t >= z?
True
Let m = 5/44 + 23/572. Suppose 0 = 6*q - q. Is m smaller than q?
False
Let z be (-2 + (-19)/(-2))*2. Let l = -83 - z. Let i be l/63 - -1*2. Is i smaller than 1?
True
Suppose -5*y - 21 = -1. Let h(l) be the third derivative of -l**4/12 - 17*l**3/6 - 6*l**2. Let s be h(-7). Which is smaller: s or y?
y
Let f = 2785/11 - 253. Let m = -4 + 4.4. Let b = m + -0.3. Which is bigger: b or f?
f
Let u = -269 - -269.4. Let i = -4 - -3.7. Is i >= u?
False
Let z be 3/(-2)*(3 + -1). Let b(l) = l**2 + l - 1. Let w be b(z). Suppose -32 = -4*k + 4*t, 0 = -5*k - 4*t + t + 8. Which is smaller: w or k?
k
Suppose -4*r + 16 = -0. Let w = r - -2. Suppose 2*k - 3 = -q + 3*k, -3*q = -5*k - 3. Is w less than q?
False
Suppose -5*p + 4*d - 11 = 0, p - 4 = 2*p + d. Let s be (-79)/7 - (-10)/35. Let l be (-80)/198 + (-2)/s. Is l less than p?
False
Let n(c) = -c**2 + 8*c - 7. Let i be n(7). Let s(r) = r**2 + 7*r - 5. Let w be s(-5). Let a be ((-5)/w)/((-2)/2). Which is greater: a or i?
i
Let y = -1 + 0.95. Let d = -2.05 - y. Is -2/3 at least d?
True
Suppose -5*z - 14 = 21. Let c = z - -5. Let p(b) = -2*b - 26. Let s be p(-12). Is s at most as big as c?
True
Suppose 2*c + 2*v + v - 29 = 0, 3*v + 6 = 3*c. Let h(z) = 2*z - 6. Let q be h(c). Is 6 > q?
False
Let u = -16 + 20. Which is smaller: 5 or u?
u
Suppose 0 = -2*x + 5*y - 0*y - 13, 4*y = 5*x + 7. Let b be (x - 1)/(-2 - -1). Let o = 3 + b. Is o less than 1?
False
Suppose -3*s - 15 = 5*b, -3*b - 5 = -2*s + 3*s. Suppose -t + 1 = 4*m, 0 = -0*t + 2*t + 6. Is m less than or equal to b?
False
Suppose j + 1 = -u, -4*j + 5*j = 4*u - 26. Let i be (-6)/10 - j/(-15). Let s be 16/(-168)*(-6)/10. Is s > i?
True
Let m = 389/9 + -43. Let o(q) = q - 2. Let n be o(4). Let g be n/(3*(-4)/6). Which is smaller: g or m?
g
Suppose 7*q - 8*q + 2 = 0. Let f = 7 - 4. Which is smaller: f or q?
q
Let k be (-9)/(6/(-2) + 4). Let w be (k/6)/(0 - 1). Let s be -1 - -3*1*1. Which is greater: w or s?
s
Let m = 3 + 0. Suppose -m*s - 3*k - 26 = -k, -3*k = -2*s. Is s equal to -7?
False
Let a = -3.03 - -0.03. Let x = 7 + -4. Let g = a + x. Are g and -2 non-equal?
True
Let f = -27 - -186/7. Suppose -a - 2*a = -15. Suppose 4 = 2*p + 2*g, -p - 16 = -3*p - a*g. Which is greater: f or p?
f
Suppose -2*n - 4 = 2. Let m = -3 + 6. Suppose m*c + 5 = 2. Are n and c nonequal?
True
Suppose 0 = -i + 1, i = 4*h - 2*i + 7. Let z(t) = t + 4. Let v be z(-2). Which is bigger: v or h?
v
Let h = 0 - 0.2. Let r = 3454739/94 + -36752. Let l = r - 2/47. Does l = h?
False
Suppose 2*v - 18*v = -80. Is 5 bigger than v?
False
Suppose 3*o - 16 = q, -q - 3*o = -8*o + 20. Let x = -5 - q. Let c(w) = -w**2 - 6*w + 4. Let b be c(-6). Which is greater: b or x?
x
Let p(a) = -a**3 + 7*a**2 - 5*a - 4. Let r be p(6). Let z = -1 + r. Let y be z - 6/9*1. Which is greater: -2/9 or y?
y
Let i = -32.9 - -33. Is i < 3/8?
True
Let r = 912/13 - 70. Let n = 4 + -5. Let h be (2/(-6))/(n/3). Is r greater than h?
False
Let j = 1327 + -14611/11. Which is smaller: -2 or j?
-2
Let o be ((-292)/(-25))/(-4) - -3. Suppose f - 5 = -0*f, 5 = -4*y + f. Is o not equal to y?
True
Let y be (3/2)/(-3)*0/(-8). Let z = -22944/2045 - -8/409. Let v = z + 11. Which is bigger: v or y?
y
Let q = 847 + -449. Let p = q - 7564/19. Is 0 < p?
False
Let g be ((-2)/4 + -1)*(-2)/7. Let i = 0.9 + -1. Is i > g?
False
Let l(t) = -3*t**3 - 5*t**2 + 4*t - 7. Let n(u) = -u**3. Let g(k) = l(k) - 2*n(k). Let q be g(-6). Suppose -31 = -3*a + q*d, -21 = -3*a + 2*d + d. Is a > 3?
False
Suppose -7 = 4*u - 87. Let m be 6/15*u*1. Do 8 and m have the same value?
True
Let g be (4/(-10))/(6/(-150)). Let v be 2/g - 6/5. Is 0.9 at least as big as v?
True
Let n = -3 - -4. Which is greater: 4 or n?
4
Suppose -2*x + 2 = 5*v - 4*x, -4 = 4*x. Let s = v + -7. Which is greater: s or -5?
-5
Let s = 0.1 - 0.1. Let b = 23.95 - 23. Let g = 0.05 + b. Which is smaller: g or s?
s
Suppose 5 = 3*h + 2*h. Let j = -1 + h. Which is smaller: 1/3 or j?
j
Let w = -10 - -15. Suppose -2*a = l - 7, -5*l = -a - 13 - 11. Suppose 29 = l*r + m, -3 = -r - 5*m + 22. Are w and r unequal?
False
Suppose -6*z = -3*z - 3. Suppose k + 4*n + 6 = n, 0 = k - 4*n - z. Let j = k - -4. Which is smaller: j or 4/7?
4/7
Let y(d) = -d**2 + d. Let l be y(1). Suppose 0 = -l*r + r - 3. Let k be 2/r - (-14)/6. Is 3 equal to k?
True
Let l = -101737/5 - -20264. Let h = -84 - l. Is -1 at most as big as h?
True
Let a = -22.1 - -22. Is a != -9/5?
True
Suppose -p = 25 - 9. Let w = 15 + p. Let g = -10/23 + 4/115. Which is smaller: g or w?
w
Let z be (-2 + (-3 - 0))/1. Suppose 3*n - 5*n - 12 = 0. Is z less than n?
False
Let b be (2 - (-48)/(-20))*-10. Suppose -o + 0*o = 0. Suppose -3*s + k = -8, -4*k = 5*s - o*k - 36. Is b greater than s?
False
Let d = 11 - 4. Let i(f) = f - 16. Let s be i(d). Which is smaller: -10 or s?
-10
Suppose 0 = 10*c + c - 55. Does 8 = c?
False
Let z be 2/5 + 8/5. Let c = 24 + -23. Let d be (-3)/(-12) - c/4. Is z bigger than d?
True
Let u = 7.7 - 8. Let l = -0.3 - u. Let z = 0.2 + l. Is z <= 1?
True
Let i = -30 - -21. Is -11 greater than or equal to i?
False
Let w be 10/(-4) - -1 - 21/(-10). Let j(l) = -l**2 + 5*l + 7. Suppose i - 5*a = 31, -4*i + 3*a + 39 = -0*a. Let b be j(i). Which is bigger: w or b?
b
Let w be -1 + (1 - -1) + -23. Let j = 141 - 163. Are j and w equal?
True
Let b = -13 - -8. Let d be 12/15*b/(-2). Do 2 and d have the same value?
True
Let j = 0.36 - 0.36. Which is greater: j or -2/77?
j
Let y = -2 + -1. Let r be (-51)/(-21) + 0 + y. Let x = -2 + 1. Which is greater: r or x?
r
Let o be (-9)/(-174)*4/(-3). Are 1 and o unequal?
True
Let y = 2773/2146 + -65/