+ 19. Which is smaller: g or x?
g
Let o be (3/(-2))/(2/(-4)). Let d(i) = -4*i - 2. Let c be d(o). Is c greater than or equal to -14?
True
Let f = 37/3 - 709/57. Which is smaller: -18 or f?
-18
Let o = -13437 + 54303/4. Which is smaller: o or 140?
o
Let q = -8 - -58. Let r = q - 52.3. Let d = r + 1.3. Which is greater: d or 0.3?
0.3
Let m = -0.09 + 0.1. Let o = -0.2 + m. Is o bigger than 0?
False
Suppose -4*b = -5*b + 10. Suppose -2*q - b = 8. Do q and -10 have the same value?
False
Suppose -4*q - 7*g + 11*g = 20, 3*g - 13 = q. Are -1/557 and q equal?
False
Let g(q) = 4*q**2 + 5*q + 7. Let k be g(-6). Is k at most 123?
True
Suppose -2*y + 41 = -5*u, 3*u + 5*y + 42 = 5. Let m(a) = -a**3 - 8*a**2 + 13*a + 17. Let d be m(u). Is -20 != d?
True
Let c = 4291/22 + -195. Which is greater: c or -1?
c
Suppose -2*i = i - 24. Suppose -5*v + 4*v = -7. Is v less than i?
True
Let p = 5 - -3. Suppose 0 = 5*j - p*j + 6. Let i be 0*(3/2 - 2). Which is greater: i or j?
j
Suppose -1 = -14*r - 1. Let p be 19/85 - 34/85. Do r and p have different values?
True
Let i(s) = s**3 - 18*s**2 + 25*s - 24. Suppose -42 = -2*t - 8. Let c be i(t). Let q be c/(-186) - (-6)/9. Which is smaller: 0 or q?
0
Suppose 0 = -56*p + 61*p - 200. Which is smaller: p or 43?
p
Let h = -448 + 428.08. Let s = -24 + 4. Let f = h - s. Which is smaller: 0 or f?
0
Suppose 3*l = 5*v + 27, 4*v + 4*l = -9 - 19. Let q be (-12)/v - -1*2. Suppose -5*k = -k - d - 33, k + 3 = q*d. Is k greater than 10?
False
Suppose 0 = 2*a - 15 + 69. Is a bigger than -27?
False
Let g = 10901/32 + -341. Is 1 smaller than g?
False
Let a(j) = j**3 - 2*j**2 - 5*j - 3. Let g be a(-3). Let c = 19 + g. Let o = c + 18. Is o greater than or equal to 4?
True
Let o = 323 + -341. Is -16 < o?
False
Suppose j = -5*g - 3, 2*j + 15 = -3*j. Let q = 35.83 - 36. Let c = q - -0.07. Which is smaller: g or c?
c
Suppose 2*u - 8 = 4*u + 4*h, 2*h = -5*u + 4. Which is greater: u or -734?
u
Let t be 2/6*(-18)/(-2). Let q be ((t - 2)*-3 - -4)*-1. Is q < 3/7?
True
Let j = -1806 + 944. Which is smaller: j or -861?
j
Let s(n) = n + 5. Let w be s(-5). Let c = 537004/121 + -4438. Let k = -92/3025 - c. Which is smaller: w or k?
k
Suppose 0 = i + x + 3, 3*i + 4*x + 1 = -11. Suppose 5*b + 9 = 4*y - 10, i = -y - b - 2. Is 2/11 equal to y?
False
Let k be -8*16/(-256)*3*-2. Are 3 and k equal?
False
Let t(x) = -x**3 + 2*x**2 + x. Let c(q) = -4*q**3 + 7*q**2 - 11*q - 1. Let z(s) = -c(s) + 5*t(s). Let f be z(-3). Which is smaller: f or 10?
f
Let v = 6 + -6.16. Let o = 4.84 - v. Let t = o - 5.02. Is t greater than or equal to 0?
False
Let r = -57.3 - -58. Let z = 1 - r. Is z greater than -2?
True
Suppose -m - 4*i + 7 = -3*i, -i = -2*m + 20. Suppose m*r - 4*r + 50 = 0. Let y = -10 - r. Which is greater: 2/3 or y?
2/3
Suppose -3 = i - 0. Let u(j) = -j**2 - 6*j - 5. Let w be u(i). Suppose w*y - 4 = -0. Which is greater: y or 0?
y
Let c(f) = 5*f**2 + 13*f + 5. Let w be c(-2). Does w = 2/7?
False
Let a be ((-166)/4 - 2) + (-4)/(-8). Let y = a - -111. Which is smaller: 0 or y?
0
Let w be 5*-1*2/(-5). Let j(l) = 2*l**2 + w*l - 7*l + 5 - 2*l - l**2. Let u be j(6). Which is greater: u or 1/7?
1/7
Suppose -71659 - 6621 = -76*v. Which is smaller: v or 1032?
v
Suppose 5*n = 5*l + 20, 19 = 4*n - 2*l + 5. Let i(r) = -2*r + 2 + r**2 + 0 + 2*r**2 - r**3. Let u be i(n). Which is smaller: u or -2?
u
Let g(c) = -4*c - 1. Let t be g(-1). Let k(x) = 53*x - 12. Let u be k(3). Let n be -1*t*14/u. Which is greater: n or 1?
1
Let f be (-2)/2*(-11)/11. Let g be ((-6)/(-4))/(492/(-16)). Is g less than or equal to f?
True
Let z(j) = 37*j - 24. Let i be z(3). Which is bigger: 88 or i?
88
Let k = -21111/26 - -812. Which is smaller: 1/5 or k?
k
Let k(y) be the first derivative of -7*y**2/2 + 12*y - 12. Let c be k(3). Is c < -5?
True
Let b be (-1 - (-6)/(-3)) + -1. Let u be 7/(-98) + 2/b. Suppose -2*i - i + w = 3, 0 = 4*w - 12. Which is smaller: u or i?
u
Let l be 0 + (39 - 0)*24/36. Let a be 101/4 - 1/4. Which is greater: a or l?
l
Let b = -429.81 - -430. Let u = 4.9 + -5. Which is bigger: u or b?
b
Let z = 1771/3 - 590. Suppose -2*p - u = 7, -u - 2 = -4*p - 1. Let i be 0 + (-1 - p)*1. Which is bigger: z or i?
z
Let q = -1568 + 1573. Let n = 0.4 - 1.3. Let y = n + 1. Which is smaller: y or q?
y
Let i be 0 + (-24)/4 + -4. Let j be (-8)/(-26)*i/(-20). Let p(q) = q**2 + 3*q - 3. Let z be p(-4). Are j and z nonequal?
True
Let f = 208 - 209. Is f greater than or equal to 14/31?
False
Suppose d = 0, -d + 2*d - 24 = -4*s. Suppose -6*f = -4*z - 3*f + 140, -4*z + 112 = 4*f. Suppose -5*c - 2*u + z = 0, -3*c - 3 + 15 = 3*u. Are c and s unequal?
True
Let i = 0.132 + -12.932. Let d = -13.8 - i. Is d smaller than 2.3?
True
Let o be -3*(10 - (-579)/(-57)). Suppose 3*j = -1 - 2. Is o at least j?
True
Let n = -163 + 59. Which is smaller: n or 0.1?
n
Let z(n) be the third derivative of 13*n**4/24 - n**2. Let j be z(-1). Let l = -9 - j. Is 2 > l?
False
Let w be 5 + -4 + 1 + -1. Let a = -39/50 - -7/10. Is a bigger than w?
False
Let u be (-13)/(-13)*(0 - 1). Let m be (u + (-10)/(-14))*7. Which is smaller: -4/5 or m?
m
Let u(j) = -6*j**2 - 14*j + 33. Let c be u(2). Which is smaller: c or -27?
-27
Let l = 10 - 14. Let j be 6*l*(-2)/24. Suppose 4*u + j + 10 = 0. Is -3 greater than or equal to u?
True
Let j be ((-94)/3)/(8/(-12)). Suppose 0 = -3*k - 5*z + 101, -7*z + j = k - 2*z. Let q be (4/3)/((-45)/k). Which is greater: q or -2?
q
Suppose 4*f + b - 6*b - 234 = 0, -2*f + 102 = 5*b. Let g be (-16)/f + 6994/14. Let k = g + -498. Is 2 > k?
True
Let k(l) = -3 + 665*l + 30 - 663*l. Let n be k(-13). Which is smaller: n or 3/35?
3/35
Let v(a) = 4*a**3 + 2*a**2 + 3. Let m be v(-2). Let i = -269/13 - m. Does 1 = i?
False
Suppose -71*t - 2256 = 11518. Do -197 and t have different values?
True
Let v = 4 - 4. Suppose -2 = r - v*r. Is -1 < r?
False
Let x be 224/4900*2/(-8). Is 0 at most as big as x?
False
Let s(v) = 148*v + 152. Let q be s(-5). Which is greater: q or -589?
q
Suppose -20*m = -11*m - 9. Is m greater than or equal to -7/41?
True
Let h = 316 - 308. Which is greater: 17 or h?
17
Let t = 76 + -49. Suppose f - 4*f - t = 0. Suppose -12 - 4 = 2*a. Which is smaller: a or f?
f
Let h = 5 - 3.3. Let m = -0.3 + h. Let z = m + -1.1. Is z <= -1?
False
Let t be (-834)/44*4/(-60). Let u = -13270/11 + 1205. Let w = t + u. Which is smaller: 0 or w?
w
Suppose 3*t - 3*s = -2*t + 12, t + 8 = -2*s. Suppose t = 4*b - 0*b. Which is greater: -2/13 or b?
b
Let u be (3 - (-4 + 6))/1. Let q be u*-5*(-6)/(-10)*1. Suppose 3*n = 5*n + 6. Do q and n have different values?
False
Let c be 0 - (-1 - -1) - 0. Suppose 2*q + 87 = -q. Let n = q + 26. Are c and n nonequal?
True
Let t(s) = s**3 + 4*s**2 - 2*s + 3. Let f be t(-5). Let m = f + 17. Suppose -5*k + 3*q + 0 = -5, 5 = m*k + 3*q. Which is greater: k or 0?
k
Let o = -25 + 32. Suppose 2*q + 4*k = 20, 0*q - k = -q + o. Is 2 > q?
False
Let p = 4 - -3. Suppose -15 = 2*m - p*m. Suppose 2*t - 2 = 5*v, -v + 5*t = m*t + 2. Which is smaller: 5/8 or v?
v
Let v = 25.5 + -39.7. Which is smaller: -0.1 or v?
v
Let w be 0 + 2/(-4)*-2. Let o = -2044/13 + 179833/1144. Is w at most as big as o?
False
Let w = 1000/9 - 111. Suppose -89 = -5*k + f, 71 = -3*k + 7*k - f. Let a = k + -18. Is a at least w?
False
Suppose -5*p - 4*c = -6, -7*p - 2*c = -4*p - 2. Suppose -3*a - 6 = -0. Let f be a/(-21) - 4/6. Is p at least as big as f?
False
Let g(k) = -k**3 + 40*k**2 + 40*k - 139. Let v be g(41). Does -179 = v?
False
Let i = -69 + 69.59. Let w = i + 0.01. Which is bigger: 2/7 or w?
w
Let d = -6878 + 13413/2. Which is greater: -173 or d?
d
Let z = -858.3 - -846. Is 0.1 not equal to z?
True
Suppose 4*z + 8 + 16 = 0. Let h be ((-4)/z)/(8/(-72)). Let d be -1 - ((-5)/h + -2). Is d at least as big as 0?
True
Let s = 3 - 3. Suppose -6 = -s*m - m. Let d be (-4)/m + (-119)/(-84). Which is smaller: 1 or d?
d
Let j = 113 + -83. Let h be j/(-4)*(5 - 62/10). Is h less than 64/7?
True
Let i = -29 - -45. Suppose i*u - 13*u - 27 = 0. Let a be 3/(2/((-20)/(-3))). Which is smaller: a or u?
u
Suppose 3*f + 4*p - 23 + 9 = 0, -4 = f - 3*p. Suppose f*q + 2 = -2. Let a = -685/4 + 170. Which is bigger: a or q?
a
Let p = -2.8 + 0.8. Let k = -15 - p. Let x = k - -12.7. Which is bigger: -3 or x?
x
Let x be 1 - (2 + 12/(-18)). Which is smaller: 67