ose -11*h - 2561 = -6*h - 3*v, -3*h - v = 1531. Is h at least 0.5?
False
Let a be 1/(-1) - (-51 - -43). Let o be (-24)/10 + 3 + (3 - a). Is o smaller than -4?
False
Let s(a) = 50*a**3 - 5*a**2 - 1. Let l be s(2). Let m = -378 + l. Which is smaller: -1/4 or m?
-1/4
Let x be (357/(-28))/((-10)/(-16) - 1). Suppose 3*q - 69 = -4*f, 5*q - x = -2*f + 3*q. Which is smaller: 20 or f?
f
Suppose 186*w - 822 = 188*w + 3*n, n + 1233 = -3*w. Which is greater: -412 or w?
w
Let j = 6152 + -5995. Which is smaller: 137 or j?
137
Let u be (-16)/(-88) + (-216)/(-22). Let g be (44/(-8))/(3/(-6)). Which is smaller: u or g?
u
Let t be -3*4/16*4. Let u be t/(-8) - (-45)/8. Let g = u - 5. Is 0 < g?
True
Suppose -5*t = -44 - 31. Suppose 2*w - t = -w. Suppose -w*c = 0, -v - 5*c + 1 = -2. Are 5 and v unequal?
True
Let t be -1*4*3/(-9)*18. Suppose -28*j + t*j = -8. Is 3/5 > j?
False
Let s = -5610 - -5619. Which is greater: s or 0.0615?
s
Let b = 248 + -247. Let n = 23719252 + -124288879869/5240. Let a = 12/131 - n. Which is smaller: b or a?
a
Let u = 4053.7 + -4054. Is 705 != u?
True
Let s(b) = b**2 - 22*b - 69. Let m be s(33). Which is bigger: 291 or m?
m
Suppose -39 = 4*s + 4*m - 3*m, -4*s = -4*m + 24. Let h be ((-71)/3)/(-2 + (-21)/s). Which is bigger: h or -70?
-70
Suppose 15*k - 745 = 1598 + 297. Suppose 4*r = 5*c - 25, 5*r - 5*c + 12 = -13. Let v be (-1 - r)/3*(-120)/k. Which is smaller: 0 or v?
0
Let y = -6295/22042 - 49/214. Are y and -1 equal?
False
Let n be (21/(-28))/(-5 + (-30)/12). Which is greater: n or 20/13?
20/13
Suppose 622*s + 4*x + 166 = 621*s, -x - 154 = s. Is -156 at least as big as s?
False
Let d be 1/((84/(-14931))/(4/3)). Which is smaller: -264 or d?
-264
Let l = 8548/65 + -1712/13. Let b = -1887/715 - l. Which is smaller: -2 or b?
b
Let g = 921 - 1410. Let p = g - -350. Which is greater: -140 or p?
p
Let j be 318/18 + -13 - (9 + -4). Is 8/137 <= j?
False
Suppose 3087 = -20*x + 19*x. Let w = 663704/215 + x. Is -0.1 > w?
False
Suppose 0 = 4*m + 8, -3*d + 21 = m - 4*m. Suppose -2*t - 167 = 5*r, -3*t - 175 - 78 = d*r. Which is bigger: t or -85?
-85
Suppose 0 = 9*d + 20*d + 6090. Let g be (-12)/(-2)*35/d. Which is bigger: -1/197 or g?
-1/197
Let u = -15616 + 48081662/3079. Which is smaller: u or 0?
u
Let a = 139845/98 - 1427. Let y(b) = b**3 + 28*b**2 - 163*b + 69. Let u be y(-33). Suppose x = -u*r + 6*r + 3, 3*x - 4 = 4*r. Are a and x unequal?
True
Let l be ((-3)/(-21))/(305/(-2135)). Let n = -135/4 + 50073/1484. Is l less than n?
True
Suppose 80 + 1025 = -65*j. Let k(g) = -g**2 - 6*g - 3. Let w be k(-5). Suppose -4*u + 3*d - 92 = -d, w*u + 3*d + 21 = 0. Is u less than or equal to j?
True
Suppose -2*f = -6*f + 2*f. Suppose f = -6*j + 4 + 56. Let d be ((-1)/(j/(-8)))/((-6)/(-345)). Is d smaller than 45?
False
Let x = -2.1 - 0. Let q = x - -67.1. Let v = q + -66. Which is smaller: 17/5 or v?
v
Let j = -3508 + 3506. Is j at least -38?
True
Let k be 7 - (-5 + -4 - -5). Let l(o) = 14*o - 2. Let q be l(2). Which is smaller: q or k?
k
Let c = 6.27 + -0.67. Let z = 5.813 - 0.213. Let b = c - z. Is b smaller than -3/11?
False
Let j = 4459/792 + -45/8. Let d(s) = s**3 - 7*s**2. Let n be d(7). Do j and n have different values?
True
Let q = -1739 - -1745. Which is greater: q or 114?
114
Let s be (-66)/2 - (3 + -1). Let i = -11 - s. Do i and 24 have the same value?
True
Let z be 1969/(-44) + (-3)/(-4). Let l be z/198*(-2)/(-24). Is l bigger than 0?
False
Let m = -0.52 + -50.48. Is m smaller than 22?
True
Let d(t) = t**3 - 6*t**2 + 5*t + 10. Let g be d(4). Let q be (-4 + 7)/(g - 1 - -4). Suppose 2*x + 10 = f, 4*f = 2*x - 5*x + 18. Is f not equal to q?
True
Let h = -0.726 + 12.466. Let p = h + 1.26. Which is smaller: p or -13?
-13
Suppose 5*f = -29 + 49. Suppose 0 = -i - f, -2 = -2*q + 2*i - 4. Which is smaller: q or 7?
q
Suppose -218*b + 226*b - 8 = 0. Which is smaller: -21/1616 or b?
-21/1616
Suppose 3*v = -2*v + b - 5, -4*v + 3*b = 15. Let d = 1475 + -54577/37. Which is greater: v or d?
v
Let n(y) = 9*y**2 + 7*y + 3. Let k be n(-1). Suppose k*t + 494 = -4*r - 29, -t = r + 105. Are t and -104 nonequal?
True
Let u = 167 + -85. Suppose -u = 5*h - 112. Let t be h/(-12) + 6/20. Which is greater: 3 or t?
3
Let t = -59 - -61. Let l be (-18636)/297 - (-6)/(-3). Let v = l + 744/11. Is v at most as big as t?
False
Let f be 0 - (-20)/(-225) - (-52)/(-390). Which is bigger: -516 or f?
f
Let y = 54 + -53.7. Let i = 5.116 - -0.184. Let w = -8.3 + i. Is w at least y?
False
Suppose 5*l - 2*z + 5*z = 25, 5*l = -4*z + 30. Suppose l*k + 42 = 52. Suppose -k = 2*b - 3. Are -2/163 and b nonequal?
True
Suppose -v + 189 = -2*n, -4*n = -4*v - 9 + 397. Which is bigger: -97 or n?
n
Let u(s) = s**2 + 17*s + 66. Let b be u(-12). Suppose -15 = -3*j + b*j, -4*r + 5*j + 453 = 0. Is 109 less than r?
False
Let x = -940 + 568. Let w = -371.9 - x. Is w bigger than -5/13?
True
Let t(u) = 9*u + 33. Let j(y) = -y**2 - 15*y - 59. Let v be j(-7). Let w be t(v). Which is bigger: -4 or w?
w
Let f = -89 - -529/6. Let i be (-5)/((9/9 - (3 - 3)) + 0). Which is bigger: i or f?
f
Suppose -q = 2*u + 8, -50 = -u + 6*u - 5*q. Let k = 722 + -715. Let a be u*7/189 - k/9. Is -1/15 > a?
True
Suppose 5*i + 53 = 3*x + 54, -5 = -5*i + 5*x. Is i at most -1/10233?
True
Let c = -29/141 - 79/987. Let k = -0.13 + 6.13. Which is smaller: c or k?
c
Let t(c) = -603*c - 42. Let z be t(6). Let i be (-4)/18 + z/1755. Which is bigger: -2 or i?
-2
Suppose -3*o = -5*b + 14 - 0, 4*b - 2*o = 10. Let p be ((-10)/(-105))/(759/322). Do b and p have the same value?
False
Let y be (0 + 4)*-1*(7/(-7) - 3). Let f = 6 - 6.6. Is f greater than y?
False
Let z be ((-112)/24)/((-32)/572). Let b = z + -242/3. Suppose o + 10 = 5*a - 5, -a + 5*o + 27 = 0. Is b at least as big as a?
True
Let q(z) be the second derivative of -2*z**5/5 + z**4/3 - z**2 + 22*z + 2. Let f be q(-1). Is 10 at least as big as f?
True
Suppose 10*z + 5*q = 116 + 24, 5*z + 5*q - 50 = 0. Suppose 6*k - k - 80 = 0. Are k and z non-equal?
True
Let p = -12.8 + 12.7848. Let l = -0.0338 + p. Let c = 2 + -2. Is l <= c?
True
Suppose 5*g = -0*g + 2*a + 20, 5*a + 23 = -g. Let n be 8/4*g/(-13). Let o = 0.083 - -0.017. Is o at least as big as n?
True
Let g = -1019 - -1022. Which is greater: g or 92/21?
92/21
Let f = 701 - 701. Which is smaller: 7/72 or f?
f
Let t = 20.42 + -20.6. Let f = 29.18 + t. Is -3 less than f?
True
Suppose 0*n + n + 1461 = -4*m, 3*m - 2900 = 2*n. Is n greater than or equal to -1454?
True
Suppose -138 = 2*i - 2*g, 5*g = i + 35 + 22. Let w = -18.227 + 18.327. Which is smaller: i or w?
i
Let r = 263 - 261. Let m be (2 - 6/r) + 3618/3606. Is 1 smaller than m?
False
Let j be (2394/(-120) + 20)*(22/3 + 2). Is j at most as big as -1?
False
Suppose 0 = -2*y - 3*m, 7 + 11 = -5*y - 3*m. Let i = 131 + -127. Suppose 0 = i*j - 11 + 7. Which is smaller: y or j?
y
Let r = 18 + -13. Let y = 20529 - 61589/3. Which is smaller: r or y?
y
Let b = 115 + -138. Let y = -42 - b. Let x = y - -21. Is x smaller than -2/9?
False
Suppose -3*g = 2*h + 9 + 6, -2*h = -2*g + 10. Let k be (-4)/6 - (-284)/h. Suppose 30*n = 15*n - 735. Is n < k?
True
Let c be 17 - (-2060)/25 - 5*(-2)/(-25). Do -26 and c have the same value?
False
Suppose -2*f = 5*m - 201 - 1041, -4*f + 2*m + 2508 = 0. Let u = 626 - f. Which is bigger: 1/461 or u?
1/461
Let v = 5817 + -52271/9. Which is smaller: 3/4 or v?
3/4
Let t = -3830 + 3260. Are -574 and t equal?
False
Let k be (5697/(-495) - -9)/(-1 - 57/(-45)). Which is greater: -9 or k?
-9
Suppose -5*i - 95 = -3*h + 21, 0 = 5*h - 3*i - 188. Let w be ((-34)/(-20))/(64 + (-106486)/1665). Is h != w?
True
Suppose 3*a - 2*l + 670 = 0, -4*a + 2*l = -0*l + 890. Suppose -447 = 2*q - u, 643 = 91*q - 94*q - 4*u. Which is smaller: q or a?
q
Let o be 1/(-3)*-1*(-8 - -5). Let m be ((-20)/(-6))/((-8)/540). Let a be m/(-486) - 1/2. Is a smaller than o?
False
Let c = 0.3 - 1.3. Let q = -26.161 - -26.146. Is c < q?
True
Let q(h) = -h**2 - 6*h. Let a be q(-5). Suppose -7*u + 12*u + a*w = -50, 10 = -u + 2*w. Let p be u/(-15) + (-22)/6 + 3. Is -3/17 smaller than p?
True
Let v(b) = b - 1. Let s(m) = -3*m + 22. Let p(g) = s(g) + 2*v(g). Let w be 12/(-18)*3*(-13)/2. Let f be p(w). Which is smaller: 0.1 or f?
0.1
Let l = -364 + 364. Let v be (9220/4612 - 2)*2. Is l at most v?
False
Let t(s) = s*