/4. Let r = 1 - h. Which is greater: -2 or r?
r
Let h be 14/(-21)*(-1 + -2). Suppose j = h - 1. Do -3/32 and j have the same value?
False
Let b = -172309/5496 - 16/687. Let d = b - -31. Which is bigger: d or -1?
d
Let t = -766 - -751. Is t greater than -59/4?
False
Suppose 0 = 7*u + 41 - 6. Let g be (0/u + 0)/(-2). Is -2/23 greater than or equal to g?
False
Let k = 6 - -17. Let o = -139.6 + 139.8. Which is bigger: k or o?
k
Suppose 30*g = 26*g. Let n be (-1 - 0)*-6 + 1. Suppose -s = -n - g. Is s greater than 6?
True
Let d = -0.131 - -13.331. Let g = 13.5 - d. Which is smaller: g or 1/7?
1/7
Let d = 31 + -35. Let q be (2 + 12/d)/1. Is q smaller than -3?
False
Suppose 12*f - 7*f = 5. Let d be 5/f*(-32)/4720. Is d not equal to 1?
True
Suppose -3*j + 43 = 5*q, -2*j + 4*q + 0 - 8 = 0. Suppose -j*r - 3 = -9. Which is greater: r or 1/58?
r
Let p = 62 + -121. Let s = p + 51. Which is smaller: -9 or s?
-9
Suppose -m - w = m - 23, -w = -2*m + 21. Let q(i) = -9*i - 1. Let j be q(-1). Let x = j - -2. Which is smaller: x or m?
x
Let b be 1/(2/3) - (-2201)/(-310). Is -0.1 greater than b?
True
Let p(r) = -4*r - 57. Let d be p(-11). Let a be d/(-13) + 3 + -2 + 0. Let x = 265 - 1321/5. Which is smaller: x or a?
x
Let p(o) = 2*o**2. Let d be p(-2). Let a = 0.17 + -3.17. Let j = a + 2. Which is greater: j or d?
d
Suppose -2*d + 32 = 6*d. Suppose 69 = -d*m + 5*b + 20, 0 = -4*m + 2*b - 46. Which is smaller: 0.2 or m?
m
Let p(g) = -2*g**3 - 23*g**2 + 11*g - 50. Let c be p(-12). Is -346/9 <= c?
True
Suppose -5*t - 10 = c + 2*c, 2*c = -4*t - 8. Suppose i + 3 = -3*a + 5*i, -a - i + 6 = c. Suppose -1 = b + 2*h, -2*b = -3*b - a*h - 1. Is b at least -1?
True
Let q be 141/278 + -1 + 3. Let y = -1/139 + q. Let c(b) = b - 11. Let m be c(13). Is y >= m?
True
Let k be 1 + (-15)/12 + 3/(-4). Let i be (k - -3) + 3 + -5. Which is smaller: 1 or i?
i
Let h(b) = -25*b + 277. Let v be h(11). Let l = 9 + -12. Is l <= v?
True
Let s = 3 + 12. Let f = -14.94 + s. Let d = f + -3.06. Is 0.3 at most d?
False
Let v(m) = 26*m + 10. Let u(q) = -14*q - 3. Let j(c) = c. Let z(w) = 5*j(w) + u(w). Let d(a) = -6*v(a) - 17*z(a). Let i be d(0). Is -9 >= i?
True
Suppose -5*y + 3*k = -7, 4*y = -0*k + 4*k + 12. Let o be -22 + 0/(-1) - (-2)/y. Is -25 greater than or equal to o?
False
Let z be (1 - (-6)/9)*3. Let o(k) = 6*k**2 + 1. Let j be (-3)/4 + 4/(-16). Let q be o(j). Is q bigger than z?
True
Let u = 318 - 406. Is -86 greater than u?
True
Let j be (-6 - 0) + 7 + -11. Is j at least as big as -19?
True
Let r be -3 + 0 - 2640/28. Let h = r + 97. Is h greater than 30?
False
Let l = 10 + -1. Suppose 4*n = -3*v + 6, -4*v - 4 = 3*n - 12. Suppose n*j + 4*a - 13 = -3*j, 3*j - l = -3*a. Which is smaller: 2/11 or j?
j
Suppose 361*x - 383*x = -286. Is x at least as big as 8?
True
Let s = -1.118 + -41.882. Is s at most -5?
True
Let c = -1422/275 + 56/11. Let u(v) = -5*v**3 - 3*v**2 + 2*v - 12. Let s(y) = -2*y**3 - 2*y**2 + y - 6. Let i(k) = 7*s(k) - 3*u(k). Let z be i(5). Is z > c?
False
Suppose 5*n - 4*l - 41 = -228, 4*n - 2*l = -152. Which is smaller: -40 or n?
-40
Let f = -601 + 231. Are f and -370 equal?
True
Let x = 125 - 174. Let f = x + 49. Is f > 41?
False
Suppose 12*i - 226 = 9*i + 2*b, 3*b = 5*i - 376. Is 79 equal to i?
False
Suppose 23*q = 10*q + 14*q. Is q != 6/85?
True
Let r be 2/((-416)/(-1599))*18. Is r bigger than 138?
True
Let s = -33/182 - 6/13. Suppose -i - 5 = -5*z - 16, 5*i = 4*z + 34. Is s greater than or equal to z?
True
Let b = -34 - -15. Let p = b - -15. Suppose -4*n = -0*n + 5*r - 3, 5*n + 3*r + 6 = 0. Which is smaller: n or p?
p
Suppose 0 = 5*i - 4*y - 116, -2*i + 0*i + 5*y + 43 = 0. Suppose -12 - 660 = -28*w. Are w and i unequal?
False
Let t be (-18)/(-27) - 7/(-21). Which is greater: 10/57 or t?
t
Suppose -10*h + 52 = -6*h. Suppose 2*w - h = -3. Suppose g = -2*v + 3, 3*v - 3*g = -5*g + w. Is 2 not equal to v?
True
Let p be (-3*(-3)/6)/(203/(-58)). Are p and -0.14 non-equal?
True
Let b = -272/45 + 58/9. Is b at least as big as 442?
False
Let r be 6465*((-12)/(-285))/(-2). Let z = 136 + r. Which is greater: z or 1?
1
Let d = 2/265 + 213/6890. Is -1 greater than or equal to d?
False
Let x = 3 - 3. Let v = 10 - x. Suppose 0 = -v*u + 5*u + 85. Which is greater: u or 19?
19
Suppose 0 = -g - 2*x + 6 + 3, 45 = 5*g - 5*x. Let v(p) = p**2 - 5*p - 7. Let z be v(g). Which is smaller: 28 or z?
28
Suppose 21*q + 96 = 18*q. Do -26 and q have different values?
True
Let r = 0.021 + 62.979. Let i = r + -63.1. Let m = -1.5 - 0.5. Is m at most as big as i?
True
Let v = 1.2 + -0.2. Let b = 6.98 - -0.02. Let s = b + v. Which is smaller: -1 or s?
-1
Let j = 28.22 + -19.25. Let a = j + -9. Let k(i) = i**3 + i**2 + 1. Let v be k(0). Which is greater: v or a?
v
Let j be ((0 - 4)/1)/(-2). Let t be (j/1)/((-2)/(-4)). Suppose 0*i + t*i + 8 = 0. Is -6/11 at most i?
False
Let j = 2 + -8. Let f = 0.031 - -4.069. Let s = f + -4. Are j and s unequal?
True
Let s = 4.56 + -4.46. Which is greater: s or -2/3?
s
Let n(v) = -v**3 - 6*v**2 + 5*v. Let h be n(-6). Let f be (-12)/3 - h/5. Are f and 3 nonequal?
True
Let i = -9.9 - -12.2. Let p = -2 + 4.2. Let y = i - p. Does -1/12 = y?
False
Let x(q) = -q**3 - q**2. Let d be x(0). Suppose -2*p = -d*p. Let u = -23 + 22. Which is greater: p or u?
p
Let i = -649 + 649. Which is smaller: -3/52 or i?
-3/52
Let b be 6/2 + (1 - -1). Suppose 0 = -b*q - 32 + 77. Which is bigger: q or 6?
q
Let x(o) = -o - 12. Let z be x(-13). Let a be 28/240 + 3/(-15). Is a < z?
True
Suppose -2*p + 22 = 2*a, -3*p = 4*a - 40 - 3. Which is smaller: 9 or a?
9
Let b be (-940)/(-520) - 1/(-2)*-3. Suppose u = -3*q + 10 - 3, -3*q = -u - 5. Is u less than b?
False
Let q be 10/6 - (-11)/33. Which is smaller: 4 or q?
q
Suppose -55*b = -64*b + 252. Let v = -24 - -51. Is b at most as big as v?
False
Suppose -5*b + 5 = -5. Suppose -5*p - 2 = b*i - 0*i, 4*i + 4 = -p. Is p at least as big as 0?
True
Let u = 2105 + -1877. Is u <= -2/11?
False
Let z be (2/(-15))/((-4)/2). Let k be 12/3*(2 + -3). Let t be -4 - ((-60)/k)/(-3). Which is bigger: z or t?
t
Let q = 29/3666 + 157511/711204. Let o = -314329/35308 - q. Let w = o + 65/7. Which is bigger: -0.2 or w?
w
Let d be (4/482 + 0)/1. Let y be 5 + 160/(-25) - 20/(-50). Which is smaller: d or y?
y
Let t be (3/2)/((-12)/(-456)). Suppose -5*g = 3 + t. Which is smaller: g or -14?
-14
Let v(g) = -g + 9. Let o be v(8). Let s be -1593*o/(-490) + 1. Let i = s + -5/98. Which is smaller: i or 4?
4
Suppose 3248 = 30*c + 10268. Is -234 <= c?
True
Let x(h) = 8*h + 5. Let s be x(-7). Let a = -4 - -5. Let m be (a/s)/((-4)/24). Which is bigger: 2 or m?
2
Suppose z = 3*x + 9, -4*z - x = -6*x - 15. Suppose 4*o - 5 + 73 = z. Let j(u) = -u**2 + 15*u - 31. Let c be j(14). Are o and c unequal?
False
Suppose -v - 4*i = 18, 2*v - 16 = 4*i + i. Let a be (4 - (-5)/v)*-4. Let o be (a/(-3))/(0 + -2). Is 1 != o?
True
Suppose 11*t - 209 = 99. Which is greater: 3 or t?
t
Let s(x) = x**3 - 8*x**2 + 14*x - 10. Let b be s(6). Let v be -2 + 5 + b + -2. Suppose -m - 2*f = -12, 5*m = 3*f - f. Which is smaller: m or v?
m
Let w = -15 - -14.9. Let s = 26 - 22.99. Let b = -0.01 + s. Is w at least b?
False
Let k = -23.78 + 37.78. Suppose 4*b + 1 = -3. Which is smaller: b or k?
b
Let h = -46.8 - -46.9. Which is smaller: h or -817?
-817
Let z = 4 - 7. Let v be z + 14*(-3)/(-6). Suppose v = 4*n - 0. Which is smaller: n or -1?
-1
Let q = -44/261 + 21610/131283. Is 1 smaller than q?
False
Let d = 0.0921 - 3.0921. Which is greater: 84 or d?
84
Let y = 6095593123/14208342 - 123/205918. Let z = y + -429. Is z at least 0?
True
Suppose 65 = -5*f + 2*v, 2*f = -6*v + 4*v - 12. Are -106/9 and f unequal?
True
Let k = 19 - 33. Which is smaller: -26 or k?
-26
Suppose -7*o - 33 = -26. Is o >= 11/40?
False
Let c = -0.13 + 0.24. Let y = -5.076 + 0.186. Let g = c - y. Is g less than -2/5?
False
Let q(a) = 1255*a**2 + 2*a + 1. Let u be q(-1). Let h = u + -361151/288. Is 1 < h?
False
Let m = 0.222 - 0.022. Suppose -3*g + 52 = -32. Suppose -4*t + 4*r - g = 0, -17 + 4 = 3*t + 5*r. Which is bigger: m or t?
m
Let n be 4/(-10) + 64/10. Suppose -2*t + 36 = -2*q, 0 = 2*q - 6*q + 8. Let v(s) = s**2 - 20*s + 5. Let r be v(t). Which is bigger: n or r?
n
Suppose 3*d = 7*d - 3*o - 408, 4*d + 2*o - 408 = 0. Do d and 103 have the same value?
Fals