 q = o + 0.1. Let u = q - 1.1. Which is smaller: u or -2?
-2
Let n = 14 + -1. Is 14 smaller than n?
False
Let s be 264/(-52) + 4 + 1. Are s and -1 non-equal?
True
Let d(f) = 3*f - 3. Let u be d(1). Let z = 3 - 2. Is u not equal to z?
True
Suppose -r - 4*c = -4*r - 7, -2*r = -2*c + 2. Let m be 4*r/(-36)*2. Is -1 < m?
True
Let u be (-5 + 1)/((-10)/(-15)). Let y = -13 + 8. Which is bigger: u or y?
y
Suppose 6*j + 4*x - 22 = j, 9 = 3*j + x. Suppose j*b - 5 = -3. Let r = -1360/7 - -194. Is b < r?
False
Let h = -19.84 + -0.16. Let n = -19.1 - h. Are -1/5 and n unequal?
True
Let l be 22/66*36/(-7). Is -1 < l?
False
Let v be 2/6 - 16/(-6). Suppose -4*k + 15 = h, 0 = 2*h - 2*k + 7 + v. Let p be h - -2 - 0/1. Is p less than 2?
True
Let o = -3396.131 - -3399. Let t = 0.171 + o. Let y = t - 0.04. Is 0 less than y?
True
Suppose 3*q + 20 = -88. Let b be 10*(q/(-5))/3. Suppose -f - b = -5*f. Is f equal to 5?
False
Suppose 2*l - 6 = 4*a - 4, a + 3*l = 17. Which is bigger: a or 0?
a
Let c = 17 + -17.07. Let h = c + 0.08. Let j = 2 + -1. Which is greater: h or j?
j
Suppose 2*i + 3*i + 10 = 0. Let u be (-1 - -1) + -4 + 6. Suppose -u = -2*y, 0 = t - 4*t + y + 2. Is t bigger than i?
True
Let a = 6 - 7. Let d = -9 - a. Let q = d - -9. Which is greater: 0 or q?
q
Suppose -u - u = 5*g + 3, 4*g = -2*u. Let t(j) = 2*j - 11. Let c be t(u). Is -4/11 at most c?
True
Let z = -23 - -22. Which is smaller: z or 0.1?
z
Let y be (-4)/(-5)*5/2. Let o(g) = g**2 - 3*g. Suppose -4*l + 7 = -5. Let t be o(l). Which is smaller: y or t?
t
Let l = -10 - -15. Suppose 0 = -4*z - 4*h + l*h - 13, -3*h - 6 = 3*z. Let a be (-16)/9 + 2/(-9). Which is greater: z or a?
a
Let o = -0.2 - 1.1. Let r = -0.3 - 0. Let y = o - r. Are y and 3 non-equal?
True
Let d be (-14)/10 + (-20)/(-50). Let c = -79/5 + 637/40. Which is bigger: d or c?
c
Let w be 3891/1740 + 2/4. Let g = -2/145 - w. Suppose 0 = 3*h + 4*s + 32, 4*s = 2*h - 8 - 4. Which is smaller: g or h?
h
Let y(b) = b**3 + 4*b**2 - 4*b + 2. Let j(c) = -c**2 - 3*c - 1. Let z be j(-4). Let t be y(z). Is t < -3?
False
Let v(d) = -2*d**2 + 4*d + 2. Let k be v(5). Which is smaller: -26 or k?
k
Let s(l) = -2*l**2 + 2*l. Let k be s(2). Let m(y) = -2*y - 1. Let g be m(1). Let h = k - g. Is h < 4/9?
True
Suppose -2*a + 4*m - 10 = 0, -2 = 3*a + m - 1. Let c be (-10)/18*(-12)/(-8). Is c < a?
False
Suppose 2*y - 3 - 3 = 0. Suppose -5*t = 5*c - 16 - 14, 12 = y*t. Let m be -4 + c - (-1 - -1). Is m > -3?
True
Let u = -11 + 14. Suppose 0*x = -u*x. Let j = 14/15 + -1/3. Which is smaller: j or x?
x
Suppose 5*i - 15*i + 20 = 0. Which is greater: i or -0.5?
i
Let m = 4 + 1. Let n = 4 - m. Let f be (n - -1)*2/(-6). Which is smaller: f or -1/3?
-1/3
Suppose -1 = j - 4. Suppose j*o - v + 2 = 0, -5*o - 3*v = 2*v - 10. Does o = 0?
True
Let o = 17.6 + -10.3. Let w = 7 - o. Is w != 1/2?
True
Let j = 22 + -16. Which is smaller: j or 7?
j
Let s = 21 - 9. Are s and 10 non-equal?
True
Let i = 2.07 + -0.07. Let j = 51 + -151/3. Which is bigger: i or j?
i
Let t be -12*(-2 - 4/(-3)). Let j = t - 9. Let n(m) = -m**2 - 4*m - 4. Let a be n(-3). Do a and j have the same value?
True
Let y be 2/6*3*-4. Let u be y/(-10) - (-8)/30. Let x(i) = i**2 + 6*i + 5. Let a be x(-5). Which is smaller: u or a?
a
Suppose 3*m + 2*m - 27 = f, 3*f + 2*m = 4. Let l be (144*-1)/((-3)/3). Let j = l + -579/4. Which is smaller: j or f?
f
Let c = -1.8 + 2. Is c greater than -0.02?
True
Let v = 1493411/150 - 49778/5. Let f = v - -2/75. Let x = 0.16 - -1.84. Is x at most f?
False
Let i be -3 - (-1)/(8/28). Is 1 >= i?
True
Suppose -2*h - 1 = -h, 2*s = 2*h + 4. Let f be (27/72)/(3/(-2)). Which is greater: s or f?
s
Let m = -9 - -18. Let s = m - 9.1. Which is greater: -6 or s?
s
Suppose 0 = -4*g - 4*t, 5*g - 3*t + 2*t - 30 = 0. Is 2 equal to g?
False
Let d be (-1 - (-5)/(-7)) + 2. Which is bigger: 3 or d?
3
Let c = -2 + 2. Suppose c = o + 2*o - 18. Is 5 at least as big as o?
False
Let a = -11/70 - -1363/210. Let q = a - 130/21. Which is smaller: q or -1?
-1
Let s = -9 + 14. Suppose 8 = 4*t, 4*g - t - s = 13. Let v be 3 - g/((-15)/(-6)). Which is greater: v or -1?
v
Let y be (-1)/(-3 + (-16)/(-6)). Let v be 3/(-6) - (-17)/(-2). Let l = v + 10. Which is bigger: y or l?
y
Suppose 3*n - 13 = -5*x, 1 = 3*n - 8*n + 3*x. Which is bigger: n or 2/9?
n
Suppose -42 = 9*a - 3*a. Let r(v) = v**2 + 5*v - 6. Let c be r(-5). Which is bigger: a or c?
c
Let a = 248042498 + -11162465281/45. Let r = -12288 - a. Let d = -11/5 - r. Which is smaller: d or 0.1?
d
Let r be 3836/(-70)*(-2)/(-4). Let n = r + 974/35. Is -1 at least n?
False
Let z be (-6)/(-3) - 0 - 7. Let c(a) = -a**2 - 4*a + 5. Let s be c(z). Which is smaller: s or -1/4?
-1/4
Let g(c) = -c - 11. Let d be g(-3). Let v be (4/8)/(2/d). Which is bigger: v or -1.3?
-1.3
Suppose 4*j = -2*u + 12, 4*j - u + 5 = 23. Let l be 18/(-45) + (-8)/5. Let q = 5 + l. Is q > j?
False
Let f = -13 - -14. Is 2/13 greater than or equal to f?
False
Let m = 4 + 3. Suppose 3*k - 1 + m = 0. Let h = -2 - 1. Which is smaller: k or h?
h
Suppose -4*b + 5 = -19. Let i = -6 + b. Which is bigger: i or 3/5?
3/5
Let w = 3577/375 + 16/125. Which is smaller: 11 or w?
w
Suppose -a + 2*i + 3 = 2, 2*a = -4*i + 10. Which is greater: a or 7?
7
Let k be 2/3*(-30)/(-2). Let t be (k + -1)/((-165)/(-10)). Let x(s) = -s**3 + 5*s**2 + 13*s + 8. Let c be x(7). Which is smaller: c or t?
t
Suppose 4 = -0*c - 4*c. Suppose v - 3 = -1. Let u be (-7)/(v - 0 - -1). Which is smaller: u or c?
u
Let g = 0.4 + -0.3. Which is greater: g or 1.9?
1.9
Suppose 5*b - 24 = -n, 3*n - 4 = -3*b + 5*n. Let v be (4/6)/((-16)/(-96)). Is b > v?
False
Let w = 16 + -26. Let c be (2/45)/(6/w). Are 0 and c unequal?
True
Let s = 9 - 8.3. Let f = 0.8 - s. Does -5 = f?
False
Let m = 37861/15 - 2519. Let t = m + -17/3. Let d(j) = j - 7. Let a be d(5). Which is bigger: t or a?
t
Let h = 1/237 - -263/79. Which is greater: 3 or h?
h
Suppose -37 + 7 = -5*k. Suppose -3*b - k = -0*b. Let z = b - -12/5. Is z smaller than -2/3?
False
Let a be (-25)/325*(-6)/2. Does a = 1?
False
Let r = 0.06 - 0.16. Which is smaller: -0.3 or r?
-0.3
Suppose 0 = -2*y - 3*y. Let s(m) = -m**3 + 4*m**2 + m - 5. Suppose 0 = 3*p - r - 8, 2 + 6 = 4*p - 2*r. Let w be s(p). Which is smaller: w or y?
w
Let j be -1 + 3 + 42/(-3). Let q be (-4)/6 + j/(-18). Which is smaller: 2 or q?
q
Let c(i) = i**2 - 5*i - 2. Let a be c(8). Let y be 33/a*(-2)/(-3). Which is bigger: -1/4 or y?
y
Suppose -2*n = -6*n + n. Are n and -5/12 equal?
False
Suppose -o - 49 = -2*r + 4*o, -4*r - 4*o = -28. Which is smaller: r or 10?
10
Suppose -16 = -3*a - a. Let r be (3/(-4))/((-6)/a). Let i = 144 + -143. Do r and i have different values?
True
Let u(d) = -d**3 - 4*d**2 - 2*d - 3. Let i be u(-4). Which is greater: 4 or i?
i
Let x be 2 - (-5 + 205/29). Which is smaller: x or 0?
x
Let v(s) = -s - 3. Let g(m) = -m + 12. Let q be g(16). Let k be v(q). Which is bigger: 1/4 or k?
k
Let x be ((-3)/(-3))/1 - 20/(-4). Is 3 <= x?
True
Let k(g) = -g + 22. Let a be k(12). Let u be (-4)/10 - a/(-25). Does 1/20 = u?
False
Suppose 4 - 17 = -u. Let d be (-2)/u + 114/234. Let j = -32 + 65/2. Do d and j have the same value?
False
Suppose 4*k - 8 = 3*k. Do 9 and k have the same value?
False
Suppose -5*b - 8 - 2 = 0. Let n be (-3 - b)*(-2 + 3). Let w = -4 - -4. Which is bigger: n or w?
w
Suppose 5*s - 2*r = 28, -s + 4*r = 4*s - 36. Suppose -s*j = j. Suppose -3*o + 0 + 6 = 0. Is j less than o?
True
Let q = -177 + 187. Let w be (-158)/(-14) + 4/(-14). Does w = q?
False
Suppose -2*r - 72 = -11*r. Is r at most 5?
False
Let f = -1244449/56 + 22224. Let c = f - -1/56. Is c less than 2?
True
Let x = 737531/8 + -92030. Let s = x - 161. Is s at least 1?
False
Let o be ((-1)/(-12))/((-3)/4431). Let j = -123 - o. Do 0 and j have different values?
True
Let y be (-4)/10 + (-26)/10. Let v(n) = n**3 + 9*n**2 - 20*n + 18. Let k be v(-11). Does k = y?
False
Let i = 6/11 + 131/22. Which is greater: 7 or i?
7
Let j = 0.01 + -0.01. Is j less than -9?
False
Let t(j) be the first derivative of -j**3/3 - 3*j**2 + 6*j - 3. Let i be t(-7). Which is smaller: -2 or i?
-2
Let n be 0 + (-3531)/(-1521) + -2. Let a = n - -2/169. Which is bigger: 1/4 or a?
a
Let u = -7.1 + 7. Does u = -11?
False
Let k = -583 + 29735/51. Which is greater: 1/2 or k?
1/2
Suppose 3*s - 3