o + -0.15. Which is greater: n or -1/2?
n
Suppose -6*j + 3*j - 21 = 0. Which is smaller: -8 or j?
-8
Let b = -39.1 - -39. Are b and -1/22 nonequal?
True
Let s = -29 + 28. Which is smaller: -2/45 or s?
s
Let h be 12/4 + (2 - 2). Suppose 2 = h*f + 14. Which is smaller: -5 or f?
-5
Suppose 4*z - 3*z - 7 = 5*t, -5*t + 5*z + 5 = 0. Is t equal to -1/2?
False
Let y(a) = -2*a - 13. Let b be y(-18). Is b equal to 21?
False
Let t(a) = -a + 4. Let r be t(4). Suppose -2 + r = -2*h. Let y be 2/(-1) + (-12)/(-5). Which is greater: h or y?
h
Let c = 49/3 - 408/25. Is 0 equal to c?
False
Suppose 2*q + 2*n + 2 = 0, -9 = 5*q - 0*n + 3*n. Let j be -1 - q - -2*3. Is j at most as big as 8?
True
Suppose 2*s - 5*s - 24 = 0. Let m = s - -13. Let b = 5 - m. Is 0 bigger than b?
False
Let c be (-219)/(-140) - 2/(-8). Let n = 12/7 - c. Do -1 and n have the same value?
False
Let c = -41 - -127/3. Let d = 1/4 - 7/12. Which is smaller: d or c?
d
Let m(x) = x**3 + 2. Let l be m(2). Let f = 8 - l. Is f greater than or equal to -2/9?
False
Let i = 0 + 1. Let c be 6/(-12)*(1 - 1). Let v be (c + 1)/(1/1). Is i at least as big as v?
True
Let z be 15/25 + 21/15. Let j be (z + 4/(-2))/3. Which is smaller: j or 4/5?
j
Let w be ((-9)/27)/(2/(-24)). Suppose 0 = 2*v + 2 - w. Let f be (1 - (-2)/4)/9. Is f >= v?
False
Let q = 2 - 0. Suppose 5 = q*j + 3. Let i = 1 + 0. Is j < i?
False
Let l be (-2)/(-9) + 7/9. Which is smaller: -3/20 or l?
-3/20
Let r(v) = -v**2 - 10*v + 9. Let a be r(-9). Suppose w = 4*w - a. Which is smaller: w or 5?
5
Suppose 5*d + 25 = 2*r, -2*d + 0*d - 1 = r. Suppose -10 = -5*q - r. Is -2/7 less than q?
True
Let o = -0.08 + 0.18. Which is smaller: 43 or o?
o
Let k = 0.18 - 0.48. Is -3 smaller than k?
True
Let u = 1087/7 + -155. Suppose 10 = 2*a - 5*a + 4*i, a - 3*i = -5. Let y = -2 - a. Which is bigger: y or u?
u
Let k = 1/85 - 88/255. Let h be (-6)/16*(-1 + 0). Is h at most as big as k?
False
Let i = -0.33 + 0.13. Which is smaller: i or 1?
i
Suppose 76 + 9 = -5*a. Let y = 18 + a. Is 4/5 smaller than y?
True
Suppose -5*q - 2*m = -0*m - 65, -4*q = 2*m - 52. Suppose 25 = 6*f - f + 5*v, -3*v = 2*f - q. Suppose -9 = -f*u - 1. Which is greater: 3 or u?
u
Let o be (-66)/5 - (-1)/5. Let b be -2*((5 - 2) + o). Suppose 0 = 4*m - b + 4. Which is smaller: 3 or m?
3
Let a(j) = j + 9. Let o be a(-9). Suppose w - 4 = -4*h + 3, 5*w + 5 = o. Suppose h = 4*p - 2. Is p bigger than 1/10?
True
Let j(s) = -s - 4. Let v be j(-5). Let l = 5 + -14. Let f = l - -10. Do f and v have different values?
False
Suppose 4*w = 56 - 52. Is 20/13 >= w?
True
Let f = 162743/330396 + -4/27533. Let o = -7/12 + f. Which is smaller: o or -1?
-1
Suppose -3*i - 5*v = -25, 5*v = -2*i - 2*i + 25. Suppose i*y = y. Is 0 at most as big as y?
True
Let f = -2/155 - 1826/2635. Which is smaller: f or -1?
-1
Let o = 0.219 - 0.019. Suppose -12 = 3*a, -8*a - 23 = -3*n - 3*a. Is n greater than o?
True
Let j be (-425)/2244 - 1/(-4). Do j and 0 have different values?
True
Suppose -4*s + 3*s = -3. Suppose s*t - 1 = 2*t. Is 1/12 at least as big as t?
False
Let w = 0.4 + -1.4. Let j = 1 + w. Are j and 2/5 equal?
False
Let g = 3 - 5. Let y(k) = 3*k**2 + 2*k - 6. Let n be y(3). Let u = -107/4 + n. Is g not equal to u?
True
Let q be (((-24)/(-14))/6)/(-2*7). Is q != 1?
True
Let u be 3 - (0 - (-2)/2). Let n be u/((-2)/27*-3). Is n bigger than 8?
True
Let a = 0.05 - -0.35. Let v = -40 - -42. Is a bigger than v?
False
Let c = -90 - -90.1. Is c < -13?
False
Let j = -55 + 56. Which is greater: j or -2/13?
j
Let y = -3 - -5/2. Which is bigger: y or 5?
5
Let v(i) = i**3 - i**2 - 3*i + 3. Let t be v(1). Suppose 61 = -2*b - 23. Let q be ((-8)/(-10))/(b/(-45)). Which is smaller: q or t?
t
Let s be (-5)/(-10)*8/166. Which is bigger: 1 or s?
1
Let n = -174.9 - -175. Is n >= -3?
True
Let d = -49 + 48. Which is greater: 1 or d?
1
Suppose 10*c + 21 = 13*c. Suppose -5 = -c*d - 40. Which is greater: d or -7?
d
Let v = -16.9 - -1.9. Let y = 11 + v. Are y and 2/9 unequal?
True
Let u = -0.09 - -0.29. Are u and -2/9 equal?
False
Let s be (-4)/14 + 88/14. Let t be (-20)/(-15)*s/(-68). Are 1 and t equal?
False
Let r be 1 - (2 + 46/(-10)). Suppose 4*l = 4*h + 8, 9*h + 17 = 5*l + 11*h. Which is greater: r or l?
r
Let d(l) = 2*l**2 + 20*l - 5. Let j be d(-10). Let z(a) = -2*a + 6. Let m be z(6). Which is smaller: j or m?
m
Suppose g + 29 = 4*g + 5*y, y = g + 1. Which is smaller: 2 or g?
2
Suppose -5*x = -0*l - 2*l - 4, 14 = 4*l + x. Let h be 2/l + 210/(-225). Which is bigger: -1 or h?
h
Let i be (-1)/5 + 6/10. Let d = 1 + -5. Does i = d?
False
Let t be ((-3)/2)/((-18)/21). Which is bigger: t or 0.1?
t
Let u = -1.34 + 0.24. Let p = 1 + u. Let l = -0.03 + 1.03. Which is smaller: p or l?
p
Suppose 17*g - 4 = 13*g. Which is smaller: -5 or g?
-5
Let d be (-28)/6*6/(-2). Suppose 2*k + 3 = 2*h - 3, 2*k - 4*h = -d. Are 1/3 and k unequal?
True
Let q(d) = 2*d - 4*d + d - 20. Let p be q(-17). Which is smaller: 0 or p?
p
Let x = 2 + -1.6. Let r = -28 - -28. Suppose r = -9*c + 10*c. Which is bigger: x or c?
x
Let n(k) = -6*k + 3. Let b be n(3). Is b less than or equal to -16?
False
Let g be (8/(-3))/(8/(-12)). Let n be 3/4 + 1/g. Let m = -621/4 + 156. Is m smaller than n?
True
Suppose 0 = c - 5*p - 19, 20 = -4*p + 4. Which is greater: -2 or c?
c
Suppose o - 6 = -o. Suppose o*u + 3 + 0 = 0. Which is smaller: u or 1/8?
u
Suppose 5*r + 12 + 8 = -4*k, k - 4*r - 16 = 0. Let a be (18/(-9))/(0 + 5). Which is greater: a or k?
k
Let k be (6/10)/((-9)/(-6)). Let u = 1/121 - 245/363. Is u less than or equal to k?
True
Suppose -4*v = -3*l + 2, 3*v = 6*l - l - 7. Let s = l + 0. Is -1 less than or equal to s?
True
Let c = 4 + -3.95. Let k = -1 - -1. Which is smaller: c or k?
k
Suppose 2*g = -1 - 3. Let p be (1*g)/(3/(-6)). Suppose -u - 3*u + 12 = -4*q, 0 = p*u - q. Is u bigger than 1?
False
Let r be 4/6 - 84/(-9). Suppose 0 = 3*g + i - 7, 4*g - r = 2*g + 2*i. Which is smaller: g or 4?
g
Let j = 0.54 + 26.46. Is j <= 1/2?
False
Let g = 6 - 20/3. Which is greater: g or -0.2?
-0.2
Let i = -32 + 14. Let s = 89/5 + i. Let u = 131 + -130. Which is smaller: u or s?
s
Suppose 0 = 2*i - 3 - 5, -4*i = -5*d - 61. Let o be 1*3/d*6. Is -5 at most as big as o?
True
Suppose 75*i - 80 = 71*i. Which is smaller: i or 21?
i
Suppose -8*z + 7*z = -6. Suppose 0 = q + q + z. Which is greater: -8 or q?
q
Suppose b = -b + 34. Let z = -0.3 + 0.2. Which is greater: b or z?
b
Let l(t) = t**3 + 4*t**2 - 7*t - 6. Let u be l(-5). Let n = u + -5. Let z = -431/13 - -33. Which is smaller: z or n?
n
Suppose 5 = -2*z - 5. Let x be (-3)/((3 + z)/(-2)). Is x greater than -8/3?
False
Let f be 496/24 + 4/(-6). Let i be (6/f)/((-18)/15). Which is greater: i or -0.1?
-0.1
Let i be ((-3363)/(-3361) - 1)/(-1). Let p = 30233/26888 - i. Is 1 at least as big as p?
False
Suppose 9 = -3*a + 6. Let m = -2.1 + 0.1. Is a at most m?
False
Suppose 0*j = 5*j - 5. Let p = 43/4 - 10. Is p >= j?
False
Let d(x) = -x**2 - 11*x - 11. Let c be d(-10). Which is greater: 0 or c?
0
Suppose -2*t = -4*q - 36, -2*t = 6*q - 4*q + 12. Which is smaller: q or -2?
q
Let d = 4 - 3. Is d at most as big as 2?
True
Let j = 12 + -18. Which is greater: 1 or j?
1
Let m = 8 + -6. Let c = m - 1. Let k(v) = v**2 - 6*v + 7. Let q be k(5). Which is smaller: q or c?
c
Let c = 168 - 237. Is c less than or equal to 0.1?
True
Let n be ((-1)/1)/((-9)/2). Suppose -4*y + 4*l + 10 + 122 = 0, -y - 4*l + 18 = 0. Let c be ((-3)/y)/(4/10). Are n and c non-equal?
True
Let y be ((-192)/(-40))/6 - 8/(-15). Is y >= -1/4?
True
Let j = 96 + -94. Let a(q) = q**3 + 6*q**2. Let x be a(-6). Is j not equal to x?
True
Suppose 0 = -g + 3*b + 6 + 3, -12 = 4*b. Suppose m = -g*m. Suppose p + 5*c + 15 = -0*c, m = 4*p - 3*c - 9. Which is smaller: -1 or p?
-1
Let d(u) = -u**2 + 7*u + 7. Let z be d(12). Let l = z + 369/7. Is 4 smaller than l?
False
Let p = 46 - 91. Let j be (-9)/(-2)*(-20)/p. Let d be -1 + 1 + 0 + 3. Which is smaller: d or j?
j
Let m = -139474/6153 - -2/2051. Let w = m - -23. Which is greater: w or -0.7?
w
Let t be ((-145)/(-9))/(-5)*15. Let g = -49 - t. Which is bigger: 0 or g?
0
Suppose -3*t = -0*t + 9. Let u = 11 - 16. Let x = 2 + u. Is x >= t?
True
Let z = 6/5 - 7/10. Let a = 2 + -2. Suppose -3*w + 4 - 1 = a. Are w and z equal?
False
Let r = -0.1 - -3.1. Let s = r + -2.5