. Suppose -9*s + h*s = 30. Which is bigger: r or s?
s
Let p be (-2)/(-9) - (-4209)/1674. Let x = -28/31 + p. Let g = x + -7/3. Is -0.1 at most as big as g?
False
Let j(z) = -2*z - 7. Let b be j(-5). Suppose -g - 6 = 3*i + 4, -4*i - 8 = 0. Let r = 6 + g. Which is smaller: b or r?
r
Let p be (-4)/(-16) + 3/(-12). Let c = -1 - -1. Is c less than or equal to p?
True
Let h = -96 + 193/2. Do h and 17 have the same value?
False
Let k = -6 + 4. Let w(v) = -v + 3. Let a be w(-15). Let l = a - 18. Is l >= k?
True
Let m be ((-1)/(24/3))/(12/(-48)). Suppose r - 2*r = 0. Are m and r unequal?
True
Suppose 0 = -4*v - 2*i - 10, -3*v = -i - 3*i - 9. Which is greater: v or 2/43?
2/43
Let s(k) = -79*k**2. Let n be s(1). Let r = n - -397/5. Which is greater: -1 or r?
r
Let i = -0.6 + 0.1. Let q = i + 0.6. Suppose 0 = -4*m - m + 10. Is q < m?
True
Let c be (-2 + 1)/((-3)/1). Let b be (-5 - -6)/(-1 + 0). Are c and b non-equal?
True
Let n = 4.3 + -4. Which is smaller: -0.1 or n?
-0.1
Let s = -5/953 - 1051/162963. Are 1 and s non-equal?
True
Let f(x) = x**3 - 4*x**2 - 9*x + 1. Let u be f(6). Let c = u - 10. Suppose 4*q = 4*h - 4, -6*q - c = -3*h - q. Do 1 and h have the same value?
False
Let m = 13 - 14. Which is greater: m or 2/15?
2/15
Let k = -8.2 + 6.2. Is k at most -3?
False
Let z = -73/5 - -813/55. Let c = 14 + -10. Suppose 2*g - 2 = -c. Is z < g?
False
Let h(k) = 4*k. Let v be h(3). Suppose -q + 5*q = -v. Is -5 less than q?
True
Suppose -5*o + 10 = d, 2*d = -2*d - 4*o + 24. Suppose 5 = d*a - 0. Suppose a = -3*y + 4. Is y at most 0.2?
False
Let g be 972/126 - (-6)/21. Let n = 3 + 3. Which is smaller: g or n?
n
Let d = -3.2 - -0.2. Let u be ((-2)/(-5))/((-12)/120). Let m be 2 + 1 + 1 + u. Which is smaller: m or d?
d
Let c = -35 + 141/4. Let h = -61/3 - -21. Is c less than or equal to h?
True
Let g be (-13)/12 + 1/3. Let h be 3/(-1 - -4) - (10 - 9). Which is bigger: g or h?
h
Suppose -2*f = -4*h + 16, 3 = h + 3*f - 8. Which is greater: 7 or h?
7
Suppose -3*o + 2*k + 14 = 0, 5*o - 4*k - 13 = 11. Suppose -4*f - 3*j = -3, -o*j - 1 = -5. Are 0 and f equal?
True
Let u(c) = -c + 4. Let l = -16 - -22. Let d be u(l). Let w be d/(-4) - 15/6. Is 2/3 < w?
False
Let t = 6/23 - 47/92. Let c = -9.9 - 1.1. Let p = -11.5 - c. Is t greater than or equal to p?
True
Suppose z = -2 + 6. Let p = 1 + z. Suppose 30 - p = -5*h. Is -5 less than h?
False
Let c(h) = -h**2 - 7*h + 5. Suppose 2*y - 3*y = 6. Let b be (2 - -10)*4/y. Let i be c(b). Which is greater: i or -1?
-1
Let f = -6 + 21. Suppose j + 4*j - f = 0. Let t = 4 - j. Is t less than 6/11?
False
Let u = 57 - 229/4. Let q = 13 - 11. Which is smaller: u or q?
u
Suppose -2*f + 14 = -3*f. Which is smaller: f or -13?
f
Suppose 0 = -5*r - 4*x + 288, -4*r = 4*x - 306 + 78. Suppose 6*v + r = 2*v. Let q be 2/5 - (-11)/v. Which is smaller: q or 1?
q
Let f = -62 + 62.01. Is f > 5?
False
Suppose 13 = 5*n - 12. Suppose -11 = -n*h - 3*r, 3*h = 5*r - 4*r + 1. Are 1/10 and h nonequal?
True
Let d = -66183/30820 + -4/1541. Let k = d + 7/4. Is 0 bigger than k?
True
Suppose -3 = -v - 3*g, 0*g + g + 95 = 5*v. Let p = v + -14. Is p greater than 4?
False
Suppose -5*u = -3*h - 3, -4*u - h + 1 = -2*h. Let l be u/(-2) - (-5)/(-20). Is l <= 2?
True
Suppose -f = 2 - 1. Let w = -59 + 412/7. Is f greater than or equal to w?
False
Let h be (0 + -13)*1*1. Let z = h + 6. Let t be 3/(z/2 + -1). Do 0 and t have the same value?
False
Let n = 4.02 + -4. Let l = n + 0.98. Let z = l + 0. Which is bigger: 2/5 or z?
z
Let l = -10/49 - -520/147. Is 4 at most l?
False
Let k = 83712/97 + -863. Let y = 177/1649 + k. Do y and -1 have different values?
True
Let m be (-4)/(-10) - 352/(-20). Suppose -2*z = -4, n - 3*n + m = -5*z. Let o be 4/14 - (-38)/n. Are o and 4 equal?
False
Let j = 5.128 + -0.028. Let r = j - 5. Is -0.1 not equal to r?
True
Let v = -55983/43 + 1302. Which is bigger: v or 1?
1
Let n = 5 + -8. Let g = n + 3.04. Which is smaller: g or -1/2?
-1/2
Suppose -3*r - 76 = r. Which is bigger: -20 or r?
r
Let c = 0.09 + 1.51. Let t = c - 2.6. Do t and 4 have different values?
True
Let w be 8/(-52) - (-164)/52. Do -1 and w have the same value?
False
Let r(k) = k**2 - k. Let p be r(0). Let g be 105/275 + 2/(-10). Which is greater: g or p?
g
Let i be ((-4)/5)/((-4)/(-20)). Let g be i/(-18) - 2/(-72). Which is smaller: -1 or g?
-1
Suppose 4*o + 12 = -3*c - 4, -3*o = c + 7. Let r = -3.4 - -0.4. Is r at least c?
True
Let h be ((-2)/4)/(1/12). Let i = 10 + h. Suppose -5 = -i*k - k. Are k and -1/5 unequal?
True
Let l(m) = -m**3 - m**2 + 3*m + 3. Let s be l(-2). Suppose -42*u = -13*u. Which is bigger: s or u?
s
Let q = -33 - -35.9. Let k = -3 + q. Which is greater: k or -10?
k
Suppose 2*z - 4*d - 100 = 0, 0*z + d - 305 = -5*z. Do 61 and z have different values?
True
Let a be ((-6)/8)/((-1)/4). Let z be 6*a/(-18)*-2. Suppose -o - 22 = 3*o + 2*g, o = -z*g - 7. Is o < -4?
True
Let u = -2/615 - -707/28290. Is 0 != u?
True
Let l be (-5 + -1)*(-42)/(-9). Let z be 0 + -1 - l/16. Suppose -2*d = -0*d. Which is greater: z or d?
z
Let l(n) be the second derivative of -n**4/12 - n**3/2 + 3*n**2/2 + 3*n. Let p be l(-4). Let j = -1.4 + 1. Which is bigger: p or j?
j
Suppose 12 = 2*s - 3*q, -2*q - 12 = -4*s - 4. Let m = 4 - 4. Suppose -5*g + 10 = -m*g. Which is smaller: g or s?
s
Let v(q) = -q + 57. Let w be v(0). Let c be w/(-8)*2 + 1. Let z = c + 13. Is 1 smaller than z?
False
Suppose 5*l - 2*k = 35, -3*k - 21 = -6*l + 2*l. Let o be (l/(-12))/((-6)/(-4)). Which is bigger: o or -1?
o
Let l be (-4)/12 - (-10)/12. Which is smaller: 1 or l?
l
Let u = -1832 - -126406/69. Let x = u + 85/552. Which is smaller: x or -0.2?
-0.2
Suppose -2*s + 1 = -1. Let l be (-100)/(-90)*(-6)/(-8). Is l less than s?
True
Let c(g) = g**2 + 8*g + 7. Let w be c(-6). Suppose 83 = 5*z + 23. Let h = 7 - z. Is w equal to h?
True
Suppose 3 = 4*c + 19. Let q = c - -4. Which is smaller: 2 or q?
q
Let l(o) = 5*o**2 + 3*o. Let q be l(-2). Let m be (-4)/q + (-115)/(-35). Are m and -0.1 equal?
False
Let k be (-2469)/(-78) - -2 - (-26)/(-169). Which is smaller: k or 35?
k
Let f = 503 - 496. Suppose -c + 9 - 1 = 0. Is c > f?
True
Let t = 1 + -1. Let u = -1.67 + 1.47. Is u equal to t?
False
Suppose -3*h - 3*q - 182 = -11, 12 = -4*q. Which is smaller: h or -53?
h
Let j = 212/225 + -18/25. Which is smaller: 0.3 or j?
j
Let y(j) = 6*j**2 + 3*j + 2. Let u be y(-2). Suppose 2*a - 36 + u = 0. Which is bigger: a or 7?
a
Suppose 0 = -4*d - 5*f - 11, 4*d + 6*f - 13 = 9*f. Is -4/51 at most as big as d?
True
Suppose -3*v + z = 7, 3*z + z + 4 = -4*v. Let l = -4 - v. Let n(w) = 6*w + 51. Let b be n(-9). Is l > b?
True
Let j(d) = d**3 - 10*d**2 + 9*d - 5. Let h be j(9). Let p = h + 1. Is p greater than or equal to -4?
True
Suppose 2 = 4*x + 14. Suppose 22 = -5*w + 2. Is w bigger than x?
False
Let h be 148/8 + (-3)/6. Which is greater: h or 17?
h
Suppose 7*p = -10 + 3. Which is smaller: p or -4/9?
p
Suppose -3*a + 6 = -5*a. Let x be 2/a - (-5)/75. Let z = 0.2 + -1.2. Is z bigger than x?
False
Let y = 131 + -121. Which is greater: 11 or y?
11
Let c = 682 + 56. Let w be c/112 - (-4)/14. Let v = w - 369/56. Are v and 1 non-equal?
True
Let v = -1.1 - -0.73. Which is greater: 1 or v?
1
Let m = -80 - -558/7. Let j = 1.94 - -0.06. Let p = 0 - j. Which is smaller: m or p?
p
Suppose 2*q + 0*q = 0. Let p be 1 - (q + 0 + -3). Let a = p + 1. Is 5 < a?
False
Suppose -2*f + 3*f + 1 = 0. Let o = f + 4. Suppose -o*s + 2 = 5. Is s > 0?
False
Let y be 4/14 + (380/(-224))/(-5). Suppose -m - 2 = -2*m. Is m greater than y?
True
Suppose -2*m + 42 = 4*z, -2*m + 4 = -4*z - 14. Suppose -2*p - m + 5 = n, 5*p + 10 = 5*n. Let d be (-4)/6*(-6)/p. Which is greater: -2/9 or d?
-2/9
Let b be -5*((-4)/5 + 0). Let q be b/((-1)/(683/14)). Let v = q - -196. Which is smaller: 1 or v?
v
Let i = -72.9 + 69. Let y = i + 0.9. Is y greater than -2?
False
Let r be (-4)/18 - 102/(-702). Is r greater than -1?
True
Suppose k = -2*l + 6, 2*k + 18 = 2*l - 3*k. Let h be (-468)/70 + l/14. Let y = h - -6. Are y and 1 non-equal?
True
Let k = 10859581/6501336 - -23/37364. Let w = -1/232 + k. Is w bigger than 3?
False
Let h be (7 + (-123)/9)/((-2)/(-6)). Is h at least -20?
True
Let v be (-66)/8 + (-13)/(-52). Is v greater than or equal to -8?
True
Suppose -20*i - 5 - 235 = 0. Which is smaller: 