 j = 2679 - 2681. Which is bigger: -26 or j?
j
Suppose -5*k + 3*h + 846 = 0, -5*k + 3*k + 5*h + 346 = 0. Let a be (-4)/14 - (-4080)/k. Let t be 4/(28/24 - 1). Is a less than or equal to t?
True
Suppose 0 = -98*r + 563*r + 9491580. Which is greater: r or -20413?
r
Let s = -0.1 + -1.9. Let u = 2.08 + s. Let c be -6*((-59)/84 - (-33)/44). Do c and u have the same value?
False
Let z be 1 + -8 + (-19 - (-405 + -12)). Is 1956/5 bigger than z?
True
Let u = 934559/24 + -38946. Let s be 0/7 - (-35)/(-8). Let j = s - u. Which is smaller: 1/7 or j?
1/7
Let d(k) = 3*k**3 + 6*k**2 - 39*k + 195. Let x be d(5). Is 527 bigger than x?
True
Suppose 9*n = 16*n - 532. Let k be 59/(-68) + 57/n. Suppose -2*i + 22 = -5*w, -5*i + i + 12 = -2*w. Which is bigger: i or k?
i
Let c be (((-96)/2400)/(1/(-15)))/(2/(-70)). Is c > -3/64?
False
Let j = 16 - 13. Suppose -169*x - 3813 = -46*x. Which is smaller: x or j?
x
Let s(o) = 3*o**3 - 68*o**2 - 23*o - 502. Let p be s(23). Is -506 less than or equal to p?
True
Let u = -104.98 + 106. Let r = 157.02 - u. Is 0 smaller than r?
True
Let y(w) = -w**2 + 3*w. Let s be y(2). Suppose -27 = -5*t - s. Suppose -x - t*m + 7 = 0, 4*x + 18 = 2*m + m. Are x and 5/3 equal?
False
Let m = -74 + 68. Let w be (16/m)/(290/45). Is 0 less than or equal to w?
False
Let g = 46 - 47.3. Let i = g - -1.7. Is i less than 4.2?
True
Let z = 155 + -279. Let d = -30184 - -30059. Is d bigger than z?
False
Suppose 0 = 5*q + 3*y - 23, 4*q - 83 = 4*y - 103. Let o be 46881/(-165) - (-4)/10. Let d = -283 - o. Is q > d?
True
Suppose -2 = -x, 5*j - 788 - 770 = x. Let v = 307 - j. Let l = 5 - 7. Is l <= v?
False
Let r = -112 - -257. Let i be r/140 + ((-36)/(-42))/(-3). Let j = -1 + 1. Is i at least as big as j?
True
Let q = 9687.068 - 9706. Let x = q + 19. Which is smaller: 1 or x?
x
Let a = 1276 + -5721. Let w = a - -1471293/331. Is w bigger than 0?
False
Let o = 13249 - 15837. Which is greater: o or -2587?
-2587
Let y = 21.7 - 22. Let z = -0.33 + -4.43. Let j = -0.24 + z. Is y less than or equal to j?
False
Suppose -3*b - 8071 = 4*a, a - 5*b = -1227 - 785. Which is smaller: a or -2018?
-2018
Let b be (1 - 4)*(-1)/(-47). Let n = b - 35/188. Let g = 21 - 22.6. Is n at least as big as g?
True
Suppose p = -2*y + 4*p + 1733, 4310 = 5*y - 3*p. Let b = 530 - y. Are -329 and b non-equal?
False
Let q be -16 - -18 - (12/8 + 15/10). Which is bigger: -38/647 or q?
-38/647
Let g(t) = -t + 11. Let i be g(11). Let v = 264/13 - 252/13. Is i < v?
True
Let a(b) = 80*b**2 + 260*b - 129. Let c be a(-11). Is 6691 <= c?
True
Let a = 0.09779 - -0.10221. Is -17.05 greater than or equal to a?
False
Let b = 1687/10 + -558689/3270. Let h = 3/218 - b. Suppose 4*s = 2*d + 14, 5*s - s = 16. Is h at most d?
False
Let j be (-4)/10 - 1197/95. Let f(q) = -3*q - 4. Let i be f(-3). Suppose -4*z = -0*z + 20, -85 = i*g + 5*z. Which is greater: j or g?
g
Let c(v) = 94*v - 15. Let q be c(-2). Let m = q + 1112/5. Are 20 and m equal?
False
Suppose -12*d = -18*d - 108. Let u be ((-15)/5)/(159/d). Let k = u + 635/159. Which is smaller: 2/3 or k?
2/3
Let a = -484 + 474. Let w be ((-143)/13 - a)/(3*-1). Which is smaller: 1/2 or w?
w
Suppose -3*f + 318 = 5*r - 316, 3*f - 2*r - 599 = 0. Suppose 4*c + f = -89. Let v = -65 - c. Which is smaller: 11 or v?
v
Let y = 119.9 - -7.1. Which is smaller: y or 2/7?
2/7
Let m be 15/(-20)*84/(-15). Suppose -3*r + 28 = -4*z - 3, 2 = -2*z. Let f be 9/(-6)*(-6)/r - -4. Which is bigger: m or f?
f
Suppose 11*n = 22 - 11. Let l be 160/15 + (n - 5/3). Let o = -19 - -31. Is l at most as big as o?
True
Let c be (-6)/(-4)*(-3 - 3). Let i be 6/c + 0 + (-1)/3. Is i greater than 1/195?
False
Suppose -x + 24 = 7*x. Suppose -x*y - 90 = -8*y - 5*g, 0 = 2*y + 4*g - 40. Is 17 greater than y?
True
Suppose -4*c = -33*t + 34*t - 261, 0 = -c - 5*t + 32. Which is smaller: c or 143?
c
Let s(j) = -j**2 - 39*j - 207. Let m be s(-63). Is m < -1720?
False
Let f = -7643 + 12221159/1599. Let i = f - -25562/17589. Suppose -3*v + 0*v = 0. Which is greater: i or v?
i
Let w(k) = k**3 - k**2 + 14. Let h be w(0). Let d be 4/h - 130/(-35). Suppose d*s + 219 = 3*a, 23 = -s - 3*a - 43. Is -58 >= s?
False
Let h = 253 - 268. Let r(s) = s**3 + 17*s**2 + 18*s + 5. Let w be r(h). Is 185 not equal to w?
False
Let l = -6997 + 7176. Which is bigger: 0.15 or l?
l
Let s(x) = -990*x + 334. Let n be s(-5). Is n not equal to 5284?
False
Let r(g) = -26*g - 2107. Let p be r(-81). Suppose -4*k - 11 = -5*u, 2 = -u - 2*k + 7. Which is smaller: p or u?
p
Let p(i) = -i**2 + 7*i + 16. Let k be p(8). Suppose a = -k*a - 5*a. Which is smaller: -5/47 or a?
-5/47
Suppose 621 + 648 = 4*w - 31*w. Let t = 47 - -192. Suppose 2*g + g + 151 = -5*q, 5*g + 2*q = -t. Is g < w?
False
Let g = -1635 - -1073. Let j be 4/(-6)*(-7)/(-70)*(15 - 9). Which is greater: g or j?
j
Let f be 4914/(-805) - 70/(-25). Is -0.1 smaller than f?
False
Let x = -202.6 + -23.4. Let k = 222 + x. Let l be ((-1)/(8/(-12)))/((-39)/4). Is k equal to l?
False
Suppose -136 = -11*s + 117. Let b(p) be the second derivative of 5*p**3/2 + 3*p**2 - 13*p. Let r be b(1). Is r <= s?
True
Let p = -0.22 + -8.78. Let h = p - -11. Let g = -117 - -116.97. Is g smaller than h?
True
Let h be (-1120)/280280*(-42)/44. Is 1 greater than h?
True
Let r be (-5)/(-50)*4/30. Let g(f) = 3*f + 2. Let o be g(6). Let j be (o/(-80))/(10/8 - 1). Which is smaller: r or j?
j
Let z be 3/51*(-78)/(-91). Is z equal to 0?
False
Suppose -31*n = 4*o - 27*n + 3640, -n + 2730 = -3*o. Is -909 >= o?
True
Suppose 0 = 18*l - 14*l. Suppose -4 = 226*b - 222*b. Which is smaller: l or b?
b
Let t(c) = -9*c**2 + 0*c**2 + 4*c + 13*c**2 + 7. Let l(w) = 5*w**2 + 5*w + 7. Let h(r) = 2*l(r) - 3*t(r). Let f be h(-3). Which is smaller: -18 or f?
f
Let x = 558.52 - 557. Let w = 0.179 - 0.179. Is x >= w?
True
Let t(k) = 47*k - 236. Let z be t(5). Which is smaller: z or -7/348?
z
Let i(l) = l**2 - 12*l + 37. Let s be i(6). Do -2125 and s have the same value?
False
Let g(p) = -p**3 + 11*p**2 - 13*p - 3. Let f be g(9). Suppose -2*l = -2*n + f, -l = -3*n + 5*n + 9. Are l and -18 equal?
False
Let j = -696 + 695. Which is bigger: j or 1/7154?
1/7154
Let v be (7/14)/(1 - 2/4). Let g be (-8)/6*(200/(-16) - -11). Are v and g equal?
False
Let j be 8/(-2192)*4/2. Let o be ((-8 - -3)/(-5))/1. Which is smaller: j or o?
j
Let r be (1332/42)/6 + 2/(-7). Suppose 58*j - 61*j - r*q + 28 = 0, 2*j - 4*q + 18 = 0. Is -2/1089 <= j?
True
Let a(f) = 2246*f**3 - f**2 + 22*f + 24. Let c be a(-1). Is -2244 < c?
False
Let y = -1528.5 + 1530.4. Is -0.7 <= y?
True
Let d be 89/7 + 8 - 6/(-21). Let q be d/(-5) - (-32)/(-40). Which is smaller: q or 10?
q
Let f be (-55)/(-10)*2 + (-3 - 2). Let c(s) = -3*s + 47. Let k be c(f). Which is smaller: k or 91/3?
k
Suppose -2*u - 4*z = 22, 4 = 4*z + 8. Suppose 0 = -2*s - 23 - 61. Let x be 0 + 1 - (-56)/s. Is u greater than x?
False
Let d = -9379 + 1366. Which is greater: 1/3 or d?
1/3
Suppose -442 = -9*w + 43*w. Is w < 5/4?
True
Let x be (-24)/56 - (-2)/(-14)*-1543. Let o = x - 439/2. Does o = -7?
False
Let j = -964 + 965.438. Let y = 0.845 - j. Let q = 0.093 + y. Which is smaller: q or 1/2?
q
Let y(b) = -b**3 - 5*b**2 - b - 7. Let v be y(-5). Let d = 30 - 27. Suppose -d*o = -2*o + 6*o. Is o at most as big as v?
False
Let l be (61/(-1525))/(2/(-4910)). Which is smaller: l or -1?
-1
Let y(p) = -51*p**3 + 5*p**2 - 43*p + 7. Let x be y(4). Is x greater than -3351?
True
Let y(v) = 9*v + 180. Let j be y(-20). Are j and 2/2079 non-equal?
True
Suppose 13106 = 2*h - 4*k, -h + 4922 = -5*k - 1610. Is h less than 6567?
False
Let f = -89.3 - -88. Let x = f + 1.5. Let o = -6 - -7. Which is smaller: o or x?
x
Suppose -50 + 14 = 3*l. Let a(b) = 2*b**3 + 26*b**2 - 54*b - 373. Let v be a(-14). Is l at least v?
False
Let k = -4064 + 4074. Let s(d) = 7*d - 17. Let r(y) = 13*y - 33. Let q(v) = 6*r(v) - 11*s(v). Let h be q(k). Is -8/13 < h?
False
Let h = -18144 - -18561. Is 410 greater than or equal to h?
False
Let v be -14 - ((-12)/(-4) - 17). Which is smaller: 2670 or v?
v
Let x be (45/((-2835)/36))/((-3)/(14238/4)). Which is greater: x or -17/2?
x
Let i = 443.925 - -0.075. Let n = i + -443. Which is smaller: n or -28.6?
-28.6
Let u be (-1383)/(-1584) + ((-1020)/(-72))/(-17). Which is smaller: u or 0?
0
Let l(o) be the first derivative of -o