u. Suppose -23 = 2*x + x - 4*w, w = u*x + 9. Which is smaller: 1/6 or x?
x
Let o = -65 - -58.1. Let f = -1.9 - o. Let x = f - 1. Which is smaller: x or -1?
-1
Suppose 5*o = -4*a + 128, 6*o - 8*o + 3*a = -65. Suppose -2*h - 2*x = 3*h - 5, 3*h + o = 5*x. Is h greater than or equal to -20?
True
Let j be 1/4 - (-12)/(-48). Let n be (1 + 8/(-12))*j. Let y = -44 - -219/5. Which is smaller: n or y?
y
Let u = 3204628/2739 + -1170. Which is bigger: u or 2/7?
2/7
Suppose 0 = -y + 5*y + 2*a - 58, -4*y + 2*a + 70 = 0. Suppose -17*w + y*w = 0. Suppose 0 = -6*r + 4*r + 4. Is r equal to w?
False
Let g = -0.01 - -15.01. Let c be ((-12)/(-6))/((-2)/(-16)). Let w = -17 + c. Which is smaller: g or w?
w
Let p = 161 - 160. Let i be 7/(14/(-12)) + 2. Let x be i/18 + 38/36. Which is smaller: p or x?
x
Let o = 0.11 - 45.11. Let d = 1 + o. Which is smaller: 0 or d?
d
Let j(k) be the first derivative of k**4/4 - 5*k**3/3 + 5*k**2/2 - 4*k + 3. Let a be j(4). Let l be 19/(-35) - 2/(-14). Which is greater: l or a?
a
Let f be 2 + -4 + 1 - 3. Let o be (-15)/((-39)/(-13))*4/10. Is o at least f?
True
Let i = -516 - -517. Which is smaller: -12/73 or i?
-12/73
Let x(k) = -4*k - 10. Let i(h) = 5*h + 11. Let z(f) = -5*i(f) - 6*x(f). Let u be z(4). Suppose -s = 3 + u. Is s at most as big as -4?
True
Let j = 854 - 839. Which is smaller: j or 0.07?
0.07
Suppose m = -3*u - m - 2, -3*u = m - 2. Let r = u - -10. Suppose -11*k = -r*k + 17. Which is greater: 0 or k?
k
Suppose 3*g + 5*q = 29, -3*q - 2 = -5*g + 1. Let z = g + -2. Let h = 1/393 - 797/4323. Which is bigger: z or h?
z
Suppose k - 4 - 1 = 0. Let o(n) = -n**3 - 2*n**2 + 12. Let d be o(0). Suppose -3 - d = -3*u. Are k and u non-equal?
False
Let c be ((-4)/4)/((-1)/13). Suppose 15 = t - 3*d, -d - 32 + c = -5*t. Let p be (-1 - 1) + (t - 10). Is 2 greater than p?
True
Suppose 10 = -5*k, 4*o - 3*k - 47 = 11. Let r be o/78*27/(-2). Is r >= -2?
False
Let u = 1/113 + -573/904. Is u at least -1/17?
False
Let u be 4/(-8) - (-1)/(-2). Let r be (u/(-18))/((-1)/40). Which is greater: -2 or r?
-2
Let q = 1188 + -1194. Does -8 = q?
False
Let b = 54 - 113. Let m = -18749 - -18690. Is m not equal to b?
False
Let h = 35796335 - 40951010231/1144. Let j = -27/88 - h. Which is bigger: 3 or j?
3
Let i = -1008 + 1007.78. Let m = -27 + 55/2. Which is greater: m or i?
m
Let u be -3 - 6*6/(-9). Suppose -5 = 2*j + 3*j. Let t be j/(-3) + 5 + -4. Which is smaller: t or u?
u
Let w(p) = 6*p**2 - 48*p - 2. Let f be w(8). Which is smaller: f or -11/4?
-11/4
Let h be (-20)/868*((-33)/(-15) + -1). Which is smaller: h or -1?
-1
Let u = -3.4 - 34.6. Let m = u - -47. Which is bigger: -0.1 or m?
m
Let q be (-1935)/8586 - 14/(-63). Is 1 greater than or equal to q?
True
Suppose -i - 3*y = -0 + 3, 0 = 3*i - 5*y + 9. Suppose 1 + 4 = o. Suppose 20 = -o*w + 5. Is w >= i?
True
Let w be (-40)/6*(-720)/(-75). Are w and 3 nonequal?
True
Suppose -5*q - 4*m + 8 = 0, -2*q - 5*m = q - 10. Let l(x) = 2*x**3 - 6*x**2 + 3. Let p be l(4). Let d be (4/p)/(18/15). Which is greater: d or q?
d
Suppose s + 4*b = 4*s + 136, 154 = -3*s - 5*b. Which is bigger: s or -46?
-46
Let q = 1.248 - 2.048. Are 7/3 and q unequal?
True
Let f be -163*2/(-1432) - (-12)/(-48). Which is greater: f or 0?
0
Suppose c = -2*b + 4, b = -4*b. Let d be (c - 20/4)*4/2. Is d <= -5/2?
False
Let p(q) = -q**3 - 8*q**2 + 6*q - 19. Let o be p(-9). Suppose -m - 2 = o. Is 0.1 at most as big as m?
False
Suppose 196*t = 210*t - 34454. Do t and 2461 have different values?
False
Let n(i) be the third derivative of -i**6/120 - i**5/10 + i**4/4 - 11*i**2. Let k be n(-7). Is k < 6?
False
Suppose 401 + 1543 = 24*k. Are 82 and k non-equal?
True
Let q be 1/198*252087/(-22). Let u = 231/4 + q. Are u and 1 non-equal?
True
Suppose 8*u - 3*u = 0. Is u less than -24/47?
False
Let z be (474/(-711))/(724/(-6)). Which is greater: 1 or z?
1
Suppose -5*d - 215 = -3*s, 0 = -2*d - 2*s + 36 - 106. Do d and -42 have the same value?
False
Suppose -4*m = f + 18 - 7, -2*m + 3*f - 9 = 0. Let c = -0.258 + 15.358. Let n = c - 15. Do n and m have different values?
True
Let m be (75/10 - 3)*6. Let t(u) = -u**3 + 7*u**2 + 2*u - 7. Let l be t(7). Suppose -m + l = -5*c. Is c < 3?
False
Let m be (627/6)/((-1)/(-2)). Is 1880/9 > m?
False
Let g = -14.1 - -18. Is -2/5 > g?
False
Suppose -4*g - g = 30. Let f(k) = -k - 3. Let t be f(1). Let x be (g/(-4))/((-14)/t). Is -1 smaller than x?
True
Suppose 5*p - 108 = 3*p. Suppose -p = -i - 47. Is 7 less than or equal to i?
True
Let h = 120277/62 + -1940. Is h greater than 0?
False
Suppose -4*q = -43 - 37. Suppose -q = 7*h - 6. Is h != -7/5?
True
Let a(o) be the first derivative of 3*o**2/2 - 4*o + 7. Let b be a(-2). Let u be (-76)/b - 6/(-15). Which is smaller: u or 6?
6
Let n be (-10)/6 - 136/(-24). Suppose -5*r + 0*y + 21 = n*y, -2*y = 4*r - 18. Is r at least as big as 5?
True
Suppose 0 = 4*w - 4*q - 16, 0 = -w - 4*q - 5 + 19. Let z be 50/3 + (-1)/((-6)/(-4)). Suppose -2*s = -w*s - z. Are -4 and s equal?
True
Let r(a) = -a + 8. Let i be r(6). Suppose -10 = -5*d, i*d - 3*d + 6 = l. Let s = 4 - l. Is s greater than -6/5?
True
Let t = -18231/124 - -589/4. Which is smaller: t or -1?
-1
Let z = -84 - -36. Which is smaller: -49 or z?
-49
Let u = -43807/1155 + 417/11. Which is greater: u or 1?
1
Suppose -r = -17 + 11. Let p(b) = -3*b + 15. Let h be p(r). Is -18/5 at most h?
True
Suppose 16 = 4*z - 5*c - 27, 5*z = c + 80. Suppose -2*d + 4*d = -h + z, 2*h - 37 = -5*d. Is 34/3 < h?
False
Let y(l) = l**3 - 24*l**2 + 24*l + 145. Let k be y(22). Is -296 <= k?
True
Let a be (-8)/6*2/(-4). Suppose -16*k + 462 = -23*k. Let r = k - -66. Do r and a have the same value?
False
Let u be (-16)/(-10) + 4/(-10). Let l(h) be the third derivative of h**6/120 + h**5/10 - h**4/24 - h**3 - 14*h**2. Let x be l(-6). Which is greater: u or x?
u
Suppose 14*l = 7*l + 21. Let o be -1 + (4 - 11/l) + -2. Let a be -5 + ((-1)/(-1) - 0). Which is smaller: o or a?
a
Let d(h) = -1 - 12*h - 11*h**3 - 10*h + 4*h**2 - 5*h + 25*h. Let q be d(2). Which is greater: -76 or q?
-76
Let a = -141 + 130. Let m = 3 - -7. Let z = a + m. Which is smaller: z or -8?
-8
Let d be ((-12)/7)/(22/(-385)). Are d and 8 unequal?
True
Let g = -68 - -46. Let p = 21 + g. Let v = 0 + 4. Which is smaller: v or p?
p
Let u = -75 + 87. Let j be 3/u*-13 + 4. Which is greater: -2 or j?
j
Let w be 5/20 + 62/8. Let n be w/21*-5*(-36)/40. Suppose -1 = -2*d + 5. Which is smaller: n or d?
n
Suppose -q + 0*o = -o - 5, -17 = -q + 5*o. Suppose -93 = -4*g - 3*b, 5*g + 2*b = -q*b + 116. Is g less than or equal to 23?
False
Let i = -40 - -25. Which is smaller: i or 7?
i
Let g be 4/(-14) + 2/7. Let i(r) = 12*r**2 + 5*r - 3. Let o be i(3). Let y = o - 2037/17. Which is smaller: g or y?
g
Let w be (-62)/40 + 51/68. Let g = 2 + -3. Which is smaller: w or g?
g
Let k = 0.7518 - 137.9618. Let y = -131 - k. Let c = 0.21 - y. Which is greater: c or 2?
2
Suppose -3 = -4*o - 3*s - 1, -4*o = 4*s - 4. Let q(c) = c**2 - c - 15. Let r be q(0). Let h be (-2)/16*r + -2. Which is greater: h or o?
h
Let w be -2 + 380/150 - (-4)/6. Which is greater: 5 or w?
5
Let o(x) = -x**3 - 8*x**2 + 9*x + 12. Let h be o(-9). Suppose h*k = 5 + 31. Suppose -5*s + 7 = -2*q - 7, 0 = -5*s + 3*q + 16. Is k at least as big as s?
True
Suppose -4*y + 5*j + 33 = 0, 3*y - 2*j - 2*j = 26. Let v(t) = -6*t + 0*t - t**2 + 7*t + 2*t**y. Let k be v(0). Which is smaller: k or -3/5?
-3/5
Let s = 27442/657 - 376/9. Is -1 > s?
False
Suppose -5*b = 15, -g - 2*b + 0*b + 1 = 0. Let v(z) = -z - 2. Let f be v(g). Which is bigger: f or -11?
f
Let j(y) = -y**2 + 3*y + 4. Let a be j(4). Let p = 14 + -16. Let f be ((-21)/(-18))/7*(-3)/p. Is f bigger than a?
True
Let j = 48 + -334/7. Let f = 22 + -21.88. Let n = -0.11 + f. Is j at least as big as n?
True
Let c = 926 - 927. Are c and -76/31 nonequal?
True
Suppose 5*v - 12 = 13. Suppose h + 24 = v*h. Let z = 9 - h. Is z not equal to 3?
False
Let y be 40*(-4 + 18/4)*2. Is y less than 39?
False
Let b(a) = 8*a + 32. Let c be b(-4). Let d be c - 10/(-15)*3/(-3). Which is smaller: -2.3 or d?
-2.3
Let h = -1.3 + 1. Let t(p) be the first derivative of p**4/4 + p**3/3 - p**2/2 + 2*p - 2. Let b be t(0). Which is smaller: b or h?
h
Suppose -3*h - 20 = 5*r + 32, 0 = -5*h - 4*r - 65. Let v = h - -11. Suppose -39 = -7*x + 2*x