192. Is h <= f?
True
Let r be (-2 - (-6)/(-30)) + -7. Suppose 565*c = 560*c - 40. Is r > c?
False
Suppose 5*j = 4*j - 5*m, -3*j - 3*m = -12. Suppose -676 = -3*r + j*k + 691, 5*r - k = 2271. Is 455 >= r?
True
Let x = 448 + -448.002. Let c = x + -0.098. Is 187 < c?
False
Let p = 96 - 36. Let c = p + -61. Let f = 118 + -169. Which is smaller: c or f?
f
Suppose -c = -2*c + i - 2, 0 = 5*c + 5*i. Let u = 54.3907 + 3.6093. Which is greater: c or u?
u
Suppose 0 = -11*u + 56043 - 72895. Is u greater than -1532?
False
Let m be 6/(-4) + (-2551)/(-1702). Let u(z) = z**3 - 22*z**2 + 56*z + 20. Let y be u(19). Which is smaller: y or m?
m
Let o = -243 + 152. Let c be 4 + (-4 - (4 + -6)). Let j be (-1 - 7)*(25/c + -1). Is j at least as big as o?
False
Let j be ((-275)/(-1645) - 3/(-7))/((-188)/6). Which is smaller: -1 or j?
-1
Let u = 1.04 - 0.11. Let v = -0.07 - u. Let h(z) = -123*z + 1958. Let f be h(16). Which is smaller: v or f?
f
Let n = 0.347 - 0.347. Is -1817 at least n?
False
Let n = 438986 + -103161446/235. Let l = n + -53/47. Let a = 0 + -1. Is l at most a?
False
Let z be (4/(-5))/((-9)/45). Suppose 0 = 24*w - 10*w - 14. Let h be (w/70)/(z/(-12)). Is h < -1?
False
Let c = -22159 - -22159. Which is smaller: c or 148/189?
c
Let r = 10420 - 10419. Let n = -21849/48836 - -53/116. Which is bigger: n or r?
r
Let w(f) = 4*f + 22 - 33 - f**2 + 2*f**2. Let k be w(19). Let q be (-4)/(-30) + k/(-495). Which is bigger: 0 or q?
0
Let y = 166.0313 - 166. Let b = 0.0113 - y. Which is bigger: b or -0.4?
b
Let w be (4/2)/((-6)/(-147)). Suppose -2*d + w = m, 3*d - 34 - 42 = -m. Let z be 10/(-7) - -2 - (3290/(-245) - 15). Which is bigger: d or z?
z
Let n = -0.2167 + 0.4167. Are -0.0554 and n equal?
False
Let s be (6/((-24)/20))/((-25)/10). Let f be (-2)/4*(-6 + s + 4). Which is smaller: 2/775 or f?
f
Let r = -268 - -267. Suppose 3*n - 1 = 2*j + 14, -2*j - 5*n = 7. Let g be j/(-64)*6/9. Which is greater: r or g?
g
Let l be 15/(1 - -2) + -3. Let y(t) = -2*t**2 + t + 2. Let j be y(0). Suppose -j*x + 25 = 15. Which is smaller: l or x?
l
Let a be 4/3 + -1 + (-6)/24. Let o(z) = -8*z**2 + 1 - 6*z - 4*z - z + z**3 + 18*z**2. Let q be o(-11). Is a at most as big as q?
True
Let k = 6432 - 6291.84. Let h = k - 140. Suppose -8 = -4*r, 4*i - 2*r = -3*r + 10. Which is smaller: i or h?
h
Let b = 252 - 252. Let x be -4 - (6/15 - b)*-5. Which is greater: x or -6?
x
Let d = -86352082 - -41708097979/483. Let z = -607/7 + d. Let g = z - 8/23. Is g >= -0.1?
True
Let j(o) = -o + 1. Let d be j(-3). Let t(c) = -c + 2. Let r be t(-1). Suppose 5*x + 48 = 4*f, 6*x + 33 = r*f + 3*x. Which is smaller: d or f?
d
Let k = -13 - -22. Let n be 85 - 1 - (-9 + k). Suppose -8*v - n = -4*v. Is v greater than -43/2?
True
Let z(k) = -5*k**2 + 6*k + 15. Let f be z(-3). Let v be f/(-30) - 6/10 - -2. Suppose -v*w - 76 = w. Is w != -20?
True
Let f = 57.65 - 55. Let i = -14.65 + f. Are i and 9 non-equal?
True
Suppose 0 = b - 5*i - 1 - 5, -3*b - 3*i = 0. Suppose -4*k - 9 = 3*d, -7 = -k - 3*d + 2. Let r be (-3 - (-15)/6)/k. Is b smaller than r?
False
Let y be 4*(-12)/(-72) + (-14)/(-6). Let v be (1/(-33))/(y/333). Is v at most as big as -2?
True
Let o be 2/6*1 - (-4717)/159. Let f be ((-1235)/o)/(-13) + 4/(-6). Is 2/9 bigger than f?
False
Let l(f) = 10*f**3 + 3*f**2 - 16*f - 18. Let n be l(-1). Let a be (-6)/n + 1624/21 + -5. Which is bigger: a or 74?
74
Suppose 600 = 7468*c - 7456*c. Do 18 and c have different values?
True
Let t be 18/(-892)*3876/(-171). Which is greater: -1 or t?
t
Let n(b) = 3*b**3 - 2*b**2 + 10*b - 43. Let o be n(6). Let k = 800 - o. Is k > 207?
False
Let d = 15 + -15. Suppose -x - 5*o - 201 = -2*o, o + 191 = -x. Let n be (932/x - -1) + 4. Is d less than n?
False
Let m(u) = -2*u**2 - 7*u + 29. Suppose 14 = 3*a + 5*d + 22, 0 = -2*a - 5*d - 2. Let f be m(a). Is f equal to -2/979?
False
Let n = -136.186 + 136. Let b = 67.814 - n. Which is greater: b or 2/7?
b
Let m = -22994 + 299162/13. Which is bigger: m or 18?
m
Let b be (-3 + (1 - 80))/(100/50). Is b less than -38?
True
Let a be 35/(-14)*8/(-5). Suppose -105 - 4 = -a*m + 5*d, -m + 25 = d. Let x = 58 - m. Is 33 at most as big as x?
False
Let k = -373356 - -373376.9209. Let t = 0.0209 - k. Is -0.1 != t?
True
Let n(u) = -78*u - 1138. Let r be n(-6). Is r <= -671?
False
Let k = -1.5436 + -736.1564. Let s = 742 + k. Is s >= 0.3?
True
Suppose -3*u + 95*x - 94*x + 1372 = 0, x = -3*u + 1358. Do 459 and u have different values?
True
Suppose 8092 + 7548 = -4*g + 4*t, -2*t + 3905 = -g. Let u be -1308*(-6)/g - (-6 + 4). Which is bigger: 1 or u?
1
Let t = 2133222/127 - 16797. Which is bigger: t or 4/11?
4/11
Let h = 0.31 + 3.19. Let q = 11.5 - h. Let n = 7.9 - q. Which is smaller: -27 or n?
-27
Suppose -2*r + 2*r = -24*r - 78168. Do -3256 and r have the same value?
False
Let m = -6 + 9. Suppose -3*j - 3*c + 3 = 0, -m*j = -c - 4 + 9. Let k = j + 0. Which is greater: 1/16 or k?
1/16
Let n = -444.91 + 8.91. Let m = 390 + n. Which is greater: m or 0.3?
0.3
Suppose 2*l = 12, -g - 5*l - 3 = -35. Are g and 1/522 equal?
False
Suppose 4*g - 4*s + 96 = 0, g + 4*g - 3*s + 114 = 0. Let n be (-41 - 7136/(-128))*(-4)/3. Which is bigger: n or g?
n
Let x = -7974.1 + 7974. Let h be (((-12)/717)/(-2))/(-1). Let g = -6461/956 - h. Which is smaller: x or g?
g
Suppose 2*d - 2*h - 2*h = 52, -4*d - h + 77 = 0. Let a be (8/d)/(4/(-20) + -1). Which is greater: 185 or a?
185
Suppose 4*w - 2269 = -3*s + 656, 5*s - 4886 = -3*w. Which is greater: s or 977?
s
Let j = -1243 - -1243.34. Is j greater than 8?
False
Suppose 2*r + 3*r = -255. Suppose -3*h + 17 - 2 = 0, -2*u - 111 = -h. Is r greater than u?
True
Suppose 57*u = 53*u. Suppose -p + u*p = -2. Let r be (-14)/(-21)*((-3)/p - 0). Which is smaller: r or -7/4?
-7/4
Let f = -126.814 + 124.9. Let p = 0.214 + f. Is -9 bigger than p?
False
Let w be (-150 + 153)*(-1033)/3. Is w < -1031?
True
Let g be 42/(4 + 45/(-10)). Let l = g - -21. Let s = l - -377/6. Is s > -0.06?
False
Let n be 2346/(-425)*(-10)/(-20). Which is greater: n or -2/7?
-2/7
Let t = 29.653 - 30.153. Let j = -0.4 + -8.6. Is t at least j?
True
Let k = -5.74 - 0.06. Let m = 17.2 - k. Let b = 23.2 - m. Is 2 != b?
True
Let o = 0.43 + 3.37. Let i = -42.295 - -46.295. Is i bigger than o?
True
Let u = 47 - 66. Let y(w) = -234*w + 1154. Let p be y(5). Which is smaller: u or p?
u
Let r = 403.7 - 345.7. Is 1/5 at most as big as r?
True
Suppose -24197 = -10*o + 8863. Let q be (-4)/78*o/76. Is q <= -1?
True
Let g be -1 + ((-18)/15)/((-8)/(-20)). Let k be (-7104)/(-20880) - g/(-30). Is -1 equal to k?
False
Suppose 19792 = -18*b + 2*b. Let r = b - -11122/9. Let c be 2/8 - (-2)/(-8). Is r > c?
False
Suppose 0 = -5*v + 33*v - 28. Suppose -9*h - 8 - v = 0. Which is greater: -1/566 or h?
-1/566
Let c = 0.65 + -0.72. Let r(i) = -i**3 - 2*i**2 + 3*i + 4. Let a be r(2). Which is greater: c or a?
c
Let o = 1811 + -2874. Do -1061 and o have the same value?
False
Let t be (-4)/(-22) - 228/(-110)*80/12. Is t greater than 100/7?
False
Let d = -3910 + 3816. Which is greater: -93 or d?
-93
Let p = 28442 - 28401. Which is greater: -44 or p?
p
Let h be 14/(-16) + 11/(-88). Let k be (-215)/21 - ((-5)/15)/h. Let b be -1 - (-3 + 3*4). Is k > b?
False
Let b be ((-1)/2)/(766/256 + -3). Let i = b + -59. Suppose n + i = 4*x, 3*x + 0*x - 5*n - 25 = 0. Which is smaller: 1/8 or x?
x
Let b(x) = x**3 + 42*x**2 - 43*x + 12. Let a be b(-43). Let p be -36*(-3 + 40/a). Which is smaller: p or -5?
p
Let c(i) = 34*i**2 - 84*i - 914. Let a be c(-11). Which is bigger: 4123 or a?
a
Suppose -8*o + 5*t = 20690, -6*o = -2*o + 3*t + 10378. Which is smaller: -2591 or o?
-2591
Suppose 29*r = 31*r + 308. Let j be ((-3)/6)/(11/r). Suppose -10*o + 4*o = j*o. Which is bigger: 2/41 or o?
2/41
Suppose 0 = 5*x + 2*g - 53, x - g + 107 - 112 = 0. Is 4 equal to x?
False
Let j = -21067 + 21072. Let s be ((-6)/2 - 0)/(-14). Which is bigger: s or j?
j
Let k be (-260)/(-28) + 1/((-14)/4). Suppose 19*m - 16*m = k. Suppose 233 = -5*d - m*o, -o = 2*d - 64 + 158. Is d at least -49?
True
Suppose -3*o - 4*b = -8, -4*o + 3*o + 3 = b. Suppose o*k = 10 - 50. Is -22 at most k?
True
Let m(x) = 8*x + 65. Let v be m(0). Suppose 133*j - 128*j = v. Suppose 0 = 3*t + l - 45, 5*t - 4*l + 5*l - 73 = 0. Is t greater than j?
True
Let w = -121 + 61. Let z be (