.6 or s?
-3.6
Let f be (0 - 6)*(-912)/(-72). Let x be (f/8 - -8)/(-1 - 5). Which is greater: 23 or x?
23
Suppose 2*m - 401 = -399. Let h = -64 + -286. Is h equal to m?
False
Let l be (-8)/20 - 81/(-15). Suppose -4*s = -l*u + 8, -2*u - 4 = -12. Suppose -s*r - 3*k + 54 = 0, 2*k - 70 = -4*r - 0*k. Which is bigger: 18 or r?
18
Let s = -8.18 + 7.18. Let q = 0.04 + 0.86. Let g = q + -0.7. Which is smaller: g or s?
s
Let c be 4/7*((-39)/(-26) + -3). Which is bigger: c or -0.041?
-0.041
Let p = 13663 - 16198. Which is smaller: -2536 or p?
-2536
Let s = -3 - -1. Let l = 179078057/71699460 - 2/1194991. Let r = 49/20 - l. Which is smaller: s or r?
s
Let k be (-1566)/(-29)*(-52)/(-3). Which is smaller: 4682/5 or k?
k
Let r be (-2)/(-6)*218/((-2)/1)*111. Which is smaller: -4032 or r?
r
Let r be 0/1 - 235/(-20). Let w = 839/68 - r. Does 0 = w?
False
Let d be 94/(-28) + 3 + -14 + (-1440)/(-112). Let k = -5 - -7. Suppose k = -i + 2*w, -2*i = -0*w - w + 4. Are i and d equal?
False
Let d be 33 - 31 - 6/3*1. Suppose d = 2*s + 5*z - 713, -5*s + s - 2*z + 1466 = 0. Is s greater than 369?
False
Let o(b) = b - 2. Let v be o(4). Suppose v*g = -g - 42. Suppose -26 - 102 = 8*f. Is f at least g?
False
Let d = 153842/5 + -30768. Which is greater: d or 118/53?
118/53
Let v be -5*(-1)/((-10)/(-12)). Suppose 0 = 535*i + 1359 - 5104. Which is smaller: v or i?
v
Let o = 25 + -25.54. Let b = 0.92 + o. Which is bigger: 3 or b?
3
Let l = 368163/85 + -73500/17. Suppose -3*o + 4*o - 4*x = -3, -3*o + 21 = -2*x. Does l = o?
False
Let r = 0.7804 - 102.7504. Let n = r - 2.03. Is -1/4 less than or equal to n?
False
Suppose 4*m - 4*g = -1136 + 276, 0 = -5*m - g - 1057. Suppose -211 = v - o, -2*v - 3*v = 4*o + 1073. Which is smaller: v or m?
v
Suppose 5*m + 360 = -545. Let j = -179 - m. Are -5 and j non-equal?
True
Let k be 8/(16/4) + -1294 - 5. Are k and -1296 nonequal?
True
Let l(i) = i**3 + 21*i**2 - 23*i - 23. Let w be l(-22). Is 8/649 at least as big as w?
True
Let x be -3 + (18 - 6) - 7. Let p be -6 + 212/36 - x/(-18). Is 3/14 != p?
True
Let x = -9030 + 9031. Do -2946 and x have the same value?
False
Let b = 19613/24 - 817. Let x(t) be the second derivative of -t**4/6 - t**3 - t**2/2 + 10*t. Let l be x(-3). Which is smaller: l or b?
l
Let k be (41/(-16) - -2)/((-1869)/(-2492)). Let i = -2 - -1. Is k at most i?
False
Suppose 6*v + 27 = 15*v. Let u be (34/10 - v)/((-4)/40). Is u greater than -33/7?
True
Suppose -4*w + 2*o = 52, -2*w - 4*o = -0*o + 36. Let m(n) = 8*n - 107. Let f(c) = -4*c + 54. Let t(g) = -7*f(g) - 4*m(g). Let d be t(16). Are d and w nonequal?
False
Let c(l) = l**3 + 20*l**2 + 17*l - 30. Let n(x) = 11*x + 179. Let y be n(-18). Let u be c(y). Is u < 0.007?
False
Suppose -238 = -4*m + 3*a + 333, -a - 561 = -4*m. Which is greater: 841/6 or m?
841/6
Let s be (7 + (-16 - -9))/(-3). Let k be ((-6)/(-40))/(34/8). Is k equal to s?
False
Suppose 6*v = v - 410. Suppose 20*w + 162 = -7*w. Let f be (-3 - 261/w)/((-11)/22). Are f and v unequal?
True
Let d(p) = 3*p**3 - 6*p**2 + 6*p - 13. Let b be d(3). Suppose 13*k + b + 202 = 0. Does k = -10?
False
Let v be 14 + -16 + (6 - 5732). Is -22909/4 bigger than v?
True
Let h = 3860/441 + -418/49. Is -904 > h?
False
Suppose -5*o = 3*u - 1 + 6, 4*u + 20 = 0. Let c be 3*(o/(-10) - 2/15). Does c = 8?
False
Suppose 44 = y - 2*y. Let c be 17/102 - (-70)/(-42). Is c smaller than y?
False
Let d = -0.0506 + 0.0866. Does d = -0.4?
False
Let y be (27/(-36))/(10/(-3920)). Suppose -50*j - y + 794 = 0. Which is greater: 81/8 or j?
81/8
Let z(i) = -i**2 - 4*i + 53. Let h be z(-9). Let j be ((-20)/11)/(-2) - h. Are 1/4 and j equal?
False
Let m be (-4)/(-6)*(-260)/8. Let a = m + 22. Which is smaller: 18 or a?
a
Suppose 0 = -4*v - 5*i + 20131, v - 198*i = -195*i + 5037. Which is greater: v or -2/3?
v
Let c = -153.8 + 167.6. Which is greater: c or 7?
c
Let u = 230 + -230.12. Let g = 2.2 - 1.8. Let i = 0.6 + g. Do u and i have the same value?
False
Suppose -5 = m, -41 = -4*g + 5*m - 0*m. Suppose 2*a + 3*b - b = -2, -5*b - 23 = -g*a. Suppose -2*c - a*c + 14 = 3*x, 2*c - x - 2 = 0. Is 2 < c?
False
Let h(n) = -6*n**2 + 3*n + 70. Let c(u) = -3*u**2 + 2*u + 36. Let f(w) = 7*c(w) - 4*h(w). Let p be f(-7). Is p smaller than 106?
True
Let w(t) = t**3 + t**2 - 14*t + 21. Let h be w(4). Which is bigger: -9 or h?
h
Let r = 21/13318 + -59597/39907387. Is 0 <= r?
True
Suppose -9*h + 15 = -6*h. Suppose -16 = q + h*l, -4*l - 14 = 3*q + 1. Let g = -946 + 12292/13. Is g less than or equal to q?
False
Let q be -7 + ((-311730868)/(-44008752) - (-1)/(-12)). Is q <= 0?
False
Let a = 1804 - 1805. Which is smaller: 446/9 or a?
a
Let y = -10381 - -10877. Which is greater: 12 or y?
y
Let k(g) = 2*g**3 - 8*g**2 - 21*g - 17. Let p be k(6). Is -1/2545 less than or equal to p?
True
Let c = -3000 + 2970.77. Let j = c + 29.2. Is j less than -7?
False
Let w = -8102/1309 - 18/187. Let n = -6 - w. Are n and 0.9 non-equal?
True
Let g = -26.201 + -0.799. Let a = 29 - -1. Let u = a + g. Is 3 smaller than u?
False
Let a(r) be the second derivative of 7/2*r**2 + 0 - 13*r - 1/6*r**3. Let l be a(0). Is l smaller than 7?
False
Let w = -5/15438 + -11861525/15438. Is -769 greater than or equal to w?
False
Let j = 29127 + -29133. Which is bigger: -5/201 or j?
-5/201
Let o be ((-12)/18)/(14/(-63)). Let y be o/12 + 195/20. Which is bigger: 11 or y?
11
Let t be 9424/(-14568) - (-28)/42. Is 0 not equal to t?
True
Let x = 14.962 + 0.038. Let r = 17.6 - x. Let s = r + 3.4. Which is smaller: s or -0.2?
-0.2
Let z be (20 - 40)/(-360)*(-2 - -1). Is 117 at least z?
True
Let l = 4563 - 9407. Is -4845 <= l?
True
Let t(w) = 82*w - 2. Let f(h) = 2*h + 21. Let j = 117 + -127. Let i be f(j). Let b be t(i). Do 79 and b have the same value?
False
Let d be 2/(-5) - (11232/(-30))/(-4). Let c = d + 139. Let r = c + -45. Is -1/24 greater than r?
False
Let i = -4 + 4.05. Let p = 0.011 - i. Let t = p - -2.239. Is 1/3 <= t?
True
Let z(t) = 24*t**2 + 10*t + 11. Let m be z(5). Let q = 708 - m. Does 47 = q?
True
Let x = -4155.7 + 4169. Let p = 229 - 208.7. Let r = x - p. Is -1/7 smaller than r?
False
Let d = -0.00365 + -120.57635. Let h = -0.58 - d. Let f = h + -113.5. Which is smaller: f or -1?
-1
Let y = -58 - -131. Suppose 0 = 3*n + o + 4 - 9, -3*n = -o + 5. Suppose 0 = 2*d - 3*d - 4*f + 57, -4*d - 5*f + 272 = n. Are y and d unequal?
False
Let x = -47/21972 + -61744043/10986. Let k = -5667 - x. Is k greater than or equal to -47?
True
Let i = 3035928 - 15328400420/5049. Let a = i - 32470483/35343. Let v = a - -917. Which is smaller: -2 or v?
-2
Let g = -3/6889 + 69331/1012683. Which is greater: -1 or g?
g
Let a be ((-78)/10)/(8/(-85)). Let d = -83 + a. Suppose 192762*z = 192741*z. Which is smaller: d or z?
d
Let w = -1648 + 1645. Which is bigger: 246 or w?
246
Suppose 0 = -93*j - 490 - 2191 - 1597. Is j at least as big as -50?
True
Suppose -414 = 36*k + 630. Let v be (-21)/7 + k/2. Suppose -5*q = 48 + 47. Does v = q?
False
Let v = 147675 + -147574. Suppose 0*a = a - 103. Which is smaller: v or a?
v
Let d be 2 - -2 - 114/(-6). Let n = d + -88. Let h be 3/((-30)/(-226)) + (-26)/n. Do -1/4 and h have the same value?
False
Let s = 56 - 49. Let x = 75 - s. Which is smaller: -2/5 or x?
-2/5
Let m = 26716 - 26771. Is m greater than or equal to 16?
False
Suppose 3*n - 6 + 0 = 0. Suppose -7*k - 400 = -17*k. Let j be (8/(-6))/(k/(-32)). Which is greater: j or n?
n
Let z be 40050/(17 + 28)*((-5)/8)/(-5). Let o = 106 - 218. Let h = o + z. Is h less than 24?
True
Let d(r) = r**2 - 7*r - 8. Let k be d(8). Suppose k = -2*a - 0 - 2. Let m be (3/a - 0)/8. Is -2 smaller than m?
True
Let f = -10532/7066423 - 1/4087. Are f and 1 equal?
False
Let m = 559 - 455. Let q = m - 849. Is -1 != q?
True
Let z = 585 - 584. Let s be -8*(-15)/(-120) + z*2. Is s >= -2/473?
True
Let w = 46 + -46. Suppose 0 = -a - w + 1. Let l = -43/11 + 4021/1023. Are a and l unequal?
True
Let n = 4.288 - 8.288. Which is smaller: -656 or n?
-656
Let n = -1.6 - 4.4. Let q = n + 5.8. Let j = 23373 - 23412. Which is greater: j or q?
q
Let d = -5430 + 5429. Is d not equal to -36/5?
True
Suppose 8*k - 16 = 4*k + 4*d, 5*k = -2*d - 8. Let c be (2 - 3) + 1 + k. Is 2/137 less than c?
False
Let g be 171/27 - (-1)/(-3). Let u be (-114)/(-48) + g/(-1). Is u <= -3?
True
Suppose -4*w +