4)/(-12) - 1/2. Which is smaller: s or h?
s
Let p be 23 - ((-4017)/(-129) + 1). Which is greater: -10 or p?
p
Let n be 110372/11352 + 15/(-10). Let y = -232/129 + n. Let r = -56/11 + y. Which is bigger: r or 0?
r
Let u be -6 + -7 + (-1338)/(-10). Let d = -29606/245 + u. Is -1/2 greater than d?
False
Let y(f) = -f**2 - 116*f - 2800. Let z be y(-78). Which is bigger: z or 167?
167
Let j = 0.036 + 2.664. Let k = j + -49.7. Let q = k + 47.9. Which is greater: 4 or q?
4
Let r be ((-266)/42)/19 - (-379)/1155. Let w be (-1 - -1)/(5 - 4). Is r greater than or equal to w?
False
Let t = 73 + -57. Suppose 0*h + 4*h = -t. Let u = h - 24. Which is smaller: u or -57/2?
-57/2
Let m be 90/(-120)*((-1004)/13 + (8 - 4)). Is m greater than 56?
False
Let p = -1.123 + -0.217. Let d = -0.34 - p. Is -92 at least d?
False
Let i = -844 - -845. Suppose -8 = -4*d + 4. Which is greater: i or d?
d
Let d be 334 + (13 - 17 - 13). Which is smaller: d or 631/2?
631/2
Let o = 65.22 + -66. Let v be (-9)/12 + (-3)/(-4). Suppose 9*l = -v*l - 4*l. Is l greater than o?
True
Let o be 9 + -6 - (-2)/(-1). Suppose 5 = -5*z + 2*l - 7*l, -11 = 3*z + 5*l. Let x be 2/o*z/35. Are 1 and x equal?
False
Let b = -1.518 + 206.518. Let i = -489 + 488. Is b less than i?
False
Suppose -4*m + 122 = 74. Suppose 13*s + 2*y = m*s, -5*y = -3*s. Which is greater: s or -1/130?
s
Let n be 128*((-68)/(-51) - (4 + 42/(-9))). Which is greater: -4 or n?
n
Let q(w) = -5*w**2 + 54*w + 225. Let j be q(14). Do -12/1979 and j have the same value?
False
Suppose s = -2*g + 5*g - 3, 0 = 5*s - 2*g + 15. Suppose -7*w = -3*j - 5*w + 28, 4*w = j + 4. Suppose -j*c - 20 = -7*c. Is c less than or equal to s?
True
Let n be ((-4)/6)/((-531)/513 - -1). Suppose -7*f + n = -16. Are 10 and f unequal?
True
Suppose -v - 4*v = 30. Let o(i) = i**3 + 7*i**2 + 5*i + 8. Let a be o(v). Let d be 34/119 - 60/a. Is d bigger than -4?
False
Let c(y) = -2*y**2 + 37*y - 219. Let d be c(9). Which is greater: d or -38?
-38
Let w = -14 - -8. Let z be 2/(((-258)/(-645))/(4/(-5))). Which is greater: w or z?
z
Let h be 2*(-26 + 23)*(-599)/(-3). Is -1199 >= h?
False
Let b = -1/15390659 + 1064094772658/877267563. Let y = -1213 + b. Is 0 greater than or equal to y?
True
Let r(h) = 20*h**2 - 3*h - 3. Let y be r(-1). Let q be ((336/y)/(-3))/(3/(-60)). Let j = 48 - q. Are -64 and j equal?
True
Let f = 14 + -13. Let b be f - (240/(-44))/(-5). Suppose 2*l - 4*l - r = -4, -3*l = -5*r + 20. Which is smaller: b or l?
b
Let v = -96 + 420. Suppose 17*g - 20*g = -4*f + 268, 5*f - g = v. Which is bigger: 65 or f?
65
Let c be (-164)/(-9) - 16/72. Let l(q) = -3*q - 10. Let x = 18 - 27. Let n be l(x). Which is bigger: n or c?
c
Let x be (-4)/(-20) - ((-9594)/1080)/(-41). Is -1.3 greater than x?
False
Let o be (-3786)/(-12) + 143/(-22) + 6. Let j be 2/4 + 7548/24. Is o equal to j?
True
Let p be 2*2/(10 - 9)*1313/(-2). Is p at most -2626?
True
Let o = -2637/4 - -1505671/2284. Which is smaller: o or 0?
o
Let y be (2 + 165)*((-365)/55 - -6). Is y equal to -107?
False
Let r = 221 - 1881. Let v be (-1)/4 + r/16. Which is bigger: -105 or v?
v
Let p = 18 + -29. Suppose -6*n + 30 = -n. Let u be (-290)/25 + (-5)/(75/n). Is u at least as big as p?
False
Suppose 2*d + 1846 = -2*y, d = 2*y + 802 + 1062. Which is bigger: y or -928?
-928
Suppose -124*l - 133*l + 14 = -271*l. Let o be (-6)/(-622)*(-4)/(-6). Are o and l non-equal?
True
Suppose 5*y + 775 + 535 = 0. Let b = y + 261. Is b greater than 6/41?
False
Suppose a + 4*o - 14 = -0, 5*a = -o - 6. Let l(w) = -w**2 - 9*w - 11. Let g be l(a). Suppose 213 = -0*y - 4*y - m, -g*y - 161 = m. Is -52 >= y?
True
Suppose 8*o - 10*o - 8 = 2*r, -2*r = 5*o + 5. Which is smaller: o or -2/4853?
-2/4853
Let s be ((-628)/(-76) - 9)*(1 - 67/66). Are 0 and s equal?
False
Let s be (-16)/6848*(2300/385 - 6). Which is bigger: s or 1?
1
Suppose 0 = -4*g - 2486 + 538. Let x = -488 - g. Is x greater than or equal to 4/257?
False
Let c = -13 + 16. Suppose 5*i + 3 + c = -2*x, 2*i + x = -3. Suppose 4*t + 37 = n + 200, -2*n = -10. Which is smaller: t or i?
i
Let g = 33608 - 33165. Is -5/9 > g?
False
Suppose 3*t - 116 = 5*u, t - 50 = 2*u - 10. Suppose t = 5*h - 4*o - 33, 5*h - 2*o = 55. Which is smaller: h or 1?
1
Suppose 2*y + 393 = 403, g - 3*y = -188. Are 23 and g nonequal?
True
Let m be 2/2 - 265/212. Which is smaller: -43 or m?
-43
Suppose 33*f = 32*f + 10. Suppose f - 11 = l. Let u = -29.8 - -24. Which is bigger: u or l?
l
Let r(l) = l + 31. Let f be r(6). Suppose -2*m + 80 = -4*b, -4*m + 4*b - 19 = -175. Which is bigger: m or f?
m
Let s = 5307 - 5252. Let y = -101 - -59. Let r = 97 + y. Is r > s?
False
Let d(x) = 3715*x**2 - 52*x - 52. Let y be d(-1). Is y < 3717?
True
Let k be -2 + -2 - (-15)/5. Is -5/3212 not equal to k?
True
Let g = 12169 + -12188. Is -63 < g?
True
Let x = -5656.69 - -5626. Let r = x + -1.11. Let y = r - -5.8. Which is smaller: y or -1?
y
Suppose 0 = 267*a - 617*a + 700. Which is smaller: a or -4/1233?
-4/1233
Let u(x) = -476*x + 339. Let m be u(4). Is m != -1565?
False
Let u be (-9 + 11)*1581/(-48). Which is smaller: -65 or u?
u
Let r be (0 - (-7)/4)/((-141)/(-122)). Let v = r + 15/47. Which is bigger: 1 or v?
v
Suppose 2*b + 4*w = 7*b - 136, -4*w = 2*b - 60. Let h(g) = -8*g - 3. Let o be h(-4). Which is bigger: b or o?
o
Let m(r) = 4*r + 28. Let d be m(-6). Suppose 0 = i + d*n + 128, 2*i + i + n = -373. Is -125 < i?
True
Let a = -0.1 - -0.2. Let o = a + 0.9. Let t = -54143 - -54156. Which is bigger: t or o?
t
Suppose -15*g = 702 + 2043. Let n = g - -136. Is n less than or equal to -49?
False
Suppose -2*f + 5*f = 0. Let q = 12357 + -12366. Let x be q + 6 - (-4 + f). Is x >= -3/14?
True
Let r(y) = -y + 5. Let v be r(4). Let b be (-16*(-219)/5840)/((-306)/40). Is v greater than or equal to b?
True
Let m be -2 + (7 + (-2457)/350)/((-2)/204). Which is greater: m or 2/43?
2/43
Let q(v) = -46*v**2 - 821*v + 285. Let c(f) = 9*f**2 + 164*f - 57. Let x(l) = -11*c(l) - 2*q(l). Let k be x(-23). Is 85 != k?
True
Suppose -2*x + 4*s + 4218 = 0, 2*x + 0*x - 4233 = s. Suppose -17*m + x = 640. Which is greater: 88 or m?
88
Let d be 50/(-6) + (-6)/9. Let y = 151 + -131. Let s be 2*55/y*-2. Is s > d?
False
Let z be (-1800)/(-9675)*1/(-44). Which is greater: 0 or z?
0
Suppose m = -m. Let u = 166 - 166.104. Let i = u + -72.896. Which is bigger: m or i?
m
Let y = -341 + 764. Let a = y + -263. Which is bigger: a or -1?
a
Let c be (-6)/24 - 1334/(-24). Let f = c + -53. Suppose 0*s + 2*s = 2. Which is greater: s or f?
f
Let d be (2/(-30))/1 + (-161035)/3225. Which is greater: -633/13 or d?
-633/13
Let a(z) = z**3 - z**2 + z - 91. Let h be a(0). Let r(l) = -l**2 + 20*l + 7. Let p be r(14). Let f = p + h. Which is bigger: f or 10/13?
10/13
Let j = 4.47 + 148.53. Let p = j + -96. Which is greater: -1 or p?
p
Let o = -4047/8 - -505. Let i be 4 - (-4)/(7 - 3). Suppose -b = w - 5, -i*b - 4*w + 11 + 9 = 0. Is b at most o?
False
Let w = -0.09563 + 58.29563. Is w at most as big as -7?
False
Let t = -0.21 - -0.01. Let l = -0.3 - t. Let o = 42751 + -42711. Is l greater than o?
False
Let t = -3.29 + 2.905. Let d = 1.385 + t. Which is greater: 76 or d?
76
Let o be (2/2)/(10/8 + -1). Suppose o - 2 = -u. Let k be (-8)/(-10)*(-14)/4. Do u and k have the same value?
False
Let d be (42/12)/(1/40) + 4. Suppose -d = 3*o - 0*o. Let w(j) = -2*j**2 + 8*j + 17. Let g be w(8). Which is greater: o or g?
g
Suppose i - 2*i - 2*t + 38 = 0, 10 = 5*t. Let m = 155 - -43. Suppose -6*f + 12*f = m. Which is bigger: i or f?
i
Let y = 16.094 + 0.106. Let o = y + -22. Let r = o + 0.8. Is 1/5 < r?
False
Let y = -478 - -466.98. Let n = y - -11. Let i be (-1)/(7*1/2). Is n equal to i?
False
Let c = -5.3 + 35.3. Let a = c - 64. Let z = 9 + a. Is 2 >= z?
True
Let f be (17 - 651105/38301)/4. Is f at least as big as -1?
True
Let t(a) = 5*a**2 - 12*a - 5. Let m be t(4). Suppose m = -9*w + 6*w. Is w != -4?
True
Let y(r) = 31*r**2 + 2*r + 34. Let s be y(-4). Is s < 521?
False
Let x = 1 - -3. Suppose 5*c = 4*f - 96, -3*f = 2*c - 0*c - 49. Suppose -f*m + 128 = 33. Which is smaller: x or m?
x
Suppose -16*b + 69 = -59. Suppose -4*k + b = 8. Which is greater: -2/221 or k?
k
Let u(j) = -j + 5. Let o be u(4). Let f be (62 - 43043/693)/(2*2/(-8)). Is f equal to o?
False
Let g = -3.79 + 3.873. Let i = 95.917 +