- 2*h, 5*l + h + 2*h = 103. Suppose -3*b = l - 5. Let a = 83 + -86. Which is bigger: a or b?
a
Let t = -782 - -764. Which is smaller: -19 or t?
-19
Let s = 2/57035 - 41586/3022855. Is 1 >= s?
True
Suppose v - 11 = -w, 4*v + 11*w - 14*w = 51. Suppose 518*b = 514*b - v. Is b greater than or equal to -6?
True
Suppose 23*f = 17*f - 6. Let l be -1 - 10 - (-211792)/19264. Is l greater than f?
True
Let z = -65/2661 + 23539/1012067. Which is smaller: 0 or z?
z
Suppose 0 = 3*x, 0*x - 3*x + 5 = -5*p. Which is smaller: p or -2/75?
p
Let k be 4503/(-27) - 2/9. Let q be (-16 - (4 - (-1 - -8)))/(30/390). Are q and k equal?
False
Suppose -4*h - 4*w - 706 = -9*h, -3*h + 5*w + 421 = 0. Let x be 102/(-170) + h/70. Is 0 less than x?
True
Let c be (-3)/50*4851/(-297). Which is greater: 1 or c?
1
Let y = 235 + -207. Suppose 0 = 7*g - 21 - y. Is g equal to -4?
False
Let u(l) = -2*l**3 - 2*l**2 + l + 2. Let n(m) = -m + 4. Let v be n(2). Let r be u(v). Let h be (-22 - -16)*r/(-6). Is h less than or equal to -19?
True
Let l = -937/49 + 514021/26901. Which is smaller: 0 or l?
l
Let i = -0.8324 + 8.8324. Is -85 not equal to i?
True
Let w(q) = 217*q - 5885. Let i be w(25). Are i and -5044/11 equal?
False
Let n = -7262 + 530150/73. Is n > -1?
True
Let d = -0.031 + 0.321. Let i = 0.01 + d. Let u = 2509/11277 + -1/3759. Which is smaller: i or u?
u
Let i = -2/487 - 3379/7305. Is i at most as big as 13?
True
Let q = 9.3831 + 0.1169. Is q not equal to -2?
True
Let j be (-26)/42 + 4/14. Suppose 29*t + 234 = 582. Suppose -87 = -t*r - 315. Is r > j?
False
Let b be (-2167330)/3981868 + (-12)/(-22). Which is greater: b or 0?
b
Suppose -2*f + 45 = 3*f. Let t be (-1645)/(-175) - 2/5. Suppose t - 18 = -9*r. Which is greater: f or r?
f
Let h be (4/(-38))/((-1)/(-11)). Let d(m) = m**2 - 14*m - 240. Let t be d(24). Is t less than h?
False
Let h = -28765 - -2847722/99. Is 0 greater than or equal to h?
True
Let y = 12288 - 12289. Which is bigger: y or -9/10?
-9/10
Let n = 28.3 - 26. Let l = n + -16.3. Let q = -14.2 - l. Which is greater: -1/3 or q?
q
Let n be (-16500)/(-77) - (-2)/(-7). Let u = n - 7703/36. Which is smaller: 0 or u?
0
Let i = -0.076 - -0.059. Let c = i - -31.017. Let t = 22 - c. Is t smaller than -3?
True
Let m = -58 + 100. Let c = 105 + -153. Let k = c + m. Which is greater: k or 5?
5
Let y = -15620 - -234164/15. Let k = y - -26/3. Which is bigger: 199 or k?
199
Let j = -32 - -123.1. Let o = -91 + j. Which is smaller: o or -1?
-1
Suppose r + h + 10 = 6*h, -2*r - 5*h + 40 = 0. Let i = -126079 + 126087. Is i >= r?
False
Let n be 7 - 1585 - -7 - (-21)/7. Is -1566 < n?
False
Let g(o) = o**2 - 28*o - 474. Let a be g(30). Which is smaller: a or -418?
-418
Let w = 8758 - 8761. Which is bigger: w or -558?
w
Let p = 5166 + -5168. Which is smaller: p or -101/36?
-101/36
Let u be -176 - -169 - 7/(7/(-4048)). Are u and 4040 equal?
False
Suppose -8*v + 47 = -1. Suppose v*p + 245 = -151. Is -68 smaller than p?
True
Suppose 3*n - 21*n = -26406. Suppose 7*x + n = -24. Is x <= -213?
True
Let f = -251 + 266. Suppose -4*n + 16 - 4 = -2*u, 0 = -2*n - 3*u - 2. Suppose f = -x - n. Which is bigger: -1 or x?
-1
Suppose 0 = -15*t - 17*t + 452 - 4. Which is smaller: t or 33?
t
Suppose 8*y - 14 = 18. Suppose 9*g + 114 = -o + y*g, -4*o = 5*g + 516. Is o >= -133?
False
Suppose -26*h + 8 = -25*h. Suppose -2*z + h*z = 6. Is -2/61 bigger than z?
False
Let o(q) = q - 4. Let y be o(6). Suppose -u - y = u. Let f = -132322/65 - -10174/5. Is f equal to u?
False
Let a = -0.123 + 0.017. Let x = a + 0.19. Let j = x + -3.484. Is -1/3 smaller than j?
False
Let j = -18157 - -18154.08. Which is smaller: j or 1/45?
j
Let h = 2238 + -1568. Let m = -398 + h. Is m >= 273?
False
Let n be 4 + (-22 - -2) - -3. Let q = n - 2. Let r be (-3)/15 + (-18)/q. Which is bigger: 2/9 or r?
r
Let i be (-9)/(-30) - 342498/231660. Which is smaller: i or 0?
i
Let q = 3 - -4. Suppose 236*g = 230*g + 60. Which is bigger: g or q?
g
Let m = -0.094 + 0.194. Let a be (-3)/2 - 8445/(-6). Let d = a + -99828/71. Is d greater than or equal to m?
False
Suppose -14*a = -12*a + 24. Let z(f) = 2*f**2 + 38*f - 9. Let c be z(a). Which is bigger: c or -178?
c
Let v be (-6 - 18/(-6)) + 3 + 34. Let h = v + -39. Suppose -3*c = 2*s + 14, -4*s = -2*s - 5*c + 14. Are h and s nonequal?
True
Let g = 0.646 + 1.864. Let r = 8.51 - g. Is r greater than 0.9?
True
Suppose 3*f - 4*n + 118 = -42, 2*f = 4*n - 100. Let b = 452 + f. Is b bigger than -1?
True
Let d = 23887 + -24073. Which is smaller: d or 29?
d
Let d = -527 - -133. Let q = d + 393. Which is bigger: q or 5/57?
5/57
Let q = -273.439 - -0.439. Let k = q - -266. Which is greater: k or -2/15?
-2/15
Let k = 10509 - 10472. Which is bigger: 480/13 or k?
k
Let d be 3 - 2 - (-3 - -19)/8. Let o(g) = 3*g**2 + 13*g + 12. Let x be o(d). Which is bigger: x or 12/19?
x
Suppose j - 4*p = -1899, -12*j + 14*j + 4*p = -3786. Let d = j + 140227/74. Is 0 at least as big as d?
True
Let x = 0.2012 + -0.7012. Let u = -0.53 - 0.07. Let t = u + 1.6. Which is bigger: x or t?
t
Let u be (-12)/(-8) + (-469)/(-14). Suppose -u = s - 37. Suppose -2*l - 2*c + 54 = 0, -s*l + 9 = 5*c - 39. Is l greater than or equal to 28?
True
Let t(n) = -4*n - 2. Let i be t(-3). Let o = -737 + 735. Let y be (-78)/(-4) + o + 5/i. Is y < 18?
False
Let r be (-2)/(-3)*15 + -2. Let b be r/3*(-42)/(-56). Suppose 0*o - b*o = o. Does 0 = o?
True
Let u = 15.8 - 16. Let a be ((-188)/10)/((-100)/125) + -5. Which is smaller: a or u?
u
Let t = -1583 + 1572.33. Which is smaller: t or 2/3?
t
Let v = -10677086 + 1311968296469/122877. Let s = -3323820547/6020973 - v. Let t = s + 552. Which is bigger: 0 or t?
0
Let u(s) = -14*s - 78. Let q be u(-10). Let d be 136/q + 8 + -10. Which is greater: 0 or d?
d
Let b = -12.527 - 0.853. Let z = -49.32 + b. Let n = -62 - z. Which is smaller: n or 0.05?
0.05
Suppose 5*g = 5*a + 6*g - 60, 3*a = 4*g + 36. Suppose 2*s + y = -4*y - a, 2*s - 24 = 4*y. Suppose j + s = -q - 1, 3*j + 9 = -q. Which is greater: -5/3 or j?
-5/3
Let t(h) = -h**2 + 5*h + 12. Let k be t(9). Let i be ((-4)/348)/(44/k). Is i >= -1?
True
Let b be -3 + (-9346)/(-1230) + 34/255. Which is greater: b or 5?
5
Let a = -17/9 - -701/360. Let c = a - 977/1320. Is 0 != c?
True
Let k be (7/(-4))/(4 + (-17)/4). Let t be (-108)/(-14) + 104/364. Which is greater: k or t?
t
Let y = -3 - -27. Let r be -1 - ((-7)/(-33))/(y/(-90)). Is r at least -1?
True
Let g(x) = -x**3 + 32*x**2 - 64*x + 121. Let v be g(30). Let i be v/3*(-404 + -25). Is i smaller than -143?
False
Suppose 5*u + 820 = 65. Let s be ((-1)/4)/((-3)/(-1803)). Let b = u - s. Is -2 > b?
False
Suppose -23*r = -11*r - 1128. Suppose 95*t - r*t = -1. Is -1/34 not equal to t?
True
Suppose 0 = -5*b + 20*b - 38 - 52. Which is bigger: b or 135/19?
135/19
Let a = 8945 + -8981. Let d = 58/5 + -12. Is a greater than d?
False
Let v be -34 + (-8)/4*-1 + -4. Let t = 37 + v. Let y be (t/19)/((-15)/45). Is 0 bigger than y?
True
Let g = 99.2 + -42. Let m = 53.2 - g. Are 0.25 and m nonequal?
True
Let f = -768 + 768.5. Let g = 0.296 - 0.086. Which is bigger: g or f?
f
Let i(o) = -26 - 5 - 10 - 16 - 11 + 18*o. Let t be i(14). Is t greater than or equal to 185?
False
Suppose 11*g - 8*g - 365 = 8*g. Which is smaller: g or -1388/19?
-1388/19
Suppose 4*o + 16 = 0, 5*o = -5*a + 227 + 558. Is a at least 160?
True
Let p = -4.31 - -4.11. Do -0.6104 and p have different values?
True
Let t = 7624.5674 - 7625. Which is smaller: t or 2/9?
t
Suppose -37*l - 48253 = 20789. Is -1868 < l?
True
Let z = -31 + 48. Suppose -2*g + 3*i = -5*g + 24, -2*g = i - z. Suppose 19 = -5*r + g. Does 0.1 = r?
False
Let z be 15319/25465 + (2958/145)/(-34). Is 0 < z?
True
Let m be (-1)/((4 - 0) + -3). Suppose -81*r + 1430 = -94*r. Do m and r have different values?
True
Let i be (140/(-378)*15 + -7)/(2/(-222)). Which is smaller: 1395 or i?
i
Suppose -10*c = -15*c - 10. Let m be -10 - -1 - 14/14. Let z be (18/(-45))/((-2)/m). Is z < c?
False
Let m be (-30)/40*(-12)/(-15) - 452396/(-35). Is m bigger than 12926?
False
Let o be (-259)/(-74)*(-9)/266. Which is smaller: -1 or o?
-1
Let i = 1 - 18. Let k be ((-3)/4)/((-5643)/(-122056)). Is i <= k?
True
Let a = 4960/18837 + -2/819. Suppose -45 = -814*n + 809*n. Suppose -n = r - 10. Is a > r?
False
Let c = 9.2 + -9.231. Let z = 75.