14 + -10)*6/4. Let g = 16 + -12. Let j be 3/(-6)*4 + g. Which is smaller: j or y?
j
Let x = 68/37 - 1769/1184. Let s = 6847/32 + -214. Let f = x - s. Is f less than 1?
True
Let q = 4.71 + -23.66. Let m = -19 - q. Which is greater: 1 or m?
1
Let v be (2/10)/(18/54). Which is bigger: v or -201?
v
Let s be (-1)/(1/(-3)) + 0. Let n = -10 + s. Suppose 201*z + 225 = -29*z - 1155. Which is bigger: z or n?
z
Let n = -6 + 11. Suppose -n*v + 4 = 5*h + 149, h = -2. Let z be (-6)/v - 12/(-189). Is z at least -1?
True
Let a(g) = g**3 + 6*g**2 - 13*g - 43. Let m be a(-7). Which is smaller: m or -2/21?
m
Let l = -28.8 + -5.2. Let g = l + 42. Is -3 <= g?
True
Suppose -3*h + z = 6*z + 127, 2*h - z + 76 = 0. Is h equal to -38?
False
Let i = 405.95 + -406. Is i less than or equal to 0.1?
True
Let d = 27 + -12. Let q = d + -14. Let z = 12 + -18. Are q and z unequal?
True
Let v = 53245/273 - 2520/13. Which is smaller: v or 0?
0
Let u = 67 - 34. Let w = 35 - u. Which is smaller: 1/15 or w?
1/15
Let b = 0 - -2. Let k be (-9)/75 - b/(-10). Let a = 4.03 - 3.03. Is a at most as big as k?
False
Let d = 9/223 - -401/1115. Is 24/43 at most as big as d?
False
Let i = -590/9 - -3662/63. Suppose 85 = -2*f + y + 69, -5*y = 5*f + 10. Is i less than f?
True
Let o(g) = g**2 - 14*g - 263. Let q be o(24). Suppose 5*l - 31 = -3*r - 149, 0 = 4*r + 4. Is q less than or equal to l?
True
Let s be 372/366 - (2 - 1). Suppose -20 = 3*p - 3*k - 17, 0 = -2*k + 4. Which is smaller: p or s?
s
Let g be ((930/(-36))/5)/((-5)/230). Are 237 and g equal?
False
Let v = 380 - 381. Are v and -1/233 non-equal?
True
Let t = 2848 - 2942. Is -11 at least as big as t?
True
Let c be ((-63)/4 + -1)*224/(-84). Is 46 greater than c?
True
Let g(z) = -z + 2. Let n be g(2). Let c(k) = -k**2 + 12*k - 37. Let p be c(7). Let y be ((-12)/14)/(-1*p/(-1)). Are n and y non-equal?
True
Suppose d + 1073 = 5*y, -3*d - 3168 = 66*y - 64*y. Is -1058 bigger than d?
False
Suppose 0 = 6*y + 52*y + 16530. Is y > -282?
False
Let z(l) = -l - 5. Let v be z(-6). Let o = -3 + 0. Let x be (-14)/8 - (o + 0). Is v <= x?
True
Suppose -5*b + 26 = -4*f, 0*b + 9 = 2*b - 3*f. Suppose -6 = -a + h + 8, -a + 3*h + 20 = 0. Suppose 0 = 6*i - 53 + a. Is i > b?
True
Let i be (170/6)/((-1416)/531). Which is smaller: -11 or i?
-11
Let l = 6568/13 - 505. Which is smaller: 0 or l?
0
Let p(d) = -4*d**3 + 2*d - 4. Let h be p(-2). Is 26 smaller than h?
False
Let y be 96/(-27) + -3 - (17 + -12). Which is smaller: -12 or y?
-12
Let t be (-5)/(-40) + (-2498)/16. Which is smaller: t or -157?
-157
Let l be ((-2550)/(-2375))/((-1)/(-10)). Is l equal to 12?
False
Let x be (7 - 18)/(1 - 16/12). Is x greater than -2/7?
True
Let t = 6635/14 - 929/2. Let r = 7 + 1. Which is bigger: t or r?
t
Suppose 5 = -5*j - 5*h, 0 = 5*j - 2*h + 4*h - 1. Suppose 13 = -3*y + 1. Let p be (1/2)/(y/(-8)). Is j less than or equal to p?
True
Let y be 60/8*(-8)/(-10). Let t be -2*y*1/(-1). Suppose 0 = -9*j + 10 + 89. Is j greater than or equal to t?
False
Suppose 5*o = 0, 108 = -2*w - 4*o - 16. Let v = 59 + w. Which is smaller: v or 1?
v
Let q = 21.73 + -0.03. Let f = 21.83 - q. Let s = 0 - 2. Is f equal to s?
False
Suppose 6*p + 9 = 3*p. Let w = p + -1. Suppose 5*b + 9 = -9*b - 19. Is w not equal to b?
True
Let m(k) be the second derivative of -1/12*k**4 - 4*k**2 + 4*k + 4/3*k**3 + 0. Let a be m(7). Which is bigger: -4/5 or a?
-4/5
Suppose 0 = a - 2*a - 3. Let v be (a/(-25))/(0/(-4) - 1). Which is bigger: v or 1?
1
Let u = -304002/19 + 16000. Let d be ((-1)/(-3))/(4/6). Is u greater than d?
False
Suppose 3*c = 3*m + 27, 0 = 5*m - 6*c + 2*c + 42. Let f be m*(0 + (-2)/(-3)). Is f smaller than -11/4?
True
Let w(o) = 113*o + 3. Let m be w(1). Let j = 7770/67 - m. Suppose -3*b + 7 = b + 3*g, -5*b + 2*g = -3. Do j and b have the same value?
False
Let h = -168 + 235. Is 0 greater than or equal to h?
False
Let y = -245222/183 - -1340. Let t = 911/366 - y. Which is smaller: 4 or t?
t
Let o be (-1 - 0) + 15 + -10 + -7. Which is smaller: o or 79?
o
Let c be 204/9*24/(-16). Is c at least -32?
False
Let n = 0.55 + -52.55. Let w = n + 15. Do w and -0.1 have different values?
True
Suppose 380 = 4*y - i, -3*i = -2*y - 2*i + 192. Let u be (3/y)/(3/(-4)). Which is smaller: 1 or u?
u
Let r(x) = -x**3 + 8*x**2 - 7*x - 1. Let s be r(7). Suppose 2*i = 4*i + 30. Let b = i + 7. Is s bigger than b?
True
Suppose -3*z = 17 - 53. Let a be (4/8)/(3 + z/(-8)). Which is bigger: 0.021 or a?
a
Let z be 246/48 + 3/(-24). Suppose 3*v - 2*l = -4, -2*v + 4*l + z = 13. Is v equal to -5/9?
False
Let m = -5.1 + 5.04. Let p = -6 - -5.89. Let q = 0.01 + p. Which is greater: m or q?
m
Let h = -7511 + 7511. Let q = -13 + 39/10. Let b = 19/2 + q. Is b equal to h?
False
Let l = -5384/7 + 774. Which is bigger: 6 or l?
6
Suppose 2*a + a = 0. Let s be ((-4214)/260 - -16) + (-2)/(-5). Which is bigger: a or s?
s
Let g = 20 - 11. Let q = 2.1 + -0.1. Let h = g - q. Is -0.1 at least as big as h?
False
Suppose 6*h = 7*h + 136. Are h and -134 non-equal?
True
Let x(j) = j**2 - 3*j - 9. Let z be x(6). Let d = -10 + z. Which is greater: 1/4 or d?
1/4
Let a be (-4)/(8/(-24) - 1). Let l(d) = 5*d - 5. Let c(u) = -4*u + 6. Let y(h) = 6*c(h) + 5*l(h). Let o be y(-8). Is a at least o?
True
Let x = 8183/33 - 248. Is 0 > x?
True
Let j be 2*(875/14)/5. Is j equal to 71/3?
False
Suppose 3*z = -w + 4, -3*z + 10 = 2*z. Let j be -9 - -10 - (w - -1*28). Are -25 and j equal?
True
Let z = -86 + 85.993. Which is smaller: z or 2/7?
z
Let c(b) be the first derivative of b**3/3 + 7*b**2/2 + 1. Let d be c(-5). Are d and -9 equal?
False
Let l(n) = -11*n + 1. Let i be l(-1). Let q = i - 8. Suppose 18 = q*h - h. Is 7 greater than or equal to h?
True
Let c(k) = k**2 - 8*k + 3. Let s be c(7). Let z be 1*-2*s/24. Let q(j) = j. Let n be q(-1). Is n < z?
True
Let t = 0.9147 + 0.0413. Let k = t - -0.044. Is -0.63 at most k?
True
Let r be -2 + (-3 - -4)*4. Suppose -4*m - 5 = 3*u, u + 3*m = -r*u. Is 4 greater than u?
False
Let m = 0.44 + -1.11. Let k = -0.73 + m. Do k and -0.2 have different values?
True
Let v(k) = -k**3 - 5*k**2 - 8*k - 6. Let y(f) = 2*f**3 + 11*f**2 + 17*f + 13. Let z(l) = 7*v(l) + 3*y(l). Let a be z(-3). Suppose -11 = h - a. Does 10 = h?
True
Let b(m) = -m**3 + 5*m**2 - m + 5. Let i be b(5). Let r = 45/37 - 527/555. Which is smaller: i or r?
i
Let f = -8.84 + 8.8. Let y(d) = d**2 - 2. Let j be y(0). Which is smaller: j or f?
j
Let y = -1004 - -786. Which is smaller: y or -220?
-220
Let x be -8*7/(-56)*-172. Is -173 greater than or equal to x?
False
Let h be (-217 - 1)*(-1)/2. Which is smaller: h or 110?
h
Let d = 0.13 + 0.13. Let s = -9 + 10. Is d >= s?
False
Let u = 1522/483 - 68/21. Is 0 at least u?
True
Let n = -0.621 - 0.029. Let h = n - -0.33. Is h at most 1?
True
Let q = -0.42 - -0.22. Is q less than or equal to 57?
True
Let w = -1241 - -1380. Which is greater: -2/5 or w?
w
Let k(a) = -a**3 + 5*a**2 + a - 4. Let h be k(5). Let b = -1181 - 1993. Let s be (b/630 + 5)*(-5)/6. Which is bigger: h or s?
h
Suppose -5*x + 429 = -111. Suppose -c + 106 - x = 0. Which is smaller: -12 or c?
-12
Let b = 0.2 + 0. Let l = 61 - 52. Let s(d) = d**3 - 11*d**2 + 18*d - 1. Let g be s(l). Which is bigger: g or b?
b
Suppose -4*b + 2*i + 58 = 0, -3*b - 28 = -4*b + 5*i. Let l = b + -22. Let u be 8/(1/(-2 + 1)). Is u smaller than l?
False
Let v be (((-270)/1128)/(-5))/((-3)/(-12)). Are v and -1 nonequal?
True
Suppose 2*v = 6*v + 48. Let q be (-9)/v*12/45. Which is greater: q or 7/5?
7/5
Suppose 0 = k + 3*k - 12. Suppose -6 = -0*i - k*i. Is i less than 2?
False
Let j = 72 + -433/6. Let i = 14 - 19. Let t(n) = -n**2 - 6*n - 4. Let x be t(i). Is x <= j?
False
Suppose -1239 + 1165 = -n. Is 75 < n?
False
Let f(a) = a**3 - 13*a**2 + a + 14. Let n be f(13). Let u be (-330)/n - (-4)/18. Is u > -12?
False
Let o = -10.4 + -42.6. Let d = o + 55. Let p = 3 + -7. Is d bigger than p?
True
Let q = -5835.98 - -5571. Let k = -252 - q. Let t = 13 - k. Which is bigger: t or -2/3?
t
Let s = -3 + 4. Let g be (-3)/6*(s - -1). Let r = -3710/1713 - 1/1142. Which is smaller: g or r?
r
Let r = -253930610/53 + 36523347975527/7623096. Let p = -5/2766 + r. Let m = -7/24 + p. Is 1 bigger than m?
True
Let f = -28.6 - -15.8. Let c = f + -5.2. Is 0 greater than c?
True
Let d = 36 + -20. Let o = 18 - d.