7?
-17
Let i = 1.103 - 0.103. Which is smaller: i or -4?
-4
Let d = -2.1 - -2. Let i = -6 + 12. Let c be 4/8 - 7/i. Is c at least as big as d?
False
Let o be 2 - 3 - 1 - 2. Let w = 4 - 2. Suppose w*u + 9 = -u. Which is smaller: u or o?
o
Suppose -6*i + 3*i = -3. Let f be (0 - 0) + i/2. Suppose -a = -2*n + 1, -9 = 2*n - 4*a - 1. Are f and n unequal?
True
Let z(j) = -j**3 + 2*j**2 - 476. Let m be z(0). Let a be ((-2)/(-7))/(m/(-49)). Does a = -1?
False
Let s = -7 + 9. Let z = -35 + 107/3. Is z greater than or equal to s?
False
Let s = -3 - -2. Are s and -1 nonequal?
False
Let k be -4*6*4/(-12). Let t be -4*(2/k - 1). Suppose -4*z - t*j = 10 + 10, 2*z + 10 = 2*j. Is -1 at most as big as z?
False
Suppose 3*v = -v - 4. Let u = -29 - -259/9. Which is smaller: u or v?
v
Let d = 10 - 5. Suppose -18 = -d*z - p, -2*z - 2*z + 6 = -2*p. Suppose 3*r - 2*w + 3 = z*w, -w = 0. Is -2/9 less than r?
False
Let o(a) = a**2 - 7*a - 5. Let m be o(4). Is -18 less than m?
True
Let x = -34 - -236/7. Suppose -5 = 2*t + 3*t. Is x > t?
True
Let n = 36 - 49. Which is smaller: n or 1/2?
n
Suppose 3*r + 0*r - 2*k - 7 = 0, r - 7 = 3*k. Let u = 231/1976 + 2/247. Which is greater: r or u?
r
Let k(s) = -s**2 - 4*s - 13. Let x be k(-4). Is x equal to -14?
False
Let q = 0.9 - 0.8. Is q <= -1?
False
Let d be (-9)/(-3) - (1 - -8). Which is bigger: 1 or d?
1
Let d(h) = 3*h + 63. Let k be d(-25). Which is smaller: -10 or k?
k
Let j = 885/2 - 404. Which is bigger: 40 or j?
40
Let x(j) = j**2 + j - 3. Let a = -6 - -3. Let p be x(a). Suppose q = -p*m + 27, q = 2*q - 3. Is m at least 8?
True
Let l = -18 + 7. Let z be (-53271)/(-231) + 2/l. Let d = z + -231. Which is smaller: -2 or d?
-2
Let c be (9/36)/((-10)/48). Let i = 2 + -3. Which is smaller: i or c?
c
Let p be 2 - (-1)/(-1)*-1. Suppose -4*y + 300 = -0*f - 4*f, 0 = -2*y + p*f + 151. Let d be 3/5 + y/(-90). Which is greater: d or 0?
0
Let c = 349 + -14311/41. Let n be 14*5/(-80) - (-1)/(-8). Which is greater: c or n?
c
Let q = -97/8 - -61/8. Which is smaller: -6 or q?
-6
Let m = 3 - -1. Suppose m*z = -2 - 34. Let b be 1/3 - (-3)/z. Which is smaller: b or 1/4?
b
Let s = 2.52 - 0.22. Let h = s - 2. Which is bigger: h or -0.3?
h
Let a = -7/6 + 2/3. Which is bigger: a or 3/4?
3/4
Let d = -13.15 + 0.15. Let a = -13 - d. Are a and -0.3 nonequal?
True
Let q be (4 - 8)*1/5. Let r(o) = o - 10. Suppose 26 = 5*w - 19. Let d be r(w). Is q <= d?
False
Suppose -2 = -0*u + u - s, -u = 2*s - 4. Let q be u - (3 - 2)/(-4). Is 1/2 less than q?
False
Let z(r) = 4*r - 6*r**2 + 5 + r**2 + 4*r**2. Let v be z(5). Is 8/9 less than v?
False
Let m be 3/(-6) - (-9)/2. Suppose 0 = i - m*w - 5, i + 3 = 3*i - w. Suppose -i = 2*g - 3*g. Is 1 less than g?
False
Suppose -j - j - 2 = -d, -4*d - 5*j + 21 = 0. Suppose d*q - 67 + 170 = -5*o, -2*o - 116 = 5*q. Let l be (q/20 + 1)*6. Is 0 bigger than l?
True
Suppose 0*d + 4*d = 4. Let q = 15 - 14. Is d at least q?
True
Let b be (12/(-126))/(12/2). Are -1 and b nonequal?
True
Suppose 0*w = w. Suppose w*u + 2*u - 8 = 0. Let m(j) = -j**2 + 7*j + 3. Let v be m(7). Is v at least u?
False
Let g(k) = 2*k**2 - k. Let f be g(-1). Suppose -6*t - 15 = -f*t. Let o be (1/1)/(t - -4). Which is greater: -2 or o?
o
Let y = -2.32 + -0.71. Let a = 2 + -1.97. Let o = y + a. Is o equal to 0.1?
False
Suppose 5*g + 13 = 2*i, -2*g + 3*i - 8 = -6*g. Let z be (-4)/5*10/(-34). Which is smaller: g or z?
g
Let d = -5 + 7. Suppose -6 = -d*j - 4. Which is smaller: j or -2/25?
-2/25
Let c(b) = b**3 - 14*b**2 + 12*b + 12. Let t be c(13). Is t <= 3/8?
True
Let z be -1*1*1/4. Let y = -0.9 - -0.1. Let s = -0.5 - y. Is z greater than s?
False
Let o = -24.9 + 25. Let b = -3 - -3.3. Let l = b - o. Which is smaller: -1 or l?
-1
Let p be 1/(-2) - (-33)/(-6). Is -7 at least as big as p?
False
Let v be (114/209)/(1/(-5)). Which is bigger: v or -4?
v
Let g = -28 - -19. Let j(x) = x + 0*x - 3 - 2*x. Let h be j(g). Which is bigger: h or 5?
h
Let d be (-2 + -6)/((-2)/3). Let l be (8/6)/((-14)/d). Are l and -1 non-equal?
True
Let w = 54 + -29. Which is smaller: 27 or w?
w
Suppose 3*q + 18 = 5*m - 2*m, -2*q - 6 = m. Suppose m*v + 2*v - 8 = 0. Let u = 75/4 - 18. Are v and u equal?
False
Let m = 11 + -18. Let f(y) = y - 7. Let g be f(2). Which is greater: m or g?
g
Let x = 0 + 1. Let h = 43 - 38. Is x not equal to h?
True
Let f = 1/46 + -59/598. Suppose -4 = 2*r - 4*x, -2 = 5*r - r - 2*x. Are r and f equal?
False
Suppose 0*b + 28 = 4*b. Which is smaller: 5 or b?
5
Let y = -17 - -15. Which is bigger: y or -7?
y
Let o be (-1 + 0)/((-17)/(-2)). Is o at most as big as 1?
True
Let u = 1018835989/735 + -1386172. Let k = 2/147 - u. Which is bigger: k or -1/3?
k
Suppose 3*j - 1 = -5*u + 29, 4*u - 12 = 0. Suppose -j = 3*o + 1. Is 0 greater than o?
True
Let u = -121.5 - -121. Is u <= 1/4?
True
Let w = -70009/209 + 335. Let z = w + 3314/1045. Let j = 58/15 - z. Is 1/5 greater than or equal to j?
False
Let l be (-8 + 3)/(-1 + 0). Let c = -1 + l. Suppose -c*q = -15 - 1. Do 4 and q have the same value?
True
Let l be 6*((-2)/3)/(-1). Let m = -3 - -3. Suppose 0 = l*d - m*d. Which is bigger: d or -0.4?
d
Suppose 2*j + 89013 = -2*t - 119455, 4*j - 5*t + 416954 = 0. Let q = 730819/7 + j. Let p = -167 + q. Is p not equal to 0?
True
Suppose 0*z = z - 4. Let b(i) = i - 4. Let d be b(z). Suppose d*g - 2*q = -4*g - 12, -4*g - 5*q + 16 = 0. Is -1 equal to g?
True
Let n be (0 + 2)*2/4. Let l(x) = x**2 - 7*x + 1. Let z be l(8). Let j be (3/(-10))/(z/4). Is j at least n?
False
Let h be (-4)/6 + -1 - -1. Suppose 0*k + 2*k = -8. Let g be (k - -4) + (0 - 1). Is h < g?
False
Let k = -9 - -15. Let r be 0 + (2/(-1) - 1). Let g = k + r. Is -2/3 greater than g?
False
Let h be (3*2/(-3))/(-1). Let s = 3 + -2.9. Which is greater: h or s?
h
Let p be (2 + -6 - -5)/13. Which is greater: 1 or p?
1
Let f(b) = b**2 + 13*b + 25. Let s be f(-11). Is s < 2?
False
Let m be (-36)/(-12)*(-32)/6. Which is smaller: -14 or m?
m
Let x = 13 + -7. Let s = x + -5. Let d = 559/3014 - 1/274. Is s smaller than d?
False
Let m = 19 + -21. Is -1/5 < m?
False
Let v be 12 + -9 + 0 + 4. Which is bigger: v or 8?
8
Let d be (-58)/(-2)*(-5 - -6). Suppose -5*u - d = -79. Let t = u + -15. Is -4 at least as big as t?
True
Let d(s) = -s**2 - 14*s - 21. Let c be d(-14). Is -19 greater than c?
True
Let i be 4 - (10/5 + 2). Let r = -0.2 + 0.3. Is r < i?
False
Suppose -5*y - 17 = -2*a, -4*a - 3*y - 7 = -2. Let f be a + -3 - (-4 - -1). Is f at most 1?
True
Let x = -0.33 - -14.33. Is x not equal to -0.1?
True
Suppose -2*n = -5*d - 32, -n + 3*d = 2*n - 30. Let t = n + -4. Which is smaller: 3 or t?
t
Let w be (((-2)/13)/(-2))/(0 + 1). Which is bigger: w or 1?
1
Let o = 26.9 + -29.9. Suppose 5*l = 2*m - 24, -m + 3*l = 3*m - 20. Let t be (1/(-1*m))/2. Is t < o?
False
Let w be ((-116)/(-77))/(0 + -2). Let x = 4/7 + w. Which is greater: 5 or x?
5
Let n = -63 + 65. Are 0.3 and n equal?
False
Let t = -4 - -4.4. Let m = t + 2.6. Let j = -4 + m. Is j less than or equal to -0.2?
True
Let g(f) = -f**3 - 4*f**2 - 4*f - 2. Suppose -4*x = -3*x - 5*m - 17, 10 = -2*x - m. Let c be g(x). Is c < 3/7?
False
Let s be 36/12*2/6. Which is greater: 5 or s?
5
Let x = 110719/297621 + -46/4077. Let u = 2/73 - x. Is u bigger than -2?
True
Let u = 150 + -603/4. Let f(g) = -g + 3. Let s be f(3). Do u and s have the same value?
False
Let z = -9/89 - 7/1691. Suppose -2*m + 5*b - 21 + 50 = 0, -3*m = -2*b - 16. Let a = m + -1. Is z smaller than a?
True
Let k = 0.04 + -5.04. Let x = 5.1 + k. Which is smaller: -6 or x?
-6
Let x be (3 + -461)*(-2)/(-12). Let q = 50 + -127. Let n = q - x. Which is bigger: n or 0.3?
0.3
Let g = 0.14 - 0.24. Let f = g + -0.9. Is 0.1 smaller than f?
False
Let k = 7.2 + -6. Let r = k + -0.2. Suppose -h = -4 + 1. Is r != h?
True
Let f = -255 - -141. Which is greater: -1/2 or f?
-1/2
Suppose b + 3*b = -3*i - 12, 0 = 2*i + 8. Do -0.04 and b have the same value?
False
Let n = 290 - 3186/11. Which is smaller: n or 0?
0
Let r be 0/(3/1) + 2. Suppose -3*d = -3*y + 12, 3*y - r*d = -y + 18. Which is smaller: y or 6?
y
Let n = -4 + 2. Are 1/2 and n nonequal?
True
Suppose w + 49 = -0*w. Do -49 and w have the same value?
True
Suppose -a + 3 = -s + 1, -2*s - 19 = -5*a. Let p(j) = 2*j - 4. Let v be p(s). Which is smaller: 4/3 or v?
4/3
Let h be 0 + 5 + -4 + 0. Is 24