s big as v?
True
Let d = -953 + 953.038. Which is bigger: d or -28?
d
Let v = -2735/209 + 181/11. Is v less than 2?
False
Let t be (8/(-68))/(6/9). Let k = -0.0551 + -0.0449. Is k smaller than t?
False
Let i = 25687 + -14545. Let f = 11154.986 - i. Let p = f - -0.014. Is -0.2 > p?
False
Let p be -1 - -2 - (0 + 0). Let a be ((-3)/(-2))/(385/2464). Let y = a - 351/35. Is p less than y?
False
Suppose 37*r + 1152 - 7008 = -207*r. Let z be 237/9 + (-4)/(-6). Which is smaller: z or r?
r
Let h = -10977 + 13082. Is h greater than or equal to -1/3?
True
Suppose 4*s = 4*m + 24, 3*s + 4*m - 3*m = 2. Let a be (s/(-6))/((-6)/(-9))*26. Let f be 2/(-4)*-4 - 17. Is f > a?
False
Let h be ((27/(-5))/(-3))/((-1)/(-30)). Let z be ((-16)/992)/(2 + h/(-28)). Which is smaller: z or 1?
z
Suppose 1 = 3*k - 14. Suppose -12*p = k*p + 5*p. Which is smaller: p or -5/17?
-5/17
Let l(j) = -j**2 - 11*j + 35. Let k be l(-11). Which is greater: k or 39?
39
Suppose -4*h = y - 6*y - 166, -y = -2. Suppose 29 + 15 = h*i. Do 287 and i have the same value?
False
Let q = -43.0338 + 0.0338. Let j = -45 - q. Is 11 greater than or equal to j?
True
Suppose -23996 = 2*c - 2*q, 7046 - 43052 = 3*c + 3*q. Let b be (0 - (1 - -1)) + c/(-5800). Which is greater: b or -1?
b
Let t = 172 + -125. Let m = 15 + t. Is 64 at least m?
True
Suppose -3*i + 3 + 0 = 0. Suppose 4*l - 5 = 5*a, 0*a + i = -l - a. Suppose l*n = -5*n + 45. Is n at most as big as 7?
False
Let a(j) = -j**2 - 132*j + 1278. Let h be a(9). Which is smaller: h or 69/7?
h
Let u be (-539)/462*(4 + -4 + -1). Suppose -2*t + 3 = -1. Is u at least as big as t?
False
Let j be ((-9)/(-63))/(((-8)/(-1690))/((-70)/(-25))). Is 2/23 smaller than j?
True
Let f = -129 - -88. Let g = -5739 - -5699. Is f less than or equal to g?
True
Let s be (-5)/(-3) + -2 - 259/(-21). Suppose -3*b - 9 = -s. Let h be ((-2)/30)/((-4)/16). Which is greater: b or h?
b
Suppose 2*m = 5*h + 2583, -2*m = -3*h - 845 - 1736. Let k = -1254 + m. Suppose -4*p + 31 = -109. Is p less than k?
False
Suppose -9*w - 3*w = 134186 - 15626. Is w > -9878?
False
Let i = -81.7 - -34.4. Let d = -94.3 - i. Are 2 and d non-equal?
True
Let h = 13526.02 + -13526. Which is greater: 238/3 or h?
238/3
Let c(k) = 7*k**3 + 7*k**2 + 2*k - 3. Let s be c(-3). Let q be (6/4)/(12/8) - 138. Which is bigger: q or s?
s
Let m = -854 + 853.9. Is m > -13.28?
True
Let s = -74 - -76. Suppose 0 = -4*l, -5*l - s = 2*z - l. Let r be 94/(-186) - 2/(-3). Is z <= r?
True
Let p be (-1)/(((-21)/18)/(-7)). Let l be 0*(p/1)/(-12). Is l greater than -21?
True
Let z(m) = 17*m + 115. Let h be z(-6). Let d(w) = 4 - 2*w + 21 + 0*w. Let q be d(h). Which is greater: -10 or q?
q
Suppose -23516 = 7*m + 25479 + 20361. Are m and -9908 unequal?
False
Suppose -3*j - 70 = -10*j. Let q(c) = c**3 - 9*c**2 - 7*c - 26. Let r be q(j). Let i be ((-54)/12)/(2/r). Which is bigger: -5 or i?
-5
Suppose 3*m - 1 - 14 = 0. Suppose -5*v = m, -2*v = -0*c + 3*c - 10. Suppose -c*t - 2*w + 5 = -3*w, 6 = 5*t - w. Is t at most 2/3?
False
Let b(i) = -29*i - 3. Let y be b(3). Let f = 6.857 + -6.857. Which is smaller: y or f?
y
Let g be (-34 + 33)/((-9)/(-2)). Which is bigger: -137.3 or g?
g
Let h(x) = 8*x - 3 + 16 + 2*x**2 + 2. Let d(v) = -v**2 - v. Let a(s) = -3*d(s) - h(s). Let l be a(7). Which is bigger: l or -2?
l
Suppose -22 = 3*h + 20. Let b = -10 - h. Suppose -2*w + 10 = -2*g, 8 = -b*w - 2*g - 2. Which is bigger: 8 or w?
8
Suppose 1347 = -57*c - 2467 - 1829. Which is smaller: -84 or c?
c
Let o(k) = k**2 - 23*k - 36. Let m be o(25). Let x be (-220)/1596 - (-2)/m. Which is smaller: x or -1?
-1
Suppose -2*g = 4*z + 2274, -11*g = 3*z - 15*g + 1689. Is z smaller than -578?
False
Let f = -67/14 - -47/14. Let h(b) = 4*b + 7. Let k be h(0). Suppose -16*v = 7*v - k*v. Which is smaller: v or f?
f
Suppose 0 = -14*k - 107*k - 4961. Is -61 < k?
True
Let i = 1/3553 + 3229/3553. Which is smaller: 0.1 or i?
0.1
Let m = 83.4 - 84.4. Let x be (-2)/(-8) + 634/(-8). Which is smaller: x or m?
x
Let v(x) = -4*x**3 - 14*x**2 - 19*x + 14. Let m be 6 - 1 - (35 - 5)/3. Let y be v(m). Which is bigger: 260 or y?
260
Let l = 28 - 237. Let a = l + 208. Which is smaller: 0.03 or a?
a
Let a be (-106)/(-159)*6/8. Let f = -618 - -581. Is a not equal to f?
True
Let b = 59.2 - -184.8. Let t = b + -244.01. Are 4 and t unequal?
True
Suppose 14*k - 105 = 119. Is k greater than or equal to 59/4?
True
Suppose -99*r - 20 = -2*q - 102*r, -5*q = 2*r - 17. Which is smaller: -2/15539 or q?
-2/15539
Let x be (-6)/10 - ((-404)/(-1890))/((-70)/(-105)). Is x != 0?
True
Let l(v) = 14*v**2 - 13*v**2 - 2*v + 6 - 5*v. Let y be l(6). Suppose y = 6*m - 134 + 20. Is 17 at most m?
True
Let j be (-1)/(-5) - (-1 - 117/15). Let z be (-63)/12*(-12)/j. Let x be (z/(196/(-16)))/(2/(-14)). Which is smaller: 38/9 or x?
x
Suppose 121*c = 130*c. Which is bigger: c or -2/5151?
c
Let j(h) = -11*h + 124. Let n be j(-6). Let b(q) = -7*q**3 - q**2 - 2*q + 3. Let t be b(-3). Do n and t have different values?
True
Let u be 2/34 - (-49)/(-833). Which is bigger: -27/197 or u?
u
Let m = 61.89 - 61.69. Which is greater: -1670 or m?
m
Suppose 2*w - 4933 = 3*l, 2922*l - w + 8203 = 2917*l. Is -1639 < l?
False
Let s(x) be the first derivative of -2 + 24*x + 1/2*x**2. Let a be s(6). Which is smaller: 28 or a?
28
Let j = 51 + -203/4. Let x = -13763 + 13758.56. Is j < x?
False
Let x = -98/41 + 604/287. Are x and 1644 equal?
False
Suppose 0 = 5*j + 10 - 5, -13 = -4*q - 3*j. Suppose -q = 5*g + 1. Which is smaller: g or 14/31?
g
Suppose -l + 2352 = 3*l - 4*k, -4*l = 5*k - 2352. Let z = -683 + l. Is -95 bigger than z?
False
Let i be 6/10 + 112/5. Let p = 289.3 + -289. Is p bigger than i?
False
Let v(z) = z**2 + z - 16. Let w(x) = x**2 + 2*x - 14. Let s(p) = 4*v(p) - 5*w(p). Let h be s(-7). Are h and -1/2 nonequal?
True
Let f be (-12 - -10)*(0/1 + (-11)/22). Does f = 11/448?
False
Let v(a) = -a**2 - a + 2. Suppose 7 = -6*u - 5. Let i be v(u). Suppose -6*s - 13 + 1 = i. Do s and -4 have the same value?
False
Suppose -38 = -5*x - 198. Let f = 24813/4 + -6235. Let c = x - f. Do -1 and c have the same value?
False
Let d be (((-7 - -4)/(-21))/(4/(-14)))/2. Is d at least 19.97?
False
Suppose -p + 2*v = -7, 2*v = -2*p - 2*v - 10. Let r(n) = 5*n**3 - 24*n**2 - 5*n + 1. Let u(d) = 4*d + 45. Let f be u(-10). Let c be r(f). Is c < p?
False
Let g be 1105/(-884) - 909/(-4). Which is bigger: g or 2038/9?
2038/9
Let q(d) = 942*d - 16472. Let m be q(18). Is 2414/5 > m?
False
Suppose -11*a + 2*l - 1719 = 0, -51*l + 789 = -5*a - 52*l. Which is bigger: a or -146?
-146
Let g be 2650/550 - (-2 - -7). Which is smaller: -50 or g?
-50
Let y be (2 + 11 - 344)*(3 + -4). Which is smaller: -1 or y?
-1
Suppose -4*z - 5*z + 4689 = 0. Let y = -592 + z. Are y and -73 unequal?
True
Let n be (-140)/(-105)*20350/(-32). Let w = -2435/3 - n. Is 36 equal to w?
False
Let l be ((-4)/10)/(16/(-4960)). Let t be l/(-14) + 54/(-63). Is 1 equal to t?
False
Let r(j) = -9*j**2 + 5*j + 70. Let k be r(26). Is k >= -5884?
True
Let o be ((-44)/(-484))/((-2)/(-198)) - 58/(-1). Which is smaller: -15 or o?
-15
Let i = -13964 + 13867. Which is smaller: -8 or i?
i
Let w = -64.5 + 370.5. Let r = 306.43 - w. Which is smaller: r or 1?
r
Let s = -132 - -134. Suppose -s*d + 527 = d - 2*b, -2*b = -d + 169. Are d and 179 equal?
True
Let x be ((-6)/(-45))/((-384)/(-320)). Is x > -0.75?
True
Suppose 325*r + 16*r - 831017 = 0. Is 2436 bigger than r?
False
Let d be 696/(-126) - -6 - 4/7. Let h = 18 - 18. Suppose h = -3*i + 19 - 16. Is d > i?
False
Let v(c) = -c - 11. Let d = -62 - -45. Let r be v(d). Let h be r/8*(-112)/105. Which is greater: h or -1?
h
Suppose 0 = -41*u + 224*u - 22173 - 7290. Which is smaller: u or 1438/9?
1438/9
Suppose 2*w - 3*g - 462 = 0, 15*w = 22*w - 5*g - 1595. Is 182 not equal to w?
True
Let q = -166.8 - -166.6. Is -2175 >= q?
False
Let g(n) = -n**2 - 1. Let f be g(0). Let h = -28065 - -28068.6. Is f < h?
True
Let n = 218 + -200. Let t be 8/((120/n)/(-4)). Let c = -10 - -5. Which is smaller: t or c?
c
Let y(u) = u**3 + 4*u**2 + 2*u - 1. Suppose 0 = 4*r - 3*r + d - 1, 0 = -4*r + 2*d - 8. Let z be y(r). Let g = 2066/11067 - -2/527. Are z and g nonequal?
True
Let i be (-3 - (-5 + 3))*((-220548)/(-11028) - 20). Which is smaller: 0 or i?
0
Suppose 6*s - 44 - 16 = 0. Suppose 5*c = 