 -29*g + 45*g - 16 = 0. Is g less than 2/167?
False
Suppose -101*h = -111*h. Let o = 4 - 23/6. Which is greater: o or h?
o
Let r be -3 + 0 + -1 + 6. Let p be (32/4)/24*r/82. Is 1 at least as big as p?
True
Let w be 24/72 + 8/(-6). Let c be (4 + w)/((-6)/(-72)*-9). Which is smaller: 8 or c?
c
Suppose -160 = 3*h + 119. Let t be h/6*2 - 4. Is t less than or equal to -35?
True
Let m = -4.55 + 12.54. Let w = 8 - m. Which is greater: w or -2?
w
Let y(g) = 13*g + 53. Let f be y(3). Is 93 at most f?
False
Let d(n) = -n**3 + 3*n**2 - n + 3. Let b be d(3). Which is bigger: -11 or b?
b
Let d(z) = 16*z**2 + 3*z - 3. Let o be d(1). Suppose -o*j + 21*j = -70. Are j and -15 nonequal?
True
Let k = 3 - 3. Let u be ((-140)/(-105))/(0 + (-4)/6). Which is bigger: k or u?
k
Let r(v) = v**2 - 9*v + 9. Let l = -137 + 145. Let y be r(l). Let g be (2/(-12))/(-6 + 2). Is g <= y?
True
Let j = -15.9 + 25. Let f = j - 0.1. Which is bigger: 2 or f?
f
Suppose 0 = -3*o + 4*k + 48, 3*k - 64 = -0*o - 4*o. Let j = o - 17. Which is smaller: -5 or j?
-5
Suppose 11 = -3*l + 2. Let m be 2/(-6)*(-3 - l). Let a be 1 - (m - (-3 - -2)). Is -2/19 less than a?
True
Let x be 662/164 + (-4 - 0). Let u = x + 1033/902. Is 0 equal to u?
False
Let c(n) = -n**2 + 2*n. Suppose 0 = -t + 2*t, 2*h = 5*t - 6. Let o be c(h). Which is greater: o or -16?
o
Suppose -3*q = 5*f - 20 - 0, 60 = 5*q - 5*f. Let v(c) = -5*c + q - 3*c + 9*c. Let i be v(-8). Which is smaller: 5 or i?
i
Let v(f) = -f**3 - 3*f**2 - 3*f. Let k be v(-2). Suppose -k = -4*h + 6. Suppose -2*c = 2*c + 4, -4*q + h*c - 42 = 0. Is q <= -11?
True
Let w be 40/50*(-10)/(-4). Let h be -1 - 20/15 - (-4 + w). Are h and 1 equal?
False
Suppose -x = 3*q, -5*q = -2*x - q + 10. Is x at least 11?
False
Suppose -24 = -3*r + r. Let z = -18170 - -18176. Is r <= z?
False
Suppose 4 + 8 = 4*o. Suppose 5*h - b + 435 = 0, -357 = 4*h - 2*b + o*b. Is h equal to -88?
True
Let y = 3 + -2.9. Let b = -0.01 - -17.01. Let l = b - 17. Which is smaller: y or l?
l
Suppose -18 - 12 = 3*n - 3*f, n + 3*f + 18 = 0. Let x be 19/(-10) + (-18)/n. Let c = -39/14 - 5/7. Do c and x have different values?
True
Let o(x) = 17*x**2 + 8*x + 10. Let v be o(-5). Let z be (v/100 - 0) + -4. Which is smaller: 1 or z?
z
Let s = -12.3 + 7.3. Which is smaller: 1/29 or s?
s
Let s be (63/(-42))/(2/4). Let q be (2/26)/(s/6). Which is smaller: q or 0?
q
Let q = 116 + -78. Let l = -37 + q. Which is bigger: l or -2.1?
l
Let g be (-510)/1 + 6 + (-20 - -12). Which is greater: g or -513?
g
Let w = 12.7 + -13. Let b = w - -0.34. Let s = 225 + -225.2. Which is greater: b or s?
b
Let s(w) = 8*w**2 + 2*w - 14. Let x be s(3). Are 62 and x equal?
False
Let d = -0.22 - 11.78. Let a = 73 - 82. Let q = d - a. Is -2 equal to q?
False
Let a be ((-6)/(-16))/(((-19)/(-8))/19). Suppose 7 = -5*h + 3*g, -5*h + 0*g - 5*g = -25. Which is greater: a or h?
a
Let g be 1*((-260)/(-300) - 2/(-15)). Let q = -0.24 + 2.24. Is g < q?
True
Suppose 6*x - 20 = 3*x + 4*a, -5*x - a + 18 = 0. Suppose 2*y = x*y - 78. Suppose 36*t - y*t = 3. Which is bigger: -6/11 or t?
-6/11
Let u = 2879/6901 - 26/67. Is -1 greater than or equal to u?
False
Let v be (-1)/(0 - -1) - 64. Let x be v/(-6) - 1/(-6). Let d be 3*((-34)/x - -3). Is d at least 1?
False
Let t(x) = -2*x + 32. Let g be t(17). Let d be g/(-3)*15/(-25). Is 0 less than d?
False
Let w = -692 - -871. Which is smaller: 178 or w?
178
Let b = 3512 + -98275/28. Which is smaller: 2 or b?
2
Let v(c) = c**2 + 7*c + 8. Let t be v(-6). Suppose 0 = -r + 6 - 9. Let l = r + t. Which is smaller: l or -2/3?
l
Let t = 15 + -9. Let i = -4 - t. Let h = -20 - i. Is h less than or equal to 2/3?
True
Let y = -3.854 - 0.146. Suppose r + 2*c = -10, r + 15 = 3*r - 3*c. Let b = 1 - r. Is b greater than y?
True
Let j = 109 - 96. Suppose -2*t = 3*m - t + 11, t + j = -4*m. Suppose 4*a + 3*r = -0*r, 5*r - 5 = -5*a. Which is smaller: m or a?
a
Let d be 0 - (-3 + 0/4). Suppose q = -2*q + d. Suppose -2 = n, -5*f - n - 4 - 8 = 0. Which is smaller: q or f?
f
Suppose -2*f + f + g = -2, 0 = 2*f + g - 10. Suppose -l = f*l - 70. Suppose l*h = 10*h - 4. Is h at least -1?
True
Let d = 86038/25 - 3442. Which is smaller: d or 1?
d
Suppose -4*j + 14 = 2*b, 3*j + 11*b + 22 = 16*b. Let a be (-6)/(-8) + 1/4. Is a at most as big as j?
True
Let g be -1 + 64/11 + -1. Let f = -325 + 330. Is g > f?
False
Let g = 2497.93 - 2498. Is g at least 2/5?
False
Suppose 57 = 6*o - 81. Let m = o - 22. Do -2/7 and m have the same value?
False
Let g(f) = 426*f - 41. Let r be g(-1). Which is smaller: -468 or r?
-468
Let l be 3/(-2)*50/6. Let w = 19 + l. Suppose -81*p + 26 = -622. Which is smaller: w or p?
w
Let p = -367 - -366.8. Which is smaller: p or -0.122?
p
Let j(a) = a**3 - 17*a**2 + 19. Let r be j(17). Suppose -5*t + 47 = -43. Is t at least as big as r?
False
Let r = 4.606 + -0.006. Let v = r + -4.5. Which is smaller: v or -1.3?
-1.3
Let y be ((-18)/30)/((-18)/15). Suppose 7 = 2*i + 1. Which is bigger: y or i?
i
Let d = -77 + 78. Suppose 0 = -3*k - 7 + d, 0 = -2*s + 4*k - 14. Which is smaller: -12 or s?
-12
Let p be 0 + 2 + (12 - 12). Let c be p - (28/175)/((-12)/(-170)). Is 1 greater than c?
True
Suppose -3*v + u + 191 = 2*u, 4*v - 263 = -3*u. Let l = 60 - v. Is -8/9 != l?
True
Let g(p) = 30*p + 36. Let f be g(1). Is f <= 65?
False
Suppose 19 = -2*k - k - 5*i, 3*i + 11 = -2*k. Let p be (6 - 4)*-9 + 0 + k. Is p less than or equal to -17?
False
Let i be (-6)/78*-4574 + (-6)/(-39). Which is greater: 354 or i?
354
Suppose 3 = -3*g + r + 4, 5*g + 4*r = 30. Are g and 50/91 unequal?
True
Suppose 2*d = d + 5*n - 6, 5*d - 2*n = -7. Let u(y) = -y**2 + 2*y + 7. Let i be u(4). Let v be i - (0 + 20/(-22)). Is d at most as big as v?
True
Suppose -30*q = -47*q. Is q smaller than -57/41?
False
Suppose 5*c + 8 + 158 = 4*g, 90 = 2*g + c. Is g greater than or equal to 39?
True
Let y be 27*2/15*(-10)/(-195). Which is smaller: y or 0.1?
0.1
Let c = -1/3552 - 6851/898656. Is c at most 1?
True
Let v be 1/3*0 + 5. Suppose 7*k - v*k = 0. Which is bigger: 2 or k?
2
Let v be ((-1 + -11)*-1)/((-6)/(-4)). Let a be v/(-36) + (-74)/(-9). Which is smaller: 5 or a?
5
Let d = -11.6 + 11.597. Let n = 2.297 - d. Are n and -1/3 non-equal?
True
Let h = 1/24 + 13/72. Let y be 6/(-14) - (-21)/49. Which is greater: h or y?
h
Let c = 4.786 - -0.164. Let t = 0.05 + c. Which is smaller: t or -1?
-1
Suppose 3*r + 10 = 5*f, -2*r + 10 = 9*f - 4*f. Suppose f + 1 = -t. Which is smaller: t or -5?
-5
Let p = -6.1 + 6. Let i(x) = x**3 - 2*x. Let a be i(2). Let g = a - 26/7. Is p greater than or equal to g?
False
Let u = 1 + 1. Suppose u*t = 3*t. Which is bigger: t or 4?
4
Let z(t) = -2*t**3 - 5*t**2 - 4*t + 2. Let w be z(-4). Is w greater than 66?
False
Let t = -1271 - -564. Let v be (-4)/(-6)*21/t. Which is greater: 0 or v?
0
Let y = -2520712 + 73116161/29. Let u = y + -535. Let g be 0/(-1)*((-21)/6)/(-7). Is g smaller than u?
False
Let g = 106.3 - 108. Let p = g + 0.7. Which is smaller: 5 or p?
p
Let x(v) be the first derivative of v**2/2 - 4. Let d be x(1). Which is bigger: -0.35 or d?
d
Let t be ((-101)/1)/((-11)/(-4 - -15)). Are 100 and t equal?
False
Suppose -d = 4*v + 2 + 11, v + 5*d - 11 = 0. Let c be 24/(-18) + -1 + 4 + -2. Is c >= v?
True
Let l be (-3 - (3 - 5)) + -2. Let o be (1*-1)/(l + 4). Let v be 124/(-24) - o - -3. Are -1 and v nonequal?
True
Let p be 10/(-95) - (-42)/399. Which is smaller: p or -5/302?
-5/302
Let n = -7 - -7. Suppose -68 = -18*f + f. Which is greater: n or f?
f
Let x = -443 - -476.9. Let w = 58 - x. Let n = 24 - w. Is n > 4?
False
Let j = -2265 + 2016. Is j >= -249?
True
Suppose -11*n + 24*n = -13. Is n greater than -17/25?
False
Suppose 2*y - 5*u - 10 = -3*y, 2*y + 5*u - 11 = 0. Let i(d) = 2 + 0 - 5*d**2 - 3 - 6*d + d**y. Let j be i(6). Is j < 0?
True
Let u be (-2 + (3 - 0))*0. Is 48 greater than or equal to u?
True
Let o(w) = w - 5. Let c be o(6). Let r be c*(-8 - (3 + 0)). Is r < -11?
False
Let u(k) = -k**3 - 6*k**2 - k - 6. Let g be 1 + 1 - (15 + -17). Let a = -10 + g. Let p be u(a). Which is bigger: 1/2 or p?
1/2
Let g be ((-9)/15)/((-2)/10). Let r(a) = -5 - 4*a + 5*a + g. Let z be r(4). Is 5/6 greater than z?
False
Let k = -17.89 + 744.89. Let b = -693.9 + k. Let w = b - 32. Is w less than 1/3?
False
Let p be (-2)/(-64)*11/(-176). Let m = 321/512