2/(-16))/((-6)/i). Let y = 11/112 - g. Which is smaller: -1/2 or y?
-1/2
Let r = -13.748 - -13.848. Suppose 7 + 43 = -5*p. Which is smaller: p or r?
p
Let p = -508 - -386. Which is smaller: p or -124?
-124
Let z(h) = -2*h + 4. Let w be z(-4). Suppose 1 = 3*r + 25. Let k = r - -20. Is k greater than w?
False
Let r = -726.1 + 835. Let j = 109 - r. Are 1 and j non-equal?
True
Let y = -15 + 17. Suppose 0 = -y*o - 4 - 0, 2*m - o = -2. Let w = 3.17 + -0.17. Is w less than or equal to m?
False
Let z = 12597 - 12597. Which is smaller: z or -5/1897?
-5/1897
Suppose -s - 3*b - 1267 = 0, -263*b = -258*b + 20. Which is smaller: -1256 or s?
-1256
Let m = -10647 - -53234/5. Which is bigger: -1353/2 or m?
m
Suppose 33*w - 56 - 406 = 0. Let t be (-2)/(-11 + w - (-26)/(-8)). Which is smaller: t or -15?
-15
Suppose 15*v + 103*v = -8*v - 698796. Is -5547 not equal to v?
True
Let z = 80 - -55. Let m be (2/5)/(9/z). Let d = 936 + -932. Which is greater: d or m?
m
Let l = 164/95 + -1396/1425. Which is smaller: 2 or l?
l
Let w(a) = 1319*a - 10558. Let v be w(6). Which is smaller: v or -2645?
-2645
Let p(y) = -y**3 + 5*y**2 - 14. Let s be p(4). Suppose -6*r = -s - 4. Is -1/68 equal to r?
False
Let x be (-85)/10 + 9 - 179/(-2). Suppose 155*h - x = 161*h. Is -18 greater than or equal to h?
False
Let y(t) = 408*t - 27. Let i be y(5). Suppose -5*a - 2*w - 672 - 1344 = 0, -w = 5*a + i. Is a not equal to -402?
False
Let q = -28 + 32. Let r be (-108)/(-24)*q/6 + -22. Which is bigger: -2 or r?
-2
Let m = -15221.1 - -15222. Which is smaller: m or 1/829?
1/829
Let h(v) = -v**2 + 8*v + 128. Let g be h(-8). Let o(u) = -u**2 + 2*u + 4. Let q be o(3). Let c be q/2*(-16)/(-188). Which is greater: g or c?
c
Let o(g) = -2*g - 3. Let t be o(-3). Suppose -2*q + t*k + 6 = -11, 0 = -q + 3*k + 16. Are q and 2/421 unequal?
True
Let u = -34702 + 31960549/921. Let b = 631/159333 + u. Which is smaller: b or -1?
-1
Let l = -45115583/963 + 46849. Is l <= -1?
False
Let i(q) = 5*q - 25. Let j(c) = c - 1. Let p(f) = i(f) - 3*j(f). Let k be (-90)/(-150) + 114/10. Let y be p(k). Does y = 2?
True
Let l = -1140 + -682. Which is bigger: -1821 or l?
-1821
Let u = 423106865784/198883391 - -2/11699023. Let m = -2128 + u. Which is smaller: m or -1?
-1
Let w(t) = -34*t + 51. Let r be w(-4). Let a = r + -187. Is a equal to 7/6?
False
Let u(m) = -m**3 - 33*m**2 - 72*m - 44. Let q be u(-31). Is q < 272?
True
Suppose 0 = -3*a + 2*a - 12. Let h = -9 - a. Let p = 0.03 - 2.03. Which is bigger: p or h?
h
Suppose -4*s = s + 20. Let h be (-20)/5 - ((-39)/(-6) - 4)*2. Is s > h?
True
Suppose -5*b + 2*p = -23, -4*b + b - 3*p = 3. Let y(r) = -b*r - 3*r**2 - 10 - 4*r**2 + 6*r**2 - 6*r. Let f be y(-4). Are f and 4 unequal?
True
Let k = -374 - -370.9. Which is smaller: 2/39 or k?
k
Let y be (-7 - 14)/(1/(-1)). Suppose -k - 2 = 4*j, -3*j + k + k = -4. Let b be -1*(-4)/16 - j. Which is smaller: b or y?
b
Let t = -9/4 + 195/28. Let b = -59/14 + t. Which is greater: b or -12/31?
b
Let g = -8982 + 2916. Is -6065 not equal to g?
True
Let l = -26.5 - -37.5. Let p be (-132)/(-32) - 1/8. Suppose 1 = p*v - 3. Is v greater than or equal to l?
False
Let w be ((-1)/3)/(-2*17/306). Is -240 smaller than w?
True
Let w = 38728.3 - 38728. Which is bigger: w or -5890?
w
Suppose -25 + 65 = -5*n + 4*m, 0 = 3*n + 3*m - 3. Suppose 0 = -0*o - 3*o + 12. Let k = -8 + o. Does k = n?
True
Suppose 4*y = -0*y + 32. Suppose -3*s = -2*i - y, 3*s = -5*i + s - 1. Let g be 27/162 - i/3. Which is smaller: g or -3/17?
-3/17
Let b(x) = -x**2 - 118*x - 678. Let f be b(-6). Is -4 less than or equal to f?
False
Suppose 5*c = -5*h + 25, 10*h - 5*h - 25 = -c. Let y be 1/(-2) + 30/20 + c. Let a(o) = o**3 - 5*o**2 + 4*o - 3. Let x be a(4). Which is bigger: y or x?
y
Let k(g) = -55*g - 549. Let f be k(-10). Does f = -2/293?
False
Let z = -5111 - -5110. Does 2/16483 = z?
False
Let r(j) = 607*j - 1822. Let l be r(3). Is l bigger than 1/2894?
False
Let r = 2877 + -2876.978. Let y = -434 + 430.978. Let z = y + r. Is z != -0.6?
True
Let g = 198 + -148. Suppose 0 = -5*j + 65 + g. Suppose 6*u + 2*y - 52 = 4*u, 5*u = y + 106. Which is smaller: j or u?
u
Let j be ((-4)/(16/3))/((-4)/272). Suppose 2*v = 4*u + 3*v - j, -2*u - 4*v = -36. Let a be u/(-8)*(-2 + 472/228). Is 1 not equal to a?
True
Let m = 1654 - -2304. Do m and 1/2 have different values?
True
Let u = -707744 - -27403139938/38719. Is 0 less than or equal to u?
True
Suppose 69*p + 76*p = 24*p - 16577. Which is smaller: p or -149?
-149
Let j = -1824.1 - -2306.9. Do -0.1 and j have different values?
True
Let k(w) = -w**3 + 84*w**2 - 250*w + 565. Let p be k(81). Is p greater than 0.8927?
False
Let i be (-1)/(-7)*21/(-36). Suppose 5*c - c = 4*n + 448, -3*n - 356 = c. Let f = n - -117. Do f and i have the same value?
False
Let p be 21/3 - (-5)/(-2)*-2. Suppose -4*x + 3*x + 9 = 0. Which is smaller: p or x?
x
Let x be 2/(-2 - (-1776)/882). Let f = 53 - x. Are f and -94 non-equal?
False
Let b = -245 - 10. Let k be ((5 - 2)*1)/(15/b). Is -50 smaller than k?
False
Suppose 27*r = 161 - 188. Which is greater: 445 or r?
445
Let c = -1.8587 - -1.1987. Is -100 less than or equal to c?
True
Let y = -10170 - -10208. Is y >= 71?
False
Let b be -4 - (633942/(-169128) - (-1)/(-4)). Which is smaller: b or 0?
b
Suppose -16*w = -15*w - 5. Let s = w - 0. Suppose -s*y + 8*y - 3*r - 3 = 0, -9 = 3*y + r. Is y > -38/11?
True
Let p = 59 + -57. Let y(l) = -4*l + 2*l - 2*l + 6 - l**p + 2*l**3 - 10. Let w be y(-2). Which is greater: w or -44/3?
-44/3
Let f be (4617/2316 + -2)*(-1 + -10 - -3). Which is smaller: f or -1/5?
-1/5
Suppose 0 = 2*a + a + 12. Let i = a - 0. Suppose -4*z + 2*t - 30 - 4 = 0, -4*z - 4 = 4*t. Do i and z have different values?
True
Let r be (-192696)/481*(-2)/(-14922). Let z = 2/829 + r. Which is smaller: z or -2?
-2
Suppose 42 = 2*r + 36. Let l be (2 - 1)/(7/1897) + r. Which is bigger: l or 272?
l
Suppose -3*x - x = 20, x + 1520 = 3*c. Which is smaller: 1514/3 or c?
1514/3
Suppose 5*l = -3*h + 6*h + 20, -16 = -3*h - 4*l. Let u = 4344 - 399659/92. Let f = u + -3/23. Which is smaller: h or f?
f
Let z be 380/304*(-6)/16930. Which is smaller: -1 or z?
-1
Let o(t) = -57*t**2 - 113*t + 134. Let i be o(7). Is -3450 greater than i?
False
Let m = -6037 - -6038. Is m greater than 2/575?
True
Suppose 3*n - 3*j + 1020 = 6*n, 0 = -5*n + j + 1742. Which is smaller: n or 371?
n
Let k = -1288.6 - -1291. Is k less than -0.2?
False
Suppose 4*m - 2530 = z, 3*m = 5*z + 305 + 1567. Which is smaller: 1904/3 or m?
m
Let v = -17 + 16.89. Let o = -0.01 - v. Let u = -12.2 - -2.2. Which is bigger: o or u?
o
Let w = 76510005/6769 + -11303. Is w at least as big as -1?
True
Suppose 93 = -4*i - 187. Let v be (82/4)/(8/240). Let l = -686 + v. Is i > l?
True
Let x = 11251 + -10933. Does x = -2/5?
False
Let d be (-172)/(-42) - ((-4464)/756 + 0 + 6). Which is greater: d or 104/37?
d
Let t(n) = -21*n + 37. Let y be t(27). Are -532 and y equal?
False
Suppose 0 = -2*g + r - 9 + 8, 4*g = -4*r - 32. Let o be 65*(-3)/g*58/145. Do o and 27 have the same value?
False
Let i = 10.4 - 1.4. Let u(k) = 2*k + 3. Let r be u(0). Let g = r - 5/2. Is i not equal to g?
True
Let h be 1 - (-2)/(6308/(-3146)). Let y = -63116/14193 + h. Which is smaller: -3 or y?
y
Let y = 58 + -38. Let a(u) = 68*u + 5186. Let q be a(-76). Is q bigger than y?
False
Suppose -4*t + 66 = 3*c, 5 + 8 = t - c. Which is smaller: 114/7 or t?
t
Let m = 194 + -301. Which is smaller: -105 or m?
m
Let b(j) = -2*j**3 - 15*j**2 - 71*j + 15. Let w be b(-6). Is 341 bigger than w?
True
Let m = 16502/75 - 220. Suppose 3*j + j - 5*d + 85 = 0, -j = -d + 20. Let b be (6/4)/(j/(-10)). Are m and b nonequal?
True
Let v be (-2 - -4)*3/(-6). Let l be -2*4 + (-1 - v). Suppose -450*q - 154 = -428*q. Which is greater: q or l?
q
Let q be (2/(-9))/(460/(-6)). Let m = -19631/92 + 853/4. Let n = q - m. Which is greater: n or 1?
1
Let y be ((-3)/1224*4)/(14/67). Let l = 1/17 + y. Which is smaller: 1 or l?
l
Suppose 2*y - 749 = 4*v - 89, -v - 159 = y. Let h = -67 - v. Suppose h = 3*i - 3*x, i - 3*x = 4*i - 120. Is 36 > i?
False
Let p be (2 + -4 - 4)*-1. Let n be p + (-15)/3 - 90. Let l = n - -23. Is l greater than or equal to -65?
False
Let a be (-20)/100 + (-76)/(-5). Let v be (((-25)/a)/5)/58. Is -1 equal to v?
False
Let g(s) = -