e ((-1)/(-2))/((-1)/130). Let k = r - g. Which is greater: -4 or k?
-4
Let x = 6782570391/3140 - 21599949/10. Let y = x + -18/157. Let k = y - 121/2. Which is smaller: -1 or k?
k
Let r = 1895 + -1216. Let x = 679.2 - r. Does 192 = x?
False
Let l = 245 + -172. Let q = 78 - l. Suppose 0 = -5*a + 3*k - 62, 3 + q = 2*k. Is -11 less than a?
True
Suppose 0*a + 192 = -4*a. Let t = a - -60. Suppose -58*h + 59*h = -t. Is 2 at least h?
True
Let i = 41 + -55. Let h be (1/(-2)*0)/(13 + i). Suppose -14*a + 12*a = h. Is 10/9 less than a?
False
Let q = 1737/226490 - 1/1595. Let h(w) = -w - 10. Let l be h(-10). Which is smaller: l or q?
l
Let d = 6.44 - 328.44. Let y = 321.91 + d. Which is smaller: y or -1.9?
-1.9
Let t be (20/7856)/(12/(-1440)). Which is smaller: t or 1?
t
Let d(w) be the third derivative of -w**4/12 - w**3/6 - 33*w**2. Let v be d(-2). Suppose -g = 4*m + 44, -v*g - m = g + 161. Is g < -39?
True
Let h be 1 + -5 + 3619/(-7). Let p = h + 1046. Suppose p = -c + 8*c. Are 75 and c equal?
True
Let t = -27756 + 30003. Is t > 2251?
False
Let q(t) = -t**2 - 21*t + 15. Suppose 0 = -3*s + 17 - 50. Let y be q(s). Suppose 8*b - y = -45. Which is bigger: b or 7?
b
Let k = 121.42 + -16.42. Is k smaller than -1/51?
False
Let g be 180/72*3/(-15)*0. Is g less than or equal to 5636?
True
Let v = -3 - -3.58. Let t = -6025 - -6026. Does v = t?
False
Let d(c) = 129*c - 1809. Let m be d(14). Are m and -182/79 unequal?
True
Let a = -239 + 238.96. Let b = 0.16 - a. Does 3/8 = b?
False
Let t = -1.501 + 2.501. Is -121 greater than or equal to t?
False
Let l(k) = -2*k - 66. Suppose s = -s + z - 52, 0 = z. Let n be l(s). Is -102/7 less than or equal to n?
True
Let a be (13181/(-98))/(2/4*1). Do -271 and a have the same value?
False
Let l = 13/44208 - 9586171/1370448. Let p = l - 21/62. Suppose -k - 16*k = 136. Which is smaller: k or p?
k
Let q(d) = d**3 - 105*d**2 + 24*d - 2519. Let v be q(105). Is v bigger than -0.1806?
True
Let n(d) = -22*d - 60. Let p be n(-7). Let z = -156 + p. Are -61 and z equal?
False
Let d be 1/(2 - -1)*57. Let r = 48096 + -142630/3. Let v = r + -1600/3. Which is greater: d or v?
v
Suppose -5*u = 3*i - 31, -2*i + 3*u + 2*u - 21 = 0. Suppose -i*z + 22 = -12. Suppose 66 = 5*f - 24. Is f <= z?
False
Let p be (-4)/8*578/(-23). Is p equal to 12?
False
Let s = 58 + -32. Let n be (12/s)/3 - 5217/195. Let u = n - -27. Which is bigger: -1 or u?
u
Let o = 2.28721 + 0.01179. Does -2 = o?
False
Suppose 22*d = 26*d + 2*p + 86, 5*d = -2*p - 107. Let z be (4/(-10))/(3/180). Do z and d have the same value?
False
Suppose -3*a - 4*s + 317 = 0, -a + 4*s = -47 - 64. Suppose -308 = -3*i + 5*n, -526 = -7*i + 2*i + 2*n. Is a at least i?
True
Let n = -113714 - -1520697321/13373. Which is greater: 0.1 or n?
0.1
Let n be -13 - (-833)/63 - 168/270. Is 38934 at most n?
False
Let w = 1/20782 - 1226169/644242. Let a = -5555/2821 - w. Which is smaller: a or 1?
a
Let v(s) = -32*s**2 + 5*s - 10. Let j(h) = 18*h**2 - 2*h + 5. Let u(p) = -5*j(p) - 3*v(p). Suppose 0 = -7*m + 2*m + 10. Let n be u(m). Does -2/7 = n?
False
Suppose -5*p + 5*l - 155 = 0, -p - 41 = -0*p - 3*l. Let w be (-30)/(-45) - p/6. Suppose -q - 53 = -5*q - 3*y, w*y + 5 = 0. Which is bigger: 16 or q?
16
Suppose 3*w = 5*m - 918 + 3303, -4*m - 9*w - 1908 = 0. Is -2391/5 less than or equal to m?
True
Suppose 126*o - 6 = 129*o. Let x(v) = -6*v**2 + 4*v + 10. Let l(i) = 7*i**2 - 5*i - 11. Let u(c) = -5*l(c) - 6*x(c). Let y be u(0). Is y != o?
True
Let n = 40.82 - 40.52. Which is smaller: n or 1566?
n
Let w = 52.86 - 53.86. Which is bigger: 0.7086 or w?
0.7086
Suppose -2896 = -74*w + 70*w + 3*p, 3620 = 5*w - p. Is w at least 725?
False
Let c(v) = v**3 + 41*v**2 - 87*v - 33. Let n be c(-43). Suppose 3*i = 9, n*y - 7*y = -2*i + 57. Is 12 smaller than y?
True
Let y = -7738450/79 + 97957. Are 3 and y equal?
False
Suppose -2*u - 7*i + 40 = -2*i, -5*u = -2*i - 42. Let h be -13 - -8 - u/7. Is -6 less than h?
False
Let q = -183 - -182.096. Let b = -340.904 - q. Is -2/5 greater than or equal to b?
True
Let a = 43336 - 43351. Let d(b) = 2*b. Let f be d(-6). Which is smaller: a or f?
a
Let w = 2529 - 2527.012. Which is greater: -1 or w?
w
Suppose 2*u - 6*u = -3*g - 10, 3*g = u - 16. Let h(q) = q**3 + 9*q**2 + 22*q + 24. Let l be h(g). Which is bigger: l or -9/59?
l
Let i be (-4 + (-2 - -2) + 2)/2. Let b be -4*39/(3/i). Suppose -4*t - 64 = 4*s, -4*t + b = -3*s - 8*t. Which is smaller: s or -11?
s
Let n be (-12 - 1258/85)*11. Which is smaller: n or -296?
-296
Let o(q) = q**2 + 14*q + 44. Let s be o(-9). Which is bigger: -2/327 or s?
-2/327
Suppose 29 = 4*h + 9. Suppose v + h*n = -3, 0*v - 5*n = -v - 3. Let u be 56/684*12*-3 - v. Which is smaller: u or 1/4?
u
Suppose 0 = 8*u - 21 - 35. Suppose 3*i = -49 + u. Let n = 30 + -44. Are n and i equal?
True
Let l = -25 - 3. Let s = l - -70. Suppose s*h - 39*h = 18. Is h greater than 8?
False
Let u(z) = z - 2. Let i be u(7). Suppose i*d + 3 + 2 = 0. Let n be (-186)/76 + (11682/418 - 28). Which is greater: n or d?
d
Let a(k) = -k**2 + 2*k + 199. Let g be a(-13). Let p = 1.53 - 1.6. Let x = p - -10.07. Is x greater than g?
True
Let q = 642 + -204. Let n be (2 + (-63)/28)*4. Do n and q have the same value?
False
Let x be -5 + (-2)/((-10)/1135). Let f be -5 + 9*118/x. Which is smaller: -1 or f?
-1
Suppose -26*q + 23*q = 2*g - 12, 5*g + 8 = 2*q. Suppose -4*m - 14 = -k, -q*k - 4*m - 2 = 2. Which is smaller: 176 or k?
k
Let h = 7.7 + -8. Let p = 259.9 + -261. Which is greater: h or p?
h
Suppose 14*b = 9*b + 5, 4*r = -4*b - 6512. Which is smaller: -1628 or r?
r
Let x = 156 - 157. Let j be 78/52 + x/2. Which is smaller: 1/129 or j?
1/129
Suppose -2*l + l + 11 = -u, 0 = -3*l - 4*u + 54. Let w(j) = -2*j**2 + 38*j - 63. Let b be w(l). Which is smaller: b or 0?
0
Let w = -50.8894 + -0.1106. Let o = -40 + 93. Let z = w + o. Which is smaller: -4 or z?
-4
Let s = -32 + 29.8. Let i = s + -0.5. Let l be 3/(-15)*5/(-3). Is l less than i?
False
Let s = 262 - 126. Let q be -1 + 12 - (-186 - -61). Does q = s?
True
Let s = 571677184/14257 - 40098. Which is greater: -1 or s?
s
Let p = -89701 - -89237.296. Let w = 464 + p. Which is greater: w or -1?
w
Let j = 2 + -1.7. Let r = -12226716/61 - -200438. Is j at most r?
False
Let i(r) = r**3 + 15*r**2 + 57*r. Let t be i(-6). Are t and -123/7 non-equal?
True
Suppose 0 = -10*w - 4680 - 3070. Is -778 >= w?
False
Let i be 5 + -10 - (-14)/2. Suppose -l + i*t + 20 = -2*t, -5*l + 4*t = -20. Do -59 and l have different values?
True
Let y be 13 + -7 + ((-42618)/4737 - -3). Let j = y + -150050/14211. Is -10 greater than j?
True
Let s = -2201 - -2108. Which is bigger: 1/4 or s?
1/4
Suppose 10 = 5*n, -l = -0*n - 2*n + 9. Suppose 18 = x - 3*j, x = 2*j + 4 + 11. Suppose 7*o - 10*o - x = 0. Are l and o equal?
False
Let y = -0.08 - 1.12. Let w = -25 + -50. Let z = w + 73. Is y > z?
True
Let j = -141 - -148. Let t(k) = k + 2. Let d be t(j). Which is smaller: d or 0.02?
0.02
Let q be (-8)/(-20) + (-92)/(-20). Suppose 2*w - 30 = 4*z, -3*z + 3*w + 3 = -q*z. Let h be (-48)/18*z/(-44). Is h != -1?
True
Let w = -4 - -13. Let j = -1539/4 + 394. Which is greater: j or w?
j
Let t be -2 - 4/(-6)*51/(-2). Let f(x) = -x**3 - 18*x**2 + 19*x - 10. Let r be f(t). Does -13 = r?
False
Let o be (2/(-10)*0)/(-1). Let p be (0 - o)/((3 - -1) + -5). Let a be (81/13 - 3) + -3. Is a less than or equal to p?
False
Suppose 10*s = 6*s - 4*p + 1236, -s - 5*p + 309 = 0. Suppose 14*h = s - 379. Let m = -479/116 + 11/29. Is h greater than m?
False
Let z = -847 + 794. Let m be 162/(-14) - (8 - z/(-7)). Which is smaller: -63/5 or m?
-63/5
Let t = -218 - -65. Let y = 274 + t. Suppose -19 = -10*q + y. Is 11 at most q?
True
Suppose 4*m + 4*r = 1492, -m + 494 = -5*r + 175. Which is smaller: 9 or m?
9
Suppose 3*d - 205 = -2*d. Let k = -45150 + 45186. Is k > d?
False
Let o be (-6)/2*(-2)/(-21). Let k = -737 - -736.7484. Let s = k + -0.0484. Which is smaller: o or s?
s
Let h(c) = -c**2 + 1. Let v(s) = -s**3 + 2*s**2 + s - 9. Let p(n) = 4*h(n) - v(n). Let x be p(6). Suppose 6*o = 11 + x. Which is smaller: 5 or o?
o
Let y be (9/5)/(315/150). Let j be 1 + 895/35 + (-12)/(-28). Suppose 32*o = j*o + 5. Is y at most as big as o?
True
Suppose 5*h - 3428 = 4*p, -2734 = -4*h + 84*p - 85*p. Which is smaller: h or 682?
682
Suppose 4*m