)/s - (-15)/9. Which is greater: 7/13 or l?
l
Let i be ((-46)/(-3))/(2/(-6)) + 3. Let m = 15 + i. Which is bigger: m or -30?
m
Suppose 0 = s - 2*s + 30. Let d be 3/s*-2*2. Suppose -4*n = -2*n. Which is greater: n or d?
n
Let d be 36/(-10)*(-110)/(-33). Let m be d/8*2/(-6). Which is smaller: 10 or m?
m
Let j = 13 + -67/5. Let q be ((-5)/2)/(-5)*-12. Let b be ((-3)/9)/((-1)/q). Which is greater: b or j?
j
Suppose 0 = -4*o - 3*v + 248, 5*v - 75 = -4*o + 181. Which is smaller: o or 58?
58
Let j(t) = -t**3 - 6*t**2 + 4*t + 7. Let b be j(-6). Let o = b - -48. Let p = o + -38. Is -6 equal to p?
False
Suppose -4*w + 1 + 4 = t, -2*w + 5 = t. Suppose w = -4*s + 15 + 17. Let j be (14/(-4))/(0 - 2/4). Is j > s?
False
Let j(q) = q**2 + 1. Let x(i) = 6*i**2 + 2*i + 3. Let t(z) = -5*j(z) + x(z). Let o be t(-4). Let v be (-1)/2*o - -3. Are -10/7 and v unequal?
True
Let z be 1/2*(0/(-4))/2. Which is smaller: 1/23 or z?
z
Suppose 0*c - 3*f - 21 = -c, -5*c - 2*f = -105. Suppose -k - 4 - c = 4*y, -5*k - 2*y - 35 = 0. Is k >= -5?
True
Let i be 3/(-21)*1 - 122112/(-126). Which is smaller: i or 970?
i
Let y be (-3)/2*16/(-4). Let v = y + 1. Suppose -5*q - 16 = -3*w, w + 3*w = q - v. Which is bigger: -1 or w?
-1
Let m = 63.2 - 63. Which is smaller: m or -71?
-71
Let l = 681023/53 - 12849. Is l < 0?
False
Let b = 1097 - 1097.08. Which is bigger: 18 or b?
18
Let g(h) = h**3 + 8*h**2 + 17*h + 70. Let m be g(-7). Suppose -o = -5*o - 76. Which is greater: o or m?
m
Let i be (1/4)/((-18)/16). Let n be ((-57)/(-45) - 1)/(132/290). Let q = i + n. Which is smaller: -1 or q?
-1
Suppose -2*z + g = -5, 4*g + g = 5*z - 5. Let q(s) = -2*s - 9. Let o be q(-7). Let c = z - o. Are 0 and c equal?
False
Let v be ((-33)/2)/(15/(-20)). Let a = 13 - v. Let h = -8 - a. Is 0 > h?
False
Let g = 15341/890 - -504/89. Let r = g - 23. Do r and 0.1 have the same value?
False
Let t = 198/37 - 2/111. Suppose 3*x + 19 = 31. Which is greater: t or x?
t
Let q = 108 + -78. Let n be 15/q*10/29. Do n and -1 have the same value?
False
Let w = -11 - -34. Let x = w + -23.1. Do x and 0 have the same value?
False
Let j = 25 + 1. Let p = j - 19. Let a = -46/165 - 4/33. Which is bigger: a or p?
p
Suppose 0 = -3*f + 3*d + 24, -4*f + 2*f + d + 16 = 0. Let w = -29 + 17. Let u = w + f. Which is smaller: 1 or u?
u
Suppose -4*y - 3*l = 6, 0 = 4*y - 5*l + 6*l + 2. Is y >= 81?
False
Suppose 1665 = s - 6*s. Let o = s + 8993/27. Let d be ((3/(-5))/(-3) + 460/575)/(-1). Which is smaller: o or d?
d
Let h = -6339/2 + 3253. Which is smaller: 83 or h?
83
Suppose 3*r + 3*v + 18 = 6*r, 2*r + 3*v + 3 = 0. Suppose 9*g - 12*g + 12 = 0. Suppose -g*t - 3*o - 6 = t, 15 = -2*t + r*o. Is -3 less than or equal to t?
True
Let r(b) = b**2 - 5*b + 4. Let l be r(4). Suppose l = -3*o + 12. Let t be (-16)/(-7) - (5 - o). Is -0.1 at most as big as t?
True
Let r = 540 + -520. Which is bigger: 5/4 or r?
r
Suppose 0 = -8*v - 127 - 561. Which is smaller: -88 or v?
-88
Let y = -0.08 - -0.01. Let s = 115.83 - 116. Let a = y - s. Do -1 and a have the same value?
False
Suppose -8*g - 126 = -22*g. Is g less than or equal to 7?
False
Suppose -v - 93 - 507 = 0. Let m be -1 + v/(-64)*(-4)/(-33). Is 1 not equal to m?
True
Let w be (-1)/(495/1804 - 2/8). Let t = 37 + w. Which is greater: 2 or t?
2
Let c(g) = g**2 + 10*g - 7. Let j be c(-11). Suppose 15 = j*s - 37. Let q = 6 - s. Is -7 less than q?
False
Let k = 5171 - 124087/24. Is k != 1?
True
Let y = -0.0024 + -1.9976. Let q = -2.97 - 0.03. Let i = q - 5. Which is bigger: i or y?
y
Let j = -1 + 1.03. Let w = 5913 + -5919. Is j at most w?
False
Let j be (17/(-68))/(-1 - (-25)/40). Let k = -3.2 - -3. Do j and k have the same value?
False
Let n be 5 - ((-627)/(-39) + 26/169). Is n != -12?
True
Let i(z) = -z**2 + 21*z. Let u be i(15). Suppose 0 = 5*m - u - 5. Do m and 19 have the same value?
True
Let d(l) = -7*l**2 + 24*l - 13. Let v(t) = -8*t**2 + 24*t - 13. Let j(i) = 6*d(i) - 5*v(i). Let q be j(16). Which is smaller: q or -142?
-142
Suppose -2*t - q + 202 = 70, -3*t + 199 = 2*q. Which is smaller: t or 63?
63
Let z be (-1)/((-45)/25 + 2). Let h be (121 - z)/3 - -3. Which is greater: 43 or h?
h
Let p be (2/(-3))/((-6)/45). Suppose p*q - 4*m + 116 = 0, -2*q - 5*m = -m + 52. Let n be (-10)/35 + q/14. Do n and -2 have the same value?
True
Let g = 2.596 - 2.6. Let h = g + -21.996. Let y = h - -22.1. Which is smaller: y or -7?
-7
Let b = 1436 + -1343. Which is bigger: 1 or b?
b
Let m = 6 - 10. Let z = -3 - m. Is 0.22 >= z?
False
Let d = 791 - 792. Is d less than -4?
False
Let x be 464/(-3) + (-420)/45 + 8. Which is smaller: -153 or x?
x
Let x = 8.593 + -8.71. Is -1/6 bigger than x?
False
Let z(g) = -g**2 - 8*g - 6. Let s(c) = c**3 - 2*c**2 - 9*c - 3. Let v be s(4). Let f be z(v). Let i = 53/115 - 6/23. Is i greater than f?
False
Let k = 562 + -136. Which is bigger: -0.1 or k?
k
Let g(h) = -2*h**2 - 47*h - 127. Let j be g(-18). Is -1/6 greater than or equal to j?
False
Suppose 4*d + 251 = -w, 345*d - 1059 = 4*w + 350*d. Which is smaller: -269 or w?
w
Suppose 0*h + 5 = -5*g - 2*h, 2*g + 3 = -h. Let r(n) = -n**3 - 12*n**2 - n - 7. Let q be r(-12). Let a be 6/(-8)*(38/8 - q). Which is smaller: g or a?
a
Let s = -139 - -140. Let t = 6.6 + 31.4. Which is smaller: s or t?
s
Let c = 10 + -11.9. Let u = c + 1.8. Which is greater: -2/33 or u?
-2/33
Let t = 88.3 - 84. Let b = 3.8 - t. Which is bigger: b or -1?
b
Let u(i) = 6*i**2 + 2*i + 133. Let o be u(0). Which is smaller: o or 132?
132
Let c be 10/(-1875)*5*5. Is c bigger than -17/2?
True
Let q be ((-245)/(-147))/((-1)/(-486)). Is 810 <= q?
True
Let n(s) = 4*s - 27. Let p be n(-1). Which is bigger: -30 or p?
-30
Let o = -687 + 692. Which is smaller: o or 3?
3
Let o = 374 - 335. Which is bigger: -0.3 or o?
o
Let d = -21/139 - 10737/695. Let s = -16 - d. Which is smaller: s or 1/3?
s
Let q = -39/25 + -9/100. Is q at least -1?
False
Suppose -12*t = 10*t + 1298. Are -59 and t non-equal?
False
Let x(i) = i**2 + 13*i + 39. Let g be x(-5). Is g equal to 1/40?
False
Let w(t) = -2*t**3 - 12*t**2 - 2. Let l be w(-6). Let c = 3045 - 8999/3. Let s = c - 46. Is s != l?
True
Let r(i) = i**3 - 7*i**2 - 17*i + 5. Let o be r(9). Let f = o + 3. Is f at least 17?
True
Let y be 0 + 0 + 14/2. Suppose -24 = 3*t - y*t. Let o = -556 - -1684/3. Do t and o have the same value?
False
Suppose -x - 64 = 5*y, -2*y - 20 = -3*x + 2*x. Is -45/4 < y?
False
Let i be 4*(2 + -1) + 0. Suppose 0 = -i*d - 0*d - 4*z + 16, d + 2 = z. Let n = 140 - 140. Which is smaller: n or d?
n
Let o be (-3 + -1)/((-2)/2). Let p = -2354 - -2354. Do o and p have the same value?
False
Let d be 2/(-5) + (-504)/(-735). Which is greater: d or -1?
d
Let l be 6864/24122 + 11/((-924)/24). Which is greater: l or -1?
l
Let y(b) = 3*b - 24. Let v be y(16). Suppose 28*t - 12 = v*t. Suppose 2*z = 6, 5*h - 23 = 2*z - t*z. Which is smaller: 5 or h?
h
Suppose 2*j = 3*j, 2*j = -2*d + 14. Suppose -n + 1 = -4. Suppose -2 + d = -n*a. Which is smaller: -8/5 or a?
-8/5
Let a be (-10918)/6 + (-8)/60*10. Is a equal to -1821?
True
Suppose s - g - 27 = 0, 0 = 3*s + 5*g - 20 - 21. Is 0 >= s?
False
Let u = 41.3 - 41. Let n be 8/8 + 8/(-5). Which is smaller: u or n?
n
Let r(d) = d**2 + 3*d - 2. Let v be r(-2). Let i = -2.39 + 0.39. Does v = i?
False
Suppose -5*o - 237 = 28. Is -52 at most as big as o?
False
Suppose 0 = -4*s + s - 24. Let f = s + 13. Let a be 0/((-12)/(1 - f)). Is 1 less than a?
False
Suppose 0*h + h - 3*a + 26 = 0, h = -2*a - 16. Let w = 1 + h. Suppose -4*c + 4*u - 77 = 3*u, -c = -5*u + 43. Is c <= w?
False
Let s(l) = -2*l + 1. Let c(j) = -j - 5. Let u(p) = -c(p) - 4*s(p). Let q be u(0). Let m be (4/57)/(2/3). Which is greater: m or q?
q
Suppose 19*j = 14*j + 1275. Let l be (-1)/(-2) + j/(-630). Which is bigger: l or -1?
l
Suppose -4*y - z = 4*z + 28, -5*y = -z + 6. Let g(w) = -8*w + 8*w - w**3 + 1 + w**2. Let i be g(2). Is i greater than y?
False
Let b = -1052.15 - -1052. Let w = -0.6 + 0.7. Which is bigger: w or b?
w
Let t = 0.0383 - 0.3383. Are -53 and t nonequal?
True
Suppose -5*o - 16 = 2*b, b = 4*b - 2*o - 14. Suppose -5*z - b*h - 1 = 0, -4*h + 1 = 5*z - 2. Let j be 2 + (-2 - 4/(-26)). Is z less than or equal to j?
True
Let o = 235 - 231. Is -0.04 equal to o?
False
Let b(j) = -j**2 - 7*j - 1. Let w be b(-7). Let f be 42/(-105) 