s g?
True
Let a be ((-9)/(-2) - 4) + 7/2. Let x(h) = -2*h**3 - 2*h**2 - 2. Let z be x(-2). Let o = z - a. Is 3 equal to o?
False
Let v = -5 + 25. Let r be 26/(-10) - (-12)/v. Is r at most -5/9?
True
Let o(c) = c**2 + 18*c + 3. Let t be o(-10). Let m be (-1 - 8)*t/(-42). Let s = m - -16. Which is smaller: s or -2?
-2
Let m(p) = -43*p - 139. Let s be m(-3). Is 3 at least s?
True
Suppose -5*y + 2*h + 3*h = 15, -2*h - 4 = 0. Let a be 34/(3 + y - -4). Is a != 17?
False
Let j = 2.5 - -25.5. Let l = -28.3 + j. Let y = -273/5 + 54. Which is greater: l or y?
l
Let d = 2119 - 2032. Which is smaller: 88 or d?
d
Suppose 0 = 4*h - 5*i + 22, -h - 1 = -3*i + 8. Let d = 112 + -59. Let t = 154/3 - d. Is h > t?
False
Suppose -222 - 38 = -5*k. Let b be k/14 + (-2)/(-7). Let p be 45/(-35) - b/(-14). Is -2 at least as big as p?
False
Let q(y) = y**2 - 7*y - 7. Let h be q(8). Let v be (h + -4)*13/65. Let k = 2180/9 - 242. Which is smaller: k or v?
v
Suppose 4*x = -x + 3*i - 16, x - 4*i + 10 = 0. Let j be -1 + (-1)/(1 + x). Suppose 5*h + 4 = h. Is j greater than or equal to h?
True
Let m = -3 + 2.9. Let g(v) = 2*v + 9. Let p be g(-5). Let f be ((-45)/105)/((10/7)/p). Which is greater: m or f?
f
Suppose 5*x + 14*v = 11*v + 13, 4 = 4*x - 4*v. Is x at most 4/5?
False
Let w = -7509750/593 - -12664. Is 0 greater than w?
False
Suppose 0 = -5*k - 5*k - 1920. Let j = -163 - k. Is j greater than 29?
False
Suppose 35 = 4*u - 13. Let b be -2 + -3*(-20)/u. Let g be (b/(-21))/((-2)/(-4)). Is -3/7 at least as big as g?
False
Let s = 1139926577/3584988 - -2/298749. Let w = -318 + s. Is w not equal to -1?
True
Let p = -31 + 32. Let m be (-208)/2340*(5 - 2). Which is smaller: m or p?
m
Let a be (18/(-51))/((-6)/75). Which is smaller: a or 4?
4
Let r = 4 - -12. Let z = 18.6 - r. Let s = -2.7 + z. Is s at most as big as -13?
False
Let d(l) = 3*l**2 + l - 1. Let y be d(1). Let j = y - 2. Suppose -37*g + 52 = 15. Is g smaller than j?
False
Let k = -58 - -59. Let b = 5/4 - k. Is b at most 11?
True
Let f(j) = 4*j + 1. Suppose -7*c + 1 + 13 = 0. Let l be f(c). Is 10 smaller than l?
False
Let h be 69/46 - (-5)/(-2). Which is bigger: -2/2627 or h?
-2/2627
Let b = -197 + 118. Let x = b - -77. Which is greater: -5/3 or x?
-5/3
Let q be (-1)/(-5) - 2230896/(-2320). Let i = q + -962. Which is greater: 1 or i?
1
Let w = 0.2 + -13.2. Let x = -31 + 19.4. Let b = x - w. Is b at most as big as -0.1?
False
Let k be 2/(-6) + (164/(-12) - -15). Which is smaller: -1/39 or k?
-1/39
Suppose 0 = 2*g - 0*g - 2. Let r be g + (-2)/6 + 2. Is 0 bigger than r?
False
Suppose -1288 = -2*r + 4*x, 25*r - 29*r = -x - 2576. Which is bigger: -0.1 or r?
r
Let z be (10/3)/((-231)/(-234)). Let v = -1824 - -20030/11. Let l = v + z. Is l bigger than -10?
True
Suppose -3*l - 5*t - 1 = 12, 3 = 3*l - 3*t. Let k be 2 - (-531)/12 - l. Let q = 47 - k. Which is greater: q or 0.4?
0.4
Suppose 0 = -2*i + 4*n + 240, i + 7*n - 11*n - 118 = 0. Which is smaller: 123 or i?
i
Let a be 0 - 2 - (-1 + 2). Suppose 0 = -6*w + w. Let u be 1/(w/a - 1). Is -2/15 != u?
True
Suppose 2*c - 6417 = 3*d, 111*d - 106*d - 3*c = -10694. Is -2138 < d?
True
Let q(t) = -t + 10. Let r be q(-16). Let o = r - 25. Is o > -2/27?
True
Let z = 48 - 38. Suppose 0 = -5*a - c - 42, 2*a + z = c - 4. Which is smaller: a or -10?
-10
Suppose 0 = 8*a - 13*a - 10. Let t be (-24)/(-9) + a/1. Which is bigger: t or 0?
t
Let g(u) = u**2 + 14*u - 2. Let b be g(-12). Let s = b - -28. Is -2 greater than s?
False
Suppose -2*p = 0, 2*w + 3*p + 28 = 2*p. Let u(h) = h - 18. Let k be u(5). Is k less than w?
False
Let w be 2 + (-77 - -1)*(-248)/186. Which is greater: w or 103?
w
Let k = 6 + -4.8. Let n = -97 - -95.74. Let p = k + n. Which is greater: -3 or p?
p
Let f = 15 - 7. Suppose f - 5 = s. Suppose 3*k = 4*z - 7 + 1, s*k + 6 = -3*z. Which is bigger: k or -3/2?
-3/2
Let r = -3.3 + -4.7. Let t = r + 5.5. Is t < -0.1?
True
Let f be (-1 - 15/(-9)) + (-76)/(-12). Which is bigger: f or 2?
f
Let y(k) = -19*k**2 + 1. Let m be y(0). Is -8/35 at most m?
True
Let y = -12 + 17. Let v = 3.3 + 62.7. Let k = -67 + v. Is k != y?
True
Let w = -6.09 + 6. Let k = -98.19 + 98. Let l = w - k. Which is smaller: l or -0.1?
-0.1
Let p be (3/(-3) + 7)/(-1). Let a(r) = -2*r - 12. Let n be a(p). Is n less than 9/5?
True
Let a = 57 + -43. Let t = -13 + a. Which is smaller: -0.2 or t?
-0.2
Let g = -353934/355 + 997. Which is smaller: g or 1?
g
Let a(u) = -72*u - 42. Let q be a(-5). Is 317 >= q?
False
Let w be (-2)/(-24) - 2/(-12). Let k = -0.85 + 0.787. Let a = k + 11.063. Which is smaller: w or a?
w
Let j = -0.9 + 1.9. Suppose t + i + 1 = 0, 3*i - 23 = 5*t - i. Let y be (9/4)/(t/2). Which is smaller: j or y?
y
Let y be (-5655)/(-39)*(1 - 0). Are y and 145 equal?
True
Let z(j) = j + 3. Let w be z(0). Suppose -x - w*v + 78 = 2*x, -4*x - 3*v = -104. Let r be x/39*(-6)/(-22). Is r less than 6/13?
True
Let m = -0.65 - 5.25. Is -2/5 at most as big as m?
False
Let g = 0.5 - 3.3. Let f = -3 - g. Let k = 0.2 + f. Which is smaller: k or -1?
-1
Let m be -357 - 56/16*2. Is -363 equal to m?
False
Let y be ((-110)/1)/(4 - (-2 - 1)). Let n = y + 16. Which is greater: 11 or n?
11
Let t(k) = -4*k - k**2 + 3 + 2*k**2 + 14*k. Let l be t(-9). Let i be 1/l + 282/(-36). Is i < -8?
False
Let g(w) = 3*w**2 + 2*w - 1. Let n be g(1). Suppose -m + n*m = 60. Are 19 and m nonequal?
True
Suppose 4*c - 3 = 9. Let q = 538 + -522. Which is bigger: c or q?
q
Let q(i) = -i**2 - 10*i - 14. Let o be q(-13). Which is smaller: o or -54?
-54
Let o = -47023/42730 + 2/4273. Let c = 493 - 2473/5. Let z = o - c. Is 6 greater than z?
True
Let a = -12/35 + -1/70. Let w be 1 - 2/6 - (-105)/(-63). Which is bigger: w or a?
a
Let l = -1.2 + 1.22. Let c = -8.02 + l. Let r = -10 - -9.9. Which is smaller: r or c?
c
Let u be 479/72 + 8/36. Let f be (25/20 + -6)*(-14)/12. Let v = f - u. Is -1 greater than v?
True
Suppose 4*q = -4 + 80. Let u be 2*12/8*-5*1. Let h = u + q. Is h < 6?
True
Suppose 8 = -0*j - 2*j. Let l be (j/26 - 28/(-13)) + 6. Is l at most -3?
False
Let q(g) = -g**3 - 11*g**2 - 6*g + 39. Let p be q(-10). Suppose 0 = z + 4 + 1, 3*a - 9 = 3*z. Is a < p?
True
Let i = -0.02 - -30.02. Let o = -38 + i. Which is smaller: o or -1/4?
o
Let k = -417 - -424. Which is greater: k or 2?
k
Let m = -126 - -128. Suppose -m*a - 184 = -5*l, 102 = -2*l + 5*l - 4*a. Is l not equal to 37?
True
Let p be 0 + (-3)/((-12)/16). Suppose -p*y + 10 = -10. Let k be 2/(-4) - 52/(-8). Which is bigger: k or y?
k
Let u be (-268)/6 + -3*2/(-9). Let s be (u/24)/(9/(-12)). Is 3 equal to s?
False
Let p = -6/97 - 81/3395. Which is bigger: p or 1?
1
Let s = 0.7 - -5.3. Are s and 6 non-equal?
False
Suppose -2*n - 4*y - 5 = 9, -3*y - 9 = 3*n. Let b be 0 - n - -2 - (-12 + 14). Which is greater: b or 7?
7
Let k = -334.8 + 335. Which is greater: 1/73 or k?
k
Let m = 7 + 23. Let t be (-243)/m + (-5)/(-10). Is t greater than or equal to -9?
True
Suppose -5*d + 10*d = 5. Let r be -3 + (-1 - -2) - 43. Let c = r - -46. Is c greater than d?
False
Let f(q) = 17*q - 152. Let r be f(9). Which is smaller: -20/143 or r?
-20/143
Suppose 92 = 2*d + 88. Suppose 133 = 3*t + 4*w, -w - d*w + 89 = 2*t. Is 44 smaller than t?
False
Let f = -2075 + 1424. Is f < -652?
False
Let j be (1 - 0) + 8 - 1. Let s(f) = f**2 + 22*f - 16. Suppose -4*z - 60 = 32. Let k be s(z). Which is bigger: j or k?
j
Let q = -22 - -67. Suppose -38 = -3*g - 4*j - 0*j, -5*g = 3*j - q. Let b be g*112/324 - 2. Is b smaller than 1?
True
Let c(j) be the third derivative of -j**4/24 - 11*j**3/6 - 6*j**2. Let u be c(-6). Let v = -2 - 3. Are v and u non-equal?
False
Let u be (8/42)/((-80)/(-72)). Let g = 1/35 - u. Let l = 71 + -70. Which is greater: l or g?
l
Let h be ((-8)/12)/(398/3 - 3). Are h and 1 nonequal?
True
Let x be 3488/48*9/2. Which is smaller: x or 330?
x
Let h be -9 - (72/(-12) + 4). Suppose 3*p - 3*y = 0, 5*p - y = 12 - 28. Which is greater: p or h?
p
Let v = -18943/1393 + -23/199. Is -0.2 at least v?
True
Let i be -5 + 28/6 + (-2516)/48. Is -54 at most as big as i?
True
Let d = -0.16 + 0.27. Let o = -28.11 + d. Let u = o - -32. Which is smaller: 1 or u?
1
Let f = 2.8 + -0.1. Let x = f + -2.8. Is 16 at least x?
True
Suppose 2 + 4 = 2*p. Let c be (-1)/p + (-78)/(-18). Which is smaller: 13/5 or c?
13/5
Suppose -26 = 4*r - 3*x, -5*x