15270/404809. Is 1 at least h?
True
Let j be (3/(-2))/((-63)/(-84)). Let m(k) = -k**2 - 3*k - 2. Let d be m(j). Let s be (19/21 + -1)*1. Which is greater: d or s?
d
Suppose -5*b + 1 = 5*x - 4, -8 = 4*x. Let i(q) = q**3 - 2*q**2 - q - 7. Let j be i(b). Which is greater: 0.11 or j?
0.11
Suppose 3*d = -4*o + 35, -4*d - 5 = -8*d + 3*o. Is 4 < d?
True
Let f = -120.007 + 120. Let x = f - 0.093. Which is smaller: x or -26?
-26
Let m be (1090/(-1086) - -1)*3. Let d(c) = 9*c**2 + 129*c + 43. Let o be d(-14). Which is bigger: o or m?
o
Suppose 5*v = 14*v - 126. Suppose 37 = 2*x - 2*y + 5, 2*x = -4*y + 38. Are x and v non-equal?
True
Let i(y) = -y**2 - 4*y + 23. Let a be i(-7). Let t be (1/2)/((-2)/(-8)). Suppose -4*m + 5*m = -v - 5, v - t*m = 10. Is v equal to a?
False
Let b(n) = n**2 - 42*n + 281. Let h be b(33). Is h <= -48?
False
Suppose 0*j = 4*j + z + 12, -j = -z + 8. Let g be j/(-8) + (-2)/4. Let r = -41/1292 + -5/68. Is r <= g?
True
Suppose 39*m - 34*m + 5 = 0. Which is smaller: m or -3/16?
m
Let l be ((-8)/(-830))/((-6)/15 - 0). Which is greater: -1 or l?
l
Suppose 2*c - 2*d = c - 1166, -2*c + 3*d = 2329. Is c greater than -1161?
True
Let y(s) = -s - 5. Let k be y(-12). Let h be 457/k + (-18)/63. Let m be (-335)/h - 4/(-26). Which is smaller: m or -6?
-6
Let m = -1306 + 1306. Which is smaller: m or 1/10?
m
Let m = 29 - -10. Suppose -m*r = -34*r. Is 4/23 less than or equal to r?
False
Suppose 4*d = -2*m + 28, 2 = m - d - 3. Suppose 3 - m = -n. Which is smaller: n or 38/7?
n
Let y be ((-1)/(764/(-6)))/(135/720). Which is greater: 1 or y?
1
Suppose 5*q + 53 = f + 8, 60 = -5*q - 2*f. Which is bigger: -6 or q?
-6
Suppose 0 = -4*x + g - 88, -3*x - 5*g + 40 - 129 = 0. Which is smaller: -71/3 or x?
-71/3
Suppose -26*h + 11*h + 3450 = 0. Is h greater than 231?
False
Let f = -36.01 - -36. Let k = f - 0.09. Which is bigger: k or 32/7?
32/7
Let s(k) = -k**3 + 11*k**2 + 13*k - 16. Let z be s(12). Suppose 4*a + 8 = 3*v, a + 3*v = v - 2. Let o be ((-1)/a - 0)*-8. Is o > z?
False
Let w be 21/(-7) - (-41625)/13890. Do 0 and w have the same value?
False
Suppose 239 = -p + 252. Are p and 15 nonequal?
True
Let k = -23 + 22.98. Let i = 0.02 + k. Which is smaller: i or -49?
-49
Let x = -1232 + 2027. Is 795 equal to x?
True
Let g = -26 - -28. Suppose -2*b + g = -o, -3*b + 2 = -o - 1. Is o > 55?
False
Let o = 65 - 32. Let d = -27 + o. Is d greater than 56/9?
False
Suppose -2*l - d = -35, 428*l + 2*d = 433*l - 101. Let v be 2 + -3 - (-21 + 1). Is l > v?
False
Suppose -73*p = -98*p - 2225. Which is smaller: p or -86?
p
Let l = 67260/11 + -6124. Is -9 greater than l?
True
Let p = 43 + -19. Suppose 0 = 4*l - 8*l - p. Let i be l - (0 - -2)*-1. Is -3 less than i?
False
Let j be (-26225)/15*(-2)/62. Let n = j - 169/3. Which is smaller: 0 or n?
0
Suppose -5*t + 0*x - 44 = -3*x, 3*x - 37 = 4*t. Is -42/5 less than or equal to t?
True
Let k be 1/(2/4*2). Suppose -3*h = -c + 2345, -2*h = c - 0*c + 1570. Let z be 16/(-72) + (-228)/h. Which is greater: k or z?
k
Let w be 1/((-4)/(-24))*-1. Let u(c) = 8 + 8*c + 7*c**2 + 5*c + c**3 - 5*c. Let f be u(w). Is f < -5?
False
Suppose 0*s + s = 4*s. Suppose s = 4*v - 3*u + 7*u + 24, 5*v + 18 = -2*u. Is -2 at least as big as v?
True
Let x = 0.09 - -4.91. Let h = 5.05 - x. Let w = 1.95 + h. Is w at most -1?
False
Let h = 8703/4 + -2207. Which is greater: -30 or h?
-30
Let u(q) = -6*q**2 - 2*q. Let n be u(-2). Let i be 2/8*n/38. Let v = i + 1089/190. Which is smaller: 6 or v?
v
Suppose -25*q + 6*q - 1197 = 0. Is -62 at most q?
False
Let p be ((-14)/(-8))/((-9)/(-4)). Let s = 10/9 - p. Which is smaller: s or -1?
-1
Suppose 368 = -11*m + 412. Let l be (1 + 5/16)*2. Which is smaller: l or m?
l
Suppose u = 2*u - 6. Let p be (-94)/(-66) + u/(-18). Suppose -l + 5*w + 20 + 6 = 0, l - 11 = 2*w. Is p at least l?
True
Let c(s) = -s**3 + 7*s**2 + 16*s + 6. Let n be c(9). Let z be n/(-66) - ((-534)/(-33) + -2). Is z smaller than 3/5?
True
Suppose 0 = -t + 3*i + 3 - 18, 4*t = 2*i - 70. Let x be 1/8 + 15*t/(-1040). Which is smaller: x or 0.1?
0.1
Suppose -2*n + 0*p = -5*p + 10, 4*p = 3*n + 1. Let x = 8 - n. Suppose -w = -3*w + 4*j - 40, -5*w = x*j + 35. Which is greater: w or 1?
1
Let d = -43.8 - -44. Let x = 529/9 + -59. Which is greater: x or d?
d
Let p be 16/3*(30/(-12) - -7). Let q be (1/4*2)/(2/p). Which is smaller: q or 1?
1
Let j(m) = -2 + 1 - m**2 + 5 - 3 - 9*m. Let l be j(-9). Let o be (0/l)/(-2 + -2). Which is bigger: 6/11 or o?
6/11
Suppose -3*a + 2*a = -2. Suppose -14 = l - a*u, -l - 2*u = -6*l - 86. Let f be (-40)/(-10) + l/5. Is f > 0.2?
True
Let n = 6175/8 - 772. Which is bigger: n or -2/257?
-2/257
Let y be -1 + -11 + 17 + (-638)/(-128)*-1. Suppose 5*n + 5*q - 5 = 0, q - 1 - 5 = 4*n. Do n and y have the same value?
False
Let k be 110/14 + (-1)/(-7). Suppose -2*p + 5*p = 24. Is p <= k?
True
Let k = -15 - -15. Suppose 0 = -2*d + 4*d + o - 16, 2*d + 2*o - 14 = k. Suppose d + 16 = 5*r. Are r and 6 equal?
False
Let f = 102629/543 + -189. Is 0 <= f?
True
Let b = -3.06 - -0.06. Let i = 5 + b. Let g = -0.068 + 0.168. Which is bigger: g or i?
i
Let k = 756 - 8318/11. Which is smaller: 1 or k?
k
Let u be -3 - 17604/(-5980) - (-50)/575. Let t = 0 - 0. Does t = u?
False
Suppose 5*z - 40 = 9*z. Let j be (-5 - -6) + -3 - 24/z. Let q(i) = i**3 + 8*i**2 + 7*i - 1. Let x be q(-7). Are j and x non-equal?
True
Let n = -1047.9 - -1048. Which is greater: 356 or n?
356
Let q(u) = -4*u**2 - 4*u - 3 + u**3 - 3*u**2 + 4*u**2 + 5*u**2. Let k be q(-2). Let f be (-4)/6 - 40/(-6). Do f and k have different values?
True
Suppose 15 - 44 = -29*g. Which is greater: 2/5267 or g?
g
Let c be 43*(6 + -7) - 11. Is c <= -49?
True
Suppose 6*d = -56 + 44. Let p be 19/6 - 4/d. Which is greater: 5 or p?
p
Let k = 239 - 269. Which is smaller: k or -143/5?
k
Let g(x) = 2*x**2 - 42*x - 43. Let f be g(22). Which is smaller: -2/1353 or f?
-2/1353
Let n(r) = -2*r**2 + 2*r**2 + 8 + 6*r + 0 + r**2. Let w be n(-4). Let z = 43/70 + -3/14. Which is smaller: z or w?
w
Let z(q) = -5*q**2 + 19*q - 12. Let h be z(5). Which is smaller: -41 or h?
h
Let w = -21.4 - -116.4. Let y = 103.9 - w. Let c = y + -9. Which is bigger: -2 or c?
c
Suppose -9*d + 4*x = -11*d, d = 3*x + 25. Is 31/3 at most as big as d?
False
Let r(o) = -11*o + 23. Let g be r(15). Let v be (1/46)/(1/g) + 3. Which is smaller: v or -1?
-1
Let b = -179 + 142. Which is greater: -35 or b?
-35
Let f = 0.0048 - -0.0982. Are 1 and f equal?
False
Suppose -2 = -5*r - g, -2 = 2*r + 2*r - g. Let h(z) = -z**3 - 3*z**2 - 3*z - 4. Let c be h(-3). Suppose 0*d = c*d. Is d bigger than r?
False
Let o = 134 - 130. Suppose o*x + 3*p - 18 = 8*p, 0 = -3*x - 2*p + 2. Which is bigger: x or -2?
x
Let j(y) = 4*y + 3. Let p be j(-1). Let u = 6 + p. Suppose 0 = 4*v - 4*l - 0 - 20, -2*v + u*l = -22. Is 9/4 equal to v?
False
Let l be 93/(-45) + (-1)/3. Let s = -2 - -18. Suppose -2*f - 22 = -s. Which is bigger: f or l?
l
Let a be (-630)/(-130) - (-2)/13. Suppose 0 = a*r - r. Which is smaller: r or 8?
r
Suppose -4 = -s - 0. Suppose s*r = 2*r - 26. Suppose -2*z - 173*l - 5 = -178*l, z + 5 = 2*l. Is r greater than or equal to z?
True
Let n = 113.1 - 118. Let t = n + -0.1. Let h = t - -4.9. Which is smaller: -5 or h?
-5
Let y = 587/8 + -73. Let u(q) = q**3 - 13*q**2 + 12*q - 16. Let h be u(12). Let j = -15 - h. Which is smaller: j or y?
y
Let n(c) = c**3 + 5*c**2 + 4*c + 4. Suppose -3*r - 20 = -8. Let v be n(r). Suppose -2*b + 2*i - i = -6, v*b = -5*i - 16. Which is smaller: 2 or b?
b
Let q = -4.2 - -4. Let h = -7 + 5.4. Let m = h - -6.6. Which is smaller: q or m?
q
Let u = -1 + -1. Let p = 27 + -85. Let t = -67 - p. Which is smaller: u or t?
t
Let l = -52 - 21. Let s = l + 72.98. Which is bigger: s or 7?
7
Suppose 2*j = 2*x - 12 - 8, -5*j = -2*x + 14. Let b(t) = -t**2 + 10*t + 23. Let r be b(x). Is r <= -3/61?
True
Let k = -1 - -0.96. Let v = 0.26 - k. Let l = -0.4 + v. Is l greater than 0?
False
Let a be (18/45)/((-1)/(-900)). Suppose -4*d + a = -0*d. Let p be 12/d - (-1)/5. Is p greater than or equal to -0.2?
True
Let l(n) = 2*n + 7. Let h be l(-3). Suppose -i + h = -1. Let u be (-1)/(30/16 - i). Is u not equal to 7?
True
Let n(j) = j**3 - 4*j**2 + 2*j. Let o be n(5). Which is greater: o or -4?
o
Let v = 2 - 4. Let o(f) = f**3 - 11*f**2 - 5*f + 52. Let u be o(11