4 - (-22)/4. Is k at most as big as q?
True
Let g be (-5)/((-5)/6) + -23. Let n be (-1 - 3) + 17/g. Is n != 0?
True
Let b = 8228.72 + -8067. Let j = b + -162. Which is bigger: j or -2?
j
Let q be ((-4)/(-6))/((-32)/(-12) - 3). Let d be 0 + (0 - q)*(-2)/(-18). Which is smaller: d or 3?
d
Let j be (34/(-4))/((-4941)/(-378) - 13). Suppose 3*a = -a - 476. Is j smaller than a?
False
Let w(d) = 7*d + 38. Let z = -22 + 14. Let n be w(z). Let h be 1*((-6)/(-21) + n/14). Which is smaller: h or -16?
-16
Let p(f) = 8*f + 26. Let m be p(6). Suppose -m*a - 306 = -77*a. Let n be -4 + ((-2)/5 - a/(-30)). Is n less than -4/9?
True
Let o = -0.25602 + 2.13792. Let t = -0.0439 + o. Let n = t + -0.038. Do 0.1 and n have the same value?
False
Let z = 257 + -798. Let i = 1672/3 + z. Let h(a) = -a**2 + 12*a + 6. Let b be h(11). Is i greater than or equal to b?
False
Let v be 7 + -2 + -2 + 1. Let i(l) = 11*l - 24*l**3 + 9*l**3 + v - 5 + 14*l**3 + 4*l**2. Let p be i(6). Which is bigger: -4 or p?
-4
Suppose 60*g - 61*g - 174 = 0. Let y = -126 - g. Is 47 > y?
False
Let v = -161020 + 29144524/181. Which is smaller: -0.2 or v?
v
Let g(r) = r**3 - 7*r**2 + 2*r + 11. Let y be g(5). Suppose 2*c + 3*d = -57, -c - 13 = 5*d + 12. Is c less than y?
True
Let o = -42 + 45. Suppose -o*w = -4*w. Suppose 0*z + 4*z - 2*x - 14 = 0, 3*z + 5*x - 17 = w. Which is greater: z or 5?
5
Let w be 23/(-230) + 19/18. Which is bigger: 1 or w?
1
Let k be 66/33*(18/(-20) - -1). Let m = -40 - -22. Let a = m - -24. Which is smaller: a or k?
k
Let d(b) = 57*b - 390. Let x be d(7). Suppose p + 2 + 1 = 0. Let j = p + x. Which is greater: j or 8?
8
Let f(y) = -177*y - 86. Let m be f(0). Which is smaller: m or -600/7?
m
Let y = -23503 + -69590. Let d be (-4)/(-22) + 6960/y. Let h = -2/91 - d. Which is smaller: h or 0?
h
Suppose -2*d + 15 = 3*d. Suppose 2*g = 7 + d. Let j be (-110)/(-38) - 246/(-2337). Which is bigger: j or g?
g
Suppose m = 2*z - 22, -5*z = 2*m - 6*z + 53. Let w(v) = -v - 27. Let x be w(m). Which is smaller: 3/7 or x?
3/7
Suppose 5*y = -f + 36, 0 = -56*f + 61*f - 5. Let w = 0.42 - 18.42. Which is bigger: y or w?
y
Let z be (2/5)/(51/1377340). Let r = 10709 - z. Which is smaller: r or -93?
r
Let b = -5832 - -5832. Which is greater: 6/17005 or b?
6/17005
Let f = -0.73 + -7.07. Let u = -8 - f. Let z be 54/210 + 258/(-301). Are z and u equal?
False
Let v be (20 + -6)*(81/1737)/(-9). Is v smaller than -1?
False
Let z be (-48)/(-20)*(-160)/(-12). Suppose -41*y + 5*y - 228 = -1488. Which is bigger: y or z?
y
Let f(m) = -20*m - 8. Let y be f(-16). Let d = y - 313. Which is smaller: d or -1/110?
d
Let u(r) = -6*r**2 + 18*r - 50. Let x be u(17). Which is greater: x or -7394/5?
x
Let q be (27 - 221) + (20 - 8). Which is bigger: -137 or q?
-137
Let g(i) = -3*i**3 - i**2 + 3*i - 1. Let x be g(1). Let j be (x + 0)/(6/(-9)). Which is smaller: j or -38?
-38
Suppose 5*b = 11 - 161. Let g be (-29)/(-29)*13*-1. Let f = -42 - g. Which is bigger: b or f?
f
Let v(m) = -m**3 - 22*m**2 - 153*m + 22. Let d be v(-11). Is 373 at most d?
True
Let w be 82/(-56) - 85/(-68). Let j be (-2)/(-1)*45/165. Which is smaller: j or w?
w
Let r be 22/4 + (0 - 3). Suppose 4 + 11 = 3*q, 4*q - 20 = -4*d. Suppose -t + 3 = d, 5*j - 35 = -6*t + t. Which is greater: j or r?
j
Let t = -60 - -65. Suppose -10 = -t*f + 5*s, -2*s + 12 = f - 5*s. Let q be (-10)/425 + (-3 - f). Which is smaller: 0 or q?
q
Let f be (1105/68)/(-13) + 1/4. Is -23/16 at most as big as f?
True
Let o = -11/3738 + 94397/31230990. Which is smaller: -1 or o?
-1
Suppose 0 = 5*s - 15, 5*x - 548 = -2*s - 542. Which is smaller: x or -62/549?
-62/549
Let s be 1852*(1 - (6/14)/(12/42)). Are -924 and s nonequal?
True
Let u be ((-12)/16)/(5/300). Let h be 8/(-10) - (-9)/u. Is -8 < h?
True
Let r be ((-44)/(-16) - 2)*2/33564*-16. Which is greater: r or 0?
0
Let i be (348/(-8))/((-228)/(-19456)). Is i at most -3712?
True
Let l = 328 + -336. Let r be ((-133160)/16650 - l)*(-5)/6. Is 1 > r?
True
Suppose 3*i + 18 = -24. Let c = 113 - 126. Let u = i - c. Which is bigger: 5/11 or u?
5/11
Let d(f) = 2*f**3 - 9*f**2 + 35. Let c(g) = g**2 + 2*g. Let l be c(-5). Let o be d(l). Let u be (-5 - (-25624)/o) + 2/(-5). Is u at least 1?
False
Let h be -108 + (-10)/(-20)*-16. Is h > -124?
True
Let f(o) = -o + 5. Let l be f(8). Suppose 0 = -8*t + 45 + 43. Let y be t/(220/8)*15/3. Which is bigger: l or y?
y
Let d(g) = -g**2 + 3*g + 10. Let h be d(8). Let c be (h/(-195))/(2/(-3)). Let f = -1350 + 1350. Which is smaller: c or f?
c
Let c be (0 - (-2)/(-4))*106. Let n = -709 - -611. Let l = n - c. Are l and -46 unequal?
True
Let u(i) = -29*i + 2603. Let d be u(87). Which is greater: 76 or d?
d
Suppose 35*t = 43*t - 152. Suppose -9 + t = 10*z. Which is bigger: z or 4/9?
z
Let k be (-6 - 20784/(-3396))*2/4. Is k greater than 1?
False
Let j = -9203 - -45458/5. Which is smaller: j or -110?
j
Let m be (-49)/(-14) - (3 - (-18)/(-4)). Suppose 420 = -m*t - 7*t. Is -35 <= t?
True
Let q = -26716 - -26694. Is -106/5 at least as big as q?
True
Let q = 119/4 - 449/15. Is 0 > q?
True
Let v = -1.03851 + 0.03851. Which is smaller: -1776 or v?
-1776
Let h(k) = k**2 + 234*k + 5430. Let q be h(-208). Which is bigger: 312 or q?
312
Let j = 87 + 37. Suppose -j = 6*o + 50. Which is smaller: o or -30?
-30
Suppose -13*d + 10*d + 474 = m, 5*m - 3*d - 2244 = 0. Is m at least as big as 450?
True
Let c = -14035 - -14035. Which is smaller: -0.1379 or c?
-0.1379
Suppose 0 = -5*s + 5*c + 144 + 6, 93 = 4*s + 5*c. Suppose 0 = s*d - d + 5382. Are d and -207 nonequal?
False
Let y = -316.58 + -67.42. Are 1/7 and y nonequal?
True
Let m(w) be the second derivative of -w**5/20 + 4*w**4/3 - w**3 - w**2/2 + 7*w. Let n be m(9). Let a be 3*1/(-2)*n/84. Is -9 <= a?
False
Suppose 872 = 4*c + 184. Let h be (-12445)/70 - 84/(-14). Let x = h + c. Which is bigger: -1 or x?
x
Let s be (-2)/(-5) - (-39)/15. Let k(x) = -2*x + 2. Let d be k(s). Let v = -12403 + 12403. Is d bigger than v?
False
Let y be -2 - 18 - (40/70)/(-4). Let w = 107178321/133 - 805872. Let h = y - w. Which is smaller: h or -1?
-1
Let f = 14695 - 14583. Let w(y) = 2*y**3 - 6*y - 5. Let l be w(-4). Let o = l + f. Which is smaller: o or 6?
o
Let y be -3*-7*28/6. Suppose 4*z = f - 14, 2*z - 4 = 4*z. Let m be (-3)/(-4) - 131/(-8)*f. Is m bigger than y?
True
Let x be ((-2)/(-5))/(2/(-130)). Let y be -212 - (0/4 - 0). Let b = 187 + y. Is x < b?
True
Let o = 29 - 15. Suppose -2*h + 24 - o = 0. Suppose -4*i + 40 = -2*c, -h*i - 2*c = -c - 64. Is i at least as big as 5?
True
Let q = 24 + -8. Suppose 6*l - 2*l - q = 0. Suppose -l*t + 16 = 0, -o + 1 = -0*t + 3*t. Which is greater: -21/2 or o?
-21/2
Suppose 13*z - 32*z = 114. Let o be z - ((-4830)/605 - -2). Is o equal to 2/7?
False
Let g be (-18)/14 - (-4)/14. Let z be (6 - 2)*(-10)/(394020/(-33)). Which is bigger: z or g?
z
Let y = -69 - -98. Let q = 28.9 - y. Suppose 0 = -14*z + 15*z. Which is smaller: z or q?
q
Suppose 66 = 13*f - 24*f. Let j be (3/2)/(f/40). Does -10 = j?
True
Suppose -3*p + 381 = 2*w, 3*p - 372 = -11*w + 12*w. Suppose 30*m = 34*m - 508. Is p at most as big as m?
True
Suppose 210 = 5*w + 3*y, -16*w - 161 = -20*w - y. Suppose 0 = -44*k + w*k - 15. Which is smaller: -1 or k?
k
Let z be (-20)/16 - (3435/(-1020) + (-2)/(-17)). Is 2.012 greater than or equal to z?
True
Suppose 4*s = -2*t + 844, t - 5*s = -t + 853. Suppose -172 + t = 9*g. Is 82/3 at most as big as g?
True
Let d = 4 - 4. Suppose 5*o + 20 = d, 6*y - 9*y - 4*o - 4 = 0. Let t be (4 - 1 - 3) + y/4. Which is bigger: t or 4/41?
t
Let i(h) = h**2 - 7*h - 9. Let x be i(8). Let a = 793 + -795. Let z be ((-12)/(-111))/(a*(-4 + x)). Which is bigger: z or 0?
z
Let u be 2/(-114*(-8)/24 + 4). Which is smaller: u or -2.5?
-2.5
Suppose 19*y + 133 + 76 = 0. Let w(h) = h**3 + 14*h**2 + 23*h + 27. Let j be w(y). Which is bigger: j or 138?
138
Let r(l) = -3*l**2 - l + 30. Let i be r(0). Let s = i + -27. Suppose -5*q + 12 = -h - 4, -s*h - 2*q + 3 = 0. Is h bigger than -1/134?
False
Let p = -351.89 + 354. Let g = 1.51 - p. Which is greater: g or -0.18?
-0.18
Let d(t) = 119*t**2 + 34*t - 1. Let n be d(4). Let k = n - 83595/41. Is k bigger than 1?
False
Suppose 0*d = 14*d + 7523 + 1857. Is -4684/7 less than d?
False
Let m be (1/7)/(5944/28 + -16). Suppose 2*k = 6 - 4. Which is greater