-4. Let h = g - -0.3. Which is smaller: m or h?
h
Let h = 3107541/316 + -9834. Suppose -i = -5*r + 21, 0 = -4*i - i - 2*r + 3. Are i and h non-equal?
True
Let a = -4289 + 11001. Which is greater: 1 or a?
a
Let w(d) = -d**2 + 20*d - 92. Let m be w(12). Suppose -2*v = -3*r - 26, m*r - 4 = -v - 24. Let s be (-2)/5 - 24/5. Which is greater: s or r?
s
Let s be (4/(-8))/((-3)/84 - 0). Let h be (5/(-1015))/((-7)/s). Which is smaller: h or 1?
h
Let n = 168 - 150. Let y = n - -71.1. Let o = 88 - y. Is -3 at least o?
False
Let o be (-35)/(-70) + 104/(-154). Let s = 3623 - 1115883/308. Let w = o - s. Is 0 at least w?
True
Let x(i) be the third derivative of 13*i**2 + 0*i**4 + 0*i + 1/120*i**6 + 0*i**3 + 1/12*i**5 + 0. Let z be x(-5). Is z at most 1/52?
True
Suppose -12 = -8*d + 5*d + 2*a, 4*d = 5*a + 16. Let r be 4 - (-1372)/180 - d/18. Let x = 61/5 - r. Is x > -1?
True
Let b = -12606 + 12606.2. Let f be ((-1)/(-105))/(2/(-3)). Is f smaller than b?
True
Let l(p) = 122*p - 38*p - 47*p + 43 - 41*p. Let x(v) = -v**3 - 7*v**2 - 9*v - 7. Let k be x(-6). Let d be l(k). Which is greater: d or -5/9?
-5/9
Let y be (74 + -72)/(-1 + (-15462)/(-15458)). Which is bigger: y or 7731?
7731
Let d = -28 + 16. Let t = 68972 - 68971. Which is greater: d or t?
t
Let q be 10 + (-24 - -24)*(-2)/4. Let z be (114/2)/((-6)/(-7 + 1)). Let j = z + -50. Is j at least as big as q?
False
Suppose -1286*l + 5733 = -643*l - 640*l. Which is greater: 1912 or l?
1912
Let t be -17*-2*(-3)/(-6). Let y = t - -3. Let n be -17 + y + (-7)/(70/36). Which is greater: n or -2/17?
-2/17
Let v = -55 + 88. Let j = -33 + v. Suppose -2*f - 8 = j, u + u - f = -40. Are u and -23 nonequal?
True
Let r be -4*((-1066)/18 + 62/279). Let y = 709/3 - r. Do 1 and y have the same value?
False
Suppose -15673 = 22*l + 5931. Is -983 <= l?
True
Let z be (-253)/3 - (-1)/3. Let u be 150/z*8/10. Let c be 0/(64/(-11) + 12/(-66) - -5). Which is smaller: u or c?
u
Suppose -f + 420 = 4*a, 3*a - a - 4314 = -10*f. Do 431 and f have the same value?
False
Let t = 2 - 31. Let m = -21 - t. Let w = -27 + m. Is 0.1 less than w?
False
Let n(o) = -5*o**2 + 5*o - 2. Let j(w) = w**2 + 1. Let c(q) = -6*j(q) - n(q). Let h be c(-3). Let k = 15 + -15. Which is smaller: k or h?
k
Let f be 207138/(-483)*(-14)/(-6). Is 2/3 greater than or equal to f?
True
Let p = 393407/375 + -969/125. Are p and 1040 unequal?
True
Let q = 223/89 + 103813/979. Is 108 != q?
True
Suppose -u + z = -0*z - 61, 260 = 4*u + 4*z. Suppose u = 5*g - 2*g. Let q = g + -21. Which is smaller: 1/2 or q?
q
Let p be (38 + -2)*(-9)/((-135)/(-230)). Let l be ((-2)/(-1))/(1 + p/510). Is l greater than -25?
True
Let x(a) = a**3 + 53*a**2 - 114*a - 220. Let l be x(-55). Which is smaller: -4/671 or l?
-4/671
Suppose -859*u = -860*u. Which is greater: -3/5614 or u?
u
Let z = -5181 + 5228. Which is smaller: z or -2/105?
-2/105
Let z = -19.18 + 19. Let j = 7823.9 + -7824. Which is smaller: z or j?
z
Suppose -4 = 5*v - 9. Let j be v + 0 - 118*1. Let w be ((-2)/(-6))/(299/j). Is w greater than -0.1?
False
Let o = -3934111/149 - -26405. Is 1 <= o?
True
Let b = 700 + -699.8265. Let y = 0.0535 - b. Are -11/3 and y unequal?
True
Suppose -a + 8 = 2*r - 4*a, 5*r = 5*a + 10. Let i = -278 + 276. Let b be i/(-3) - 164/66. Is r less than b?
True
Let b(p) be the second derivative of -p**5/20 - p**4 - 13*p**3/6 - 12*p**2 + 6*p. Let w be b(-11). Let i be (-13 + -3)*(1 + 7/w). Which is greater: i or 39?
i
Let q = 77 + -97. Let b be 5/q*(4 - (-316)/(-4)). Which is bigger: 19 or b?
19
Let h = 155.0145 + 13.1275. Let z = -168 + h. Let g = -0.058 - z. Does 21 = g?
False
Let m(x) be the first derivative of -x**2/2 + 15*x + 19. Let r be m(9). Let u be (-2 + 82/39)*(-9)/r. Which is greater: 1 or u?
1
Let k(h) = h**2 - 4*h - 22. Let d be (-33)/(-55) - (-14)/10. Suppose 0*q + 4*v = 4*q - 36, -2*q + 10 = d*v. Let c be k(q). Is -2/63 < c?
False
Let z = 9.4 - 25.49. Let d = -16.3 - z. Which is smaller: 0 or d?
d
Suppose -37*m = -35631 + 74. Which is greater: m or 2?
m
Suppose l = 5*s - 555, s - 2*l + 101 = 212. Does 0.06 = s?
False
Suppose -2*u + 16 = 2*w, -2 = 2*u - 4*u + 5*w. Let v = -9.5 - -9.75. Let l = 0.05 + v. Which is smaller: l or u?
l
Let b(z) = 2*z**3 + 23*z**2 + 3*z - 50. Let a be b(-11). Does a = -7/16?
False
Let r(o) = -41*o**2 + 732*o**3 - 3 - 44 + 80*o - 731*o**3. Let j be r(39). Which is greater: j or 30?
j
Let n be 230510/10324*48/(-14). Does n = -77?
False
Suppose -97*j + 100*j + 4*y - 49 = 0, 3*y + 57 = 4*j. Which is smaller: j or 12?
12
Let f = -17231 + 17301. Are 551/8 and f equal?
False
Let i be (-3)/(-5)*80/4. Let t be 4/((-32)/i + 4/6). Let x be t + 10/(-5) + 4. Is x bigger than 3.1?
False
Let o(n) = -367*n**2 + 15*n + 5. Let y be o(-3). Which is bigger: y or -3345?
y
Let f(a) = -4*a + 3. Let c be f(1). Let m be ((1462 - 1) + 1)/(1716/(-297)). Let o = -253 - m. Are c and o non-equal?
True
Let b = 16484 - 115378/7. Which is smaller: 69 or b?
b
Let x = 78 - 64. Suppose -6 = -2*a + 26. Let g = 19 - a. Which is greater: x or g?
x
Let s be (-10)/(-20)*-1*((-5)/(-5) + -1). Which is bigger: -37/506 or s?
s
Let l = -16 + 16. Let o(m) = -m**3 + 6*m**2 + 4. Let z be o(6). Let d be ((-3)/6)/(30/z). Is d at least l?
False
Let n be ((-5)/3)/(0 - (-10)/(-18)). Suppose -16*m + n = -29. Is m >= 2?
True
Let f be 20 - 11 - (16 + -10). Which is bigger: 98/61 or f?
f
Let l be (182/(-14) + 14)/(7/(-47)) + 3. Let c be (-60)/(-8) - (-2)/4. Let i be 4*-5*2/c. Which is greater: i or l?
l
Suppose -4*z = 2*p - 552, 3 = -4*p - 21. Which is smaller: z or 1273/9?
z
Let s = 0.752 + -0.8. Suppose 362*v - 232*v = -130. Which is smaller: v or s?
v
Suppose -u + t = -1, 0*t = -4*u + 2*t. Suppose -8 = 100*h - 102*h. Suppose 4*n - 16 = h*b - 0*n, 5*b = -2*n - 6. Is b greater than or equal to u?
False
Suppose -10 = 2*o - 3*o. Suppose -o*x + 17 = 7. Which is smaller: 5/23 or x?
5/23
Suppose 17*o + 2 = 36. Let v be ((-4758)/117)/(o/3). Is v bigger than -61?
False
Let m = 1.24 - 0.24. Suppose y = -1, -5*y + 49 + 19 = -a. Let o = a - -62. Which is smaller: o or m?
o
Let m = 1426 - 750.2. Is 2/11 equal to m?
False
Let j = 3889/4 + -9733/10. Let y = -81360 + 81358. Is y at most as big as j?
True
Let r(p) = p**3 + 5*p**2 + 5*p + 4. Let c be r(-4). Let b(f) = 5*f. Let n be b(c). Let u be (48/2268)/(2/3). Which is greater: u or n?
u
Let o be (3 - (0 + 2)) + (-390)/30. Let u be o/(-20) + (-94)/140. Let s = -12 + 12. Is s < u?
False
Let g be 1017/(-6)*(40/12)/5. Let n = -136 - g. Let i be (28/(-2))/(4/6). Is i >= n?
True
Let c = -5079/4 + 1269. Let d be (-4)/3*(-3)/62. Are c and d equal?
False
Let o be 25/50*66/(-10). Let v(u) = u**3 + 7*u**2 - 7*u + 9. Let p be v(-8). Which is smaller: o or p?
o
Let o = -8727 - -8239. Which is smaller: -487 or o?
o
Let a be ((-10)/(-18))/((-16)/6). Let l(f) = -251*f + 9035. Let i be l(36). Which is greater: i or a?
a
Let v be (-10)/(-67785)*24/16. Do v and -1 have the same value?
False
Suppose -k = 2*d - 4, 2*k - 4*d = -5*d - 4. Let s be (-822)/(-105) - k/(-10). Let a = -192 - -192. Does s = a?
False
Let g = -336 - -32.3. Is g < 1/2?
True
Suppose -b + 4673 + 568 = -12. Does b = 5251?
False
Suppose 4*p + 2*j = -336, -5*j = -p - 73 - 33. Let u be -7 + 13 - p/(-11). Is -0.2 equal to u?
False
Let v = 2482.3 + -2472. Which is smaller: v or 1/9?
1/9
Let g = 121 + -155. Let d = 117 - g. Let s = d + -151.036. Is -1 less than s?
True
Suppose 285*d = -56*d + 1466982. Which is greater: 4303 or d?
4303
Let t be 714*((-242)/(-33) - (-24)/(-3)). Is -476 <= t?
True
Let x be 0/(2 - (1 + 0)). Let n = -31/154 + -1/14. Which is bigger: x or n?
x
Suppose 142557 = 3564*p - 3583*p. Do p and -7502 have the same value?
False
Let v(k) = -14*k + 261. Let g be v(18). Let x be (270/24 - g)*4. Which is bigger: x or -6?
x
Let r = -1683 - -1633. Do -50 and r have different values?
False
Let v be (8832/378 + (-4)/18)/((-510)/(-476)). Suppose 0*c - 5*j = -2*c + 71, -4*c + 82 = 2*j. Which is smaller: v or c?
v
Suppose -y = 3*d + 12, 4 - 12 = 2*d. Is 32/267 smaller than y?
False
Let b = 111 + -96. Let w(s) be the second derivative of -s**4/12 + 4*s**3/3 + 17*s**2/2 - 13*s. Let a be w(8). Which is greater: b or a?
a
Let p = -543/5 - -109. Let g(l) = l**3 - 16*l**2. Suppose -14 - 2 = -j. Let n be g(j). Which is smaller: p or n?
n
Let w(