 = 60 + -56. Let b = 5 - x. Let j be 2/12 + (-55)/210. Which is bigger: j or b?
b
Let j = -157 - -161. Suppose 0 = 8*h - j*h. Which is greater: h or -2/87?
h
Let o(c) = 2*c + 1. Let t = -1 - 0. Let b be o(t). Let g = -25852563/58 + 891467/2. Which is smaller: b or g?
b
Let f be (-30)/130*(-7)/(-21). Which is bigger: -42 or f?
f
Suppose -d + w - 9 = 40, 0 = w - 1. Let u be (-216)/(-715) + d/132. Suppose 4*x - 3*k - 5 = 0, 0*x - k = -3*x. Is u > x?
True
Let w = 13938 + -13936.07. Is w != 21?
True
Let l = 66.7 - 61. Let v = 0.2 - l. Let n = -3548 - -3549. Are v and n equal?
False
Let b = 105 - 93. Suppose b*d - 38*d = -442. Is d bigger than 21?
False
Let n(x) be the first derivative of x**2/2 + 14*x + 29. Let g(c) = -15*c**2 + c. Let u be g(1). Let l be n(u). Do 59 and l have the same value?
False
Let w(o) = -190*o + 5. Let i be w(1). Let t = -179 - i. Which is smaller: 26/5 or t?
26/5
Let i be (467397/12365)/(3/40). Let p(z) = -100*z + 4. Let c be p(-5). Is c > i?
False
Let v = 0.05 - 99.05. Let z = 99.52 + v. Let w = -0.72 + z. Is w less than or equal to 1/3?
True
Suppose -126*w = -5*r - 124*w + 15, 2*r - 2*w = 12. Is -4/203 >= r?
False
Suppose -213*f = -203*f - 80. Let u be f/1*(-1 - 5 - -14). Is u greater than or equal to 64?
True
Let t = -510 + 370. Let y = 164 + t. Which is bigger: 201/8 or y?
201/8
Let r(z) = -1090*z - 83. Let f be r(1). Is -1173 at most f?
True
Let f = -73431/11782 - -268/43. Which is greater: f or 0?
f
Let n(g) = -g**3 - 54*g**2 + 300*g + 504. Let f be n(-59). Does 187 = f?
False
Let c = -212 + 183. Let f = 186 - 211. Is c smaller than f?
True
Let p = -889 - -2477/3. Suppose -4*x + 320 = x + 4*c, -64 = -x - 3*c. Let i = x + p. Is i less than 0?
False
Suppose 0 = 7*p - 2*p - 60. Let y be 476/(-24) - (-5 + 62/p). Is y less than -12?
True
Let s(h) = -h**2 - 29*h + 213. Let x be s(-38). Which is bigger: x or -10?
-10
Let i = 154 - 149. Suppose -3*r + 4*r - 154 = i*f, -4*f = 4. Is r less than 149?
False
Let p = 601372/5 + -119905. Let o = p + -365. Let z = 16 + -11. Which is bigger: z or o?
z
Let n be 206/(-10) + 26/(-65). Let h be 1 - ((-8974)/(-8134) - (-2)/n). Do -1 and h have different values?
True
Let w = -2940 - -2603. Which is bigger: -339 or w?
w
Suppose 3*z = -5*s - 10, -3*z + 3*s + 3 = -3. Suppose -4*b + 16 = -g, 2*b - 8 = 2*g - 0. Suppose m = b*m + 12. Is z bigger than m?
True
Let n = -10/291 - -4735/10767. Suppose -p - 37*k + 39*k - 12 = 0, 4*p + 18 = 3*k. Are n and p non-equal?
True
Let o = -9555 + 8969. Is o at least -588?
True
Let h(b) = b**2 + 7*b + 2. Let k be h(-6). Let i = 11414 + -68297/6. Let y = i - 1513/42. Which is smaller: y or k?
y
Let f be 20/(-30)*(-6)/5 + -2 + 1. Is f >= -0.0797?
False
Let o be 43/(6966/(-252))*(-86)/4. Is 34 at most as big as o?
False
Let x be (6/(-4))/(6*2/13456). Let q = -142964/85 - x. Let y = 33 + -32. Which is smaller: y or q?
q
Let z(d) = 8*d**2 - 282*d - 3516. Let y be z(45). Let s = 4 - 2. Suppose p - 3*j + 14 = 0, -p - s*j + 6 = -j. Is y less than p?
True
Let a = 0.086 + 45.914. Let s = a + 29. Let d = -77 + s. Which is bigger: d or -4?
d
Let x(j) = 61*j**2 + 179*j + 24. Let w be x(-7). Is w smaller than 1760?
False
Let z(i) = 5*i + 11256. Let w be z(0). Let l be 2/(-11) - w/2464. Let s = -3/2 + 2. Is l at most as big as s?
True
Suppose -3*b - 15*g + 19*g = -24, -5*b + 4*g = -24. Which is smaller: 57 or b?
b
Let k(g) = -g**2 + 2*g - 2. Suppose 10*m = -25*m. Let j be k(m). Let z = 43/2 - 23. Which is smaller: z or j?
j
Suppose -5677 - 683 = -20*o. Suppose 40*m = 38*m - o. Is -159 > m?
False
Suppose -2*s + 4*d = 10, 2*s + 5*d = 2*d + 18. Let u(k) = -k**3 + 5*k**2 - 5*k - 3. Let g be u(s). Is 3/4 at most g?
False
Let k = -5312 - -5166. Is k greater than -150?
True
Suppose -126*k - 145 - 79 = -14*k. Let n = -4/1043 + -16652/9387. Which is smaller: k or n?
k
Let x(g) = 113*g + 124. Let i be x(-6). Let p = i - -583. Is p at least 22?
True
Suppose 0*g - 1 = w - 3*g, 0 = 4*w - g + 4. Which is smaller: w or -9/3005?
w
Suppose 0 = 5*k - 413 + 118. Suppose k - 23 = -6*x. Let o(m) = -4*m + 17. Let r be o(x). Is r at most 0?
False
Suppose 16 - 136 = 2*l. Suppose 123 = -6*v + 729. Let b = l + v. Do 40 and b have the same value?
False
Let g(b) = b + 20. Let p be g(-39). Let f(u) = 10*u - 13. Let x be f(7). Suppose 0 = -4*s + s - x. Is s less than p?
False
Let u(s) = 13*s**3 - 3*s**2 + 6*s - 2. Let k be u(2). Suppose 5*x = r - 45, -x = -3*r - 23 + k. Let z be (r - 27)*(-50)/(-4). Are z and -25 non-equal?
False
Suppose 0 = -5*b + 76 + 284. Suppose -13*o + b = -12*o. Is 145/2 > o?
True
Suppose 3*w - 238 = -4*w. Let p be (-1)/1 - (-3)/108*w. Let f(b) = -b**2 - 5*b - 4. Let o be f(-4). Is p > o?
False
Let z = -117 - -170. Let a = z - 52.979. Let v = a - -9.979. Is 1/2 at most as big as v?
True
Let v be ((-3)/4)/((-577)/8*2). Let l = -43867/2885 + v. Which is smaller: -14 or l?
l
Let q be (-3)/(-5)*-1*1. Let i be 244/12 + 4/6. Let o = i + -29. Is o bigger than q?
False
Suppose 17*a = 33*a - 22*a + 12. Which is smaller: a or 38/75?
38/75
Let y = 505/3 - 1037/6. Suppose t - 3*k = -9, -4 = 2*t + 3*k + 5. Are t and y equal?
False
Let u = -4.5 - -4.5039. Let g = -0.0961 - u. Suppose 3*i - 83 = 3*y + 22, 135 = 4*i + y. Is i at least g?
True
Let k(m) = m**2 - 2*m - 2. Let b = 52 + -53. Let p be b/(-4) - 50/40. Let j be k(p). Is 32 less than j?
False
Suppose -3*q = -2*g - 2*g - 988, 2*q - 664 = 4*g. Suppose -34*y - q = -16*y. Which is smaller: -15 or y?
y
Let z be 48/60 + (-3712)/(-10). Suppose 35*f - z = 23*f. Which is smaller: f or 33?
f
Let x be (-88)/132 - (-3044)/(-15). Let q = 204 + x. Which is smaller: q or -0.29?
-0.29
Let w = 24676 + -24679. Which is greater: w or 263?
263
Let l = -211 - -208. Let n be 2 - (-2)/l*57. Is -38 smaller than n?
True
Let j = 30 - 156. Let s be 8*(-9)/j + 668/7. Which is bigger: 98 or s?
98
Let g(h) be the second derivative of h**4/6 + 11*h**3/6 + 6*h**2 + 23*h. Suppose -4*k + 2*s - 30 = -0*s, 0 = k - 4*s + 11. Let u be g(k). Is u not equal to 33?
False
Suppose 4*p = -3*v - 1802, 0 = -2*v - 154 + 158. Is -439 bigger than p?
True
Let c be (-1127)/(-28) + 0 - (0 - -12). Let l = 7 - -20. Which is greater: l or c?
c
Let o = -0.03 - -0.13. Let w(j) = 4*j**2 + 64*j + 133. Let b(m) = -m**2 - 16*m - 33. Let z(x) = 9*b(x) + 2*w(x). Let s be z(-13). Is s at least o?
True
Let b = 1.8 + -1.9. Let g(t) = t**3 + 13*t**2 + 18*t + 56. Let j be g(-9). Is j bigger than b?
True
Let z be (-252)/4 + (0 - 2). Which is bigger: z or -55?
-55
Let x = -0.2653 + 4.2653. Is x at least 299?
False
Let q = 0.1227 - 8.6227. Let y = 15.2 - 3.7. Let f = y + q. Is 2 greater than or equal to f?
False
Let u = -133 - 11. Let d = 145 + u. Let x be 2 - (-111)/114*-2. Are d and x equal?
False
Let s = 0.269 - -4.431. Which is smaller: s or 21/5?
21/5
Let v = -13361 - -13586. Which is bigger: 223 or v?
v
Suppose -f - 311 = 38*f + 781. Which is bigger: -92 or f?
f
Let j = -325 - -325. Let z(p) = -p**2 - 8*p + 20. Let o be z(10). Let l be (1 + 0)/(340/o). Is j smaller than l?
False
Let u = -36 - -39. Let v be (3 - (-133 - u)) + -3. Suppose 6 = 2*k, -k = -5*y + k - v. Is -27 greater than or equal to y?
False
Let c = -2719/1785 - -4/85. Let a = c - -17/21. Are a and -11/5 equal?
False
Suppose 5*a - 4 = 3*o, -3*a - 19*o - 18 = -14*o. Let u be 24/12 - (444/214 - 0). Which is bigger: u or a?
u
Let v = -330/19 + 120139/6916. Let t = v + -1097/1820. Let y = 7/39 - -107/273. Which is bigger: y or t?
y
Suppose o - 1647 = 2*h, -307 = -h - 5*o - 1103. Let m = h - -105087/128. Which is bigger: -1 or m?
m
Let a be (-357)/(-18) + 5/30. Let z be ((-4)/(-10))/((-4)/(-50)). Suppose -a = z*i, 0 = -3*x + 2*i + 63 - 10. Is x smaller than 15?
False
Let d = -20 + 19. Let i = -2824 - -593039/210. Which is smaller: d or i?
d
Let y be 60/1005*26067/(-16). Let x = y + 389/4. Suppose -2*k = 2*k. Is k >= x?
True
Let l be 30775/1500*15 + (-1)/(-4). Do 1 and l have the same value?
False
Let f = -239 - -134. Let s = f - -83. Let g = -42.1 - -42. Which is bigger: s or g?
g
Let q = 374 - 387. Let c = q + 13.4. Which is smaller: 49 or c?
c
Suppose 5*i + o - 716 = 188, 4*i - 4*o - 704 = 0. Which is smaller: i or 179?
179
Suppose -151 + 326 = 5*u + 4*a, -5*u + 4*a + 175 = 0. Is 1390/39 < u?
False
Let s be ((-1550948)/387730 - -20) + -16. 