f
Let n = 29.69 + -1.19. Let s = -14.3 + n. Let u = s - 14. Is u >= 2?
False
Let s be (-1 - 2/(-4))/(-2). Suppose -20 = 5*t, 19 = 5*f - 2*f - t. Suppose 3*q + f = -2*j, 0*q + 5*j + 8 = -3*q. Which is smaller: q or s?
q
Let j be (-313)/(-15) + 2/15. Let l = 21 - j. Suppose 3*y + 5*r = 27, 5*y - 45 = 3*r - l*r. Is 9 smaller than y?
False
Let m(k) = 3*k + 9. Let z(d) = 10*d + 28. Let x(o) = 7*m(o) - 2*z(o). Let r be x(-4). Let l be (-36)/(-78) - (3 - r). Which is smaller: -1 or l?
-1
Let t = -693.4 - -693. Are -4 and t equal?
False
Let p = -56/9 + 374/63. Suppose 4*q = 3*q - 1. Is q less than p?
True
Let h = 112686/59 + -1910. Let y = h + 147/1298. Do y and 1 have different values?
True
Let k = 99 - 88. Is k greater than 11?
False
Let p be 13/104 + 33979/(-271128). Which is greater: 0 or p?
0
Suppose 0 = 3*q + 2*d + 2232, 3*q = -2*q + 3*d - 3701. Let b be (9/q)/9*-1279. Let n = b - 1/106. Is n less than 1?
False
Let u = 1203.3 + -1203. Let d be (-1160)/(-42) + 6/(-21). Let o = d + -248/9. Which is smaller: u or o?
o
Let y = 403 - 1739. Let c = -33394/25 - y. Which is smaller: -1 or c?
-1
Suppose -4*a + z = 1 - 20, -2*z = 3*a - 28. Suppose 21 = -3*o + a. Let s be 18/o - 14/35. Which is greater: s or -2?
-2
Let i = 174.4 + -175.4. Is i > 147?
False
Let u = 0 - 0. Let k(a) = a**2 - 26*a - 15. Let c be k(13). Let j be (-2)/(c/77) + (-63)/84. Which is bigger: u or j?
j
Let k(m) = 3*m - 19. Let n be k(-12). Let z = n - -55. Does z = -2/19?
False
Let u be 907/(-7) + 30/(-70). Which is smaller: u or -132?
-132
Let b(a) be the third derivative of a**5/10 + a**4/12 + a**3/3 - 2*a**2. Let v be b(-1). Let r be v/(-15) - 45/(-25). Does 1/4 = r?
False
Let c(h) = 2*h**2 + 52. Let z be c(-10). Which is smaller: z or 251?
251
Let i = -415271 + 557708908/1343. Let h = i + -2/79. Which is smaller: 0 or h?
h
Let j = 4273362/571 - 7484. Are j and 1 nonequal?
True
Suppose 0 = 3*r - 2*r. Suppose -124*q - 79 = 90 + 79. Is r at least as big as q?
True
Let z = 0.165 - 20.165. Do -3/2 and z have the same value?
False
Let f = 615 - 616. Which is bigger: f or -3/29?
-3/29
Let l be (-12)/10*(-5)/(-7). Suppose -9 = 2*v - 5*v. Suppose 0 = v*a - a. Is l < a?
True
Let l = 1858 - 1854. Let f = -245/3 + 85. Is f <= l?
True
Let d = 1607 - 1594.67. Let g = 0.33 - d. Let o = g + 10.1. Which is smaller: o or 0?
o
Let q = 343.329 - 344. Is q at least -1/3?
False
Let v = -0.1029 - -5.3729. Let r = 5.3 - v. Which is smaller: 0.1 or r?
r
Let g = -1098/11 + 100. Suppose 75 = -r + 53. Let v be -4 + r/(-3)*18/30. Which is smaller: v or g?
g
Suppose 0*v = -v - 8. Let b = 164 + -105. Let j = b + -70. Is v greater than or equal to j?
True
Let t(r) = -12*r + 9. Let o be t(3). Let q be (-744)/(-54) + (-6)/o. Which is greater: 13 or q?
q
Let y be (-6)/4*(196/6 + 2). Let b = -22 - y. Which is bigger: 31 or b?
31
Let z(x) = x**2 + 18*x - 68. Let g be z(-25). Is g equal to 108?
False
Let z = -39646 - -73464036/1853. Which is bigger: -1 or z?
z
Let v(a) = -2*a + 3. Let q be v(-3). Suppose -4*s + 21 + 16 = -u, 2*u - 47 = -3*s. Is q equal to s?
False
Suppose -3*n = -0*n + 330. Let f be n/138 - 40/(-60). Is f at least -1?
True
Suppose 5*j - 20 - 25 = 0. Suppose c = 2*o + 17, 5*o + 4 = 3*c - 6*c. Do c and j have different values?
True
Suppose -12 = 6*v - 10*v. Let i be 3 + v + 1 + 4/(-4). Is i less than 6?
False
Let y be 10/25 - 64/10. Let v be (-1)/(1 + 7/(-8)). Which is smaller: v or y?
v
Let i = 90 + -131. Let k = 413/10 + i. Let j = 2 - 3. Is j at most as big as k?
True
Suppose 4*l + 4*d - 8 = 0, 5*l = -d + 6*d + 10. Suppose 10 = 4*u - l*i, -4*i + 0*i = 4*u - 40. Do u and 3 have the same value?
False
Let l(u) = u**2 - 9*u - 20. Let z be l(9). Let b be z/30 - (-2)/3. Suppose r + 3 + 3 = b. Which is smaller: -13/2 or r?
-13/2
Let n = -834 - -909. Is 80 less than or equal to n?
False
Let u be (28/(-112))/(-2 + 903/452). Is 113 less than u?
False
Let q be (24/63)/(2086/(-132)). Let h = -40508588/109515 - q. Let g = h - -370. Which is smaller: g or 4?
g
Let y(c) = -c**3 + c + 36. Let a be ((-4)/12*0)/2. Let t be y(a). Let w be t/24 + 5/(-2). Is w less than 1/14?
True
Let j be (9/10)/(4/(-15)). Let t be 434/88*-9*5/(-90). Let c = t + j. Which is greater: c or -1?
c
Let d(s) = -2*s - 15. Let z be d(-14). Suppose 3*y = -u - 36, 67 = -5*y + 5*u - z. Is y greater than or equal to -15?
True
Let n = 24 + -23. Let h be (n*12/9)/10. Do h and 1 have the same value?
False
Let u = -1550/301 + -55/43. Is -6 > u?
True
Let j be (36/(-8))/(1/(-2)). Let l be 19/j + (-8 - -7). Which is smaller: 0 or l?
0
Let h = 54.4 - 55. Let o = 0 - -2. Let z = o + -2.2. Which is smaller: h or z?
h
Let x = -266 - -398. Which is smaller: x or -0.1?
-0.1
Let h = 2.403 + -0.403. Which is greater: 6/115 or h?
h
Let w be -1 - (10 - 7 - (-1 - -7)). Suppose w*t = 17 - 7. Which is greater: t or 2/7?
t
Let q(u) = -63*u - 8. Let z be q(-4). Suppose -7*l = -z + 83. Which is bigger: l or 24?
24
Suppose -4*c + 5 = r, -25 = r - 6*r. Let t be ((-2)/(-39) - 0)*6/(-16). Which is smaller: t or c?
t
Let f be (-29870)/(-25)*2/76. Let d = f - 158/5. Which is smaller: d or -1?
-1
Let w = -3817/5 + 763. Which is greater: w or -2.55?
w
Let n(y) = 22*y - 173. Let a be n(9). Let p be (-1 - -26) + 2 + 0. Are p and a non-equal?
True
Let q = 11 + -8. Let m = q + 0. Let f = 0.24 + -0.24. Which is bigger: m or f?
m
Let p = -13796437 + 744975845/54. Let d = p + 588. Which is smaller: d or -1?
-1
Suppose 18*t + 1091 = 2927. Are t and 100 equal?
False
Let f = -18 - -28. Let a = f + -9.9. Is 19 bigger than a?
True
Let d = -9 - 10. Let q = d + 18.7. Let y = 8/27 + -26/27. Is q equal to y?
False
Let z(a) = -3*a + 21. Let v be z(9). Let h be 8/36*v/(-4). Let f = -0.87 - -0.17. Which is smaller: f or h?
f
Let y be (5 - 2) + -8 + 362/74. Is y smaller than 0?
True
Let d(m) = -22*m - 41. Let t be d(-2). Let v = 1 - 1. Suppose v = -j - t*j. Do 1/34 and j have the same value?
False
Let u = -107 - -54. Let r be (0 - -1)*(10 + 43)*-1. Is r greater than u?
False
Suppose 0 = 71*n - 65*n - 6. Which is bigger: n or -1/79?
n
Suppose -3*k + 599 = 4*a, 2*a + 4*k = 88 + 204. Is a smaller than 149?
False
Let p = -4.7 - -0.7. Let i = p + -1. Let m = -17.1 + 17. Which is greater: i or m?
m
Let g = -7.5 - -7.406. Let i = g + -0.006. Which is smaller: i or -3/5?
-3/5
Let w = -1283 - -1256. Which is smaller: -26 or w?
w
Let n(i) be the second derivative of -i**4/12 + i**3/6 - 4*i. Let c be n(7). Let r be (35/c)/((-4)/3). Is 1 bigger than r?
True
Let i = 7 + -3. Let x = 4.1 - i. Let a be 6/8*-1 + (-64)/(-256). Is x bigger than a?
True
Let s(m) be the second derivative of -m**5/20 - m**4/6 + 5*m**3/6 + 3*m**2 + 17*m. Let l be s(-3). Which is smaller: l or -2/51?
-2/51
Let j = 2257 + -137669/61. Is j >= 0?
True
Let q = 88.8 - 95. Let d = q - 2.8. Which is smaller: 2/15 or d?
d
Let r = -233 + 49. Is -184 at most as big as r?
True
Suppose -5*c + 357 = -4*q, -8*c + 7*c = -3*q - 78. Are 69 and c nonequal?
False
Let s be ((-8)/24)/(1/(-12)). Suppose -3*o + 4*n = -o + 18, -o - s*n = 39. Which is greater: -17 or o?
-17
Let f = 15.07 + -15. Suppose -12 - 23 = -5*k. Let x(t) = t**3 - 7*t**2 - 1. Let d be x(k). Which is smaller: f or d?
d
Let o = 50273/18 - 2792. Which is greater: o or 0?
o
Suppose -7*k - 32 = -3*k. Let s(w) = -w**3 + 3 - 259*w + 2*w**2 + 249*w - w**2 + 5*w**2. Let c be s(4). Is c greater than k?
True
Let v = 11 - -3. Let o = -24 + v. Let i be ((-5)/(-2) + 0)*12/(-105). Are i and o equal?
False
Let l be 205*(-4 - (-21)/5). Let k = l + -20. Which is bigger: 22 or k?
22
Let h be -2 + (0 - -3) + 10. Suppose 0 = -h*o + 10*o. Is 1/9 < o?
False
Let x = -215 + 286. Which is smaller: 75 or x?
x
Let b(v) = -2*v**2 + 95*v + 18. Let f be b(48). Is -28 bigger than f?
True
Let r(s) = s**3 - 5*s**2 + 5*s - 3. Suppose -5*d + 8 = -3*d. Let p be r(d). Is p <= 0?
False
Let v be (4/(-348))/((-6)/(-12)). Is v equal to -1?
False
Let s = -1525678434/11 + 138541278. Let j = 157461 + s. Let t = 699 - j. Which is smaller: 0 or t?
t
Let q be 1540/(-650) + (-12)/30. Does q = -3?
False
Let a = -0.5 - -0.6. Let t = 0.1517 - -11.8483. Is a less than or equal to t?
True
Let t = -11.35 + 9.35. Which is smaller: t or 21/26?
t
Let a(b) = b**3 + 3*b**2 - 6*b - 10. Let g be a(-4). Let c(z) = -z**3 + 11*z**2 + 2*z - 6. Let w 