+ 185 - 81 = 0. Which is smaller: h or g?
g
Suppose -28*z + 26*z + 2*y - 6 = 0, -y = -3. Let s be 1/3 - 8/(-3). Is s less than z?
False
Suppose 0 = -45*m + 976 + 599. Is m equal to -1/7?
False
Suppose -3*v - v + 22 = 3*m, -m + 5*v = 18. Suppose -3*j + 13 = -2*d, 3*d + 9 = m*j - 8. Let w = -2/17 + 25/357. Is j greater than or equal to w?
True
Suppose -3*p = 5*u - 12 - 28, 4*u + 5 = 5*p. Suppose -p*x + 0*x + 2400 = 0. Let z be 152/x - 1/4. Is 1 less than z?
False
Suppose y = -0*y - 1. Let h(k) = -k - 14. Let z be 2/2 - (13 + -5). Let r be h(z). Is r not equal to y?
True
Suppose 3*m = z + 349, 0 = m - 2*z + 29 - 142. Let w = m - 1052/9. Let a = -270 - -269. Is w < a?
False
Let s be 10/(4 + 0 + -2). Suppose 1 = s*g - 3*x + 2*x, -3*g + 2 = -2*x. Which is greater: -7/9 or g?
g
Let r = 16/115 + -278/345. Is 0.397 at least r?
True
Let i = -0.01 + 0.01. Let m = 91.2 + -91. Which is smaller: i or m?
i
Let t(s) = -2*s**2 + 3*s + 1. Let o be t(1). Let w be (o/4)/(-1 + 116/120). Is -14 at least w?
True
Let w be ((-3 - -3)/3)/3. Let j be ((1 + w)*1)/1. Let t be (-10)/30 - j/15. Which is smaller: 1 or t?
t
Suppose -9*z = 7*z - 352. Suppose 0 = -4*j - 3*l - 33, 5*j + 24 = 5*l - 3*l. Let s be (-745)/(-35) - j/(-21). Which is smaller: s or z?
s
Let a = -4 + 22. Let o = -17 + a. Let q(h) = -h**2 + 5*h + 4. Let d be q(5). Are o and d unequal?
True
Let x = 39 + -54. Is x at least 0?
False
Let k = 471 + -499. Is k at most as big as -25?
True
Let l = -9.36 - -8.5. Let p = l + -0.14. Which is greater: -11 or p?
p
Let w = 75 + -77. Let z = -5 + -3. Let a = -8.1 - z. Which is bigger: a or w?
a
Let k = -10 + 9.93. Let j = k + -0.93. Let m = -0.9 + 1. Which is smaller: m or j?
j
Let x = 14808 - 16688618/1127. Which is greater: x or 1?
1
Suppose 7*k = 3*k - 36. Let y = -23 + 25. Suppose -l - a = 12, -y*l - 5*a - 24 = 12. Is l greater than or equal to k?
True
Let a = 25 - 27. Let x(q) = -q**2 - 3*q + 2. Let y be x(-2). Suppose -y*i - 3 = -i. Is i greater than a?
True
Let h(p) be the first derivative of p**4/4 + p**3 + p - 7. Let w be h(-4). Let m be (-85)/5 - (-6)/(9/3). Is w <= m?
True
Let h(g) = -4*g**2 - 22*g + 49. Let r be h(-11). Is -192 less than r?
False
Let u = -0.42 - -8.52. Let a = -1.1 + u. Which is smaller: 2/9 or a?
2/9
Let u = 1042733/1659372 - -5/12571. Let t = u - 6/11. Suppose s + 0 = 1. Which is smaller: s or t?
t
Let i be 0/3 - (1 - -14). Let u be (i/25)/((-21)/(-2)). Which is smaller: u or 0?
u
Let y(z) = -17*z - 27. Suppose -2*b + 14 = -4*h - b, 23 = -5*h + 4*b. Let f be y(h). Is 23 less than f?
True
Suppose 0 = 4*j + 4, -15710 + 3950 = -5*k - 5*j. Is 2354 at least k?
True
Let q(y) = y**3 + 5*y**2 + 5*y + 6. Let i be q(-4). Suppose -t = t + z - 2, 0 = -i*z. Is t less than or equal to 15?
True
Let f = 437.87 + -438. Is 4/5 less than or equal to f?
False
Let q = 0.3 + -0.1. Let o = 6 + -4.6. Let s = o + -2.4. Do q and s have the same value?
False
Let d = -0.18 - -2.38. Let y = -1.1 + d. Let v = 0.9 - y. Is -3/4 >= v?
False
Let h be (4/(-82))/(1*28/21). Which is bigger: h or 0?
0
Let k be (2*1)/((-10 + 8)/(-1)). Let b be (-1)/(5 + -5 + k). Is b bigger than 6/43?
False
Let a(y) = -y + 37. Let f be a(17). Let x = f - -15. Let m = x - 37. Is m at least -10/3?
True
Suppose 722 = -5*y + i, 4*i - 3*i + 142 = -y. Is -145 not equal to y?
True
Suppose -3*a = -3*r, 4*a - 5*r - 9 = 2*a. Let f be a/(-9) + -2 + (-2)/(-2). Is -1 not equal to f?
True
Let z(i) = -407*i - 180. Let o be z(3). Which is greater: -1400 or o?
-1400
Let q = 20 - 11. Suppose -2*u = u - q. Let d be ((-2)/u)/(2/(-17)). Which is smaller: 7 or d?
d
Let r be 336/32*8/6. Let z be (2 - 0)/(r/147). Which is smaller: 23 or z?
z
Suppose -4*d + 2*d = -14. Suppose 10*a + 80 = 60. Which is greater: d or a?
d
Let l be 2816/40 - (-8)/5. Is 73 equal to l?
False
Let z = -71/10 + 5401/760. Which is smaller: z or 4?
z
Let o(z) = -z. Let t be o(2). Let a = -223 + 1119/5. Which is bigger: t or a?
a
Suppose 14 = -14*g + 13*g. Let p = -37 - g. Which is smaller: 0 or p?
p
Suppose 0 = -3*r + h + 44 + 46, 4*h = -3*r + 105. Suppose 26 = -4*f + 2*g, -f = 3*f - 3*g + r. Is f greater than -25/8?
False
Let s(n) = 9*n**2 - 403*n - 810. Let a be s(-2). Let g(j) = 2*j**2 - 7*j + 1. Let w be g(6). Is w equal to a?
False
Suppose -3*h - 599 + 713 = 0. Is h at least as big as 5?
True
Let n = 5887454/92785 - -16/8435. Which is smaller: 63 or n?
63
Let l = 0.03 - 8.03. Let w = l + 7.9. Which is smaller: 25 or w?
w
Let j = -0.21 - -0.02. Let a = 0.147 - 0.047. Are j and a unequal?
True
Suppose -4*c - 3*v - 219 = 0, 2*c - 4*v = -43 - 39. Let z be (-6 - -5) + c/(-42). Which is smaller: 1 or z?
z
Let r = 60 + -63. Let p be r/(-7)*(-35)/(-10)*-2. Let b be 40/(-18) - 4/(-18). Which is greater: b or p?
b
Let p = 0.226 - 1.326. Is p bigger than 0.8?
False
Let p(j) = 44*j - 631. Let q be p(18). Is q greater than or equal to 163?
False
Suppose -2*j - 6 = 5*n, -2*j - 3*n - 6 + 0 = 0. Suppose -6*m = -m + 20. Is j > m?
True
Let r be ((-23210)/125)/(-22) + -9. Suppose 0 = -h + 3*h. Is r greater than or equal to h?
False
Let z(f) = 1414 + f - 1399 - 2*f. Let d be z(13). Is d at most as big as 7/12?
False
Let m(x) = x**3 - 8*x**2 + 16*x - 10. Let t be 3/(10/4 - 2). Let f be m(t). Suppose 17 = 2*b - 9. Is f >= b?
True
Let i be (1446/5)/((-4)/(-10)). Let r = 2915/4 - i. Which is smaller: 6 or r?
r
Let q = -172 + 306. Which is smaller: 129 or q?
129
Let g = 29.78 + -1.78. Which is greater: -1 or g?
g
Let y(g) be the third derivative of -g**5/15 - g**3/6 + 5*g**2. Let m be y(-1). Let z = 1.14 + -0.14. Which is smaller: z or m?
m
Let x(t) = -t + 7. Let l be x(7). Let m be -4 + (92/24 - l). Which is smaller: m or 0?
m
Let r be (2 - -1) + 2 - 3. Suppose -4*g + r*g = 2. Let z be -3*1*4/(-72). Are g and z equal?
False
Let z be ((-8)/(-208) + 0)/(4/240). Is 1 at most z?
True
Let l be 15689/6830 + 1*-3. Let g = l + 2/683. Let p = -1/30 - g. Which is smaller: 2 or p?
p
Let f be ((-6)/12)/((-4)/(-224)). Is f at most -27?
True
Let w(x) = -x**3 - 11*x**2 + 32*x - 26. Let y be w(-14). Do y and 114 have the same value?
True
Let j be 1/1*2/57. Let i(g) = g**2 - 24. Let s be i(-5). Which is smaller: j or s?
j
Suppose 6*u + 26 - 8 = 0. Which is smaller: u or -21/5?
-21/5
Let a be (-1)/50*(-20)/(-120). Is a smaller than -1?
False
Let p = -7.673 - -7.7. Let u = p - -0.173. Are -2/5 and u unequal?
True
Let d be (298*1)/(19 + -2 - 11). Are d and 49 unequal?
True
Suppose 5 = 2*p - 1. Suppose -7*a = p + 11. Suppose 5*i = -0*i - 10. Is a > i?
False
Let o be (5 + -2)*1/3 - -3. Let j be ((-3)/(-6))/(2/o). Is j > 2/13?
True
Suppose z = -5*w - 14, 10 = -z - z - 4*w. Let l be (z/1)/(218/31 + -7). Which is greater: -1 or l?
l
Let c = 7.86 + 0.14. Let m = -11 + c. Suppose 4*j - 2*d + 4 = 2*d, -4*j - d + 1 = 0. Which is smaller: m or j?
m
Let c be (-26)/(-10) + (-1)/(-1). Suppose 5*h + 20 = 4*r, 5*r - 20 = h + 4*h. Let i be 3 + (0 - -8)/4 + r. Which is bigger: c or i?
i
Suppose -3*c - 6*n = -n - 46, 2*c + 2*n = 24. Let k = -21 - -25. Suppose -4*a - c = z, z + k = 4*a + 5. Is a >= 1/16?
False
Suppose -b = -6 - 25. Let q = b + -6. Which is smaller: q or 23?
23
Suppose 0 = -2*t - t - u + 7, -5*t + 17 = 3*u. Let b be (2/(-9))/(-1) - 94/18. Which is greater: b or t?
t
Let y = -1 + 5. Suppose -y*n = -7*n - 42. Let h(t) = -t - 46. Let l be h(-32). Does l = n?
True
Let d be ((1 - 1)/(-2))/2. Suppose 2*r + 4*g + 56 = d, 5*r + 0*g + 84 = 4*g. Which is smaller: r or -19?
r
Let o = 79 + -80. Is 1/132 smaller than o?
False
Let d = -697 + 815. Is d > 2/5?
True
Let r(s) = s + 10. Let v be r(-8). Suppose 4*m + 4*t = 18 - v, -m - 2*t = 0. Are m and 7 unequal?
True
Suppose 27 = 2*x + 3*p, 164*p - 163*p = -3*x + 30. Suppose -4*w - w + 45 = 0. Do x and w have the same value?
True
Suppose a + 2*r = 2 - 5, -4 = 4*a + 4*r. Is 9 bigger than a?
True
Let u = 12 + -10. Suppose 4 + u = b. Is b smaller than 5?
False
Let o = 251.1529 + 0.2471. Let t = 274 - o. Let k = -23 + t. Does k = -0.5?
False
Let n(c) = -11*c**3 + 2*c**2 + 51*c - 193. Let d be n(4). Which is greater: -659 or d?
-659
Let s = -1307/42 - -185/6. Which is smaller: s or -0.245?
s
Let w = -1.04 - -1. Let x be 10/(-8) + 1 - (-2505)/4676. Is x smaller than w?
False
Let b be ((-10)/(-25))/(3/15). Suppose 4*i = b*v + 5 + 1, 5*i = -5*v - 75. Let m 