t o = u - m. Which is smaller: o or -0.3?
-0.3
Let x = 26 + -32. Let q = 1 - 1. Let s = q + x. Which is bigger: s or 0?
0
Let x be -2*3/6 - (-12)/16. Suppose 1 = -2*w - 3. Let v be (-32)/(-63) - w/(-9). Is v at most as big as x?
False
Let b be 28/(-336)*(-32)/(-18). Which is smaller: 0 or b?
b
Let t = 16 + -289/18. Suppose -4*y + 1 + 3 = 0. Let w = y - 1. Is w greater than or equal to t?
True
Suppose 1 = 2*o + 9. Let k = o - 0. Let j = k - -17/4. Are -1 and j nonequal?
True
Let m = 0.4 - 0.7. Let b = -0.7 + m. Let o = 4 - 1. Is b < o?
True
Suppose 5*v - 3*o = -0*o - 11, 6 = 2*v + 4*o. Let q = -28/99 + -152/99. Let r = q - -38/33. Which is smaller: v or r?
v
Let c = 0.4 - -0.6. Let w = -0.32 - -0.02. Which is smaller: c or w?
w
Suppose -8*m + 5*m = 3. Which is bigger: -3/10 or m?
-3/10
Let b = 23/30 + -3/5. Is b at least as big as -2/7?
True
Let l be ((-6)/14)/(18/12). Let c(g) = -2*g**2 + 6*g - 7. Let q be c(5). Let i be 21/q + 2/(-9). Does i = l?
False
Let o be 10/14 - (-2)/7. Let f be 3 - (4 + o - 3). Let w = -12/91 + -1/91. Is w at least as big as f?
False
Let m be (10 - 11)*0/2. Let c be (m - 1)/(2/6). Which is bigger: -4 or c?
c
Let n = 5 + -3. Let c be (-6)/(-4)*(4 - n). Let q = -44 - -44.1. Is c bigger than q?
True
Suppose -2*x - 6 - 4 = 0. Let c(o) = -o - 6. Let k be c(x). Let q = k - -2. Which is bigger: q or -1?
q
Let v = -0.5 + 0.9. Let j = 0.2 - v. Is j >= -2/5?
True
Suppose a + 4*z + 0*z + 20 = 0, 5*a + 5*z = -25. Suppose a = -t + 2*v + 13, -t - 27 = -4*t + 3*v. Suppose 10*g = t*g + 5. Are g and 2 non-equal?
True
Let r = -5 + 3. Let z be 1/r*(-4)/6. Suppose 0 = 3*b + b. Which is smaller: z or b?
b
Let d(p) = -15*p**2 + 1. Let s be d(-1). Let o be (30/(-105))/((-6)/s). Let z be -1 - (2 - (-14)/(-4)). Is z greater than o?
True
Suppose 0 = 5*t + 14 - 9. Which is greater: -1/10 or t?
-1/10
Let d(v) = -v**3 + 10*v**2. Let a be d(10). Which is smaller: a or 4?
a
Let m = -73 + 29. Which is bigger: 1 or m?
1
Let j = 1 + -2. Let c be (-399)/9 - (-1)/3. Let o be 12/c*(-4)/(-6). Which is greater: j or o?
o
Let t be 3/(-4) - (-2)/4. Let y = -15 + 30. Suppose -y = -5*x, 7 = 3*v - v + 3*x. Is t != v?
True
Let c = 2 + -1. Let f be 0/(c - 0) + 12. Let j = f + -17. Is j bigger than -5?
False
Let j be 3/(-7)*(-28)/(-8). Is j bigger than -2?
True
Let z be 1/2 - (1 + -1). Let o = -9 - -9. Is z at most o?
False
Let w = -162/13 + 3752/299. Is w < -2?
False
Suppose -3*m + 5*m - 4 = 4*c, 0 = -c + 2*m + 5. Which is bigger: 0 or c?
0
Let z = 2528/11 - 230. Is 20 greater than or equal to z?
True
Suppose 0 = 5*i + 20, -2*w + 3*w = 3*i + 12. Let f be 2*((-2)/(-8) - w). Which is smaller: -2 or f?
-2
Let k(b) = -b**2 + 8*b + 4. Suppose 4*w + 16 = 2*d, -2*d = -0*d + 5*w - 16. Let n be k(d). Which is greater: n or 2/3?
n
Let o be (0 - -1) + (-11)/6. Let b = 12 - 10. Let u be (-6)/(-2) - (b + 1). Is o smaller than u?
True
Let x be 6 + -3 + 0 + -4. Let d = -0.1 + 0. Let i = 0.3 + d. Which is greater: i or x?
i
Let f(g) = -g - 1 + 3 + 0*g. Let m be f(-7). Let w be (-3)/2*(-6)/m. Which is smaller: w or 2?
w
Let d(r) = r**3 + 6*r**2 - 7*r + 2. Let b be d(-7). Which is bigger: b or -2?
b
Let p(k) = -k**3 - 4*k**2 - 2*k - 3. Let n be p(-3). Let t be n*(3/3 - 2). Let b be (t/54)/((-2)/(-6)). Which is bigger: b or 0?
b
Let c(i) = -i**2 + 8*i + 10. Let d be c(9). Suppose 5*b - u + d = 0, u + 2 - 3 = 0. Which is smaller: b or -3/17?
-3/17
Suppose 3*c + 12 = 7*c. Which is bigger: c or 6?
6
Let b(t) = -t**2 + 4*t + 4. Suppose 2*v = v + 4. Let d be b(v). Suppose 4 = -d*l - 0. Is -1/2 <= l?
False
Let f(v) = v**3 + 10*v**2 + 8*v - 7. Let m be f(-9). Suppose -5*c = m*n + 1, -3*n + 8*n + 19 = 4*c. Is 1/2 greater than c?
False
Let k be (-6)/(-33) + 20/11. Let u = 0 - k. Does -3 = u?
False
Let y(k) = k**3 + 6*k**2 - 6*k - 7. Let d be y(-7). Is d smaller than -14?
False
Let g = 0.002 - -0.288. Are g and -1/4 equal?
False
Let r = 18 + -13. Suppose 3*f + r*m = 2*f, m = 0. Is f smaller than 1?
True
Let i = 0.06 + 0.94. Which is bigger: 17 or i?
17
Suppose -4*i + o + 33 = 0, 17 = 2*i + 5*o - 16. Suppose 7*z = i*z + 8. Is -5 <= z?
True
Let s be (3 + 14/(-6))*3. Suppose -2*k + 4*k = -s. Which is bigger: 2 or k?
2
Let p be (-60)/24*8/230. Which is smaller: 1 or p?
p
Let m be (-4)/6 - 33/(-9). Let o = m - 4. Which is greater: 1/3 or o?
1/3
Let u be (4/(-8))/(1/(-54)). Suppose 0 = f + 2*f + u. Let i = f - -5. Which is smaller: i or -2?
i
Let v(a) = a**2 + 3*a - 6. Let u be v(-5). Suppose -9 - 20 = u*r + 5*b, 2*b + 15 = -5*r. Does -2/5 = r?
False
Let a = 14 - 14. Let f = 3 + -6. Which is smaller: f or a?
f
Let s = -2 + 2. Let a(t) be the first derivative of t**2/2 + 8*t - 6. Let j be a(-6). Is j != s?
True
Suppose 3*q = -s + 5, -3*q - s + 3*s - 10 = 0. Let i be -1 + (-2)/4*q. Is -1 at least i?
True
Let a(b) = -b**2 - 2*b. Let s be a(-2). Suppose s*m - 3*t = 5*m + 82, 0 = -3*m + 3*t - 30. Which is smaller: -13 or m?
m
Let p(y) = -y**3 - y**2 + 2. Let s be p(1). Is s less than -2/83?
False
Let s be (-4)/14 - (-240)/(-42). Is s smaller than -9/2?
True
Let t be (-8)/14 + 6496/49. Does t = 131?
False
Suppose -5*o + 15 = -k, o = -2*o - 3*k + 9. Let s be -3 + o - -2 - 3. Are s and -6/7 nonequal?
True
Suppose 5 = 3*g - 7. Let p be 27*(-2 + g/3). Is -18 > p?
False
Let u = -3 + 2. Suppose 3*j - 1 = -5*v + 18, 3*j - 25 = v. Suppose 5*h - j = 2*t + 4*h, 18 = -3*t + 3*h. Which is bigger: t or u?
u
Let r = 191/15 + -37/3. Let b(u) = -11*u**2 + 1. Let a be b(1). Let i be a/6 + 6/3. Is r less than i?
False
Let w = -88/7 + 9. Do w and -5 have the same value?
False
Let k = 29 + -117/4. Let c = 2.92 - -0.08. Let z = c - -1. Which is smaller: z or k?
k
Suppose -m = -5*x + 66, 5*m + 50 = 2*x + 3*x. Let g = x - -1. Let w be 88/20 - 6/g. Is 3 bigger than w?
False
Let j = -3 + 0. Which is smaller: -4 or j?
-4
Let l = -1/108 + 25/108. Let t = -0.22 - -0.22. Is l smaller than t?
False
Let g be (-3 - 0 - -3)/(-1). Do g and -1/11 have the same value?
False
Let s = 7 + -11. Let c be ((-20)/(-25))/(s/(-10)). Is c greater than 3?
False
Suppose 0 = -5*x + 18 - 23. Which is greater: -11/7 or x?
x
Let s = 1268 - 79886/63. Which is greater: 1 or s?
1
Suppose 25 = 2*x + 3*x. Let s(o) = o**2 + 4*o + 4. Let i be s(-4). Is i equal to x?
False
Let v = 11 + -12. Which is bigger: -1/15 or v?
-1/15
Let d(s) = -s**2 + s + 8. Let p be d(6). Which is greater: p or -23?
p
Let g = 16 - 22. Let m = g + 6.5. Let z be 8/14*4/(-8). Is z less than or equal to m?
True
Let f be 2/4*2 + 7. Let d(h) = -10 - 4*h + 13*h - 1 - h**2. Let a be d(f). Which is smaller: a or -1?
a
Let r = -49 + 34. Let g be (-6)/r - (-39)/(-60). Which is greater: 0 or g?
0
Let p = 32.04 + -32. Are 0 and p equal?
False
Let c be (-16)/(-24)*15/4. Is c at least 4?
False
Let v be (-32)/(-12)*(-1)/(-4). Is v at most as big as -12?
False
Let d = -3 + 4. Let b(z) = 2*z**3 + z - 1. Let n be b(d). Suppose -5*a = 5*y - 5, -3*a - 4 = -n*y - 2*y. Which is smaller: a or 4/3?
a
Let o = -0.1 + 8.1. Which is greater: 1 or o?
o
Let y(r) = -r**3 + r**2 - r + 10. Let p be y(0). Let n = p - 6. Let h = 4 + -1. Which is smaller: h or n?
h
Let o be (-3 + 125/27)*(-3)/(-2). Is o equal to 2?
False
Let y = -0.123 + 0.023. Which is smaller: y or 0.04?
y
Let j(a) = -a**2 + 12*a + 11. Let d be j(12). Is 7 < d?
True
Let r be -4 + -6 + (-204)/(-18). Suppose -20 = -4*c, -27 + 4 = 2*d - 5*c. Is r at most as big as d?
False
Let s = -26.2 + 26. Let q(i) = i**2 - 2*i + 2. Let x be q(2). Is x greater than or equal to s?
True
Let k = -8012/19 + 422. Let d = -28 - -27. Which is smaller: d or k?
d
Let k = -9 + 8. Is k greater than or equal to -4/3?
True
Let j(r) = r + 5. Let l be j(9). Let q = -14 + l. Is 2 bigger than q?
True
Let q(c) = c**2 + 4*c + 5. Let a be q(-2). Which is greater: a or -1?
a
Let h = -0.1 - -1.1. Let a = -186 - -2420/13. Is h bigger than a?
True
Let l = 0.05 - -0.55. Let a = 4.8 + -4. Let v = l - a. Is -2/5 greater than v?
False
Suppose 2*z + z = 15, -5*t - 5*z - 55 = 0. Do t and -13 have the same value?
False
Suppose -6 = 3*s - 2*s. Let a be 18/(-14) - s/21. Suppose 0 = -l + 1, 0*y + 3*y = 2*l - 5. Is y != a?
False
Let p(d) = 3*d - 2. Let n(o) = o**3 + 8*o**2 + 6*o - 6. Let t be n(-7). Let q be p(t). Which is smaller: 0 or q?
0
Let g = 14.367 + -0.067. Let h = -14 + g. Which is smaller