0/60*15/2. Suppose -2*u + 42 = -0*u - s*y, a*u - 61 = -y. Is u at least 14?
False
Let o = 351/5 + -2169/20. Is o > -37?
False
Suppose 6*y + 250 - 76 = 0. Let n = 26 + y. Which is bigger: n or -0.2?
-0.2
Let m = -212013/253 + 838. Are m and -1 non-equal?
True
Let f = -16 + 20. Let i = 0.045 - -4.955. Let y = i - f. Is y bigger than -16?
True
Let t(o) = o**2 - 15*o + 9. Let g be t(15). Suppose 0 = g*p - 4*p. Is 1/3 less than or equal to p?
False
Suppose 9 + 9 = -3*x. Suppose -4*h - h + 70 = 0. Let i = 11 - h. Which is smaller: x or i?
x
Let b(r) = -r**2 + 14*r + 7. Let d be b(7). Suppose 2*j = -h - 52, h + 2*j - j = -d. Let o be (-444)/h + 6/10. Which is smaller: o or 7?
7
Let j = 2.5 - 30.8. Let g = j + 28. Which is bigger: 0.5 or g?
0.5
Let l = -90 - -84. Let v be (4 + l)*(-6)/22. Is v <= 0?
False
Suppose 60 = -7*q + 5*q. Let k = q - -46. Is k greater than or equal to 18?
False
Suppose -h - 2 = 1, -3*h = -4*t + 49. Let i be (-30)/t - (1 + -5). Let c be (i - -1)/(-13 + 12). Which is bigger: c or -1?
-1
Let a be (18/48)/((-3)/466). Let x = a - -58. Is x at most as big as -8?
False
Let c(a) = -a**2 - 7*a + 7. Let j be c(-7). Suppose -2*g = n, 4*n + j = g + n. Let w = -4.772 + 3.772. Which is bigger: g or w?
g
Let x = 231/31 - 261199/35061. Is 0 < x?
True
Let t be 219/146 - 347/2. Which is greater: -0.4 or t?
-0.4
Suppose 4*j = 2*i + 4, -j = 3*j + i + 2. Suppose -7*m + 3 + 18 = j. Which is greater: 11/5 or m?
m
Let o(h) be the third derivative of 9*h**5/4 - h**4/24 + 5*h**2. Let w be o(-1). Let l be ((-30)/(-8))/(153/w). Is 2 bigger than l?
False
Let t(g) = -g**2 + 11*g - 8. Let r be t(10). Let p = 81 - 51. Suppose j - 2*j - b + 7 = 0, 4*j = -5*b + p. Is j less than or equal to r?
False
Suppose 2*x - 2 = 0, 2*h - 2*x = -0*x + 14. Suppose -z = 5*d, h*z + 22 = -3*d + 3*z. Are 4/21 and d equal?
False
Let t be (-12)/54 + (-236)/(-9). Suppose -4*k - 49 = 3*i, 101 = -5*i - 5*k + t. Is -12 bigger than i?
False
Let z(n) = n - 4. Let t be z(9). Let h be (-12)/15*(36 + 4). Let k be h/20*t/7. Is -1 != k?
True
Suppose 4*s = -s. Let d be (-6)/(1 + 44/(-8) + 3). Suppose 3*g + 2*g - 4*l + 42 = s, g - 6 = -d*l. Is -8 greater than or equal to g?
False
Let m(s) = 6*s**2 - 39*s - 6. Let g be m(7). Which is bigger: -2 or g?
g
Suppose -3*p = -y + 5*y + 106, y - 146 = 5*p. Which is smaller: p or -25?
p
Let m = -1017 + 939. Is -2/7 greater than m?
True
Suppose 3*y + 866 = -x, 1742 = 68*x - 70*x - 4*y. Is x bigger than -0.1?
False
Let m = 13 - 11. Suppose 5*a = -3*k + 14, -m*a = a + 4*k - 15. Suppose 6 = -y + a. Which is bigger: y or 2/7?
2/7
Let s = -26163/16 - -1635. Are s and 7/2 unequal?
True
Let i = 179 + -185. Which is smaller: -5 or i?
i
Let s be 74/(5/(-9 - -19)). Is 143 not equal to s?
True
Let z(j) = j**3 + 11*j**2 + 12*j - 10. Let o be z(-10). Let p be ((-4)/6)/(o/45). Which is smaller: p or 3/14?
3/14
Let b(i) = i**3 + 5*i**2 - i + 1. Let g be b(-5). Suppose 0 = 2*t - 5*t + g. Suppose -3*v + 2*f - 3*f - 3 = 0, 5*v - t*f = 6. Which is smaller: -1 or v?
-1
Let d = 21 - -5. Let a = d + -25.88. Is a at least -0.1?
True
Let x = -163 + 158.02. Let v = 5 + x. Let z = -0.02 + v. Is z < -11?
False
Let i(n) = n**3 - 3*n**2 + n + 1. Let h be i(0). Let w be ((-42)/(-525))/(9/5 - h). Which is bigger: 0 or w?
w
Let k(l) = l**2 - 2*l - 16. Let a be k(6). Suppose -a*p = -0 - 8. Which is smaller: 1/3 or p?
1/3
Let r = -89 + 620/7. Let u = -118 - -119. Which is smaller: u or r?
r
Let z = 1559/5 - 310. Is z at least as big as 2?
False
Let g(m) = m**3 - 7*m**2 - 10*m + 1. Let j be g(9). Suppose 71*x - 12 = j*x. Let s be 2/4 + 1 + -1. Is s <= x?
False
Let b = 0.245 - 1.245. Which is bigger: b or 5/4?
5/4
Suppose 0 = x + 6*k - 5*k + 4, k + 4 = 5*x. Which is smaller: -3/29 or x?
-3/29
Let r(a) = 2*a + 6*a**2 - a**3 - 13 + 3*a**2 - 2*a**2. Let x be r(7). Which is greater: x or 2/99?
x
Let o = -758 - 392. Let q = o - -19544/17. Do q and -1 have the same value?
False
Let x be 10 + 0 + (-6)/3. Suppose -7*i + x*i + 22 = 0. Is -21 smaller than i?
False
Let j = 722 + -715. Which is smaller: -5/6 or j?
-5/6
Let w(z) = -z**3 - 11*z**2 - 17*z - 2. Let f be w(-7). Which is smaller: -0.1 or f?
f
Let t = 0.052 + 0.048. Let p = -1.27 + 2.24. Let x = p + 0.03. Is x greater than or equal to t?
True
Let w = -459.2 - -459. Is -181 >= w?
False
Suppose -3*x + 4*x = -2. Let l be (-5)/(-50)*(-5)/x. Is 3 >= l?
True
Let q = -3921 + 172507/44. Which is greater: q or 0?
0
Let a = 0.2 - 1.2. Suppose -34 = -4*s - 142. Let k be 6*(15/s)/(-5). Which is smaller: a or k?
a
Let z be 3*(-7)/((-11172)/8). Which is smaller: 0 or z?
0
Let u = -76 + 94. Let l = 24 - u. Let y be 45/(-3)*2/(-6). Which is greater: y or l?
l
Let n = 24/23 - 578/69. Which is greater: n or -8?
n
Let x be (1 - -7) + (-1 - -199). Which is greater: x or 204?
x
Let q = -11 + 22. Let f = q - 14. Let k be f/5 - (-183)/105. Which is greater: 1 or k?
k
Let y = -0.1 - 0.9. Let m(d) = -d**2 + 16*d - 12. Let a be m(15). Let w(x) = 4*x + 2. Let r be w(a). Is r bigger than y?
True
Let s(q) = -2*q - 2. Let i be s(-7). Suppose 5*l - 3 = r - i, 5*l + 3*r = 7. Let y = -41 + 942/23. Is y at most as big as l?
False
Let m(u) = -u**2 - 5*u + 3. Let c be m(-6). Let b(w) = w - 2. Let q be b(-7). Let i be (-2)/q + (-160)/72. Are i and c unequal?
True
Let a be (3/6)/(2/(-12)). Let j be ((19 + a)/(-4) - -3)/(-9). Is 1 equal to j?
False
Let x be 3/((-36)/4)*3 - -3. Let m be -1*0/(6/x). Is -1/14 smaller than m?
True
Let y(n) = -n**3 - 8*n**2 - 9*n - 6. Let j be y(-7). Let k be (-2 - -1)/(j/(-24)). Let p be k - 1 - 24/(-16). Is 3 < p?
True
Suppose -1 = a, -5*h + 1 = -26*a + 25*a. Is h >= 5/491?
False
Let n = -29.6 - -29.26. Which is bigger: n or 2/11?
2/11
Let o = -79.9456 + -0.0544. Is -0.3 at least o?
True
Let l(q) = -7*q + 8. Let f(a) = a - 1. Let h(t) = -5*f(t) - l(t). Let p be h(0). Is p less than -14/5?
True
Let l be -5 + (7357/1638 - 1/(-2)). Is 1 not equal to l?
True
Let g = -1020 - -1042. Which is bigger: g or 0.1?
g
Let l = -119/260 + 3/52. Is -21 less than or equal to l?
True
Suppose 0 = 131*m - 494 - 30. Suppose 2*s = h + 4, -2*h + s - 13 = -4*s. Which is smaller: m or h?
m
Let f(u) = -u**2 - 7*u + 14. Let h be f(-7). Suppose -4*o = -18 + h. Which is smaller: 0 or o?
0
Let o be ((-21)/28)/(9/(-6)). Is o > 0.186?
True
Let m(i) = -i**2 - 2*i + 4. Let d be m(-2). Let a be 6/d - 5137/3454. Which is bigger: a or -1?
a
Let r = -35745 - -249435/7. Which is greater: -111 or r?
-111
Suppose 3*p = -0*p + 12. Suppose -p*j = 7 + 9. Let l = 4787 + -4793. Which is greater: j or l?
j
Suppose -10*f = 34 + 336. Is f >= -34?
False
Let r = 405237449/138 - 2936464. Let q = -235/6 + r. Are 1 and q equal?
False
Let l be (-4)/14 - (-2 + 0). Let s = 1698 - 1697. Which is smaller: l or s?
s
Let v = 5.53 - 3.53. Which is smaller: v or -0.1?
-0.1
Suppose 92*c - 4 = 96*c. Let k be 362372/(-3248) + (-4)/14. Let s = 447/4 + k. Is s != c?
True
Let w(z) = -z - 4. Suppose -2*v + i + 9 = -0*v, -2*v - 3*i + 29 = 0. Let h be w(v). Is h >= -12?
True
Let o = 18 + -17. Let k = -309 - 60. Let g be ((-9)/k)/(2/(-4)). Is o >= g?
True
Suppose -8*g + 13*g + 40 = 0. Let o be 10*(g/5 + 2). Let y be (o/10)/((-8)/(-4)). Which is greater: 0 or y?
y
Let f(h) = h - 2. Let m be f(3). Let x be (3/6)/((-12)/8). Do m and x have the same value?
False
Suppose 23 + 3 = 2*w. Suppose -16*s = 2*y - 15*s - 27, y = 4*s + 9. Is y != w?
False
Let b(j) = 2*j**3 - 3*j**2 + 2*j - 4. Let l(n) = 2*n**3 - 5*n**2 + 3*n. Let f be l(2). Let p be b(f). Which is smaller: p or 14/3?
p
Let f be 0 + -3 + ((-2480)/625 - -7). Let l be (-6)/(-55)*(-235)/(-375). Let i = l - f. Which is greater: i or 1?
1
Let o = 119 + 26. Suppose -5*t + o = -10*t. Let x = t - -26. Which is greater: x or -0.1?
-0.1
Suppose -4 = -2*d + 4*j, -7 = -3*d + 2*d - 3*j. Which is bigger: d or 28/9?
d
Let x(v) = v**3 - 8*v**2 - 14*v + 14. Let d be x(9). Let i be (d - -20)*2/2. Suppose 3*p - 5*p = 22. Is i not equal to p?
False
Let h = -0.2 + 0.29. Let l = h - -0.11. Let b = 0.1 + l. Is -1 > b?
False
Suppose -4*m + 8 = -0. Suppose m*q = -3*h + 4, -5*h = 4 - 14. Which is smaller: 3/68 or q?
q
Suppose -4*d + 4*c = -60, -3*d - c = -61 + 12. Suppose 0 = 2*p + 2, 2*s = 4*p - d - 24. Let a be 2/(-3) + s/(-6). Which is smaller: 1 or a?
1
Let y be 1/((-5)/(-2) - 1). Whic