*h = 3*g + 11, 4*g - 8 = h. Which is bigger: g or 1?
g
Let d = 115 - 115.1. Is -31/3 < d?
True
Let m = -3120/287 + 230/21. Is m >= -1?
True
Let i = -12.18 - -0.18. Let a = 0.06 + -12.06. Let t = i - a. Is 0.07 at least as big as t?
True
Suppose 1768 = 3*c - 16*c. Which is bigger: -137 or c?
c
Let h(x) = 22*x**2 - 6*x + 5. Let q be h(1). Do 37 and q have different values?
True
Let r be ((-14705)/(-9))/5 + 2/9. Let z = r + -1624/5. Which is smaller: 1 or z?
1
Let m be 4/(-18) + (-2)/(-3). Let r(x) = 8 + 2 - x**2 + 11 + 20*x. Let u be r(21). Is m at most u?
False
Suppose -4*w = w - f - 7, -2*w = f. Suppose 0 = s + w + 1. Let z = -1533/1375 + 3/125. Which is greater: s or z?
z
Let h(n) = 2*n**2 - 6*n - 3. Let g be h(5). Suppose -1 = -5*c - 6, g = -5*y + 3*c. Let l = 3 + y. Is 1 not equal to l?
True
Let b = 2/1677 + -179447/6708. Is b <= -27?
False
Let i be 8*-21*(-10)/4. Let r be (-6)/8 - 3595/i. Let h = -64/7 - r. Which is smaller: -1 or h?
-1
Suppose c = -3*h - 2*c - 9, 0 = -2*h + c - 3. Are h and -20/11 nonequal?
True
Suppose -5*n - 26 = 4*h - 3*h, h = n + 4. Is h less than or equal to 2/277?
True
Let k be (4/(-2))/((-5)/170). Suppose 3*m = 5 - k. Let r be (74/(-10) - (-52)/13) + 3. Which is smaller: m or r?
m
Let x = -638 + 634. Let n = -0.5 + 0.58. Let d = n - 0.38. Is d at least x?
True
Let y = 443 - 382. Which is smaller: 60 or y?
60
Let t = 197.1 + -196.8. Let s = 0.3 - 0.1. Let h = -0.4 + s. Which is smaller: t or h?
h
Suppose 1221 = -13*f - 495. Which is smaller: -0.2 or f?
f
Let t(s) = 2*s + 1. Let b be t(2). Let y = b + 5. Let k be y/(-50) - (-6)/(-70). Which is smaller: k or 1/3?
k
Suppose -2*x - g + 2*g = -2, -2 = -2*x - 2*g. Suppose h = 3*h - 20. Let n be (4/h)/((240/(-18))/10). Which is greater: x or n?
x
Let u = -1683 - -291156/173. Let z = -1351/1903 + u. Let c be 1/(-2)*(-14)/(-7). Which is smaller: z or c?
c
Suppose -2*p = -6 - 2. Suppose -3*z - z = 4*h, p*z - h = 0. Suppose 0 = -z*f - 4*f - 4. Is -1/10 greater than f?
True
Let n(c) = c - 5. Let d(i) = i**3 + 6*i**2 + 4*i - 4. Let y be d(-4). Suppose y = 5*v - 2*v. Let g be n(v). Which is bigger: g or 2/7?
2/7
Let c = 485/4 + -50923/420. Is c less than or equal to 0?
False
Suppose -2*p - p = 9. Let n be 4 + (-28)/(p + 7). Let l be n - -1*33/12. Are l and 2 equal?
False
Suppose -2*c = -3*r + 7 - 2, -3*r = 3*c - 30. Let o be (5 - 2)/(3/5). Let h be 0 + (-4 + o)*4. Is h < r?
True
Suppose -6*n - 15 = k - 11*n, 0 = -5*k + n - 195. Which is smaller: k or -13?
k
Let n = 613/138 + -5/46. Which is bigger: 3 or n?
n
Let m(p) = p**2 + 40*p + 245. Let f be m(-33). Let d be (1 + 0)*4*3. Which is smaller: f or d?
d
Let q = -18.9 + 28.9. Which is smaller: q or -6?
-6
Let g = -0.2 + 0.4. Suppose -4*o + o = 0. Suppose 0 = -i + 2*c + 3*c - 9, o = c - 2. Does g = i?
False
Let i = -8.31 + 0.31. Let u = -95 - -96. Which is bigger: u or i?
u
Let s be -4 + ((-1)/(34/(-110)) - -1). Which is greater: s or 0?
s
Let k be (-1)/2 + 63/6. Let r be (-776)/40 - 9/15. Let b be (-3)/r - 4/k. Which is smaller: b or 0?
b
Let m = 356 - 273. Which is smaller: m or 84?
m
Let j = -23.4 - -22.3. Let s = -2/1761 - -25243/1761. Let q = 14 - s. Does j = q?
False
Suppose 3 = -5*b - 5*r - 2, -5*b - r = 5. Let n be -2 - (-4)/((-352)/(-184)). Is n at most b?
False
Let m(v) be the second derivative of v**5/20 + v**4/2 - 2*v**3 - 8*v**2 + 35*v. Let h be m(-7). Is h bigger than 19?
False
Let n = 207.2 + -207. Is n smaller than -51?
False
Let b = -96 - -138. Let h = 36 - b. Is 2 > h?
True
Let g(t) be the third derivative of t**5/60 - 5*t**4/24 - 10*t**3/3 - 27*t**2. Let c be g(7). Which is smaller: c or -29/5?
c
Let t = 10.41 + -10. Let z = 6037 + -6037.1. Which is bigger: t or z?
t
Let v = -1.87 - -1.79. Which is bigger: 1 or v?
1
Let v be 3/18 + (-22)/60. Suppose 30*i - 22*i + 38*i = 0. Which is bigger: i or v?
i
Let k = -0.9 + 1. Let n = 15 - 3.2. Let q = -2.2 - n. Is q >= k?
False
Let n be (-2)/(-2)*(7 + -2). Suppose 0 = -3*t, 4*z + z - n*t - 10 = 0. Let o be (8/(-6))/(z/15). Which is bigger: o or -17/2?
-17/2
Let i be 180/(-13) + 6*6/(-234). Which is greater: -15 or i?
i
Let g(w) = -w + 2. Let j be g(0). Suppose 5*o - 5*y - 610 = 0, -121 - 1 = -o - 3*y. Let z = 125 - o. Is z bigger than j?
True
Let u = 1 + -2. Let d = 3069 + -3076. Which is smaller: d or u?
d
Let o = -8 - -11. Suppose o*p - 3 - 9 = 0. Suppose -p*i + 3*i = -3. Is 2 at most i?
True
Suppose -4*k - r + 172 = 0, 3*r + 2*r = 0. Is -0.1 less than or equal to k?
True
Let y = 3663043/17 - 215545. Suppose 3*r - 276 = -4*z, 3*z - 2*z - 60 = -3*r. Let k = z + y. Is 1 not equal to k?
True
Suppose o - 2*o = 0. Suppose -5*f - 30 = 4*c, 13 = -3*c - o*f + f. Let j = -9 + 4. Are j and c nonequal?
False
Let l = -11 - -19. Let p = l + -5. Suppose 2*g = p*g + 1. Which is smaller: 0.2 or g?
g
Suppose 4*h - 8 = -5*x + 9, 0 = -h - 5*x - 7. Let i(s) = 5*s + 3. Let a be i(1). Let v be ((-40)/16)/((-2)/a). Is h less than v?
True
Let s be 140/15 - (-3)/(-9). Let a be (-6 - s)*(-9)/5. Let n = 24 - a. Which is bigger: 2 or n?
2
Suppose 3*i + 5*v = 17, -3*v - v + 20 = -4*i. Suppose -h - 4 - 1 = 0. Let x be 0/(h + i + 2). Is -1/15 > x?
False
Let x = -1.7 + 9.7. Let d be 2/(-14) + 3085/35. Let v be 16/d - (-17)/(-33). Which is greater: v or x?
x
Suppose -3*i = -5*k + 42, 6*i + 4*k + 42 = 3*i. Let g(o) = 7*o + 7. Let s be g(i). Is -90 greater than or equal to s?
True
Let j be 0 + 4/6 - 352/(-264). Which is greater: j or 4/3?
j
Let s be 0/((-8)/10*(-55)/(-22)). Let a be (-1)/(2/(-12))*1. Let w be -2*3/42*a. Which is greater: s or w?
s
Let w be 20 + -17 - 1*126. Are w and -123 nonequal?
False
Let k = 625/328 + -5/164. Is k at least 1?
True
Let v be 28/(-500)*(-154)/49. Is v greater than -1?
True
Let j = -14 + 8. Let g(k) = -2*k**3 + 41*k**2 - 22*k + 28. Let f be g(20). Let l be ((32/f)/(-4))/((-12)/90). Is l greater than j?
True
Suppose 0 = -t - 5*k - 37, -t + 2*t - 2*k + 58 = 0. Let n = 1/639 + -32803/639. Let s = t - n. Is s >= 0?
False
Let l = -23/162 - 2/81. Let b = -2 - -7. Suppose -2 = -b*w + 3*w. Is l < w?
True
Let a = 1456 - 1477.9. Which is greater: a or -0.2?
-0.2
Let h = 110 + -881/8. Let k be (-2)/(-8) - 9/(-12). Let v be -3 + (3 - (k - 1)). Is v <= h?
False
Let s be 2 + (-5 - 1) - -1. Let j = 4 + s. Let b be 4/18 + 228/(-783). Which is bigger: j or b?
j
Let j be -4 + -120 + 4 + 2. Is j bigger than -118?
False
Suppose -63 = 3*u + 2*a, 4*a + 139 = -u + 108. Is -19 less than u?
False
Let t be -9 - (-412)/48 - 2/(-12). Is t smaller than -89?
False
Let s be (8 - 7)/(-2 - (-15)/6). Let y be s - ((-48)/(-28))/((-10)/(-15)). Suppose k - 1 = -3. Is k greater than y?
False
Let u be (24/(-20))/((-4)/10). Suppose -a - u*s = 1 + 6, -3*a - 3*s = 3. Suppose 12 = -a*x + 5*x + 2*d, 4*x - 16 = 3*d. Which is bigger: x or 5?
5
Let c = 3801/65 + 87023/325. Let s = c - 326. Which is smaller: 2 or s?
s
Let t(g) = g**2 - 10*g - 21. Let o be t(11). Which is smaller: 22 or o?
o
Let j = 25 - 15. Suppose -3*b = -k - 24, 3*b - 5*b + 5*k = -3. Are j and b equal?
False
Let n(r) = 2*r**3 - 12*r**2 + 3*r - 18. Let g be n(6). Is 14.2 greater than or equal to g?
True
Let r = 1672 + -573495/343. Which is smaller: r or 1?
r
Let a = 14/25 - 3/5. Let r = 55 + -56. Is a smaller than r?
False
Let y(g) = -8*g**3 + g**2 - 3*g + 1. Let z be y(-2). Let m = z - 75. Which is smaller: m or 2/3?
m
Let k = 42 - 51. Let f be (k/3)/(-9) - (-21)/45. Is 0 bigger than f?
False
Let u = -238 - -218. Are u and -17 equal?
False
Let m = -43 + 26. Let o = m + 16. Let y = 1/4 + -7/4. Which is bigger: o or y?
o
Let r be (2/6)/(12/24)*-78. Is r at least as big as -54?
True
Suppose -2*q - 2*q = 48. Are -68 and q non-equal?
True
Let a = -11 - -16. Let l = a - 4.8. Let v = 211.9 + -212. Is v less than l?
True
Let t(a) = a**3 + 49*a**2 - 96*a + 305. Let w be t(-51). Let p be 2/(-7) + (-632)/(-2310). Are p and w equal?
False
Suppose -5*f + 1 = -29. Suppose f*j - 2*j = -5*y - 85, -4*y - 2*j = 74. Let k be 1/(27/y - -1). Which is greater: -0.1 or k?
-0.1
Suppose 2*a - 18 = 5*h, -4 = -3*h + 2*h. Let u be -3 + (3 - 1/a). Let c = 256 - 256. Which is bigger: c or u?
c
Let t = 18.1 - -5.7. Let s = 28 - t. Let z = s - 4. Is z <= 0.2?
True
Suppose 0 = 5*j - 4*d - 8, -10 = -5*j + 3*d + 2*d. Which is bigger: j or 2/17?
2/17
Let t be 52/546 - 128/21. Let